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

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

Clang 16.0 の主な改善点:

• デフォルトの C++/ObjC++ 標準は gnu++17 (以前の gnu++14) です。これは、GNU 拡張機能を備えた C++17 機能がデフォルトでサポートされていることを意味します。 以前の動作に戻すには、「-std=gnu++14」オプションを使用できます。
• C++20 標準に関連する高度な機能が実装されました。
  • 条件付きで自明な特別なメンバー関数、
  • ラムダ関数で構造化バインディングをキャプチャする、
  • 式内の等価演算子、
  • 一部のコンテキストで typename キーワードを省略するオプション。
  • 括弧内の有効な集計初期化 (「Aggr(val1, val2)」)。
• 将来の C++2b 標準で定義される機能が実装されました。
  • 複合式の末尾にラベルを配置することができます。
  • 静的演算子()、
  • 静的演算子[]、
  • char8_t型との互換性が確保されており、
  • 「\N{...}」で使用できる文字の範囲が拡張されました
  • constexpr として宣言された関数で、「static constexpr」として宣言された変数を使用する機能が追加されました。
• 将来の C 標準 C2x で定義される機能が実装されました。
  • 「-Wunused-label」警告を無効にするには、「[[maybe_unused]]」属性をラベルに適用できます。
  • 複合式内のどこにでもラベルを配置できます。
  • typeof 演算子と typeof_unqual 演算子を追加しました。
  • 新しい型 nullptr_t と nullptr 定数は、任意のポインター型に変換でき、整数型と void* 型にバインドされていない NULL のバリアントを表す null ポインターを定義します。
  • C2x モードでは、可変数の引数 (可変長引数) を使用して va_start マクロを呼び出すことができます。
• C99、C11、および C17 準拠モードでは、デフォルト オプション「-Wimplicit-function-declaration」および「-Wimplicit-int」により、警告ではなくエラーが生成されるようになりました。
• C++ モードでの "void *" (例: "void func(void *p) { *p; }") の間接的な使用は、ISO C++、GCC、ICC、MSVC と同様のエラーを生成するようになりました。
• Microsoft スタイルのインライン アセンブリ ブロックでビットフィールドを命令オペランド (例: "__asm { mov eax, s.bf }") として指定すると、エラーが生成されるようになりました。
• 異なるモジュール内に同じ名前を持つ異なる構造体と共用体が存在するかどうかの診断を追加しました。
• OpenCL および OpenMP のサポートに関連する機能が拡張されました。 OpenCL カーネル引数で使用される C++ テンプレートの診断が改善されました。 AMDGPU のキュー ブロックのサポートが改善されました。 nounwind 属性はすべての関数に暗黙的に追加されます。 組み込み関数のサポートが改善されました。
• CLANG_CRASH_DIAGNOSTICS_DIR 環境変数を使用して、クラッシュ診断データが保存されるディレクトリを定義する機能が追加されました。
• Unicode サポートが Unicode 15.0 仕様に更新されました。 「₊」（例：「double xₖ₊₁」）など、一部の数学記号は識別子で使用できます。
• 複数の構成ファイルのロードのサポートが追加されました (デフォルトの構成ファイルが最初にロードされ、次に「--config=」フラグで指定されたファイルがロードされ、複数回指定できるようになりました)。 設定ファイルのデフォルトのロード順序を変更しました。clang は最初にファイルをロードしようとします。 - .cfg が見つからない場合は XNUMX つのファイルをロードしようとします。 .cfg と.cfg。 デフォルトで設定ファイルのロードを無効にするために、「--no-default-config」フラグが追加されました。
• 反復可能なビルドを保証するために、__DATE__、__TIME__、__TIMESTAMP__ マクロの現在の日付と時刻の値を、SOURCE_DATE_EPOCH 環境変数で指定された時刻に置き換えることができます。
• 定数のコンテキストで使用できる組み込み関数 (builtin) の存在を確認するために、マクロ「__has_constexpr_builtin」が追加されました。
• アラインメントされたコルーチンフレーム割り当てのための新しいコンパイルフラグ「-fcoro-aligned-allocation」を追加しました。
• 「-fstrict-flex-arrays=」フラグは、構造内のフレキシブル配列要素 (フレキシブル配列メンバー、構造の最後にある無限サイズの配列) の検証の第 0 レベルのサポートを実装します。 0 番目のレベルでは、サイズ「[]」 (たとえば、「int b[]」) のみが柔軟な配列として扱われますが、サイズ「[XNUMX]」 (たとえば、「int b[XNUMX]」) は柔軟な配列として扱われます。ではありません。
• 標準 C++ モジュールの単相コンパイル モデルを有効にするための「-fmodule-output」フラグを追加しました。
• スタック フレーム レイアウトの問題の診断に役立つ「-Rpass-analysis=stack-frame-layout」モードが追加されました。
• 新しい属性 __attribute__((target_version("cpu_features"))) を追加し、AArch1 によって提供される機能の特定のバージョンを選択するために属性 __attribute__((target_clones("cpu_features2","cpu_features64",...))) の機能を拡張しました。 CPU。
• 拡張された診断ツール:
  • シングルビットの符号付きビットフィールドに代入する際の暗黙的な切り捨てを検出する警告「-Wsingle-bit-bitfield-constant-conversion」を追加しました。
  • 初期化されていない constexpr 変数の診断が拡張されました。
  • 関数型キャストに関する潜在的な問題を特定するために、「-Wcast-function-type-strict」および「-Wincompatibility-function-pointer-types-strict」警告を追加しました。
  • エクスポート ブロックで間違ったモジュール名または予約されたモジュール名を使用するための診断を追加しました。
  • 定義内に欠落している「auto」キーワードの検出が改善されました。
  • 「-Winteger-overflow」警告の実装により、オーバーフローを引き起こす追加の状況に対するチェックが追加されました。
• LoongArch 命令セット アーキテクチャ (-march=loongarch64 または -march=la464) のサポートが実装されました。これは Loongson 3 5000 プロセッサで使用され、MIPS や RISC-V と同様の新しい RISC ISA を実装します。

LLVM 16.0 の主な革新:

• LLVM コードでは、C++17 標準で定義された要素を使用できます。
• LLVM を構築するための環境要件が増加しました。 ビルド ツールは C++17 標準をサポートする必要があります。つまり、 ビルドするには、少なくとも GCC 7.1、Clang 5.0、Apple Clang 10.0、または Visual Studio 2019 16.7 が必要です。
• AArch64 アーキテクチャのバックエンドでは、Cortex-A715、Cortex-X3、Neoverse V2 CPU、RME MEC (メモリ暗号化コンテキスト) のアセンブラ、Armv8.3 拡張機能 (複素数)、および関数マルチ バージョニングのサポートが追加されています。
• ARM アーキテクチャのバックエンドでは、正しいコードの生成が保証されていない Armv2、Armv2A、Armv3、および Armv3M ターゲット プラットフォームのサポートが中止されました。 複素数を扱うための命令のコードを生成する機能が追加されました。
• X86 アーキテクチャのバックエンドには、命令セット アーキテクチャ (ISA) AMX-FP16、CMPCCXADD、AVX-IFMA、AVX-VNNI-INT8、AVX-NE-CONVERT のサポートが追加されました。 RDMSRLIST、RMSRLIST、および WRMSRNS 命令のサポートが追加されました。 オプション「-mcpu=raptorlake」、「-mcpu=meteorlake」、「-mcpu=emeraldrapids」、「-mcpu=sierraforest」、「-mcpu=graniterapids」および「-mcpu=grandridge」を実装しました。
• LoongArch プラットフォームの公式サポートが追加されました。
• MIPS、PowerPC、RISC-V アーキテクチャ向けのバックエンドの改善
• LoongArch アーキテクチャの 64 ビット実行可能ファイルのデバッグのサポートが LLDB デバッガーに追加されました。 COFF デバッグ シンボルの処理が改善されました。 ロードされた Windows モジュールのリスト内の重複する DLL のフィルタリングが提供されました。
• Libc++ ライブラリでは、主な作業は C++20 および C++23 標準の新機能のサポートの実装に重点が置かれていました。
• LDD リンカーは、アドレス再配置スキャンとセクション初期化操作を並列化することにより、リンク時間を大幅に短縮します。 ZSTD アルゴリズムを使用したセクション圧縮のサポートが追加されました。

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