be1a5f7551
I identified lots of asm.js tests that are actually not valid according to the spec, hence they execute in default-javascript-mode. This CL fixes most of them by adding additional type annotations. The atomic tests are totally non-spec-compliant by expecting a fourth argument, and infinite-loops-taken expects a function-type parameter, so I did not fix those. I also did not fix the regression tests. R=titzer@chromium.org, bradnelson@chromium.org BUG=v8:4203 Review-Url: https://codereview.chromium.org/2663243002 Cr-Commit-Position: refs/heads/master@{#43179}
123 lines
2.2 KiB
JavaScript
123 lines
2.2 KiB
JavaScript
// Copyright 2014 the V8 project authors. All rights reserved.
|
|
// Use of this source code is governed by a BSD-style license that can be
|
|
// found in the LICENSE file.
|
|
|
|
function Module() {
|
|
"use asm";
|
|
|
|
function if0() {
|
|
if (0) return 11;
|
|
return 12;
|
|
}
|
|
|
|
function if1() {
|
|
if (1) return 13;
|
|
return 14;
|
|
}
|
|
|
|
function if2() {
|
|
if (0) return 15;
|
|
else return 16;
|
|
return 0; // needed for validation
|
|
}
|
|
|
|
function if3() {
|
|
if (1) return 17;
|
|
else return 18;
|
|
return 0; // needed for validation
|
|
}
|
|
|
|
function if4() {
|
|
return (1 ? 19 : 20) | 0;
|
|
}
|
|
|
|
function if5() {
|
|
return (0 ? 21 : 22) | 0;
|
|
}
|
|
|
|
function if6() {
|
|
var x = 0;
|
|
x = 0 ? 23 : 24;
|
|
return x | 0;
|
|
}
|
|
|
|
function if7() {
|
|
var x = 0;
|
|
if (0) {
|
|
x = 0 ? 25 : 26;
|
|
} else {
|
|
x = 0 ? 27 : 28;
|
|
}
|
|
return x | 0;
|
|
}
|
|
|
|
function if8() {
|
|
var x = 0;
|
|
if (0) {
|
|
if (0) {
|
|
x = 0 ? 29 : 30;
|
|
} else {
|
|
x = 0 ? 31 : 32;
|
|
}
|
|
} else {
|
|
if (0) {
|
|
x = 0 ? 33 : 34;
|
|
} else {
|
|
x = 0 ? 35 : 36;
|
|
}
|
|
}
|
|
return x | 0;
|
|
}
|
|
|
|
return {if0: if0, if1: if1, if2: if2, if3: if3, if4: if4, if5: if5, if6: if6, if7: if7, if8: if8 };
|
|
}
|
|
|
|
var m = Module();
|
|
assertEquals(12, m.if0());
|
|
assertEquals(13, m.if1());
|
|
assertEquals(16, m.if2());
|
|
assertEquals(17, m.if3());
|
|
assertEquals(19, m.if4());
|
|
assertEquals(22, m.if5());
|
|
assertEquals(24, m.if6());
|
|
assertEquals(28, m.if7());
|
|
assertEquals(36, m.if8());
|
|
|
|
|
|
function Spec0(stdlib, foreign, heap) {
|
|
"use asm";
|
|
|
|
var xx = foreign.a | 0;
|
|
var yy = foreign.b | 0;
|
|
var zz = foreign.c | 0;
|
|
|
|
function f() {
|
|
var x = 0;
|
|
if (xx) {
|
|
if (yy) {
|
|
x = zz ? 29 : 30;
|
|
} else {
|
|
x = zz ? 31 : 32;
|
|
}
|
|
} else {
|
|
if (yy) {
|
|
x = zz ? 33 : 34;
|
|
} else {
|
|
x = zz ? 35 : 36;
|
|
}
|
|
}
|
|
return x | 0;
|
|
}
|
|
return {f: f};
|
|
}
|
|
var Spec = (a, b, c) => Spec0(this, {a: a, b: b, c: c});
|
|
|
|
assertEquals(36, Spec(0,0,0).f());
|
|
assertEquals(35, Spec(0,0,1).f());
|
|
assertEquals(34, Spec(0,1,0).f());
|
|
assertEquals(33, Spec(0,1,1).f());
|
|
assertEquals(32, Spec(1,0,0).f());
|
|
assertEquals(31, Spec(1,0,1).f());
|
|
assertEquals(30, Spec(1,1,0).f());
|
|
assertEquals(29, Spec(1,1,1).f());
|