test/load1.ssa

   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 # <<<