Lines Matching +full:- +full:it
2 ; RUN: llc < %s -mtriple=thumbv7-apple-ios -mcpu=cortex-a8 | FileCheck %s
3 ; RUN: llc < %s -mtriple=thumbv8 | FileCheck -check-prefix=CHECK-V8 %s
4 ; RUN: llc < %s -mtriple=thumbv7 -arm-restrict-it | FileCheck -check-prefix=CHECK-RESTRICT-IT %s
7 ; CHECK-LABEL: t1:
9 ; CHECK-NEXT: ldr r3, LCPI0_0
10 ; CHECK-NEXT: cmp r0, #0
11 ; CHECK-NEXT: LPC0_0:
12 ; CHECK-NEXT: add r3, pc
13 ; CHECK-NEXT: str r3, [r2]
14 ; CHECK-NEXT: mov.w r2, #1
15 ; CHECK-NEXT: it eq
16 ; CHECK-NEXT: moveq.w r2, #-1
17 ; CHECK-NEXT: Ltmp0: @ Block address taken
18 ; CHECK-NEXT: @ %bb.1: @ %common.ret
19 ; CHECK-NEXT: adds r0, r1, r2
20 ; CHECK-NEXT: bx lr
21 ; CHECK-NEXT: .p2align 2
22 ; CHECK-NEXT: @ %bb.2:
23 ; CHECK-NEXT: .data_region
24 ; CHECK-NEXT: LCPI0_0:
25 ; CHECK-NEXT: .long Ltmp0-(LPC0_0+4)
26 ; CHECK-NEXT: .end_data_region
28 ; CHECK-V8-LABEL: t1:
29 ; CHECK-V8: @ %bb.0:
30 ; CHECK-V8-NEXT: ldr r3, .LCPI0_0
31 ; CHECK-V8-NEXT: cmp r0, #0
32 ; CHECK-V8-NEXT: str r3, [r2]
33 ; CHECK-V8-NEXT: mov.w r2, #1
34 ; CHECK-V8-NEXT: it eq
35 ; CHECK-V8-NEXT: moveq.w r2, #-1
36 ; CHECK-V8-NEXT: .Ltmp0: @ Block address taken
37 ; CHECK-V8-NEXT: @ %bb.1: @ %common.ret
38 ; CHECK-V8-NEXT: adds r0, r1, r2
39 ; CHECK-V8-NEXT: bx lr
40 ; CHECK-V8-NEXT: .p2align 2
41 ; CHECK-V8-NEXT: @ %bb.2:
42 ; CHECK-V8-NEXT: .LCPI0_0:
43 ; CHECK-V8-NEXT: .long .Ltmp0
45 ; CHECK-RESTRICT-IT-LABEL: t1:
46 ; CHECK-RESTRICT-IT: @ %bb.0:
47 ; CHECK-RESTRICT-IT-NEXT: ldr r3, .LCPI0_0
48 ; CHECK-RESTRICT-IT-NEXT: str r3, [r2]
49 ; CHECK-RESTRICT-IT-NEXT: movs r2, #1
50 ; CHECK-RESTRICT-IT-NEXT: cmp r0, #0
51 ; CHECK-RESTRICT-IT-NEXT: it eq
52 ; CHECK-RESTRICT-IT-NEXT: moveq.w r2, #-1
53 ; CHECK-RESTRICT-IT-NEXT: .Ltmp0: @ Block address taken
54 ; CHECK-RESTRICT-IT-NEXT: @ %bb.1: @ %common.ret
55 ; CHECK-RESTRICT-IT-NEXT: adds r0, r1, r2
56 ; CHECK-RESTRICT-IT-NEXT: bx lr
57 ; CHECK-RESTRICT-IT-NEXT: .p2align 2
58 ; CHECK-RESTRICT-IT-NEXT: @ %bb.2:
59 ; CHECK-RESTRICT-IT-NEXT: .LCPI0_0:
60 ; CHECK-RESTRICT-IT-NEXT: .long .Ltmp0
70 %tmp7 = add i32 %b, -1
75 ; CHECK-LABEL: t2:
77 ; CHECK-NEXT: ldr.w r9, [sp]
78 ; CHECK-NEXT: add r0, r1
79 ; CHECK-NEXT: ldr.w r12, LCPI1_0
80 ; CHECK-NEXT: cmp r3, #3
81 ; CHECK-NEXT: LPC1_0:
82 ; CHECK-NEXT: add r12, pc
83 ; CHECK-NEXT: str.w r12, [r9]
84 ; CHECK-NEXT: it gt
85 ; CHECK-NEXT: bxgt lr
86 ; CHECK-NEXT: LBB1_1:
87 ; CHECK-NEXT: cmp r2, #10
88 ; CHECK-NEXT: ble LBB1_3
89 ; CHECK-NEXT: Ltmp1: @ Block address taken
90 ; CHECK-NEXT: @ %bb.2: @ %cond_true
91 ; CHECK-NEXT: add r0, r2
92 ; CHECK-NEXT: subs r0, r0, r3
93 ; CHECK-NEXT: LBB1_3: @ %common.ret
94 ; CHECK-NEXT: bx lr
95 ; CHECK-NEXT: .p2align 2
96 ; CHECK-NEXT: @ %bb.4:
97 ; CHECK-NEXT: .data_region
98 ; CHECK-NEXT: LCPI1_0:
99 ; CHECK-NEXT: .long Ltmp1-(LPC1_0+4)
100 ; CHECK-NEXT: .end_data_region
102 ; CHECK-V8-LABEL: t2:
103 ; CHECK-V8: @ %bb.0:
104 ; CHECK-V8-NEXT: push {r7, lr}
105 ; CHECK-V8-NEXT: ldr.w r12, [sp, #8]
106 ; CHECK-V8-NEXT: add r0, r1
107 ; CHECK-V8-NEXT: ldr.w lr, .LCPI1_0
108 ; CHECK-V8-NEXT: cmp r3, #3
109 ; CHECK-V8-NEXT: str.w lr, [r12]
110 ; CHECK-V8-NEXT: it gt
111 ; CHECK-V8-NEXT: popgt {r7, pc}
112 ; CHECK-V8-NEXT: .LBB1_1:
113 ; CHECK-V8-NEXT: cmp r2, #10
114 ; CHECK-V8-NEXT: ble .LBB1_3
115 ; CHECK-V8-NEXT: .Ltmp1: @ Block address taken
116 ; CHECK-V8-NEXT: @ %bb.2: @ %cond_true
117 ; CHECK-V8-NEXT: add r0, r2
118 ; CHECK-V8-NEXT: subs r0, r0, r3
119 ; CHECK-V8-NEXT: .LBB1_3: @ %common.ret
120 ; CHECK-V8-NEXT: pop {r7, pc}
121 ; CHECK-V8-NEXT: .p2align 2
122 ; CHECK-V8-NEXT: @ %bb.4:
123 ; CHECK-V8-NEXT: .LCPI1_0:
124 ; CHECK-V8-NEXT: .long .Ltmp1
126 ; CHECK-RESTRICT-IT-LABEL: t2:
127 ; CHECK-RESTRICT-IT: @ %bb.0:
128 ; CHECK-RESTRICT-IT-NEXT: push {r7, lr}
129 ; CHECK-RESTRICT-IT-NEXT: ldr.w r12, [sp, #8]
130 ; CHECK-RESTRICT-IT-NEXT: add r0, r1
131 ; CHECK-RESTRICT-IT-NEXT: ldr.w lr, .LCPI1_0
132 ; CHECK-RESTRICT-IT-NEXT: cmp r3, #3
133 ; CHECK-RESTRICT-IT-NEXT: str.w lr, [r12]
134 ; CHECK-RESTRICT-IT-NEXT: bgt .LBB1_3
135 ; CHECK-RESTRICT-IT-NEXT: @ %bb.1:
136 ; CHECK-RESTRICT-IT-NEXT: cmp r2, #10
137 ; CHECK-RESTRICT-IT-NEXT: ble .LBB1_3
138 ; CHECK-RESTRICT-IT-NEXT: .Ltmp1: @ Block address taken
139 ; CHECK-RESTRICT-IT-NEXT: @ %bb.2: @ %cond_true
140 ; CHECK-RESTRICT-IT-NEXT: add r0, r2
141 ; CHECK-RESTRICT-IT-NEXT: subs r0, r0, r3
142 ; CHECK-RESTRICT-IT-NEXT: .LBB1_3: @ %common.ret
143 ; CHECK-RESTRICT-IT-NEXT: pop {r7, pc}
144 ; CHECK-RESTRICT-IT-NEXT: .p2align 2
145 ; CHECK-RESTRICT-IT-NEXT: @ %bb.4:
146 ; CHECK-RESTRICT-IT-NEXT: .LCPI1_0:
147 ; CHECK-RESTRICT-IT-NEXT: .long .Ltmp1
165 ; CHECK-LABEL: t3:
167 ; CHECK-NEXT: ldr r1, LCPI2_0
168 ; CHECK-NEXT: LPC2_0:
169 ; CHECK-NEXT: add r1, pc
170 ; CHECK-NEXT: str r1, [r0]
171 ; CHECK-NEXT: Ltmp2: @ Block address taken
172 ; CHECK-NEXT: @ %bb.1: @ %common.ret
173 ; CHECK-NEXT: bx lr
174 ; CHECK-NEXT: .p2align 2
175 ; CHECK-NEXT: @ %bb.2:
176 ; CHECK-NEXT: .data_region
177 ; CHECK-NEXT: LCPI2_0:
178 ; CHECK-NEXT: .long Ltmp2-(LPC2_0+4)
179 ; CHECK-NEXT: .end_data_region
181 ; CHECK-V8-LABEL: t3:
182 ; CHECK-V8: @ %bb.0: @ %bb
183 ; CHECK-V8-NEXT: ldr r1, .LCPI2_0
184 ; CHECK-V8-NEXT: str r1, [r0]
185 ; CHECK-V8-NEXT: .Ltmp2: @ Block address taken
186 ; CHECK-V8-NEXT: @ %bb.1: @ %common.ret
187 ; CHECK-V8-NEXT: bx lr
188 ; CHECK-V8-NEXT: .p2align 2
189 ; CHECK-V8-NEXT: @ %bb.2:
190 ; CHECK-V8-NEXT: .LCPI2_0:
191 ; CHECK-V8-NEXT: .long .Ltmp2
193 ; CHECK-RESTRICT-IT-LABEL: t3:
194 ; CHECK-RESTRICT-IT: @ %bb.0: @ %bb
195 ; CHECK-RESTRICT-IT-NEXT: ldr r1, .LCPI2_0
196 ; CHECK-RESTRICT-IT-NEXT: str r1, [r0]
197 ; CHECK-RESTRICT-IT-NEXT: .Ltmp2: @ Block address taken
198 ; CHECK-RESTRICT-IT-NEXT: @ %bb.1: @ %common.ret
199 ; CHECK-RESTRICT-IT-NEXT: bx lr
200 ; CHECK-RESTRICT-IT-NEXT: .p2align 2
201 ; CHECK-RESTRICT-IT-NEXT: @ %bb.2:
202 ; CHECK-RESTRICT-IT-NEXT: .LCPI2_0:
203 ; CHECK-RESTRICT-IT-NEXT: .long .Ltmp2
232 ; CHECK-LABEL: t4:
234 ; CHECK-NEXT: push {r4, lr}
235 ; CHECK-NEXT: mov r4, r0
236 ; CHECK-NEXT: cmp r0, #59
237 ; CHECK-NEXT: ittt gt
238 ; CHECK-NEXT: mvngt r0, #119
239 ; CHECK-NEXT: addgt r0, r4
240 ; CHECK-NEXT: popgt {r4, pc}
241 ; CHECK-NEXT: LBB3_1: @ %if.then
242 ; CHECK-NEXT: blx r1
243 ; CHECK-NEXT: mov.w r0, #-1
244 ; CHECK-NEXT: add r0, r4
245 ; CHECK-NEXT: pop {r4, pc}
247 ; CHECK-V8-LABEL: t4:
248 ; CHECK-V8: @ %bb.0: @ %entry
249 ; CHECK-V8-NEXT: push {r4, lr}
250 ; CHECK-V8-NEXT: mov r4, r0
251 ; CHECK-V8-NEXT: cmp r0, #59
252 ; CHECK-V8-NEXT: bgt .LBB3_2
253 ; CHECK-V8-NEXT: @ %bb.1: @ %if.then
254 ; CHECK-V8-NEXT: blx r1
255 ; CHECK-V8-NEXT: mov.w r0, #-1
256 ; CHECK-V8-NEXT: add r0, r4
257 ; CHECK-V8-NEXT: pop {r4, pc}
258 ; CHECK-V8-NEXT: .LBB3_2:
259 ; CHECK-V8-NEXT: mvn r0, #119
260 ; CHECK-V8-NEXT: add r0, r4
261 ; CHECK-V8-NEXT: pop {r4, pc}
263 ; CHECK-RESTRICT-IT-LABEL: t4:
264 ; CHECK-RESTRICT-IT: @ %bb.0: @ %entry
265 ; CHECK-RESTRICT-IT-NEXT: push {r4, lr}
266 ; CHECK-RESTRICT-IT-NEXT: mov r4, r0
267 ; CHECK-RESTRICT-IT-NEXT: cmp r0, #59
268 ; CHECK-RESTRICT-IT-NEXT: bgt .LBB3_2
269 ; CHECK-RESTRICT-IT-NEXT: @ %bb.1: @ %if.then
270 ; CHECK-RESTRICT-IT-NEXT: blx r1
271 ; CHECK-RESTRICT-IT-NEXT: mov.w r0, #-1
272 ; CHECK-RESTRICT-IT-NEXT: add r0, r4
273 ; CHECK-RESTRICT-IT-NEXT: pop {r4, pc}
274 ; CHECK-RESTRICT-IT-NEXT: .LBB3_2:
275 ; CHECK-RESTRICT-IT-NEXT: mvn r0, #119
276 ; CHECK-RESTRICT-IT-NEXT: add r0, r4
277 ; CHECK-RESTRICT-IT-NEXT: pop {r4, pc}
284 %sub = add nsw i32 %x, -1
288 %sub1 = add nsw i32 %x, -120
296 ; If-converter was checking for the wrong predicate subsumes pattern when doing
305 ; CHECK-LABEL: wrapDistance:
307 ; CHECK-NEXT: cmp r1, #59
308 ; CHECK-NEXT: itt le
309 ; CHECK-NEXT: suble r0, r2, #1
310 ; CHECK-NEXT: bxle lr
311 ; CHECK-NEXT: LBB4_1: @ %if.else
312 ; CHECK-NEXT: subs r2, #120
313 ; CHECK-NEXT: cmp r2, r1
314 ; CHECK-NEXT: bge LBB4_3
315 ; CHECK-NEXT: @ %bb.2: @ %if.else
316 ; CHECK-NEXT: cmp r0, #119
317 ; CHECK-NEXT: itt le
318 ; CHECK-NEXT: addle r0, r1, #1
319 ; CHECK-NEXT: bxle lr
320 ; CHECK-NEXT: LBB4_3: @ %if.end5
321 ; CHECK-NEXT: subs r0, r1, r0
322 ; CHECK-NEXT: bx lr
324 ; CHECK-V8-LABEL: wrapDistance:
325 ; CHECK-V8: @ %bb.0: @ %entry
326 ; CHECK-V8-NEXT: cmp r1, #59
327 ; CHECK-V8-NEXT: itt le
328 ; CHECK-V8-NEXT: suble r0, r2, #1
329 ; CHECK-V8-NEXT: bxle lr
330 ; CHECK-V8-NEXT: .LBB4_1: @ %if.else
331 ; CHECK-V8-NEXT: subs r2, #120
332 ; CHECK-V8-NEXT: cmp r2, r1
333 ; CHECK-V8-NEXT: bge .LBB4_3
334 ; CHECK-V8-NEXT: @ %bb.2: @ %if.else
335 ; CHECK-V8-NEXT: cmp r0, #119
336 ; CHECK-V8-NEXT: itt le
337 ; CHECK-V8-NEXT: addle r0, r1, #1
338 ; CHECK-V8-NEXT: bxle lr
339 ; CHECK-V8-NEXT: .LBB4_3: @ %if.end5
340 ; CHECK-V8-NEXT: subs r0, r1, r0
341 ; CHECK-V8-NEXT: bx lr
343 ; CHECK-RESTRICT-IT-LABEL: wrapDistance:
344 ; CHECK-RESTRICT-IT: @ %bb.0: @ %entry
345 ; CHECK-RESTRICT-IT-NEXT: cmp r1, #59
346 ; CHECK-RESTRICT-IT-NEXT: bgt .LBB4_2
347 ; CHECK-RESTRICT-IT-NEXT: @ %bb.1: @ %if.then
348 ; CHECK-RESTRICT-IT-NEXT: subs r0, r2, #1
349 ; CHECK-RESTRICT-IT-NEXT: bx lr
350 ; CHECK-RESTRICT-IT-NEXT: .LBB4_2: @ %if.else
351 ; CHECK-RESTRICT-IT-NEXT: subs r2, #120
352 ; CHECK-RESTRICT-IT-NEXT: cmp r2, r1
353 ; CHECK-RESTRICT-IT-NEXT: bge .LBB4_5
354 ; CHECK-RESTRICT-IT-NEXT: @ %bb.3: @ %if.else
355 ; CHECK-RESTRICT-IT-NEXT: cmp r0, #119
356 ; CHECK-RESTRICT-IT-NEXT: bgt .LBB4_5
357 ; CHECK-RESTRICT-IT-NEXT: @ %bb.4: @ %if.then4
358 ; CHECK-RESTRICT-IT-NEXT: adds r0, r1, #1
359 ; CHECK-RESTRICT-IT-NEXT: bx lr
360 ; CHECK-RESTRICT-IT-NEXT: .LBB4_5: @ %if.end5
361 ; CHECK-RESTRICT-IT-NEXT: subs r0, r1, r0
362 ; CHECK-RESTRICT-IT-NEXT: bx lr
368 %sub = add nsw i32 %w, -1
372 %sub1 = add nsw i32 %w, -120