Clang最適化レベル

91

gccのでは、マニュアルには何を説明し-O3、-Os具体的な最適化の引数（の用語で翻訳など、-funswitch-loops、-fcompare-elim、など）

clangについて同じ情報を探しています。

私が見てきた、オンラインとでman clangどののみ（一般的な情報提供します-O2以上に最適化し-O1、-Os速度を最適化し、...）ともスタックオーバーフローの上に、ここで見て、見つけ、これを、私は引用したソースファイル内の関連する何かを発見していません。

編集：答えを見つけましたが、すべての最適化パスとによって選択されたパスを文書化したユーザーマニュアルへのリンクがある場合は、まだ興味があります。現在、私はこのパスのリストを見つけましたが、最適化レベルについては何もありません。-Ox

clang  compiler-optimization  user-manual 
— アントワーヌ
ソース

回答:

156

この関連質問を見つけました。

要約すると、コンパイラ最適化パスについて調べるには、次のようにします。

llvm-as < /dev/null | opt -O3 -disable-output -debug-pass=Arguments

Geoff Nixonの回答（+1）で指摘されているように、clangさらに高度な最適化を実行します。

echo 'int;' | clang -xc -O3 - -o /dev/null -\#\#\#

個々のパスのドキュメントはこちらから入手できます。

では、バージョン6.0のパスは以下の通りです：

  • ベースライン（-O0）：

    • optセット：-tti -verify -ee-instrument -targetlibinfo -assumption-cache-tracker -profile-summary-info -forceattrs -basiccg -always-inline -barrier
    • clang追加：-mdisable-fp-elim -mrelax-all

  • -O1 に基づいています -O0

    • opt 追加する：-targetlibinfo -tti -tbaa -scoped-noalias -assumption-cache-tracker -profile-summary-info -forceattrs -inferattrs -ipsccp -called-value-propagation -globalopt -domtree -mem2reg -deadargelim -basicaa -aa -loops -lazy -branch-prob -lazy-block-freq -opt-remark-emitter -instcombine -simplifycfg -basiccg -globals-aa -prune-eh -always-inline -functionattrs -sroa -memoryssa -early-cse-memssa -speculative-execution -lazy-value-info -jump-threading -correlated-propagation -libcalls-shrinkwrap -branch-prob -block-freq -pgo-memop-opt -tailcallelim -reassociate -loop-simplify -lcssa-verification -lcssa -scalar-evolution -loop-rotate -licm -loop-unswitch -indvars -loop-idiom -loop-deletion -loop-unroll -memdep -memcpyopt -sccp -demanded-bits -bdce -dse -postdomtree -adce -barrier -rpo-functionattrs -globaldce -float2int -loop-accesses -loop-distribute-loop-vectorize -loop-load-elim -alignment-from-assumptions -strip-dead-prototypes -loop-sink -instsimplify -div-rem-pairs -verify -ee-instrument -early-cse -lower-expect
    • clang追加：-momit-leaf-frame-pointer
    • clangドロップ：-mdisable-fp-elim -mrelax-all

  • -O2 に基づいています -O1

    • opt追加：-inline -mldst-motion -gvn -elim-avail-extern -slp-vectorizer -constmerge
    • optドロップ：-always-inline
    • clang追加：-vectorize-loops -vectorize-slp

  • -O3 に基づいています -O2

    • opt追加：-callsite-splitting -argpromotion

  • -Ofastに基づいており-O3、で有効ですがclang、ではありませんopt

    • clang追加：-fno-signed-zeros -freciprocal-math -ffp-contract = fast -menable-unsafe-fp-math -menable-no-nans -menable-no-infs -mreassociate -fno-trapping-math -ffast-math -ffinite-math-only

  • -Os と類似しています -O2

    • optドロップ：-libcalls-shrinkwrapおよび-pgo-memopt-opt

  • -Oz に基づいています -Os

    • optドロップ：-slp-vectorizer

では、バージョン3.8のパスは以下の通りです：

  • ベースライン（-O0）：

    • optセット：-targetlibinfo -tti -verify
    • clang追加：-mdisable-fp-elim -mrelax-all

  • -O1 に基づいています -O0

    • opt追加：-globalopt -demanded-bits -branch-prob -inferattrs -ipsccp -dse -loop-simplify -scoped-noalias -barrier -adce -deadargelim -memdep -licm -globals-aa -rpo-functionattrs -basiccg -loop-idiom -forceattrs -mem2reg -simplifycfg -early-cse -instcombine -sccp -loop-unswitch -loop-vectorize -tailcallelim -functionattrs -loop-accesses -memcpyopt -loop-deletion -reassociate -strip-dead-prototypes -loops -basicaa -correlated -propagation -lcssa -domtree -always-inline -aa -block-freq -float2int -lower-expect -sroa -loop-unroll -alignment-from-assumptions -lazy-value-info -prune-eh -jump-threading -loop -rotate -indvars -bdce -scalar-evolution -tbaa -assumption-cache-tracker
    • clang追加：-momit-leaf-frame-pointer
    • clangドロップ：-mdisable-fp-elim -mrelax-all

  • -O2 に基づいています -O1

    • opt追加：-elim-avail-extern -mldst-motion -slp-vectorizer -gvn -inline -globaldce -constmerge
    • optドロップ：-always-inline
    • clang追加：-vectorize-loops -vectorize-slp

  • -O3 に基づいています -O2

    • opt追加：-argpromotion

  • -Ofastに基づいており-O3、で有効ですがclang、ではありませんopt

    • clang追加：-fno-signed-zeros -freciprocal-math -ffp-contract = fast -menable-unsafe-fp-math -menable-no-nans -menable-no-infs

  • -Os と同じです -O2

  • -Oz に基づいています -Os

    • optドロップ：-slp-vectorizer
    • clangドロップ：-vectorize-loops

バージョン3.7のパスは以下の（上記のコマンドの解析された出力）の通りです。

  • デフォルト（-O0）：-targetlibinfo -verify -tti

  • -O1は-O0に基づいています

    • 追加：-sccp -loop-simplify -float2int -lazy-value-info -correlated-propagation -bdce -lcssa -deadargelim -loop-unroll -loop-vectorize -barrier -memcpyopt -loop-accesses -assumption-cache-tracker -reassociate -loop-deletion -branch-prob -jump-threading -domtree -dse -loop-rotate -ipsccp -instcombine -scoped-noalias -licm -prune-eh -loop-unswitch -alignment-from-assumptions -early-cse -inline -cost -simplifycfg -strip-dead-prototypes -tbaa -sroa -no-aa -adce -functionattrs -lower-expect -basiccg -loops -loop-idiom -tailcallelim -basicaa -indvars -globalopt -block-freq -scalar-evolution -memdep -always-inline

  • -O2は-01に基づいています

    • 追加：-elim-avail-extern -globaldce -inline -constmerge -mldst-motion -gvn -slp-vectorizer
    • 削除：-always-inline

  • -O3は-O2に基づいています

    • 追加：-argpromotion -verif

  • -Osは-O2と同じです

  • -Ozは-Osに基づいています

    • 削除：-slp-vectorizer

以下のために、バージョン3.6 GYUNGMIN KIMのポストに記載されているようにパスがあります。

バージョン3.5のパスは以下の（上記のコマンドの解析された出力）の通りです。

  • デフォルト（-O0）：-targetlibinfo -verify -verify-di

  • -O1は-O0に基づいています

    • 追加：-correlated-propagation -basiccg -simplifycfg -no-aa -jump-threading -sroa -loop-unswitch -ipsccp -instcombine -memdep -memcpyopt -barrier -block-freq -loop-simplify -loop-vectorize -inline-cost -branch-prob -early-cse -lazy-value-info -loop-rotate -strip-dead-prototypes -loop-deletion -tbaa -prune-eh -indvars -loop-unroll -reassociate -loops -sccp -always-inline -basicaa -dse -globalopt -tailcallelim -functionattrs -deadargelim -notti -scalar-evolution -lower-expect -licm -loop-idiom -adce -domtree -lcssa

  • -O2は-01に基づいています

    • 追加：-gvn -constmerge -globaldce -slp-vectorizer -mldst-motion -inline
    • 削除：-always-inline

  • -O3は-O2に基づいています

    • 追加：-argpromotion

  • -Osは-O2と同じです

  • -Ozは-Osに基づいています

    • 削除：-slp-vectorizer

バージョン3.4のパスは以下の（上記のコマンドの解析された出力）の通りです。

  • -O0：-targetlibinfo -preverify -domtree -verify

  • -O1は-O0に基づいています

    • 追加：-adce -always-inline -basicaa -basiccg -correlated-propagation -deadargelim -dse -early-cse -functionattrs -globalopt -indvars -inline-cost -instcombine -ipsccp -jump-threading -lazy-value-info -lcssa -licm -loop-deletion -loop-idiom -loop-rotate -loop-simplify -loop-unroll -loop-unswitch -loops -lower-expect -memcpyopt -memdep -no-aa -notti -prune-eh -reassociate -scalar -evolution -sccp -simplifycfg -sroa -strip-dead-prototypes -tailcallelim -tbaa

  • -O2は-01に基づいています

    • 追加：-barrier -constmerge -domtree -globaldce -gvn -inline -loop-vectorize -preverify -slp-vectorizer -targetlibinfo -verify
    • 削除：-always-inline

  • -O3は-O2に基づいています

    • 追加：-argpromotion

  • -Osは-O2と同じです

  • -Ozは-O2に基づいています

    • 削除：-barrier -loop-vectorize -slp-vectorizer

バージョン3.2のパスは以下の（上記のコマンドの解析された出力）の通りです。

  • -O0：-targetlibinfo -preverify -domtree -verify

  • -O1は-O0に基づいています

    • 追加：-sroa -early-cse -lower-expect -no-aa -tbaa -basicaa -globalopt -ipsccp -deadargelim -instcombine -simplifycfg -basiccg -prune-eh -always-inline -functionattrs -simplify-libcalls -lazy-value -info -jump-threading -correlated-propagation -tailcallelim -reassociate -loops -loop-simplify -lcssa -loop-rotate -licm -loop-unswitch -scalar-evolution -indvars -loop-idiom -loop-deletion -loop-unroll -memdep -memcpyopt -sccp -dse -adce -strip-dead-prototypes

  • -O2は-01に基づいています

    • 追加：-inline -globaldce -constmerge
    • 削除：-always-inline

  • -O3は-O2に基づいています

    • 追加：-argpromotion

  • -Osは-O2と同じです

  • -Ozは-Osと同じです

[2014年3月] 編集で、リストから重複を削除しました。

[2014年4月]の編集、ドキュメントリンク+ 3.4のオプションの追加

[2014年9月] 編集 3.5の追加オプション

[2015年12月]を編集して3.7のオプションを追加し、3.6の既存の回答に言及

[2016年5月]を編集して、optとclangの両方に3.8のオプションを追加し、clangの既存の回答を（optではなく）言及

[2018年11月] 編集して6.0のオプションを追加

— アントワーヌ
ソース
2
XCode5に同梱されているclangのバージョンでこれを行う方法はありますか？私はllvm-asコマンドを探してみましたが、私のマシンのどこにも表示されていません
— Teknogrebo 2014年
@Antoine、なぜいくつかのフラグ-simplifycfgが繰り返されるのですか？
— Paschalis 14年
2
@Paschalis：わかりませんが、一部の最適化パスは、他のパスが実行された場合にのみ機能し、たとえばsimplifycfg複数のパスで必要になるためです。そしてdebug-pass=Argumentsおそらく重複除外の前に発生します。あなたのフィードバックをありがとう、私の答えの重複を削除しました。
— Antoine
5
一部の最適化では、さらに最適化できるもの（デッドコードなど）が作成されるため、いくつかの最適化パスを再実行することは理にかなっています。
— cyco130 2014
1
@ZachB / @Antoineなぜそうしない（また？）LLVM 7（またはそれが何を意味していたのか？）また、1。そこにどれくらいの期間存在しているかはわかりませんが、-Og現在GCC が存在します。2.古いバージョンの詳細はすべて必要ですか？3.私は、長年にわたって行われた素晴らしい変更とコミュニティの状況を考慮して、clang -cc1 -mllvm -help-list-hidden（あなたがそれを統合したくない場合を除いて）のようなものについて言及するだけに私の答えを切り詰めようと思います。
— ジェフニクソン
15

@Antoineの回答（およびリンクされている他の質問）は、有効になっているLLVM最適化を正確に説明していますが、-O[0|1|2|3|fast]フラグの影響を受ける他のいくつかのClang固有のオプション（ASTへの低下に影響するオプション）があります。

あなたはこれらを見てみることができます：

echo 'int;' | clang -xc -O0 - -o /dev/null -\#\#\#

echo 'int;' | clang -xc -O1 - -o /dev/null -\#\#\#

echo 'int;' | clang -xc -O2 - -o /dev/null -\#\#\#

echo 'int;' | clang -xc -O3 - -o /dev/null -\#\#\#

echo 'int;' | clang -xc -Ofast - -o /dev/null -\#\#\#

例えば、-O0有効-mrelax-all、-O1有効-vectorize-loopsと-vectorize-slpし、-Ofast可能-menable-no-infs、-menable-no-nans、-menable-unsafe-fp-math、-ffp-contract=fastと-ffast-math。

@Techogrebo：

はい、いいえ。他のLLVMツールは必ずしも必要ではありません。試してください：

echo 'int;' | clang -xc - -o /dev/null -mllvm -print-all-options

また、Clangだけで調べたり変更したりできる詳細なオプションがたくさんあります...それらにアクセスする方法を知る必要があるだけです！

いくつか試してみてください：

clang -help

clang -cc1 -help

clang -cc1 -mllvm -help

clang -cc1 -mllvm -help-list-hidden

clang -cc1as -help

— ジェフ・ニクソン
ソース
3

LLVM 3.6 -O1

引数を渡す：-targetlibinfo -no-aa -tbaa -scoped-noalias -assumption-cache-tracker -basicaa -notti -verify-di -ipsccp -globalopt -deadargelim -domtree -instcombine -simplifycfg -basiccg -prune-eh -inline-cost -always -inline -functionattrs -sroa -domtree -early-cse -lazy-value-info -jump-threading -correlated-propagation -simplifycfg -domtree -instcombine -tailcallelim -simplifycfg -reassociate -domtree -loops -loop-simplify -lcssa -loop -rotate -licm -loop-unswitch -instcombine -scalar-evolution -loop-simplify -lcssa -indvars -loop-idiom -loop-deletion -function_tti -loop-unroll -memdep -memcpyopt -sccp -domtree -instcombine -lazy-value -info -jump-threading -correlated-propagation -domtree -memdep -dse -adce -simplifycfg -domtree -instcombine -barrier -domtree -loops -loop-simplify -lcssa -branch-prob -block-freq -scalar-evolution -loop -vectorize -instcombine-simplifycfg -domtree -instcombine -loops -loop-simplify -lcssa -scalar-evolution -function_tti -loop-unroll -alignment-from-assumptions -strip-dead-prototypes -verify -verify-di

-O1ベースの-O2ベース

追加：-inline -mldst-motion -domtree -memdep -gvn -memdep -scalar-evolution -slp-vectorizer -globaldce -constmerge

および削除：-always-inline

-O2に基づく-O3

追加：-argpromotion

— キム・ギョンミン
ソース
弊社のサイトを使用することにより、あなたは弊社のクッキーポリシーおよびプライバシーポリシーを読み、理解したものとみなされます。
Licensed under cc by-sa 3.0 with attribution required.