1# RUN: llc -o - %s -mtriple=x86_64-- -verify-machineinstrs -run-pass=none | FileCheck %s
2# REQUIRES: x86-registered-target
3
4# This should cleanly pass the machine verifier
5---
6# CHECK-LABEL: name: func0
7# CHECK: %0:gr32 = PHI undef %1:gr32, %bb.0, undef %1:gr32, %bb.1
8name: func0
9tracksRegLiveness: true
10body: |
11  bb.0:
12    JCC_1 %bb.1, 4, implicit undef $eflags
13    JMP_1 %bb.2
14
15  bb.1:
16
17  bb.2:
18    %0 : gr32 = PHI undef %1 : gr32, %bb.0, undef %1 : gr32, %bb.1
19...
20---
21# CHECK-LABEL: name: func1
22# CHECK: %2:gr32 = PHI %0, %bb.0, %1, %bb.1
23name: func1
24tracksRegLiveness: true
25body: |
26  bb.0:
27    %0 : gr32 = IMPLICIT_DEF
28    JCC_1 %bb.1, 4, implicit undef $eflags
29    JMP_1 %bb.2
30
31  bb.1:
32    %1 : gr32 = IMPLICIT_DEF
33
34  bb.2:
35    %2 : gr32 = PHI %0, %bb.0, %1, %bb.1
36...
37