Skip to main content

compile_to_config_table_on_target

Function compile_to_config_table_on_target 

Source
pub fn compile_to_config_table_on_target(
    sources: &[(&str, &str)],
    target: &FabricTarget,
    width: u32,
    cfg_width: u32,
) -> Result<ConfigTable, Unplaceable>
Expand description

Compile a whole program corpus onto ONE described array: if-convert each (source, function) to a decision island and place it THROUGH target, so every island shares the described shape. The resulting ConfigTable is certifiable by super::fabric_config::certify_config_table — config == k ⇒ the described array ≡ island k, for ALL inputs — the ADL’s retarget-a-corpus-onto-a-chosen-shape payoff. Returns a typed Unplaceable if any datapath needs a capability the target lacks or does not fit.