gcc下为什么while要被翻译成if do while

csapp200页的一个问题 说是while loop翻译到汇编就变成ifdowhile的形式了 要是不用ifdowhile直接这样写我觉得效率上没什么不同啊
loop:
t=test_expr;
If(!t) goto done;
body_statement
goto loop;
done:

gcc把代码翻译成机器代码了，无所谓什么while还是if do while
但是你从相同的汇编代码看不出原始代码用的是什么，所以反编译程序在反编译的时候反回来可能和你原始的写法不同。

难道没有解释吗，你看的

do ... while， if...do...while 都是做同一件事了：判断条件，根据条件决定是否执行循环体。