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 - -march=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: [[COPY:%[0-9]+]]:_(s32) = COPY $w0
  11     ; CHECK: [[COPY1:%[0-9]+]]:_(s32) = COPY $w1
  12     ; CHECK: [[BUILD_VECTOR:%[0-9]+]]:_(<2 x s32>) = G_BUILD_VECTOR [[COPY]](s32), [[COPY1]](s32)
  13     ; CHECK: $x0 = COPY [[BUILD_VECTOR]](<2 x s32>)
  14     %0:_(s32) = COPY $w0
  15     %1:_(s32) = COPY $w1
  16     %2:_(<2 x s32>) = G_IMPLICIT_DEF
  17     %7:_(s32) = G_CONSTANT i32 0
  18     %8:_(s32) = G_CONSTANT i32 1
  19     %3:_(<2 x s32>) = G_INSERT_VECTOR_ELT %2, %0(s32), %7(s32)
  20     %4:_(<2 x s32>) = G_INSERT_VECTOR_ELT %3, %1(s32), %8(s32)
  21     $x0 = COPY %4
  22 ...
  23 ---
  24 name:            test_combine_diff_order
  25 body:             |
  26   bb.1:
  27     liveins: $w0, $w1
  28
  29     ; CHECK-LABEL: name: test_combine_diff_order
  30     ; CHECK: [[COPY:%[0-9]+]]:_(s32) = COPY $w0
  31     ; CHECK: [[COPY1:%[0-9]+]]:_(s32) = COPY $w1
  32     ; CHECK: [[BUILD_VECTOR:%[0-9]+]]:_(<2 x s32>) = G_BUILD_VECTOR [[COPY1]](s32), [[COPY]](s32)
  33     ; CHECK: $x0 = COPY [[BUILD_VECTOR]](<2 x s32>)
  34     %0:_(s32) = COPY $w0
  35     %1:_(s32) = COPY $w1
  36     %2:_(<2 x s32>) = G_IMPLICIT_DEF
  37     %7:_(s32) = G_CONSTANT i32 1
  38     %8:_(s32) = G_CONSTANT i32 0
  39     %3:_(<2 x s32>) = G_INSERT_VECTOR_ELT %2, %0(s32), %7(s32)
  40     %4:_(<2 x s32>) = G_INSERT_VECTOR_ELT %3, %1(s32), %8(s32)
  41     $x0 = COPY %4
  42 ...
  43 ---
  44 name:            test_combine_insert_vec_build_vec_idx_1
  45 body:             |
  46   bb.1:
  47     liveins: $w0, $w1, $w2, $w3
  48
  49     ; CHECK-LABEL: name: test_combine_insert_vec_build_vec_idx_1
  50     ; CHECK: [[COPY:%[0-9]+]]:_(s32) = COPY $w0
  51     ; CHECK: [[COPY1:%[0-9]+]]:_(s32) = COPY $w2
  52     ; CHECK: [[COPY2:%[0-9]+]]:_(s32) = COPY $w3
  53     ; CHECK: [[BUILD_VECTOR:%[0-9]+]]:_(<4 x s32>) = G_BUILD_VECTOR [[COPY]](s32), [[COPY]](s32), [[COPY1]](s32), [[COPY2]](s32)
  54     ; CHECK: $q0 = COPY [[BUILD_VECTOR]](<4 x s32>)
  55     %0:_(s32) = COPY $w0
  56     %1:_(s32) = COPY $w1
  57     %6:_(s32) = COPY $w2
  58     %7:_(s32) = COPY $w3
  59     %2:_(<4 x s32>) = G_BUILD_VECTOR %0, %1, %6, %7
  60     %3:_(s32) = G_CONSTANT i32 1
  61     %4:_(<4 x s32>) = G_INSERT_VECTOR_ELT %2, %0(s32), %3(s32)
  62     $q0 = COPY %4
  63 ...
  64 ---
  65 name:            test_combine_insert_vec_build_vec_idx_oob
  66 body:             |
  67   bb.1:
  68     liveins: $w0, $w1, $w2, $w3
  69
  70     ; CHECK-LABEL: name: test_combine_insert_vec_build_vec_idx_oob
  71     ; CHECK: [[COPY:%[0-9]+]]:_(s32) = COPY $w0
  72     ; CHECK: [[COPY1:%[0-9]+]]:_(s32) = COPY $w1
  73     ; CHECK: [[COPY2:%[0-9]+]]:_(s32) = COPY $w2
  74     ; CHECK: [[COPY3:%[0-9]+]]:_(s32) = COPY $w3
  75     ; CHECK: [[BUILD_VECTOR:%[0-9]+]]:_(<4 x s32>) = G_BUILD_VECTOR [[COPY]](s32), [[COPY1]](s32), [[COPY2]](s32), [[COPY3]](s32)
  76     ; CHECK: [[C:%[0-9]+]]:_(s32) = G_CONSTANT i32 4
  77     ; CHECK: [[IVEC:%[0-9]+]]:_(<4 x s32>) = G_INSERT_VECTOR_ELT [[BUILD_VECTOR]], [[COPY]](s32), [[C]](s32)
  78     ; CHECK: $q0 = COPY [[IVEC]](<4 x s32>)
  79     %0:_(s32) = COPY $w0
  80     %1:_(s32) = COPY $w1
  81     %6:_(s32) = COPY $w2
  82     %7:_(s32) = COPY $w3
  83     %2:_(<4 x s32>) = G_BUILD_VECTOR %0, %1, %6, %7
  84     %3:_(s32) = G_CONSTANT i32 4
  85     %4:_(<4 x s32>) = G_INSERT_VECTOR_ELT %2, %0(s32), %3(s32)
  86     $q0 = COPY %4
  87 ...
  88 ---
  89 name:            test_combine_insert_vec_build_vec_variable
  90 body:             |
  91   bb.1:
  92     liveins: $w0, $w1, $w2, $w3
  93
  94     ; CHECK-LABEL: name: test_combine_insert_vec_build_vec_variable
  95     ; CHECK: [[COPY:%[0-9]+]]:_(s32) = COPY $w0
  96     ; CHECK: [[COPY1:%[0-9]+]]:_(s32) = COPY $w1
  97     ; CHECK: [[COPY2:%[0-9]+]]:_(s32) = COPY $w2
  98     ; CHECK: [[COPY3:%[0-9]+]]:_(s32) = COPY $w3
  99     ; CHECK: [[BUILD_VECTOR:%[0-9]+]]:_(<4 x s32>) = G_BUILD_VECTOR [[COPY]](s32), [[COPY1]](s32), [[COPY2]](s32), [[COPY3]](s32)
 100     ; CHECK: [[IVEC:%[0-9]+]]:_(<4 x s32>) = G_INSERT_VECTOR_ELT [[BUILD_VECTOR]], [[COPY]](s32), [[COPY]](s32)
 101     ; CHECK: $q0 = COPY [[IVEC]](<4 x s32>)
 102     %0:_(s32) = COPY $w0
 103     %1:_(s32) = COPY $w1
 104     %6:_(s32) = COPY $w2
 105     %7:_(s32) = COPY $w3
 106     %2:_(<4 x s32>) = G_BUILD_VECTOR %0, %1, %6, %7
 107     %3:_(s32) = COPY %0
 108     %4:_(<4 x s32>) = G_INSERT_VECTOR_ELT %2, %0(s32), %3(s32)
 109     $q0 = COPY %4
 110 ...
 111 ---
 112 name:            test_combine_multiple_same_idx_1
 113 body:             |
 114   bb.1:
 115     liveins: $w0, $w1
 116
 117     ; CHECK-LABEL: name: test_combine_multiple_same_idx_1
 118     ; CHECK: [[COPY:%[0-9]+]]:_(s32) = COPY $w0
 119     ; CHECK: [[COPY1:%[0-9]+]]:_(s32) = COPY $w1
 120     ; CHECK: [[BUILD_VECTOR:%[0-9]+]]:_(<2 x s32>) = G_BUILD_VECTOR [[COPY]](s32), [[COPY1]](s32)
 121     ; CHECK: $x0 = COPY [[BUILD_VECTOR]](<2 x s32>)
 122     %0:_(s32) = COPY $w0
 123     %1:_(s32) = COPY $w1
 124     %2:_(<2 x s32>) = G_IMPLICIT_DEF
 125     %7:_(s32) = G_CONSTANT i32 0
 126     %8:_(s32) = G_CONSTANT i32 1
 127     %3:_(<2 x s32>) = G_INSERT_VECTOR_ELT %2, %0(s32), %7(s32)
 128     %4:_(<2 x s32>) = G_INSERT_VECTOR_ELT %3, %1(s32), %8(s32)
 129     %5:_(<2 x s32>) = G_INSERT_VECTOR_ELT %4, %1(s32), %8(s32)
 130     $x0 = COPY %5
 131 ...
 132 ---
 133 name:            test_combine_multiple_same_idx_2
 134 body:             |
 135   bb.1:
 136     liveins: $w0, $w1
 137
 138     ; CHECK-LABEL: name: test_combine_multiple_same_idx_2
 139     ; CHECK: [[COPY:%[0-9]+]]:_(s32) = COPY $w1
 140     ; CHECK: [[BUILD_VECTOR:%[0-9]+]]:_(<2 x s32>) = G_BUILD_VECTOR [[COPY]](s32), [[COPY]](s32)
 141     ; CHECK: $x0 = COPY [[BUILD_VECTOR]](<2 x s32>)
 142     %0:_(s32) = COPY $w0
 143     %1:_(s32) = COPY $w1
 144     %2:_(<2 x s32>) = G_IMPLICIT_DEF
 145     %7:_(s32) = G_CONSTANT i32 0
 146     %8:_(s32) = G_CONSTANT i32 1
 147     %3:_(<2 x s32>) = G_INSERT_VECTOR_ELT %2, %0(s32), %7(s32)
 148     %4:_(<2 x s32>) = G_INSERT_VECTOR_ELT %3, %1(s32), %7(s32)
 149     %5:_(<2 x s32>) = G_INSERT_VECTOR_ELT %4, %1(s32), %8(s32)
 150     $x0 = COPY %5
 151 ...
 152 ---
 153 name:            test_combine_missing_idx
 154 body:             |
 155   bb.1:
 156     liveins: $w0, $w1
 157
 158     ; CHECK-LABEL: name: test_combine_missing_idx
 159     ; CHECK: [[COPY:%[0-9]+]]:_(s32) = COPY $w0
 160     ; CHECK: [[COPY1:%[0-9]+]]:_(s32) = COPY $w1
 161     ; CHECK: [[DEF:%[0-9]+]]:_(s32) = G_IMPLICIT_DEF
 162     ; CHECK: [[BUILD_VECTOR:%[0-9]+]]:_(<4 x s32>) = G_BUILD_VECTOR [[COPY]](s32), [[DEF]](s32), [[COPY1]](s32), [[COPY]](s32)
 163     ; CHECK: $q0 = COPY [[BUILD_VECTOR]](<4 x s32>)
 164     %0:_(s32) = COPY $w0
 165     %1:_(s32) = COPY $w1
 166     %2:_(<4 x s32>) = G_IMPLICIT_DEF
 167     %7:_(s32) = G_CONSTANT i32 0
 168     %8:_(s32) = G_CONSTANT i32 2
 169     %9:_(s32) = G_CONSTANT i32 3
 170     %10:_(<4 x s32>) = G_INSERT_VECTOR_ELT %2, %0(s32), %7(s32)
 171     %11:_(<4 x s32>) = G_INSERT_VECTOR_ELT %10, %1(s32), %8(s32)
 172     %12:_(<4 x s32>) = G_INSERT_VECTOR_ELT %11, %0(s32), %9(s32)
 173     $q0 = COPY %12
 174 ...