1 /**
2 * Copyright (c) 2024 Huawei Device Co., Ltd.
3 * Licensed under the Apache License, Version 2.0 (the "License");
4 * you may not use this file except in compliance with the License.
5 * You may obtain a copy of the License at
6 *
7 * http://www.apache.org/licenses/LICENSE-2.0
8 *
9 * Unless required by applicable law or agreed to in writing, software
10 * distributed under the License is distributed on an "AS IS" BASIS,
11 * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
12 * See the License for the specific language governing permissions and
13 * limitations under the License.
14 */
15
16 #include "libabckit/include/c/metadata_core.h"
17 #include "libabckit/include/c/ir_core.h"
18 #include "libabckit/include/c/isa/isa_dynamic.h"
19 #include "libabckit/include/c/abckit.h"
20
21 #include "../arithmetic/helpers_arithmetic.h"
22 #include "helpers/helpers.h"
23 #include "helpers/helpers_runtime.h"
24
25 #include <gtest/gtest.h>
26
27 // NOLINTBEGIN(readability-magic-numbers)
28 namespace libabckit::test {
29
30 static auto g_impl = AbckitGetApiImpl(ABCKIT_VERSION_RELEASE_1_0_0);
31 static auto g_implI = AbckitGetInspectApiImpl(ABCKIT_VERSION_RELEASE_1_0_0);
32 static auto g_implM = AbckitGetModifyApiImpl(ABCKIT_VERSION_RELEASE_1_0_0);
33 static auto g_implG = AbckitGetGraphApiImpl(ABCKIT_VERSION_RELEASE_1_0_0);
34 static auto g_dynG = AbckitGetIsaApiDynamicImpl(ABCKIT_VERSION_RELEASE_1_0_0);
35
36 class LibAbcKitCreateDynInstanceofInstTest : public ::testing::Test {};
37
38 // Test: test-kind=api, api=IsaApiDynamicImpl::iCreateInstanceof, abc-kind=ArkTS1, category=positive, extension=c
TEST_F(LibAbcKitCreateDynInstanceofInstTest,CreateDynInstanceofValid)39 TEST_F(LibAbcKitCreateDynInstanceofInstTest, CreateDynInstanceofValid)
40 {
41 auto output = helpers::ExecuteDynamicAbc(ABCKIT_ABC_DIR "ut/isa/isa_dynamic/instanceof/instanceof_dynamic.abc",
42 "instanceof_dynamic");
43 EXPECT_TRUE(helpers::Match(output, "10\n10\n"));
44
45 helpers::TransformMethod(
46 ABCKIT_ABC_DIR "ut/isa/isa_dynamic/instanceof/instanceof_dynamic.abc",
47 ABCKIT_ABC_DIR "ut/isa/isa_dynamic/instanceof/instanceof_dynamic_modified.abc", "foo",
48 [](AbckitFile * /*file*/, AbckitCoreFunction * /*method*/, AbckitGraph *graph) {
49 helpers::arithmetic::TransformIrBinInstrValid(graph, g_dynG->iCreateInstanceof, 4, 3);
50 ASSERT_EQ(g_impl->getLastError(), ABCKIT_STATUS_NO_ERROR);
51 },
52 [&](AbckitGraph *graph) {
53 std::vector<helpers::BBSchema<AbckitIsaApiDynamicOpcode>> bbSchemas(
54 {{{},
55 {1},
56 {
57 {14, ABCKIT_ISA_API_DYNAMIC_OPCODE_PARAMETER, {}},
58 {15, ABCKIT_ISA_API_DYNAMIC_OPCODE_PARAMETER, {}},
59 {16, ABCKIT_ISA_API_DYNAMIC_OPCODE_PARAMETER, {}},
60 {0, ABCKIT_ISA_API_DYNAMIC_OPCODE_PARAMETER, {}},
61 {1, ABCKIT_ISA_API_DYNAMIC_OPCODE_PARAMETER, {}},
62 {2, ABCKIT_ISA_API_DYNAMIC_OPCODE_CONSTANT, {}},
63 {3, ABCKIT_ISA_API_DYNAMIC_OPCODE_CONSTANT, {}},
64 }},
65 {{0},
66 {3, 2},
67 {{4, ABCKIT_ISA_API_DYNAMIC_OPCODE_LDLEXVAR, {}},
68 {5, ABCKIT_ISA_API_DYNAMIC_OPCODE_THROW_UNDEFINEDIFHOLEWITHNAME, {4}},
69 {6, ABCKIT_ISA_API_DYNAMIC_OPCODE_EQ, {4, 1}},
70 {7, ABCKIT_ISA_API_DYNAMIC_OPCODE_IF, {6, 2}}}},
71 {{1},
72 {3},
73 {{8, ABCKIT_ISA_API_DYNAMIC_OPCODE_TRYLDGLOBALBYNAME, {}},
74 {9, ABCKIT_ISA_API_DYNAMIC_OPCODE_CALLARG1, {8, 0}},
75 {10, ABCKIT_ISA_API_DYNAMIC_OPCODE_TRYLDGLOBALBYNAME, {}},
76 {11, ABCKIT_ISA_API_DYNAMIC_OPCODE_CALLARG1, {10, 3}}}},
77 {{1, 2},
78 {4},
79 {{12, ABCKIT_ISA_API_DYNAMIC_OPCODE_INSTANCEOF, {1, 0}},
80 {13, ABCKIT_ISA_API_DYNAMIC_OPCODE_RETURN, {12}}}},
81 {{3}, {}, {}}});
82 helpers::VerifyGraph(graph, bbSchemas);
83 });
84
85 output = helpers::ExecuteDynamicAbc(ABCKIT_ABC_DIR "ut/isa/isa_dynamic/instanceof/instanceof_dynamic_modified.abc",
86 "instanceof_dynamic");
87 EXPECT_TRUE(helpers::Match(output, "true\nfalse\n"));
88 }
89
90 } // namespace libabckit::test
91 // NOLINTEND(readability-magic-numbers)
92