pub fn known_bits(ops: &[FabricOp]) -> Vec<(u64, u64)>Expand description
The bits of each value its construction fixes, as (mask of known bits, their values): shifts bring in zeros, masks and constants pin bits, a carry row’s bit 0 is zero. A register on a known bit holds a constant, which synthesis removes, so a schedule is charged only for the live bits it holds.