WasmSSAInterfaces.h File Reference

#include "mlir/IR/BuiltinAttributes.h"
#include "mlir/IR/OpDefinition.h"
#include "mlir/Dialect/WasmSSA/IR/WasmSSAInterfaces.h.inc"

Go to the source code of this file.

Classes
struct	mlir::wasmssa::ConstantExprOpTrait< OperationType >
	Operations implementing this trait are considered as valid constant expressions in any context (In contrast of ConstantExprCheckOpInterface which are sometimes considered valid constant expressions. More...
struct	mlir::wasmssa::ConstantExpressionInitializerOpTrait< OpType >
	Trait used to verify operations that need a constant expression initializer. More...

Namespaces
namespace	mlir
	Include the generated interface declarations.
namespace	mlir::wasmssa
namespace	mlir::wasmssa::detail

Functions
LogicalResult	mlir::wasmssa::detail::verifyConstantExpressionInterface (Operation *op)
	Verify that op conforms to the ConstantExpressionInterface.
LogicalResult	mlir::wasmssa::detail::verifyLabelBranchingOpInterface (Operation *op)
	Verify that op conforms to the LabelBranchingOpInterface Checks that the branching is targetting something within its scope.
template<typename OpType>
LogicalResult	mlir::wasmssa::detail::verifyLabelLevelInterfaceIsTerminator ()
	Verify that op conforms to LabelLevelInterfaceIsTerminator.
LogicalResult	mlir::wasmssa::detail::verifyLabelLevelInterface (Operation *op)
	Verify that op conforms to the LabelLevelInterface op's target should defined at the same scope level.