MLIR  22.0.0git
Namespaces | Functions
WasmSSAInterfaces.cpp File Reference
#include "mlir/Dialect/WasmSSA/IR/WasmSSAInterfaces.h"
#include "mlir/Dialect/WasmSSA/IR/WasmSSA.h"
#include "mlir/IR/Operation.h"
#include "mlir/IR/Visitors.h"
#include "mlir/Support/LLVM.h"
#include "llvm/Support/LogicalResult.h"
#include "mlir/Dialect/WasmSSA/IR/WasmSSAInterfaces.cpp.inc"

Go to the source code of this file.

Namespaces

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

Functions

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...
 
LogicalResult mlir::wasmssa::detail::verifyConstantExpressionInterface (Operation *op)
 Verify that op conforms to the ConstantExpressionInterface. 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...