qbe

Internal scc patchset buffer for QBE
Log | Files | Refs | README | LICENSE

_live.ssa (351B)


      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 }