Add support for comparing integer non-legal types.
[oota-llvm.git] / test / CodeGen / ARM / fast-isel.ll
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.
5 define i32 @add(i32 %a, i32 %b) nounwind {
6 entry:
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
18 define void @test1(i32 %tmp) nounwind {
19 entry:
20 %tobool = trunc i32 %tmp to i1
21 br i1 %tobool, label %if.then, label %if.end
22
23 if.then:                                          ; preds = %entry
24 call void @test1(i32 0)
25 br label %if.end
26
27 if.end:                                           ; preds = %if.then, %entry
28 ret 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
36 define void @test2(i32 %tmp, i32* %ptr) nounwind {
37 ; THUMB: test2:
38 ; ARM: test2:
39
40 b1:
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
48 b2:
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
56 b3:
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
65 define void @test3(i32 %tmp, i32* %ptr1, i16* %ptr2, i8* %ptr3) nounwind {
66 ; THUMB: test3:
67 ; ARM: test3:
68
69 bb1:
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
92 bb2:
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
111 bb3:
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
139 define 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 }