挙動が仕様通りになるならコンパイラは何やってもいいんだよ（と仕様で決まってる）
マクロだったものに関数呼び出しを仕込むのもコンパイラの自由だ
実際同じ処理の塊があっちこっちに出てきたらまとめて関数（みたいなもの）にするコードサイズ最適化は普通にやる可能性がある