llvm/test/CodeGen/X86/invalid-liveness.mir

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