37 lines · plain
1# RUN: not llc -o - -run-pass=instruction-select -pass-remarks-missed=gisel %s 2>&1 | FileCheck %s2--- |3 target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"4 target triple = "x86_64--linux-gnu"5 6 define void @test_check_type() {7 ret void8 }9...10---11name: test_check_type12alignment: 1613legalized: true14regBankSelected: true15tracksRegLiveness: true16registers:17 - { id: 0, class: gpr }18 - { id: 1, class: gpr }19body: |20 bb.1 (%ir-block.0):21 liveins: $edi22 23 ; Intrinsic::x86_flags_read_u64 has a higher prority than24 ; Intrinsic::x86_int in the match table and both of them25 ; have two operands, but their IntrinsicID index is different.26 ; This causes crash when executing GIM_CheckType for Intrinsic::x86_int27 ; because Operand0 is not a register.28 ; Make sure we check whether the first operand is a register and29 ; reject if it's not.30 ; CHECK: cannot select: G_INTRINSIC_W_SIDE_EFFECTS intrinsic(@llvm.x86.int)31 %1:gpr(s32) = COPY $edi32 %0:gpr(s8) = G_TRUNC %1(s32)33 G_INTRINSIC_W_SIDE_EFFECTS intrinsic(@llvm.x86.int), %0(s8)34 RET 035 36...37