1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
|
# RUN: not llc -o - %s -mtriple=x86_64-- -verify-machineinstrs -run-pass=none 2>&1 | FileCheck %s
# CHECK: Bad machine code: Generic instruction is missing a virtual register type
# CHECK-NEXT: - function: first_type_of_a_type_index_missing_and_a_mismatch
# CHECK-NEXT: - basic block: %bb.0
# CHECK-NEXT: - instruction: %2:gr64 = G_ADD %0:_(s64), %1:_
# CHECK-NEXT: - operand 0: %2:gr64
# CHECK: Bad machine code: Type mismatch in generic instruction
# CHECK-NEXT: - function: first_type_of_a_type_index_missing_and_a_mismatch
# CHECK-NEXT: - basic block: %bb.0
# CHECK-NEXT: - instruction: %2:gr64 = G_ADD %0:_(s64), %1:_
# CHECK-NEXT: - operand 2: %1:_(s32)
---
name: first_type_of_a_type_index_missing_and_a_mismatch
tracksRegLiveness: true
body: |
bb.0:
liveins: $rdi, $esi
%0:_(s64) = COPY $rdi
%1:_(s32)= COPY $esi
%2:gr64 = G_ADD %0, %1
$rax = COPY %2
...
|
