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 <cassert>
17 #include <cstring>
18 #include <gtest/gtest.h>
19
20 #include "libabckit/include/c/abckit.h"
21 #include "helpers/helpers.h"
22 #include "helpers/helpers_runtime.h"
23 #include "libabckit/include/c/metadata_core.h"
24 #include "metadata_inspect_impl.h"
25 #include "libabckit/include/c/isa/isa_dynamic.h"
26 #include "ir_impl.h"
27 #include "logger.h"
28
29 namespace libabckit::test {
30
31 static auto g_impl = AbckitGetApiImpl(ABCKIT_VERSION_RELEASE_1_0_0);
32 static auto g_implI = AbckitGetInspectApiImpl(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 LibAbcKitJSInspectApiModulesTest : public ::testing::Test {};
37
38 // ========================================
39 // Modules Tests
40 // ========================================
41
42 // CC-OFFNXT(huge_method, C_RULE_ID_FUNCTION_SIZE) test, solid logic
43 // Test: test-kind=internal, abc-kind=JS, category=positive
TEST_F(LibAbcKitJSInspectApiModulesTest,DynamicFillModule)44 TEST_F(LibAbcKitJSInspectApiModulesTest, DynamicFillModule)
45 {
46 auto output = helpers::ExecuteDynamicAbc(
47 ABCKIT_ABC_DIR "ut/extensions/js/inspect_api/modules/JSmodules_dynamic.abc", "JSmodules_dynamic");
48 auto expected =
49 "regular import func1 from module1\nregular import func1 from module2\nregular default import func1 from "
50 "module3\nregular default import func2 from module2\nnamespace import func2 from module1\nnamespace import "
51 "func3 from module1\n2\n";
52 EXPECT_TRUE(helpers::Match(output, expected));
53
54 AbckitFile *file = nullptr;
55 helpers::AssertOpenAbc(ABCKIT_ABC_DIR "ut/extensions/js/inspect_api/modules/JSmodules_dynamic.abc", &file);
56
57 helpers::ModuleByNameContext ctxFinder = {nullptr, "JSmodules_dynamic"};
58 g_implI->fileEnumerateModules(file, &ctxFinder, helpers::ModuleByNameFinder);
59 ASSERT_EQ(g_impl->getLastError(), ABCKIT_STATUS_NO_ERROR);
60 ASSERT_NE(ctxFinder.module, nullptr);
61 auto *m = ctxFinder.module;
62
63 EXPECT_NE(m->GetJsImpl()->impl.record, nullptr);
64 EXPECT_NE(m->GetJsImpl()->impl.moduleLiteralArray, nullptr);
65 EXPECT_EQ(m->GetJsImpl()->impl.moduleRequestsOffset, 1);
66 EXPECT_EQ(m->GetJsImpl()->impl.regularImportsOffset, 5U);
67 EXPECT_EQ(m->GetJsImpl()->impl.namespaceImportsOffset, 18U);
68 EXPECT_EQ(m->GetJsImpl()->impl.localExportsOffset, 25U);
69 EXPECT_EQ(m->GetJsImpl()->impl.indirectExportsOffset, 40U);
70 EXPECT_EQ(m->GetJsImpl()->impl.starExportsOffset, 47U);
71
72 // Request Modules
73 EXPECT_EQ(m->md.size(), 3U);
74 size_t idx = 0;
75 EXPECT_EQ(helpers::AbckitStringToString(m->md[idx]->moduleName), "modules/JSmodule1");
76 EXPECT_EQ(m->md[idx]->isExternal, false);
77 idx++;
78 EXPECT_EQ(helpers::AbckitStringToString(m->md[idx]->moduleName), "modules/JSmodule2");
79 EXPECT_EQ(m->md[idx]->isExternal, false);
80 idx++;
81 EXPECT_EQ(helpers::AbckitStringToString(m->md[idx]->moduleName), "modules/JSmodule3");
82 EXPECT_EQ(m->md[idx]->isExternal, false);
83
84 // Imports
85 EXPECT_EQ(m->id.size(), 5U);
86
87 // Regular imports
88 idx = 0;
89 EXPECT_EQ(m->id[idx]->importingModule, m);
90 EXPECT_EQ(m->id[idx]->importedModule, m->md[1]);
91 EXPECT_EQ(m->id[idx]->GetJsImpl()->kind, AbckitImportExportDescriptorKind::UNTYPED);
92 EXPECT_TRUE(m->id[idx]->GetJsImpl()->payload.GetDynId().isRegularImport);
93 EXPECT_EQ(m->id[idx]->GetJsImpl()->payload.GetDynId().moduleRecordIndexOff, idx);
94 idx++;
95 EXPECT_EQ(m->id[idx]->importingModule, m);
96 EXPECT_EQ(m->id[idx]->importedModule, m->md[2U]);
97 EXPECT_EQ(m->id[idx]->GetJsImpl()->kind, AbckitImportExportDescriptorKind::UNTYPED);
98 EXPECT_TRUE(m->id[idx]->GetJsImpl()->payload.GetDynId().isRegularImport);
99 EXPECT_EQ(m->id[idx]->GetJsImpl()->payload.GetDynId().moduleRecordIndexOff, idx);
100 idx++;
101 EXPECT_EQ(m->id[idx]->importingModule, m);
102 EXPECT_EQ(m->id[idx]->importedModule, m->md[1]);
103 EXPECT_EQ(m->id[idx]->GetJsImpl()->kind, AbckitImportExportDescriptorKind::UNTYPED);
104 EXPECT_TRUE(m->id[idx]->GetJsImpl()->payload.GetDynId().isRegularImport);
105 EXPECT_EQ(m->id[idx]->GetJsImpl()->payload.GetDynId().moduleRecordIndexOff, idx);
106 idx++;
107 EXPECT_EQ(m->id[idx]->importingModule, m);
108 EXPECT_EQ(m->id[idx]->importedModule, m->md[0]);
109 EXPECT_EQ(m->id[idx]->GetJsImpl()->kind, AbckitImportExportDescriptorKind::UNTYPED);
110 EXPECT_TRUE(m->id[idx]->GetJsImpl()->payload.GetDynId().isRegularImport);
111 EXPECT_EQ(m->id[idx]->GetJsImpl()->payload.GetDynId().moduleRecordIndexOff, idx);
112 idx++;
113
114 // Namespace imports
115 EXPECT_EQ(m->id[idx]->importingModule, m);
116 EXPECT_EQ(m->id[idx]->importedModule, m->md[0]);
117 EXPECT_EQ(m->id[idx]->GetJsImpl()->kind, AbckitImportExportDescriptorKind::UNTYPED);
118 EXPECT_FALSE(m->id[idx]->GetJsImpl()->payload.GetDynId().isRegularImport);
119 EXPECT_EQ(m->id[idx]->GetJsImpl()->payload.GetDynId().moduleRecordIndexOff, 0);
120
121 // Exports
122 EXPECT_EQ(m->ed.size(), 10U);
123
124 // Local Exports
125 idx = 0;
126
127 // Combined StarExport
128 EXPECT_EQ(m->ed[idx]->exportingModule, m);
129 EXPECT_EQ(m->ed[idx]->exportedModule, m->md[0]);
130 EXPECT_EQ(m->ed[idx]->GetJsImpl()->kind, AbckitImportExportDescriptorKind::UNTYPED);
131 EXPECT_EQ(m->ed[idx]->GetJsImpl()->payload.GetDynamicPayload().kind,
132 AbckitDynamicExportKind::ABCKIT_DYNAMIC_EXPORT_KIND_STAR_EXPORT);
133 EXPECT_EQ(m->ed[idx]->GetJsImpl()->payload.GetDynamicPayload().hasServiceImport, true);
134 EXPECT_EQ(m->ed[idx]->GetJsImpl()->payload.GetDynamicPayload().serviceNamespaceImportIdx, 1);
135 EXPECT_EQ(m->ed[idx]->GetJsImpl()->payload.GetDynamicPayload().moduleRecordIndexOff, idx);
136 idx++;
137 EXPECT_EQ(m->ed[idx]->exportingModule, m);
138 EXPECT_EQ(m->ed[idx]->exportedModule, m->md[1]);
139 EXPECT_EQ(m->ed[idx]->GetJsImpl()->kind, AbckitImportExportDescriptorKind::UNTYPED);
140 EXPECT_EQ(m->ed[idx]->GetJsImpl()->payload.GetDynamicPayload().kind,
141 AbckitDynamicExportKind::ABCKIT_DYNAMIC_EXPORT_KIND_STAR_EXPORT);
142 EXPECT_EQ(m->ed[idx]->GetJsImpl()->payload.GetDynamicPayload().hasServiceImport, true);
143 EXPECT_EQ(m->ed[idx]->GetJsImpl()->payload.GetDynamicPayload().serviceNamespaceImportIdx, 2U);
144 EXPECT_EQ(m->ed[idx]->GetJsImpl()->payload.GetDynamicPayload().moduleRecordIndexOff, idx);
145
146 idx++;
147 while (idx < 7U) {
148 EXPECT_EQ(m->ed[idx]->exportingModule, m);
149 EXPECT_EQ(m->ed[idx]->exportedModule, m);
150 EXPECT_EQ(m->ed[idx]->GetJsImpl()->kind, AbckitImportExportDescriptorKind::UNTYPED);
151 EXPECT_EQ(m->ed[idx]->GetJsImpl()->payload.GetDynamicPayload().kind,
152 AbckitDynamicExportKind::ABCKIT_DYNAMIC_EXPORT_KIND_LOCAL_EXPORT);
153 EXPECT_EQ(m->ed[idx]->GetJsImpl()->payload.GetDynamicPayload().hasServiceImport, false);
154 EXPECT_EQ(m->ed[idx]->GetJsImpl()->payload.GetDynamicPayload().moduleRecordIndexOff, idx);
155 idx++;
156 }
157
158 // Indirect Exports
159 EXPECT_EQ(m->ed[idx]->exportingModule, m);
160 EXPECT_EQ(m->ed[idx]->exportedModule, m->md[0]);
161 EXPECT_EQ(m->ed[idx]->GetJsImpl()->kind, AbckitImportExportDescriptorKind::UNTYPED);
162 EXPECT_EQ(m->ed[idx]->GetJsImpl()->payload.GetDynamicPayload().kind,
163 AbckitDynamicExportKind::ABCKIT_DYNAMIC_EXPORT_KIND_INDIRECT_EXPORT);
164 EXPECT_EQ(m->ed[idx]->GetJsImpl()->payload.GetDynamicPayload().hasServiceImport, false);
165 EXPECT_EQ(m->ed[idx]->GetJsImpl()->payload.GetDynamicPayload().moduleRecordIndexOff, 0);
166 idx++;
167 EXPECT_EQ(m->ed[idx]->exportingModule, m);
168 EXPECT_EQ(m->ed[idx]->exportedModule, m->md[0]);
169 EXPECT_EQ(m->ed[idx]->GetJsImpl()->kind, AbckitImportExportDescriptorKind::UNTYPED);
170 EXPECT_EQ(m->ed[idx]->GetJsImpl()->payload.GetDynamicPayload().kind,
171 AbckitDynamicExportKind::ABCKIT_DYNAMIC_EXPORT_KIND_INDIRECT_EXPORT);
172 EXPECT_EQ(m->ed[idx]->GetJsImpl()->payload.GetDynamicPayload().hasServiceImport, false);
173 EXPECT_EQ(m->ed[idx]->GetJsImpl()->payload.GetDynamicPayload().moduleRecordIndexOff, 1);
174 idx++;
175
176 // Star Exports
177 EXPECT_EQ(m->ed[idx]->exportingModule, m);
178 EXPECT_EQ(m->ed[idx]->exportedModule, m->md[1]);
179 EXPECT_EQ(m->ed[idx]->GetJsImpl()->kind, AbckitImportExportDescriptorKind::UNTYPED);
180 EXPECT_EQ(m->ed[idx]->GetJsImpl()->payload.GetDynamicPayload().kind,
181 AbckitDynamicExportKind::ABCKIT_DYNAMIC_EXPORT_KIND_STAR_EXPORT);
182 EXPECT_EQ(m->ed[idx]->GetJsImpl()->payload.GetDynamicPayload().hasServiceImport, false);
183 EXPECT_EQ(m->ed[idx]->GetJsImpl()->payload.GetDynamicPayload().moduleRecordIndexOff, 0);
184
185 constexpr auto OUTPUT_PATH = ABCKIT_ABC_DIR "ut/extensions/js/inspect_api/modules/JSmodules_dynamic_modified.abc";
186 g_impl->writeAbc(file, OUTPUT_PATH, strlen(OUTPUT_PATH));
187 ASSERT_EQ(g_impl->getLastError(), ABCKIT_STATUS_NO_ERROR);
188 g_impl->closeFile(file);
189 ASSERT_EQ(g_impl->getLastError(), ABCKIT_STATUS_NO_ERROR);
190
191 auto output2 = helpers::ExecuteDynamicAbc(OUTPUT_PATH, "JSmodules_dynamic");
192 EXPECT_TRUE(helpers::Match(output2, expected));
193 }
194
195 } // namespace libabckit::test
196