|
1 function f0(p0) { |
|
2 var v0 = 0.5; |
|
3 var v1 = 1.5; |
|
4 var v2 = 2.5; |
|
5 var v3 = 3.5; |
|
6 var v4 = 4.5; |
|
7 var v5 = 5.5; |
|
8 var v6 = 6.5; |
|
9 var v7 = 7.5; |
|
10 var v8 = 8.5; |
|
11 var v9 = 9.5; |
|
12 var v10 = 10.5; |
|
13 var v11 = 11.5; |
|
14 var v12 = 12.5; |
|
15 var v13 = 13.5; |
|
16 var v14 = 14.5; |
|
17 var v15 = 15.5; |
|
18 var v16 = 16.5; |
|
19 // 0.125 is used to avoid the oracle choice for int32. |
|
20 while (0) { |
|
21 // p0 = false; |
|
22 var tmp = v0; |
|
23 v0 = 0.125 + v0 + v1; |
|
24 v1 = 0.125 + v1 + v2; |
|
25 v2 = 0.125 + v2 + v3; |
|
26 v3 = 0.125 + v3 + v4; |
|
27 v4 = 0.125 + v4 + v5; |
|
28 v5 = 0.125 + v5 + v6; |
|
29 v6 = 0.125 + v6 + v7; |
|
30 v7 = 0.125 + v7 + v8; |
|
31 v8 = 0.125 + v8 + v9; |
|
32 v9 = 0.125 + v9 + v10; |
|
33 v10 = 0.125 + v10 + v11; |
|
34 v11 = 0.125 + v11 + v12; |
|
35 v12 = 0.125 + v12 + v13; |
|
36 v13 = 0.125 + v13 + v14; |
|
37 v14 = 0.125 + v14 + v15; |
|
38 v15 = 0.125 + v15 + v16; |
|
39 v16 = 0.125 + v16 + tmp; |
|
40 } |
|
41 return 0.5 + v0 + v1 + v2 + v3 + v4 + v5 + v6 + v7 + v8 + v9 + v10 + v11 + v12 + v13 + v14 + v15 + v16; |
|
42 } |
|
43 |
|
44 // expect 145 |
|
45 assertEq(f0(false), 145); |
|
46 |