Fixing +fround(x) in asm typer.

test/mjsunit/wasm/asm-wasm.js

 // Copyright 2015 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
 
 function EmptyTest() {
   "use asm";
   function caller() {
     empty();
@@ skipping 1356 matching lines @@
     }
 
     return {caller:caller};
   }
 
   var m = Wasm.instantiateModuleFromAsm(Module.toString());
   assertEquals(1, m.caller());
 })();
 
 
+(function TestAbsInt() {
+  function Module(stdlib) {
+    "use asm";
+    var abs = stdlib.Math.abs;
+    function func(x) {
+      x = x | 0;
+      return abs(x|0)|0;
+    }
+    return {func:func};
+  }
+  var m = Wasm.instantiateModuleFromAsm(Module.toString());
+  assertEquals(1, m.func(-1));

[titzer, 2016/03/14 09:48:39]

Can you add a couple more input values, e.g. around min int? Here and below.

[bradn, 2016/03/14 17:07:31]

Done.

Actually, at this point I think I'm going to move all the stdlib stuff out into
a separate file and do something more generic for it.
This file is getting too big.
But I'll defer that to a separate change.

+})();
+
+
+(function TestAbsFloat() {
+  function Module(stdlib) {
+    "use asm";
+    var fround = stdlib.Math.fround;
+    var abs = stdlib.Math.abs;
+    function func(x) {
+      x = fround(x);
+      x = abs(x);
+      return +x;
+    }
+    return {func:func};
+  }
+  var m = Wasm.instantiateModuleFromAsm(Module.toString());
+  assertEquals(1, m.func(-1));
+})();
+
+
+(function TestFloatAsDouble() {
+  function Module(stdlib) {
+    "use asm";
+    var fround = stdlib.Math.fround;
+    var abs = stdlib.Math.abs;
+    function func() {
+      var x = fround(1.0);
+      return +fround(x);
+    }
+    return {func:func};
+  }
+  var m = Wasm.instantiateModuleFromAsm(Module.toString());
+  assertEquals(1, m.func());
+})();
+
+
 (function TestOr() {
   function Module() {
     "use asm";
     function func() {
       var x = 1;
       var y = 2;
       return (x | y) | 0;
     }
     return {func: func};
   }
@@ skipping 194 matching lines @@
       var a = 0;
       f = 5616315000.000001;
       a = ~~f >>>0;
       return a | 0;
     }
     return { main : aaa };
   }
   var wasm = Wasm.instantiateModuleFromAsm(asmModule.toString());
   assertEquals(1321347704, wasm.main());
 })();