関数をインライン化しないようにgccに指示するにはどうすればよいですか？

ソースファイルにこの小さな関数があるとしましょう

static void foo() {}

そして、私は自分のバイナリの最適化されたバージョンを構築していますが、この関数をインライン化したくありません（最適化のため）。インライン化を防ぐためにソースコードに追加できるマクロはありますか？

gcc-specific noinline属性が必要です。

この関数属性は、関数がインライン化の対象と見なされないようにします。関数に副作用がない場合、関数呼び出しはライブですが、関数呼び出しが最適化される原因となるインライン化以外の最適化があります。このような呼び出しが最適化されないようにするには、 asm ("");

次のように使用します。

void __attribute__ ((noinline)) foo() 
{
  ...
}

GCCには、

-fno-inline-small-functions

したがって、gccを呼び出すときにそれを使用します。しかし、副作用として、他のすべての小さな関数もインライン化されていません。

これを行う移植可能な方法は、ポインタを介して関数を呼び出すことです。

void (*foo_ptr)() = foo;
foo_ptr();

これは分岐するための異なる命令を生成しますが、それはあなたの目標ではないかもしれません。これは良い点をもたらします：ここであなたの目標は何ですか？

質問がGCCに関するものであることはわかっていますが、他のコンパイラについても、コンパイラに関する情報があると役立つと思いました。

GCCの noinline 関数属性は、他のコンパイラーでも人気があります。それは少なくとも以下によってサポートされます：

• Clang（で確認__has_attribute(noinline)）
• Intel C / C ++ Compiler（ドキュメントはひどいですが、16.0以降で動作するはずです）
• Oracle Solaris Studioが少なくとも12.2に戻る
• ARM C / C ++コンパイラを少なくとも4.1に戻す
• IBM XL C / C ++が10.1以上に戻る
• TI 8.0以降（または7.3以降-を定義する--gcc __TI_GNU_ATTRIBUTE_SUPPORT__）

さらに、MSVCは__declspec(noinline) Visual Studio 7.1までをサポートし ています。Intelもおそらくサポートしています（GCCとMSVCの両方との互換性を確保しようとします）が、それを確認する必要はありません。構文は基本的に同じです：

__declspec(noinline)
static void foo(void) { }

PGI 10.2+（およびおそらくより古い）はnoinline、次の関数に適用されるプラグマをサポートしています。

#pragma noinline
static void foo(void) { }

TI 6.0以降は、FUNC_CANNOT_INLINE CとC ++で（厄介なことに）異なる動作をするプラグマをサポートしてい ます。C ++では、PGIに似ています。

#pragma FUNC_CANNOT_INLINE;
static void foo(void) { }

ただし、Cでは関数名が必要です。

#pragma FUNC_CANNOT_INLINE(foo);
static void foo(void) { }

Cray 6.4以降（およびおそらく以前のバージョン）も同様のアプローチをとっており、関数名が必要です。

#pragma _CRI inline_never foo
static void foo(void) { }

Oracle Developer Studioは、少なくともForte Developer 6までさかのぼって関数名をとるプラグマもサポートしますが、最近のバージョンでも、宣言の後に置く必要があることに注意してください。

static void foo(void);
#pragma no_inline(foo)

どれだけ専念しているかによって、どこでも機能するマクロを作成できますが、関数名と宣言を引数として持つ必要があります。

OTOH、ほとんどの人にうまく機能するもので大丈夫であれば、もう少し美的で満足のいくもので、何度も繰り返す必要がないもので済ますことができます。これが、私がHedleyに採用したアプローチです。現在のHEDLEY_NEVER_INLINEのバージョンは 次のようになります。

#if \
  HEDLEY_GNUC_HAS_ATTRIBUTE(noinline,4,0,0) || \
  HEDLEY_INTEL_VERSION_CHECK(16,0,0) || \
  HEDLEY_SUNPRO_VERSION_CHECK(5,11,0) || \
  HEDLEY_ARM_VERSION_CHECK(4,1,0) || \
  HEDLEY_IBM_VERSION_CHECK(10,1,0) || \
  HEDLEY_TI_VERSION_CHECK(8,0,0) || \
  (HEDLEY_TI_VERSION_CHECK(7,3,0) && defined(__TI_GNU_ATTRIBUTE_SUPPORT__))
#  define HEDLEY_NEVER_INLINE __attribute__((__noinline__))
#elif HEDLEY_MSVC_VERSION_CHECK(13,10,0)
#  define HEDLEY_NEVER_INLINE __declspec(noinline)
#elif HEDLEY_PGI_VERSION_CHECK(10,2,0)
#  define HEDLEY_NEVER_INLINE _Pragma("noinline")
#elif HEDLEY_TI_VERSION_CHECK(6,0,0)
#  define HEDLEY_NEVER_INLINE _Pragma("FUNC_CANNOT_INLINE;")
#else
#  define HEDLEY_NEVER_INLINE HEDLEY_INLINE
#endif

Hedley（単一のパブリックドメイン/ CC0ヘッダーです）を使用したくない場合は、それほど多くの労力をかけずにバージョンチェックマクロを変換できますが、私がtoに入れようと思っている以上のものです。

のコンパイラエラーが発生した__attribute__((noinline))場合は、次のことを試してください。

noinline int func(int arg)
{
    ....
}

static __attribute__ ((noinline))  void foo()
{

}

これは私のために働いたものです。

次のnoinline 属性を使用します。

int func(int arg) __attribute__((noinline))
{
}

外部で使用する関数を宣言するときと、関数を記述するときの両方で使用する必要があります。

私はgcc 7.2を使用しています。ライブラリにインスタンス化する必要があるため、関数をインライン化しないようにする必要がありました。__attribute__((noinline))答えだけでなく、答えも試しましたasm("")。どちらも問題を解決しなかった。

最後に、関数内で静的変数を定義すると、静的変数ブロックに静的変数を割り当てるスペースがコンパイラーに強制され、関数が最初に呼び出されたときに初期化が発行されることを理解しました。

これはちょっと汚いトリックですが、うまくいきます。