FixedPoint

class FixedPoint(*args, **kwargs)

Check if a property reached a fixed point.

A dummy analysis pass that checks if a property reached a fixed point. The results is saved in property_set['<property>_fixed_point'] as a boolean.

FixedPoint initializer.

Parameters

property_to_check (str) – The property to check if a fixed point was reached.

Attributes

FixedPoint.is_analysis_pass	Check if the pass is an analysis pass.
FixedPoint.is_transformation_pass	Check if the pass is a transformation pass.

Methods

FixedPoint.name()	Return the name of the pass.
FixedPoint.run(dag)	Run the FixedPoint pass on dag.