blob: f035e8a3ee87571d2eba2839eb3670e2e0acd55e (
plain)
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
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
|
f(x16, x8) {
46: nop
45: nop
44: x36 = 0
43: nop
42: nop
41: x34 = μ(x38, x36)
nop
40: x140 = x34
39: x156 = x140 >>x 1
38: x148 = x156 * 2 + 0 (int)
37: x132 = x140 - x148
36: if (x132 !=u 0) goto 34 else goto 35
35: goto 29
34: x108 = long32signed(x34)
33: x124 = x108
32: x116 = int32[x8 + x124 * 4 + 0]
31: int32[x16 + x108 * 4 + 0] = x116
30: nop
29: nop
28: x38 = x34 + 1 (int)
27: if (x38 <s 1000) goto 2 else goto 26
26: x157 = η(((¬(x132 !=u 0) ∨ (x132 !=u 0)) ∧ ¬(x38 <s 1000)), x34)
nop
25: x28 = 0
24: nop
23: nop
22: x26 = μ(x28, x30)
nop
21: x84 = x26
20: x100 = x84 >>x 1
19: x92 = x100 * 2 + 0 (int)
18: x76 = x84 - x92
17: if (x76 ==u 0) goto 15 else goto 16
16: goto 10
15: x52 = long32signed(x26)
14: x68 = x52
13: x60 = int32[x8 + x68 * 4 + 0]
12: int32[x16 + x52 * 4 + 0] = x60
11: nop
10: nop
9: x30 = x26 + 1 (int)
8: if (x30 <s 1000) goto 4 else goto 7
7: x158 = η(((¬(x76 ==u 0) ∨ (x76 ==u 0)) ∧ ¬(x30 <s 1000)), x26)
nop
6: x44 = int32[x16 + 400]
5: return x44
4: nop
3: goto 22
2: nop
1: goto 41
}
|