relax one assert
[qbe.git] / test / alias1.ssa
bloba064facfbfd930ef7a3f81c74cece37fa6fe9258
1 export function w $main() {
2 @start
3         %a =l alloc4 4
4         %b =l alloc4 4
5         storew 4, %a
6         storew 5, %b
8 @loop
9         # %mem will be %a and %b successively,
10         # but we do not know it when processing
11         # the phi because %b goes through a cpy
12         %mem =l phi @start %a, @loop %bcpy
14         %w =w load %mem
15         %eq5 =w ceqw %w, 5
16         %bcpy =l copy %b
17         jnz %eq5, @exit, @loop
19 @exit
20         ret 0