Module simd_plan 

Static type and node-variant qualification for scalar-flow SIMD promotion.

This module does not rewrite a graph. It establishes the production boundary a rewrite must pass before it may form a packet plan: an explicit scalar-node contract, a supported scalar/register lane shape, pure nodes, and exact register-typed I/O. Final Cranelift compilation remains the authoritative lowering probe.

Structs

SimdTypeShape

A scalar type’s fixed 128-bit Polydat register representation.

ValidatedSimdVariant

A scalar node whose declared register variant has passed static shape and semantic validation. It still needs whole-cone Cranelift compilation.

Enums

SimdLaneKind

Interpretation of scalar values sharing one physical register lane shape.

SimdVariantError

Why a scalar node’s declared register variant was not accepted.

Functions

promotable_type_shape

Physically representable fixed-width shapes for the first promotion tier.

validate_simd_variant

Validate an instantiated scalar node and its declared register node.