Issues

• Allow ValidationSuite to accept pass instances

  QuEraComputing/kirin#791 · Filter by author yitchen-tim opened on Oct 15, 2026
  

• Explore Phi/Upsilon SSA form for CFG transformations

  QuEraComputing/kirin#779 · Filter by author nrdcid opened on Oct 12, 2026
  1

  

• Concrete interpreter: errors leave stale frames and live activations

  area: interpreterarea: Kirin-rs
  QuEraComputing/kirin#776 · Filter by author zhenrongliew opened on Oct 9, 2026
  

• Add support for lowering IfExp node

  QuEraComputing/kirin#774 · Filter by author tahoe-quera opened on Oct 9, 2026

• ilist.map with an impure body over a literal-length collection is never unrolled or folded (post-inference Unroll never reaches nested statements)

  area: compiler passarea: dialect IListcategory: bugpriority: high
  Bug

  QuEraComputing/kirin#766 · Filter by author kaihsin opened on Oct 4, 2026
  2

  

• const.Propagate: a call cut off at max_depth is treated as pure, so impure ilist function values run at compile time

  QuEraComputing/kirin#765 · Filter by author weinbe58 opened on Oct 3, 2026

• Lower for loops over ILists to loops over an integer cursor

  C-feature-request
  QuEraComputing/kirin#758 · Filter by author weinbe58 opened on Sep 29, 2026

• cf lowering of for loops drops assignments to outer variables the body never reads

  QuEraComputing/kirin#745 · Filter by author weinbe58 opened on Sep 28, 2026

• Specialization of ir.Method

  P-High
  QuEraComputing/kirin#734 · Filter by author kaihsin opened on Sep 11, 2026
  

• Serialization of frozenset-backed dialect groups is nondeterministic across processes

  QuEraComputing/kirin#731 · Filter by author jasonhan3 opened on Sep 8, 2026

• Kirin kernel debugger

  QuEraComputing/kirin#714 · Filter by author jasonhan3 opened on Aug 29, 2026

• wrong behavior for lambda with mutated captured variable

  category: bug
  QuEraComputing/kirin#705 · Filter by author kaihsin opened on Aug 14, 2026
  

• CallGraph.__build recurses without a visited set: RecursionError on recursive call graphs

  QuEraComputing/kirin#703 · Filter by author weinbe58 opened on Aug 13, 2026

• PEP 604 unions (T | None) do not preserve IList length through ilist.map

  QuEraComputing/kirin#692 · Filter by author jasonhan3 opened on Aug 4, 2026

• verify() does not check dialect-group membership of statements

  QuEraComputing/kirin#685 · Filter by author weinbe58 opened on Jul 15, 2026

• Incorrect fold across CFG join block argument after inlining

  category: bug
  QuEraComputing/kirin#681 · Filter by author nkanazawa1989 opened on Jul 1, 2026

• CallGraph analysis misses ilist.map (and other higher-order) calls; needs a call-discovery trait

  area: compiler passarea: dialect IListarea: traitcategory: analysisS-needs-triage
  QuEraComputing/kirin#679 · Filter by author weinbe58 opened on Jun 24, 2026
  1

  

• Clarify @dialect.canonicalize vs @dialect.post_inference semantics — rules applied un-walked; add a walk option

  category: enhancementexperience: needs designpriority: medium
  QuEraComputing/kirin#676 · Filter by author weinbe58 opened on Jun 23, 2026
  4

• composable Python AST lowering

  area: Kirin-rsarea: loweringarea: python loweringarea: Rustpriority: medium
  QuEraComputing/kirin#669 · Filter by author Roger-luo opened on Jun 12, 2026
  

• dynamic Python dialect

  area: Kirin-rsarea: Rustpriority: medium
  QuEraComputing/kirin#668 · Filter by author Roger-luo opened on Jun 12, 2026

• liveness analysis

  area: interpreterarea: Kirin-rsarea: Rust
  QuEraComputing/kirin#667 · Filter by author Roger-luo opened on Jun 12, 2026
  1

  

• new interpreter framework

  area: Kirin-rsarea: Rustcategory: featurepriority: high
  QuEraComputing/kirin#665 · Filter by author Roger-luo opened on Jun 12, 2026
  

• basic IR rewrite APIs

  area: Kirin-rsarea: Rustcategory: feature
  QuEraComputing/kirin#664 · Filter by author Roger-luo opened on Jun 12, 2026
  

• kernel function with attribute

  category: feature
  QuEraComputing/kirin#663 · Filter by author kaihsin opened on Jun 12, 2026

• CSE crashes when a py.constant wraps an unhashable value

  area: compiler passcategory: bug
  QuEraComputing/kirin#662 · Filter by author zhenrongliew opened on Jun 11, 2026