xref: /llvm-project/llvm/test/CodeGen/Thumb2/LowOverheadLoops/loop-dec-copy-chain.mir (revision 59c6bd156cc8b42758ce90909615748e21c6eee2)
1# NOTE: Assertions have been autogenerated by utils/update_mir_test_checks.py
2# RUN: llc -mtriple=thumbv8.1m.main -run-pass=arm-low-overhead-loops %s -o - --verify-machineinstrs | FileCheck %s
3
4--- |
5  define dso_local arm_aapcscc void @test1(ptr nocapture %arg, ptr nocapture readonly %arg1, ptr nocapture readonly %arg2, i32 %arg3) {
6  bb:
7    %tmp = icmp eq i32 %arg3, 0
8    br i1 %tmp, label %bb27, label %bb4
9
10  bb4:                                              ; preds = %bb
11    %tmp5 = add i32 %arg3, -1
12    %tmp6 = and i32 %arg3, 3
13    %tmp7 = icmp ult i32 %tmp5, 3
14    %tmp8 = add i32 %arg3, -4
15    %tmp9 = sub i32 %tmp8, %tmp6
16    %tmp10 = lshr i32 %tmp9, 2
17    %tmp11 = add nuw nsw i32 %tmp10, 1
18    br i1 %tmp7, label %bb13, label %bb12
19
20  bb12:                                             ; preds = %bb4
21    %start = call i32 @llvm.start.loop.iterations.i32(i32 %tmp11)
22    br label %bb28
23
24  bb13:                                             ; preds = %bb28, %bb4
25    %tmp14 = phi i32 [ 0, %bb4 ], [ %tmp54, %bb28 ]
26    %exit.count = phi i32 [ 0, %bb4 ], [ %loop.dec, %bb28 ]
27    %tmp15 = icmp eq i32 %tmp6, 0
28    br i1 %tmp15, label %bb27, label %bb16
29
30  bb16:                                             ; preds = %bb13
31    %tmp17 = getelementptr inbounds i32, ptr %arg1, i32 %tmp14
32    %tmp18 = load i32, ptr %tmp17, align 4
33    %tmp19 = getelementptr inbounds i32, ptr %arg2, i32 %tmp14
34    %tmp20 = load i32, ptr %tmp19, align 4
35    %tmp21 = xor i32 %tmp20, %tmp18
36    %tmp22 = getelementptr inbounds i32, ptr %arg, i32 %tmp14
37    %tmp23 = load i32, ptr %tmp22, align 4
38    %tmp24 = add nsw i32 %tmp23, %tmp21
39    store i32 %tmp24, ptr %tmp22, align 4
40    %tmp25 = add nuw i32 %tmp14, 1
41    %tmp26 = icmp eq i32 %tmp6, 1
42    br i1 %tmp26, label %bb27, label %bb57
43
44  bb27:                                             ; preds = %bb68, %bb57, %bb16, %bb13, %bb
45    ret void
46
47  bb28:                                             ; preds = %bb28, %bb12
48    %lsr.iv15 = phi i32 [ %lsr.iv.next16, %bb28 ], [ %start, %bb12 ]
49    %lsr.iv = phi i32 [ %lsr.iv.next, %bb28 ], [ 0, %bb12 ]
50    %tmp29 = phi i32 [ 0, %bb12 ], [ %tmp54, %bb28 ]
51    %0 = bitcast ptr %arg1 to ptr
52    %1 = bitcast ptr %arg2 to ptr
53    %2 = bitcast ptr %arg to ptr
54    %uglygep14 = getelementptr i8, ptr %0, i32 %lsr.iv
55    %uglygep1415 = bitcast ptr %uglygep14 to ptr
56    %scevgep617 = bitcast ptr %uglygep1415 to ptr
57    %tmp34 = load i32, ptr %scevgep617, align 4
58    %uglygep8 = getelementptr i8, ptr %1, i32 %lsr.iv
59    %uglygep89 = bitcast ptr %uglygep8 to ptr
60    %scevgep418 = bitcast ptr %uglygep89 to ptr
61    %tmp35 = load i32, ptr %scevgep418, align 4
62    %tmp36 = xor i32 %tmp35, %tmp34
63    %uglygep2 = getelementptr i8, ptr %2, i32 %lsr.iv
64    %uglygep23 = bitcast ptr %uglygep2 to ptr
65    %scevgep219 = bitcast ptr %uglygep23 to ptr
66    %tmp37 = load i32, ptr %scevgep219, align 4
67    %tmp38 = add nsw i32 %tmp37, %tmp36
68    store i32 %tmp38, ptr %scevgep219, align 4
69    %uglygep33 = getelementptr i8, ptr %0, i32 %lsr.iv
70    %uglygep3334 = bitcast ptr %uglygep33 to ptr
71    %scevgep14 = getelementptr i32, ptr %uglygep3334, i32 1
72    %tmp39 = load i32, ptr %scevgep14, align 4
73    %uglygep27 = getelementptr i8, ptr %1, i32 %lsr.iv
74    %uglygep2728 = bitcast ptr %uglygep27 to ptr
75    %scevgep11 = getelementptr i32, ptr %uglygep2728, i32 1
76    %tmp40 = load i32, ptr %scevgep11, align 4
77    %tmp41 = xor i32 %tmp40, %tmp39
78    %uglygep20 = getelementptr i8, ptr %2, i32 %lsr.iv
79    %uglygep2021 = bitcast ptr %uglygep20 to ptr
80    %scevgep9 = getelementptr i32, ptr %uglygep2021, i32 1
81    %tmp42 = load i32, ptr %scevgep9, align 4
82    %tmp43 = add nsw i32 %tmp42, %tmp41
83    store i32 %tmp43, ptr %scevgep9, align 4
84    %uglygep30 = getelementptr i8, ptr %0, i32 %lsr.iv
85    %uglygep3031 = bitcast ptr %uglygep30 to ptr
86    %scevgep12 = getelementptr i32, ptr %uglygep3031, i32 2
87    %tmp44 = load i32, ptr %scevgep12, align 4
88    %uglygep24 = getelementptr i8, ptr %1, i32 %lsr.iv
89    %uglygep2425 = bitcast ptr %uglygep24 to ptr
90    %scevgep10 = getelementptr i32, ptr %uglygep2425, i32 2
91    %tmp45 = load i32, ptr %scevgep10, align 4
92    %tmp46 = xor i32 %tmp45, %tmp44
93    %uglygep17 = getelementptr i8, ptr %2, i32 %lsr.iv
94    %uglygep1718 = bitcast ptr %uglygep17 to ptr
95    %scevgep8 = getelementptr i32, ptr %uglygep1718, i32 2
96    %tmp47 = load i32, ptr %scevgep8, align 4
97    %tmp48 = add nsw i32 %tmp47, %tmp46
98    store i32 %tmp48, ptr %scevgep8, align 4
99    %uglygep11 = getelementptr i8, ptr %0, i32 %lsr.iv
100    %uglygep1112 = bitcast ptr %uglygep11 to ptr
101    %scevgep5 = getelementptr i32, ptr %uglygep1112, i32 3
102    %tmp49 = load i32, ptr %scevgep5, align 4
103    %uglygep5 = getelementptr i8, ptr %1, i32 %lsr.iv
104    %uglygep56 = bitcast ptr %uglygep5 to ptr
105    %scevgep3 = getelementptr i32, ptr %uglygep56, i32 3
106    %tmp50 = load i32, ptr %scevgep3, align 4
107    %tmp51 = xor i32 %tmp50, %tmp49
108    %uglygep = getelementptr i8, ptr %2, i32 %lsr.iv
109    %uglygep1 = bitcast ptr %uglygep to ptr
110    %scevgep1 = getelementptr i32, ptr %uglygep1, i32 3
111    %tmp52 = load i32, ptr %scevgep1, align 4
112    %tmp53 = add nsw i32 %tmp52, %tmp51
113    store i32 %tmp53, ptr %scevgep1, align 4
114    %tmp54 = add nuw i32 %tmp29, 4
115    %lsr.iv.next = add i32 %lsr.iv, 16
116    %loop.dec = call i32 @llvm.loop.decrement.reg.i32.i32.i32(i32 %lsr.iv15, i32 1)
117    %tmp56 = icmp ne i32 %loop.dec, 0
118    %lsr.iv.next16 = add nsw i32 %lsr.iv15, -1
119    br i1 %tmp56, label %bb28, label %bb13
120
121  bb57:                                             ; preds = %bb16
122    %tmp58 = getelementptr inbounds i32, ptr %arg1, i32 %tmp25
123    %tmp59 = load i32, ptr %tmp58, align 4
124    %tmp60 = getelementptr inbounds i32, ptr %arg2, i32 %tmp25
125    %tmp61 = load i32, ptr %tmp60, align 4
126    %tmp62 = xor i32 %tmp61, %tmp59
127    %tmp63 = getelementptr inbounds i32, ptr %arg, i32 %tmp25
128    %tmp64 = load i32, ptr %tmp63, align 4
129    %tmp65 = add nsw i32 %tmp64, %tmp62
130    store i32 %tmp65, ptr %tmp63, align 4
131    %tmp66 = add nuw i32 %tmp14, 2
132    %tmp67 = icmp eq i32 %tmp6, 2
133    br i1 %tmp67, label %bb27, label %bb68
134
135  bb68:                                             ; preds = %bb57
136    %tmp69 = getelementptr inbounds i32, ptr %arg1, i32 %tmp66
137    %tmp70 = load i32, ptr %tmp69, align 4
138    %tmp71 = getelementptr inbounds i32, ptr %arg2, i32 %tmp66
139    %tmp72 = load i32, ptr %tmp71, align 4
140    %tmp73 = xor i32 %tmp72, %tmp70
141    %tmp74 = getelementptr inbounds i32, ptr %arg, i32 %tmp66
142    %tmp75 = load i32, ptr %tmp74, align 4
143    %tmp76 = add nsw i32 %tmp75, %tmp73
144    store i32 %tmp76, ptr %tmp74, align 4
145    br label %bb27
146  }
147
148  declare i32 @llvm.start.loop.iterations.i32(i32)
149  declare i32 @llvm.loop.decrement.reg.i32.i32.i32(i32, i32)
150
151...
152---
153name:            test1
154alignment:       2
155exposesReturnsTwice: false
156legalized:       false
157regBankSelected: false
158selected:        false
159failedISel:      false
160tracksRegLiveness: true
161hasWinCFI:       false
162registers:       []
163liveins:
164  - { reg: '$r0', virtual-reg: '' }
165  - { reg: '$r1', virtual-reg: '' }
166  - { reg: '$r2', virtual-reg: '' }
167  - { reg: '$r3', virtual-reg: '' }
168frameInfo:
169  isFrameAddressTaken: false
170  isReturnAddressTaken: false
171  hasStackMap:     false
172  hasPatchPoint:   false
173  stackSize:       40
174  offsetAdjustment: 0
175  maxAlignment:    4
176  adjustsStack:    false
177  hasCalls:        false
178  stackProtector:  ''
179  maxCallFrameSize: 0
180  cvBytesOfCalleeSavedRegisters: 0
181  hasOpaqueSPAdjustment: false
182  hasVAStart:      false
183  hasMustTailInVarArgFunc: false
184  localFrameSize:  0
185  savePoint:       ''
186  restorePoint:    ''
187fixedStack:      []
188stack:
189  - { id: 0, name: '', type: spill-slot, offset: -40, size: 4, alignment: 4,
190      stack-id: default, callee-saved-register: '', callee-saved-restored: true,
191      debug-info-variable: '', debug-info-expression: '', debug-info-location: '' }
192  - { id: 1, name: '', type: spill-slot, offset: -4, size: 4, alignment: 4,
193      stack-id: default, callee-saved-register: '$lr', callee-saved-restored: false,
194      debug-info-variable: '', debug-info-expression: '', debug-info-location: '' }
195  - { id: 2, name: '', type: spill-slot, offset: -8, size: 4, alignment: 4,
196      stack-id: default, callee-saved-register: '$r11', callee-saved-restored: true,
197      debug-info-variable: '', debug-info-expression: '', debug-info-location: '' }
198  - { id: 3, name: '', type: spill-slot, offset: -12, size: 4, alignment: 4,
199      stack-id: default, callee-saved-register: '$r10', callee-saved-restored: true,
200      debug-info-variable: '', debug-info-expression: '', debug-info-location: '' }
201  - { id: 4, name: '', type: spill-slot, offset: -16, size: 4, alignment: 4,
202      stack-id: default, callee-saved-register: '$r9', callee-saved-restored: true,
203      debug-info-variable: '', debug-info-expression: '', debug-info-location: '' }
204  - { id: 5, name: '', type: spill-slot, offset: -20, size: 4, alignment: 4,
205      stack-id: default, callee-saved-register: '$r8', callee-saved-restored: true,
206      debug-info-variable: '', debug-info-expression: '', debug-info-location: '' }
207  - { id: 6, name: '', type: spill-slot, offset: -24, size: 4, alignment: 4,
208      stack-id: default, callee-saved-register: '$r7', callee-saved-restored: true,
209      debug-info-variable: '', debug-info-expression: '', debug-info-location: '' }
210  - { id: 7, name: '', type: spill-slot, offset: -28, size: 4, alignment: 4,
211      stack-id: default, callee-saved-register: '$r6', callee-saved-restored: true,
212      debug-info-variable: '', debug-info-expression: '', debug-info-location: '' }
213  - { id: 8, name: '', type: spill-slot, offset: -32, size: 4, alignment: 4,
214      stack-id: default, callee-saved-register: '$r5', callee-saved-restored: true,
215      debug-info-variable: '', debug-info-expression: '', debug-info-location: '' }
216  - { id: 9, name: '', type: spill-slot, offset: -36, size: 4, alignment: 4,
217      stack-id: default, callee-saved-register: '$r4', callee-saved-restored: true,
218      debug-info-variable: '', debug-info-expression: '', debug-info-location: '' }
219callSites:       []
220constants:       []
221machineFunctionInfo: {}
222body:             |
223  ; CHECK-LABEL: name: test1
224  ; CHECK: bb.0.bb:
225  ; CHECK-NEXT:   successors: %bb.8(0x30000000), %bb.1(0x50000000)
226  ; CHECK-NEXT:   liveins: $lr, $r0, $r1, $r2, $r3, $r4, $r5, $r6, $r7, $r8, $r9, $r10, $r11
227  ; CHECK-NEXT: {{  $}}
228  ; CHECK-NEXT:   $sp = frame-setup t2STMDB_UPD $sp, 14 /* CC::al */, $noreg, killed $r4, killed $r5, killed $r6, killed $r7, killed $r8, killed $r9, killed $r10, killed $r11, killed $lr
229  ; CHECK-NEXT:   frame-setup CFI_INSTRUCTION def_cfa_offset 36
230  ; CHECK-NEXT:   frame-setup CFI_INSTRUCTION offset $lr, -4
231  ; CHECK-NEXT:   frame-setup CFI_INSTRUCTION offset $r11, -8
232  ; CHECK-NEXT:   frame-setup CFI_INSTRUCTION offset $r10, -12
233  ; CHECK-NEXT:   frame-setup CFI_INSTRUCTION offset $r9, -16
234  ; CHECK-NEXT:   frame-setup CFI_INSTRUCTION offset $r8, -20
235  ; CHECK-NEXT:   frame-setup CFI_INSTRUCTION offset $r7, -24
236  ; CHECK-NEXT:   frame-setup CFI_INSTRUCTION offset $r6, -28
237  ; CHECK-NEXT:   frame-setup CFI_INSTRUCTION offset $r5, -32
238  ; CHECK-NEXT:   frame-setup CFI_INSTRUCTION offset $r4, -36
239  ; CHECK-NEXT:   $sp = frame-setup tSUBspi $sp, 1, 14 /* CC::al */, $noreg
240  ; CHECK-NEXT:   frame-setup CFI_INSTRUCTION def_cfa_offset 40
241  ; CHECK-NEXT:   tCMPi8 renamable $r3, 0, 14 /* CC::al */, $noreg, implicit-def $cpsr
242  ; CHECK-NEXT:   tBcc %bb.8, 0 /* CC::eq */, killed $cpsr
243  ; CHECK-NEXT: {{  $}}
244  ; CHECK-NEXT: bb.1.bb4:
245  ; CHECK-NEXT:   successors: %bb.2(0x40000000), %bb.3(0x40000000)
246  ; CHECK-NEXT:   liveins: $r0, $r1, $r2, $r3
247  ; CHECK-NEXT: {{  $}}
248  ; CHECK-NEXT:   renamable $r4, dead $cpsr = tSUBi3 renamable $r3, 1, 14 /* CC::al */, $noreg
249  ; CHECK-NEXT:   renamable $r7 = t2ANDri renamable $r3, 3, 14 /* CC::al */, $noreg, $noreg
250  ; CHECK-NEXT:   tCMPi8 killed renamable $r4, 3, 14 /* CC::al */, $noreg, implicit-def $cpsr
251  ; CHECK-NEXT:   tSTRspi killed renamable $r7, $sp, 0, 14 /* CC::al */, $noreg :: (store (s32) into %stack.0)
252  ; CHECK-NEXT:   tBcc %bb.3, 2 /* CC::hs */, killed $cpsr
253  ; CHECK-NEXT: {{  $}}
254  ; CHECK-NEXT: bb.2:
255  ; CHECK-NEXT:   successors: %bb.5(0x80000000)
256  ; CHECK-NEXT:   liveins: $r0, $r1, $r2
257  ; CHECK-NEXT: {{  $}}
258  ; CHECK-NEXT:   renamable $r8 = t2MOVi 0, 14 /* CC::al */, $noreg, $noreg
259  ; CHECK-NEXT:   tB %bb.5, 14 /* CC::al */, $noreg
260  ; CHECK-NEXT: {{  $}}
261  ; CHECK-NEXT: bb.3.bb12:
262  ; CHECK-NEXT:   successors: %bb.4(0x80000000)
263  ; CHECK-NEXT:   liveins: $r0, $r1, $r2, $r3
264  ; CHECK-NEXT: {{  $}}
265  ; CHECK-NEXT:   renamable $r3 = t2BICri killed renamable $r3, 3, 14 /* CC::al */, $noreg, $noreg
266  ; CHECK-NEXT:   renamable $r4, dead $cpsr = tMOVi8 1, 14 /* CC::al */, $noreg
267  ; CHECK-NEXT:   renamable $r3, dead $cpsr = tSUBi8 killed renamable $r3, 4, 14 /* CC::al */, $noreg
268  ; CHECK-NEXT:   renamable $r8 = t2MOVi 0, 14 /* CC::al */, $noreg, $noreg
269  ; CHECK-NEXT:   renamable $r3 = nuw nsw t2ADDrs killed renamable $r4, killed renamable $r3, 19, 14 /* CC::al */, $noreg, $noreg
270  ; CHECK-NEXT:   dead $lr = tMOVr renamable $r3, 14 /* CC::al */, $noreg
271  ; CHECK-NEXT:   $r12 = tMOVr killed $r3, 14 /* CC::al */, $noreg
272  ; CHECK-NEXT:   renamable $r3, dead $cpsr = tMOVi8 0, 14 /* CC::al */, $noreg
273  ; CHECK-NEXT: {{  $}}
274  ; CHECK-NEXT: bb.4.bb28:
275  ; CHECK-NEXT:   successors: %bb.4(0x7c000000), %bb.5(0x04000000)
276  ; CHECK-NEXT:   liveins: $r0, $r1, $r2, $r3, $r8, $r12
277  ; CHECK-NEXT: {{  $}}
278  ; CHECK-NEXT:   renamable $r5 = tLDRr renamable $r1, $r3, 14 /* CC::al */, $noreg :: (load (s32) from %ir.scevgep617)
279  ; CHECK-NEXT:   renamable $r7, dead $cpsr = tADDrr renamable $r2, renamable $r3, 14 /* CC::al */, $noreg
280  ; CHECK-NEXT:   renamable $r6 = tLDRr renamable $r2, $r3, 14 /* CC::al */, $noreg :: (load (s32) from %ir.scevgep418)
281  ; CHECK-NEXT:   $lr = tMOVr killed $r12, 14 /* CC::al */, $noreg
282  ; CHECK-NEXT:   renamable $r8 = nuw t2ADDri killed renamable $r8, 4, 14 /* CC::al */, $noreg, $noreg
283  ; CHECK-NEXT:   renamable $r5, dead $cpsr = tEOR killed renamable $r5, killed renamable $r6, 14 /* CC::al */, $noreg
284  ; CHECK-NEXT:   renamable $r6 = tLDRr renamable $r0, $r3, 14 /* CC::al */, $noreg :: (load (s32) from %ir.scevgep219)
285  ; CHECK-NEXT:   renamable $lr = t2SUBri killed renamable $lr, 1, 14 /* CC::al */, $noreg, $noreg
286  ; CHECK-NEXT:   $r12 = tMOVr $lr, 14 /* CC::al */, $noreg
287  ; CHECK-NEXT:   renamable $r5 = nsw tADDhirr killed renamable $r5, killed renamable $r6, 14 /* CC::al */, $noreg
288  ; CHECK-NEXT:   tSTRr killed renamable $r5, renamable $r0, $r3, 14 /* CC::al */, $noreg :: (store (s32) into %ir.scevgep219)
289  ; CHECK-NEXT:   renamable $r5, dead $cpsr = tADDrr renamable $r1, renamable $r3, 14 /* CC::al */, $noreg
290  ; CHECK-NEXT:   renamable $r4 = tLDRi renamable $r7, 1, 14 /* CC::al */, $noreg :: (load (s32) from %ir.scevgep11)
291  ; CHECK-NEXT:   renamable $r6 = tLDRi renamable $r5, 1, 14 /* CC::al */, $noreg :: (load (s32) from %ir.scevgep14)
292  ; CHECK-NEXT:   renamable $r9 = t2EORrr killed renamable $r4, killed renamable $r6, 14 /* CC::al */, $noreg, $noreg
293  ; CHECK-NEXT:   renamable $r6, dead $cpsr = tADDrr renamable $r0, renamable $r3, 14 /* CC::al */, $noreg
294  ; CHECK-NEXT:   $r11 = t2ADDri $r6, 4, 14 /* CC::al */, $noreg, $noreg
295  ; CHECK-NEXT:   renamable $r3, dead $cpsr = tADDi8 killed renamable $r3, 16, 14 /* CC::al */, $noreg
296  ; CHECK-NEXT:   t2LDMIA killed $r11, 14 /* CC::al */, $noreg, def $r4, def $r10, def $r11 :: (load (s32) from %ir.scevgep9), (load (s32) from %ir.scevgep8), (load (s32) from %ir.scevgep1)
297  ; CHECK-NEXT:   renamable $r4 = nsw tADDhirr killed renamable $r4, killed renamable $r9, 14 /* CC::al */, $noreg
298  ; CHECK-NEXT:   tSTRi killed renamable $r4, renamable $r6, 1, 14 /* CC::al */, $noreg :: (store (s32) into %ir.scevgep9)
299  ; CHECK-NEXT:   renamable $r9 = t2LDRi12 renamable $r5, 8, 14 /* CC::al */, $noreg :: (load (s32) from %ir.scevgep12)
300  ; CHECK-NEXT:   renamable $r4 = tLDRi renamable $r7, 2, 14 /* CC::al */, $noreg :: (load (s32) from %ir.scevgep10)
301  ; CHECK-NEXT:   renamable $r4 = t2EORrr killed renamable $r4, killed renamable $r9, 14 /* CC::al */, $noreg, $noreg
302  ; CHECK-NEXT:   renamable $r4 = nsw tADDhirr killed renamable $r4, killed renamable $r10, 14 /* CC::al */, $noreg
303  ; CHECK-NEXT:   tSTRi killed renamable $r4, renamable $r6, 2, 14 /* CC::al */, $noreg :: (store (s32) into %ir.scevgep8)
304  ; CHECK-NEXT:   renamable $r4 = tLDRi killed renamable $r5, 3, 14 /* CC::al */, $noreg :: (load (s32) from %ir.scevgep5)
305  ; CHECK-NEXT:   renamable $r5 = tLDRi killed renamable $r7, 3, 14 /* CC::al */, $noreg :: (load (s32) from %ir.scevgep3)
306  ; CHECK-NEXT:   renamable $r4, dead $cpsr = tEOR killed renamable $r4, killed renamable $r5, 14 /* CC::al */, $noreg
307  ; CHECK-NEXT:   renamable $r4 = nsw tADDhirr killed renamable $r4, killed renamable $r11, 14 /* CC::al */, $noreg
308  ; CHECK-NEXT:   tSTRi killed renamable $r4, killed renamable $r6, 3, 14 /* CC::al */, $noreg :: (store (s32) into %ir.scevgep1)
309  ; CHECK-NEXT:   t2CMPri killed renamable $lr, 0, 14 /* CC::al */, $noreg, implicit-def $cpsr
310  ; CHECK-NEXT:   tBcc %bb.4, 1 /* CC::ne */, killed $cpsr
311  ; CHECK-NEXT:   tB %bb.5, 14 /* CC::al */, $noreg
312  ; CHECK-NEXT: {{  $}}
313  ; CHECK-NEXT: bb.5.bb13:
314  ; CHECK-NEXT:   successors: %bb.8(0x30000000), %bb.6(0x50000000)
315  ; CHECK-NEXT:   liveins: $r0, $r1, $r2, $r8
316  ; CHECK-NEXT: {{  $}}
317  ; CHECK-NEXT:   renamable $r5 = tLDRspi $sp, 0, 14 /* CC::al */, $noreg :: (load (s32) from %stack.0)
318  ; CHECK-NEXT:   tCBZ $r5, %bb.8
319  ; CHECK-NEXT: {{  $}}
320  ; CHECK-NEXT: bb.6.bb16:
321  ; CHECK-NEXT:   successors: %bb.8(0x40000000), %bb.7(0x40000000)
322  ; CHECK-NEXT:   liveins: $r0, $r1, $r2, $r5, $r8
323  ; CHECK-NEXT: {{  $}}
324  ; CHECK-NEXT:   renamable $lr = t2LDRs renamable $r1, renamable $r8, 2, 14 /* CC::al */, $noreg :: (load (s32) from %ir.tmp17)
325  ; CHECK-NEXT:   tCMPi8 renamable $r5, 1, 14 /* CC::al */, $noreg, implicit-def $cpsr
326  ; CHECK-NEXT:   renamable $r3 = t2LDRs renamable $r2, renamable $r8, 2, 14 /* CC::al */, $noreg :: (load (s32) from %ir.tmp19)
327  ; CHECK-NEXT:   renamable $lr = t2EORrr killed renamable $lr, killed renamable $r3, 14 /* CC::al */, $noreg, $noreg
328  ; CHECK-NEXT:   renamable $r3 = t2LDRs renamable $r0, renamable $r8, 2, 14 /* CC::al */, $noreg :: (load (s32) from %ir.tmp22)
329  ; CHECK-NEXT:   renamable $r3 = nsw tADDhirr killed renamable $r3, killed renamable $lr, 14 /* CC::al */, $noreg
330  ; CHECK-NEXT:   t2STRs killed renamable $r3, renamable $r0, renamable $r8, 2, 14 /* CC::al */, $noreg :: (store (s32) into %ir.tmp22)
331  ; CHECK-NEXT:   tBcc %bb.8, 0 /* CC::eq */, killed $cpsr
332  ; CHECK-NEXT: {{  $}}
333  ; CHECK-NEXT: bb.7.bb57:
334  ; CHECK-NEXT:   successors: %bb.8(0x40000000), %bb.9(0x40000000)
335  ; CHECK-NEXT:   liveins: $r0, $r1, $r2, $r5, $r8
336  ; CHECK-NEXT: {{  $}}
337  ; CHECK-NEXT:   renamable $r3 = nuw t2ADDri renamable $r8, 1, 14 /* CC::al */, $noreg, $noreg
338  ; CHECK-NEXT:   tCMPi8 killed renamable $r5, 2, 14 /* CC::al */, $noreg, implicit-def $cpsr
339  ; CHECK-NEXT:   renamable $r7 = t2LDRs renamable $r1, renamable $r3, 2, 14 /* CC::al */, $noreg :: (load (s32) from %ir.tmp58)
340  ; CHECK-NEXT:   renamable $r6 = t2LDRs renamable $r2, renamable $r3, 2, 14 /* CC::al */, $noreg :: (load (s32) from %ir.tmp60)
341  ; CHECK-NEXT:   renamable $r7 = t2EORrr killed renamable $r7, killed renamable $r6, 14 /* CC::al */, $noreg, $noreg
342  ; CHECK-NEXT:   renamable $r6 = t2LDRs renamable $r0, renamable $r3, 2, 14 /* CC::al */, $noreg :: (load (s32) from %ir.tmp63)
343  ; CHECK-NEXT:   renamable $r7 = nsw tADDhirr killed renamable $r7, killed renamable $r6, 14 /* CC::al */, $noreg
344  ; CHECK-NEXT:   t2STRs killed renamable $r7, renamable $r0, killed renamable $r3, 2, 14 /* CC::al */, $noreg :: (store (s32) into %ir.tmp63)
345  ; CHECK-NEXT:   tBcc %bb.9, 1 /* CC::ne */, killed $cpsr
346  ; CHECK-NEXT: {{  $}}
347  ; CHECK-NEXT: bb.8.bb27:
348  ; CHECK-NEXT:   $sp = tADDspi $sp, 1, 14 /* CC::al */, $noreg
349  ; CHECK-NEXT:   $sp = t2LDMIA_RET $sp, 14 /* CC::al */, $noreg, def $r4, def $r5, def $r6, def $r7, def $r8, def $r9, def $r10, def $r11, def $pc
350  ; CHECK-NEXT: {{  $}}
351  ; CHECK-NEXT: bb.9.bb68:
352  ; CHECK-NEXT:   liveins: $r0, $r1, $r2, $r8
353  ; CHECK-NEXT: {{  $}}
354  ; CHECK-NEXT:   renamable $r3 = nuw t2ADDri killed renamable $r8, 2, 14 /* CC::al */, $noreg, $noreg
355  ; CHECK-NEXT:   renamable $r1 = t2LDRs killed renamable $r1, renamable $r3, 2, 14 /* CC::al */, $noreg :: (load (s32) from %ir.tmp69)
356  ; CHECK-NEXT:   renamable $r2 = t2LDRs killed renamable $r2, renamable $r3, 2, 14 /* CC::al */, $noreg :: (load (s32) from %ir.tmp71)
357  ; CHECK-NEXT:   renamable $r1, dead $cpsr = tEOR killed renamable $r1, killed renamable $r2, 14 /* CC::al */, $noreg
358  ; CHECK-NEXT:   renamable $r2 = t2LDRs renamable $r0, renamable $r3, 2, 14 /* CC::al */, $noreg :: (load (s32) from %ir.tmp74)
359  ; CHECK-NEXT:   renamable $r1 = nsw tADDhirr killed renamable $r1, killed renamable $r2, 14 /* CC::al */, $noreg
360  ; CHECK-NEXT:   t2STRs killed renamable $r1, killed renamable $r0, killed renamable $r3, 2, 14 /* CC::al */, $noreg :: (store (s32) into %ir.tmp74)
361  ; CHECK-NEXT:   $sp = tADDspi $sp, 1, 14 /* CC::al */, $noreg
362  ; CHECK-NEXT:   $sp = t2LDMIA_RET $sp, 14 /* CC::al */, $noreg, def $r4, def $r5, def $r6, def $r7, def $r8, def $r9, def $r10, def $r11, def $pc
363  bb.0.bb:
364    successors: %bb.8(0x30000000), %bb.1(0x50000000)
365    liveins: $r0, $r1, $r2, $r3, $r4, $r5, $r6, $r7, $r8, $r9, $r10, $r11, $lr
366
367    $sp = frame-setup t2STMDB_UPD $sp, 14, $noreg, killed $r4, killed $r5, killed $r6, killed $r7, killed $r8, killed $r9, killed $r10, killed $r11, killed $lr
368    frame-setup CFI_INSTRUCTION def_cfa_offset 36
369    frame-setup CFI_INSTRUCTION offset $lr, -4
370    frame-setup CFI_INSTRUCTION offset $r11, -8
371    frame-setup CFI_INSTRUCTION offset $r10, -12
372    frame-setup CFI_INSTRUCTION offset $r9, -16
373    frame-setup CFI_INSTRUCTION offset $r8, -20
374    frame-setup CFI_INSTRUCTION offset $r7, -24
375    frame-setup CFI_INSTRUCTION offset $r6, -28
376    frame-setup CFI_INSTRUCTION offset $r5, -32
377    frame-setup CFI_INSTRUCTION offset $r4, -36
378    $sp = frame-setup tSUBspi $sp, 1, 14, $noreg
379    frame-setup CFI_INSTRUCTION def_cfa_offset 40
380    tCMPi8 renamable $r3, 0, 14, $noreg, implicit-def $cpsr
381    tBcc %bb.8, 0, killed $cpsr
382
383  bb.1.bb4:
384    successors: %bb.2(0x40000000), %bb.3(0x40000000)
385    liveins: $r0, $r1, $r2, $r3
386
387    renamable $r4, dead $cpsr = tSUBi3 renamable $r3, 1, 14, $noreg
388    renamable $r7 = t2ANDri renamable $r3, 3, 14, $noreg, $noreg
389    tCMPi8 killed renamable $r4, 3, 14, $noreg, implicit-def $cpsr
390    tSTRspi killed renamable $r7, $sp, 0, 14, $noreg :: (store (s32) into %stack.0)
391    tBcc %bb.3, 2, killed $cpsr
392
393  bb.2:
394    successors: %bb.5(0x80000000)
395    liveins: $r0, $r1, $r2
396
397    renamable $r8 = t2MOVi 0, 14, $noreg, $noreg
398    tB %bb.5, 14, $noreg
399
400  bb.3.bb12:
401    successors: %bb.4(0x80000000)
402    liveins: $r0, $r1, $r2, $r3
403
404    renamable $r3 = t2BICri killed renamable $r3, 3, 14, $noreg, $noreg
405    renamable $r4, dead $cpsr = tMOVi8 1, 14, $noreg
406    renamable $r3, dead $cpsr = tSUBi8 killed renamable $r3, 4, 14, $noreg
407    renamable $r8 = t2MOVi 0, 14, $noreg, $noreg
408    renamable $r3 = nuw nsw t2ADDrs killed renamable $r4, killed renamable $r3, 19, 14, $noreg, $noreg
409    $lr = t2DoLoopStart renamable $r3
410    $r12 = tMOVr killed $r3, 14, $noreg
411    renamable $r3, dead $cpsr = tMOVi8 0, 14, $noreg
412
413  bb.4.bb28:
414    successors: %bb.4(0x7c000000), %bb.5(0x04000000)
415    liveins: $r0, $r1, $r2, $r3, $r8, $r12
416
417    renamable $r5 = tLDRr renamable $r1, $r3, 14, $noreg :: (load (s32) from %ir.scevgep617)
418    renamable $r7, dead $cpsr = tADDrr renamable $r2, renamable $r3, 14, $noreg
419    renamable $r6 = tLDRr renamable $r2, $r3, 14, $noreg :: (load (s32) from %ir.scevgep418)
420    $lr = tMOVr $r12, 14, $noreg
421    renamable $r8 = nuw t2ADDri killed renamable $r8, 4, 14, $noreg, $noreg
422    renamable $r5, dead $cpsr = tEOR killed renamable $r5, killed renamable $r6, 14, $noreg
423    renamable $r6 = tLDRr renamable $r0, $r3, 14, $noreg :: (load (s32) from %ir.scevgep219)
424    renamable $lr = t2LoopDec killed renamable $lr, 1
425    $r12 = tMOVr $lr, 14, $noreg
426    renamable $r5 = nsw tADDhirr killed renamable $r5, killed renamable $r6, 14, $noreg
427    tSTRr killed renamable $r5, renamable $r0, $r3, 14, $noreg :: (store (s32) into %ir.scevgep219)
428    renamable $r5, dead $cpsr = tADDrr renamable $r1, renamable $r3, 14, $noreg
429    renamable $r4 = tLDRi renamable $r7, 1, 14, $noreg :: (load (s32) from %ir.scevgep11)
430    renamable $r6 = tLDRi renamable $r5, 1, 14, $noreg :: (load (s32) from %ir.scevgep14)
431    renamable $r9 = t2EORrr killed renamable $r4, killed renamable $r6, 14, $noreg, $noreg
432    renamable $r6, dead $cpsr = tADDrr renamable $r0, renamable $r3, 14, $noreg
433    $r11 = t2ADDri $r6, 4, 14, $noreg, $noreg
434    renamable $r3, dead $cpsr = tADDi8 killed renamable $r3, 16, 14, $noreg
435    t2LDMIA killed $r11, 14, $noreg, def $r4, def $r10, def $r11 :: (load (s32) from %ir.scevgep9), (load (s32) from %ir.scevgep8), (load (s32) from %ir.scevgep1)
436    renamable $r4 = nsw tADDhirr killed renamable $r4, killed renamable $r9, 14, $noreg
437    tSTRi killed renamable $r4, renamable $r6, 1, 14, $noreg :: (store (s32) into %ir.scevgep9)
438    renamable $r9 = t2LDRi12 renamable $r5, 8, 14, $noreg :: (load (s32) from %ir.scevgep12)
439    renamable $r4 = tLDRi renamable $r7, 2, 14, $noreg :: (load (s32) from %ir.scevgep10)
440    renamable $r4 = t2EORrr killed renamable $r4, killed renamable $r9, 14, $noreg, $noreg
441    renamable $r4 = nsw tADDhirr killed renamable $r4, killed renamable $r10, 14, $noreg
442    tSTRi killed renamable $r4, renamable $r6, 2, 14, $noreg :: (store (s32) into %ir.scevgep8)
443    renamable $r4 = tLDRi killed renamable $r5, 3, 14, $noreg :: (load (s32) from %ir.scevgep5)
444    renamable $r5 = tLDRi killed renamable $r7, 3, 14, $noreg :: (load (s32) from %ir.scevgep3)
445    renamable $r4, dead $cpsr = tEOR killed renamable $r4, killed renamable $r5, 14, $noreg
446    renamable $r4 = nsw tADDhirr killed renamable $r4, killed renamable $r11, 14, $noreg
447    tSTRi killed renamable $r4, killed renamable $r6, 3, 14, $noreg :: (store (s32) into %ir.scevgep1)
448    t2LoopEnd killed renamable $lr, %bb.4, implicit-def dead $cpsr
449    tB %bb.5, 14, $noreg
450
451  bb.5.bb13:
452    successors: %bb.8(0x30000000), %bb.6(0x50000000)
453    liveins: $r0, $r1, $r2, $r8
454
455    renamable $r5 = tLDRspi $sp, 0, 14, $noreg :: (load (s32) from %stack.0)
456    tCBZ $r5, %bb.8
457
458  bb.6.bb16:
459    successors: %bb.8(0x40000000), %bb.7(0x40000000)
460    liveins: $r0, $r1, $r2, $r5, $r8
461
462    renamable $lr = t2LDRs renamable $r1, renamable $r8, 2, 14, $noreg :: (load (s32) from %ir.tmp17)
463    tCMPi8 renamable $r5, 1, 14, $noreg, implicit-def $cpsr
464    renamable $r3 = t2LDRs renamable $r2, renamable $r8, 2, 14, $noreg :: (load (s32) from %ir.tmp19)
465    renamable $lr = t2EORrr killed renamable $lr, killed renamable $r3, 14, $noreg, $noreg
466    renamable $r3 = t2LDRs renamable $r0, renamable $r8, 2, 14, $noreg :: (load (s32) from %ir.tmp22)
467    renamable $r3 = nsw tADDhirr killed renamable $r3, killed renamable $lr, 14, $noreg
468    t2STRs killed renamable $r3, renamable $r0, renamable $r8, 2, 14, $noreg :: (store (s32) into %ir.tmp22)
469    tBcc %bb.8, 0, killed $cpsr
470
471  bb.7.bb57:
472    successors: %bb.8(0x40000000), %bb.9(0x40000000)
473    liveins: $r0, $r1, $r2, $r5, $r8
474
475    renamable $r3 = nuw t2ADDri renamable $r8, 1, 14, $noreg, $noreg
476    tCMPi8 killed renamable $r5, 2, 14, $noreg, implicit-def $cpsr
477    renamable $r7 = t2LDRs renamable $r1, renamable $r3, 2, 14, $noreg :: (load (s32) from %ir.tmp58)
478    renamable $r6 = t2LDRs renamable $r2, renamable $r3, 2, 14, $noreg :: (load (s32) from %ir.tmp60)
479    renamable $r7 = t2EORrr killed renamable $r7, killed renamable $r6, 14, $noreg, $noreg
480    renamable $r6 = t2LDRs renamable $r0, renamable $r3, 2, 14, $noreg :: (load (s32) from %ir.tmp63)
481    renamable $r7 = nsw tADDhirr killed renamable $r7, killed renamable $r6, 14, $noreg
482    t2STRs killed renamable $r7, renamable $r0, killed renamable $r3, 2, 14, $noreg :: (store (s32) into %ir.tmp63)
483    tBcc %bb.9, 1, killed $cpsr
484
485  bb.8.bb27:
486    $sp = tADDspi $sp, 1, 14, $noreg
487    $sp = t2LDMIA_RET $sp, 14, $noreg, def $r4, def $r5, def $r6, def $r7, def $r8, def $r9, def $r10, def $r11, def $pc
488
489  bb.9.bb68:
490    liveins: $r0, $r1, $r2, $r8
491
492    renamable $r3 = nuw t2ADDri killed renamable $r8, 2, 14, $noreg, $noreg
493    renamable $r1 = t2LDRs killed renamable $r1, renamable $r3, 2, 14, $noreg :: (load (s32) from %ir.tmp69)
494    renamable $r2 = t2LDRs killed renamable $r2, renamable $r3, 2, 14, $noreg :: (load (s32) from %ir.tmp71)
495    renamable $r1, dead $cpsr = tEOR killed renamable $r1, killed renamable $r2, 14, $noreg
496    renamable $r2 = t2LDRs renamable $r0, renamable $r3, 2, 14, $noreg :: (load (s32) from %ir.tmp74)
497    renamable $r1 = nsw tADDhirr killed renamable $r1, killed renamable $r2, 14, $noreg
498    t2STRs killed renamable $r1, killed renamable $r0, killed renamable $r3, 2, 14, $noreg :: (store (s32) into %ir.tmp74)
499    $sp = tADDspi $sp, 1, 14, $noreg
500    $sp = t2LDMIA_RET $sp, 14, $noreg, def $r4, def $r5, def $r6, def $r7, def $r8, def $r9, def $r10, def $r11, def $pc
501
502...
503