tree 96685162dc6d687f75ba75ed18ef12af05507f0b
parent d32006bee9e70058c83ac57414f7fcf799f97a82
author Wan-Teh Chang <wtc@google.com> 1679520753 -0700
committer Wan-Teh Chang <wtc@google.com> 1679525972 +0000

Move loop invariants to the outside of loops

Change-Id: Ieb164c19c05b811572a92394a5bd07bd1f00855f