test/CodeGen/AArch64/GlobalISel/select-cbz.mir

   1 # NOTE: Assertions have been autogenerated by utils/update_mir_test_checks.py
   2 # RUN: llc -mtriple=aarch64-- -run-pass=instruction-select -verify-machineinstrs %s -o - | FileCheck %s
   3
   4 --- |
   5   define void @cbz_s32() { ret void }
   6   define void @cbz_s64() { ret void }
   7   define void @cbnz_s32() { ret void }
   8   define void @cbnz_s64() { ret void }
   9   define hidden void @test_rhs_inttoptr(i64* %p) { ret void }
  10   define hidden void @test_rhs_unknown(i64* %p) { ret void }
  11 ...
  12
  13 ---
  14 name:            cbz_s32
  15 legalized:       true
  16 regBankSelected: true
  17
  18 body:             |
  19   ; CHECK-LABEL: name: cbz_s32
  20   ; CHECK: bb.0:
  21   ; CHECK:   successors: %bb.0(0x40000000), %bb.1(0x40000000)
  22   ; CHECK:   [[COPY:%[0-9]+]]:gpr32 = COPY $w0
  23   ; CHECK:   CBZW [[COPY]], %bb.1
  24   ; CHECK:   B %bb.0
  25   ; CHECK: bb.1:
  26   bb.0:
  27     liveins: $w0
  28     successors: %bb.0, %bb.1
  29
  30     %0:gpr(s32) = COPY $w0
  31     %1:gpr(s32) = G_CONSTANT i32 0
  32     %2:gpr(s32) = G_ICMP intpred(eq), %0, %1
  33     %3:gpr(s1) = G_TRUNC %2(s32)
  34     G_BRCOND %3(s1), %bb.1
  35     G_BR %bb.0
  36
  37   bb.1:
  38 ...
  39
  40 ---
  41 name:            cbz_s64
  42 legalized:       true
  43 regBankSelected: true
  44
  45 body:             |
  46   ; CHECK-LABEL: name: cbz_s64
  47   ; CHECK: bb.0:
  48   ; CHECK:   successors: %bb.0(0x40000000), %bb.1(0x40000000)
  49   ; CHECK:   [[COPY:%[0-9]+]]:gpr64 = COPY $x0
  50   ; CHECK:   CBZX [[COPY]], %bb.1
  51   ; CHECK:   B %bb.0
  52   ; CHECK: bb.1:
  53   bb.0:
  54     liveins: $x0
  55     successors: %bb.0, %bb.1
  56
  57     %0:gpr(s64) = COPY $x0
  58     %1:gpr(s64) = G_CONSTANT i64 0
  59     %2:gpr(s32) = G_ICMP intpred(eq), %0, %1
  60     %3:gpr(s1) = G_TRUNC %2(s32)
  61     G_BRCOND %3(s1), %bb.1
  62     G_BR %bb.0
  63
  64   bb.1:
  65 ...
  66
  67 ---
  68 name:            cbnz_s32
  69 legalized:       true
  70 regBankSelected: true
  71
  72 body:             |
  73   ; CHECK-LABEL: name: cbnz_s32
  74   ; CHECK: bb.0:
  75   ; CHECK:   successors: %bb.0(0x40000000), %bb.1(0x40000000)
  76   ; CHECK:   [[COPY:%[0-9]+]]:gpr32 = COPY $w0
  77   ; CHECK:   CBNZW [[COPY]], %bb.1
  78   ; CHECK:   B %bb.0
  79   ; CHECK: bb.1:
  80   bb.0:
  81     liveins: $w0
  82     successors: %bb.0, %bb.1
  83
  84     %0:gpr(s32) = COPY $w0
  85     %1:gpr(s32) = G_CONSTANT i32 0
  86     %2:gpr(s32) = G_ICMP intpred(ne), %0, %1
  87     %3:gpr(s1) = G_TRUNC %2(s32)
  88     G_BRCOND %3(s1), %bb.1
  89     G_BR %bb.0
  90
  91   bb.1:
  92 ...
  93
  94 ---
  95 name:            cbnz_s64
  96 legalized:       true
  97 regBankSelected: true
  98
  99 body:             |
 100   ; CHECK-LABEL: name: cbnz_s64
 101   ; CHECK: bb.0:
 102   ; CHECK:   successors: %bb.0(0x40000000), %bb.1(0x40000000)
 103   ; CHECK:   [[COPY:%[0-9]+]]:gpr64 = COPY $x0
 104   ; CHECK:   CBNZX [[COPY]], %bb.1
 105   ; CHECK:   B %bb.0
 106   ; CHECK: bb.1:
 107   bb.0:
 108     liveins: $x0
 109     successors: %bb.0, %bb.1
 110
 111     %0:gpr(s64) = COPY $x0
 112     %1:gpr(s64) = G_CONSTANT i64 0
 113     %2:gpr(s32) = G_ICMP intpred(ne), %0, %1
 114     %3:gpr(s1) = G_TRUNC %2(s32)
 115     G_BRCOND %3(s1), %bb.1
 116     G_BR %bb.0
 117
 118   bb.1:
 119 ...
 120 ---
 121 name:            test_rhs_inttoptr
 122 alignment:       4
 123 legalized:       true
 124 regBankSelected: true
 125 tracksRegLiveness: true
 126 body:             |
 127   ; CHECK-LABEL: name: test_rhs_inttoptr
 128   ; CHECK: bb.0:
 129   ; CHECK:   successors: %bb.1(0x40000000), %bb.2(0x40000000)
 130   ; CHECK:   liveins: $x0
 131   ; CHECK:   [[COPY:%[0-9]+]]:gpr64common = COPY $x0
 132   ; CHECK:   CBZX [[COPY]], %bb.2
 133   ; CHECK: bb.1:
 134   ; CHECK:   successors: %bb.2(0x80000000)
 135   ; CHECK:   STRXui $xzr, [[COPY]], 0 :: (store 8 into %ir.p)
 136   ; CHECK: bb.2:
 137   ; CHECK:   RET_ReallyLR
 138   bb.1:
 139     successors: %bb.2, %bb.3
 140     liveins: $x0
 141
 142     %0:gpr(p0) = COPY $x0
 143     %2:gpr(s64) = G_CONSTANT i64 0
 144     %1:gpr(p0) = G_INTTOPTR %2(s64)
 145     %4:gpr(s32) = G_ICMP intpred(eq), %0(p0), %1
 146     %3:gpr(s1) = G_TRUNC %4(s32)
 147     G_BRCOND %3(s1), %bb.3
 148
 149   bb.2:
 150     %5:gpr(s64) = G_CONSTANT i64 0
 151     G_STORE %5(s64), %0(p0) :: (store 8 into %ir.p)
 152
 153   bb.3:
 154     RET_ReallyLR
 155
 156 ...
 157 ---
 158 name:            test_rhs_unknown
 159 alignment:       4
 160 legalized:       true
 161 regBankSelected: true
 162 tracksRegLiveness: true
 163 body:             |
 164   ; CHECK-LABEL: name: test_rhs_unknown
 165   ; CHECK: bb.0:
 166   ; CHECK:   successors: %bb.1(0x40000000), %bb.2(0x40000000)
 167   ; CHECK:   liveins: $x0
 168   ; CHECK:   [[COPY:%[0-9]+]]:gpr64sp = COPY $x0
 169   ; CHECK:   [[LDRXui:%[0-9]+]]:gpr64common = LDRXui [[COPY]], 0 :: (load 8 from %ir.p)
 170   ; CHECK:   $xzr = SUBSXri [[LDRXui]], 42, 0, implicit-def $nzcv
 171   ; CHECK:   Bcc 0, %bb.2, implicit $nzcv
 172   ; CHECK: bb.1:
 173   ; CHECK:   successors: %bb.2(0x80000000)
 174   ; CHECK:   STRXui $xzr, [[COPY]], 0 :: (store 8 into %ir.p)
 175   ; CHECK: bb.2:
 176   ; CHECK:   RET_ReallyLR
 177   bb.1:
 178     successors: %bb.2, %bb.3
 179     liveins: $x0
 180
 181     %0:gpr(p0) = COPY $x0
 182     %2:gpr(s64) = G_CONSTANT i64 42
 183     %4:gpr(s64) = G_CONSTANT i64 0
 184     %1:gpr(s64) = G_LOAD %0(p0) :: (load 8 from %ir.p)
 185     %5:gpr(s32) = G_ICMP intpred(eq), %1(s64), %2
 186     %3:gpr(s1) = G_TRUNC %5(s32)
 187     G_BRCOND %3(s1), %bb.3
 188
 189   bb.2:
 190     %6:gpr(s64) = G_CONSTANT i64 0
 191     G_STORE %6(s64), %0(p0) :: (store 8 into %ir.p)
 192
 193   bb.3:
 194     RET_ReallyLR
 195
 196 ...