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

   1 # NOTE: Assertions have been autogenerated by utils/update_mir_test_checks.py
   2 # RUN: llc -mtriple=aarch64 -run-pass=legalizer %s -o - | FileCheck %s
   3 ---
   4 name:            test_scalar_xor_small
   5 body:             |
   6   bb.0.entry:
   7     ; CHECK-LABEL: name: test_scalar_xor_small
   8     ; CHECK: [[COPY:%[0-9]+]]:_(s64) = COPY $x0
   9     ; CHECK-NEXT: [[COPY1:%[0-9]+]]:_(s64) = COPY $x1
  10     ; CHECK-NEXT: [[TRUNC:%[0-9]+]]:_(s32) = G_TRUNC [[COPY]](s64)
  11     ; CHECK-NEXT: [[TRUNC1:%[0-9]+]]:_(s32) = G_TRUNC [[COPY1]](s64)
  12     ; CHECK-NEXT: [[XOR:%[0-9]+]]:_(s32) = G_XOR [[TRUNC]], [[TRUNC1]]
  13     ; CHECK-NEXT: [[ANYEXT:%[0-9]+]]:_(s64) = G_ANYEXT [[XOR]](s32)
  14     ; CHECK-NEXT: $x0 = COPY [[ANYEXT]](s64)
  15     %0:_(s64) = COPY $x0
  16     %1:_(s64) = COPY $x1
  17     %2:_(s8) = G_TRUNC %0(s64)
  18     %3:_(s8) = G_TRUNC %1(s64)
  19     %4:_(s8) = G_XOR %2, %3
  20     %5:_(s64) = G_ANYEXT %4(s8)
  21     $x0 = COPY %5(s64)
  22
  23 ...
  24 ---
  25 name:            test_s318_xor
  26 tracksRegLiveness: true
  27 body:             |
  28   bb.0:
  29     liveins: $x0
  30     ; CHECK-LABEL: name: test_s318_xor
  31     ; CHECK: liveins: $x0
  32     ; CHECK-NEXT: {{  $}}
  33     ; CHECK-NEXT: [[DEF:%[0-9]+]]:_(s64) = G_IMPLICIT_DEF
  34     ; CHECK-NEXT: %ptr:_(p0) = COPY $x0
  35     ; CHECK-NEXT: [[XOR:%[0-9]+]]:_(s64) = G_XOR [[DEF]], [[DEF]]
  36     ; CHECK-NEXT: [[XOR1:%[0-9]+]]:_(s64) = G_XOR [[DEF]], [[DEF]]
  37     ; CHECK-NEXT: [[XOR2:%[0-9]+]]:_(s64) = G_XOR [[DEF]], [[DEF]]
  38     ; CHECK-NEXT: [[XOR3:%[0-9]+]]:_(s64) = G_XOR [[DEF]], [[DEF]]
  39     ; CHECK-NEXT: [[XOR4:%[0-9]+]]:_(s64) = G_XOR [[DEF]], [[DEF]]
  40     ; CHECK-NEXT: [[C:%[0-9]+]]:_(s64) = G_CONSTANT i64 -1
  41     ; CHECK-NEXT: [[C1:%[0-9]+]]:_(s64) = G_CONSTANT i64 4611686018427387903
  42     ; CHECK-NEXT: [[AND:%[0-9]+]]:_(s64) = G_AND [[XOR]], [[C]]
  43     ; CHECK-NEXT: [[AND1:%[0-9]+]]:_(s64) = G_AND [[XOR1]], [[C]]
  44     ; CHECK-NEXT: [[AND2:%[0-9]+]]:_(s64) = G_AND [[XOR2]], [[C]]
  45     ; CHECK-NEXT: [[AND3:%[0-9]+]]:_(s64) = G_AND [[XOR3]], [[C]]
  46     ; CHECK-NEXT: [[AND4:%[0-9]+]]:_(s64) = G_AND [[XOR4]], [[C1]]
  47     ; CHECK-NEXT: G_STORE [[AND]](s64), %ptr(p0) :: (store (s64), align 64)
  48     ; CHECK-NEXT: [[C2:%[0-9]+]]:_(s64) = G_CONSTANT i64 8
  49     ; CHECK-NEXT: [[PTR_ADD:%[0-9]+]]:_(p0) = G_PTR_ADD %ptr, [[C2]](s64)
  50     ; CHECK-NEXT: G_STORE [[AND1]](s64), [[PTR_ADD]](p0) :: (store (s64) into unknown-address + 8)
  51     ; CHECK-NEXT: [[C3:%[0-9]+]]:_(s64) = G_CONSTANT i64 16
  52     ; CHECK-NEXT: [[PTR_ADD1:%[0-9]+]]:_(p0) = G_PTR_ADD %ptr, [[C3]](s64)
  53     ; CHECK-NEXT: G_STORE [[AND2]](s64), [[PTR_ADD1]](p0) :: (store (s64) into unknown-address + 16, align 16)
  54     ; CHECK-NEXT: [[C4:%[0-9]+]]:_(s64) = G_CONSTANT i64 24
  55     ; CHECK-NEXT: [[PTR_ADD2:%[0-9]+]]:_(p0) = G_PTR_ADD %ptr, [[C4]](s64)
  56     ; CHECK-NEXT: G_STORE [[AND3]](s64), [[PTR_ADD2]](p0) :: (store (s64) into unknown-address + 24)
  57     ; CHECK-NEXT: [[C5:%[0-9]+]]:_(s64) = G_CONSTANT i64 32
  58     ; CHECK-NEXT: [[PTR_ADD3:%[0-9]+]]:_(p0) = G_PTR_ADD %ptr, [[C5]](s64)
  59     ; CHECK-NEXT: G_STORE [[AND4]](s64), [[PTR_ADD3]](p0) :: (store (s64) into unknown-address + 32, align 32)
  60     ; CHECK-NEXT: RET_ReallyLR implicit $x0
  61     %a:_(s318) = G_IMPLICIT_DEF
  62     %b:_(s318) = G_IMPLICIT_DEF
  63     %ptr:_(p0) = COPY $x0
  64     %xor:_(s318) = G_XOR %a, %b
  65     G_STORE %xor(s318), %ptr(p0) :: (store (s318))
  66     RET_ReallyLR implicit $x0
  67 ...
  68 ---
  69 name:            test_s319_xor
  70 tracksRegLiveness: true
  71 body:             |
  72   bb.0:
  73     liveins: $x0
  74     ; CHECK-LABEL: name: test_s319_xor
  75     ; CHECK: liveins: $x0
  76     ; CHECK-NEXT: {{  $}}
  77     ; CHECK-NEXT: [[DEF:%[0-9]+]]:_(s64) = G_IMPLICIT_DEF
  78     ; CHECK-NEXT: %ptr:_(p0) = COPY $x0
  79     ; CHECK-NEXT: [[XOR:%[0-9]+]]:_(s64) = G_XOR [[DEF]], [[DEF]]
  80     ; CHECK-NEXT: [[XOR1:%[0-9]+]]:_(s64) = G_XOR [[DEF]], [[DEF]]
  81     ; CHECK-NEXT: [[XOR2:%[0-9]+]]:_(s64) = G_XOR [[DEF]], [[DEF]]
  82     ; CHECK-NEXT: [[XOR3:%[0-9]+]]:_(s64) = G_XOR [[DEF]], [[DEF]]
  83     ; CHECK-NEXT: [[XOR4:%[0-9]+]]:_(s64) = G_XOR [[DEF]], [[DEF]]
  84     ; CHECK-NEXT: [[C:%[0-9]+]]:_(s64) = G_CONSTANT i64 -1
  85     ; CHECK-NEXT: [[C1:%[0-9]+]]:_(s64) = G_CONSTANT i64 9223372036854775807
  86     ; CHECK-NEXT: [[AND:%[0-9]+]]:_(s64) = G_AND [[XOR]], [[C]]
  87     ; CHECK-NEXT: [[AND1:%[0-9]+]]:_(s64) = G_AND [[XOR1]], [[C]]
  88     ; CHECK-NEXT: [[AND2:%[0-9]+]]:_(s64) = G_AND [[XOR2]], [[C]]
  89     ; CHECK-NEXT: [[AND3:%[0-9]+]]:_(s64) = G_AND [[XOR3]], [[C]]
  90     ; CHECK-NEXT: [[AND4:%[0-9]+]]:_(s64) = G_AND [[XOR4]], [[C1]]
  91     ; CHECK-NEXT: G_STORE [[AND]](s64), %ptr(p0) :: (store (s64), align 64)
  92     ; CHECK-NEXT: [[C2:%[0-9]+]]:_(s64) = G_CONSTANT i64 8
  93     ; CHECK-NEXT: [[PTR_ADD:%[0-9]+]]:_(p0) = G_PTR_ADD %ptr, [[C2]](s64)
  94     ; CHECK-NEXT: G_STORE [[AND1]](s64), [[PTR_ADD]](p0) :: (store (s64) into unknown-address + 8)
  95     ; CHECK-NEXT: [[C3:%[0-9]+]]:_(s64) = G_CONSTANT i64 16
  96     ; CHECK-NEXT: [[PTR_ADD1:%[0-9]+]]:_(p0) = G_PTR_ADD %ptr, [[C3]](s64)
  97     ; CHECK-NEXT: G_STORE [[AND2]](s64), [[PTR_ADD1]](p0) :: (store (s64) into unknown-address + 16, align 16)
  98     ; CHECK-NEXT: [[C4:%[0-9]+]]:_(s64) = G_CONSTANT i64 24
  99     ; CHECK-NEXT: [[PTR_ADD2:%[0-9]+]]:_(p0) = G_PTR_ADD %ptr, [[C4]](s64)
 100     ; CHECK-NEXT: G_STORE [[AND3]](s64), [[PTR_ADD2]](p0) :: (store (s64) into unknown-address + 24)
 101     ; CHECK-NEXT: [[C5:%[0-9]+]]:_(s64) = G_CONSTANT i64 32
 102     ; CHECK-NEXT: [[PTR_ADD3:%[0-9]+]]:_(p0) = G_PTR_ADD %ptr, [[C5]](s64)
 103     ; CHECK-NEXT: G_STORE [[AND4]](s64), [[PTR_ADD3]](p0) :: (store (s64) into unknown-address + 32, align 32)
 104     ; CHECK-NEXT: RET_ReallyLR implicit $x0
 105     %a:_(s319) = G_IMPLICIT_DEF
 106     %b:_(s319) = G_IMPLICIT_DEF
 107     %ptr:_(p0) = COPY $x0
 108     %xor:_(s319) = G_XOR %a, %b
 109     G_STORE %xor(s319), %ptr(p0) :: (store (s319))
 110     RET_ReallyLR implicit $x0
 111 ...
 112 ---
 113 name:            test_s158_xor
 114 tracksRegLiveness: true
 115 body:             |
 116   bb.0:
 117     liveins: $x0
 118     ; CHECK-LABEL: name: test_s158_xor
 119     ; CHECK: liveins: $x0
 120     ; CHECK-NEXT: {{  $}}
 121     ; CHECK-NEXT: [[DEF:%[0-9]+]]:_(s64) = G_IMPLICIT_DEF
 122     ; CHECK-NEXT: %ptr:_(p0) = COPY $x0
 123     ; CHECK-NEXT: [[XOR:%[0-9]+]]:_(s64) = G_XOR [[DEF]], [[DEF]]
 124     ; CHECK-NEXT: [[XOR1:%[0-9]+]]:_(s64) = G_XOR [[DEF]], [[DEF]]
 125     ; CHECK-NEXT: [[XOR2:%[0-9]+]]:_(s64) = G_XOR [[DEF]], [[DEF]]
 126     ; CHECK-NEXT: [[C:%[0-9]+]]:_(s64) = G_CONSTANT i64 -1
 127     ; CHECK-NEXT: [[C1:%[0-9]+]]:_(s64) = G_CONSTANT i64 1073741823
 128     ; CHECK-NEXT: [[AND:%[0-9]+]]:_(s64) = G_AND [[XOR]], [[C]]
 129     ; CHECK-NEXT: [[AND1:%[0-9]+]]:_(s64) = G_AND [[XOR1]], [[C]]
 130     ; CHECK-NEXT: [[AND2:%[0-9]+]]:_(s64) = G_AND [[XOR2]], [[C1]]
 131     ; CHECK-NEXT: [[COPY:%[0-9]+]]:_(s64) = COPY [[AND]](s64)
 132     ; CHECK-NEXT: [[COPY1:%[0-9]+]]:_(s64) = COPY [[AND1]](s64)
 133     ; CHECK-NEXT: [[EXTRACT:%[0-9]+]]:_(s32) = G_EXTRACT [[AND2]](s64), 0
 134     ; CHECK-NEXT: G_STORE [[COPY]](s64), %ptr(p0) :: (store (s64), align 32)
 135     ; CHECK-NEXT: [[C2:%[0-9]+]]:_(s64) = G_CONSTANT i64 8
 136     ; CHECK-NEXT: [[PTR_ADD:%[0-9]+]]:_(p0) = G_PTR_ADD %ptr, [[C2]](s64)
 137     ; CHECK-NEXT: G_STORE [[COPY1]](s64), [[PTR_ADD]](p0) :: (store (s64) into unknown-address + 8)
 138     ; CHECK-NEXT: [[C3:%[0-9]+]]:_(s64) = G_CONSTANT i64 16
 139     ; CHECK-NEXT: [[PTR_ADD1:%[0-9]+]]:_(p0) = G_PTR_ADD %ptr, [[C3]](s64)
 140     ; CHECK-NEXT: G_STORE [[EXTRACT]](s32), [[PTR_ADD1]](p0) :: (store (s32) into unknown-address + 16, align 16)
 141     ; CHECK-NEXT: RET_ReallyLR implicit $x0
 142     %a:_(s158) = G_IMPLICIT_DEF
 143     %b:_(s158) = G_IMPLICIT_DEF
 144     %ptr:_(p0) = COPY $x0
 145     %xor:_(s158) = G_XOR %a, %b
 146     G_STORE %xor(s158), %ptr(p0) :: (store (s158))
 147     RET_ReallyLR implicit $x0
 148
 149 ...
 150 ---
 151 name:            test_vector_xor_v16s16
 152 body:             |
 153   bb.0.entry:
 154     ; CHECK-LABEL: name: test_vector_xor_v16s16
 155     ; CHECK: [[COPY:%[0-9]+]]:_(<8 x s16>) = COPY $q0
 156     ; CHECK-NEXT: [[COPY1:%[0-9]+]]:_(<8 x s16>) = COPY $q1
 157     ; CHECK-NEXT: [[XOR:%[0-9]+]]:_(<8 x s16>) = G_XOR [[COPY]], [[COPY]]
 158     ; CHECK-NEXT: [[XOR1:%[0-9]+]]:_(<8 x s16>) = G_XOR [[COPY1]], [[COPY1]]
 159     ; CHECK-NEXT: $q0 = COPY [[XOR]](<8 x s16>)
 160     ; CHECK-NEXT: $q1 = COPY [[XOR1]](<8 x s16>)
 161     %1:_(<8 x s16>) = COPY $q0
 162     %2:_(<8 x s16>) = COPY $q1
 163     %0:_(<16 x s16>) = G_CONCAT_VECTORS %1(<8 x s16>), %2(<8 x s16>)
 164     %3:_(<16 x s16>) = G_XOR %0, %0
 165     %4:_(<8 x s16>), %5:_(<8 x s16>) = G_UNMERGE_VALUES %3(<16 x s16>)
 166     $q0 = COPY %4(<8 x s16>)
 167     $q1 = COPY %5(<8 x s16>)
 168
 169 ...
 170 ---
 171 name:            test_vector_xor_v32s8
 172 body:             |
 173   bb.0.entry:
 174     ; CHECK-LABEL: name: test_vector_xor_v32s8
 175     ; CHECK: [[COPY:%[0-9]+]]:_(<16 x s8>) = COPY $q0
 176     ; CHECK-NEXT: [[COPY1:%[0-9]+]]:_(<16 x s8>) = COPY $q1
 177     ; CHECK-NEXT: [[XOR:%[0-9]+]]:_(<16 x s8>) = G_XOR [[COPY]], [[COPY]]
 178     ; CHECK-NEXT: [[XOR1:%[0-9]+]]:_(<16 x s8>) = G_XOR [[COPY1]], [[COPY1]]
 179     ; CHECK-NEXT: $q0 = COPY [[XOR]](<16 x s8>)
 180     ; CHECK-NEXT: $q1 = COPY [[XOR1]](<16 x s8>)
 181     %0:_(<16 x s8>) = COPY $q0
 182     %1:_(<16 x s8>) = COPY $q1
 183     %2:_(<32 x s8>) = G_CONCAT_VECTORS %0, %1
 184     %3:_(<32 x s8>) = G_XOR %2, %2
 185     %7:_(<16 x s8>), %8:_(<16 x s8>) = G_UNMERGE_VALUES %3(<32 x s8>)
 186     $q0 = COPY %7(<16 x s8>)
 187     $q1 = COPY %8(<16 x s8>)
 188
 189 ...
 190 ---
 191 name:            xor_v2s1
 192 tracksRegLiveness: true
 193 body:             |
 194   bb.1:
 195     liveins: $d0, $d1, $d2, $d3
 196
 197     ; CHECK-LABEL: name: xor_v2s1
 198     ; CHECK: liveins: $d0, $d1, $d2, $d3
 199     ; CHECK-NEXT: {{  $}}
 200     ; CHECK-NEXT: [[COPY:%[0-9]+]]:_(<2 x s32>) = COPY $d0
 201     ; CHECK-NEXT: [[COPY1:%[0-9]+]]:_(<2 x s32>) = COPY $d1
 202     ; CHECK-NEXT: [[COPY2:%[0-9]+]]:_(<2 x s32>) = COPY $d2
 203     ; CHECK-NEXT: [[COPY3:%[0-9]+]]:_(<2 x s32>) = COPY $d3
 204     ; CHECK-NEXT: [[ICMP:%[0-9]+]]:_(<2 x s32>) = G_ICMP intpred(eq), [[COPY]](<2 x s32>), [[COPY1]]
 205     ; CHECK-NEXT: [[ICMP1:%[0-9]+]]:_(<2 x s32>) = G_ICMP intpred(eq), [[COPY2]](<2 x s32>), [[COPY3]]
 206     ; CHECK-NEXT: [[XOR:%[0-9]+]]:_(<2 x s32>) = G_XOR [[ICMP]], [[ICMP1]]
 207     ; CHECK-NEXT: $d0 = COPY [[XOR]](<2 x s32>)
 208     ; CHECK-NEXT: RET_ReallyLR implicit $d0
 209     %0:_(<2 x s32>) = COPY $d0
 210     %1:_(<2 x s32>) = COPY $d1
 211     %2:_(<2 x s32>) = COPY $d2
 212     %3:_(<2 x s32>) = COPY $d3
 213     %4:_(<2 x s1>) = G_ICMP intpred(eq), %0(<2 x s32>), %1
 214     %5:_(<2 x s1>) = G_ICMP intpred(eq), %2(<2 x s32>), %3
 215     %6:_(<2 x s1>) = G_XOR %4, %5
 216     %7:_(<2 x s32>) = G_ANYEXT %6
 217     $d0 = COPY %7:_(<2 x s32>)
 218     RET_ReallyLR implicit $d0
 219 ...
 220 ---
 221 name:            xor_v3s1
 222 tracksRegLiveness: true
 223 body:             |
 224   bb.1:
 225     liveins: $b0, $b1, $b2
 226
 227     ; CHECK-LABEL: name: xor_v3s1
 228     ; CHECK: liveins: $b0, $b1, $b2
 229     ; CHECK-NEXT: {{  $}}
 230     ; CHECK-NEXT: [[COPY:%[0-9]+]]:_(s8) = COPY $b0
 231     ; CHECK-NEXT: [[COPY1:%[0-9]+]]:_(s8) = COPY $b1
 232     ; CHECK-NEXT: [[COPY2:%[0-9]+]]:_(s8) = COPY $b2
 233     ; CHECK-NEXT: [[ANYEXT0:%[0-9]+]]:_(s16) = G_ANYEXT [[COPY]](s8)
 234     ; CHECK-NEXT: [[ANYEXT1:%[0-9]+]]:_(s16) = G_ANYEXT [[COPY1]](s8)
 235     ; CHECK-NEXT: [[ANYEXT2:%[0-9]+]]:_(s16) = G_ANYEXT [[COPY2]](s8)
 236     ; CHECK-NEXT: [[IMPLICIT_DEF:%[0-9]+]]:_(s16) = G_IMPLICIT_DEF
 237     ; CHECK-NEXT: [[BUILD_VECTOR:%[0-9]+]]:_(<4 x s16>) = G_BUILD_VECTOR [[ANYEXT0]](s16), [[ANYEXT1]](s16), [[ANYEXT2]](s16), [[IMPLICIT_DEF]](s16)
 238     ; CHECK-NEXT: [[XOR:%[0-9]+]]:_(<4 x s16>) = G_XOR [[BUILD_VECTOR]], [[BUILD_VECTOR]]
 239     ; CHECK-NEXT: [[VAL0:%[0-9]+]]:_(s16), [[VAL1:%[0-9]+]]:_(s16), [[VAL2:%[0-9]+]]:_(s16), [[VAL3:%[0-9]+]]:_(s16) = G_UNMERGE_VALUES [[XOR]](<4 x s16>)
 240     ; CHECK-NEXT: [[TRUNC3:%[0-9]+]]:_(s8) = G_TRUNC [[VAL0]](s16)
 241     ; CHECK-NEXT: $b0 = COPY [[TRUNC3]](s8)
 242     ; CHECK-NEXT: RET_ReallyLR implicit $b0
 243     %1:_(s8) = COPY $b0
 244     %2:_(s8) = COPY $b1
 245     %3:_(s8) = COPY $b2
 246     %4:_(<3 x s8>) = G_BUILD_VECTOR %1(s8), %2(s8), %3(s8)
 247     %0:_(<3 x s1>) = G_TRUNC %4(<3 x s8>)
 248     %5:_(<3 x s1>) = G_XOR %0, %0
 249     %7:_(<3 x s8>) = G_ANYEXT %5(<3 x s1>)
 250     %8:_(s8), %9:_(s8), %10:_(s8) = G_UNMERGE_VALUES %7(<3 x s8>)
 251     $b0 = COPY %8:_(s8)
 252     RET_ReallyLR implicit $b0
 253 ...
 254 ---
 255 name:            xor_v4s1
 256 tracksRegLiveness: true
 257 body:             |
 258   bb.1:
 259     liveins: $d0, $d1, $d2, $d3
 260
 261     ; CHECK-LABEL: name: xor_v4s1
 262     ; CHECK: liveins: $d0, $d1, $d2, $d3
 263     ; CHECK-NEXT: {{  $}}
 264     ; CHECK-NEXT: [[COPY:%[0-9]+]]:_(<4 x s16>) = COPY $d0
 265     ; CHECK-NEXT: [[COPY1:%[0-9]+]]:_(<4 x s16>) = COPY $d1
 266     ; CHECK-NEXT: [[COPY2:%[0-9]+]]:_(<4 x s16>) = COPY $d2
 267     ; CHECK-NEXT: [[COPY3:%[0-9]+]]:_(<4 x s16>) = COPY $d3
 268     ; CHECK-NEXT: [[ICMP:%[0-9]+]]:_(<4 x s16>) = G_ICMP intpred(eq), [[COPY]](<4 x s16>), [[COPY1]]
 269     ; CHECK-NEXT: [[ICMP1:%[0-9]+]]:_(<4 x s16>) = G_ICMP intpred(eq), [[COPY2]](<4 x s16>), [[COPY3]]
 270     ; CHECK-NEXT: [[XOR:%[0-9]+]]:_(<4 x s16>) = G_XOR [[ICMP]], [[ICMP1]]
 271     ; CHECK-NEXT: $d0 = COPY [[XOR]](<4 x s16>)
 272     ; CHECK-NEXT: RET_ReallyLR implicit $d0
 273     %0:_(<4 x s16>) = COPY $d0
 274     %1:_(<4 x s16>) = COPY $d1
 275     %2:_(<4 x s16>) = COPY $d2
 276     %3:_(<4 x s16>) = COPY $d3
 277     %4:_(<4 x s1>) = G_ICMP intpred(eq), %0(<4 x s16>), %1
 278     %5:_(<4 x s1>) = G_ICMP intpred(eq), %2(<4 x s16>), %3
 279     %6:_(<4 x s1>) = G_XOR %4, %5
 280     %7:_(<4 x s16>) = G_ANYEXT %6
 281     $d0 = COPY %7:_(<4 x s16>)
 282     RET_ReallyLR implicit $d0
 283 ...
 284 ---
 285 name:            xor_v8s1
 286 tracksRegLiveness: true
 287 body:             |
 288   bb.1:
 289     liveins: $d0, $d1, $d2, $d3
 290
 291     ; CHECK-LABEL: name: xor_v8s1
 292     ; CHECK: liveins: $d0, $d1, $d2, $d3
 293     ; CHECK-NEXT: {{  $}}
 294     ; CHECK-NEXT: [[COPY:%[0-9]+]]:_(<8 x s8>) = COPY $d0
 295     ; CHECK-NEXT: [[COPY1:%[0-9]+]]:_(<8 x s8>) = COPY $d1
 296     ; CHECK-NEXT: [[COPY2:%[0-9]+]]:_(<8 x s8>) = COPY $d2
 297     ; CHECK-NEXT: [[COPY3:%[0-9]+]]:_(<8 x s8>) = COPY $d3
 298     ; CHECK-NEXT: [[ICMP:%[0-9]+]]:_(<8 x s8>) = G_ICMP intpred(eq), [[COPY]](<8 x s8>), [[COPY1]]
 299     ; CHECK-NEXT: [[ICMP1:%[0-9]+]]:_(<8 x s8>) = G_ICMP intpred(eq), [[COPY2]](<8 x s8>), [[COPY3]]
 300     ; CHECK-NEXT: [[XOR:%[0-9]+]]:_(<8 x s8>) = G_XOR [[ICMP]], [[ICMP1]]
 301     ; CHECK-NEXT: $d0 = COPY [[XOR]](<8 x s8>)
 302     ; CHECK-NEXT: RET_ReallyLR implicit $d0
 303     %0:_(<8 x s8>) = COPY $d0
 304     %1:_(<8 x s8>) = COPY $d1
 305     %2:_(<8 x s8>) = COPY $d2
 306     %3:_(<8 x s8>) = COPY $d3
 307     %4:_(<8 x s1>) = G_ICMP intpred(eq), %0(<8 x s8>), %1
 308     %5:_(<8 x s1>) = G_ICMP intpred(eq), %2(<8 x s8>), %3
 309     %6:_(<8 x s1>) = G_XOR %4, %5
 310     %7:_(<8 x s8>) = G_ANYEXT %6
 311     $d0 = COPY %7:_(<8 x s8>)
 312     RET_ReallyLR implicit $d0
 313 ...
 314 ---
 315 name:            xor_v16s1
 316 tracksRegLiveness: true
 317 body:             |
 318   bb.1:
 319     liveins: $q0, $q1, $q2, $q3
 320
 321     ; CHECK-LABEL: name: xor_v16s1
 322     ; CHECK: liveins: $q0, $q1, $q2, $q3
 323     ; CHECK-NEXT: {{  $}}
 324     ; CHECK-NEXT: [[COPY:%[0-9]+]]:_(<16 x s8>) = COPY $q0
 325     ; CHECK-NEXT: [[COPY1:%[0-9]+]]:_(<16 x s8>) = COPY $q1
 326     ; CHECK-NEXT: [[COPY2:%[0-9]+]]:_(<16 x s8>) = COPY $q2
 327     ; CHECK-NEXT: [[COPY3:%[0-9]+]]:_(<16 x s8>) = COPY $q3
 328     ; CHECK-NEXT: [[ICMP:%[0-9]+]]:_(<16 x s8>) = G_ICMP intpred(eq), [[COPY]](<16 x s8>), [[COPY1]]
 329     ; CHECK-NEXT: [[ICMP1:%[0-9]+]]:_(<16 x s8>) = G_ICMP intpred(eq), [[COPY2]](<16 x s8>), [[COPY3]]
 330     ; CHECK-NEXT: [[XOR:%[0-9]+]]:_(<16 x s8>) = G_XOR [[ICMP]], [[ICMP1]]
 331     ; CHECK-NEXT: $q0 = COPY [[XOR]](<16 x s8>)
 332     ; CHECK-NEXT: RET_ReallyLR implicit $q0
 333     %0:_(<16 x s8>) = COPY $q0
 334     %1:_(<16 x s8>) = COPY $q1
 335     %2:_(<16 x s8>) = COPY $q2
 336     %3:_(<16 x s8>) = COPY $q3
 337     %4:_(<16 x s1>) = G_ICMP intpred(eq), %0(<16 x s8>), %1
 338     %5:_(<16 x s1>) = G_ICMP intpred(eq), %2(<16 x s8>), %3
 339     %6:_(<16 x s1>) = G_XOR %4, %5
 340     %7:_(<16 x s8>) = G_ANYEXT %6
 341     $q0 = COPY %7:_(<16 x s8>)
 342     RET_ReallyLR implicit $q0
 343 ...