Matchers.h File Reference

#include "llzk/Dialect/Felt/IR/Ops.h"
#include "llzk/Dialect/Struct/IR/Ops.h"
#include <mlir/IR/Matchers.h>
#include <mlir/IR/Operation.h>
#include <mlir/IR/Value.h>

Include dependency graph for Matchers.h:

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

Go to the source code of this file.

Classes
struct	llzk::CommutativeMatcher< LhsMatcher, RhsMatcher, OpTypes >
	This matcher will either match on lhs op rhs or rhs op lhs. More...
struct	llzk::RefValueCapture
	Matches and optionally captures a constrainref base value, which is either a field read or a block argument (i.e., an input to a @constrain or @compute function). More...
struct	llzk::ConstantCapture
	Matches and optionally captures a felt constant. More...

Namespaces
namespace	llzk

Functions
template<typename OpType, typename LhsMatcher, typename RhsMatcher>
auto	llzk::m_CommutativeOp (LhsMatcher lhs, RhsMatcher rhs)
auto	llzk::m_RefValue ()
auto	llzk::m_RefValue (mlir::Value *capture)
auto	llzk::m_Constant ()
auto	llzk::m_Constant (felt::FeltConstantOp *capture)