Intuition for understanding gcc -Og and -Os loop output

Question

Background

I\'ve assumed for a while that gcc will convert while-loops into do-while form. (See Why are loops always compiled into "do...while" style (tail ju