LLZKValidationPasses.cpp File Reference

This file contains the implementation for the -llzk-validate-field-writes pass. More...

#include "llzk/Dialect/Function/IR/Ops.h"
#include "llzk/Validators/LLZKValidationPasses.h"
#include <mlir/IR/BuiltinOps.h>
#include "llzk/Validators/LLZKValidationPasses.h.inc"

Include dependency graph for LLZKValidationPasses.cpp:

Go to the source code of this file.

Classes
class	llzk::impl::FieldWriteValidatorPassBase< DerivedT >

Namespaces
namespace	llzk
namespace	llzk::impl

Macros
#define	GEN_PASS_DEF_FIELDWRITEVALIDATORPASS

Detailed Description

This file contains the implementation for the -llzk-validate-field-writes pass.

Definition in file LLZKValidationPasses.cpp.

Macro Definition Documentation

GEN_PASS_DEF_FIELDWRITEVALIDATORPASS

#define GEN_PASS_DEF_FIELDWRITEVALIDATORPASS

Definition at line 23 of file LLZKValidationPasses.cpp.