XCore target: fix const section handling
[oota-llvm.git] / test / CodeGen / XCore / llvm-intrinsics.ll
1 ; RUN: llc < %s -march=xcore | FileCheck %s
2 ; RUN: llc < %s -march=xcore -disable-fp-elim | FileCheck %s -check-prefix=CHECKFP
3
4 declare i8* @llvm.frameaddress(i32) nounwind readnone
5 declare i8* @llvm.returnaddress(i32) nounwind
6 declare i8* @llvm.eh.dwarf.cfa(i32) nounwind
7 declare void @llvm.eh.return.i32(i32, i8*) nounwind
8 declare void @llvm.eh.unwind.init() nounwind
9
10 define i8* @FA0() nounwind {
11 entry:
12 ; CHECK-LABEL: FA0
13 ; CHECK: ldaw r0, sp[0]
14 ; CHECK-NEXT: retsp 0
15   %0 = call i8* @llvm.frameaddress(i32 0)
16   ret i8* %0
17 }
18
19 define i8* @FA1() nounwind {
20 entry:
21 ; CHECK-LABEL: FA1
22 ; CHECK: entsp 100
23 ; CHECK-NEXT: ldaw r0, sp[0]
24 ; CHECK-NEXT: retsp 100
25   %0 = alloca [100 x i32]
26   %1 = call i8* @llvm.frameaddress(i32 0)
27   ret i8* %1
28 }
29
30 define i8* @RA0() nounwind {
31 entry:
32 ; CHECK-LABEL: RA0
33 ; CHECK: stw lr, sp[0]
34 ; CHECK-NEXT: ldw r0, sp[0]
35 ; CHECK-NEXT: ldw lr, sp[0]
36 ; CHECK-NEXT: retsp 0
37   %0 = call i8* @llvm.returnaddress(i32 0)
38   ret i8* %0
39 }
40
41 define i8* @RA1() nounwind {
42 entry:
43 ; CHECK-LABEL: RA1
44 ; CHECK: entsp 100
45 ; CHECK-NEXT: ldw r0, sp[100]
46 ; CHECK-NEXT: retsp 100
47   %0 = alloca [100 x i32]
48   %1 = call i8* @llvm.returnaddress(i32 0)
49   ret i8* %1
50 }
51
52 ; test FRAME_TO_ARGS_OFFSET lowering
53 define i8* @FTAO0() nounwind {
54 entry:
55 ; CHECK-LABEL: FTAO0
56 ; CHECK: ldc r0, 0
57 ; CHECK-NEXT: ldaw r1, sp[0]
58 ; CHECK-NEXT: add r0, r1, r0
59 ; CHECK-NEXT: retsp 0
60   %0 = call i8* @llvm.eh.dwarf.cfa(i32 0)
61   ret i8* %0
62 }
63
64 define i8* @FTAO1() nounwind {
65 entry:
66 ; CHECK-LABEL: FTAO1
67 ; CHECK: entsp 100
68 ; CHECK-NEXT: ldc r0, 400
69 ; CHECK-NEXT: ldaw r1, sp[0]
70 ; CHECK-NEXT: add r0, r1, r0
71 ; CHECK-NEXT: retsp 100
72   %0 = alloca [100 x i32]
73   %1 = call i8* @llvm.eh.dwarf.cfa(i32 0)
74   ret i8* %1
75 }
76
77 define i8* @EH0(i32 %offset, i8* %handler) {
78 entry:
79 ; CHECK-LABEL: EH0
80 ; CHECK: ldc r2, 0
81 ; CHECK-NEXT: ldaw r3, sp[0]
82 ; CHECK-NEXT: add r2, r3, r2
83 ; CHECK-NEXT: add r2, r2, r0
84 ; CHECK-NEXT: mov r3, r1
85 ; CHECK-NEXT: set sp, r2
86 ; CHECK-NEXT: bau r3
87   call void @llvm.eh.return.i32(i32 %offset, i8* %handler)
88   unreachable
89 }
90
91 declare void @foo(...)
92 define i8* @EH1(i32 %offset, i8* %handler) {
93 entry:
94 ; CHECK-LABEL: EH1
95 ; CHECK: entsp 3
96 ; CHECK: stw r4, sp[2]
97 ; CHECK: stw r5, sp[1]
98 ; CHECK: mov r4, r1
99 ; CHECK-NEXT: mov r5, r0
100 ; CHECK-NEXT: bl foo
101 ; CHECK-NEXT: ldc r0, 12
102 ; CHECK-NEXT: ldaw r1, sp[0]
103 ; CHECK-NEXT: add r0, r1, r0
104 ; CHECK-NEXT: add r2, r0, r5
105 ; CHECK-NEXT: mov r3, r4
106 ; CHECK-NEXT: ldw r5, sp[1]
107 ; CHECK-NEXT: ldw r4, sp[2]
108 ; CHECK-NEXT: set sp, r2
109 ; CHECK-NEXT: bau r3
110   call void (...)* @foo()
111   call void @llvm.eh.return.i32(i32 %offset, i8* %handler)
112   unreachable
113 }
114
115 @offset = external constant i32
116 @handler = external constant i8
117 define i8* @EH2(i32 %r0, i32 %r1, i32 %r2, i32 %r3) {
118 entry:
119 ; CHECK-LABEL: EH2
120 ; CHECK: entsp 1
121 ; CHECK: bl foo
122 ; CHECK-NEXT: ldw r0, dp[offset]
123 ; CHECK-NEXT: ldc r1, 4
124 ; CHECK-NEXT: ldaw r2, sp[0]
125 ; CHECK-NEXT: add r1, r2, r1
126 ; CHECK-NEXT: add r2, r1, r0
127 ; CHECK-NEXT: ldaw r3, dp[handler]
128 ; CHECK-NEXT: set sp, r2
129 ; CHECK-NEXT: bau r3
130   call void (...)* @foo()
131   %0 = load i32* @offset
132   call void @llvm.eh.return.i32(i32 %0, i8* @handler)
133   unreachable
134 }
135
136
137 ; FP: spill FP+SR+R4:9 = entsp 2 + 6
138 ; CHECKFP-LABEL: Unwind0:
139 ; CHECKFP: entsp 8
140 ; CHECKFP: stw r10, sp[1]
141 ; CHECKFP: ldaw r10, sp[0]
142 ; CHECKFP: stw r4, r10[7]
143 ; CHECKFP: stw r5, r10[6]
144 ; CHECKFP: stw r6, r10[5]
145 ; CHECKFP: stw r7, r10[4]
146 ; CHECKFP: stw r8, r10[3]
147 ; CHECKFP: stw r9, r10[2]
148 ; CHECKFP: ldw r9, r10[2]
149 ; CHECKFP: ldw r8, r10[3]
150 ; CHECKFP: ldw r7, r10[4]
151 ; CHECKFP: ldw r6, r10[5]
152 ; CHECKFP: ldw r5, r10[6]
153 ; CHECKFP: ldw r4, r10[7]
154 ; CHECKFP: set sp, r10
155 ; CHECKFP: ldw r10, sp[1]
156 ; CHECKFP: retsp 8
157 ;
158 ; !FP: spill R4:10 = entsp 7
159 ; CHECK-LABEL: Unwind0:
160 ; CHECK: entsp 7
161 ; CHECK: stw r4, sp[6]
162 ; CHECK: stw r5, sp[5]
163 ; CHECK: stw r6, sp[4]
164 ; CHECK: stw r7, sp[3]
165 ; CHECK: stw r8, sp[2]
166 ; CHECK: stw r9, sp[1]
167 ; CHECK: stw r10, sp[0]
168 ; CHECK: ldw r10, sp[0]
169 ; CHECK: ldw r9, sp[1]
170 ; CHECK: ldw r8, sp[2]
171 ; CHECK: ldw r7, sp[3]
172 ; CHECK: ldw r6, sp[4]
173 ; CHECK: ldw r5, sp[5]
174 ; CHECK: ldw r4, sp[6]
175 ; CHECK: retsp 7
176 define void @Unwind0() {
177   call void @llvm.eh.unwind.init()
178   ret void
179 }
180
181
182 ; FP: spill FP+SR+R4:9+LR = entsp 2 + 6 + extsp 1
183 ; CHECKFP-LABEL: Unwind1:
184 ; CHECKFP: entsp 8
185 ; CHECKFP: stw r10, sp[1]
186 ; CHECKFP: ldaw r10, sp[0]
187 ; CHECKFP: stw r4, r10[7]
188 ; CHECKFP: stw r5, r10[6]
189 ; CHECKFP: stw r6, r10[5]
190 ; CHECKFP: stw r7, r10[4]
191 ; CHECKFP: stw r8, r10[3]
192 ; CHECKFP: stw r9, r10[2]
193 ; CHECKFP: extsp 1
194 ; CHECKFP: bl foo
195 ; CHECKFP: ldaw sp, sp[1]
196 ; CHECKFP: ldw r9, r10[2]
197 ; CHECKFP: ldw r8, r10[3]
198 ; CHECKFP: ldw r7, r10[4]
199 ; CHECKFP: ldw r6, r10[5]
200 ; CHECKFP: ldw r5, r10[6]
201 ; CHECKFP: ldw r4, r10[7]
202 ; CHECKFP: set sp, r10
203 ; CHECKFP: ldw r10, sp[1]
204 ; CHECKFP: retsp 8
205 ;
206 ; !FP: spill R4:10+LR = entsp 7 + 1
207 ; CHECK-LABEL: Unwind1:
208 ; CHECK: entsp 8
209 ; CHECK: stw r4, sp[7]
210 ; CHECK: stw r5, sp[6]
211 ; CHECK: stw r6, sp[5]
212 ; CHECK: stw r7, sp[4]
213 ; CHECK: stw r8, sp[3]
214 ; CHECK: stw r9, sp[2]
215 ; CHECK: stw r10, sp[1]
216 ; CHECK: bl foo
217 ; CHECK: ldw r10, sp[1]
218 ; CHECK: ldw r9, sp[2]
219 ; CHECK: ldw r8, sp[3]
220 ; CHECK: ldw r7, sp[4]
221 ; CHECK: ldw r6, sp[5]
222 ; CHECK: ldw r5, sp[6]
223 ; CHECK: ldw r4, sp[7]
224 ; CHECK: retsp 8
225 define void @Unwind1() {
226   call void (...)* @foo()
227   call void @llvm.eh.unwind.init()
228   ret void
229 }