Update Binaryen to latest and enable fast math by default (#1481)

Author: MaxGraey

package-lock.json

@@ -21,7 +21,7 @@
     "url": "https://github.com/AssemblyScript/assemblyscript/issues"
   },
   "dependencies": {
-    "binaryen": "97.0.0-nightly.20200929",
+    "binaryen": "97.0.0-nightly.20201006",
     "long": "^4.0.0",
     "source-map-support": "^0.5.19",
     "ts-node": "^6.2.0"

package.json

@@ -970,6 +970,8 @@ export declare function _BinaryenGetDebugInfo(): bool;
 export declare function _BinaryenSetDebugInfo(on: bool): void;
 export declare function _BinaryenGetLowMemoryUnused(): bool;
 export declare function _BinaryenSetLowMemoryUnused(on: bool): void;
+export declare function _BinaryenGetFastMath(): bool;
+export declare function _BinaryenSetFastMath(on: bool): void;
 export declare function _BinaryenGetPassArgument(key: BinaryenString): BinaryenString;
 export declare function _BinaryenSetPassArgument(key: BinaryenString, value: BinaryenString): void;
 export declare function _BinaryenClearPassArguments(): void;

src/glue/binaryen.d.ts

@@ -1386,6 +1386,14 @@ export class Module {
     binaryen._BinaryenSetLowMemoryUnused(on);
   }
 
+  getFastMath(): bool {
+    return binaryen._BinaryenGetFastMath();
+  }
+
+  setFastMath(on: bool): void {
+    binaryen._BinaryenSetFastMath(on);
+  }
+
   getPassArgument(key: string): string | null {
     var cStr = this.allocStringCached(key);
     var ptr = binaryen._BinaryenGetPassArgument(cStr);
@@ -1477,6 +1485,7 @@ export class Module {
     this.setOptimizeLevel(optimizeLevel);
     this.setShrinkLevel(shrinkLevel);
     this.setDebugInfo(debugInfo);
+    this.setFastMath(true);
     this.clearPassArguments();
 
     // Tweak inlining limits based on optimization levels

src/module.ts

@@ -238,11 +238,9 @@
     i32.add
     local.tee $4
     i32.load offset=4
-    i32.const 1
+    i32.const -2
     local.get $2
-    i32.shl
-    i32.const -1
-    i32.xor
+    i32.rotl
     i32.and
     local.set $1
     local.get $4
@@ -254,11 +252,9 @@
      local.get $0
      local.get $0
      i32.load
-     i32.const 1
+     i32.const -2
      local.get $3
-     i32.shl
-     i32.const -1
-     i32.xor
+     i32.rotl
      i32.and
      i32.store
     end

tests/compiler/do.optimized.wat

@@ -163,11 +163,9 @@
     i32.add
     local.tee $4
     i32.load offset=4
-    i32.const 1
+    i32.const -2
     local.get $2
-    i32.shl
-    i32.const -1
-    i32.xor
+    i32.rotl
     i32.and
     local.set $1
     local.get $4
@@ -179,11 +177,9 @@
      local.get $0
      local.get $0
      i32.load
-     i32.const 1
+     i32.const -2
      local.get $3
-     i32.shl
-     i32.const -1
-     i32.xor
+     i32.rotl
      i32.and
      i32.store
     end

tests/compiler/extends-baseaggregate.optimized.wat

@@ -235,11 +235,9 @@
     i32.add
     local.tee $4
     i32.load offset=4
-    i32.const 1
+    i32.const -2
     local.get $2
-    i32.shl
-    i32.const -1
-    i32.xor
+    i32.rotl
     i32.and
     local.set $1
     local.get $4
@@ -251,11 +249,9 @@
      local.get $0
      local.get $0
      i32.load
-     i32.const 1
+     i32.const -2
      local.get $3
-     i32.shl
-     i32.const -1
-     i32.xor
+     i32.rotl
      i32.and
      i32.store
     end

tests/compiler/for.optimized.wat

@@ -170,11 +170,9 @@
     i32.add
     local.tee $4
     i32.load offset=4
-    i32.const 1
+    i32.const -2
     local.get $2
-    i32.shl
-    i32.const -1
-    i32.xor
+    i32.rotl
     i32.and
     local.set $1
     local.get $4
@@ -186,11 +184,9 @@
      local.get $0
      local.get $0
      i32.load
-     i32.const 1
+     i32.const -2
      local.get $3
-     i32.shl
-     i32.const -1
-     i32.xor
+     i32.rotl
      i32.and
      i32.store
     end

tests/compiler/implicit-getter-setter.optimized.wat

@@ -155,11 +155,9 @@
     i32.add
     local.tee $4
     i32.load offset=4
-    i32.const 1
+    i32.const -2
     local.get $2
-    i32.shl
-    i32.const -1
-    i32.xor
+    i32.rotl
     i32.and
     local.set $1
     local.get $4
@@ -171,11 +169,9 @@
      local.get $0
      local.get $0
      i32.load
-     i32.const 1
+     i32.const -2
      local.get $3
-     i32.shl
-     i32.const -1
-     i32.xor
+     i32.rotl
      i32.and
      i32.store
     end

tests/compiler/issues/1095.optimized.wat

@@ -156,11 +156,9 @@
     i32.add
     local.tee $4
     i32.load offset=4
-    i32.const 1
+    i32.const -2
     local.get $2
-    i32.shl
-    i32.const -1
-    i32.xor
+    i32.rotl
     i32.and
     local.set $1
     local.get $4
@@ -172,11 +170,9 @@
      local.get $0
      local.get $0
      i32.load
-     i32.const 1
+     i32.const -2
      local.get $3
-     i32.shl
-     i32.const -1
-     i32.xor
+     i32.rotl
      i32.and
      i32.store
     end