llvm/test/CodeGen/Thumb/machine-cse-deadreg.mir

   1 # RUN: llc -mtriple thumbv6m-arm-none-eabi -run-pass=machine-cse -verify-machineinstrs -o - %s | FileCheck %s
   2 # RUN: llc -mtriple thumbv6m-arm-none-eabi -passes=machine-cse -o - %s | FileCheck %s
   3
   4 --- |
   5   target datalayout = "e-m:e-p:32:32-i64:64-v128:64:128-a:0:32-n32-S64"
   6   target triple = "thumbv6m-arm-none-eabi"
   7
   8   define i32 @funca(i64 %l1) {
   9   entry:
  10     %l2 = icmp ult i64 %l1, -177673816660004267
  11     %l3 = add i64 %l1, 401100203
  12     %rem.i = select i1 %l2, i64 %l1, i64 %l3
  13     %conv = trunc i64 %rem.i to i32
  14     ret i32 %conv
  15   }
  16
  17   define i32 @funcb(i64 %l1) { ret i32 0 }
  18
  19 ...
  20 ---
  21 name:            funca
  22 tracksRegLiveness: true
  23 liveins:
  24   - { reg: '$r0', virtual-reg: '%0' }
  25   - { reg: '$r1', virtual-reg: '%1' }
  26 constants:
  27   - id:              0
  28     value:           i32 401100203
  29     alignment:       4
  30     isTargetSpecific: false
  31   - id:              1
  32     value:           i32 41367909
  33     alignment:       4
  34     isTargetSpecific: false
  35 body:             |
  36   bb.0.entry:
  37     successors: %bb.1(0x40000000), %bb.2(0x40000000)
  38     liveins: $r0, $r1
  39
  40     %1:tgpr = COPY $r1
  41     %0:tgpr = COPY $r0
  42     %2:tgpr = tLDRpci %const.0, 14, $noreg :: (load (s32) from constant-pool)
  43     %3:tgpr, dead $cpsr = tADDrr %0, %2, 14, $noreg
  44     %4:tgpr = tLDRpci %const.1, 14, $noreg :: (load (s32) from constant-pool)
  45     %5:tgpr, $cpsr = tADDrr %0, %2, 14, $noreg
  46     %6:tgpr, $cpsr = tADC %1, killed %4, 14, $noreg, implicit $cpsr
  47     tBcc %bb.2, 3, $cpsr
  48
  49   bb.1.entry:
  50     successors: %bb.2(0x80000000)
  51
  52   bb.2.entry:
  53     %7:tgpr = PHI %3, %bb.1, %0, %bb.0
  54     $r0 = COPY %7
  55     tBX_RET 14, $noreg, implicit $r0
  56
  57 # CHECK-LABEL: name: funca
  58 # cpsr def must not be dead
  59 # CHECK: %3:tgpr, $cpsr = tADDrr %0, %2
  60 # CHECK-NOT: %5:tgpr, $cpsr = tADDrr %0, %2
  61
  62 ...
  63 ---
  64 name:            funcb
  65 tracksRegLiveness: true
  66 liveins:
  67   - { reg: '$r0', virtual-reg: '%0' }
  68   - { reg: '$r1', virtual-reg: '%1' }
  69 constants:
  70   - id:              0
  71     value:           i32 401100203
  72     alignment:       4
  73     isTargetSpecific: false
  74   - id:              1
  75     value:           i32 41367909
  76     alignment:       4
  77     isTargetSpecific: false
  78 body:             |
  79   bb.0:
  80     successors: %bb.1(0x40000000), %bb.2(0x40000000)
  81     liveins: $r0, $r1
  82
  83     %1:tgpr = COPY $r1
  84     %0:tgpr = COPY $r0
  85     %2:tgpr = tLDRpci %const.0, 14, $noreg :: (load (s32) from constant-pool)
  86     %3:tgpr, dead $cpsr = tADDrr %0, %2, 14, $noreg
  87     %4:tgpr = tLDRpci %const.1, 14, $noreg :: (load (s32) from constant-pool)
  88     %5:tgpr, dead $cpsr = tADDrr %0, %2, 14, $noreg
  89     %6:tgpr, $cpsr = tADDrr %1, killed %4, 14, $noreg
  90     tBcc %bb.2, 3, $cpsr
  91
  92   bb.1:
  93     successors: %bb.2(0x80000000)
  94
  95   bb.2:
  96     %7:tgpr = PHI %3, %bb.1, %0, %bb.0
  97     $r0 = COPY %7
  98     tBX_RET 14, $noreg, implicit $r0
  99
 100 # CHECK-LABEL: name: funcb
 101 # cpsr def should be dead
 102 # CHECK: %3:tgpr, dead $cpsr = tADDrr %0, %2
 103 # CHECK-NOT: %5:tgpr, dead $cpsr = tADDrr %0, %2
 104 ...