Skip to content

Fixpoint

Fixpoint dataclass 

Fixpoint(rule: RewriteRule, max_iter: int = 32)

Bases: RewriteRule


              flowchart TD
              kirin.rewrite.fixpoint.Fixpoint[Fixpoint]
              kirin.rewrite.abc.RewriteRule[RewriteRule]

                              kirin.rewrite.abc.RewriteRule --> kirin.rewrite.fixpoint.Fixpoint
                


              click kirin.rewrite.fixpoint.Fixpoint href "" "kirin.rewrite.fixpoint.Fixpoint"
              click kirin.rewrite.abc.RewriteRule href "" "kirin.rewrite.abc.RewriteRule"

Apply a rewrite rule until a fixpoint is reached.

The rewrite rule is applied to the node until the rewrite rule does not do anything.

Parameters
  • map: The rewrite rule to apply.
  • max_iter: The maximum number of iterations to apply the rewrite rule. Default is 32.