fn collect_loop_guard_upper_bounds(
steps: &FxHashMap<Local, i128>,
copy_sources: &FxHashMap<Local, Local>,
comparisons: &FxHashMap<Local, ComparisonFact>,
) -> FxHashMap<Local, NumericTerm>Expand description
Collect loop-guard upper bounds for induction locals.