1.1 --- /dev/null Thu Jan 01 00:00:00 1970 +0000
1.2 +++ b/js/src/jit-test/tests/asm.js/testBasic.js Wed Dec 31 06:09:35 2014 +0100
1.3 @@ -0,0 +1,125 @@
1.4 +load(libdir + "asm.js");
1.5 +load(libdir + "asserts.js");
1.6 +
1.7 +assertAsmTypeFail(USE_ASM);
1.8 +assertAsmTypeFail(USE_ASM + 'return');
1.9 +assertAsmTypeFail(USE_ASM + 'function f() 0');
1.10 +assertAsmTypeFail(USE_ASM + 'function f(){}');
1.11 +assertAsmTypeFail(USE_ASM + 'function f(){} return 0');
1.12 +assertAsmTypeFail(USE_ASM + 'function f() 0; return 0');
1.13 +assertAsmTypeFail(USE_ASM + 'function f(){} return g');
1.14 +assertAsmTypeFail(USE_ASM + 'function f(){} function f(){} return f');
1.15 +assertAsmTypeFail(USE_ASM + 'var f=0; function f(){} return f');
1.16 +assertAsmTypeFail('glob', USE_ASM + 'var f=glob.Math.imul; function f(){} return f');
1.17 +assertAsmTypeFail('glob','foreign', USE_ASM + 'var f=foreign.foo; function f(){} return f');
1.18 +assertAsmTypeFail(USE_ASM + 'function f(){} var f=[f,f]; return f');
1.19 +assertAsmTypeFail(USE_ASM + 'function f() 0; return f');
1.20 +assertAsmTypeFail('"use strict";' + USE_ASM + 'function f() {} return f');
1.21 +assertAsmTypeFail(USE_ASM + '"use strict"; function f() {} return f');
1.22 +assertEq(asmLink(asmCompile(USE_ASM + 'function f(){} return f'))(), undefined);
1.23 +assertEq(asmLink(asmCompile(USE_ASM + 'function f(){;} return f'))(), undefined);
1.24 +assertAsmTypeFail(USE_ASM + 'function f(i,j){;} return f');
1.25 +assertEq(asmLink(asmCompile('"use asm";; function f(){};;; return f;;'))(), undefined);
1.26 +assertAsmTypeFail(USE_ASM + 'function f(x){} return f');
1.27 +assertAsmTypeFail(USE_ASM + 'function f(){return; return 1} return f');
1.28 +assertEq(asmLink(asmCompile(USE_ASM + 'function f(x){x=x|0} return f'))(42), undefined);
1.29 +assertEq(asmLink(asmCompile(USE_ASM + 'function f(x){x=x|0; return x|0} return f'))(42), 42);
1.30 +assertEq(asmLink(asmCompile(USE_ASM + 'function f(x){x=x|0; return x|0;;;} return f'))(42), 42);
1.31 +assertEq(asmLink(asmCompile(USE_ASM + 'function f(x,y){x=x|0;y=y|0; return (x+y)|0} return f'))(44, -2), 42);
1.32 +assertAsmTypeFail('a', USE_ASM + 'function a(){} return a');
1.33 +assertAsmTypeFail('a','b','c', USE_ASM + 'var c');
1.34 +assertAsmTypeFail('a','b','c', USE_ASM + 'var c=0');
1.35 +assertAsmTypeFail(USE_ASM + 'c=0;return {}');
1.36 +assertAsmTypeFail('x','x', USE_ASM + 'function a(){} return a');
1.37 +assertAsmTypeFail('x','y','x', USE_ASM + 'function a(){} return a');
1.38 +assertEq(asmLink(asmCompile('x', USE_ASM + 'function a(){} return a'))(), undefined);
1.39 +assertEq(asmLink(asmCompile('x','y', USE_ASM + 'function a(){} return a'))(), undefined);
1.40 +assertEq(asmLink(asmCompile('x','y','z', USE_ASM + 'function a(){} return a'))(), undefined);
1.41 +assertAsmTypeFail('x','y', USE_ASM + 'function y(){} return f');
1.42 +assertEq(asmLink(asmCompile('x', USE_ASM + 'function f(){} return f'), 1, 2, 3)(), undefined);
1.43 +assertEq(asmLink(asmCompile('x', USE_ASM + 'function f(){} return f'), 1)(), undefined);
1.44 +assertEq(asmLink(asmCompile('x','y', USE_ASM + 'function f(){} return f'), 1, 2)(), undefined);
1.45 +
1.46 +assertEq(asmLink(asmCompile(USE_ASM + 'function f(i) {i=i|0} return f'))(42), undefined);
1.47 +assertEq(asmLink(asmCompile(USE_ASM + 'function f() {var i=0;; var j=1;} return f'))(), undefined); // bug 877965 second part
1.48 +assertAsmTypeFail(USE_ASM + 'function f(i) {i=i|0;var i} return f');
1.49 +assertAsmTypeFail(USE_ASM + 'function f(i) {i=i|0;var i=0} return f');
1.50 +
1.51 +assertAsmTypeFail('glob', USE_ASM + 'var im=glob.imul; function f() {} return f');
1.52 +assertAsmLinkAlwaysFail(asmCompile('glob', USE_ASM + 'var im=glob.Math.imul; function f(i,j) {i=i|0;j=j|0; return im(i,j)|0} return f'), null);
1.53 +assertAsmLinkAlwaysFail(asmCompile('glob', USE_ASM + 'var im=glob.Math.imul; function f(i,j) {i=i|0;j=j|0; return im(i,j)|0} return f'), {});
1.54 +assertAsmLinkAlwaysFail(asmCompile('glob', USE_ASM + 'var im=glob.Math.imul; function f(i,j) {i=i|0;j=j|0; return im(i,j)|0} return f'), {imul:Math.imul});
1.55 +assertEq(asmLink(asmCompile('glob', USE_ASM + 'var im=glob.Math.imul; function f(i,j) {i=i|0;j=j|0; return im(i,j)|0} return f'), {Math:{imul:Math.imul}})(2,3), 6);
1.56 +assertEq(asmLink(asmCompile('glob', USE_ASM + 'var im=glob.Math.imul; function f(i,j) {i=i|0;j=j|0; return im(i,j)|0} return f'), this)(8,4), 32);
1.57 +
1.58 +assertAsmLinkAlwaysFail(asmCompile('glob','i','b', USE_ASM + 'var i32=new glob.Int32Array(b); function f(){} return f'), null, null);
1.59 +assertAsmLinkAlwaysFail(asmCompile('glob','i','b', USE_ASM + 'var i32=new glob.Int32Array(b); function f(){} return f'), this, null, null);
1.60 +assertAsmLinkAlwaysFail(asmCompile('glob','i','b', USE_ASM + 'var i32=new glob.Int32Array(b); function f(){} return f'), this, null, null);
1.61 +assertAsmLinkAlwaysFail(asmCompile('glob','i','b', USE_ASM + 'var i32=new glob.Int32Array(b); function f(){} return f'), this, null, new ArrayBuffer(1));
1.62 +assertAsmLinkFail(asmCompile('glob','i','b', USE_ASM + 'var i32=new glob.Int32Array(b); function f(){} return f'), this, null, new ArrayBuffer(100));
1.63 +assertAsmLinkFail(asmCompile('glob','i','b', USE_ASM + 'var i32=new glob.Int32Array(b); function f(){} return f'), this, null, new ArrayBuffer(4000));
1.64 +assertEq(asmLink(asmCompile('glob','i','b', USE_ASM + 'var i32=new glob.Int32Array(b); function f(){} return f'), this, null, new ArrayBuffer(4096))(), undefined);
1.65 +assertEq(asmLink(asmCompile('glob','i','b', USE_ASM + 'var i32=new glob.Int32Array(b); function f(){} return f'), this, null, new ArrayBuffer(2*4096))(), undefined);
1.66 +
1.67 +assertAsmTypeFail('glob', 'imp', 'b', USE_ASM + HEAP_IMPORTS + 'function f(i) {i=i|0; i = i32[i]|0; return i|0}; return f');
1.68 +assertAsmTypeFail('glob', 'imp', 'b', USE_ASM + HEAP_IMPORTS + 'function f(i) {i=i|0; i = i32[i>>1]|0; return i|0}; return f');
1.69 +assertAsmTypeFail('glob', 'imp', 'b', USE_ASM + HEAP_IMPORTS + 'function f(i) {i=i|0; i = i32[i>>1]|0; return i|0}; return f');
1.70 +assertAsmLinkAlwaysFail(asmCompile('glob', 'imp', 'b', USE_ASM + HEAP_IMPORTS + 'function f(i) {i=i|0; i = i32[i>>2]|0; return i|0}; return f'), this, null, new ArrayBuffer(4095));
1.71 +assertEq(asmCompile('glob', 'imp', 'b', USE_ASM + HEAP_IMPORTS + 'function f(i) {i=i|0; i = i32[i>>2]|0; return i|0}; return f')(this, null, new ArrayBuffer(4096))(), 0);
1.72 +
1.73 +var exp = asmLink(asmCompile(USE_ASM + "return {}"));
1.74 +assertEq(Object.keys(exp).length, 0);
1.75 +
1.76 +var exp = asmLink(asmCompile(USE_ASM + "function f() { return 3 } return {f:f,f:f}"));
1.77 +assertEq(exp.f(), 3);
1.78 +assertEq(Object.keys(exp).join(), 'f');
1.79 +
1.80 +assertAsmTypeFail(USE_ASM + "function f() { return 3 } return {1:f}");
1.81 +assertAsmTypeFail(USE_ASM + "function f() { return 3 } return {__proto__:f}");
1.82 +assertAsmTypeFail(USE_ASM + "function f() { return 3 } return {get x() {} }");
1.83 +
1.84 +var exp = asmLink(asmCompile(USE_ASM + 'function internal() { return ((g()|0)+2)|0 } function f() { return 1 } function g() { return 2 } function h() { return internal()|0 } return {f:f,g1:g,h1:h}'));
1.85 +assertEq(exp.f(), 1);
1.86 +assertEq(exp.g1(), 2);
1.87 +assertEq(exp.h1(), 4);
1.88 +assertEq(Object.keys(exp).join(), 'f,g1,h1');
1.89 +
1.90 +// can't test destructuring args with Function constructor
1.91 +function assertTypeFailInEval(str)
1.92 +{
1.93 + if (!isAsmJSCompilationAvailable())
1.94 + return;
1.95 +
1.96 + var caught = false;
1.97 + var oldOpts = options("werror");
1.98 + assertEq(oldOpts.indexOf("werror"), -1);
1.99 + try {
1.100 + eval(str);
1.101 + } catch (e) {
1.102 + assertEq((''+e).indexOf(ASM_TYPE_FAIL_STRING) == -1, false);
1.103 + caught = true;
1.104 + }
1.105 + assertEq(caught, true);
1.106 + options("werror");
1.107 +}
1.108 +assertTypeFailInEval('function f({}) { "use asm"; function g() {} return g }');
1.109 +assertTypeFailInEval('function f({global}) { "use asm"; function g() {} return g }');
1.110 +assertTypeFailInEval('function f(global, {imports}) { "use asm"; function g() {} return g }');
1.111 +assertTypeFailInEval('function f(g = 2) { "use asm"; function g() {} return g }');
1.112 +assertTypeFailInEval('function *f() { "use asm"; function g() {} return g }');
1.113 +assertTypeFailInEval('f => { "use asm"; function g() {} return g }');
1.114 +
1.115 +assertThrowsInstanceOf(function() { new Function(USE_ASM + 'var)') }, SyntaxError);
1.116 +assertThrowsInstanceOf(function() { new Function(USE_ASM + 'return)') }, SyntaxError);
1.117 +assertThrowsInstanceOf(function() { new Function(USE_ASM + 'var z=-2w') }, SyntaxError);
1.118 +assertThrowsInstanceOf(function() { new Function(USE_ASM + 'var z=-2w;') }, SyntaxError);
1.119 +assertThrowsInstanceOf(function() { new Function(USE_ASM + 'function') }, SyntaxError);
1.120 +assertThrowsInstanceOf(function() { new Function(USE_ASM + 'function f') }, SyntaxError);
1.121 +assertThrowsInstanceOf(function() { new Function(USE_ASM + 'function f(') }, SyntaxError);
1.122 +assertThrowsInstanceOf(function() { new Function(USE_ASM + 'function f()') }, SyntaxError);
1.123 +assertThrowsInstanceOf(function() { new Function(USE_ASM + 'function f() {') }, SyntaxError);
1.124 +assertThrowsInstanceOf(function() { new Function(USE_ASM + 'function f() {} var') }, SyntaxError);
1.125 +assertThrowsInstanceOf(function() { new Function(USE_ASM + 'function f() {} var TBL=-2w; return f') }, SyntaxError);
1.126 +assertThrowsInstanceOf(function() { new Function(USE_ASM + 'function f() {} var TBL=-2w return f') }, SyntaxError);
1.127 +assertThrowsInstanceOf(function() { new Function(USE_ASM + 'function () {}') }, SyntaxError);
1.128 +assertNoWarning(function() { parse("function f() { 'use asm'; function g() {} return g }") });
