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
	mlir
	Include the generated interface declarations.
	mlir::wasmssa
	mlir::wasmssa::detail

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