test/_live.ssa

   1 # this control flow graph is irreducible
   2 # yet, we expecet the liveness analysis
   3 # to work properly and make %x live in
   4 # the block @left
   5 #
   6 # nothing should ever be live at the entry
   7
   8 function $test() {
   9 @start
  10         %b =w copy 0
  11         %x =w copy 10
  12         jnz 0, @loop, @left
  13 @left
  14         jmp @inloop
  15 @loop
  16         %x1 =w add %x, 1
  17 @inloop
  18         %b1 =w add %b, 1
  19 @endloop
  20         jmp @loop
  21 }