上godbolt.org玩一玩
O2開下去，compiler產生的assembly遠超乎你的想像
（注：不要用MSVC)
舉個例，寫個loop從累加1～n
for(int i=1; i<=n; cnt+=i++);
LLVM產生的是n(n+1)/2
再舉個例，判斷一個char是否為數字
一般我們寫isdigit(char ch)
展開後是ch >=‘0’ && ch <=‘9’
總共兩個branch運算
新的GCC/LLVM產生的assembly則是
ch -= ‘0’
ch <= ‘9’
compiler聰明的運用溢位的特性
產生出只有一個branch的assembly
這不是什麼黑科技，compiler在好幾年前就有這樣的能力
更多例子，請上youtube找cppcon演講