test/CodeGen/X86/invalid-liveness.mir

   1 # RUN: not 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.
  14 name: func
  15 registers:
  16   - { id: 0, class: gr32 }
  17 body: |
  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 ...