From 2f533445e47f4a0f7c94677f5fda3683a4f1fee7 Mon Sep 17 00:00:00 2001
From: nsfisis <nsfisis@gmail.com>
Date: Sun, 5 May 2024 12:26:53 +0900
Subject: fix: i64.mul

---
 src/Execution/Runtime.php | 14 +++++++++++---
 1 file changed, 11 insertions(+), 3 deletions(-)

(limited to 'src')

diff --git a/src/Execution/Runtime.php b/src/Execution/Runtime.php
index 5107c3d..d5fefdd 100644
--- a/src/Execution/Runtime.php
+++ b/src/Execution/Runtime.php
@@ -1455,11 +1455,19 @@ final class Runtime
     {
         $c2 = $this->stack->popInt();
         $c1 = $this->stack->popInt();
-        if ($c1 === (1 << 32) - 1 && $c2 === (1 << 32) + 1) {
-            $this->stack->pushValue(-1);
+        $result = bcmod(bcmul((string)$c1, (string)$c2), bcpow('2', '64'));
+        if ($result[0] === '-') {
+            // 2^63 <= -$result
+            if (bccomp(bcpow('2', '63'), bcsub('0', $result)) <= 0) {
+                $result = bcadd($result, bcpow('2', '64'));
+            }
         } else {
-            $this->stack->pushValue($c1 * $c2);
+            // 2^63-1 < $result
+            if (bccomp(bcsub(bcpow('2', '63'), '1'), $result) < 0) {
+                $result = bcsub($result, bcpow('2', '64'));
+            }
         }
+        $this->stack->pushValue((int)$result);
     }
 
     private function execInstrNumericI64Ne(Instrs\Numeric\I64Ne $instr): void
-- 
cgit v1.2.3-70-g09d2