pub fn plan_instruction_with(
ast: &PcodeAst,
context: &impl PcodeLoweringContext,
local_sizes: LocalSizes,
) -> Result<PcodePlan, PcodeLowerError>Expand description
Plans ast with local widths the producer has already resolved.
The caller guarantees local_sizes covers every local the body uses; a
missing width is an UnknownSize error at emission, exactly as it is when
the per-instruction inference cannot resolve one.