Expand description
JIT pipeline: Cranelift detector, IR normalisation, PTX codegen, kernel cache, deopt.
§Unstable surface — pliron_* modules
The pliron_dialect, pliron_lowering, and pliron_ptx modules (and
any other pliron_* module exposed by this crate) are an in-progress
implementation surface for the W3.x / W4.x cuda-oxide backend tracked
in RFC 0001. They contain
several hundred lines of NotYetWired scaffolding stubs that exist only
so the v0.4 author has a target to fill in. They are deliberately
#[doc(hidden)] to keep them out of the rendered docs.rs surface, and
they are NOT covered by semver compatibility until tensor-wasm-jit
reaches 1.0 — any name, signature, or behaviour inside a pliron_*
module is liable to change in a 0.x.y patch release without notice.
External consumers should not import from them.
Modules§
- blueprint_
adapter LoweredFunction → TensorWasmKernelBlueprintadapter.- cache
- Compiled-kernel cache.
- clif_
lower - Lower a
crate::detector::BlockIRinto acrate::ir::TensorWasmKernelBlueprint. - deopt
- Deoptimisation guard.
- detector
- GPU-offload-candidate detector.
- differential
- Differential correctness oracle (roadmap feature #6).
- ir
TensorWasmIR— a normalised IR easier to lower to PTX than raw CLIF/Wasm.- lower_
arith - Lower Cranelift integer-arithmetic opcodes to
crate::lowered_ir::LoweredOp. - lower_
cf - L4 — control-flow lowering family: Cranelift control-flow ops →
crate::lowered_ir::LoweredOp. - lower_
conv - Conversion-family lowering (wave-1 L6).
- lower_
float - Float-family Cranelift→
LoweredOplowering (wave 1, task L2). - lower_
memory - Wave-1 memory-family lowering — Cranelift IR memory ops to
crate::lowered_ir::LoweredOp. - lower_
signature - Cranelift
Signature→crate::lowered_ir::LoweredSignatureconversion (wave 2 of the Pliron pipeline, task W2.2). - lower_
vector - Vector / SIMD lowering family (wave 1, L5).
- lowered_
ir LoweredOp— the pure-Rust interim IR between Cranelift IR and Plirondialect-mir.- lowering_
builder - SSA value-id allocator + Cranelift → lowered-id maps for the wave-2 lowering driver.
- lowering_
driver - Module-level lowering driver (wave-2 task W2.4).
- lowering_
errors - Structured errors produced by the Cranelift →
LoweredFunctionlowering pipeline (RFC 0001 wave 2). - lowering_
test_ support - Internal test fixtures for the lowering passes.
- ptx_
emit - PTX text emitter.
- registry
- Signed kernel registry (roadmap feature #3).
- reject_
list - Reject-list detector for the Pliron
dialect-mirlowering pipeline. - rewrite
- Wasm-to-Wasm rewrite that swaps offload-candidate function bodies with host-import calls to the JIT dispatch service.