llvm/test/CodeGen/AArch64/GlobalISel/combine-insert-vec-elt.mir

   1 # NOTE: Assertions have been autogenerated by utils/update_mir_test_checks.py
   2 # RUN: llc -o - -mtriple=aarch64 -run-pass=aarch64-prelegalizer-combiner %s | FileCheck %s
   3 ---
   4 name:            test_combine_consecutive
   5 body:             |
   6   bb.1:
   7     liveins: $w0, $w1
   8
   9     ; CHECK-LABEL: name: test_combine_consecutive
  10     ; CHECK: liveins: $w0, $w1
  11     ; CHECK-NEXT: {{  $}}
  12     ; CHECK-NEXT: [[COPY:%[0-9]+]]:_(s32) = COPY $w0
  13     ; CHECK-NEXT: [[COPY1:%[0-9]+]]:_(s32) = COPY $w1
  14     ; CHECK-NEXT: [[BUILD_VECTOR:%[0-9]+]]:_(<2 x s32>) = G_BUILD_VECTOR [[COPY]](s32), [[COPY1]](s32)
  15     ; CHECK-NEXT: $x0 = COPY [[BUILD_VECTOR]](<2 x s32>)
  16     %0:_(s32) = COPY $w0
  17     %1:_(s32) = COPY $w1
  18     %2:_(<2 x s32>) = G_IMPLICIT_DEF
  19     %7:_(s32) = G_CONSTANT i32 0
  20     %8:_(s32) = G_CONSTANT i32 1
  21     %3:_(<2 x s32>) = G_INSERT_VECTOR_ELT %2, %0(s32), %7(s32)
  22     %4:_(<2 x s32>) = G_INSERT_VECTOR_ELT %3, %1(s32), %8(s32)
  23     $x0 = COPY %4
  24 ...
  25 ---
  26 name:            test_combine_diff_order
  27 body:             |
  28   bb.1:
  29     liveins: $w0, $w1
  30
  31     ; CHECK-LABEL: name: test_combine_diff_order
  32     ; CHECK: liveins: $w0, $w1
  33     ; CHECK-NEXT: {{  $}}
  34     ; CHECK-NEXT: [[COPY:%[0-9]+]]:_(s32) = COPY $w0
  35     ; CHECK-NEXT: [[COPY1:%[0-9]+]]:_(s32) = COPY $w1
  36     ; CHECK-NEXT: [[BUILD_VECTOR:%[0-9]+]]:_(<2 x s32>) = G_BUILD_VECTOR [[COPY1]](s32), [[COPY]](s32)
  37     ; CHECK-NEXT: $x0 = COPY [[BUILD_VECTOR]](<2 x s32>)
  38     %0:_(s32) = COPY $w0
  39     %1:_(s32) = COPY $w1
  40     %2:_(<2 x s32>) = G_IMPLICIT_DEF
  41     %7:_(s32) = G_CONSTANT i32 1
  42     %8:_(s32) = G_CONSTANT i32 0
  43     %3:_(<2 x s32>) = G_INSERT_VECTOR_ELT %2, %0(s32), %7(s32)
  44     %4:_(<2 x s32>) = G_INSERT_VECTOR_ELT %3, %1(s32), %8(s32)
  45     $x0 = COPY %4
  46 ...
  47 ---
  48 name:            test_combine_insert_vec_build_vec_idx_1
  49 body:             |
  50   bb.1:
  51     liveins: $w0, $w1, $w2, $w3
  52
  53     ; CHECK-LABEL: name: test_combine_insert_vec_build_vec_idx_1
  54     ; CHECK: liveins: $w0, $w1, $w2, $w3
  55     ; CHECK-NEXT: {{  $}}
  56     ; CHECK-NEXT: [[COPY:%[0-9]+]]:_(s32) = COPY $w0
  57     ; CHECK-NEXT: [[COPY1:%[0-9]+]]:_(s32) = COPY $w2
  58     ; CHECK-NEXT: [[COPY2:%[0-9]+]]:_(s32) = COPY $w3
  59     ; CHECK-NEXT: [[BUILD_VECTOR:%[0-9]+]]:_(<4 x s32>) = G_BUILD_VECTOR [[COPY]](s32), [[COPY]](s32), [[COPY1]](s32), [[COPY2]](s32)
  60     ; CHECK-NEXT: $q0 = COPY [[BUILD_VECTOR]](<4 x s32>)
  61     %0:_(s32) = COPY $w0
  62     %1:_(s32) = COPY $w1
  63     %6:_(s32) = COPY $w2
  64     %7:_(s32) = COPY $w3
  65     %2:_(<4 x s32>) = G_BUILD_VECTOR %0, %1, %6, %7
  66     %3:_(s32) = G_CONSTANT i32 1
  67     %4:_(<4 x s32>) = G_INSERT_VECTOR_ELT %2, %0(s32), %3(s32)
  68     $q0 = COPY %4
  69 ...
  70 ---
  71 name:            test_combine_insert_vec_build_vec_idx_oob
  72 body:             |
  73   bb.1:
  74     liveins: $w0, $w1, $w2, $w3
  75
  76     ; CHECK-LABEL: name: test_combine_insert_vec_build_vec_idx_oob
  77     ; CHECK: liveins: $w0, $w1, $w2, $w3
  78     ; CHECK-NEXT: {{  $}}
  79     ; CHECK-NEXT: [[DEF:%[0-9]+]]:_(<4 x s32>) = G_IMPLICIT_DEF
  80     ; CHECK-NEXT: $q0 = COPY [[DEF]](<4 x s32>)
  81     %0:_(s32) = COPY $w0
  82     %1:_(s32) = COPY $w1
  83     %6:_(s32) = COPY $w2
  84     %7:_(s32) = COPY $w3
  85     %2:_(<4 x s32>) = G_BUILD_VECTOR %0, %1, %6, %7
  86     %3:_(s32) = G_CONSTANT i32 4
  87     %4:_(<4 x s32>) = G_INSERT_VECTOR_ELT %2, %0(s32), %3(s32)
  88     $q0 = COPY %4
  89 ...
  90 ---
  91 name:            test_combine_insert_vec_build_vec_variable
  92 body:             |
  93   bb.1:
  94     liveins: $w0, $w1, $w2, $w3
  95
  96     ; CHECK-LABEL: name: test_combine_insert_vec_build_vec_variable
  97     ; CHECK: liveins: $w0, $w1, $w2, $w3
  98     ; CHECK-NEXT: {{  $}}
  99     ; CHECK-NEXT: [[COPY:%[0-9]+]]:_(s32) = COPY $w0
 100     ; CHECK-NEXT: [[COPY1:%[0-9]+]]:_(s32) = COPY $w1
 101     ; CHECK-NEXT: [[COPY2:%[0-9]+]]:_(s32) = COPY $w2
 102     ; CHECK-NEXT: [[COPY3:%[0-9]+]]:_(s32) = COPY $w3
 103     ; CHECK-NEXT: [[BUILD_VECTOR:%[0-9]+]]:_(<4 x s32>) = G_BUILD_VECTOR [[COPY]](s32), [[COPY1]](s32), [[COPY2]](s32), [[COPY3]](s32)
 104     ; CHECK-NEXT: [[IVEC:%[0-9]+]]:_(<4 x s32>) = G_INSERT_VECTOR_ELT [[BUILD_VECTOR]], [[COPY]](s32), [[COPY]](s32)
 105     ; CHECK-NEXT: $q0 = COPY [[IVEC]](<4 x s32>)
 106     %0:_(s32) = COPY $w0
 107     %1:_(s32) = COPY $w1
 108     %6:_(s32) = COPY $w2
 109     %7:_(s32) = COPY $w3
 110     %2:_(<4 x s32>) = G_BUILD_VECTOR %0, %1, %6, %7
 111     %3:_(s32) = COPY %0
 112     %4:_(<4 x s32>) = G_INSERT_VECTOR_ELT %2, %0(s32), %3(s32)
 113     $q0 = COPY %4
 114 ...
 115 ---
 116 name:            test_combine_multiple_same_idx_1
 117 body:             |
 118   bb.1:
 119     liveins: $w0, $w1
 120
 121     ; CHECK-LABEL: name: test_combine_multiple_same_idx_1
 122     ; CHECK: liveins: $w0, $w1
 123     ; CHECK-NEXT: {{  $}}
 124     ; CHECK-NEXT: [[COPY:%[0-9]+]]:_(s32) = COPY $w0
 125     ; CHECK-NEXT: [[COPY1:%[0-9]+]]:_(s32) = COPY $w1
 126     ; CHECK-NEXT: [[BUILD_VECTOR:%[0-9]+]]:_(<2 x s32>) = G_BUILD_VECTOR [[COPY]](s32), [[COPY1]](s32)
 127     ; CHECK-NEXT: $x0 = COPY [[BUILD_VECTOR]](<2 x s32>)
 128     %0:_(s32) = COPY $w0
 129     %1:_(s32) = COPY $w1
 130     %2:_(<2 x s32>) = G_IMPLICIT_DEF
 131     %7:_(s32) = G_CONSTANT i32 0
 132     %8:_(s32) = G_CONSTANT i32 1
 133     %3:_(<2 x s32>) = G_INSERT_VECTOR_ELT %2, %0(s32), %7(s32)
 134     %4:_(<2 x s32>) = G_INSERT_VECTOR_ELT %3, %1(s32), %8(s32)
 135     %5:_(<2 x s32>) = G_INSERT_VECTOR_ELT %4, %1(s32), %8(s32)
 136     $x0 = COPY %5
 137 ...
 138 ---
 139 name:            test_combine_multiple_same_idx_2
 140 body:             |
 141   bb.1:
 142     liveins: $w0, $w1
 143
 144     ; CHECK-LABEL: name: test_combine_multiple_same_idx_2
 145     ; CHECK: liveins: $w0, $w1
 146     ; CHECK-NEXT: {{  $}}
 147     ; CHECK-NEXT: [[COPY:%[0-9]+]]:_(s32) = COPY $w1
 148     ; CHECK-NEXT: [[BUILD_VECTOR:%[0-9]+]]:_(<2 x s32>) = G_BUILD_VECTOR [[COPY]](s32), [[COPY]](s32)
 149     ; CHECK-NEXT: $x0 = COPY [[BUILD_VECTOR]](<2 x s32>)
 150     %0:_(s32) = COPY $w0
 151     %1:_(s32) = COPY $w1
 152     %2:_(<2 x s32>) = G_IMPLICIT_DEF
 153     %7:_(s32) = G_CONSTANT i32 0
 154     %8:_(s32) = G_CONSTANT i32 1
 155     %3:_(<2 x s32>) = G_INSERT_VECTOR_ELT %2, %0(s32), %7(s32)
 156     %4:_(<2 x s32>) = G_INSERT_VECTOR_ELT %3, %1(s32), %7(s32)
 157     %5:_(<2 x s32>) = G_INSERT_VECTOR_ELT %4, %1(s32), %8(s32)
 158     $x0 = COPY %5
 159 ...
 160 ---
 161 name:            test_combine_missing_idx
 162 body:             |
 163   bb.1:
 164     liveins: $w0, $w1
 165
 166     ; CHECK-LABEL: name: test_combine_missing_idx
 167     ; CHECK: liveins: $w0, $w1
 168     ; CHECK-NEXT: {{  $}}
 169     ; CHECK-NEXT: [[COPY:%[0-9]+]]:_(s32) = COPY $w0
 170     ; CHECK-NEXT: [[COPY1:%[0-9]+]]:_(s32) = COPY $w1
 171     ; CHECK-NEXT: [[DEF:%[0-9]+]]:_(s32) = G_IMPLICIT_DEF
 172     ; CHECK-NEXT: [[BUILD_VECTOR:%[0-9]+]]:_(<4 x s32>) = G_BUILD_VECTOR [[COPY]](s32), [[DEF]](s32), [[COPY1]](s32), [[COPY]](s32)
 173     ; CHECK-NEXT: $q0 = COPY [[BUILD_VECTOR]](<4 x s32>)
 174     %0:_(s32) = COPY $w0
 175     %1:_(s32) = COPY $w1
 176     %2:_(<4 x s32>) = G_IMPLICIT_DEF
 177     %7:_(s32) = G_CONSTANT i32 0
 178     %8:_(s32) = G_CONSTANT i32 2
 179     %9:_(s32) = G_CONSTANT i32 3
 180     %10:_(<4 x s32>) = G_INSERT_VECTOR_ELT %2, %0(s32), %7(s32)
 181     %11:_(<4 x s32>) = G_INSERT_VECTOR_ELT %10, %1(s32), %8(s32)
 182     %12:_(<4 x s32>) = G_INSERT_VECTOR_ELT %11, %0(s32), %9(s32)
 183     $q0 = COPY %12
 184 ...
 185 ---
 186 name:            test_combine_negative_idx
 187 body:             |
 188   bb.1:
 189     liveins: $x0
 190     ; CHECK-LABEL: name: test_combine_negative_idx
 191     ; CHECK: liveins: $x0
 192     ; CHECK-NEXT: {{  $}}
 193     ; CHECK-NEXT: RET_ReallyLR
 194     %3:_(s8) = G_CONSTANT i8 127
 195     %2:_(<32 x s8>) = G_BUILD_VECTOR %3(s8), %3(s8), %3(s8), %3(s8), %3(s8), %3(s8), %3(s8), %3(s8), %3(s8), %3(s8), %3(s8), %3(s8), %3(s8), %3(s8), %3(s8), %3(s8), %3(s8), %3(s8), %3(s8), %3(s8), %3(s8), %3(s8), %3(s8), %3(s8), %3(s8), %3(s8), %3(s8), %3(s8), %3(s8), %3(s8), %3(s8), %3(s8)
 196     %4:_(s8) = G_CONSTANT i8 -128
 197     %5:_(s64) = G_CONSTANT i64 -1
 198     %0:_(p0) = COPY $x0
 199     %1:_(<32 x s8>) = G_INSERT_VECTOR_ELT %2, %4(s8), %5(s64)
 200     G_STORE %1(<32 x s8>), %0(p0) :: (store (<32 x s8>))
 201     RET_ReallyLR
 202
 203 ...