An unknown value. More...

#include <Evaluator.h>

Inheritance diagram for circt::om::evaluator::UnknownValue:

[legend]

Collaboration diagram for circt::om::evaluator::UnknownValue:

[legend]

Public Member Functions
	UnknownValue (MLIRContext *ctx, Location loc)
	Create a value representing unknown information.

LogicalResult	finalizeImpl ()

Public Member Functions inherited from circt::om::evaluator::EvaluatorValue
	EvaluatorValue (MLIRContext *ctx, Kind kind, Location loc)

Kind	getKind () const

MLIRContext *	getContext () const

bool	isFullyEvaluated () const

void	markFullyEvaluated ()

MLIRContext *	getContext ()
	Return the associated MLIR context.

Type	getType () const

LogicalResult	finalize ()

Location	getLoc () const

void	setLoc (Location l)

void	setLocIfUnknown (Location l)

Static Public Member Functions
static bool	classof (const EvaluatorValue *e)

Additional Inherited Members
Public Types inherited from circt::om::evaluator::EvaluatorValue
enum class	Kind { Attr , Object , List , Reference , BasePath , Path , Unknown }

Detailed Description

An unknown value.

This is used by users of the evaluator to mark object parameters that they do not care to evaluate or about values which it fans out to. Pratically, a user is expected to set the parameters they care about to non-unknown values and the ones they don't to unknown. The results that are computable given this configuration will then be non-unknown.

Definition at line 345 of file Evaluator.h.

Constructor & Destructor Documentation

◆ UnknownValue()

circt::om::evaluator::UnknownValue::UnknownValue	(	MLIRContext *	ctx,
		Location	loc
	)

inline

Create a value representing unknown information.

This value is always fully evaluated and finalized. There is no further processing required.

Definition at line 348 of file Evaluator.h.

References circt::om::evaluator::EvaluatorValue::finalize(), and circt::om::evaluator::EvaluatorValue::markFullyEvaluated().

Member Function Documentation

◆ classof()

static bool circt::om::evaluator::UnknownValue::classof ( const EvaluatorValue * e )

inlinestatic

Definition at line 354 of file Evaluator.h.

References circt::om::evaluator::EvaluatorValue::getKind(), and circt::om::evaluator::EvaluatorValue::Unknown.

◆ finalizeImpl()

LogicalResult circt::om::evaluator::UnknownValue::finalizeImpl ( )

inline

Definition at line 358 of file Evaluator.h.

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

/home/runner/work/circt-www/circt-www/circt_src/include/circt/Dialect/OM/Evaluator/Evaluator.h

Public Member Functions