llvm/test/MachineVerifier/test_g_extract_subvector.mir

   1 # RUN: not --crash llc -o - -run-pass=none -verify-machineinstrs -mtriple=arm64 %s 2>&1 | FileCheck %s
   2 # REQUIRES: aarch64-registered-target
   3 ---
   4 name:            g_extract_subvector
   5 tracksRegLiveness: true
   6 liveins:
   7 body:             |
   8   bb.0:
   9     %0:_(s32) = G_CONSTANT i32 0
  10     %1:_(<vscale x 2 x s32>) = G_IMPLICIT_DEF
  11     %2:_(<vscale x 1 x s32>) = G_IMPLICIT_DEF
  12
  13     ; CHECK: G_EXTRACT_SUBVECTOR first source must be a register
  14     %3:_(<vscale x 2 x s32>) = G_EXTRACT_SUBVECTOR 1, 0
  15
  16     ; CHECK: G_EXTRACT_SUBVECTOR index must be an immediate
  17     %4:_(<vscale x 1 x s32>) = G_EXTRACT_SUBVECTOR %2, %0
  18
  19     ; CHECK: Destination type must be a vector
  20     %5:_(s32) = G_EXTRACT_SUBVECTOR %2, 0
  21
  22     ; CHECK: First source must be a vector
  23     %6:_(<vscale x 2 x s32>) = G_EXTRACT_SUBVECTOR %0, 0
  24
  25     %7:_(<vscale x 1 x s16>) = G_IMPLICIT_DEF
  26
  27     ; CHECK: Element type of vectors must be the same
  28     %8:_(<vscale x 2 x s32>) = G_EXTRACT_SUBVECTOR %7, 0
  29
  30     ; CHECK: Index must be a multiple of the source vector's minimum vector length
  31     %9:_(<vscale x 4 x s32>) = G_EXTRACT_SUBVECTOR  %1, 3
  32 ...