|
MLIR 22.0.0git
|
#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 | |
| namespace | mlir |
| Include the generated interface declarations. | |
| namespace | mlir::wasmssa |
| namespace | 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. | |
| LogicalResult | mlir::wasmssa::detail::verifyConstantExpressionInterface (Operation *op) |
| Verify that op conforms to the ConstantExpressionInterface. | |
| LogicalResult | mlir::wasmssa::detail::verifyLabelLevelInterface (Operation *op) |
| Verify that op conforms to the LabelLevelInterface op's target should defined at the same scope level. | |