LLVM 11.0 コンパイラ スイートのリリース

XNUMXか月の開発期間を経て 提示された プロジェクトのリリース LLVM 11.0 — GCC 互換ツール (コンパイラ、オプティマイザ、コード ジェネレータ) は、プログラムを RISC のような仮想命令 (マルチレベルの最適化システムを備えた低レベルの仮想マシン) の中間ビットコードにコンパイルします。 生成された擬似コードは、プログラム実行時に JIT コンパイラーを使用して直接機械語命令に変換できます。

新しいリリースの主な変更点は、次のものが含まれていることです。 側面、Fortran 言語のフロントエンド。 Flag は Fortran 2018、OpenMP 4.5、OpenACC 3.0 をサポートしていますが、プロジェクトの開発はまだ完了しておらず、フロントエンドはコードの解析と正確性のチェックに限定されています。 LLVM 中間コードの生成はまだサポートされていないため、実行可能ファイルを生成するには、正規コードが生成され、外部 Fortran コンパイラーに渡されます。

改善点 Clang 11.0 では:

• 抽象構文ツリーを復元する機能を追加しました (AST) 壊れた C++ コード用。これを使用すると、エラーの診断に役立ち、clang-tidy や Clangd などの外部ユーティリティに追加情報が提供されます。 この機能は C++ コードに対してデフォルトで有効になっており、「-Xclang -f[no-]recovery-ast」オプションを通じて制御されます。
• 新しい診断モードが追加されました。
  • 「-Wpointer-to-int-cast」は、すべての可能な値を収容できない整数型 int へのポインターのキャストに関する警告のグループです。
  • 「-Wuninitialized-const-reference」 - 「const」属性を持つ参照引数を受け入れる関数パラメータに初期化されていない変数を渡すことについての警告。
  • 「-Wimplicit-const-int-float-conversion」 - 実定数から整数型への暗黙的な変換に関する警告をデフォルトで有効にします。
• ARM プラットフォームの場合、コンパイラに組み込まれた C 関数が提供されます (組み込み関数)、効率的なベクトル命令 Arm v8.1-M MVE および CDE に置き換えられました。 使用可能な関数は、ヘッダー ファイル arm_mve.h および arm_cde.h で定義されています。
• 追加した 拡張整数型のセット _ExtInt(N) を使用すると、FPGA/HLS で効率的に処理できる XNUMX のべき乗の倍数ではない型を作成できます。 例えば, _ExtInt(7) は 7 ビットからなる整数型を定義します。
• ARM SVE (Scalable Vector Extension) 命令に基づいた組み込み C 関数のサポートを定義するマクロを追加しました。
  __ARM_FEATURE_SVE、__ARM_FEATURE_SVE_BF16、
  __ARM_FEATURE_SVE_MATMUL_FP32、__ARM_FEATURE_SVE_MATMUL_FP64、
  __ARM_FEATURE_SVE_MATMUL_INT8、
  __ARM_FEATURE_SVE2、__ARM_FEATURE_SVE2_AES、
  __ARM_FEATURE_SVE2_BITPERM、
  __ARM_FEATURE_SVE2_SHA3、
  __ARM_FEATURE_SVE2_SM4。 たとえば、__ARM_FEATURE_SVE マクロは、コマンド ライン オプション「-march=armv64-a+sve」を設定して AArch8 コードを生成するときに定義されます。

• 「-O」フラグは、「-O1」ではなく「-O2」最適化モードで識別されるようになりました。
• 新しいコンパイラ フラグを追加しました。
  • 「-fstack-clash-protection」 - に対する保護を有効にします。 スタックとヒープの交差.
  • 「-ffp-Exception-behavior={ignore,maytrap,strict}」 - 浮動小数点数の例外ハンドラー モードを選択できます。
  • "-ffp-model={precise,strict,fast}" - 浮動小数点数の一連の特殊なオプションへのアクセスを簡素化します。
  • 「-fpch-codegen」および「-fpch-debuginfo」は、コードとデバッグ情報用に個別のオブジェクト ファイルを含むプリコンパイル済みヘッダー (PCH) を生成します。
  • カバレッジテストのホワイトリストとブラックリストを確認するための「-fsanitize-coverage-allowlist」および「-fsanitize-coverage-blocklist」。
  • 「-mtls-size={12,24,32,48}」で TLS (スレッドローカル ストレージ) サイズを選択します。
  • 「-menable-experimental-extension」は、実験的な RISC-V 拡張機能を有効にします。
• C のデフォルト モードは「-fno-common」です。これにより、一部のプラットフォームでグローバル変数へのより効率的なアクセスが可能になります。
• デフォルトのモジュール キャッシュは /tmp から ~/.cache ディレクトリに移動されました。 オーバーライドするには、「-fmodules-cache-path=」フラグを使用できます。
• デフォルトの C 言語標準が gnu11 から gnu17 に更新されました。
• GNU C 拡張機能の予備サポートを追加しました。asmインライン» アセンブラインサートを追加します。 拡張機能はまだ分析中ですが、まったく処理されていません。
• OpenCL および CUDA サポートに関連する機能が拡張されました。 OpenCL 2.0 ブロック診断のサポートが追加され、新しい OpenMP 5.0 機能が実装されました。
• extern "C" および extern "C++" ブロック内での位置合わせのための IndentExternBlock オプションを Clang-format ユーティリティに追加しました。
• 静的アナライザーでは、C++ での継承されたコンストラクターの処理が改善されました。 ロックをチェックするための新しいチェック alpha.core.C11Lock および alpha.fuchsia.Lock、putenv の安全でない使用を検出するための alpha.security.cert.pos.34c、数えられないタイプの問題を検出するための webkit.NoUncountedMemberChecker および webkit.RefCntblBaseVirtualDtor を追加しました。 .cplusplus .SmartPtr を使用して、null スマート ポインター逆参照をチェックします。
• リンターでカチャカチャと整頓 追加した 新しい小切手の大部分。
• Clangd キャッシュ サーバー (Clang サーバー) のパフォーマンスが向上し、新しい診断機能が追加されました。

メイン イノベーション LLVM 11.0:

• ビルド システムは Python 3 を使用するように切り替えられました。Python 3 が使用できない場合は、Python 2 を使用するようにロールバックできます。
• Go 言語用コンパイラー (llgo) を備えたフロントエンドはリリースから除外されており、将来的に再構築される可能性があります。
• 呼び出しをベクトル化するためのスカラー関数とベクトル関数間のマッピングを記述するために、vector-function-abi-variant 属性が中間表現 (IR) に追加されました。 llvm::VectorType からは、llvm::FixedVectorType と llvm::ScalableVectorType という XNUMX つの別個のベクトル タイプがあります。
• udef 値に基づいて分岐したり、標準ライブラリ関数に undef 値を渡したりすることは、未定義の動作として認識されます。 で
  memset/memcpy/memmove では undef ポインターを渡すことができますが、サイズのパラメーターがゼロの場合に限ります。

• LLJIT では、LLJIT::initialize メソッドと LLJIT::deinitialize メソッドを使用して静的初期化を実行するためのサポートが追加されました。 StaticLibraryDefinitionGenerator クラスを使用して静的ライブラリを JITDylib に追加する機能を実装しました。 C API を追加しました ORCv2 (JIT コンパイラを構築するための API)。
• Cortex-A64、Cortex-A34、Cortex-A77、および Cortex-X78 プロセッサのサポートが、AArch1 アーキテクチャのバックエンドに追加されました。 RMv8.2-ECV (拡張カウンター仮想化)、ARMv16-FGT (ファイングレイントラップ)、ARMv16-AMU (アクティビティモニター仮想化) を含む、ARMv8.6-BF8.6 (BFloat8.6) および ARMv8.6-A 拡張機能を実装しました。および ARMv8.0-DGH (データ収集ヒント)。 SVE ベクトル命令への組み込み関数バインディングのコードを生成する機能が提供されます。
• Cortex-M55、Cortex-A77、Cortex-A78、および Cortex-X1 プロセッサのサポートが ARM アーキテクチャのバックエンドに追加されました。 実装された拡張機能
  Armv8.6-A 行列乗算および RMv8.2-AA32BF16 BFloat16。

• POWER10 プロセッサーのコード生成のサポートが、PowerPC アーキテクチャーのバックエンドに追加されました。 ループの最適化が拡張され、浮動小数点のサポートが改善されました。
• RISC-V アーキテクチャのバックエンドでは、まだ正式に承認されていない実験的な拡張命令セットをサポートするパッチの受け入れが可能です。
• AVR アーキテクチャのバックエンドは実験的なカテゴリから安定版に移行され、基本ディストリビューションに含まれています。
• x86 アーキテクチャのバックエンドは、Intel AMX および TSXLDTRK 命令をサポートします。 攻撃に対する保護を追加 LVI (ロード値インジェクション)、また、CPU 上での操作の投機的実行によって引き起こされる攻撃をブロックするための一般的な投機的実行副作用抑制メカニズムも実装します。
• SystemZ アーキテクチャのバックエンドで、MemorySanitizer と LeakSanitizer のサポートが追加されました。
• Libc++ は数学定数を含むヘッダー ファイルのサポートを追加します .
• 拡張された LLD リンカー機能。 オプション「--lto-emit-asm」、「--lto-whole-program-visibility」、「-print-archive-stats」、「-shuffle-sections」、「 -thinlto-single-module」、「-unique」、「-rosegment」、「-threads=N」。 トレースをファイルに保存するための「--time-trace」オプションを追加しました。ファイルは、Chrome の chrome://tracing インターフェイスを介して分析できます。

出所： オープンネット.ru