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/abckit.h"
17 #include "libabckit/include/c/metadata_core.h"
18 #include "libabckit/include/c/ir_core.h"
19
20 #include "helpers/helpers_runtime.h"
21 #include "helpers/helpers.h"
22
23 #include <gtest/gtest.h>
24
25 // NOLINTBEGIN(readability-magic-numbers)
26 namespace libabckit::test {
27
28 namespace {
29 auto g_impl = AbckitGetApiImpl(ABCKIT_VERSION_RELEASE_1_0_0);
30 auto g_implI = AbckitGetInspectApiImpl(ABCKIT_VERSION_RELEASE_1_0_0);
31 auto g_implM = AbckitGetModifyApiImpl(ABCKIT_VERSION_RELEASE_1_0_0);
32 auto g_implG = AbckitGetGraphApiImpl(ABCKIT_VERSION_RELEASE_1_0_0);
33 auto g_statG = AbckitGetIsaApiStaticImpl(ABCKIT_VERSION_RELEASE_1_0_0);
34
TransformIsInstanceIr(AbckitGraph * graph,AbckitFile * file,AbckitCoreClass * classA)35 void TransformIsInstanceIr(AbckitGraph *graph, AbckitFile *file, AbckitCoreClass *classA)
36 {
37 AbckitInst *initObj = helpers::FindFirstInst(graph, ABCKIT_ISA_API_STATIC_OPCODE_INITOBJECT);
38 ASSERT_NE(initObj, nullptr);
39 ASSERT_EQ(g_impl->getLastError(), ABCKIT_STATUS_NO_ERROR);
40
41 AbckitInst *ret = helpers::FindFirstInst(graph, ABCKIT_ISA_API_STATIC_OPCODE_RETURN);
42 ASSERT_NE(initObj, nullptr);
43 ASSERT_EQ(g_impl->getLastError(), ABCKIT_STATUS_NO_ERROR);
44
45 auto *type = g_implM->createReferenceType(file, classA);
46 ASSERT_NE(type, nullptr);
47 ASSERT_EQ(g_impl->getLastError(), ABCKIT_STATUS_NO_ERROR);
48
49 AbckitInst *isInstance = g_statG->iCreateIsInstance(graph, initObj, type);
50 ASSERT_NE(isInstance, nullptr);
51 ASSERT_EQ(g_impl->getLastError(), ABCKIT_STATUS_NO_ERROR);
52
53 g_implG->iInsertAfter(isInstance, initObj);
54 ASSERT_EQ(g_impl->getLastError(), ABCKIT_STATUS_NO_ERROR);
55
56 helpers::ReplaceInst(ret, g_statG->iCreateReturn(graph, isInstance));
57 }
58 } // namespace
59
60 class LibAbcKitIsInstanceStaticTest : public ::testing::Test {};
61
62 // Test: test-kind=api, api=IsaApiStaticImpl::iCreateIsInstance, abc-kind=ArkTS2, category=positive, extension=c
TEST_F(LibAbcKitIsInstanceStaticTest,LibAbcKitTestIsInstance)63 TEST_F(LibAbcKitIsInstanceStaticTest, LibAbcKitTestIsInstance)
64 {
65 auto output = helpers::ExecuteStaticAbc(ABCKIT_ABC_DIR "ut/isa/isa_static/is_instance/is_instance_static.abc",
66 "is_instance_static/ETSGLOBAL", "main");
67 EXPECT_TRUE(helpers::Match(output, "false\n"));
68
69 helpers::TransformMethod(
70 ABCKIT_ABC_DIR "ut/isa/isa_static/is_instance/is_instance_static.abc",
71 ABCKIT_ABC_DIR "ut/isa/isa_static/is_instance/is_instance_static_modified.abc", "foo",
72 []([[maybe_unused]] AbckitFile *file, [[maybe_unused]] AbckitCoreFunction *method,
73 [[maybe_unused]] AbckitGraph *graph) {
74 auto *module = g_implI->functionGetModule(method);
75 helpers::ClassByNameContext classCtxFinder = {nullptr, "A"};
76 g_implI->moduleEnumerateClasses(module, &classCtxFinder, helpers::ClassByNameFinder);
77 ASSERT_NE(classCtxFinder.klass, nullptr);
78 TransformIsInstanceIr(graph, file, classCtxFinder.klass);
79 },
80 [](AbckitGraph *graph) {
81 helpers::BBSchema<AbckitIsaApiStaticOpcode> bb1({{}, {1}, {{}}});
82 std::vector<helpers::InstSchema<AbckitIsaApiStaticOpcode>> insts({
83 {0, ABCKIT_ISA_API_STATIC_OPCODE_INITOBJECT, {}},
84 {2, ABCKIT_ISA_API_STATIC_OPCODE_ISINSTANCE, {0}},
85 {1, ABCKIT_ISA_API_STATIC_OPCODE_RETURN, {2}},
86 });
87 helpers::BBSchema<AbckitIsaApiStaticOpcode> bb2({{0}, {2}, insts});
88 helpers::BBSchema<AbckitIsaApiStaticOpcode> bb3({{1}, {}, {}});
89 std::vector<helpers::BBSchema<AbckitIsaApiStaticOpcode>> bbSchemas({bb1, bb2, bb3});
90 helpers::VerifyGraph(graph, bbSchemas);
91 });
92
93 output = helpers::ExecuteStaticAbc(ABCKIT_ABC_DIR "ut/isa/isa_static/is_instance/is_instance_static_modified.abc",
94 "is_instance_static/ETSGLOBAL", "main");
95 EXPECT_TRUE(helpers::Match(output, "true\n"));
96 }
97
98 } // namespace libabckit::test
99 // NOLINTEND(readability-magic-numbers)
100