test/MachineVerifier/test_g_merge_values.mir

   1 # RUN: not llc -o - -march=arm64 -run-pass=none -verify-machineinstrs %s 2>&1 | FileCheck %s
   2 # REQUIRES: aarch64-registered-target
   3 ---
   4 name:            g_merge_values
   5 tracksRegLiveness: true
   6 liveins:
   7 body:             |
   8   bb.0:
   9     %0:_(s32) = IMPLICIT_DEF
  10     %1:_(s32) = IMPLICIT_DEF
  11     %2:_(<2 x s32>) = IMPLICIT_DEF
  12     %3:_(<2 x s32>) = IMPLICIT_DEF
  13
  14     ; CHECK: Bad machine code: G_MERGE_VALUES cannot operate on vectors
  15     %4:_(<4 x s32>) = G_MERGE_VALUES %2, %3
  16
  17     ; CHECK: Bad machine code: G_MERGE_VALUES result size is inconsistent
  18     %5:_(s64) = G_MERGE_VALUES %0
  19
  20     ; CHECK: Bad machine code: G_MERGE_VALUES result size is inconsistent
  21     %6:_(s64) = G_MERGE_VALUES %0, %1, %1
  22
  23     %7:_(s16) = IMPLICIT_DEF
  24
  25     ; CHECK: Bad machine code: G_MERGE_VALUES source types do not match
  26     %8:_(s64) = G_MERGE_VALUES %0, %7
  27
  28 ...