llzk::IntervalAnalysisContext Struct Reference

Parameters and shared objects to pass to child analyses. More...

#include <IntervalAnalysis.h>

Collaboration diagram for llzk::IntervalAnalysisContext:

Public Member Functions
llvm::SMTExprRef	getSymbol (const SourceRef &r) const
bool	hasField () const
const Field &	getField () const
bool	doInputConstraintPropagation () const
bool	doTrackUnreducedIntervals () const

Public Attributes
IntervalDataFlowAnalysis *	intervalDFA
llvm::SMTSolverRef	smtSolver
std::optional< std::reference_wrapper< const Field > >	field
bool	propagateInputConstraints = false
bool	trackUnreducedIntervals = false

Friends
bool	operator== (const IntervalAnalysisContext &a, const IntervalAnalysisContext &b)=default

Detailed Description

Parameters and shared objects to pass to child analyses.

Definition at line 481 of file IntervalAnalysis.h.

Member Function Documentation

doInputConstraintPropagation()

bool llzk::IntervalAnalysisContext::doInputConstraintPropagation ( ) const

inline

Definition at line 494 of file IntervalAnalysis.h.

doTrackUnreducedIntervals()

bool llzk::IntervalAnalysisContext::doTrackUnreducedIntervals ( ) const

inline

Definition at line 495 of file IntervalAnalysis.h.

getField()

const Field & llzk::IntervalAnalysisContext::getField ( ) const

inline

Definition at line 490 of file IntervalAnalysis.h.

getSymbol()

llvm::SMTExprRef llzk::IntervalAnalysisContext::getSymbol ( const SourceRef & r ) const

inline

Definition at line 488 of file IntervalAnalysis.h.

hasField()

bool llzk::IntervalAnalysisContext::hasField ( ) const

inline

Definition at line 489 of file IntervalAnalysis.h.

Friends And Related Symbol Documentation

operator==

bool operator== ( const IntervalAnalysisContext & a, const IntervalAnalysisContext & b )

friend

Member Data Documentation

field

std::optional<std::reference_wrapper<const Field> > llzk::IntervalAnalysisContext::field

Definition at line 484 of file IntervalAnalysis.h.

intervalDFA

IntervalDataFlowAnalysis* llzk::IntervalAnalysisContext::intervalDFA

Definition at line 482 of file IntervalAnalysis.h.

propagateInputConstraints

bool llzk::IntervalAnalysisContext::propagateInputConstraints = false

Definition at line 485 of file IntervalAnalysis.h.

smtSolver

llvm::SMTSolverRef llzk::IntervalAnalysisContext::smtSolver

Definition at line 483 of file IntervalAnalysis.h.

trackUnreducedIntervals

bool llzk::IntervalAnalysisContext::trackUnreducedIntervals = false

Definition at line 486 of file IntervalAnalysis.h.

---

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

• include/llzk/Analysis/IntervalAnalysis.h