_live.ssa 351 B

123456789101112131415161718192021
  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. function $test() {
  8. @start
  9. %b =w copy 0
  10. %x =w copy 10
  11. jnz 0, @loop, @left
  12. @left
  13. jmp @inloop
  14. @loop
  15. %x1 =w add %x, 1
  16. @inloop
  17. %b1 =w add %b, 1
  18. @endloop
  19. jmp @loop
  20. }