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

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

Clang 12.0 の改善点:

• C++20 標準で提案されている「可能性の高い」属性と「可能性の低い」属性のサポートが実装され、デフォルトで有効になっているため、条件付き構文がトリガーされる確率についてオプティマイザに通知できるようになります (たとえば、「[[likely ]] if (ランダム > 0) {")。
• AMD Zen 3 (-march=znver3)、Intel Alder Lake (-march=alderlake)、および Intel Sapphire Rapids (-march=sapphirerapids) プロセッサのサポートが追加されました。
• x86-64 アーキテクチャ レベルを選択するための「-march=x234-86-v[64]」フラグのサポートを追加しました (v2 - SSE4.2、SSSE3、POPCNT、および CMPXCHG16B 拡張機能をカバーします。v3 - AVX2 および MOVBE、v4 - AVX-512 ）。
• Arm Cortex-A78C (cortex-a78c)、Arm Cortex-R82 (cortex-r82)、Arm Neoverse V1 (neoverse-v1)、Arm Neoverse N2 (neoverse-n2)、および Fujitsu A64FX (a64fx) プロセッサのサポートが追加されました。 たとえば、Neoverse-V1 CPU の最適化を有効にするには、「-mcpu=neoverse-v1」を指定します。
• AArch64 アーキテクチャの場合、「__aarch64_cas8_relax」などのアトミック操作ヘルパー関数を有効または無効にするための新しいコンパイラ フラグ「-moutline-atomics」および「-mno-outline-atomics」が追加されました。 このような関数は、実行時に LSE (Large System Extensions) サポートが利用可能かどうかを検出し、提供されたアトミック プロセッサ命令を使用するか、同期のために LL/SC (ロードリンク/ストア条件付き) 命令の使用にフォールバックします。
• 古いリンカーおよびアセンブラーの動作との互換性のために、binutils スイートのターゲット バージョンを選択するための「-fbinutils-version」オプションが追加されました。
• ELF 実行可能ファイルの場合、「-gz」フラグを指定すると、zlib ライブラリを使用したデバッグ情報の圧縮がデフォルトで有効になります (gz=zlib)。 結果のオブジェクト ファイルをリンクするには、lld または GNU binutils 2.26 以降が必要です。 binutils の古いバージョンとの互換性を復元するには、「-gz=zlib-gnu」を指定します。
• 「this」ポインタは、非 null および逆参照可能(N) チェックを使用して処理されるようになりました。 NULL 値を使用する必要がある場合に非 null 属性を削除するには、「-fdelete-null-pointer-checks」オプションを使用できます。
• Linux プラットフォームでは、AArch64 および PowerPC アーキテクチャで「-fasynchronous-unwind-tables」モードが有効になり、GCC と同様にアンワインド コール テーブルを生成します。
• 「#pragma Clang Loop Vectorize_width」に、ベクトル化方法を選択するための「fixed」（デフォルト）および「scalable」オプションを指定する機能が追加されました。 ベクトルの長さに依存しない「スケーラブル」モードは実験的なもので、スケーラブルなベクトル化をサポートするハードウェアで使用できます。
• Windows プラットフォームのサポートの向上: Clang コンパイラ、LLD リンカー、compiler-rt ランタイム ライブラリを含む、Arm64 システム上の Windows 用の公式バイナリ アセンブリが準備されました。 MinGW ターゲット プラットフォーム用にビルドする場合、クロスコンパイルの場合でも、.exe サフィックスが追加されます。
• OpenCL、OpenMP、CUDA のサポートに関連する機能が拡張されました。 OpenCL 3.0およびOpenCL 1.0のマクロオプションを選択するオプション「-cl-std=CL3.0」および「-cl-std=CL1.0」を追加しました。 診断ツールが拡張されました。
• 一部の x86 ベースのプロセッサに実装されている HRESET、UINTR、および AVXVNNI 命令のサポートが追加されました。
• x86 システムでは、「-mtune=」オプションのサポートが有効になっています。 " -march= の値に関係なく、選択したマイクロアーキテクチャの最適化を有効にします。 」
• 静的アナライザーでは、一部の POSIX 関数の処理が改善され、比較に複数のシンボリック値がある場合の条件演算の結果の判定が大幅に改善されました。 新しいチェックが追加されました: fuchia.HandleChecker (構造内のハンドルを定義)、webkit.UncountedLambdaCapturesChecker Webkit、および alpha.webkit.UncountedLocalVarsChecker (WebKit エンジン コードでのポインターの操作の特殊性を考慮します)。
• 定数のコンテキストで使用される式では、組み込み関数 __builtin_bitreverse*、__builtin_rotateleft*、__builtin_rotateright*、_mm_popcnt*、_bit_scan_forward、__bsfd、__bsfq、__bit_scan_reverse、__bsrd、__bsrq、__bswap、__bswapd、__bswap64 の使用が許可されます。 .__bswapq 、_castf*、__rol*、__ror*。
• 識別子、列、フィールド定義の周囲の間隔を選択するために、Clang-format ユーティリティに BitFieldColonSpacing オプションを追加しました。
• Linux プラットフォーム上の Clangd キャッシュ サーバー (Clang サーバー) は、長期運用時のメモリ消費を大幅に削減しました (空きメモリ ページをオペレーティング システムに返すために、malloc_trim への定期的な呼び出しが提供されます)。

LLVM 12.0 の主な革新:

• Python で記述された llvm-build ビルド ツールのサポートは廃止され、代わりにプロジェクトは CMake ビルド システムの使用に完全に切り替わりました。
• AArch64 アーキテクチャのバックエンドでは、Windows プラットフォームのサポートが改善されました。ターゲット Windows システム用のアセンブラ出力が正しく生成されるようになり、アンワインド呼び出しでのデータの生成が最適化されました (そのようなデータのサイズが 60 削減されました)。 %)、アセンブラを使用してアンワインド データを作成する機能がディレクティブ .seh_* に追加されました。
• PowerPC アーキテクチャのバックエンドには、ループとインライン デプロイメントの新しい最適化、Power10 プロセッサのサポートの拡張、行列操作のための MMA 命令のサポートの追加、および AIX オペレーティング システムのサポートの改善が含まれています。
• x86 バックエンドでは、AMD Zen 3、Intel Alder Lake、Intel Sapphire Rapids プロセッサ、および HRESET、UINTR、AVXVNNI プロセッサ命令のサポートが追加されています。 ポインタをチェックしてメモリ境界を確認するための MPX (Memory Protection Extensions) のサポートがサポートされなくなりました (このテクノロジは普及しておらず、すでに GCC および Clang から削除されています)。 オペランドのオフセットとジャンプのサイズを制御するための、{disp32} および {disp8} 接頭辞と .d32 および .d8 接尾辞のサポートがアセンブラに追加されました。 マイクロアーキテクチャ最適化の組み込みを制御するための新しい属性「tune-cpu」を追加しました。
• 新しいモード「-fsanitize=unsigned-shift-base」が整数問題検出器 (整数サニタイザー、「-fsanitize=integer」) に追加され、左へのビット シフト後の符号なし整数のオーバーフローを検出します。
• さまざまな検出器 (asan、cfi、lsan、msan、tsan、ubsan サニタイザー) で、標準 Musl ライブラリを備えた Linux ディストリビューションのサポートが追加されました。
• LLD リンカーの機能が拡張されました。 オプション「--dependency-file」、「-error-handling-script」、「-lto-pseudo-probe-for-profiling」、「-no-lto-whole-program」の追加など、ELF 形式のサポートが改善されました。 -視認性”” MinGW サポートの改善。 Mach-O フォーマット (macOS) の場合、arm64、arm、および i386 アーキテクチャ、リンク時最適化 (LTO)、および例外処理のためのスタック アンワインドのサポートが実装されました。
• Libc++ は C++20 標準の新機能を実装しており、C++2b 仕様の機能の開発を開始しています。 ローカリゼーション サポート (「-DLIBCXX_ENABLE_LOCALIZATION=OFF」) を無効にしてビルドするためのサポートと、擬似乱数を生成するためのデバイス (「-DLIBCXX_ENABLE_RANDOM_DEVICE=OFF」) のサポートが追加されました。

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