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());
+  var values = [0, 1, -1, 0x40000000, 0x7FFFFFFF, -0x80000000];
+  for (var i = 0; i < values.length; i++) {
+    var val = values[i];
+    assertEquals(Math.abs(val) | 0, m.func(val));
+  }
+})();
+
+
+(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 fround(x);
+    }
+    return {func:func};
+  }
+  var m = Wasm.instantiateModuleFromAsm(Module.toString());
+  var values = [
+    0, -0, 1, -1, 0.9, -0.9, 1.414, 0x7F, -0x80, -0x8000, -0x80000000,
+    0x7FFF, 0x7FFFFFFF, Infinity, -Infinity, NaN
+  ];
+  for (var i = 0; i < values.length; i++) {
+    var val = values[i];
+    assertEquals(Math.fround(Math.abs(val)), m.func(val));
+  }
+})();
+
+
+(function TestAbsDouble() {
+  function Module(stdlib) {
+    "use asm";
+    var fround = stdlib.Math.fround;
+    var abs = stdlib.Math.abs;
+    function func(x) {
+      x = +x;
+      x = abs(x);
+      return +x;
+    }
+    return {func:func};
+  }
+  var m = Wasm.instantiateModuleFromAsm(Module.toString());
+  var values = [
+    0, -0, 1, -1, 0.9, -0.9, 1.414, 0x7F, -0x80, -0x8000, -0x80000000,
+    0x7FFF, 0x7FFFFFFF, Infinity, -Infinity, NaN
+  ];
+  for (var i = 0; i < values.length; i++) {
+    var val = values[i];
+    assertEquals(Math.abs(val), m.func(val));
+  }
+})();
+
+
+(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());
 })();