| # RUN: not llc -o - %s -mtriple=x86_64-- -verify-machineinstrs -run-pass=none 2>&1 | FileCheck %s | |
| --- | |
| # CHECK: Bad machine code: PHI operand is not live-out from predecessor | |
| # CHECK: - function: func0 | |
| # CHECK: - basic block: %bb.3 | |
| # CHECK: - instruction: %0:gr32 = PHI | |
| # CHECK: - operand 1: %1 | |
| # | |
| # CHECK: Bad machine code: PHI operand is not live-out from predecessor | |
| # CHECK: - function: func0 | |
| # CHECK: - basic block: %bb.3 | |
| # CHECK: - instruction: %0:gr32 = PHI | |
| # CHECK: - operand 3: %0 | |
| name: func0 | |
| tracksRegLiveness: true | |
| body: | | |
| bb.0: | |
| JE_1 %bb.1, implicit undef $eflags | |
| JMP_1 %bb.2 | |
| bb.1: | |
| %0:gr32 = IMPLICIT_DEF | |
| JMP_1 %bb.3 | |
| bb.2: | |
| %1:gr32 = IMPLICIT_DEF | |
| bb.3: | |
| %0:gr32 = PHI %1, %bb.1, %0, %bb.2 | |
| ... |