[wasm] asm.js - Check stdlib functions are valid.

test/mjsunit/wasm/asm-wasm-stdlib.js

 // Copyright 2016 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.
 
 // Flags: --expose-wasm
 
 var stdlib = this;
 
 (function TestStdlibConstants() {
   function Module(stdlib) {
@@ skipping 29 matching lines @@
 
     return {caller:caller, nanCheck:nanCheck};
   }
 
   var m = Wasm.instantiateModuleFromAsm(Module.toString(), stdlib);
   assertEquals(1, m.caller());
   assertTrue(isNaN(m.nanCheck()));
 })();
 
 
-(function TestBadNaNStdlib() {
+var stdlib = this;
+var stdlib_root_members = [
+  'Infinity',
+  'NaN',
+];
+var stdlib_math_members = [
+  'E',
+  'LN10',
+  'LN2',
+  'LOG2E',
+  'LOG10E',
+  'PI',
+  'SQRT1_2',
+  'SQRT2',
+  'ceil',
+  'clz32',
+  'floor',
+  'sqrt',
+  'abs',
+  'min',
+  'max',
+  'acos',
+  'asin',
+  'atan',
+  'cos',
+  'sin',
+  'tan',
+  'exp',
+  'log',
+  'atan2',
+  'pow',
+  'imul',
+  'fround',
+];
+
+
+(function TestBadStdlib() {
   function Module(stdlib) {
     "use asm";
-    var StdlibNaN = stdlib.NaN;
-    function foo() { return +StdlibNaN; }
+    var foo = stdlib.NaN;
     return {};
   }
-  assertThrows(function() {
-    Wasm.instantiateModuleFromAsm(Module.toString(), { NaN: 0 });
-  });
+  for (var i = 0; i < stdlib_root_members.length; ++i) {
+    var member = stdlib_root_members[i];
+    var stdlib = {};
+    stdlib[member] = 0;
+    print(member);
+    var code = Module.toString().replace('NaN', member);
+    assertThrows(function() {
+      Wasm.instantiateModuleFromAsm(code, stdlib);
+    });
+  }
+  for (var i = 0; i < stdlib_math_members.length; ++i) {
+    var member = stdlib_math_members[i];
+    var stdlib = {Math:{}};
+    stdlib['Math'][member] = 0;
+    print(member);
+    var code = Module.toString().replace('NaN', 'Math.' + member);
+    assertThrows(function() {
+      Wasm.instantiateModuleFromAsm(code, stdlib);
+    });
+  }
 })();
 
 
 (function TestMissingNaNStdlib() {
   function Module(stdlib) {
     "use asm";
-    var StdlibNaN = stdlib.NaN;
-    function foo() { return +StdlibNaN; }
+    var foo = stdlib.NaN;
     return {};
   }
-  assertThrows(function() {
-    Wasm.instantiateModuleFromAsm(Module.toString(), {});
-  });
+  for (var i = 0; i < stdlib_root_members.length; ++i) {
+    var member = stdlib_root_members[i];
+    var code = Module.toString().replace('NaN', member);
+    assertThrows(function() {
+      Wasm.instantiateModuleFromAsm(code, {});
+    });
+  }
+  for (var i = 0; i < stdlib_math_members.length; ++i) {
+    var member = stdlib_math_members[i];
+    var code = Module.toString().replace('NaN', 'Math.' + member);
+    assertThrows(function() {
+      Wasm.instantiateModuleFromAsm(code, {});
+    });
+  }
 })();
 
 
 (function TestStdlibFunctionsInside() {
   function Module(stdlib) {
     "use asm";
 
     var StdlibMathCeil = stdlib.Math.ceil;
     var StdlibMathClz32 = stdlib.Math.clz32;
     var StdlibMathFloor = stdlib.Math.floor;
@@ skipping 297 matching lines @@
           if (!compare(expected, actual)) {
             print(expected + ' !== ' + actual + ' for ' + name +
                   ' with input ' + val0 + ' ' + val1);
             assertTrue(false);
           }
         }
       }
     }
   }
 })();