/src/WasmEdge/lib/loader/ast/description.cpp
Line | Count | Source (jump to first uncovered line) |
1 | | // SPDX-License-Identifier: Apache-2.0 |
2 | | // SPDX-FileCopyrightText: 2019-2024 Second State INC |
3 | | |
4 | | #include "loader/loader.h" |
5 | | |
6 | | namespace WasmEdge { |
7 | | namespace Loader { |
8 | | |
9 | | // Load binary of Import description. See "include/loader/loader.h". |
10 | 12.2k | Expect<void> Loader::loadDesc(AST::ImportDesc &ImpDesc) { |
11 | 12.2k | auto ReportError = [this](auto E) { |
12 | 78 | return logLoadError(E, FMgr.getLastOffset(), ASTNodeAttr::Desc_Import); |
13 | 78 | }; |
14 | | |
15 | | // Read the module name. |
16 | 12.2k | EXPECTED_TRY(FMgr.readName().map_error(ReportError).map([&](std::string S) { |
17 | 12.2k | ImpDesc.setModuleName(S); |
18 | 12.2k | })); |
19 | | |
20 | | // Read the external name. |
21 | 12.2k | EXPECTED_TRY(FMgr.readName().map_error(ReportError).map([&](std::string S) { |
22 | 12.2k | ImpDesc.setExternalName(S); |
23 | 12.2k | })); |
24 | | |
25 | | // Read the external type. |
26 | 12.2k | EXPECTED_TRY(FMgr.readByte().map_error(ReportError).map([&](uint8_t B) { |
27 | 12.2k | ImpDesc.setExternalType(static_cast<ExternalType>(B)); |
28 | 12.2k | })); |
29 | | |
30 | | // Make content node according to external type. |
31 | 12.2k | switch (ImpDesc.getExternalType()) { |
32 | 2.54k | case ExternalType::Function: { |
33 | | // Read the function type index. |
34 | 2.54k | EXPECTED_TRY(FMgr.readU32().map_error(ReportError).map([&](uint32_t Idx) { |
35 | 2.53k | ImpDesc.setExternalFuncTypeIdx(Idx); |
36 | 2.53k | })); |
37 | 2.53k | return {}; |
38 | 2.54k | } |
39 | 175 | case ExternalType::Table: { |
40 | | // Read the table type node. |
41 | 175 | return loadType(ImpDesc.getExternalTableType()); |
42 | 2.54k | } |
43 | 329 | case ExternalType::Memory: { |
44 | | // Read the memory type node. |
45 | 329 | return loadType(ImpDesc.getExternalMemoryType()); |
46 | 2.54k | } |
47 | 9.15k | case ExternalType::Global: { |
48 | | // Read the global type node. |
49 | 9.15k | EXPECTED_TRY(loadType(ImpDesc.getExternalGlobalType())); |
50 | | // Import the mutable globals are for ImportExportMutGlobals proposal. |
51 | 9.15k | if (ImpDesc.getExternalGlobalType().getValMut() == ValMut::Var && |
52 | 9.15k | unlikely(!Conf.hasProposal(Proposal::ImportExportMutGlobals))) { |
53 | 0 | return logNeedProposal(ErrCode::Value::InvalidMut, |
54 | 0 | Proposal::ImportExportMutGlobals, |
55 | 0 | FMgr.getLastOffset(), ASTNodeAttr::Desc_Import); |
56 | 0 | } |
57 | 9.15k | return {}; |
58 | 9.15k | } |
59 | 1 | case ExternalType::Tag: { |
60 | 1 | if (!Conf.hasProposal(Proposal::ExceptionHandling)) { |
61 | 1 | return logNeedProposal(ErrCode::Value::MalformedImportKind, |
62 | 1 | Proposal::ExceptionHandling, FMgr.getLastOffset(), |
63 | 1 | ASTNodeAttr::Module); |
64 | 1 | } |
65 | | // Read the Tag type node. |
66 | 0 | return loadType(ImpDesc.getExternalTagType()); |
67 | 1 | } |
68 | 6 | default: |
69 | 6 | return logLoadError(ErrCode::Value::MalformedImportKind, |
70 | 6 | FMgr.getLastOffset(), ASTNodeAttr::Desc_Import); |
71 | 12.2k | } |
72 | 12.2k | } |
73 | | |
74 | | // Load binary of Export description. See "include/loader/loader.h". |
75 | 15.4k | Expect<void> Loader::loadDesc(AST::ExportDesc &ExpDesc) { |
76 | 15.4k | auto ReportError = [this](auto E) { |
77 | 42 | return logLoadError(E, FMgr.getLastOffset(), ASTNodeAttr::Desc_Export); |
78 | 42 | }; |
79 | | |
80 | | // Read external name to export. |
81 | 15.4k | EXPECTED_TRY(FMgr.readName().map_error(ReportError).map([&](std::string S) { |
82 | 15.4k | ExpDesc.setExternalName(S); |
83 | 15.4k | })); |
84 | | |
85 | | // Read external type. |
86 | 15.4k | EXPECTED_TRY(FMgr.readByte().map_error(ReportError).map([&](uint8_t B) { |
87 | 15.4k | ExpDesc.setExternalType(static_cast<ExternalType>(B)); |
88 | 15.4k | })); |
89 | 15.4k | switch (ExpDesc.getExternalType()) { |
90 | 14.1k | case ExternalType::Function: |
91 | 14.5k | case ExternalType::Table: |
92 | 15.1k | case ExternalType::Memory: |
93 | 15.4k | case ExternalType::Global: |
94 | 15.4k | break; |
95 | 3 | case ExternalType::Tag: |
96 | 3 | if (!Conf.hasProposal(Proposal::ExceptionHandling)) { |
97 | 3 | return logNeedProposal(ErrCode::Value::MalformedImportKind, |
98 | 3 | Proposal::ExceptionHandling, FMgr.getLastOffset(), |
99 | 3 | ASTNodeAttr::Module); |
100 | 3 | } |
101 | 0 | break; |
102 | 8 | default: |
103 | 8 | return logLoadError(ErrCode::Value::MalformedExportKind, |
104 | 8 | FMgr.getLastOffset(), ASTNodeAttr::Desc_Export); |
105 | 15.4k | } |
106 | | |
107 | | // Read external index to export. |
108 | 15.4k | EXPECTED_TRY(FMgr.readU32().map_error(ReportError).map([&](uint32_t Idx) { |
109 | 15.4k | ExpDesc.setExternalIndex(Idx); |
110 | 15.4k | })); |
111 | 15.4k | return {}; |
112 | 15.4k | } |
113 | | |
114 | | } // namespace Loader |
115 | | } // namespace WasmEdge |