mirror of
https://github.com/RPCS3/llvm-mirror.git
synced 2024-10-19 11:02:59 +02:00
3880641c3c
The Verifier is separate from the MachineVerifier, so move it to a different directory. Some other verifier tests were scattered in target codegen tests as well (although I'm sure I missed some). Work towards using a more consistent naming scheme to make it clearer where the gaps still are for generic instructions. llvm-svn: 354138
33 lines
780 B
YAML
33 lines
780 B
YAML
# RUN: not llc -o - %s -mtriple=x86_64-- -verify-machineinstrs -run-pass=none 2>&1 | FileCheck %s
|
|
# REQUIRES: x86-registered-target
|
|
|
|
---
|
|
# 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
|
|
...
|