File: load1.ssa

package info (click to toggle)
qbe 1.2-3
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid, trixie
  • size: 2,004 kB
  • sloc: ansic: 13,368; yacc: 843; ml: 466; sh: 379; python: 232; makefile: 100
file content (27 lines) | stat: -rw-r--r-- 473 bytes parent folder | download 
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);
# }
# <<<