VerificationUtils.h File Reference

#include "mlir/IR/BuiltinTypes.h"
#include "mlir/IR/Operation.h"
#include "mlir/Support/LLVM.h"

Go to the source code of this file.

Namespaces
namespace	mlir
	Include the generated interface declarations.

Functions
LogicalResult	mlir::verifyDynamicDimensionCount (Operation *op, ShapedType type, ValueRange dynamicSizes)
	Verify that the number of dynamic size operands matches the number of dynamic dimensions in the shaped type.
LogicalResult	mlir::verifyRanksMatch (Operation *op, ShapedType lhs, ShapedType rhs, StringRef lhsName, StringRef rhsName)
	Verify that two shaped types have matching ranks.
LogicalResult	mlir::verifyElementTypesMatch (Operation *op, ShapedType lhs, ShapedType rhs, StringRef lhsName, StringRef rhsName)
	Verify that two shaped types have matching element types.