xref: /llvm-project/llvm/test/MachineVerifier/verifier-phi-fail0.mir (revision 4ad76852584480b646d1ce360202e18591ea8938)
1# RUN: not --crash llc -o - %s -mtriple=x86_64-- -verify-machineinstrs -run-pass=none 2>&1 | FileCheck %s
2# REQUIRES: x86-registered-target
3
4---
5# CHECK: Bad machine code: PHI operand is not live-out from predecessor
6# CHECK: - function:    func0
7# CHECK: - basic block: %bb.3
8# CHECK: - instruction: %0:gr32 = PHI
9# CHECK: - operand 1:   %1
10#
11# CHECK: Bad machine code: PHI operand is not live-out from predecessor
12# CHECK: - function:    func0
13# CHECK: - basic block: %bb.3
14# CHECK: - instruction: %0:gr32 = PHI
15# CHECK: - operand 3:   %0
16name: func0
17tracksRegLiveness: true
18body: |
19  bb.0:
20    JCC_1 %bb.1, 4, implicit undef $eflags
21    JMP_1 %bb.2
22
23  bb.1:
24    %0:gr32 = IMPLICIT_DEF
25    JMP_1 %bb.3
26
27  bb.2:
28    %1:gr32 = IMPLICIT_DEF
29
30  bb.3:
31    %0:gr32 = PHI %1, %bb.1, %0, %bb.2
32...
33