Skip to main content

decision_fabric_from_source

Function decision_fabric_from_source 

Source
pub fn decision_fabric_from_source(src: &str, fn_name: &str) -> DecisionFabric
Expand description

The Futamura P1 lowering for a branchy decision. Compile src, take function fn_name’s straight-line-with-branches body (entry .. Return), and if-convert it to a combinational select-DAG: parameters become circuit inputs, every If a Select. Panics on a shape outside the compare/arith/branch family (the honest boundary — loops map to a CGRA, division to a separate functional unit).