pub fn eval_loop_body(lf: &LoopFabric, bin: &[i64], seq: &[i64]) -> Vec<i64>Expand description
Evaluate ONE execution of a loop fabric’s body over bin (the body-input convention: 0..n_state =
the current state, n_state = the induction variable, then the invariants), returning every SSA value.
The single oracle every pipelined / metapipelined model of the body is checked against.