llvm/test/CodeGen/ARM/constant-islands-split-IT.mir

   1 # NOTE: Assertions have been autogenerated by utils/update_mir_test_checks.py
   2 # RUN: llc -run-pass=arm-cp-islands %s -o -  | FileCheck %s
   3
   4 # This test make sure that the constant pool does not keep in the middle of an IT block
   5 # 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     unreachable
  19   }
  20
  21 ...
  22 ---
  23 name:            h
  24 alignment:       4
  25 exposesReturnsTwice: false
  26 legalized:       false
  27 regBankSelected: false
  28 selected:        false
  29 failedISel:      false
  30 tracksRegLiveness: true
  31 hasWinCFI:       false
  32 registers:       []
  33 liveins:         []
  34 frameInfo:
  35   isFrameAddressTaken: false
  36   isReturnAddressTaken: false
  37   hasStackMap:     false
  38   hasPatchPoint:   false
  39   stackSize:       64
  40   offsetAdjustment: -40
  41   maxAlignment:    4
  42   adjustsStack:    true
  43   hasCalls:        true
  44   maxCallFrameSize: 0
  45   cvBytesOfCalleeSavedRegisters: 0
  46   hasOpaqueSPAdjustment: false
  47   hasVAStart:      false
  48   hasMustTailInVarArgFunc: false
  49   localFrameSize:  28
  50   savePoint:       ''
  51   restorePoint:    ''
  52 fixedStack:      []
  53 callSites:       []
  54 constants:
  55   - id:              0
  56     value:           'double 0.000000e+00'
  57     alignment:       8
  58     isTargetSpecific: false
  59   - id:              1
  60     value:           'double 7.020000e+02'
  61     alignment:       8
  62     isTargetSpecific: false
  63   - id:              2
  64     value:           'double 2.020000e+02'
  65     alignment:       8
  66     isTargetSpecific: false
  67 machineFunctionInfo: {}
  68 body:             |
  69   ; CHECK-LABEL: name: h
  70   ; 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 $r0
  75   ; CHECK-NEXT:   tB %bb.4, 14 /* CC::al */, $noreg
  76   ; CHECK-NEXT: {{  $}}
  77   ; CHECK-NEXT: bb.1 (align 8):
  78   ; CHECK-NEXT:   successors:
  79   ; CHECK-NEXT: {{  $}}
  80   ; CHECK-NEXT:   CONSTPOOL_ENTRY 3, %const.0, 8
  81   ; 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, 8
  89   ; 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 $r0
  94   ; 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, $noreg
  99   ; CHECK-NEXT:   t2CMPri $r0, 32, 14 /* CC::al */, $noreg, implicit-def $cpsr
 100   ; CHECK-NEXT:   renamable $r0 = SPACE 200, undef renamable $r0
 101   ; CHECK-NEXT:   t2IT 0, 1, implicit-def $itstate
 102   ; 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 $itstate
 106   ; CHECK-NEXT:   t2B %bb.7, 14 /* CC::al */, $noreg
 107   ; CHECK-NEXT: {{  $}}
 108   ; CHECK-NEXT: bb.6 (align 8):
 109   ; CHECK-NEXT:   successors:
 110   ; CHECK-NEXT: {{  $}}
 111   ; CHECK-NEXT:   CONSTPOOL_ENTRY 7, %const.1, 8
 112   ; CHECK-NEXT: {{  $}}
 113   ; CHECK-NEXT: bb.7 (align 2):
 114   ; CHECK-NEXT:   liveins: $r0, $cpsr, $d0, $s0, $s1, $d1, $s2, $s3, $d2, $s4, $s5
 115   ; CHECK-NEXT: {{  $}}
 116   ; CHECK-NEXT:   t2IT 0, 4, implicit-def $itstate
 117   ; CHECK-NEXT:   $sp = tMOVr $r0, 0 /* CC::eq */, $cpsr, implicit $itstate
 118   ; 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 $itstate
 119   ; CHECK-NEXT: {{  $}}
 120   ; CHECK-NEXT: bb.8 (align 8):
 121   ; CHECK-NEXT:   successors:
 122   ; CHECK-NEXT: {{  $}}
 123   ; CHECK-NEXT:   CONSTPOOL_ENTRY 6, %const.0, 8
 124   ; 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 $r0
 129   ; CHECK-NEXT:   t2B %bb.9, 14 /* CC::al */, $noreg
 130   ; 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 $r0
 137
 138   bb.1:
 139     successors: %bb.2(0x80000000)
 140
 141     dead renamable $r0 = SPACE 790, undef renamable $r0
 142
 143   bb.2:
 144     successors:
 145
 146     renamable $r0 = t2MOVi 0, 14, _, _
 147     t2CMPri $r0, 32, 14, $noreg, implicit-def $cpsr
 148     renamable $r0 = SPACE 200, undef renamable $r0
 149     t2IT 0, 1, implicit-def $itstate
 150     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 $itstate
 154     t2IT 0, 4, implicit-def $itstate
 155     $sp = tMOVr $r0, 0, $cpsr, implicit $itstate
 156     $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 $itstate
 157
 158   bb.3:
 159     successors: %bb.3(0x80000000)
 160
 161     dead renamable $r0 = SPACE 4000, undef renamable $r0
 162     t2B %bb.3, 14, $noreg
 163