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.