test/CodeGen/Hexagon/regalloc-bad-undef.mir

   1 # RUN: llc -march=hexagon -hexagon-subreg-liveness -start-after machine-scheduler -stop-after stack-slot-coloring -o - %s | FileCheck %s
   2
   3 --- |
   4   target triple = "hexagon"
   5
   6   ; Function Attrs: nounwind optsize
   7   define void @main() #0 {
   8   entry:
   9     br label %for.body
  10
  11   for.body:                                         ; preds = %if.end82, %entry
  12     %lsr.iv = phi i32 [ %lsr.iv.next, %if.end82 ], [ 524288, %entry ]
  13     %call9 = tail call i32 @lrand48() #0
  14     %conv10 = sext i32 %call9 to i64
  15     %shr11 = lshr i64 %conv10, 9
  16     %or12 = or i64 0, %shr11
  17     %call14 = tail call i32 @lrand48() #0
  18     %conv15138 = zext i32 %call14 to i64
  19     %shr16 = lshr i64 %conv15138, 9
  20     %0 = call i64 @llvm.hexagon.S2.extractup(i64 %conv15138, i32 22, i32 9)
  21     %1 = shl i64 %0, 42
  22     %shl17 = shl i64 %shr16, 42
  23     %or22 = or i64 0, %1
  24     %or26 = or i64 %or22, 0
  25     %shr30 = lshr i64 undef, 25
  26     %2 = call i64 @llvm.hexagon.S2.extractup(i64 undef, i32 6, i32 25)
  27     %and = and i64 %shr30, 63
  28     %sub = shl i64 2, %2
  29     %add = add i64 %sub, -1
  30     %shl37 = shl i64 %add, 0
  31     %call38 = tail call i32 @lrand48() #0
  32     %conv39141 = zext i32 %call38 to i64
  33     %shr40 = lshr i64 %conv39141, 25
  34     %3 = call i64 @llvm.hexagon.S2.extractup(i64 %conv39141, i32 6, i32 25)
  35     %and41 = and i64 %shr40, 63
  36     %sub43 = shl i64 2, %3
  37     %add45 = add i64 %sub43, -1
  38     %call46 = tail call i32 @lrand48() #0
  39     %shr48 = lshr i64 undef, 25
  40     %4 = call i64 @llvm.hexagon.S2.extractup(i64 undef, i32 6, i32 25)
  41     %and49 = and i64 %shr48, 63
  42     %shl50 = shl i64 %add45, %4
  43     %and52 = and i64 %shl37, %or12
  44     %and54 = and i64 %shl50, %or26
  45     store i64 %and54, i64* undef, align 8
  46     %cmp56 = icmp eq i64 %and52, 0
  47     br i1 %cmp56, label %for.end, label %if.end82
  48
  49   if.end82:                                         ; preds = %for.body
  50     %lsr.iv.next = add nsw i32 %lsr.iv, -1
  51     %exitcond = icmp eq i32 %lsr.iv.next, 0
  52     br i1 %exitcond, label %for.end, label %for.body
  53
  54   for.end:                                          ; preds = %if.end82, %for.body
  55     unreachable
  56   }
  57
  58   declare i32 @lrand48() #0
  59   declare i64 @llvm.hexagon.S2.extractup(i64, i32, i32) #1
  60
  61   attributes #0 = { nounwind optsize "target-cpu"="hexagonv55" "target-features"="-hvx" }
  62   attributes #1 = { nounwind readnone }
  63
  64 ...
  65 ---
  66 name:            main
  67 alignment:       2
  68 tracksRegLiveness: true
  69 registers:
  70   - { id: 0, class: intregs }
  71   - { id: 1, class: intregs }
  72   - { id: 2, class: intregs }
  73   - { id: 3, class: intregs }
  74   - { id: 4, class: doubleregs }
  75   - { id: 5, class: intregs }
  76   - { id: 6, class: doubleregs }
  77   - { id: 7, class: doubleregs }
  78   - { id: 8, class: doubleregs }
  79   - { id: 9, class: doubleregs }
  80   - { id: 10, class: intregs }
  81   - { id: 11, class: doubleregs }
  82   - { id: 12, class: doubleregs }
  83   - { id: 13, class: doubleregs }
  84   - { id: 14, class: intregs }
  85   - { id: 15, class: doubleregs }
  86   - { id: 16, class: doubleregs }
  87   - { id: 17, class: intregs }
  88   - { id: 18, class: doubleregs }
  89   - { id: 19, class: intregs }
  90   - { id: 20, class: doubleregs }
  91   - { id: 21, class: doubleregs }
  92   - { id: 22, class: doubleregs }
  93   - { id: 23, class: intregs }
  94   - { id: 24, class: doubleregs }
  95   - { id: 25, class: predregs }
  96   - { id: 26, class: predregs }
  97   - { id: 27, class: intregs }
  98   - { id: 28, class: intregs }
  99   - { id: 29, class: doubleregs }
 100   - { id: 30, class: intregs }
 101   - { id: 31, class: intregs }
 102   - { id: 32, class: doubleregs }
 103   - { id: 33, class: intregs }
 104   - { id: 34, class: intregs }
 105   - { id: 35, class: doubleregs }
 106   - { id: 36, class: doubleregs }
 107   - { id: 37, class: intregs }
 108   - { id: 38, class: intregs }
 109   - { id: 39, class: doubleregs }
 110   - { id: 40, class: doubleregs }
 111   - { id: 41, class: intregs }
 112   - { id: 42, class: intregs }
 113   - { id: 43, class: doubleregs }
 114   - { id: 44, class: intregs }
 115   - { id: 45, class: intregs }
 116   - { id: 46, class: doubleregs }
 117   - { id: 47, class: doubleregs }
 118   - { id: 48, class: doubleregs }
 119   - { id: 49, class: doubleregs }
 120   - { id: 50, class: doubleregs }
 121   - { id: 51, class: doubleregs }
 122   - { id: 52, class: intregs }
 123   - { id: 53, class: intregs }
 124   - { id: 54, class: intregs }
 125   - { id: 55, class: doubleregs }
 126   - { id: 56, class: doubleregs }
 127   - { id: 57, class: intregs }
 128   - { id: 58, class: intregs }
 129   - { id: 59, class: intregs }
 130 frameInfo:
 131   isFrameAddressTaken: false
 132   isReturnAddressTaken: false
 133   hasStackMap:     false
 134   hasPatchPoint:   false
 135   stackSize:       0
 136   offsetAdjustment: 0
 137   maxAlignment:    0
 138   adjustsStack:    false
 139   hasCalls:        true
 140   maxCallFrameSize: 0
 141   hasOpaqueSPAdjustment: false
 142   hasVAStart:      false
 143   hasMustTailInVarArgFunc: false
 144 body:             |
 145   bb.0.entry:
 146     successors: %bb.1.for.body
 147
 148     %59 = A2_tfrsi 524288
 149     undef %32.isub_hi = A2_tfrsi 0
 150     %8 = S2_extractup undef %9, 6, 25
 151     %47 = A2_tfrpi 2
 152     %13 = A2_tfrpi -1
 153     %13 = S2_asl_r_p_acc %13, %47, %8.isub_lo
 154     %51 = A2_tfrpi 0
 155
 156     ; CHECK: $d2 = S2_extractup undef renamable $d0, 6, 25
 157     ; CHECK: $d0 = A2_tfrpi 2
 158     ; CHECK: $d13 = A2_tfrpi -1
 159     ; CHECK-NOT: undef $r4
 160
 161   bb.1.for.body:
 162     successors: %bb.3.for.end, %bb.2.if.end82
 163
 164     ADJCALLSTACKDOWN 0, 0, implicit-def dead $r29, implicit-def dead $r30, implicit $r31, implicit $r30, implicit $r29
 165     J2_call @lrand48, implicit-def dead $d0, implicit-def dead $d1, implicit-def dead $d2, implicit-def dead $d3, implicit-def dead $d4, implicit-def dead $d5, implicit-def dead $d6, implicit-def dead $d7, implicit-def dead $r28, implicit-def dead $r31, implicit-def dead $p0, implicit-def dead $p1, implicit-def dead $p2, implicit-def dead $p3, implicit-def dead $m0, implicit-def dead $m1, implicit-def dead $lc0, implicit-def dead $lc1, implicit-def dead $sa0, implicit-def dead $sa1, implicit-def dead $usr, implicit-def $usr_ovf, implicit-def dead $cs0, implicit-def dead $cs1, implicit-def dead $w0, implicit-def dead $w1, implicit-def dead $w2, implicit-def dead $w3, implicit-def dead $w4, implicit-def dead $w5, implicit-def dead $w6, implicit-def dead $w7, implicit-def dead $w8, implicit-def dead $w9, implicit-def dead $w10, implicit-def dead $w11, implicit-def dead $w12, implicit-def dead $w13, implicit-def dead $w14, implicit-def dead $w15, implicit-def dead $q0, implicit-def dead $q1, implicit-def dead $q2, implicit-def dead $q3, implicit-def $r0
 166     ADJCALLSTACKUP 0, 0, implicit-def dead $r29, implicit-def dead $r30, implicit-def dead $r31, implicit $r29
 167     undef %29.isub_lo = COPY killed $r0
 168     %29.isub_hi = S2_asr_i_r %29.isub_lo, 31
 169     ADJCALLSTACKDOWN 0, 0, implicit-def dead $r29, implicit-def dead $r30, implicit $r31, implicit $r30, implicit $r29
 170     J2_call @lrand48, implicit-def dead $d0, implicit-def dead $d1, implicit-def dead $d2, implicit-def dead $d3, implicit-def dead $d4, implicit-def dead $d5, implicit-def dead $d6, implicit-def dead $d7, implicit-def dead $r28, implicit-def dead $r31, implicit-def dead $p0, implicit-def dead $p1, implicit-def dead $p2, implicit-def dead $p3, implicit-def dead $m0, implicit-def dead $m1, implicit-def dead $lc0, implicit-def dead $lc1, implicit-def dead $sa0, implicit-def dead $sa1, implicit-def dead $usr, implicit-def $usr_ovf, implicit-def dead $cs0, implicit-def dead $cs1, implicit-def dead $w0, implicit-def dead $w1, implicit-def dead $w2, implicit-def dead $w3, implicit-def dead $w4, implicit-def dead $w5, implicit-def dead $w6, implicit-def dead $w7, implicit-def dead $w8, implicit-def dead $w9, implicit-def dead $w10, implicit-def dead $w11, implicit-def dead $w12, implicit-def dead $w13, implicit-def dead $w14, implicit-def dead $w15, implicit-def dead $q0, implicit-def dead $q1, implicit-def dead $q2, implicit-def dead $q3, implicit-def $r0
 171     ADJCALLSTACKUP 0, 0, implicit-def dead $r29, implicit-def dead $r30, implicit-def dead $r31, implicit $r29
 172     %32.isub_lo = COPY killed $r0
 173     %7 = S2_extractup %32, 22, 9
 174     ADJCALLSTACKDOWN 0, 0, implicit-def dead $r29, implicit-def dead $r30, implicit $r31, implicit $r30, implicit $r29
 175     J2_call @lrand48, implicit-def dead $d0, implicit-def dead $d1, implicit-def dead $d2, implicit-def dead $d3, implicit-def dead $d4, implicit-def dead $d5, implicit-def dead $d6, implicit-def dead $d7, implicit-def dead $r28, implicit-def dead $r31, implicit-def dead $p0, implicit-def dead $p1, implicit-def dead $p2, implicit-def dead $p3, implicit-def dead $m0, implicit-def dead $m1, implicit-def dead $lc0, implicit-def dead $lc1, implicit-def dead $sa0, implicit-def dead $sa1, implicit-def dead $usr, implicit-def $usr_ovf, implicit-def dead $cs0, implicit-def dead $cs1, implicit-def dead $w0, implicit-def dead $w1, implicit-def dead $w2, implicit-def dead $w3, implicit-def dead $w4, implicit-def dead $w5, implicit-def dead $w6, implicit-def dead $w7, implicit-def dead $w8, implicit-def dead $w9, implicit-def dead $w10, implicit-def dead $w11, implicit-def dead $w12, implicit-def dead $w13, implicit-def dead $w14, implicit-def dead $w15, implicit-def dead $q0, implicit-def dead $q1, implicit-def dead $q2, implicit-def dead $q3, implicit-def $r0
 176     ADJCALLSTACKUP 0, 0, implicit-def dead $r29, implicit-def dead $r30, implicit-def dead $r31, implicit $r29
 177     undef %43.isub_lo = COPY killed $r0
 178     %43.isub_hi = COPY %32.isub_hi
 179     %16 = S2_extractup %43, 6, 25
 180     %18 = A2_tfrpi -1
 181     %18 = S2_asl_r_p_acc %18, %47, %16.isub_lo
 182     ADJCALLSTACKDOWN 0, 0, implicit-def dead $r29, implicit-def dead $r30, implicit $r31, implicit $r30, implicit $r29
 183     J2_call @lrand48, implicit-def dead $d0, implicit-def dead $d1, implicit-def dead $d2, implicit-def dead $d3, implicit-def dead $d4, implicit-def dead $d5, implicit-def dead $d6, implicit-def dead $d7, implicit-def dead $r28, implicit-def dead $r31, implicit-def dead $p0, implicit-def dead $p1, implicit-def dead $p2, implicit-def dead $p3, implicit-def dead $m0, implicit-def dead $m1, implicit-def dead $lc0, implicit-def dead $lc1, implicit-def dead $sa0, implicit-def dead $sa1, implicit-def dead $usr, implicit-def $usr_ovf, implicit-def dead $cs0, implicit-def dead $cs1, implicit-def dead $w0, implicit-def dead $w1, implicit-def dead $w2, implicit-def dead $w3, implicit-def dead $w4, implicit-def dead $w5, implicit-def dead $w6, implicit-def dead $w7, implicit-def dead $w8, implicit-def dead $w9, implicit-def dead $w10, implicit-def dead $w11, implicit-def dead $w12, implicit-def dead $w13, implicit-def dead $w14, implicit-def dead $w15, implicit-def dead $q0, implicit-def dead $q1, implicit-def dead $q2, implicit-def dead $q3
 184     ADJCALLSTACKUP 0, 0, implicit-def dead $r29, implicit-def dead $r30, implicit-def dead $r31, implicit $r29
 185     %22 = S2_asl_r_p %18, %8.isub_lo
 186     %21 = COPY %13
 187     %21 = S2_lsr_i_p_and %21, %29, 9
 188     %22 = S2_asl_i_p_and %22, %7, 42
 189     S2_storerd_io undef %23, 0, %22 :: (store 8 into `i64* undef`)
 190     %25 = C2_cmpeqp %21, %51
 191     J2_jumpt %25, %bb.3.for.end, implicit-def dead $pc
 192     J2_jump %bb.2.if.end82, implicit-def dead $pc
 193
 194   bb.2.if.end82:
 195     successors: %bb.3.for.end, %bb.1.for.body
 196
 197     %59 = A2_addi %59, -1
 198     %26 = C2_cmpeqi %59, 0
 199     J2_jumpf %26, %bb.1.for.body, implicit-def dead $pc
 200     J2_jump %bb.3.for.end, implicit-def dead $pc
 201
 202   bb.3.for.end:
 203
 204 ...