Convert another post-decrement while-loop to pre-decrement for consistency

and better generated code (on both GCC and CLang).