llvm/test/CodeGen/AArch64/GlobalISel/legalize-ctlz.mir

   1 # NOTE: Assertions have been autogenerated by utils/update_mir_test_checks.py
   2 # RUN: llc -O0 -mtriple=arm64-unknown-unknown -global-isel -run-pass=legalizer -global-isel-abort=1 %s -o - | FileCheck %s
   3 ---
   4 name:            test_v8s8
   5 alignment:       4
   6 tracksRegLiveness: true
   7 body:             |
   8   bb.0:
   9     liveins: $d0
  10
  11     ; CHECK-LABEL: name: test_v8s8
  12     ; CHECK: liveins: $d0
  13     ; CHECK: [[COPY:%[0-9]+]]:_(<8 x s8>) = COPY $d0
  14     ; CHECK: [[CTLZ:%[0-9]+]]:_(<8 x s8>) = G_CTLZ [[COPY]](<8 x s8>)
  15     ; CHECK: $d0 = COPY [[CTLZ]](<8 x s8>)
  16     ; CHECK: RET_ReallyLR implicit $d0
  17     %0:_(<8 x s8>) = COPY $d0
  18     %1:_(<8 x s8>) = G_CTLZ %0(<8 x s8>)
  19     $d0 = COPY %1(<8 x s8>)
  20     RET_ReallyLR implicit $d0
  21
  22 ...
  23 ---
  24 name:            test_v4s16
  25 alignment:       4
  26 tracksRegLiveness: true
  27 body:             |
  28   bb.0:
  29     liveins: $d0
  30
  31     ; CHECK-LABEL: name: test_v4s16
  32     ; CHECK: liveins: $d0
  33     ; CHECK: [[COPY:%[0-9]+]]:_(<4 x s16>) = COPY $d0
  34     ; CHECK: [[CTLZ:%[0-9]+]]:_(<4 x s16>) = G_CTLZ [[COPY]](<4 x s16>)
  35     ; CHECK: $d0 = COPY [[CTLZ]](<4 x s16>)
  36     ; CHECK: RET_ReallyLR implicit $d0
  37     %0:_(<4 x s16>) = COPY $d0
  38     %1:_(<4 x s16>) = G_CTLZ %0(<4 x s16>)
  39     $d0 = COPY %1(<4 x s16>)
  40     RET_ReallyLR implicit $d0
  41
  42 ...
  43 ---
  44 name:            test_v2s32
  45 alignment:       4
  46 tracksRegLiveness: true
  47 body:             |
  48   bb.0:
  49     liveins: $d0
  50
  51     ; CHECK-LABEL: name: test_v2s32
  52     ; CHECK: liveins: $d0
  53     ; CHECK: [[COPY:%[0-9]+]]:_(<2 x s32>) = COPY $d0
  54     ; CHECK: [[CTLZ:%[0-9]+]]:_(<2 x s32>) = G_CTLZ [[COPY]](<2 x s32>)
  55     ; CHECK: $d0 = COPY [[CTLZ]](<2 x s32>)
  56     ; CHECK: RET_ReallyLR implicit $d0
  57     %0:_(<2 x s32>) = COPY $d0
  58     %1:_(<2 x s32>) = G_CTLZ %0(<2 x s32>)
  59     $d0 = COPY %1(<2 x s32>)
  60     RET_ReallyLR implicit $d0
  61
  62 ...
  63 ---
  64 name:            test_s64
  65 alignment:       4
  66 tracksRegLiveness: true
  67 body:             |
  68   bb.0:
  69     liveins: $d0
  70
  71     ; CHECK-LABEL: name: test_s64
  72     ; CHECK: liveins: $d0
  73     ; CHECK: [[COPY:%[0-9]+]]:_(s64) = COPY $d0
  74     ; CHECK: [[COPY1:%[0-9]+]]:_(s64) = COPY [[COPY]](s64)
  75     ; CHECK: [[CTLZ:%[0-9]+]]:_(s64) = G_CTLZ [[COPY1]](s64)
  76     ; CHECK: $d0 = COPY [[CTLZ]](s64)
  77     ; CHECK: RET_ReallyLR implicit $d0
  78     %0:_(s64) = COPY $d0
  79     %2:_(s64) = COPY %0(s64)
  80     %1:_(s64) = G_CTLZ %2(s64)
  81     $d0 = COPY %1(s64)
  82     RET_ReallyLR implicit $d0
  83
  84 ...
  85 ---
  86 name:            test_s32
  87 alignment:       4
  88 tracksRegLiveness: true
  89 body:             |
  90   bb.0:
  91     liveins: $s0
  92     ; CHECK-LABEL: name: test_s32
  93     ; CHECK: liveins: $s0
  94     ; CHECK: [[COPY:%[0-9]+]]:_(s32) = COPY $s0
  95     ; CHECK: [[COPY1:%[0-9]+]]:_(s32) = COPY [[COPY]](s32)
  96     ; CHECK: [[CTLZ:%[0-9]+]]:_(s32) = G_CTLZ [[COPY1]](s32)
  97     ; CHECK: $s0 = COPY [[CTLZ]](s32)
  98     ; CHECK: RET_ReallyLR implicit $s0
  99     %0:_(s32) = COPY $s0
 100     %2:_(s32) = COPY %0(s32)
 101     %1:_(s32) = G_CTLZ %2(s32)
 102     $s0 = COPY %1(s32)
 103     RET_ReallyLR implicit $s0
 104
 105 ...
 106 ---
 107 name:            test_v16s8
 108 alignment:       4
 109 tracksRegLiveness: true
 110 body:             |
 111   bb.0:
 112     liveins: $q0
 113
 114     ; CHECK-LABEL: name: test_v16s8
 115     ; CHECK: liveins: $q0
 116     ; CHECK: [[COPY:%[0-9]+]]:_(<16 x s8>) = COPY $q0
 117     ; CHECK: [[CTLZ:%[0-9]+]]:_(<16 x s8>) = G_CTLZ [[COPY]](<16 x s8>)
 118     ; CHECK: $q0 = COPY [[CTLZ]](<16 x s8>)
 119     ; CHECK: RET_ReallyLR implicit $q0
 120     %0:_(<16 x s8>) = COPY $q0
 121     %1:_(<16 x s8>) = G_CTLZ %0(<16 x s8>)
 122     $q0 = COPY %1(<16 x s8>)
 123     RET_ReallyLR implicit $q0
 124
 125 ...
 126 ---
 127 name:            test_v8s16
 128 alignment:       4
 129 tracksRegLiveness: true
 130 body:             |
 131   bb.0:
 132     liveins: $q0
 133
 134     ; CHECK-LABEL: name: test_v8s16
 135     ; CHECK: liveins: $q0
 136     ; CHECK: [[COPY:%[0-9]+]]:_(<8 x s16>) = COPY $q0
 137     ; CHECK: [[CTLZ:%[0-9]+]]:_(<8 x s16>) = G_CTLZ [[COPY]](<8 x s16>)
 138     ; CHECK: $q0 = COPY [[CTLZ]](<8 x s16>)
 139     ; CHECK: RET_ReallyLR implicit $q0
 140     %0:_(<8 x s16>) = COPY $q0
 141     %1:_(<8 x s16>) = G_CTLZ %0(<8 x s16>)
 142     $q0 = COPY %1(<8 x s16>)
 143     RET_ReallyLR implicit $q0
 144
 145 ...
 146 ---
 147 name:            test_v4s32
 148 alignment:       4
 149 tracksRegLiveness: true
 150 body:             |
 151   bb.0:
 152     liveins: $q0
 153
 154     ; CHECK-LABEL: name: test_v4s32
 155     ; CHECK: liveins: $q0
 156     ; CHECK: [[COPY:%[0-9]+]]:_(<4 x s32>) = COPY $q0
 157     ; CHECK: [[CTLZ:%[0-9]+]]:_(<4 x s32>) = G_CTLZ [[COPY]](<4 x s32>)
 158     ; CHECK: $q0 = COPY [[CTLZ]](<4 x s32>)
 159     ; CHECK: RET_ReallyLR implicit $q0
 160     %0:_(<4 x s32>) = COPY $q0
 161     %1:_(<4 x s32>) = G_CTLZ %0(<4 x s32>)
 162     $q0 = COPY %1(<4 x s32>)
 163     RET_ReallyLR implicit $q0
 164
 165 ...
 166
 167 # The ZERO_UNDEF variants just lower into the vanilla ones.
 168 ---
 169 name:            test_s32_zeroundef
 170 alignment:       4
 171 tracksRegLiveness: true
 172 body:             |
 173   bb.0:
 174     liveins: $s0
 175     ; CHECK-LABEL: name: test_s32_zeroundef
 176     ; CHECK: liveins: $s0
 177     ; CHECK: [[COPY:%[0-9]+]]:_(s32) = COPY $s0
 178     ; CHECK: [[COPY1:%[0-9]+]]:_(s32) = COPY [[COPY]](s32)
 179     ; CHECK: [[CTLZ:%[0-9]+]]:_(s32) = G_CTLZ [[COPY1]](s32)
 180     ; CHECK: $s0 = COPY [[CTLZ]](s32)
 181     ; CHECK: RET_ReallyLR implicit $s0
 182     %0:_(s32) = COPY $s0
 183     %2:_(s32) = COPY %0(s32)
 184     %1:_(s32) = G_CTLZ_ZERO_UNDEF %2(s32)
 185     $s0 = COPY %1(s32)
 186     RET_ReallyLR implicit $s0
 187
 188 ...
 189 ---
 190 name:            test_s64_zeroundef
 191 alignment:       4
 192 tracksRegLiveness: true
 193 body:             |
 194   bb.0:
 195     liveins: $d0
 196
 197     ; CHECK-LABEL: name: test_s64_zeroundef
 198     ; CHECK: liveins: $d0
 199     ; CHECK: [[COPY:%[0-9]+]]:_(s64) = COPY $d0
 200     ; CHECK: [[COPY1:%[0-9]+]]:_(s64) = COPY [[COPY]](s64)
 201     ; CHECK: [[CTLZ:%[0-9]+]]:_(s64) = G_CTLZ [[COPY1]](s64)
 202     ; CHECK: $d0 = COPY [[CTLZ]](s64)
 203     ; CHECK: RET_ReallyLR implicit $d0
 204     %0:_(s64) = COPY $d0
 205     %2:_(s64) = COPY %0(s64)
 206     %1:_(s64) = G_CTLZ_ZERO_UNDEF %2(s64)
 207     $d0 = COPY %1(s64)
 208     RET_ReallyLR implicit $d0
 209
 210 ...