Cranelift lowering via lower_source
Platform spec ADR
Cranelift lowering via lower_source
Spec standingStandard
- Contracts and edge cases Normative guarantees and known edge cases for `Lowering contract`.
- Design model Conceptual model for `Lowering contract` and its subsystem boundaries.
- Examples Practical examples that demonstrate `Lowering contract` behavior.
- FAQ and troubleshooting Common questions and debugging guidance for `Lowering contract`.
- Flow and algorithm End-to-end control flow and major algorithmic steps for `Lowering contract`.
- Verification and traceability How `Lowering contract` requirements map to tests and implementation anchors.
0 revisions (git unavailable at build; counts may be empty)
No commits recorded for this path.
| Section id | Required | Found |
|---|---|---|
what-this-feature-specifies | yes | yes |
implementation-anchors | yes | yes |
Full tree: run pnpm verify:platform-spec-layout (writes src/generated/platform-spec-layout-report.json).
Context
Section titled “Context”Lowering was split across experimental paths.
Decision
Section titled “Decision”beskid_codegen::lower_source is the single lowering entry producing CodegenArtifact consumed by JitModule.
Consequences
Section titled “Consequences”Experimental IR dumps must not bypass this entry in release builds.
Verification anchors
Section titled “Verification anchors”compiler/crates/beskid_codegencompiler/crates/beskid_engine/src/jit_module.rs.