DialectRegistration.h File Reference

Declares dialect and pass registration functions for core LLZK dialects. More...

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

Go to the source code of this file.

Namespaces
namespace	mlir
namespace	llzk

Functions
void	llzk::registerDialects (mlir::DialectRegistry &registry)
	Register core LLZK dialects, the MLIR arith, scf, and smt dialects, and verification extensions in registry.
void	llzk::registerPasses (mlir::DialectRegistry &registry)
	Register LLZK analysis, validation, and transformation passes and pipelines, SMT conversion passes, and MLIR transformation passes in the global pass registry.

Detailed Description

Declares dialect and pass registration functions for core LLZK dialects.

Definition in file DialectRegistration.h.