Intelコンパイラでインライン展開上限の設定と挙動 #C++

はじめに

C++での高速化ではインライン展開が重要ですが、一方で現実的には全ての関数呼び出しがinline展開されるわけではありません。

そのインライン展開具合の調整法の一つとして、コンパイラオプションで設定値を変えることができますが、どうやら単純ではない模様です。今回はその情報共有目的の記事です。

※今回はIntelコンパイラ(icc,icpc)を対象とした話題です。gccやclangは扱いません。

はじめに

Intelコンパイラにおいてインライン展開具合を設定できるものとして、次のコンパイラオプションがあります(他にもあります)。

-inline-max-size=n：呼び出される側の関数のサイズが設定値n以下であればインライン展開される（されやすい）
-inline-max-total-size=n：インライン展開した場合に呼び出す側の関数のサイズが設定値nを超えるならインライン展開しない（されにくい）
inline-factor=N：倍率N[パーセント(ただし整数)]をdefault値に掛ける形で上記二つの設定を同時に行える。

これらの設定値のdefault値は、最適化レポートファイル*.optrptの冒頭に記載されます。私が検証した環境では、-inline-max-size、-inline-max-total-size、-inline-factorのdefault値はそれぞれ230、2000、100でした。

例

実際にインライン展開されたかどうかは、最適化レポートファイル*.optrptを見ることで分かります。ただし、コンパイラオプションに-qopt-report=5 -qopt-report-phase=ipoなどを指定してください。

今回は、例として次のオプションでコンパイルした場合を示します。

icpc -O2 -ip -inline-max-size=230 -qopt-report=5 -qopt-report-phase=ipo hoge.cpp

この場合にhoge.optrptに出力された最適化レポートは次のようなものでした(見やすさのために適当に編集していますが、実際のコードのコンパイル結果から抽出しています)

...(略)...
INLINING OPTION VALUES:
  -inline-factor: 100
  -inline-min-size: 30
  -inline-max-size: 230 (user-specified)
  -inline-max-total-size: 2000
  -inline-max-per-routine: disabled
  -inline-max-per-compile: disabled
...
(略)
...
INLINE REPORT: (funcA(int) const) [2147/3416=62.9%] ..hoge.cpp(55,135)
  -> INLINE (MANUAL): (56,18) funcB(int, double) const (isz = 49) (sz = 66)
    -> fuga.h:(809,9) funcC(int) const (isz = 452) (sz = 473)
       [[ Inlining would exceed -inline-max-size value (473>230) <1>]]
    -> INLINE (MANUAL): fuga.h:(809,43) funcD(int) const (isz = 16) (sz = 25)
      -> INLINE (MANUAL): fuga.h:(220,50) funcE(double) (isz = 4) (sz = 15)

構造としてはfuncAがfuncBと呼び出し、funcBからfuncCとfuncDを呼び出し、さらにfuncDからfuncEを呼び出しています。

ここでfuncCだけはインライン展開されなかったことが分かります。その原因として「funcCのサイズが473であり、-inline-max-sizeの値である230を超えた」ためと記されています。

ここでfuncCのサイズとは、funcCの中で呼ばれた関数がインライン展開されている場合には、それらを含んだサイズになります。実際に、funcCの中では数十個の細かな関数がcallされて、それらが全てインライン展開されたために、合計サイズが473まで大きくなっています。

また、コンパイルオプションで明示的に-inline-max-size=230を指定したので、冒頭の設定値の通知部分で(user-specified)と表示されています。

問題

先の例では敢えて明示的に-inline-max-size=230を指定していましたが、これを指定しなかった場合はどうなるでしょうか。

少なくとも私は、-inline-max-sizeのdefault値は230なので結果は変わらないと思っていました。しかし、やってみるとfuncCがインライン展開される場合があるのです。

例えばコンパイルオプション

icpc -O2 -ip -qopt-report=5 -qopt-report-phase=ipo hoge.cpp

から、次の最適化レポートが出力されました。

...(略)...
INLINING OPTION VALUES:
  -inline-factor: 100
  -inline-min-size: 30
  -inline-max-size: 230
  -inline-max-total-size: 2000
  -inline-max-per-routine: disabled
  -inline-max-per-compile: disabled
...
(略)
...
INLINE REPORT: (funcA(int) const) [2147/3416=62.9%] ..hoge.cpp(55,135)
  -> INLINE (MANUAL): (56,18) funcB(int, double) const (isz = 49) (sz = 66)
    -> INLINE (MANUAL): fuga.h:(809,9) funcC(int) const (isz = 452) (sz = 473)
      -> INLINE (MANUAL): fuga.h:(530,48) funcF(double) (isz = 24) (sz = 32)
      ... (略) funcCから呼び出した数十個の関数...
    -> INLINE (MANUAL): fuga.h:(809,43) funcD(int) const (isz = 16) (sz = 25)
      -> INLINE (MANUAL): fuga.h:(220,50) funcE(double) (isz = 4) (sz = 15)

今度はfuncCもインライン展開されています。

しかしfuncCのサイズは先と変わらず473です。-inline-max-sizeの設定値も230と表示されています。しかしそれらが加味されずにインライン展開されてしまっています。

同様の問題は-inline-max-size以外にも-inline-max-total-sizeや-inline-factorを明示的に指定するかどうかでも起こります。

想像される原因

さて、この違いは何が原因なのでしょうか。

Intelコンパイラのマニュアル¹によれば、「-inline-max-size等はコンパイラがルーチンを大・中・小に分類する指標であり、中・小に分類されたものはインライン展開されやすい」と読めます。つまり、インライン展開をするかどうかを絶対的に指定できるわけではなさそうです

そして、たとえ同じ設定値であったとしても、「コンパイラオプションに明示的に指定した場合はインライン展開の判断への影響力が大きくなる」のだと想像できます。

おわりに

ということで、-inline-max-sizeや-inline-factorでの指定では注意が必要です。例えば前回書いた記事²でも-inline-factorで設定値を変更して計算速度のベンチを行っていますが、-inline-factor=100を明記した場合と未指定の場合で結果が違う可能性が出てきました（うわ～再調査か～）。

個人的には結構ハマり、チューニングにおいてかなり混乱していました。

誰かのお役に立てば幸いです。

追記１

ここでの議論を踏まえて、高速化のためにはどうすればよいのか。
そもそも重要な観点は

サイズは小さいが沢山呼ばれる関数はインライン展開がされた方が良い
インライン展開し過ぎてバイナリサイズが大きくなると速度は低下する

の2点です。

前者を促進するためには

(1-1)明示的に-inline-max-sizeをdefaultより大きい値で指定するか、(1-2)-inline-max-sizeは指定せずにコンパイラが(勝手にdefault値の制限以上に)アグレッシブにインライン展開するのを期待するのが良さそうです。

一方で後者を踏まえてバイナリサイズを抑制するには
(2-1)明示的に-inline-max-total-sizeを小さめ(ただしdefaultと同じかちょっと大きい程度)に指定するのが良いでしょう。ただし、(2-NG)-inline-max-total-sizeを指定しないのは問題が出やすいです。こちらの値についてもコンパイラが勝手にdefault値の制限以上にアグレッシブにインライン展開してしまうので、バイナリサイズが大きくなってしまいます。

また、この2点の観点から-inline-max-sizeと-inline-max-total-sizeを共に大きくしていくのは問題があることになります。つまり、-inline-factorはあまり使わない方が良さそうです。

蛇足

コンパイラオプションで-inline-factorなどを調整するよりも、Intelコンパイラなら#pragma forceinline recursiveなどを使った方が良いかもしれない。

参考：Intel developper zone