• Home
  • Line#
  • Scopes#
  • Navigate#
  • Raw
  • Download
1# RUN: not llc -o - -run-pass=instruction-select -pass-remarks-missed=gisel %s 2>&1 | FileCheck %s
2--- |
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 void
8  }
9...
10---
11name:            test_check_type
12alignment:       4
13legalized:       true
14regBankSelected: true
15tracksRegLiveness: true
16registers:
17  - { id: 0, class: gpr }
18  - { id: 1, class: gpr }
19body:             |
20  bb.1 (%ir-block.0):
21    liveins: $edi
22
23    ; Intrinsic::x86_flags_read_u64 has a higher prority than
24    ; Intrinsic::x86_int in the match table and both of them
25    ; have two operands, but their IntrinsicID index is different.
26    ; This causes crash when executing GIM_CheckType for Intrinsic::x86_int
27    ; because Operand0 is not a register.
28    ; Make sure we check whether the first operand is a register and
29    ; reject if it's not.
30    ; CHECK: cannot select: G_INTRINSIC_W_SIDE_EFFECTS intrinsic(@llvm.x86.int)
31    %1:gpr(s32) = COPY $edi
32    %0:gpr(s8) = G_TRUNC %1(s32)
33    G_INTRINSIC_W_SIDE_EFFECTS intrinsic(@llvm.x86.int), %0(s8)
34    RET 0
35
36...
37