| 5877 | namespace LLVM { |
| 5878 | |
| 5879 | Expect<void> Compiler::checkConfigure() noexcept { |
| 5880 | // Note: Although the Exception Handling and Memory64 proposals are not |
| 5881 | // implemented in AOT yet, we should not trap here because the default |
| 5882 | // configuration has become WASM 3.0, which contains these proposals. |
| 5883 | if (Conf.hasProposal(Proposal::ExceptionHandling)) { |
| 5884 | spdlog::warn("Proposal Exception Handling is not yet supported in WasmEdge " |
| 5885 | "AOT/JIT. The compilation will be trapped when related data " |
| 5886 | "structure or instructions found in WASM."); |
| 5887 | } |
| 5888 | if (Conf.hasProposal(Proposal::Annotations)) { |
| 5889 | spdlog::error(ErrCode::Value::InvalidAOTConfigure); |
| 5890 | spdlog::error(" Proposal Custom Annotation Syntax is not yet supported " |
| 5891 | "in WasmEdge AOT/JIT."); |
| 5892 | return Unexpect(ErrCode::Value::InvalidAOTConfigure); |
| 5893 | } |
| 5894 | return {}; |
| 5895 | } |
| 5896 | |
| 5897 | Expect<Data> Compiler::compile(const AST::Module &Module) noexcept { |
| 5898 | // Check that the module is validated. |