qbe

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

load1.ssa (473B)

      1 # checks that phi arguments are correctly
      2 # handled in alias analysis
      3 
      4 export
      5 function w $f(w %cond) {
      6 @start
      7         %x =l alloc4 4
      8         %y =l alloc4 4
      9         storew 0, %x
     10         jnz %cond, @true, @false
     11 @true
     12         jmp @end
     13 @false
     14         jmp @end
     15 @end
     16         %ptr =l phi @true %x, @false %y
     17         storew 1, %ptr
     18         %result =w loadsw %x
     19         ret %result
     20 }
     21 
     22 # >>> driver
     23 # extern int f(int);
     24 # int main() {
     25 # 	return !(f(0) == 0 && f(1) == 1);
     26 # }
     27 # <<<