wip

Author: HerrCai0907

package-lock.json

@@ -25,6 +25,7 @@
   },
   "engineStrict": true,
   "dependencies": {
+    "as-float": "^1.0.0",
     "binaryen": "116.0.0-nightly.20240114",
     "long": "^5.2.4"
   },

package.json

@@ -7,3 +7,4 @@ declare function f32_as_i32(value: f32): i32;
 declare function i32_as_f32(value: i32): f32;
 declare function f64_as_i64(value: f64): i64;
 declare function i64_as_f64(value: i64): f64;
+declare function f64_pow(value: f64, exponent: f64): f64;

src/glue/js/float.d.ts

@@ -3,6 +3,8 @@
  * @license Apache-2.0
  */
 
+import { f64_pow } from "as-float";
+
 /* eslint-disable no-undef */
 
 const F64 = new Float64Array(1);
@@ -29,3 +31,5 @@ globalThis.i64_as_f64 = function i64_as_f64(value) {
   I32[1] = i64_high(value);
   return F64[0];
 };
+
+globalThis.f64_pow = f64_pow;

src/glue/js/float.js

@@ -11,12 +11,10 @@ export function isPowerOf2(x: i32): bool {
 export function accuratePow64(x: f64, y: f64): f64 {
   if (!ASC_TARGET) { // ASC_TARGET == JS
     // Engines like V8, WebKit and SpiderMonkey uses powi fast path if exponent is integer
-    // This speculative optimization leads to loose precisions like 10 ** -5 != 1e-5 anymore.
-    // For avoid this behaviour we are forcing exponent
-    // to fractional form and compensate this afterwards.
-    if (isFinite(y) && y <= -2 && Math.trunc(y) == y) {
-      return Math.pow(x, y + 0.5) / Math.pow(x, 0.5);
-    }
+    // This speculative optimization leads to loose precisions like 10 ** -5 != 1e-5 anymore
+    // and introduces inconsistencies between different engines and versions
+    // For avoid this behavior we using bootstrap f64_pow function.
+    return f64_pow(x, y);
   }
   return Math.pow(x, y);
 }