ConstraintDiagnostics.h File Reference

#include <mlir/IR/Diagnostics.h>
#include <mlir/IR/Operation.h>
#include <llvm/ADT/StringRef.h>
#include <llvm/ADT/Twine.h>

Include dependency graph for ConstraintDiagnostics.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Namespaces
namespace	llzk
namespace	llzk::polymorphic
namespace	llzk::polymorphic::detail
	Common interface for constant parameter-like symbol operations that can be defined within a TemplateOp.

Functions
mlir::LogicalResult	llzk::polymorphic::detail::constraintError (mlir::Operation *site, const llvm::Twine &message)
	Emit the common diagnostic prefix for constraint expansion and storage helpers.

Variables
constexpr llvm::StringLiteral	llzk::polymorphic::detail::CONSTRAINT_DIAGNOSTIC_PREFIX = "llzk-flatten-constraints: "
	Identify expansion diagnostics separately from IR verifier errors.