MLIR 24.0.0git
Namespaces | Macros | Functions
TranslateFromWasm.cpp File Reference
#include "mlir/Dialect/WasmSSA/IR/WasmSSA.h"
#include "mlir/IR/Attributes.h"
#include "mlir/IR/Builders.h"
#include "mlir/IR/BuiltinAttributeInterfaces.h"
#include "mlir/IR/BuiltinAttributes.h"
#include "mlir/IR/BuiltinTypes.h"
#include "mlir/IR/Location.h"
#include "mlir/Support/LLVM.h"
#include "mlir/Target/Wasm/WasmBinaryEncoding.h"
#include "mlir/Target/Wasm/WasmImporter.h"
#include "llvm/Support/Debug.h"
#include "llvm/Support/DebugLog.h"
#include "llvm/Support/Endian.h"
#include "llvm/Support/FormatVariadic.h"
#include "llvm/Support/LEB128.h"
#include "llvm/Support/LogicalResult.h"
#include <cassert>
#include <cstddef>
#include <cstdint>
#include <variant>

Go to the source code of this file.

Namespaces

namespace  mlir
 Include the generated interface declarations.
namespace  mlir::wasm

Macros

#define DEBUG_TYPE   "wasm-translate"
#define APPLY_WASM_SEC_TRANSFORM
#define WASM_SEC_TRANSFORM(section)
#define REGISTER_PARSER_OPCODE_PARSER(parserType, opcode, builderName, parserName)
#define REGISTER_PRIMARY_WASM_INST_PARSER(opcode, builderName, parserName)
#define BUILD_NUMERIC_OP(OP_NAME, N_ARGS, PREFIX, SUFFIX, TYPE)
#define BUILD_NUMERIC_BINOP_INT(OP_NAME, PREFIX)
#define BUILD_NUMERIC_BINOP_FP(OP_NAME, PREFIX)
#define BUILD_NUMERIC_BINOP_INTFP(OP_NAME, PREFIX)
#define BUILD_NUMERIC_UNARY_OP_INT(OP_NAME, PREFIX)
#define BUILD_NUMERIC_UNARY_OP_FP(OP_NAME, PREFIX)
#define BUILD_CONVERSION_OP(IN_T, OUT_T, SOURCE_OP, TARGET_OP)
#define BUILD_CONVERT_OP_FOR(DEST_T, WIDTH)
#define BUILD_TRUNC_OP_FOR(SRC_T, WIDTH)
#define BUILD_SLICE_EXTEND_PARSER(IT_WIDTH, EXTRACT_WIDTH)
#define BUILD_REINTERPRET_PARSER(WIDTH, FP_TYPE)

Functions

OwningOpRef< ModuleOp > mlir::wasm::importWebAssemblyToModule (llvm::SourceMgr &source, MLIRContext *context)
 If source contains a valid Wasm binary file, this function returns a a ModuleOp containing the representation of the Wasm module encoded in the source file in the wasmssa dialect.

Macro Definition Documentation

◆ APPLY_WASM_SEC_TRANSFORM

#define APPLY_WASM_SEC_TRANSFORM
Value:
WASM_SEC_TRANSFORM(CUSTOM) \
WASM_SEC_TRANSFORM(TYPE) \
WASM_SEC_TRANSFORM(IMPORT) \
WASM_SEC_TRANSFORM(FUNCTION) \
WASM_SEC_TRANSFORM(TABLE) \
WASM_SEC_TRANSFORM(MEMORY) \
WASM_SEC_TRANSFORM(GLOBAL) \
WASM_SEC_TRANSFORM(EXPORT) \
WASM_SEC_TRANSFORM(START) \
WASM_SEC_TRANSFORM(ELEMENT) \
WASM_SEC_TRANSFORM(CODE) \
WASM_SEC_TRANSFORM(DATA) \
WASM_SEC_TRANSFORM(DATACOUNT)
EXPORT
#define EXPORT
Definition SpirvCpuRuntimeWrappers.cpp:18
WASM_SEC_TRANSFORM
#define WASM_SEC_TRANSFORM(section)
Definition TranslateFromWasm.cpp:83

Definition at line 65 of file TranslateFromWasm.cpp.

◆ BUILD_CONVERSION_OP

#define BUILD_CONVERSION_OP ( IN_T,
OUT_T,
SOURCE_OP,
TARGET_OP )
Value:
template <> \
constexpr bool ExpressionParser::TopLevelInstParserRegistry:: \
hasParserForOpcode<WasmBinaryEncoding::OpCode::SOURCE_OP> = true; \
template <> \
inline parsed_inst_t ExpressionParser::TopLevelInstParserRegistry:: \
parseInstrWithOpCode<WasmBinaryEncoding::OpCode::SOURCE_OP>( \
OpBuilder & builder, ExpressionParser & exprParser) { \
return exprParser.buildConvertOp<TARGET_OP, IN_T, OUT_T>(builder); \
}
mlir::OpBuilder
This class helps build Operations.
Definition Builders.h:210

Definition at line 1469 of file TranslateFromWasm.cpp.

◆ BUILD_CONVERT_OP_FOR

#define BUILD_CONVERT_OP_FOR ( DEST_T,
WIDTH )
Value:
BUILD_CONVERSION_OP(uint32_t, DEST_T, convertUI32F##WIDTH, ConvertUOp) \
BUILD_CONVERSION_OP(int32_t, DEST_T, convertSI32F##WIDTH, ConvertSOp) \
BUILD_CONVERSION_OP(uint64_t, DEST_T, convertUI64F##WIDTH, ConvertUOp) \
BUILD_CONVERSION_OP(int64_t, DEST_T, convertSI64F##WIDTH, ConvertSOp)
BUILD_CONVERSION_OP
#define BUILD_CONVERSION_OP(IN_T, OUT_T, SOURCE_OP, TARGET_OP)
Definition TranslateFromWasm.cpp:1469
int64_t

Definition at line 1480 of file TranslateFromWasm.cpp.

◆ BUILD_NUMERIC_BINOP_FP

#define BUILD_NUMERIC_BINOP_FP ( OP_NAME,
PREFIX )
Value:
BUILD_NUMERIC_OP(OP_NAME, 2, PREFIX, F32, float) \
BUILD_NUMERIC_OP(OP_NAME, 2, PREFIX, F64, double)
BUILD_NUMERIC_OP
#define BUILD_NUMERIC_OP(OP_NAME, N_ARGS, PREFIX, SUFFIX, TYPE)
Definition TranslateFromWasm.cpp:1350

Definition at line 1367 of file TranslateFromWasm.cpp.

◆ BUILD_NUMERIC_BINOP_INT

#define BUILD_NUMERIC_BINOP_INT ( OP_NAME,
PREFIX )
Value:
BUILD_NUMERIC_OP(OP_NAME, 2, PREFIX, I32, int32_t) \
BUILD_NUMERIC_OP(OP_NAME, 2, PREFIX, I64, int64_t)

Definition at line 1362 of file TranslateFromWasm.cpp.

◆ BUILD_NUMERIC_BINOP_INTFP

#define BUILD_NUMERIC_BINOP_INTFP ( OP_NAME,
PREFIX )
Value:
BUILD_NUMERIC_BINOP_INT(OP_NAME, PREFIX) \
BUILD_NUMERIC_BINOP_FP(OP_NAME, PREFIX)
BUILD_NUMERIC_BINOP_INT
#define BUILD_NUMERIC_BINOP_INT(OP_NAME, PREFIX)
Definition TranslateFromWasm.cpp:1362

Definition at line 1372 of file TranslateFromWasm.cpp.

◆ BUILD_NUMERIC_OP

#define BUILD_NUMERIC_OP ( OP_NAME,
N_ARGS,
PREFIX,
SUFFIX,
TYPE )
Value:
template <> \
constexpr bool ExpressionParser::TopLevelInstParserRegistry:: \
hasParserForOpcode<WasmBinaryEncoding::OpCode::PREFIX##SUFFIX> = true; \
template <> \
inline parsed_inst_t ExpressionParser::TopLevelInstParserRegistry:: \
parseInstrWithOpCode<WasmBinaryEncoding::OpCode::PREFIX##SUFFIX>( \
OpBuilder & builder, ExpressionParser & exprParser) { \
return exprParser.buildNumericOp<OP_NAME, TYPE, N_ARGS>(builder); \
}

Definition at line 1350 of file TranslateFromWasm.cpp.

◆ BUILD_NUMERIC_UNARY_OP_FP

#define BUILD_NUMERIC_UNARY_OP_FP ( OP_NAME,
PREFIX )
Value:
BUILD_NUMERIC_OP(OP_NAME, 1, PREFIX, F32, float) \
BUILD_NUMERIC_OP(OP_NAME, 1, PREFIX, F64, double)

Definition at line 1382 of file TranslateFromWasm.cpp.

◆ BUILD_NUMERIC_UNARY_OP_INT

#define BUILD_NUMERIC_UNARY_OP_INT ( OP_NAME,
PREFIX )
Value:
BUILD_NUMERIC_OP(OP_NAME, 1, PREFIX, I32, int32_t) \
BUILD_NUMERIC_OP(OP_NAME, 1, PREFIX, I64, int64_t)

Definition at line 1377 of file TranslateFromWasm.cpp.

◆ BUILD_REINTERPRET_PARSER

#define BUILD_REINTERPRET_PARSER ( WIDTH,
FP_TYPE )
Value:
template <> \
constexpr bool \
ExpressionParser::TopLevelInstParserRegistry::hasParserForOpcode< \
WasmBinaryEncoding::OpCode::reinterpretF##WIDTH##AsI##WIDTH> = true; \
template <> \
inline parsed_inst_t \
ExpressionParser::TopLevelInstParserRegistry::parseInstrWithOpCode< \
WasmBinaryEncoding::OpCode::reinterpretF##WIDTH##AsI##WIDTH>( \
OpBuilder & builder, ExpressionParser & exprParser) { \
return exprParser.buildConvertOp<ReinterpretOp, FP_TYPE, int##WIDTH##_t>( \
builder); \
} \
\
template <> \
constexpr bool \
ExpressionParser::TopLevelInstParserRegistry::hasParserForOpcode< \
WasmBinaryEncoding::OpCode::reinterpretI##WIDTH##AsF##WIDTH> = true; \
template <> \
inline parsed_inst_t \
ExpressionParser::TopLevelInstParserRegistry::parseInstrWithOpCode< \
WasmBinaryEncoding::OpCode::reinterpretI##WIDTH##AsF##WIDTH>( \
OpBuilder & builder, ExpressionParser & exprParser) { \
return exprParser.buildConvertOp<ReinterpretOp, int##WIDTH##_t, FP_TYPE>( \
builder); \
}

Definition at line 1537 of file TranslateFromWasm.cpp.

◆ BUILD_SLICE_EXTEND_PARSER

#define BUILD_SLICE_EXTEND_PARSER ( IT_WIDTH,
EXTRACT_WIDTH )
Value:
template <> \
constexpr bool \
ExpressionParser::TopLevelInstParserRegistry::hasParserForOpcode< \
WasmBinaryEncoding::OpCode::extendI##IT_WIDTH##EXTRACT_WIDTH##S> = \
true; \
template <> \
parsed_inst_t \
ExpressionParser::TopLevelInstParserRegistry::parseInstrWithOpCode< \
WasmBinaryEncoding::OpCode::extendI##IT_WIDTH##EXTRACT_WIDTH##S>( \
OpBuilder & builder, ExpressionParser & exprParser) { \
using inout_t = int##IT_WIDTH##_t; \
auto attr = builder.getUI32IntegerAttr(EXTRACT_WIDTH); \
return exprParser.buildConvertOp<ExtendLowBitsSOp, inout_t, inout_t>( \
builder, attr); \
}
mlir::Builder::getUI32IntegerAttr
IntegerAttr getUI32IntegerAttr(uint32_t value)
Definition Builders.cpp:220

Definition at line 1507 of file TranslateFromWasm.cpp.

◆ BUILD_TRUNC_OP_FOR

#define BUILD_TRUNC_OP_FOR ( SRC_T,
WIDTH )
Value:
BUILD_CONVERSION_OP(SRC_T, int32_t, truncSI32F##WIDTH, TruncSIOp) \
BUILD_CONVERSION_OP(SRC_T, uint32_t, truncUI32F##WIDTH, TruncUIOp) \
BUILD_CONVERSION_OP(SRC_T, int64_t, truncSI64F##WIDTH, TruncSIOp) \
BUILD_CONVERSION_OP(SRC_T, uint64_t, truncUI64F##WIDTH, TruncUIOp)

Definition at line 1491 of file TranslateFromWasm.cpp.

◆ DEBUG_TYPE

#define DEBUG_TYPE   "wasm-translate"

Definition at line 35 of file TranslateFromWasm.cpp.

◆ REGISTER_PARSER_OPCODE_PARSER

#define REGISTER_PARSER_OPCODE_PARSER ( parserType,
opcode,
builderName,
parserName )
Value:
template <> \
constexpr bool parserType::hasParserForOpcode<opcode> = true; \
template <> \
inline parsed_inst_t parserType::parseInstrWithOpCode<opcode>( \
OpBuilder & (builderName), ExpressionParser & (parserName))

Definition at line 1067 of file TranslateFromWasm.cpp.

◆ REGISTER_PRIMARY_WASM_INST_PARSER

#define REGISTER_PRIMARY_WASM_INST_PARSER ( opcode,
builderName,
parserName )
Value:
REGISTER_PARSER_OPCODE_PARSER(ExpressionParser::TopLevelInstParserRegistry, \
opcode, builderName, parserName)
REGISTER_PARSER_OPCODE_PARSER
#define REGISTER_PARSER_OPCODE_PARSER(parserType, opcode, builderName, parserName)
Definition TranslateFromWasm.cpp:1067

Definition at line 1075 of file TranslateFromWasm.cpp.

◆ WASM_SEC_TRANSFORM

#define WASM_SEC_TRANSFORM ( section)
Value:
template <> \
[[maybe_unused]] constexpr const char \
*wasmSectionName<WasmSectionType::section> = #section;

Definition at line 83 of file TranslateFromWasm.cpp.

Generated on for MLIR by doxygen 1.14.0