ホワット・ア・ワンダフル・ワールド GCC の末尾再帰最適化まとめ

参照 : gcc/tree-tailcall.c 要するに，GCC がジャンプに最適化できる再帰呼び出しは，以下のようなパターンの組み合わせにプログラム変換可能な場合 (あと static 変数とか extern 変数とか大域変数とか，sjlj (GCC 内部での例外というか unwind の実装というか setjmp/longjmp) 呼び出しとか，とにかく副作用が入ってたら全て駄目)． ※ 追記 : 副作用という言い方は曖昧でした．入出力とかはたぶん大丈夫．ローカルじゃない変数に対する読みだしとか書き込みとか，途中で大域ジャンプとかの可能性が混じると，GCC は最適化を諦めます．suitable_for_tail_opt_p () という関数で最適化するか否かを決めているみたい． (1) return x x は定数．これは加算と乗算それぞれの累積変数 a_acc/m_acc と組み合

[malibu-bulldog]

分かりやすい末尾再帰の説明。