required-invariant-loop-bounds.ll 2.49 KB