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 "helpers/helpers.h"
22 #include "helpers/helpers_runtime.h"
23
24 #include <gtest/gtest.h>
25
26 // NOLINTBEGIN(readability-magic-numbers)
27 namespace libabckit::test {
28
29 static auto g_impl = AbckitGetApiImpl(ABCKIT_VERSION_RELEASE_1_0_0);
30 static auto g_implI = AbckitGetInspectApiImpl(ABCKIT_VERSION_RELEASE_1_0_0);
31 static auto g_implM = AbckitGetModifyApiImpl(ABCKIT_VERSION_RELEASE_1_0_0);
32 static auto g_implG = AbckitGetGraphApiImpl(ABCKIT_VERSION_RELEASE_1_0_0);
33 static auto g_dynG = AbckitGetIsaApiDynamicImpl(ABCKIT_VERSION_RELEASE_1_0_0);
34
35 class LibAbcKitCreateDynamicImport : public ::testing::Test {};
36
37 // Test: test-kind=api, api=IsaApiDynamicImpl::iCreateDynamicimport, abc-kind=ArkTS1, category=positive, extension=c
TEST_F(LibAbcKitCreateDynamicImport,IcreateDynamicimport_1)38 TEST_F(LibAbcKitCreateDynamicImport, IcreateDynamicimport_1)
39 {
40 auto output = helpers::ExecuteDynamicAbc(ABCKIT_ABC_DIR "ut/isa/isa_dynamic/import/dynamicimport_dynamic.abc",
41 "dynamicimport_dynamic");
42 EXPECT_TRUE(helpers::Match(output, ""));
43
44 helpers::TransformMethod(
45 ABCKIT_ABC_DIR "ut/isa/isa_dynamic/import/dynamicimport_dynamic.abc",
46 ABCKIT_ABC_DIR "ut/isa/isa_dynamic/import/dynamicimport_dynamic_modified.abc",
47 "dynamicimport_dynamic.func_main_0",
48 [&](AbckitFile * /*file*/, AbckitCoreFunction * /*method*/, AbckitGraph *graph) {
49 auto *inst = helpers::FindFirstInst(graph, ABCKIT_ISA_API_DYNAMIC_OPCODE_CREATEOBJECTWITHBUFFER);
50 auto *dynamicimport = g_dynG->iCreateDynamicimport(graph, inst);
51 ASSERT_EQ(g_impl->getLastError(), ABCKIT_STATUS_NO_ERROR);
52 auto *returnundefined = helpers::FindLastInst(graph, ABCKIT_ISA_API_DYNAMIC_OPCODE_RETURNUNDEFINED);
53 g_implG->iInsertBefore(dynamicimport, returnundefined);
54 ASSERT_EQ(g_impl->getLastError(), ABCKIT_STATUS_NO_ERROR);
55 },
56 [&](AbckitGraph *graph) {
57 std::vector<helpers::BBSchema<AbckitIsaApiDynamicOpcode>> bbSchemas {
58 {{},
59 {1},
60 {{0, ABCKIT_ISA_API_DYNAMIC_OPCODE_PARAMETER, {}},
61 {1, ABCKIT_ISA_API_DYNAMIC_OPCODE_PARAMETER, {}},
62 {2, ABCKIT_ISA_API_DYNAMIC_OPCODE_PARAMETER, {}}}},
63 {{0},
64 {2},
65 {{3, ABCKIT_ISA_API_DYNAMIC_OPCODE_NEWLEXENV, {}},
66 {4, ABCKIT_ISA_API_DYNAMIC_OPCODE_STLEXVAR, {1}},
67 {5, ABCKIT_ISA_API_DYNAMIC_OPCODE_STLEXVAR, {2}},
68 {6, ABCKIT_ISA_API_DYNAMIC_OPCODE_CREATEOBJECTWITHBUFFER, {}},
69 {7, ABCKIT_ISA_API_DYNAMIC_OPCODE_DEFINEFUNC, {}},
70 {8, ABCKIT_ISA_API_DYNAMIC_OPCODE_DYNAMICIMPORT, {6}},
71 {9, ABCKIT_ISA_API_DYNAMIC_OPCODE_RETURNUNDEFINED, {}}}},
72 {{1}, {}, {}}};
73 helpers::VerifyGraph(graph, bbSchemas);
74 });
75
76 output = helpers::ExecuteDynamicAbc(ABCKIT_ABC_DIR "ut/isa/isa_dynamic/import/dynamicimport_dynamic_modified.abc",
77 "dynamicimport_dynamic");
78 EXPECT_TRUE(helpers::Match(output, ""));
79 }
80
81 // Test: test-kind=api, api=IsaApiDynamicImpl::iCreateDynamicimport, abc-kind=ArkTS1, category=positive, extension=c
TEST_F(LibAbcKitCreateDynamicImport,IcreateDynamicimport_2)82 TEST_F(LibAbcKitCreateDynamicImport, IcreateDynamicimport_2)
83 {
84 auto output = helpers::ExecuteDynamicAbc(ABCKIT_ABC_DIR "ut/isa/isa_dynamic/import/dynamicimport_dynamic.abc",
85 "dynamicimport_dynamic");
86 EXPECT_TRUE(helpers::Match(output, ""));
87
88 helpers::TransformMethod(
89 ABCKIT_ABC_DIR "ut/isa/isa_dynamic/import/dynamicimport_dynamic.abc",
90 ABCKIT_ABC_DIR "ut/isa/isa_dynamic/import/dynamicimport_dynamic_modified.abc",
91 "dynamicimport_dynamic.func_main_0",
92 [&](AbckitFile *file, AbckitCoreFunction * /*method*/, AbckitGraph *graph) {
93 auto *moduleStr = g_implM->createString(file, "./modules/moduleB.js", strlen("./modules/moduleB.js"));
94 auto *loadString = g_dynG->iCreateLoadString(graph, moduleStr);
95 auto *dynamicimport = g_dynG->iCreateDynamicimport(graph, loadString);
96 ASSERT_EQ(g_impl->getLastError(), ABCKIT_STATUS_NO_ERROR);
97 auto *returnundefined = helpers::FindLastInst(graph, ABCKIT_ISA_API_DYNAMIC_OPCODE_RETURNUNDEFINED);
98 g_implG->iInsertBefore(loadString, returnundefined);
99 ASSERT_EQ(g_impl->getLastError(), ABCKIT_STATUS_NO_ERROR);
100 g_implG->iInsertBefore(dynamicimport, returnundefined);
101 ASSERT_EQ(g_impl->getLastError(), ABCKIT_STATUS_NO_ERROR);
102 },
103 [&](AbckitGraph *graph) {
104 std::vector<helpers::BBSchema<AbckitIsaApiDynamicOpcode>> bbSchemas {
105 {{},
106 {1},
107 {{0, ABCKIT_ISA_API_DYNAMIC_OPCODE_PARAMETER, {}},
108 {1, ABCKIT_ISA_API_DYNAMIC_OPCODE_PARAMETER, {}},
109 {2, ABCKIT_ISA_API_DYNAMIC_OPCODE_PARAMETER, {}}}},
110 {{0},
111 {2},
112 {{3, ABCKIT_ISA_API_DYNAMIC_OPCODE_NEWLEXENV, {}},
113 {4, ABCKIT_ISA_API_DYNAMIC_OPCODE_STLEXVAR, {1}},
114 {5, ABCKIT_ISA_API_DYNAMIC_OPCODE_STLEXVAR, {2}},
115 {6, ABCKIT_ISA_API_DYNAMIC_OPCODE_CREATEOBJECTWITHBUFFER, {}},
116 {7, ABCKIT_ISA_API_DYNAMIC_OPCODE_DEFINEFUNC, {}},
117 {8, ABCKIT_ISA_API_DYNAMIC_OPCODE_LOADSTRING, {}},
118 {9, ABCKIT_ISA_API_DYNAMIC_OPCODE_DYNAMICIMPORT, {8}},
119 {10, ABCKIT_ISA_API_DYNAMIC_OPCODE_RETURNUNDEFINED, {}}}},
120 {{1}, {}, {}}};
121 helpers::VerifyGraph(graph, bbSchemas);
122 });
123
124 output = helpers::ExecuteDynamicAbc(ABCKIT_ABC_DIR "ut/isa/isa_dynamic/import/dynamicimport_dynamic_modified.abc",
125 "dynamicimport_dynamic");
126 EXPECT_TRUE(helpers::Match(output, ""));
127 }
128
129 // Test: test-kind=api, api=IsaApiDynamicImpl::iCreateDynamicimport, abc-kind=ArkTS1, category=positive, extension=c
TEST_F(LibAbcKitCreateDynamicImport,IcreateDynamicimport_3)130 TEST_F(LibAbcKitCreateDynamicImport, IcreateDynamicimport_3)
131 {
132 auto output = helpers::ExecuteDynamicAbc(ABCKIT_ABC_DIR "ut/isa/isa_dynamic/import/dynamicimport_dynamic.abc",
133 "dynamicimport_dynamic");
134 EXPECT_TRUE(helpers::Match(output, ""));
135
136 helpers::TransformMethod(
137 ABCKIT_ABC_DIR "ut/isa/isa_dynamic/import/dynamicimport_dynamic.abc",
138 ABCKIT_ABC_DIR "ut/isa/isa_dynamic/import/dynamicimport_dynamic_modified.abc",
139 "dynamicimport_dynamic.func_main_0",
140 [&](AbckitFile *file, AbckitCoreFunction * /*method*/, AbckitGraph *graph) {
141 auto *moduleStr = g_implM->createString(file, "module", strlen("module"));
142 auto *loadString = g_dynG->iCreateLoadString(graph, moduleStr);
143 auto *dynamicimport = g_dynG->iCreateDynamicimport(graph, loadString);
144 ASSERT_EQ(g_impl->getLastError(), ABCKIT_STATUS_NO_ERROR);
145 auto *returnundefined = helpers::FindLastInst(graph, ABCKIT_ISA_API_DYNAMIC_OPCODE_RETURNUNDEFINED);
146 g_implG->iInsertBefore(loadString, returnundefined);
147 ASSERT_EQ(g_impl->getLastError(), ABCKIT_STATUS_NO_ERROR);
148 g_implG->iInsertBefore(dynamicimport, returnundefined);
149 ASSERT_EQ(g_impl->getLastError(), ABCKIT_STATUS_NO_ERROR);
150 },
151 [&](AbckitGraph *graph) {
152 std::vector<helpers::BBSchema<AbckitIsaApiDynamicOpcode>> bbSchemas {
153 {{},
154 {1},
155 {{0, ABCKIT_ISA_API_DYNAMIC_OPCODE_PARAMETER, {}},
156 {1, ABCKIT_ISA_API_DYNAMIC_OPCODE_PARAMETER, {}},
157 {2, ABCKIT_ISA_API_DYNAMIC_OPCODE_PARAMETER, {}}}},
158 {{0},
159 {2},
160 {{3, ABCKIT_ISA_API_DYNAMIC_OPCODE_NEWLEXENV, {}},
161 {4, ABCKIT_ISA_API_DYNAMIC_OPCODE_STLEXVAR, {1}},
162 {5, ABCKIT_ISA_API_DYNAMIC_OPCODE_STLEXVAR, {2}},
163 {6, ABCKIT_ISA_API_DYNAMIC_OPCODE_CREATEOBJECTWITHBUFFER, {}},
164 {7, ABCKIT_ISA_API_DYNAMIC_OPCODE_DEFINEFUNC, {}},
165 {8, ABCKIT_ISA_API_DYNAMIC_OPCODE_LOADSTRING, {}},
166 {9, ABCKIT_ISA_API_DYNAMIC_OPCODE_DYNAMICIMPORT, {8}},
167 {10, ABCKIT_ISA_API_DYNAMIC_OPCODE_RETURNUNDEFINED, {}}}},
168 {{1}, {}, {}}};
169 helpers::VerifyGraph(graph, bbSchemas);
170 });
171
172 output = helpers::ExecuteDynamicAbc(ABCKIT_ABC_DIR "ut/isa/isa_dynamic/import/dynamicimport_dynamic_modified.abc",
173 "dynamicimport_dynamic");
174 EXPECT_TRUE(helpers::Match(output, ""));
175 }
176
GetSchema()177 static std::vector<helpers::BBSchema<AbckitIsaApiDynamicOpcode>> GetSchema()
178 {
179 return {{{},
180 {1},
181 {{0, ABCKIT_ISA_API_DYNAMIC_OPCODE_PARAMETER, {}},
182 {1, ABCKIT_ISA_API_DYNAMIC_OPCODE_PARAMETER, {}},
183 {2, ABCKIT_ISA_API_DYNAMIC_OPCODE_PARAMETER, {}}}},
184 {{0},
185 {2},
186 {{3, ABCKIT_ISA_API_DYNAMIC_OPCODE_NEWLEXENV, {}},
187 {4, ABCKIT_ISA_API_DYNAMIC_OPCODE_STLEXVAR, {1}},
188 {5, ABCKIT_ISA_API_DYNAMIC_OPCODE_STLEXVAR, {2}},
189 {6, ABCKIT_ISA_API_DYNAMIC_OPCODE_CREATEOBJECTWITHBUFFER, {}},
190 {7, ABCKIT_ISA_API_DYNAMIC_OPCODE_DEFINEFUNC, {}},
191 {8, ABCKIT_ISA_API_DYNAMIC_OPCODE_DYNAMICIMPORT, {6}},
192 {9, ABCKIT_ISA_API_DYNAMIC_OPCODE_LDOBJBYNAME, {8}},
193 {10, ABCKIT_ISA_API_DYNAMIC_OPCODE_CALLTHIS1, {9, 8, 7}},
194 {11, ABCKIT_ISA_API_DYNAMIC_OPCODE_LDOBJBYNAME, {10}},
195 {12, ABCKIT_ISA_API_DYNAMIC_OPCODE_CALLTHIS0, {11, 10}},
196 {13, ABCKIT_ISA_API_DYNAMIC_OPCODE_LDOBJBYNAME, {12}},
197 {14, ABCKIT_ISA_API_DYNAMIC_OPCODE_CALLTHIS0, {13, 12}},
198 {15, ABCKIT_ISA_API_DYNAMIC_OPCODE_RETURNUNDEFINED, {}}}},
199 {{1}, {}, {}}};
200 }
201
202 // Test: test-kind=api, api=IsaApiDynamicImpl::iCreateDynamicimport, abc-kind=ArkTS1, category=positive, extension=c
TEST_F(LibAbcKitCreateDynamicImport,IcreateDynamicimport_4)203 TEST_F(LibAbcKitCreateDynamicImport, IcreateDynamicimport_4)
204 {
205 auto output = helpers::ExecuteDynamicAbc(ABCKIT_ABC_DIR "ut/isa/isa_dynamic/import/dynamicimport_dynamic.abc",
206 "dynamicimport_dynamic");
207 EXPECT_TRUE(helpers::Match(output, ""));
208
209 helpers::TransformMethod(
210 ABCKIT_ABC_DIR "ut/isa/isa_dynamic/import/dynamicimport_dynamic.abc",
211 ABCKIT_ABC_DIR "ut/isa/isa_dynamic/import/dynamicimport_dynamic_modified.abc",
212 "dynamicimport_dynamic.func_main_0",
213 [&](AbckitFile *file, AbckitCoreFunction * /*method*/, AbckitGraph *graph) {
214 auto *inst = helpers::FindFirstInst(graph, ABCKIT_ISA_API_DYNAMIC_OPCODE_CREATEOBJECTWITHBUFFER);
215 auto *dynamicimport = g_dynG->iCreateDynamicimport(graph, inst);
216
217 auto *deffunc = helpers::FindFirstInst(graph, ABCKIT_ISA_API_DYNAMIC_OPCODE_DEFINEFUNC);
218 auto *thenStr = g_implM->createString(file, "then", strlen("then"));
219 auto *ldobjbyname = g_dynG->iCreateLdobjbyname(graph, dynamicimport, thenStr);
220 auto *callthis1 = g_dynG->iCreateCallthis1(graph, ldobjbyname, dynamicimport, deffunc);
221 auto *ldobjbyname2 = g_dynG->iCreateLdobjbyname(graph, callthis1, thenStr);
222 auto *callthis0 = g_dynG->iCreateCallthis0(graph, ldobjbyname2, callthis1);
223 auto *catchStr = g_implM->createString(file, "catch", strlen("catch"));
224 auto *ldobjbyname3 = g_dynG->iCreateLdobjbyname(graph, callthis0, catchStr);
225 auto *callthis03 = g_dynG->iCreateCallthis0(graph, ldobjbyname3, callthis0);
226 ASSERT_EQ(g_impl->getLastError(), ABCKIT_STATUS_NO_ERROR);
227 auto *returnundefined = helpers::FindLastInst(graph, ABCKIT_ISA_API_DYNAMIC_OPCODE_RETURNUNDEFINED);
228 g_implG->iInsertBefore(dynamicimport, returnundefined);
229 ASSERT_EQ(g_impl->getLastError(), ABCKIT_STATUS_NO_ERROR);
230 g_implG->iInsertBefore(ldobjbyname, returnundefined);
231 ASSERT_EQ(g_impl->getLastError(), ABCKIT_STATUS_NO_ERROR);
232 g_implG->iInsertBefore(callthis1, returnundefined);
233 ASSERT_EQ(g_impl->getLastError(), ABCKIT_STATUS_NO_ERROR);
234 g_implG->iInsertBefore(ldobjbyname2, returnundefined);
235 ASSERT_EQ(g_impl->getLastError(), ABCKIT_STATUS_NO_ERROR);
236 g_implG->iInsertBefore(callthis0, returnundefined);
237 ASSERT_EQ(g_impl->getLastError(), ABCKIT_STATUS_NO_ERROR);
238 g_implG->iInsertBefore(ldobjbyname3, returnundefined);
239 ASSERT_EQ(g_impl->getLastError(), ABCKIT_STATUS_NO_ERROR);
240 g_implG->iInsertBefore(callthis03, returnundefined);
241 ASSERT_EQ(g_impl->getLastError(), ABCKIT_STATUS_NO_ERROR);
242 },
243 [&](AbckitGraph *graph) { helpers::VerifyGraph(graph, GetSchema()); });
244
245 output = helpers::ExecuteDynamicAbc(ABCKIT_ABC_DIR "ut/isa/isa_dynamic/import/dynamicimport_dynamic_modified.abc",
246 "dynamicimport_dynamic");
247 EXPECT_TRUE(helpers::Match(output, "from moduleA: moduleB::a 6 36.6\n"));
248 }
249
250 } // namespace libabckit::test
251 // NOLINTEND(readability-magic-numbers)
252