Skip to content

kirin-toolchain

Index

Initializing search

kirin-toolchain

Home
Cookbook
Blog
API Reference

kirin-toolchain

kirin-toolchain

Home
Home
- Installation
- Declarations
- Interpretation
- Analysis
- Dialects
  Dialects
  - Python
    
    Python
    
    Core
    
    Data
    
    Syntax Sugar
    
    Special Functions
  - Function
  - Control Flow
  - Structural Control Flow
  - Immutable List
- Compiler 101
- Contributing
Cookbook
Cookbook
- examples
  examples
  - Food Dialect
    Food Dialect
    
    Advanced Rewriting
    
    Food Pricing Analysis Pass
    
    Receipt Codegen
  - Pauli Algebra
Blog
Blog
- Archive
  Archive
  - 2025
API Reference
API Reference
- Prelude
- IR
  IR
  - Nodes
    
    Nodes
    
    Base
    
    Block
    
    Region
    
    Stmt
    
    View
  - SSA values
  - Attributes
    
    Attributes
    
    Abc
    
    Data
    
    Py
    
    Types
  - Traits
    
    Traits
    
    Abc
    
    Basic
    
    Callable
    
    Symbol
    
    Region
    
    Region
    
    Ssacfg
  - Dialect
  - Dialect Group
  - Method
- Interpreter
  Interpreter
  - Abstract
  - Base
  - Concrete
  - Exceptions
  - Frame
  - Impl
  - State
  - Table
  - Value
- Python Lowering
  Python Lowering
  - Abc
  - Exception
  - Frame
  - State
  - Stream
  - Python
    
    Python
    
    Binding
    
    Dialect
    
    Glob
    
    Lowering
    
    Traits
- Analysis
  Analysis
  - CFG
  - Call Graph
  - Forward Dataflow
  - Type Inference
    
    Type Inference
    
    Analysis
    
    Solve
  - Constant Propagation
    
    Constant Propagation
    
    Lattice
    
    Prop
- Rewrite
  Rewrite
  - Generic
    
    Generic
    
    Abc
    
    Alias
    
    Apply type
    
    Call2invoke
    
    Chain
    
    Compactify
    
    Cse
    
    Dce
    
    Fixpoint
    
    Fold
    
    Getfield
    
    Getitem
    
    Inline
    
    Type assert
    
    Walk
    
    Wrap const
    
    Aggressive
    
    Aggressive
    
    Fold
  - Rules
- Method Pass
  Method Pass
  - Abc
  - Canonicalize
  - Default
  - Fold
  - Hint const
  - Inline
  - Post inference
  - Typeinfer
  - Aggressive
    
    Aggressive
    
    Fold
- Code Generation
- Pretty Printing
  Pretty Printing
  - Printable
  - Printer
- IR declaration
  IR declaration
  - Base
  - Camel2snake
  - Info
  - Scan fields
  - Verify
  - Emit
    
    Emit
    
    Check type
    
    Dialect
    
    Init
    
    Name
    
    Property
    
    Repr
    
    Traits
    
    Verify
- Exceptions
- Data Structures
  Data Structures
  - Lattice
  - Graph
  - IdTable
  - Source
  - WorkList

Table of contents

ir

Index

IR module for kirin.

This module contains the data structure definition of the intermediate representation (IR) for kirin.

Copyright © 2024 Kirin contributors

Made with Material for MkDocs