164 lines · plain
1# NOTE: Assertions have been autogenerated by utils/update_mir_test_checks.py2# RUN: llc -run-pass=arm-cp-islands %s -o - | FileCheck %s3 4# This test make sure that the constant pool does not keep in the middle of an IT block5# when needs to split a block to place them.6#7 8--- |9 source_filename = "<stdin>"10 target datalayout = "e-m:e-p:32:32-Fi8-i64:64-v128:64:128-a:0:32-n32-S64"11 target triple = "thumbv8m.main-arm-none-eabi"12 13 %struct.e = type { double, double, double }14 15 declare i32 @llvm.arm.space(i32, i32)16 17 define hidden arm_aapcs_vfpcc %struct.e @h() {18 unreachable19 }20 21...22---23name: h24alignment: 425exposesReturnsTwice: false26legalized: false27regBankSelected: false28selected: false29failedISel: false30tracksRegLiveness: true31hasWinCFI: false32registers: []33liveins: []34frameInfo:35 isFrameAddressTaken: false36 isReturnAddressTaken: false37 hasStackMap: false38 hasPatchPoint: false39 stackSize: 6440 offsetAdjustment: -4041 maxAlignment: 442 adjustsStack: true43 hasCalls: true44 maxCallFrameSize: 045 cvBytesOfCalleeSavedRegisters: 046 hasOpaqueSPAdjustment: false47 hasVAStart: false48 hasMustTailInVarArgFunc: false49 localFrameSize: 2850 savePoint: []51 restorePoint: []52fixedStack: []53callSites: []54constants:55 - id: 056 value: 'double 0.000000e+00'57 alignment: 858 isTargetSpecific: false59 - id: 160 value: 'double 7.020000e+02'61 alignment: 862 isTargetSpecific: false63 - id: 264 value: 'double 2.020000e+02'65 alignment: 866 isTargetSpecific: false67machineFunctionInfo: {}68body: |69 ; CHECK-LABEL: name: h70 ; CHECK: bb.0:71 ; CHECK-NEXT: successors: %bb.4(0x80000000)72 ; CHECK-NEXT: {{ $}}73 ; CHECK-NEXT: renamable $d0 = VLDRD %const.3, 0, 14 /* CC::al */, $noreg :: (load (s64) from constant-pool)74 ; CHECK-NEXT: dead renamable $r0 = SPACE 40, undef renamable $r075 ; CHECK-NEXT: tB %bb.4, 14 /* CC::al */, $noreg76 ; CHECK-NEXT: {{ $}}77 ; CHECK-NEXT: bb.1 (align 8):78 ; CHECK-NEXT: successors:79 ; CHECK-NEXT: {{ $}}80 ; CHECK-NEXT: CONSTPOOL_ENTRY 3, %const.0, 881 ; CHECK-NEXT: {{ $}}82 ; CHECK-NEXT: bb.2:83 ; CHECK-NEXT: successors:84 ; CHECK-NEXT: {{ $}}85 ; CHECK-NEXT: bb.3 (align 8):86 ; CHECK-NEXT: successors:87 ; CHECK-NEXT: {{ $}}88 ; CHECK-NEXT: CONSTPOOL_ENTRY 5, %const.2, 889 ; CHECK-NEXT: {{ $}}90 ; CHECK-NEXT: bb.4 (align 2):91 ; CHECK-NEXT: successors: %bb.5(0x80000000)92 ; CHECK-NEXT: {{ $}}93 ; CHECK-NEXT: dead renamable $r0 = SPACE 790, undef renamable $r094 ; CHECK-NEXT: {{ $}}95 ; CHECK-NEXT: bb.5:96 ; CHECK-NEXT: successors: %bb.7(0x80000000)97 ; CHECK-NEXT: {{ $}}98 ; CHECK-NEXT: renamable $r0 = t2MOVi 0, 14 /* CC::al */, $noreg, $noreg99 ; CHECK-NEXT: t2CMPri $r0, 32, 14 /* CC::al */, $noreg, implicit-def $cpsr100 ; CHECK-NEXT: renamable $r0 = SPACE 200, undef renamable $r0101 ; CHECK-NEXT: t2IT 0, 1, implicit-def $itstate102 ; CHECK-NEXT: renamable $d0 = VLDRD %const.7, 0, 0 /* CC::eq */, $cpsr, implicit $itstate :: (load (s64) from constant-pool)103 ; CHECK-NEXT: renamable $d1 = VLDRD %const.5, 0, 0 /* CC::eq */, $cpsr, implicit $itstate :: (load (s64) from constant-pool)104 ; CHECK-NEXT: renamable $d2 = VLDRD %const.6, 0, 0 /* CC::eq */, $cpsr, implicit $itstate :: (load (s64) from constant-pool)105 ; CHECK-NEXT: $r0 = t2SUBri $r0, 12, 0 /* CC::eq */, $cpsr, $noreg, implicit killed $itstate106 ; CHECK-NEXT: t2B %bb.7, 14 /* CC::al */, $noreg107 ; CHECK-NEXT: {{ $}}108 ; CHECK-NEXT: bb.6 (align 8):109 ; CHECK-NEXT: successors:110 ; CHECK-NEXT: {{ $}}111 ; CHECK-NEXT: CONSTPOOL_ENTRY 7, %const.1, 8112 ; CHECK-NEXT: {{ $}}113 ; CHECK-NEXT: bb.7 (align 2):114 ; CHECK-NEXT: liveins: $r0, $cpsr, $d0, $s0, $s1, $d1, $s2, $s3, $d2, $s4, $s5115 ; CHECK-NEXT: {{ $}}116 ; CHECK-NEXT: t2IT 0, 4, implicit-def $itstate117 ; CHECK-NEXT: $sp = tMOVr $r0, 0 /* CC::eq */, $cpsr, implicit $itstate118 ; CHECK-NEXT: $sp = t2LDMIA_RET $sp, 0 /* CC::eq */, killed $cpsr, def $r4, def $r5, def $r6, def $r7, def $r8, def $r9, def $r10, def $r11, def $pc, implicit killed $d0, implicit killed $d1, implicit killed $d2, implicit $sp, implicit killed $itstate119 ; CHECK-NEXT: {{ $}}120 ; CHECK-NEXT: bb.8 (align 8):121 ; CHECK-NEXT: successors:122 ; CHECK-NEXT: {{ $}}123 ; CHECK-NEXT: CONSTPOOL_ENTRY 6, %const.0, 8124 ; CHECK-NEXT: {{ $}}125 ; CHECK-NEXT: bb.9 (align 2):126 ; CHECK-NEXT: successors: %bb.9(0x80000000)127 ; CHECK-NEXT: {{ $}}128 ; CHECK-NEXT: dead renamable $r0 = SPACE 4000, undef renamable $r0129 ; CHECK-NEXT: t2B %bb.9, 14 /* CC::al */, $noreg130 ; CHECK-NEXT: {{ $}}131 ; CHECK-NEXT: bb.10:132 bb.0:133 successors: %bb.1(0x80000000)134 135 renamable $d0 = VLDRD %const.0, 0, 14, $noreg :: (load (s64) from constant-pool)136 dead renamable $r0 = SPACE 40, undef renamable $r0137 138 bb.1:139 successors: %bb.2(0x80000000)140 141 dead renamable $r0 = SPACE 790, undef renamable $r0142 143 bb.2:144 successors:145 146 renamable $r0 = t2MOVi 0, 14, _, _147 t2CMPri $r0, 32, 14, $noreg, implicit-def $cpsr148 renamable $r0 = SPACE 200, undef renamable $r0149 t2IT 0, 1, implicit-def $itstate150 renamable $d0 = VLDRD %const.1, 0, 0, $cpsr, implicit $itstate :: (load (s64) from constant-pool)151 renamable $d1 = VLDRD %const.2, 0, 0, $cpsr, implicit $itstate :: (load (s64) from constant-pool)152 renamable $d2 = VLDRD %const.0, 0, 0, $cpsr, implicit $itstate :: (load (s64) from constant-pool)153 $r0 = t2SUBri $r0, 12, 0, $cpsr, $noreg, implicit killed $itstate154 t2IT 0, 4, implicit-def $itstate155 $sp = tMOVr $r0, 0, $cpsr, implicit $itstate156 $sp = t2LDMIA_RET $sp, 0, killed $cpsr, def $r4, def $r5, def $r6, def $r7, def $r8, def $r9, def $r10, def $r11, def $pc, implicit killed $d0, implicit killed $d1, implicit killed $d2, implicit $sp, implicit killed $itstate157 158 bb.3:159 successors: %bb.3(0x80000000)160 161 dead renamable $r0 = SPACE 4000, undef renamable $r0162 t2B %bb.3, 14, $noreg163 164