1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
|
; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
; RUN: llc -mtriple=riscv32 -target-abi ilp32e -verify-machineinstrs < %s \
; RUN: | FileCheck -check-prefix=ILP32E %s
; RUN: llc -mtriple=riscv32 -target-abi ilp32e -frame-pointer=all -verify-machineinstrs < %s \
; RUN: | FileCheck -check-prefix=ILP32E-WITHFP %s
declare void @llvm.va_start(ptr)
declare void @llvm.va_end(ptr)
declare void @abort()
define i32 @caller(i32 %a) {
; ILP32E-LABEL: caller:
; ILP32E: # %bb.0: # %entry
; ILP32E-NEXT: addi sp, sp, -8
; ILP32E-NEXT: .cfi_def_cfa_offset 8
; ILP32E-NEXT: sw ra, 4(sp) # 4-byte Folded Spill
; ILP32E-NEXT: sw s0, 0(sp) # 4-byte Folded Spill
; ILP32E-NEXT: .cfi_offset ra, -4
; ILP32E-NEXT: .cfi_offset s0, -8
; ILP32E-NEXT: mv s0, a0
; ILP32E-NEXT: li a0, 1
; ILP32E-NEXT: lui a2, 262144
; ILP32E-NEXT: li a1, 0
; ILP32E-NEXT: call va_double
; ILP32E-NEXT: mv a0, s0
; ILP32E-NEXT: lw ra, 4(sp) # 4-byte Folded Reload
; ILP32E-NEXT: lw s0, 0(sp) # 4-byte Folded Reload
; ILP32E-NEXT: .cfi_restore ra
; ILP32E-NEXT: .cfi_restore s0
; ILP32E-NEXT: addi sp, sp, 8
; ILP32E-NEXT: .cfi_def_cfa_offset 0
; ILP32E-NEXT: ret
;
; ILP32E-WITHFP-LABEL: caller:
; ILP32E-WITHFP: # %bb.0: # %entry
; ILP32E-WITHFP-NEXT: addi sp, sp, -12
; ILP32E-WITHFP-NEXT: .cfi_def_cfa_offset 12
; ILP32E-WITHFP-NEXT: sw ra, 8(sp) # 4-byte Folded Spill
; ILP32E-WITHFP-NEXT: sw s0, 4(sp) # 4-byte Folded Spill
; ILP32E-WITHFP-NEXT: sw s1, 0(sp) # 4-byte Folded Spill
; ILP32E-WITHFP-NEXT: .cfi_offset ra, -4
; ILP32E-WITHFP-NEXT: .cfi_offset s0, -8
; ILP32E-WITHFP-NEXT: .cfi_offset s1, -12
; ILP32E-WITHFP-NEXT: addi s0, sp, 12
; ILP32E-WITHFP-NEXT: .cfi_def_cfa s0, 0
; ILP32E-WITHFP-NEXT: mv s1, a0
; ILP32E-WITHFP-NEXT: li a0, 1
; ILP32E-WITHFP-NEXT: lui a2, 262144
; ILP32E-WITHFP-NEXT: li a1, 0
; ILP32E-WITHFP-NEXT: call va_double
; ILP32E-WITHFP-NEXT: mv a0, s1
; ILP32E-WITHFP-NEXT: .cfi_def_cfa sp, 12
; ILP32E-WITHFP-NEXT: lw ra, 8(sp) # 4-byte Folded Reload
; ILP32E-WITHFP-NEXT: lw s0, 4(sp) # 4-byte Folded Reload
; ILP32E-WITHFP-NEXT: lw s1, 0(sp) # 4-byte Folded Reload
; ILP32E-WITHFP-NEXT: .cfi_restore ra
; ILP32E-WITHFP-NEXT: .cfi_restore s0
; ILP32E-WITHFP-NEXT: .cfi_restore s1
; ILP32E-WITHFP-NEXT: addi sp, sp, 12
; ILP32E-WITHFP-NEXT: .cfi_def_cfa_offset 0
; ILP32E-WITHFP-NEXT: ret
entry:
call void (i32, ...) @va_double(i32 1, double 2.000000e+00)
ret i32 %a
}
define void @va_double(i32 %n, ...) {
; ILP32E-LABEL: va_double:
; ILP32E: # %bb.0: # %entry
; ILP32E-NEXT: addi sp, sp, -32
; ILP32E-NEXT: .cfi_def_cfa_offset 32
; ILP32E-NEXT: sw ra, 4(sp) # 4-byte Folded Spill
; ILP32E-NEXT: .cfi_offset ra, -28
; ILP32E-NEXT: .cfi_remember_state
; ILP32E-NEXT: sw a5, 28(sp)
; ILP32E-NEXT: sw a1, 12(sp)
; ILP32E-NEXT: sw a2, 16(sp)
; ILP32E-NEXT: sw a3, 20(sp)
; ILP32E-NEXT: sw a4, 24(sp)
; ILP32E-NEXT: addi a0, sp, 12
; ILP32E-NEXT: addi a1, sp, 19
; ILP32E-NEXT: sw a0, 0(sp)
; ILP32E-NEXT: andi a1, a1, -8
; ILP32E-NEXT: addi a0, a1, 8
; ILP32E-NEXT: sw a0, 0(sp)
; ILP32E-NEXT: lw a0, 0(a1)
; ILP32E-NEXT: lw a1, 4(a1)
; ILP32E-NEXT: lui a3, 262144
; ILP32E-NEXT: li a2, 0
; ILP32E-NEXT: call __eqdf2
; ILP32E-NEXT: bnez a0, .LBB1_2
; ILP32E-NEXT: # %bb.1: # %if.end
; ILP32E-NEXT: lw ra, 4(sp) # 4-byte Folded Reload
; ILP32E-NEXT: .cfi_restore ra
; ILP32E-NEXT: addi sp, sp, 32
; ILP32E-NEXT: .cfi_def_cfa_offset 0
; ILP32E-NEXT: ret
; ILP32E-NEXT: .LBB1_2: # %if.then
; ILP32E-NEXT: .cfi_restore_state
; ILP32E-NEXT: call abort
;
; ILP32E-WITHFP-LABEL: va_double:
; ILP32E-WITHFP: # %bb.0: # %entry
; ILP32E-WITHFP-NEXT: addi sp, sp, -36
; ILP32E-WITHFP-NEXT: .cfi_def_cfa_offset 36
; ILP32E-WITHFP-NEXT: sw ra, 8(sp) # 4-byte Folded Spill
; ILP32E-WITHFP-NEXT: sw s0, 4(sp) # 4-byte Folded Spill
; ILP32E-WITHFP-NEXT: .cfi_offset ra, -28
; ILP32E-WITHFP-NEXT: .cfi_offset s0, -32
; ILP32E-WITHFP-NEXT: addi s0, sp, 12
; ILP32E-WITHFP-NEXT: .cfi_def_cfa s0, 24
; ILP32E-WITHFP-NEXT: .cfi_remember_state
; ILP32E-WITHFP-NEXT: sw a5, 20(s0)
; ILP32E-WITHFP-NEXT: sw a1, 4(s0)
; ILP32E-WITHFP-NEXT: sw a2, 8(s0)
; ILP32E-WITHFP-NEXT: sw a3, 12(s0)
; ILP32E-WITHFP-NEXT: sw a4, 16(s0)
; ILP32E-WITHFP-NEXT: addi a0, s0, 4
; ILP32E-WITHFP-NEXT: addi a1, s0, 11
; ILP32E-WITHFP-NEXT: sw a0, -12(s0)
; ILP32E-WITHFP-NEXT: andi a1, a1, -8
; ILP32E-WITHFP-NEXT: addi a0, a1, 8
; ILP32E-WITHFP-NEXT: sw a0, -12(s0)
; ILP32E-WITHFP-NEXT: lw a0, 0(a1)
; ILP32E-WITHFP-NEXT: lw a1, 4(a1)
; ILP32E-WITHFP-NEXT: lui a3, 262144
; ILP32E-WITHFP-NEXT: li a2, 0
; ILP32E-WITHFP-NEXT: call __eqdf2
; ILP32E-WITHFP-NEXT: bnez a0, .LBB1_2
; ILP32E-WITHFP-NEXT: # %bb.1: # %if.end
; ILP32E-WITHFP-NEXT: .cfi_def_cfa sp, 36
; ILP32E-WITHFP-NEXT: lw ra, 8(sp) # 4-byte Folded Reload
; ILP32E-WITHFP-NEXT: lw s0, 4(sp) # 4-byte Folded Reload
; ILP32E-WITHFP-NEXT: .cfi_restore ra
; ILP32E-WITHFP-NEXT: .cfi_restore s0
; ILP32E-WITHFP-NEXT: addi sp, sp, 36
; ILP32E-WITHFP-NEXT: .cfi_def_cfa_offset 0
; ILP32E-WITHFP-NEXT: ret
; ILP32E-WITHFP-NEXT: .LBB1_2: # %if.then
; ILP32E-WITHFP-NEXT: .cfi_restore_state
; ILP32E-WITHFP-NEXT: call abort
entry:
%args = alloca ptr, align 4
%args1 = bitcast ptr %args to ptr
call void @llvm.va_start(ptr %args1)
%argp.cur = load ptr, ptr %args, align 4
%0 = ptrtoint ptr %argp.cur to i32
%1 = add i32 %0, 7
%2 = and i32 %1, -8
%argp.cur.aligned = inttoptr i32 %2 to ptr
%argp.next = getelementptr inbounds i8, ptr %argp.cur.aligned, i32 8
store ptr %argp.next, ptr %args, align 4
%3 = bitcast ptr %argp.cur.aligned to ptr
%4 = load double, ptr %3, align 8
%cmp = fcmp une double %4, 2.000000e+00
br i1 %cmp, label %if.then, label %if.end
if.then:
call void @abort()
unreachable
if.end:
%args2 = bitcast ptr %args to ptr
call void @llvm.va_end(ptr %args2)
ret void
}
|
