blob: a87fd2d8b04fab5f6e951c221b1585c7295136a1 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
|
# 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);
# }
# <<<
|
