Skip to main content

while_fabric_from_source

logicaffeine_compile::codegen_sva::fabric_rtl

Function while_fabric_from_source 

Source 
pub fn while_fabric_from_source(src: &str, fn_name: &str) -> WhileFabric
Expand description

Recover the while loop in fn_name and lower it to a WhileFabric. The header (the back-edge target) computes the continue predicate; the body (to the back-edge) if-converts.