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

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

LLVM 10.0 の新機能には、C++ 概念のサポート、Clang が別のプロセスとして実行されなくなったこと、Windows の CFG (コントロール フロー ガード) チェックのサポート、新しい CPU 機能のサポートが含まれます。

改善点 Clang 10.0 では:

• 「」のサポートを追加しました。概念これは、コード名 C++2a (-std=c++2a フラグによって有効) という次の標準に含まれる C++ テンプレート拡張機能です。
  概念を使用すると、コンパイル時にテンプレート パラメーターとして受け入れられる引数のセットを制限する一連のテンプレート パラメーター要件を定義できます。この概念を使用すると、テンプレート内で使用されるデータ型のプロパティと入力パラメーターのデータ型プロパティの間の論理的不一致を回避できます。

  テンプレート
  概念 EqualityComparable = require(T a, T b) {
  { a == b } -> std::boolean;
  { a != b } -> std::boolean;
  };

• デフォルトでは、コンパイルを実行する別のプロセス (「clang -cc1」) の起動は停止されます。コンパイルはメインプロセスで行われるようになり、「-fno-integrated-cc1」オプションを使用して古い動作を復元できるようになりました。
• 新しい診断モード:
  • 「-Wc99-designator」および「-Wreorder-init-list」は、C99 では正しくても C++99 では正しくない場合、C++ モードで C20 イニシャライザを使用することに対して警告します。
  • 「-Wsizeof-array-div」 - 「int arr[10];」などの状況を捕捉します。 …sizeof(arr) / sizeof(short)…」 (「sizeof(arr) / sizeof(int)」である必要があります)。
  • 「-Wxor-used-as-po」 - 累乗 (2^16) と混同される可能性のある演算での「^」 (xor) 演算子の使用などの構成体の使用に対して警告します。
  • 「-Wfinal-dtor-non-final-class」 - 「final」指定子でマークされていないが、「final」属性を持つデストラクターを持つクラスについて警告します。
  • 「-Wtautological-bitwise-compare」は、ビット単位の演算と定数の間のトートロジー比較を診断し、ビット単位の OR 演算が非負数に適用される常に真の比較を識別するための警告のグループです。
  • 「-Wbitwise-conditional-partheses」は、論理演算子 AND (&) および OR (|) と条件演算子 (?:) を混合した場合の問題を警告します。
  • 「-Wmisleading-indentation」は、GCC の同名のチェックに類似しており、インデントされた式について、あたかも if/else/for/while ブロックの一部であるかのように警告しますが、実際には、これらの式はこのブロックには含まれていません。 。
  • 「-Wextra」を指定すると、「-Wdeprecated-copy」チェックが有効になり、コンストラクターの使用について警告します。
    明示的なデストラクター定義を持つクラスでの「move」と「copy」。

  • 「-Wtautological-overlap-compare」、「-Wsizeof-pointer-div」、「-Wtautological-compare」、「-Wrange-loop-analysis」チェックが拡張されました。
  • 「-Wbitwise-op-parentheses」および「-Wlogical-op-parheses」チェックはデフォルトでは無効になっています。
• C および C++ コードでは、ポインター算術演算は配列内でのみ許可されます。 「-fsanitize=pointer-overflow」モードの未定義動作サニタイザーは、null ポインターにゼロ以外のオフセットを追加する場合や、null 以外のポインターから整数を減算するときに null ポインターを作成する場合などのケースを検出するようになりました。
• 「-fsanitize=implicit-conversion」（暗黙的変換サニタイザー）モードは、「int」型よりもビット サイズが小さい型のインクリメントおよびデクリメント操作の問題を識別するように適合されています。
• x86 ターゲット アーキテクチャ「-march=skylake-avx512」、「-march=icelake-client」、「-march=icelake-server」、「-march=cascadelake」、および「-march=cooperlake」をベクトル化されたデフォルトで選択する場合、コードは、ソース コード内での直接の指示を除き、512 ビット zmm レジスタの使用を停止しました。その理由は、512 ビット操作を実行すると CPU 周波数が低下し、全体的なパフォーマンスに悪影響を及ぼす可能性があるためです。新しい動作を変更するために、オプション「-mprefer-vector-width=512」が提供されています。
• 「-flax-vector-conversions」フラグの動作は GCC と似ており、整数ベクトルと浮動小数点ベクトル間の暗黙的なベクトル ビット変換は禁止されています。この制限を排除するには、フラグを使用することが提案されています。
  「-flax-vector-conversions=all」がデフォルトです。

• Octeon ファミリの MIPS CPU のサポートが向上しました。有効な CPU タイプのリストに「octeon+」を追加しました。
• WebAssembly 中間コードにアセンブルするときに、システムで利用可能な場合は wasm-opt オプティマイザーが自動的に呼び出されます。
• RISC-V アーキテクチャに基づくシステムの場合、アセンブラのインライン挿入の条件付きブロックで浮動小数点値を格納するレジスタの使用が許可されます。
• 新しいコンパイラ フラグを追加しました。「__GNUC__」および同様のマクロのバージョン値を設定する「-fgnuc-version」。 「-fmacro-prefix-map=OLD=NEW」は、「__FILE__」などのマクロ内のディレクトリ接頭辞 OLD を NEW に置き換えます。 「-fpatchable-function-entry=N[,M]」は、関数エントリ ポイントの前後に一定数の NOP 命令を生成します。 RISC-Vの場合
  「-ffixed-xX」、「-mcmodel=medany」、および「-mcmodel=medlow」フラグのサポートが追加されました。

• ‘__attribute__((target(“branch-protection=...”))) 属性のサポートが追加されました。その効果はオプションと同様です -mbranch-protection.
• Windows プラットフォームでは、「-cfguard」フラグを指定すると、間接的な関数呼び出しに対する実行フロー整合性チェック (コントロール フロー ガード) の置換が実装されます。チェック置換を無効にするには、「-cfguard-nochecks」フラグまたは「__declspec(guard(nocf))」修飾子を使用できます。
• gnu_inline 属性の動作は、「extern」キーワードなしで使用される場合の GCC と同様です。
• OpenCL および CUDA サポートに関連する機能が拡張されました。新しい OpenMP 5.0 機能のサポートが追加されました。
• Clang-format ユーティリティに標準オプションが追加されました。これにより、コードの解析およびフォーマット時に使用される C++ 標準のバージョン (最新、自動、c++03、c++11、c++14、 c++17、c++20)。
• 新しいチェックが静的アナライザーに追加されました: 十分なストレージ領域があるかどうかを判断する alpha.cplusplus.PlacementNew、Fuchsia ハンドラーに関連するリークを検出する fuchsia.HandleChecker、[NSCoder decodeValueOfObjCType の使用時に潜在的なバッファ オーバーフローを検出する security.insecureAPI.decodeValueOfObjCType] ：で：] 。
• 未定義動作サニタイザー (UBSan) は、ポインター オーバーフロー チェックを拡張して、NULL ポインターへの非ゼロ オフセットの適用、または結果として生じる NULL ポインター オフセットの追加をキャッチできるようにしました。
• リンターでカチャカチャと整頓 追加した 新しい小切手の大部分。

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

• フレームワークへ 属性 新しいプロシージャ間の最適化とアナライザーが追加されました。 19 個の LLVM IR と活性などの 12 個の抽象属性を含む、12 個の異なる属性の状態が予測されます。
• コンパイラに組み込まれた新しい行列数学関数を追加しました (組み込み関数)、コンパイル中に効率的なベクトル命令に置き換えられます。
• X86、AArch64、ARM、SystemZ、MIPS、AMDGPU、および PowerPC アーキテクチャのバックエンドに多数の改善が加えられました。 CPUサポートの追加
  Cortex-A65、Cortex-A65AE、Neoverse E1、および Neoverse N1。 ARMv8.1-M では、コード生成プロセスが最適化され (たとえば、最小限のオーバーヘッドでループがサポートされるようになりました)、MVE 拡張機能を使用して自動ベクトル化のサポートが追加されました。 CPU MIPS Octeon のサポートが改善されました。 PowerPC では、MASSV (Mathematical Acceleration SubSystem) ライブラリを使用した数学的サブルーチンのベクトル化が有効になり、コード生成が改善され、ループからのメモリ アクセスが最適化されます。 x86 の場合、ベクトル タイプ v2i32、v4i16、v2i16、v8i8、v4i8、および v2i8 の処理が変更されました。

• WebAssembly 用のコード ジェネレーターが改善されました。 TLS (Thread-Local Storage) と atomic.fence 命令のサポートが追加されました。 SIMD サポートが大幅に拡張されました。 WebAssembly オブジェクト ファイルでは、複数値の関数シグネチャを使用できるようになりました。
• アナライザーはループを処理するときに使用されます メモリSSAを使用すると、異なるメモリ操作間の依存関係を定義できます。 MemorySSA は、コンパイル時間と実行時間を短縮したり、パフォーマンスを損なうことなく AliasSetTracker の代わりに使用したりできます。
• LLDB デバッガーでは、DWARF v5 形式のサポートが大幅に向上しました。 MinGW を使用したビルドのサポートの改善
  また、ARM および ARM64 アーキテクチャ用の Windows 実行可能ファイルをデバッグするための初期機能が追加されました。 Tab キーを押して入力をオートコンプリートするときに提供されるオプションの説明を追加しました。

• 拡張された LLD リンカー機能。 GNU リンカーとの glob テンプレートの完全な互換性の確保、圧縮デバッグ セクション ".zdebug" のサポートの追加、.note.gnu.property セクションを定義するための PT_GNU_PROPERTY プロパティの追加など、ELF 形式のサポートが向上しました (将来使用可能) Linux カーネル)、
  「-z no Separate-code」、「-z Separate-code」、および「-z Separate-loadable-segments」モードが実装されました。 MinGW と WebAssembly のサポートが改善されました。

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