llvm/test/MachineVerifier/test_g_assert_zext.mir

   1 # REQUIRES: aarch64-registered-target
   2 # RUN: not --crash llc -verify-machineinstrs -mtriple aarch64 -run-pass none -o /dev/null %s 2>&1 | FileCheck %s
   3
   4 name:            test
   5 body: |
   6   bb.0:
   7    liveins: $x0, $w0
   8    %0:_(s64) = COPY $x0
   9    %1:_(<4 x s16>) = COPY $x0
  10    %2:_(s32) = COPY $w0
  11
  12    ; CHECK: *** Bad machine code: G_ASSERT_ZEXT expects an immediate operand #2 ***
  13    ; CHECK: instruction: %assert_zext_1:_(s64) = G_ASSERT_ZEXT
  14    %assert_zext_1:_(s64) = G_ASSERT_ZEXT %0, %0
  15
  16    ; CHECK: *** Bad machine code: G_ASSERT_ZEXT expects an immediate operand #2 ***
  17    ; CHECK: instruction: %assert_zext_2:_(s64) = G_ASSERT_ZEXT
  18    %assert_zext_2:_(s64) = G_ASSERT_ZEXT %0, i8 8
  19
  20    ; CHECK: *** Bad machine code: Type mismatch in generic instruction ***
  21    ; CHECK: instruction: %assert_zext_3:_(<2 x s32>) = G_ASSERT_ZEXT
  22    %assert_zext_3:_(<2 x s32>) = G_ASSERT_ZEXT %0, 8
  23
  24    ; CHECK: *** Bad machine code: Type mismatch in generic instruction ***
  25    ; CHECK: instruction: %assert_zext_4:_(<2 x s32>) = G_ASSERT_ZEXT
  26    %assert_zext_4:_(<2 x s32>) = G_ASSERT_ZEXT %1, 8
  27
  28    ; CHECK: *** Bad machine code: G_ASSERT_ZEXT size must be >= 1 ***
  29    ; CHECK: instruction: %assert_zext_5:_(s64) = G_ASSERT_ZEXT
  30    %assert_zext_5:_(s64) = G_ASSERT_ZEXT %0, 0
  31
  32    ; CHECK: *** Bad machine code: G_ASSERT_ZEXT size must be less than source bit width ***
  33    ; CHECK: instruction: %assert_zext_6:_(s64) = G_ASSERT_ZEXT
  34    %assert_zext_6:_(s64) = G_ASSERT_ZEXT %0, 128
  35
  36    ; CHECK: *** Bad machine code: Type mismatch in generic instruction ***
  37    ; CHECK: instruction: %assert_zext_7:_(s64) = G_ASSERT_ZEXT %2:_, 8
  38    %assert_zext_7:_(s64) = G_ASSERT_ZEXT %2, 8
  39
  40    ; CHECK: *** Bad machine code: Generic instruction cannot have physical register ***
  41    ; CHECK: instruction: %assert_zext_8:_(s64) = G_ASSERT_ZEXT $x0, 8
  42    %assert_zext_8:_(s64) = G_ASSERT_ZEXT $x0, 8