mkazantsev added a comment.
The loops in form that are depicted here are not `while (cond) {...}` loops. They are `do - while` loops, and for them what you are doing is wrong.
CHANGES SINCE LAST ACTION
https://reviews.llvm.org/D143705/new/
https://reviews.llvm.org/D143705