loopinvariant.ll 2.38 KB