| # RUN: not llc -o - -run-pass=instruction-select -pass-remarks-missed=gisel %s 2>&1 | FileCheck %s |
| --- | |
| target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128" |
| target triple = "x86_64--linux-gnu" |
| |
| define void @test_check_type() { |
| ret void |
| } |
| ... |
| --- |
| name: test_check_type |
| alignment: 4 |
| legalized: true |
| regBankSelected: true |
| tracksRegLiveness: true |
| registers: |
| - { id: 0, class: gpr } |
| - { id: 1, class: gpr } |
| body: | |
| bb.1 (%ir-block.0): |
| liveins: $edi |
| |
| ; Intrinsic::x86_flags_read_u64 has a higher prority than |
| ; Intrinsic::x86_int in the match table and both of them |
| ; have two operands, but their IntrinsicID index is different. |
| ; This causes crash when executing GIM_CheckType for Intrinsic::x86_int |
| ; because Operand0 is not a register. |
| ; Make sure we check whether the first operand is a register and |
| ; reject if it's not. |
| ; CHECK: cannot select: G_INTRINSIC_W_SIDE_EFFECTS intrinsic(@llvm.x86.int) |
| %1:gpr(s32) = COPY $edi |
| %0:gpr(s8) = G_TRUNC %1(s32) |
| G_INTRINSIC_W_SIDE_EFFECTS intrinsic(@llvm.x86.int), %0(s8) |
| RET 0 |
| |
| ... |
