API reference

python:arxjit:arxjit.lowering

module lowering

arxjit.lowering

Source: packages/arxjit/src/arxjit/lowering.py:1

Python AST to ASTx lowering for arxjit.

Fourth stage of the arxjit pipeline: turn the ast node of a validated function, plus the Signature reconciliation settled on, into the astx module IRx compiles. Dispatch is by node type via plum, matching the visitor convention used across the Arx packages. What is lowered so far is the function shell โ€” the prototype and its typed arguments โ€” and straight-line expressions: literals, parameter reads, arithmetic and unary operators, and single comparisons. Boolean operators and chained comparisons fail closed until control-flow lowering can preserve their short-circuit behavior. Where an expression is not lowered at a type its context declares, the type is inferred from the expression itself, over a scope holding the parameters. Local assignments and control flow follow in later stages, and until then any other construct fails closed with LoweringError. The decorator does not call this stage yet, so nothing here changes what @jit does; that wiring lands once the lowerer covers the whole validated subset.

Functions

Search documentation

Type to search.