blob: 4b789b8961b246df450c9be18fcdf04e01116dc6 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
f(x8) {
10: nop
9: nop
8: x20 = 5
7: if (x8 ==s 21) goto 5 else goto 6
6: goto 3
5: x22 = 20
4: nop
3: x18 = γ((¬(x8 ==s 21),x20),((x8 ==s 21),x22))
nop
2: x28 = x18
1: return x28
}
|