| # RUN: not llc -mtriple=i686-- -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 %0 | |
| # on all paths; In this example a def for %0 is missing when jumping from | |
| # bb.0 to bb.3. | |
| # | |
| # CHECK: Use of %0 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: | |
| JG_1 %bb.2, implicit $eflags | |
| JMP_1 %bb.3 | |
| bb.2: | |
| %0 = IMPLICIT_DEF | |
| JMP_1 %bb.3 | |
| bb.3: | |
| $eax = COPY %0 | |
| RETQ $eax | |
| ... |