OpTraits.cpp File Reference

#include "llzk/Dialect/Function/IR/OpTraits.h"
#include "llzk/Dialect/Function/IR/Ops.h"
#include "llzk/Dialect/Polymorphic/IR/Ops.h"
#include "llzk/Dialect/Shared/OpHelpers.h"
#include "llzk/Dialect/Verif/IR/Ops.h"
#include <mlir/IR/Operation.h>
#include <mlir/Support/LLVM.h>
#include <llvm/ADT/StringRef.h>

Include dependency graph for OpTraits.cpp:

Go to the source code of this file.

Namespaces
namespace	llzk
namespace	llzk::function

Functions
LogicalResult	llzk::function::verifyConstraintGenTraitImpl (Operation *op)
LogicalResult	llzk::function::verifyWitnessGenTraitImpl (Operation *op)
LogicalResult	llzk::function::verifyNotFieldNativeTraitImpl (Operation *op)
LogicalResult	llzk::function::verifyVerificationTraitImpl (Operation *op, llvm::function_ref< LogicalResult()> check)