test/MachineVerifier/test_g_build_vector.mir

   1 # RUN: not llc -o - -march=arm64 -global-isel -run-pass=none -verify-machineinstrs %s 2>&1 | FileCheck %s
   2 # REQUIRES: aarch64-registered-target
   3 ---
   4 name:            g_build_vector
   5 tracksRegLiveness: true
   6 liveins:
   7 body:             |
   8   bb.0:
   9     %0:_(s32) = IMPLICIT_DEF
  10
  11     ; CHECK: Bad machine code: G_BUILD_VECTOR must produce a vector from scalar operands
  12     %1:_(s32) = G_BUILD_VECTOR %0
  13
  14     %2:_(<2 x s32>) = IMPLICIT_DEF
  15
  16     ; CHECK: Bad machine code: G_BUILD_VECTOR must produce a vector from scalar operands
  17     %3:_(<2 x s32>) = G_BUILD_VECTOR %2
  18
  19     ; CHECK: Bad machine code: G_BUILD_VECTOR must have an operand for each elemement
  20     %4:_(<2 x s32>) = G_BUILD_VECTOR %0, %0, %0, %0
  21
  22     ; CHECK: Bad machine code: G_BUILD_VECTOR result element type must match source type
  23     ; CHECK: Bad machine code: G_BUILD_VECTOR must have an operand for each elemement
  24     %5:_(<4 x s16>) = G_BUILD_VECTOR %0, %0
  25
  26     %6:_(s16) = IMPLICIT_DEF
  27
  28     ; CHECK: Bad machine code: G_BUILD_VECTOR result element type must match source type
  29     ; CHECK: Bad machine code: G_BUILD_VECTOR must have an operand for each elemement
  30     %7:_(<2 x s32>) = G_BUILD_VECTOR %6, %6, %6, %6
  31
  32     %8:_(p0) = IMPLICIT_DEF
  33
  34     ; CHECK: Bad machine code: G_BUILD_VECTOR result element type must match source type
  35     %9:_(<2 x s64>) = G_BUILD_VECTOR %8, %8
  36
  37     %10:_(s64) = IMPLICIT_DEF
  38
  39     ; CHECK: Bad machine code: G_BUILD_VECTOR result element type must match source type
  40     %11:_(<2 x p0>) = G_BUILD_VECTOR %10, %10
  41 ...