← Back to branch summary

~pali/+junk/llvm-toolchain-3.7

« back to all changes in this revision

Viewing changes to test/CodeGen/ARM/fast-isel.ll

  • Committer: Package Import Robot
  • Author(s): Sylvestre Ledru
  • Date: 2015-07-15 17:51:08 UTC
  • Revision ID: package-import@ubuntu.com-20150715175108-l8mynwovkx4zx697
Tags: upstream-3.7~+rc2
Import upstream version 3.7~+rc2

Show diffs side-by-side

added added

removed removed

Lines of Context:
test/CodeGen/ARM/fast-isel.ll
 
1
; RUN: llc < %s -O0 -fast-isel-abort=1 -relocation-model=dynamic-no-pic -mtriple=armv7-apple-ios -verify-machineinstrs | FileCheck %s --check-prefix=ARM
 
2
; RUN: llc < %s -O0 -fast-isel-abort=1 -relocation-model=dynamic-no-pic -mtriple=armv7-linux-gnueabi -verify-machineinstrs | FileCheck %s --check-prefix=ARM
 
3
; RUN: llc < %s -O0 -fast-isel-abort=1 -relocation-model=dynamic-no-pic -mtriple=thumbv7-apple-ios -verify-machineinstrs | FileCheck %s --check-prefix=THUMB
 
4
 
 
5
; Very basic fast-isel functionality.
 
6
define i32 @test0(i32 %a, i32 %b) nounwind {
 
7
entry:
 
8
  %a.addr = alloca i32, align 4
 
9
  %b.addr = alloca i32, align 4
 
10
  store i32 %a, i32* %a.addr
 
11
  store i32 %b, i32* %b.addr
 
12
  %tmp = load i32, i32* %a.addr
 
13
  %tmp1 = load i32, i32* %b.addr
 
14
  %add = add nsw i32 %tmp, %tmp1
 
15
  ret i32 %add
 
16
}
 
17
 
 
18
; Check truncate to bool
 
19
define void @test1(i32 %tmp) nounwind {
 
20
entry:
 
21
%tobool = trunc i32 %tmp to i1
 
22
br i1 %tobool, label %if.then, label %if.end
 
23
 
 
24
if.then:                                          ; preds = %entry
 
25
call void @test1(i32 0)
 
26
br label %if.end
 
27
 
 
28
if.end:                                           ; preds = %if.then, %entry
 
29
ret void
 
30
; ARM-LABEL: test1:
 
31
; ARM: tst r0, #1
 
32
; THUMB-LABEL: test1:
 
33
; THUMB: tst.w r0, #1
 
34
}
 
35
 
 
36
; Check some simple operations with immediates
 
37
define void @test2(i32 %tmp, i32* %ptr) nounwind {
 
38
; THUMB-LABEL: test2:
 
39
; ARM-LABEL: test2:
 
40
 
 
41
b1:
 
42
  %a = add i32 %tmp, 4096
 
43
  store i32 %a, i32* %ptr
 
44
  br label %b2
 
45
 
 
46
; THUMB: add.w {{.*}} #4096
 
47
; ARM: add {{.*}} #4096
 
48
 
 
49
b2:
 
50
  %b = add i32 %tmp, 4095
 
51
  store i32 %b, i32* %ptr
 
52
  br label %b3
 
53
; THUMB: addw {{.*}} #4095
 
54
; ARM: movw {{.*}} #4095
 
55
; ARM: add
 
56
 
 
57
b3:
 
58
  %c = or i32 %tmp, 4
 
59
  store i32 %c, i32* %ptr
 
60
  ret void
 
61
 
 
62
; THUMB: orr {{.*}} #4
 
63
; ARM: orr {{.*}} #4
 
64
}
 
65
 
 
66
define void @test3(i32 %tmp, i32* %ptr1, i16* %ptr2, i8* %ptr3) nounwind {
 
67
; THUMB-LABEL: test3:
 
68
; ARM-LABEL: test3:
 
69
 
 
70
bb1:
 
71
  %a1 = trunc i32 %tmp to i16
 
72
  %a2 = trunc i16 %a1 to i8
 
73
  %a3 = trunc i8 %a2 to i1
 
74
  %a4 = zext i1 %a3 to i8
 
75
  store i8 %a4, i8* %ptr3
 
76
  %a5 = zext i8 %a4 to i16
 
77
  store i16 %a5, i16* %ptr2
 
78
  %a6 = zext i16 %a5 to i32
 
79
  store i32 %a6, i32* %ptr1
 
80
  br label %bb2
 
81
 
 
82
; THUMB: and
 
83
; THUMB: strb
 
84
; THUMB: and{{.*}}, #255
 
85
; THUMB: strh
 
86
; THUMB: uxth
 
87
; ARM: and
 
88
; ARM: strb
 
89
; ARM: and{{.*}}, #255
 
90
; ARM: strh
 
91
; ARM: uxth
 
92
 
 
93
bb2:
 
94
  %b1 = trunc i32 %tmp to i16
 
95
  %b2 = trunc i16 %b1 to i8
 
96
  store i8 %b2, i8* %ptr3
 
97
  %b3 = sext i8 %b2 to i16
 
98
  store i16 %b3, i16* %ptr2
 
99
  %b4 = sext i16 %b3 to i32
 
100
  store i32 %b4, i32* %ptr1
 
101
  br label %bb3
 
102
 
 
103
; THUMB: strb
 
104
; THUMB: sxtb
 
105
; THUMB: strh
 
106
; THUMB: sxth
 
107
; ARM: strb
 
108
; ARM: sxtb
 
109
; ARM: strh
 
110
; ARM: sxth
 
111
 
 
112
bb3:
 
113
  %c1 = load i8, i8* %ptr3
 
114
  %c2 = load i16, i16* %ptr2
 
115
  %c3 = load i32, i32* %ptr1
 
116
  %c4 = zext i8 %c1 to i32
 
117
  %c5 = sext i16 %c2 to i32
 
118
  %c6 = add i32 %c4, %c5
 
119
  %c7 = sub i32 %c3, %c6
 
120
  store i32 %c7, i32* %ptr1
 
121
  ret void
 
122
 
 
123
; THUMB: ldrb
 
124
; THUMB: ldrh
 
125
; THUMB: and{{.*}}, #255
 
126
; THUMB: sxth
 
127
; THUMB: add
 
128
; THUMB: sub
 
129
; ARM: ldrb
 
130
; ARM: ldrh
 
131
; ARM: and{{.*}}, #255
 
132
; ARM: sxth
 
133
; ARM: add
 
134
; ARM: sub
 
135
}
 
136
 
 
137
; Check loads/stores with globals
 
138
@test4g = external global i32
 
139
 
 
140
define void @test4() {
 
141
  %a = load i32, i32* @test4g
 
142
  %b = add i32 %a, 1
 
143
  store i32 %b, i32* @test4g
 
144
  ret void
 
145
 
 
146
 
 
147
; Note that relocations are either movw/movt or constant pool
 
148
; loads. Different platforms will select different approaches.
 
149
 
 
150
; THUMB: {{(movw r0, :lower16:L_test4g\$non_lazy_ptr)|(ldr.n r0, .LCPI)}}
 
151
; THUMB: {{(movt r0, :upper16:L_test4g\$non_lazy_ptr)?}}
 
152
; THUMB: ldr r0, [r0]
 
153
; THUMB: ldr r1, [r0]
 
154
; THUMB: adds r1, #1
 
155
; THUMB: str r1, [r0]
 
156
 
 
157
; ARM: {{(movw r0, :lower16:L_test4g\$non_lazy_ptr)|(ldr r0, .LCPI)}}
 
158
; ARM: {{(movt r0, :upper16:L_test4g\$non_lazy_ptr)?}}
 
159
; ARM: ldr r0, [r0]
 
160
; ARM: ldr r1, [r0]
 
161
; ARM: add r1, r1, #1
 
162
; ARM: str r1, [r0]
 
163
}
 
164
 
 
165
; ARM: @urem_fold
 
166
; THUMB: @urem_fold
 
167
; ARM: and r0, r0, #31
 
168
; THUMB: and r0, r0, #31
 
169
define i32 @urem_fold(i32 %a) nounwind {
 
170
  %rem = urem i32 %a, 32
 
171
  ret i32 %rem
 
172
}
 
173
 
 
174
define i32 @trap_intrinsic() noreturn nounwind  {
 
175
entry:
 
176
; ARM: @trap_intrinsic
 
177
; THUMB: @trap_intrinsic
 
178
; ARM: trap
 
179
; THUMB: trap
 
180
  tail call void @llvm.trap( )
 
181
  unreachable
 
182
}
 
183
 
 
184
declare void @llvm.trap() nounwind