| # RUN: llc -o - %s -mtriple=x86_64-- -verify-machineinstrs -run-pass=none | FileCheck %s |
| # REQUIRES: x86-registered-target |
| |
| # This should cleanly pass the machine verifier |
| --- |
| # CHECK-LABEL: name: func0 |
| # CHECK: %0:gr32 = PHI undef %1:gr32, %bb.0, undef %1:gr32, %bb.1 |
| name: func0 |
| tracksRegLiveness: true |
| body: | |
| bb.0: |
| JCC_1 %bb.1, 4, implicit undef $eflags |
| JMP_1 %bb.2 |
| |
| bb.1: |
| |
| bb.2: |
| %0 : gr32 = PHI undef %1 : gr32, %bb.0, undef %1 : gr32, %bb.1 |
| ... |
| --- |
| # CHECK-LABEL: name: func1 |
| # CHECK: %2:gr32 = PHI %0, %bb.0, %1, %bb.1 |
| name: func1 |
| tracksRegLiveness: true |
| body: | |
| bb.0: |
| %0 : gr32 = IMPLICIT_DEF |
| JCC_1 %bb.1, 4, implicit undef $eflags |
| JMP_1 %bb.2 |
| |
| bb.1: |
| %1 : gr32 = IMPLICIT_DEF |
| |
| bb.2: |
| %2 : gr32 = PHI %0, %bb.0, %1, %bb.1 |
| ... |