• Home
  • Line#
  • Scopes#
  • Navigate#
  • Raw
  • Download
1; RUN: llc < %s -O0 -fast-isel-abort -relocation-model=dynamic-no-pic -mtriple=armv7-apple-darwin | FileCheck %s --check-prefix=ARM
2; RUN: llc < %s -O0 -fast-isel-abort -relocation-model=dynamic-no-pic -mtriple=thumbv7-apple-darwin | FileCheck %s --check-prefix=THUMB
3
4; Very basic fast-isel functionality.
5define i32 @add(i32 %a, i32 %b) nounwind {
6entry:
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
14  ret i32 %add
15}
16
17; Check truncate to bool
18define void @test1(i32 %tmp) nounwind {
19entry:
20%tobool = trunc i32 %tmp to i1
21br i1 %tobool, label %if.then, label %if.end
22
23if.then:                                          ; preds = %entry
24call void @test1(i32 0)
25br label %if.end
26
27if.end:                                           ; preds = %if.then, %entry
28ret void
29; ARM: test1:
30; ARM: tst r0, #1
31; THUMB: test1:
32; THUMB: tst.w r0, #1
33}
34
35; Check some simple operations with immediates
36define void @test2(i32 %tmp, i32* %ptr) nounwind {
37; THUMB: test2:
38; ARM: test2:
39
40b1:
41  %a = add i32 %tmp, 4096
42  store i32 %a, i32* %ptr
43  br label %b2
44
45; THUMB: add.w {{.*}} #4096
46; ARM: add {{.*}} #4096
47
48b2:
49  %b = add i32 %tmp, 4095
50  store i32 %b, i32* %ptr
51  br label %b3
52; THUMB: addw {{.*}} #4095
53; ARM: movw {{.*}} #4095
54; ARM: add
55
56b3:
57  %c = or i32 %tmp, 4
58  store i32 %c, i32* %ptr
59  ret void
60
61; THUMB: orr {{.*}} #4
62; ARM: orr {{.*}} #4
63}
64
65define void @test3(i32 %tmp, i32* %ptr1, i16* %ptr2, i8* %ptr3) nounwind {
66; THUMB: test3:
67; ARM: test3:
68
69bb1:
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
79  br label %bb2
80
81; THUMB: and
82; THUMB: strb
83; THUMB: uxtb
84; THUMB: strh
85; THUMB: uxth
86; ARM: and
87; ARM: strb
88; ARM: uxtb
89; ARM: strh
90; ARM: uxth
91
92bb2:
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
100  br label %bb3
101
102; THUMB: strb
103; THUMB: sxtb
104; THUMB: strh
105; THUMB: sxth
106; ARM: strb
107; ARM: sxtb
108; ARM: strh
109; ARM: sxth
110
111bb3:
112  %c1 = load i8* %ptr3
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
120  ret void
121
122; THUMB: ldrb
123; THUMB: ldrh
124; THUMB: uxtb
125; THUMB: sxth
126; THUMB: add
127; THUMB: sub
128; ARM: ldrb
129; ARM: ldrh
130; ARM: uxtb
131; ARM: sxth
132; ARM: add
133; ARM: sub
134}
135
136; Check loads/stores with globals
137@test4g = external global i32
138
139define void @test4() {
140  %a = load i32* @test4g
141  %b = add i32 %a, 1
142  store i32 %b, i32* @test4g
143  ret void
144
145; THUMB: ldr.n r0, LCPI4_1
146; THUMB: ldr r0, [r0]
147; THUMB: ldr r0, [r0]
148; THUMB: adds r0, #1
149; THUMB: ldr.n r1, LCPI4_0
150; THUMB: ldr r1, [r1]
151; THUMB: str r0, [r1]
152
153; ARM: ldr r0, LCPI4_1
154; ARM: ldr r0, [r0]
155; ARM: ldr r0, [r0]
156; ARM: add r0, r0, #1
157; ARM: ldr r1, LCPI4_0
158; ARM: ldr r1, [r1]
159; ARM: str r0, [r1]
160}
161