From 0f3ba172193fc0d5596933da8d9113a5dab28e4a Mon Sep 17 00:00:00 2001
From: dingding <dingding5@huawei.com>
Date: Thu, 20 Jun 2024 20:48:59 +0800
Subject: [PATCH] [AOT Fuzz] Fix the Inconsistency of Machine Type between Phi
 Gate and its Input Gate

Issue: https://gitee.com/openharmony/arkcompiler_ets_runtime/issues/IA729A

Signed-off-by: dingding <dingding5@huawei.com>
Change-Id: I967d609378e9367881b1e46e97888c81353cee37
---
 ecmascript/compiler/number_speculative_retype.cpp | 1 +
 test/aottest/loop_phi/expect_output.txt           | 1 +
 test/aottest/loop_phi/loop_phi.ts                 | 2 ++
 3 files changed, 4 insertions(+)

diff --git a/ecmascript/compiler/number_speculative_retype.cpp b/ecmascript/compiler/number_speculative_retype.cpp
index 46db57a06e..3d4a3d00d0 100644
--- a/ecmascript/compiler/number_speculative_retype.cpp
+++ b/ecmascript/compiler/number_speculative_retype.cpp
@@ -325,6 +325,7 @@ GateRef NumberSpeculativeRetype::VisitGate(GateRef gate)
         case OpCode::ARRAY_FILTER:
         case OpCode::ARRAY_MAP:
         case OpCode::ARRAY_SLICE:
+        case OpCode::FINISH_ALLOCATE:
             return VisitOthers(gate);
         default:
             return Circuit::NullGate();
diff --git a/test/aottest/loop_phi/expect_output.txt b/test/aottest/loop_phi/expect_output.txt
index c68e7df0ce..633465acff 100644
--- a/test/aottest/loop_phi/expect_output.txt
+++ b/test/aottest/loop_phi/expect_output.txt
@@ -12,3 +12,4 @@
 # limitations under the License.
 
 1
+-9223372036854776000
diff --git a/test/aottest/loop_phi/loop_phi.ts b/test/aottest/loop_phi/loop_phi.ts
index faa409ddda..bf16b4a09f 100644
--- a/test/aottest/loop_phi/loop_phi.ts
+++ b/test/aottest/loop_phi/loop_phi.ts
@@ -21,3 +21,5 @@ function foo(l) {
 }
 
 print(foo({a:1, b:null}));
+
+print({} && -9223372036854775808);