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...

#include <Matchers.h>

Public Member Functions
	RefValueCapture (mlir::Value *capture)

bool	match (mlir::Value v)

Public Attributes
mlir::Value *	what

Detailed Description

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).

Definition at line 53 of file Matchers.h.

Constructor & Destructor Documentation

◆ RefValueCapture()

llzk::RefValueCapture::RefValueCapture ( mlir::Value * capture )

inline

Definition at line 55 of file Matchers.h.

Member Function Documentation

◆ match()

bool llzk::RefValueCapture::match ( mlir::Value v )

inline

Definition at line 57 of file Matchers.h.

Member Data Documentation

◆ what

mlir::Value* llzk::RefValueCapture::what

Definition at line 54 of file Matchers.h.

The documentation for this struct was generated from the following file:

include/llzk/Analysis/Matchers.h

Public Member Functions