350 lines · plain
1# NOTE: Assertions have been autogenerated by utils/update_mir_test_checks.py2# RUN: llc -mtriple=thumbv8.1m.main %s -run-pass=arm-cp-islands --verify-machineinstrs -o - | FileCheck %s --check-prefix=CHECK-LOB3# RUN: llc -mtriple=thumbv8.1m.main -mattr=-lob %s -run-pass=arm-cp-islands --verify-machineinstrs -o - | FileCheck %s --check-prefix=CHECK-NOLOB4 5--- |6 target datalayout = "e-m:e-p:32:32-Fi8-i64:64-v128:64:128-a:0:32-n32-S64"7 target triple = "thumbv8.1m.main-unknown-unknown"8 9 %struct.head_s = type { ptr, ptr }10 %struct.data_s = type { i16, i16 }11 12 define dso_local arm_aapcscc ptr @search(ptr readonly %list, ptr nocapture readonly %info) local_unnamed_addr {13 entry:14 %idx = getelementptr inbounds %struct.data_s, ptr %info, i32 0, i32 115 %0 = load i16, ptr %idx, align 216 %cmp = icmp sgt i16 %0, -117 br i1 %cmp, label %while.cond.preheader, label %while.cond9.preheader18 19 while.cond9.preheader: ; preds = %entry20 %1 = icmp eq ptr %list, null21 br i1 %1, label %return, label %land.rhs11.lr.ph22 23 land.rhs11.lr.ph: ; preds = %while.cond9.preheader24 %data16143 = bitcast ptr %info to ptr25 %2 = load i16, ptr %data16143, align 226 %conv15 = sext i16 %2 to i3227 br label %land.rhs1128 29 while.cond.preheader: ; preds = %entry30 %3 = icmp eq ptr %list, null31 br i1 %3, label %return, label %land.rhs.preheader32 33 land.rhs.preheader: ; preds = %while.cond.preheader34 br label %land.rhs35 36 land.rhs: ; preds = %land.rhs.preheader, %while.body37 %list.addr.033 = phi ptr [ %6, %while.body ], [ %list, %land.rhs.preheader ]38 %info2 = getelementptr inbounds %struct.head_s, ptr %list.addr.033, i32 0, i32 139 %4 = load ptr, ptr %info2, align 440 %idx3 = getelementptr inbounds %struct.data_s, ptr %4, i32 0, i32 141 %5 = load i16, ptr %idx3, align 242 %cmp7 = icmp eq i16 %5, %043 br i1 %cmp7, label %return, label %while.body44 45 while.body: ; preds = %land.rhs46 %next4 = bitcast ptr %list.addr.033 to ptr47 %6 = load ptr, ptr %next4, align 448 %tobool = icmp eq ptr %6, null49 br i1 %tobool, label %return, label %land.rhs50 51 land.rhs11: ; preds = %while.body19, %land.rhs11.lr.ph52 %list.addr.136 = phi ptr [ %list, %land.rhs11.lr.ph ], [ %10, %while.body19 ]53 %info12 = getelementptr inbounds %struct.head_s, ptr %list.addr.136, i32 0, i32 154 %7 = load ptr, ptr %info12, align 455 %data165 = bitcast ptr %7 to ptr56 %8 = load i16, ptr %data165, align 257 %9 = and i16 %8, 25558 %and = zext i16 %9 to i3259 %cmp16 = icmp eq i32 %and, %conv1560 br i1 %cmp16, label %return, label %while.body1961 62 while.body19: ; preds = %land.rhs1163 %next206 = bitcast ptr %list.addr.136 to ptr64 %10 = load ptr, ptr %next206, align 465 %tobool10 = icmp eq ptr %10, null66 br i1 %tobool10, label %return, label %land.rhs1167 68 return: ; preds = %while.body19, %land.rhs11, %while.body, %land.rhs, %while.cond.preheader, %while.cond9.preheader69 %retval.0 = phi ptr [ null, %while.cond.preheader ], [ null, %while.cond9.preheader ], [ %list.addr.033, %land.rhs ], [ null, %while.body ], [ %list.addr.136, %land.rhs11 ], [ null, %while.body19 ]70 ret ptr %retval.071 }72 73...74---75name: search76alignment: 177exposesReturnsTwice: false78legalized: false79regBankSelected: false80selected: false81failedISel: false82tracksRegLiveness: true83hasWinCFI: false84registers: []85liveins:86 - { reg: '$r0', virtual-reg: '' }87 - { reg: '$r1', virtual-reg: '' }88frameInfo:89 isFrameAddressTaken: false90 isReturnAddressTaken: false91 hasStackMap: false92 hasPatchPoint: false93 stackSize: 094 offsetAdjustment: 095 maxAlignment: 196 adjustsStack: false97 hasCalls: false98 stackProtector: ''99 maxCallFrameSize: 0100 cvBytesOfCalleeSavedRegisters: 0101 hasOpaqueSPAdjustment: false102 hasVAStart: false103 hasMustTailInVarArgFunc: false104 localFrameSize: 0105 savePoint: []106 restorePoint: []107fixedStack: []108stack: []109callSites: []110constants: []111machineFunctionInfo: {}112body: |113 ; CHECK-LOB-LABEL: name: search114 ; CHECK-LOB: bb.0.entry:115 ; CHECK-LOB-NEXT: successors: %bb.1(0x50000000), %bb.5(0x30000000)116 ; CHECK-LOB-NEXT: liveins: $r0, $r1117 ; CHECK-LOB-NEXT: {{ $}}118 ; CHECK-LOB-NEXT: renamable $r2 = t2LDRSHi12 renamable $r1, 2, 14 /* CC::al */, $noreg :: (load (s16) from %ir.idx)119 ; CHECK-LOB-NEXT: t2CMPri renamable $r2, -1, 14 /* CC::al */, $noreg, implicit-def $cpsr120 ; CHECK-LOB-NEXT: tBcc %bb.5, 13 /* CC::le */, killed $cpsr121 ; CHECK-LOB-NEXT: {{ $}}122 ; CHECK-LOB-NEXT: bb.1.while.cond.preheader:123 ; CHECK-LOB-NEXT: successors: %bb.9(0x30000000), %bb.2(0x50000000)124 ; CHECK-LOB-NEXT: liveins: $r0, $r2125 ; CHECK-LOB-NEXT: {{ $}}126 ; CHECK-LOB-NEXT: tCBZ renamable $r0, %bb.9127 ; CHECK-LOB-NEXT: {{ $}}128 ; CHECK-LOB-NEXT: bb.2.land.rhs.preheader:129 ; CHECK-LOB-NEXT: successors: %bb.3(0x80000000)130 ; CHECK-LOB-NEXT: liveins: $r0, $r2131 ; CHECK-LOB-NEXT: {{ $}}132 ; CHECK-LOB-NEXT: renamable $r1 = tUXTH killed renamable $r2, 14 /* CC::al */, $noreg133 ; CHECK-LOB-NEXT: {{ $}}134 ; CHECK-LOB-NEXT: bb.3.land.rhs:135 ; CHECK-LOB-NEXT: successors: %bb.4(0x80000000)136 ; CHECK-LOB-NEXT: liveins: $r0, $r1137 ; CHECK-LOB-NEXT: {{ $}}138 ; CHECK-LOB-NEXT: renamable $r2 = tLDRi renamable $r0, 1, 14 /* CC::al */, $noreg :: (load (s32) from %ir.info2)139 ; CHECK-LOB-NEXT: renamable $r2 = tLDRHi killed renamable $r2, 1, 14 /* CC::al */, $noreg :: (load (s16) from %ir.idx3)140 ; CHECK-LOB-NEXT: tCMPr killed renamable $r2, renamable $r1, 14 /* CC::al */, $noreg, implicit-def $cpsr141 ; CHECK-LOB-NEXT: t2IT 0, 8, implicit-def $itstate142 ; CHECK-LOB-NEXT: tBX_RET 0 /* CC::eq */, killed $cpsr, implicit $r0, implicit killed $itstate143 ; CHECK-LOB-NEXT: {{ $}}144 ; CHECK-LOB-NEXT: bb.4.while.body:145 ; CHECK-LOB-NEXT: successors: %bb.9(0x04000000), %bb.3(0x7c000000)146 ; CHECK-LOB-NEXT: liveins: $r0, $r1147 ; CHECK-LOB-NEXT: {{ $}}148 ; CHECK-LOB-NEXT: renamable $r0 = tLDRi killed renamable $r0, 0, 14 /* CC::al */, $noreg :: (load (s32) from %ir.next4)149 ; CHECK-LOB-NEXT: tCBZ renamable $r0, %bb.9150 ; CHECK-LOB-NEXT: t2LE %bb.3151 ; CHECK-LOB-NEXT: {{ $}}152 ; CHECK-LOB-NEXT: bb.5.while.cond9.preheader:153 ; CHECK-LOB-NEXT: successors: %bb.9(0x30000000), %bb.6(0x50000000)154 ; CHECK-LOB-NEXT: liveins: $r0, $r1155 ; CHECK-LOB-NEXT: {{ $}}156 ; CHECK-LOB-NEXT: tCBZ renamable $r0, %bb.9157 ; CHECK-LOB-NEXT: {{ $}}158 ; CHECK-LOB-NEXT: bb.6.land.rhs11.lr.ph:159 ; CHECK-LOB-NEXT: successors: %bb.7(0x80000000)160 ; CHECK-LOB-NEXT: liveins: $r0, $r1161 ; CHECK-LOB-NEXT: {{ $}}162 ; CHECK-LOB-NEXT: renamable $r1 = t2LDRSHi12 killed renamable $r1, 0, 14 /* CC::al */, $noreg :: (load (s16) from %ir.data16143)163 ; CHECK-LOB-NEXT: {{ $}}164 ; CHECK-LOB-NEXT: bb.7.land.rhs11:165 ; CHECK-LOB-NEXT: successors: %bb.10(0x04000000), %bb.8(0x7c000000)166 ; CHECK-LOB-NEXT: liveins: $r0, $r1167 ; CHECK-LOB-NEXT: {{ $}}168 ; CHECK-LOB-NEXT: renamable $r2 = tLDRi renamable $r0, 1, 14 /* CC::al */, $noreg :: (load (s32) from %ir.info12)169 ; CHECK-LOB-NEXT: renamable $r2 = tLDRBi killed renamable $r2, 0, 14 /* CC::al */, $noreg :: (load (s8) from %ir.data165, align 2)170 ; CHECK-LOB-NEXT: tCMPr killed renamable $r2, renamable $r1, 14 /* CC::al */, $noreg, implicit-def $cpsr171 ; CHECK-LOB-NEXT: tBcc %bb.10, 0 /* CC::eq */, killed $cpsr172 ; CHECK-LOB-NEXT: {{ $}}173 ; CHECK-LOB-NEXT: bb.8.while.body19:174 ; CHECK-LOB-NEXT: successors: %bb.9(0x04000000), %bb.7(0x7c000000)175 ; CHECK-LOB-NEXT: liveins: $r0, $r1176 ; CHECK-LOB-NEXT: {{ $}}177 ; CHECK-LOB-NEXT: renamable $r0 = tLDRi killed renamable $r0, 0, 14 /* CC::al */, $noreg :: (load (s32) from %ir.next206)178 ; CHECK-LOB-NEXT: tCBZ renamable $r0, %bb.9179 ; CHECK-LOB-NEXT: t2LE %bb.7180 ; CHECK-LOB-NEXT: {{ $}}181 ; CHECK-LOB-NEXT: bb.9:182 ; CHECK-LOB-NEXT: successors: %bb.10(0x80000000)183 ; CHECK-LOB-NEXT: {{ $}}184 ; CHECK-LOB-NEXT: renamable $r0, dead $cpsr = tMOVi8 0, 14 /* CC::al */, $noreg185 ; CHECK-LOB-NEXT: {{ $}}186 ; CHECK-LOB-NEXT: bb.10.return:187 ; CHECK-LOB-NEXT: liveins: $r0188 ; CHECK-LOB-NEXT: {{ $}}189 ; CHECK-LOB-NEXT: tBX_RET 14 /* CC::al */, $noreg, implicit killed $r0190 ;191 ; CHECK-NOLOB-LABEL: name: search192 ; CHECK-NOLOB: bb.0.entry:193 ; CHECK-NOLOB-NEXT: successors: %bb.1(0x50000000), %bb.5(0x30000000)194 ; CHECK-NOLOB-NEXT: liveins: $r0, $r1195 ; CHECK-NOLOB-NEXT: {{ $}}196 ; CHECK-NOLOB-NEXT: renamable $r2 = t2LDRSHi12 renamable $r1, 2, 14 /* CC::al */, $noreg :: (load (s16) from %ir.idx)197 ; CHECK-NOLOB-NEXT: t2CMPri renamable $r2, -1, 14 /* CC::al */, $noreg, implicit-def $cpsr198 ; CHECK-NOLOB-NEXT: tBcc %bb.5, 13 /* CC::le */, killed $cpsr199 ; CHECK-NOLOB-NEXT: {{ $}}200 ; CHECK-NOLOB-NEXT: bb.1.while.cond.preheader:201 ; CHECK-NOLOB-NEXT: successors: %bb.9(0x30000000), %bb.2(0x50000000)202 ; CHECK-NOLOB-NEXT: liveins: $r0, $r2203 ; CHECK-NOLOB-NEXT: {{ $}}204 ; CHECK-NOLOB-NEXT: tCBZ renamable $r0, %bb.9205 ; CHECK-NOLOB-NEXT: {{ $}}206 ; CHECK-NOLOB-NEXT: bb.2.land.rhs.preheader:207 ; CHECK-NOLOB-NEXT: successors: %bb.3(0x80000000)208 ; CHECK-NOLOB-NEXT: liveins: $r0, $r2209 ; CHECK-NOLOB-NEXT: {{ $}}210 ; CHECK-NOLOB-NEXT: renamable $r1 = tUXTH killed renamable $r2, 14 /* CC::al */, $noreg211 ; CHECK-NOLOB-NEXT: {{ $}}212 ; CHECK-NOLOB-NEXT: bb.3.land.rhs:213 ; CHECK-NOLOB-NEXT: successors: %bb.4(0x80000000)214 ; CHECK-NOLOB-NEXT: liveins: $r0, $r1215 ; CHECK-NOLOB-NEXT: {{ $}}216 ; CHECK-NOLOB-NEXT: renamable $r2 = tLDRi renamable $r0, 1, 14 /* CC::al */, $noreg :: (load (s32) from %ir.info2)217 ; CHECK-NOLOB-NEXT: renamable $r2 = tLDRHi killed renamable $r2, 1, 14 /* CC::al */, $noreg :: (load (s16) from %ir.idx3)218 ; CHECK-NOLOB-NEXT: tCMPr killed renamable $r2, renamable $r1, 14 /* CC::al */, $noreg, implicit-def $cpsr219 ; CHECK-NOLOB-NEXT: t2IT 0, 8, implicit-def $itstate220 ; CHECK-NOLOB-NEXT: tBX_RET 0 /* CC::eq */, killed $cpsr, implicit $r0, implicit killed $itstate221 ; CHECK-NOLOB-NEXT: {{ $}}222 ; CHECK-NOLOB-NEXT: bb.4.while.body:223 ; CHECK-NOLOB-NEXT: successors: %bb.9(0x04000000), %bb.3(0x7c000000)224 ; CHECK-NOLOB-NEXT: liveins: $r0, $r1225 ; CHECK-NOLOB-NEXT: {{ $}}226 ; CHECK-NOLOB-NEXT: renamable $r0 = tLDRi killed renamable $r0, 0, 14 /* CC::al */, $noreg :: (load (s32) from %ir.next4)227 ; CHECK-NOLOB-NEXT: tCMPi8 renamable $r0, 0, 14 /* CC::al */, $noreg, implicit-def $cpsr228 ; CHECK-NOLOB-NEXT: tBcc %bb.3, 1 /* CC::ne */, killed $cpsr229 ; CHECK-NOLOB-NEXT: tB %bb.9, 14 /* CC::al */, $noreg230 ; CHECK-NOLOB-NEXT: {{ $}}231 ; CHECK-NOLOB-NEXT: bb.5.while.cond9.preheader:232 ; CHECK-NOLOB-NEXT: successors: %bb.9(0x30000000), %bb.6(0x50000000)233 ; CHECK-NOLOB-NEXT: liveins: $r0, $r1234 ; CHECK-NOLOB-NEXT: {{ $}}235 ; CHECK-NOLOB-NEXT: tCBZ renamable $r0, %bb.9236 ; CHECK-NOLOB-NEXT: {{ $}}237 ; CHECK-NOLOB-NEXT: bb.6.land.rhs11.lr.ph:238 ; CHECK-NOLOB-NEXT: successors: %bb.7(0x80000000)239 ; CHECK-NOLOB-NEXT: liveins: $r0, $r1240 ; CHECK-NOLOB-NEXT: {{ $}}241 ; CHECK-NOLOB-NEXT: renamable $r1 = t2LDRSHi12 killed renamable $r1, 0, 14 /* CC::al */, $noreg :: (load (s16) from %ir.data16143)242 ; CHECK-NOLOB-NEXT: {{ $}}243 ; CHECK-NOLOB-NEXT: bb.7.land.rhs11:244 ; CHECK-NOLOB-NEXT: successors: %bb.10(0x04000000), %bb.8(0x7c000000)245 ; CHECK-NOLOB-NEXT: liveins: $r0, $r1246 ; CHECK-NOLOB-NEXT: {{ $}}247 ; CHECK-NOLOB-NEXT: renamable $r2 = tLDRi renamable $r0, 1, 14 /* CC::al */, $noreg :: (load (s32) from %ir.info12)248 ; CHECK-NOLOB-NEXT: renamable $r2 = tLDRBi killed renamable $r2, 0, 14 /* CC::al */, $noreg :: (load (s8) from %ir.data165, align 2)249 ; CHECK-NOLOB-NEXT: tCMPr killed renamable $r2, renamable $r1, 14 /* CC::al */, $noreg, implicit-def $cpsr250 ; CHECK-NOLOB-NEXT: tBcc %bb.10, 0 /* CC::eq */, killed $cpsr251 ; CHECK-NOLOB-NEXT: {{ $}}252 ; CHECK-NOLOB-NEXT: bb.8.while.body19:253 ; CHECK-NOLOB-NEXT: successors: %bb.9(0x04000000), %bb.7(0x7c000000)254 ; CHECK-NOLOB-NEXT: liveins: $r0, $r1255 ; CHECK-NOLOB-NEXT: {{ $}}256 ; CHECK-NOLOB-NEXT: renamable $r0 = tLDRi killed renamable $r0, 0, 14 /* CC::al */, $noreg :: (load (s32) from %ir.next206)257 ; CHECK-NOLOB-NEXT: tCMPi8 renamable $r0, 0, 14 /* CC::al */, $noreg, implicit-def $cpsr258 ; CHECK-NOLOB-NEXT: tBcc %bb.7, 1 /* CC::ne */, killed $cpsr259 ; CHECK-NOLOB-NEXT: {{ $}}260 ; CHECK-NOLOB-NEXT: bb.9:261 ; CHECK-NOLOB-NEXT: successors: %bb.10(0x80000000)262 ; CHECK-NOLOB-NEXT: {{ $}}263 ; CHECK-NOLOB-NEXT: renamable $r0, dead $cpsr = tMOVi8 0, 14 /* CC::al */, $noreg264 ; CHECK-NOLOB-NEXT: {{ $}}265 ; CHECK-NOLOB-NEXT: bb.10.return:266 ; CHECK-NOLOB-NEXT: liveins: $r0267 ; CHECK-NOLOB-NEXT: {{ $}}268 ; CHECK-NOLOB-NEXT: tBX_RET 14 /* CC::al */, $noreg, implicit killed $r0269 bb.0.entry:270 successors: %bb.5(0x50000000), %bb.1(0x30000000)271 liveins: $r0, $r1272 273 renamable $r2 = t2LDRSHi12 renamable $r1, 2, 14, $noreg :: (load (s16) from %ir.idx)274 t2CMPri renamable $r2, -1, 14, $noreg, implicit-def $cpsr275 t2Bcc %bb.1, 13, killed $cpsr276 277 bb.5.while.cond.preheader:278 successors: %bb.8(0x30000000), %bb.6(0x50000000)279 liveins: $r0, $r2280 281 tCMPi8 renamable $r0, 0, 14, $noreg, implicit-def $cpsr282 t2Bcc %bb.8, 0, killed $cpsr283 284 bb.6.land.rhs.preheader:285 successors: %bb.7(0x80000000)286 liveins: $r0, $r2287 288 renamable $r1 = tUXTH killed renamable $r2, 14, $noreg289 290 bb.7.land.rhs:291 successors: %bb.10(0x80000000)292 liveins: $r0, $r1293 294 renamable $r2 = tLDRi renamable $r0, 1, 14, $noreg :: (load (s32) from %ir.info2)295 renamable $r2 = tLDRHi killed renamable $r2, 1, 14, $noreg :: (load (s16) from %ir.idx3)296 tCMPr killed renamable $r2, renamable $r1, 14, $noreg, implicit-def $cpsr297 t2IT 0, 8, implicit-def $itstate298 tBX_RET 0, killed $cpsr, implicit $r0, implicit killed $itstate299 300 bb.10.while.body:301 successors: %bb.8(0x04000000), %bb.7(0x7c000000)302 liveins: $r0, $r1303 304 renamable $r0 = tLDRi killed renamable $r0, 0, 14, $noreg :: (load (s32) from %ir.next4)305 tCMPi8 renamable $r0, 0, 14, $noreg, implicit-def $cpsr306 t2Bcc %bb.7, 1, killed $cpsr307 t2B %bb.8, 14, $noreg308 309 bb.1.while.cond9.preheader:310 successors: %bb.8(0x30000000), %bb.2(0x50000000)311 liveins: $r0, $r1312 313 tCMPi8 renamable $r0, 0, 14, $noreg, implicit-def $cpsr314 t2Bcc %bb.8, 0, killed $cpsr315 316 bb.2.land.rhs11.lr.ph:317 successors: %bb.3(0x80000000)318 liveins: $r0, $r1319 320 renamable $r1 = t2LDRSHi12 killed renamable $r1, 0, 14, $noreg :: (load (s16) from %ir.data16143)321 322 bb.3.land.rhs11:323 successors: %bb.9(0x04000000), %bb.4(0x7c000000)324 liveins: $r0, $r1325 326 renamable $r2 = tLDRi renamable $r0, 1, 14, $noreg :: (load (s32) from %ir.info12)327 renamable $r2 = tLDRBi killed renamable $r2, 0, 14, $noreg :: (load (s8) from %ir.data165, align 2)328 tCMPr killed renamable $r2, renamable $r1, 14, $noreg, implicit-def $cpsr329 t2Bcc %bb.9, 0, killed $cpsr330 331 bb.4.while.body19:332 successors: %bb.8(0x04000000), %bb.3(0x7c000000)333 liveins: $r0, $r1334 335 renamable $r0 = tLDRi killed renamable $r0, 0, 14, $noreg :: (load (s32) from %ir.next206)336 tCMPi8 renamable $r0, 0, 14, $noreg, implicit-def $cpsr337 t2Bcc %bb.3, 1, killed $cpsr338 339 bb.8:340 successors: %bb.9(0x80000000)341 342 renamable $r0, dead $cpsr = tMOVi8 0, 14, $noreg343 344 bb.9.return:345 liveins: $r0346 347 tBX_RET 14, $noreg, implicit killed $r0348 349...350