| Index: test/mjsunit/asm/if-reduction.js
|
| diff --git a/test/mjsunit/asm/if-reduction.js b/test/mjsunit/asm/if-reduction.js
|
| index b0dcc13842de4708b07e4194e8bce30c1a1b66f2..420d9d38ec11f803818784aef78bc0da78aa9174 100644
|
| --- a/test/mjsunit/asm/if-reduction.js
|
| +++ b/test/mjsunit/asm/if-reduction.js
|
| @@ -6,65 +6,84 @@ function Module() {
|
| "use asm";
|
|
|
| function if0() {
|
| - var x = 0 ? 11 : 12;
|
| - return (x == 11) | 0;
|
| + var x = 0;
|
| + x = 0 ? 11 : 12;
|
| + return ((x | 0) == 11) | 0;
|
| }
|
|
|
| function if1() {
|
| - var x = 1 ? 13 : 14;
|
| - return (x == 13) | 0;
|
| + var x = 0;
|
| + x = 1 ? 13 : 14;
|
| + return ((x | 0) == 13) | 0;
|
| }
|
|
|
| function if2() {
|
| - var x = 0 ? 15 : 16;
|
| - return (x != 15) | 0;
|
| + var x = 0;
|
| + x = 0 ? 15 : 16;
|
| + return ((x | 0) != 15) | 0;
|
| }
|
|
|
| function if3() {
|
| - var x = 1 ? 17 : 18;
|
| - return (x != 17) | 0;
|
| + var x = 0;
|
| + x = 1 ? 17 : 18;
|
| + return ((x | 0) != 17) | 0;
|
| }
|
|
|
| function if4() {
|
| - var x = 0 ? 19 : 20;
|
| - var y = (x == 19) ? 21 : 22;
|
| - return y;
|
| + var x = 0;
|
| + var y = 0;
|
| + x = 0 ? 19 : 20;
|
| + y = ((x | 0) == 19) ? 21 : 22;
|
| + return y | 0;
|
| }
|
|
|
| function if5() {
|
| - var x = 1 ? 23 : 24;
|
| - var y = (x == 23) ? 25 : 26;
|
| - return y;
|
| + var x = 0;
|
| + var y = 0;
|
| + x = 1 ? 23 : 24;
|
| + y = ((x | 0) == 23) ? 25 : 26;
|
| + return y | 0;
|
| }
|
|
|
| function if6() {
|
| - var x = 0 ? 27 : 28;
|
| - var y = (x == 27) ? 29 : 30;
|
| - var z = (y == 29) ? 31 : 32;
|
| - return z;
|
| + var x = 0;
|
| + var y = 0;
|
| + var z = 0;
|
| + x = 0 ? 27 : 28;
|
| + y = ((x | 0) == 27) ? 29 : 30;
|
| + z = ((y | 0) == 29) ? 31 : 32;
|
| + return z | 0;
|
| }
|
|
|
| function if7() {
|
| - var x = 1 ? 33 : 34;
|
| - var y = (x == 33) ? 35 : 36;
|
| - var z = (y == 35) ? 37 : 38;
|
| - var w = (z == 37) ? 39 : 40;
|
| - return w;
|
| + var x = 0;
|
| + var y = 0;
|
| + var z = 0;
|
| + var w = 0;
|
| + x = 1 ? 33 : 34;
|
| + y = ((x | 0) == 33) ? 35 : 36;
|
| + z = ((y | 0) == 35) ? 37 : 38;
|
| + w = ((z | 0) == 37) ? 39 : 40;
|
| + return w | 0;
|
| }
|
|
|
| function if8() {
|
| + var w = 0;
|
| + var x = 0;
|
| + var y = 0;
|
| + var z = 0;
|
| if (0) {
|
| - var x = 0 ? 43 : 44;
|
| - var y = (x == 43) ? 45 : 46;
|
| - var z = (y == 45) ? 47 : 48;
|
| - var w = (z == 47) ? 49 : 50;
|
| + x = 0 ? 43 : 44;
|
| + y = ((x | 0) == 43) ? 45 : 46;
|
| + z = ((y | 0) == 45) ? 47 : 48;
|
| + w = ((z | 0) == 47) ? 49 : 50;
|
| } else {
|
| - var x = 1 ? 53 : 54;
|
| - var y = (x == 53) ? 55 : 56;
|
| - var z = (y == 55) ? 57 : 58;
|
| - var w = (z == 57) ? 59 : 60;
|
| + x = 1 ? 53 : 54;
|
| + y = ((x | 0) == 53) ? 55 : 56;
|
| + z = ((y | 0) == 55) ? 57 : 58;
|
| + w = ((z | 0) == 57) ? 59 : 60;
|
| }
|
| - return w;
|
| + return w | 0;
|
| }
|
|
|
| return {if0: if0, if1: if1, if2: if2, if3: if3, if4: if4, if5: if5, if6: if6, if7: if7, if8: if8 };
|
| @@ -82,28 +101,33 @@ assertEquals(39, m.if7());
|
| assertEquals(59, m.if8());
|
|
|
|
|
| -function Spec(a,b) {
|
| +function Spec0(stdlib, foreign, heap) {
|
| "use asm";
|
|
|
| - var xx = a | 0;
|
| - var yy = b | 0;
|
| + var xx = foreign.a | 0;
|
| + var yy = foreign.b | 0;
|
|
|
| function f() {
|
| + var x = 0;
|
| + var y = 0;
|
| + var z = 0;
|
| + var w = 0;
|
| if (xx) {
|
| - var x = yy ? 43 : 44;
|
| - var y = (x == 43) ? 45 : 46;
|
| - var z = (y == 45) ? 47 : 48;
|
| - var w = (z == 47) ? 49 : 50;
|
| + x = yy ? 43 : 44;
|
| + y = ((x | 0) == 43) ? 45 : 46;
|
| + z = ((y | 0) == 45) ? 47 : 48;
|
| + w = ((z | 0) == 47) ? 49 : 50;
|
| } else {
|
| - var x = yy ? 53 : 54;
|
| - var y = (x == 53) ? 55 : 56;
|
| - var z = (y == 55) ? 57 : 58;
|
| - var w = (z == 57) ? 59 : 60;
|
| + x = yy ? 53 : 54;
|
| + y = ((x | 0) == 53) ? 55 : 56;
|
| + z = ((y | 0) == 55) ? 57 : 58;
|
| + w = ((z | 0) == 57) ? 59 : 60;
|
| }
|
| - return w;
|
| + return w | 0;
|
| }
|
| return {f: f};
|
| }
|
| +var Spec = (a, b, c) => Spec0(this, {a: a, b: b, c: c});
|
|
|
| assertEquals(60, Spec(0,0).f());
|
| assertEquals(59, Spec(0,1).f());
|
|
|