test/MachineVerifier/test_g_concat_vectors.mir

   1 #RUN: not llc -o - -global-isel -run-pass=none -verify-machineinstrs %s 2>&1 | FileCheck %s
   2 # REQUIRES: global-isel, aarch64-registered-target
   3 --- |
   4   target datalayout = "e-m:e-i8:8:32-i16:16:32-i64:64-i128:128-n32:64-S128"
   5   target triple = "aarch64-unknown-unknown"
   6
   7   define i32 @g_concat_vectors() {
   8     ret i32 0
   9   }
  10
  11 ...
  12 ---
  13 name:            g_concat_vectors
  14 legalized:       true
  15 regBankSelected: false
  16 selected:        false
  17 tracksRegLiveness: true
  18 registers:
  19   - { id: 0, class: _, preferred-register: '' }
  20   - { id: 1, class: _, preferred-register: '' }
  21 liveins:
  22 body:             |
  23   bb.0:
  24     ; CHECK: Bad machine code: G_CONCAT_VECTOR num dest and source elements should match
  25
  26     %0(<2 x s32>) = IMPLICIT_DEF
  27     %1(<2 x s32>) = IMPLICIT_DEF
  28     %2:_(<2 x s32>) = G_CONCAT_VECTORS %0, %1
  29 ...