blob: f98e02868342832b233df4a393752ea753ed8614 (
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
|
function f0(p0) {
var v0 = 0.5;
var v1 = 1.5;
var v2 = 2.5;
var v3 = 3.5;
var v4 = 4.5;
var v5 = 5.5;
var v6 = 6.5;
var v7 = 7.5;
var v8 = 8.5;
var v9 = 9.5;
var v10 = 10.5;
var v11 = 11.5;
var v12 = 12.5;
var v13 = 13.5;
var v14 = 14.5;
var v15 = 15.5;
var v16 = 16.5;
// 0.125 is used to avoid the oracle choice for int32.
while (0) {
// p0 = false;
var tmp = v0;
v0 = 0.125 + v0 + v1;
v1 = 0.125 + v1 + v2;
v2 = 0.125 + v2 + v3;
v3 = 0.125 + v3 + v4;
v4 = 0.125 + v4 + v5;
v5 = 0.125 + v5 + v6;
v6 = 0.125 + v6 + v7;
v7 = 0.125 + v7 + v8;
v8 = 0.125 + v8 + v9;
v9 = 0.125 + v9 + v10;
v10 = 0.125 + v10 + v11;
v11 = 0.125 + v11 + v12;
v12 = 0.125 + v12 + v13;
v13 = 0.125 + v13 + v14;
v14 = 0.125 + v14 + v15;
v15 = 0.125 + v15 + v16;
v16 = 0.125 + v16 + tmp;
}
return 0.5 + v0 + v1 + v2 + v3 + v4 + v5 + v6 + v7 + v8 + v9 + v10 + v11 + v12 + v13 + v14 + v15 + v16;
}
// expect 145
assertEq(f0(false), 145);
|
