llvm/test/MachineVerifier/test_g_concat_vectors.mir

   1 #RUN: not --crash llc -o - -global-isel -mtriple=aarch64 -run-pass=none -verify-machineinstrs %s 2>&1 | FileCheck %s
   2 # REQUIRES: aarch64-registered-target
   3 ---
   4 name:            g_concat_vectors
   5 legalized:       true
   6 regBankSelected: false
   7 selected:        false
   8 tracksRegLiveness: true
   9 liveins:
  10 body:             |
  11   bb.0:
  12
  13     %0:_(<2 x s32>) = IMPLICIT_DEF
  14     %1:_(<2 x s32>) = IMPLICIT_DEF
  15
  16     ; CHECK: Bad machine code: G_CONCAT_VECTOR num dest and source elements should match
  17     %2:_(<2 x s32>) = G_CONCAT_VECTORS %0, %1
  18
  19     ; CHECK: Bad machine code: G_CONCAT_VECTOR requires at least 2 source operands
  20     %3:_(<2 x s32>) = G_CONCAT_VECTORS %1
  21
  22     ; CHECK: *** Bad machine code: Explicit definition marked as use ***
  23     G_CONCAT_VECTORS %1, %1
  24
  25 ...