forked from OSchip/llvm-project
32 lines
710 B
Plaintext
32 lines
710 B
Plaintext
|
# RUN: not llc -march=x86 -run-pass liveintervals -o - %s 2>&1 | FileCheck %s
|
||
|
|
# REQUIRES: asserts
|
||
|
|
|
||
|
|
--- |
|
||
|
|
define void @func() { ret void }
|
||
|
|
...
|
||
|
|
---
|
||
|
|
# Liveness calculation should detect that we do not have a definition for vreg0
|
||
|
|
# on all paths; In this example a def for vreg0 is missing when jumping from
|
||
|
|
# bb.0 to bb.3.
|
||
|
|
#
|
||
|
|
# CHECK: Use of %vreg0 does not have a corresponding definition on every path
|
||
|
|
# CHECK: ERROR: Use not jointly dominated by defs.
|
||
|
|
name: func
|
||
|
|
registers:
|
||
|
|
- { id: 0, class: gr32 }
|
||
|
|
body: |
|
||
|
|
bb.0:
|
||
|
|
successors: %bb.2, %bb.3
|
||
|
|
JG_1 %bb.2, implicit %eflags
|
||
|
|
JMP_1 %bb.3
|
||
|
|
|
||
|
|
bb.2:
|
||
|
|
successors: %bb.3
|
||
|
|
%0 = IMPLICIT_DEF
|
||
|
|
JMP_1 %bb.3
|
||
|
|
|
||
|
|
bb.3:
|
||
|
|
%eax = COPY %0
|
||
|
|
RETQ %eax
|
||
|
|
...
|