LLZKValidationPasses.capi.cpp.inc

Go to the documentation of this file.

/* Autogenerated by mlir-tblgen; don't manually edit. */
//===----------------------------------------------------------------------===//
// LLZKValidation Group Registration
//===----------------------------------------------------------------------===//
 
void mlirRegisterLLZKValidationPasses(void) {
  registerLLZKValidationPasses();
}
 
MlirPass mlirCreateLLZKValidationFieldWriteValidatorPass(void) {
  return wrap(llzk::createFieldWriteValidatorPass().release());
}
void mlirRegisterLLZKValidationFieldWriteValidatorPass(void) {
  registerFieldWriteValidatorPass();
}