# checks that phi arguments are correctly
# handled in alias analysis

export
function w $f(w %cond) {
@start
        %x =l alloc4 4
        %y =l alloc4 4
        storew 0, %x
        jnz %cond, @true, @false
@true
        jmp @end
@false
        jmp @end
@end
        %ptr =l phi @true %x, @false %y
        storew 1, %ptr
        %result =w loadsw %x
        ret %result
}

# >>> driver
# extern int f(int);
# int main() {
# 	return !(f(0) == 0 && f(1) == 1);
# }
# <<<