43 lines · plain
1# REQUIRES: aarch64-registered-target2# RUN: not --crash llc -verify-machineinstrs -mtriple aarch64 -run-pass none -o /dev/null %s 2>&1 | FileCheck %s3 4name: test5body: |6 bb.0:7 liveins: $x0, $w08 %0:_(s64) = COPY $x09 %1:_(<4 x s16>) = COPY $x010 %2:_(s32) = COPY $w011 12 ; CHECK: *** Bad machine code: G_ASSERT_ZEXT expects an immediate operand #2 ***13 ; CHECK: instruction: %assert_zext_1:_(s64) = G_ASSERT_ZEXT14 %assert_zext_1:_(s64) = G_ASSERT_ZEXT %0, %015 16 ; CHECK: *** Bad machine code: G_ASSERT_ZEXT expects an immediate operand #2 ***17 ; CHECK: instruction: %assert_zext_2:_(s64) = G_ASSERT_ZEXT18 %assert_zext_2:_(s64) = G_ASSERT_ZEXT %0, i8 819 20 ; CHECK: *** Bad machine code: Type mismatch in generic instruction ***21 ; CHECK: instruction: %assert_zext_3:_(<2 x s32>) = G_ASSERT_ZEXT22 %assert_zext_3:_(<2 x s32>) = G_ASSERT_ZEXT %0, 823 24 ; CHECK: *** Bad machine code: Type mismatch in generic instruction ***25 ; CHECK: instruction: %assert_zext_4:_(<2 x s32>) = G_ASSERT_ZEXT26 %assert_zext_4:_(<2 x s32>) = G_ASSERT_ZEXT %1, 827 28 ; CHECK: *** Bad machine code: G_ASSERT_ZEXT size must be >= 1 ***29 ; CHECK: instruction: %assert_zext_5:_(s64) = G_ASSERT_ZEXT30 %assert_zext_5:_(s64) = G_ASSERT_ZEXT %0, 031 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_ZEXT34 %assert_zext_6:_(s64) = G_ASSERT_ZEXT %0, 12835 36 ; CHECK: *** Bad machine code: Type mismatch in generic instruction ***37 ; CHECK: instruction: %assert_zext_7:_(s64) = G_ASSERT_ZEXT %2:_, 838 %assert_zext_7:_(s64) = G_ASSERT_ZEXT %2, 839 40 ; CHECK: *** Bad machine code: Generic instruction cannot have physical register ***41 ; CHECK: instruction: %assert_zext_8:_(s64) = G_ASSERT_ZEXT $x0, 842 %assert_zext_8:_(s64) = G_ASSERT_ZEXT $x0, 843