Skip to content

Abc

AttrTrait dataclass 

AttrTrait()

Bases: Trait['ir.Attribute']


              flowchart TD
              kirin.ir.traits.abc.AttrTrait[AttrTrait]
              kirin.ir.traits.abc.Trait[Trait]

                              kirin.ir.traits.abc.Trait --> kirin.ir.traits.abc.AttrTrait
                


              click kirin.ir.traits.abc.AttrTrait href "" "kirin.ir.traits.abc.AttrTrait"
              click kirin.ir.traits.abc.Trait href "" "kirin.ir.traits.abc.Trait"

Base class for all attribute traits.

RegionGraph dataclass 

RegionGraph()

Bases: StmtTrait, Generic[GraphType]


              flowchart TD
              kirin.ir.traits.abc.RegionGraph[RegionGraph]
              kirin.ir.traits.abc.StmtTrait[StmtTrait]
              kirin.ir.traits.abc.Trait[Trait]

                              kirin.ir.traits.abc.StmtTrait --> kirin.ir.traits.abc.RegionGraph
                                kirin.ir.traits.abc.Trait --> kirin.ir.traits.abc.StmtTrait
                



              click kirin.ir.traits.abc.RegionGraph href "" "kirin.ir.traits.abc.RegionGraph"
              click kirin.ir.traits.abc.StmtTrait href "" "kirin.ir.traits.abc.StmtTrait"
              click kirin.ir.traits.abc.Trait href "" "kirin.ir.traits.abc.Trait"

A trait that indicates the properties of the statement's region.

RegionInterpretationTrait dataclass 

RegionInterpretationTrait()

Bases: StmtTrait


              flowchart TD
              kirin.ir.traits.abc.RegionInterpretationTrait[RegionInterpretationTrait]
              kirin.ir.traits.abc.StmtTrait[StmtTrait]
              kirin.ir.traits.abc.Trait[Trait]

                              kirin.ir.traits.abc.StmtTrait --> kirin.ir.traits.abc.RegionInterpretationTrait
                                kirin.ir.traits.abc.Trait --> kirin.ir.traits.abc.StmtTrait
                



              click kirin.ir.traits.abc.RegionInterpretationTrait href "" "kirin.ir.traits.abc.RegionInterpretationTrait"
              click kirin.ir.traits.abc.StmtTrait href "" "kirin.ir.traits.abc.StmtTrait"
              click kirin.ir.traits.abc.Trait href "" "kirin.ir.traits.abc.Trait"

A trait that indicates the execution convention of the statement's region.

For example, a region is SSA CFG if it follows SSA form and has a control flow graph. This trait also indicates that there is an available implementation of the trait in each interpreter.

StmtTrait dataclass 

StmtTrait()

Bases: Trait['ir.Statement'], ABC


              flowchart TD
              kirin.ir.traits.abc.StmtTrait[StmtTrait]
              kirin.ir.traits.abc.Trait[Trait]

                              kirin.ir.traits.abc.Trait --> kirin.ir.traits.abc.StmtTrait
                


              click kirin.ir.traits.abc.StmtTrait href "" "kirin.ir.traits.abc.StmtTrait"
              click kirin.ir.traits.abc.Trait href "" "kirin.ir.traits.abc.Trait"

Base class for all statement traits.

Trait dataclass 

Trait()

Bases: ABC, Generic[IRNodeType]


              flowchart TD
              kirin.ir.traits.abc.Trait[Trait]

              

              click kirin.ir.traits.abc.Trait href "" "kirin.ir.traits.abc.Trait"

Base class for all statement traits.