llzk::polymorphic::detail::ConstraintScalarFacts Class Reference

Evaluate scalar dependencies of structural decisions, assertions, and constant arithmetic. More...

#include <ConstraintScalarFacts.h>

Public Member Functions
	ConstraintScalarFacts ()=default
	ConstraintScalarFacts (mlir::MLIRContext *)
mlir::Attribute	known (mlir::Value value)
	Evaluate pure SSA dependencies and casts whose fold hooks prove validity.
std::optional< int64_t >	integer (mlir::Value value)
	Require an integer representable by concrete access paths and signed loops.

Detailed Description

Evaluate scalar dependencies of structural decisions, assertions, and constant arithmetic.

Definition at line 22 of file ConstraintScalarFacts.h.

Constructor & Destructor Documentation

ConstraintScalarFacts() [1/2]

llzk::polymorphic::detail::ConstraintScalarFacts::ConstraintScalarFacts ( )

default

ConstraintScalarFacts() [2/2]

llzk::polymorphic::detail::ConstraintScalarFacts::ConstraintScalarFacts ( mlir::MLIRContext * )

inlineexplicit

Definition at line 45 of file ConstraintScalarFacts.h.

Member Function Documentation

integer()

std::optional< int64_t > llzk::polymorphic::detail::ConstraintScalarFacts::integer ( mlir::Value value )

inline

Require an integer representable by concrete access paths and signed loops.

Definition at line 88 of file ConstraintScalarFacts.h.

known()

mlir::Attribute llzk::polymorphic::detail::ConstraintScalarFacts::known ( mlir::Value value )

inline

Evaluate pure SSA dependencies and casts whose fold hooks prove validity.

An explicit worklist also handles long iteration-dependent expression chains.

Definition at line 49 of file ConstraintScalarFacts.h.

---

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

• lib/Dialect/Polymorphic/Transforms/ConstraintScalarFacts.h