1 ; RUN: llc < %s -O0 -fast-isel-abort -relocation-model=dynamic-no-pic -mtriple=armv7-apple-ios | FileCheck %s --check-prefix=ARM
2 ; RUN: llc < %s -O0 -fast-isel-abort -relocation-model=dynamic-no-pic -mtriple=thumbv7-apple-ios | FileCheck %s --check-prefix=THUMB
4 ; Very basic fast-isel functionality.
5 define i32 @add(i32 %a, i32 %b) nounwind {
7 %a.addr = alloca i32, align 4
8 %b.addr = alloca i32, align 4
9 store i32 %a, i32* %a.addr
10 store i32 %b, i32* %b.addr
11 %tmp = load i32* %a.addr
12 %tmp1 = load i32* %b.addr
13 %add = add nsw i32 %tmp, %tmp1
17 ; Check truncate to bool
18 define void @test1(i32 %tmp) nounwind {
20 %tobool = trunc i32 %tmp to i1
21 br i1 %tobool, label %if.then, label %if.end
23 if.then: ; preds = %entry
24 call void @test1(i32 0)
27 if.end: ; preds = %if.then, %entry
35 ; Check some simple operations with immediates
36 define void @test2(i32 %tmp, i32* %ptr) nounwind {
41 %a = add i32 %tmp, 4096
42 store i32 %a, i32* %ptr
45 ; THUMB: add.w {{.*}} #4096
46 ; ARM: add {{.*}} #4096
49 %b = add i32 %tmp, 4095
50 store i32 %b, i32* %ptr
52 ; THUMB: addw {{.*}} #4095
53 ; ARM: movw {{.*}} #4095
58 store i32 %c, i32* %ptr
61 ; THUMB: orr {{.*}} #4
65 define void @test3(i32 %tmp, i32* %ptr1, i16* %ptr2, i8* %ptr3) nounwind {
70 %a1 = trunc i32 %tmp to i16
71 %a2 = trunc i16 %a1 to i8
72 %a3 = trunc i8 %a2 to i1
73 %a4 = zext i1 %a3 to i8
74 store i8 %a4, i8* %ptr3
75 %a5 = zext i8 %a4 to i16
76 store i16 %a5, i16* %ptr2
77 %a6 = zext i16 %a5 to i32
78 store i32 %a6, i32* %ptr1
93 %b1 = trunc i32 %tmp to i16
94 %b2 = trunc i16 %b1 to i8
95 store i8 %b2, i8* %ptr3
96 %b3 = sext i8 %b2 to i16
97 store i16 %b3, i16* %ptr2
98 %b4 = sext i16 %b3 to i32
99 store i32 %b4, i32* %ptr1
113 %c2 = load i16* %ptr2
114 %c3 = load i32* %ptr1
115 %c4 = zext i8 %c1 to i32
116 %c5 = sext i16 %c2 to i32
117 %c6 = add i32 %c4, %c5
118 %c7 = sub i32 %c3, %c6
119 store i32 %c7, i32* %ptr1
136 ; Check loads/stores with globals
137 @test4g = external global i32
139 define void @test4() {
140 %a = load i32* @test4g
142 store i32 %b, i32* @test4g
145 ; THUMB: ldr.n r0, LCPI4_1
146 ; THUMB: ldr r0, [r0]
147 ; THUMB: ldr r0, [r0]
149 ; THUMB: ldr.n r1, LCPI4_0
150 ; THUMB: ldr r1, [r1]
151 ; THUMB: str r0, [r1]
153 ; ARM: ldr r0, LCPI4_1
156 ; ARM: add r0, r0, #1
157 ; ARM: ldr r1, LCPI4_0
162 ; Check unaligned stores
163 %struct.anon = type <{ float }>
165 @a = common global %struct.anon* null, align 4
167 define void @unaligned_store(float %x, float %y) nounwind {
169 ; ARM: @unaligned_store
173 ; THUMB: @unaligned_store
175 ; THUMB: str r1, [r0]
177 %add = fadd float %x, %y
178 %0 = load %struct.anon** @a, align 4
179 %x1 = getelementptr inbounds %struct.anon* %0, i32 0, i32 0
180 store float %add, float* %x1, align 1
184 ; Doublewords require only word-alignment.
186 %struct.anon.0 = type { double }
188 @foo_unpacked = common global %struct.anon.0 zeroinitializer, align 4
190 define void @test5(double %a, double %b) nounwind {
194 %add = fadd double %a, %b
195 store double %add, double* getelementptr inbounds (%struct.anon.0* @foo_unpacked, i32 0, i32 0), align 4
196 ; ARM: vstr d16, [r0]
197 ; THUMB: vstr d16, [r0]
201 ; Check unaligned loads of floats
202 %class.TAlignTest = type <{ i16, float }>
204 define zeroext i1 @test6(%class.TAlignTest* %this) nounwind align 2 {
208 %0 = alloca %class.TAlignTest*, align 4
209 store %class.TAlignTest* %this, %class.TAlignTest** %0, align 4
210 %1 = load %class.TAlignTest** %0
211 %2 = getelementptr inbounds %class.TAlignTest* %1, i32 0, i32 1
212 %3 = load float* %2, align 1
213 %4 = fcmp une float %3, 0.000000e+00
214 ; ARM: ldr r0, [r0, #2]
216 ; ARM: vcmpe.f32 s0, #0
217 ; THUMB: ldr.w r0, [r0, #2]
219 ; THUMB: vcmpe.f32 s0, #0