• Home
  • Line#
  • Scopes#
  • Navigate#
  • Raw
  • Download
1# RUN: not --crash llc -mtriple=i686-- -run-pass liveintervals -o - %s 2>&1 | FileCheck %s
2# REQUIRES: asserts
3
4--- |
5  define void @func() { ret void }
6...
7---
8# Liveness calculation should detect that we do not have a definition for %0
9# on all paths; In this example a def for %0 is missing when jumping from
10# bb.0 to bb.3.
11#
12# CHECK: Use of %0 does not have a corresponding definition on every path
13# CHECK: ERROR: Use not jointly dominated by defs.
14name: func
15registers:
16  - { id: 0, class: gr32 }
17body: |
18  bb.0:
19    JCC_1 %bb.2, 15, implicit $eflags
20    JMP_1 %bb.3
21
22  bb.2:
23    %0 = IMPLICIT_DEF
24    JMP_1 %bb.3
25
26  bb.3:
27    $eax = COPY %0
28    RETQ $eax
29...
30