GCC 12 コンパイラ スイートのリリース

12.1 年間の開発を経て、新しい GCC 12.x ブランチの最初の重要なリリースである、無料のコンパイラ スイート GCC 12.0 がリリースされました。新しいリリース番号付けスキームに従って、バージョン 12.1 が開発プロセスで使用され、GCC 13.0 のリリースの直前に、GCC 13.1 ブランチがすでに分岐していました。これに基づいて、次のメジャー リリースである GCC 23 が作成されます。形成される。 35 月 XNUMX 日、このプロジェクトは GCC の初版の設立から XNUMX 周年を祝います。

主な変更点：

• CTF (Compact Type Format) デバッグ形式のサポートが追加されました。これは、C 型、関数間の接続、およびデバッグ シンボルに関する情報をコンパクトに保存します。 ELF オブジェクトに埋め込まれる場合、この形式により EFL 文字テーブルを使用してデータの重複を回避できます。
• 1980 年代に作成された「STABS」デバッグ情報保存形式のサポートは廃止されました。
• C および C++ 言語の将来の C2X および C++23 標準のサポートを拡張する作業が続けられています。たとえば、「if consteval」式のサポートが追加されました。関数の引数で auto を使用できます (“f(auto(g()))”)。 constexpr として宣言された関数では、非リテラル変数、goto およびラベルの使用が許可されます。多次元インデックス演算子operator[]のサポートを追加しました。 if、for、switch では、初期化ブロックの機能が拡張されました (「for (using T = int; T e : v)」)。
• C++ 標準ライブラリでは、C++20 および C++23 標準の実験セクションのサポートが強化されました。 std::move_only_function、、std::basic_string::resize_and_overwrite、、、および std::invoke_r のサポートが追加されました。 constexpr 関数で std::unique_ptr、std::vector、std::basic_string、std::optional、std::variant を使用できるようになりました。
• Fortran フロントエンドは、Fortran と C コード間の移植性を確保するための機能を説明する TS 29113 仕様を完全にサポートしています。
• 以前に Clang に追加された __builtin_shufflevector(vec1, vec2, Index1, Index2, ...) 拡張機能のサポートが追加されました。これにより、一般的なベクトル シャッフルおよびシャッフル操作を XNUMX 回の呼び出しで実行できます。
• 「-O2」最適化レベルを使用する場合、ベクトル化はデフォルトで有効になります (-ftree-vectorize および -fvect-cost-model=very-cheap モードが有効になります)。非常に安価なモデルは、ベクトル化されるスカラー コードをベクトル コードで完全に置き換えることができる場合にのみベクトル化を許可します。
• 「-ftrivial-auto-var-init」モードを追加して、スタック上の変数の明示的な初期化を有効にして、問題を追跡し、初期化されていない変数の使用に関連する脆弱性をブロックしました。
• C および C++ 言語の場合、オブジェクトのサイズを決定するための組み込み関数 __builtin_dynamic_object_size が追加されており、Clang の同様の関数と互換性があります。
• C および C++ 言語の場合、「unavailable」属性のサポートが追加されました (たとえば、使用しようとするとエラーが発生する関数をマークできます)。
• C および C++ 言語の場合、前処理ディレクティブ「#elifdef」および「#elifndef」のサポートが追加されました。
• UTF-8 文字が誤って使用された場合に警告を表示する「-Wbidi-chars」フラグを追加し、双​​方向テキストの表示順序を変更しました。
• 配列を参照する 2 つのオペランドを比較しようとしたときに警告を表示する「-Warray-compare」フラグを追加しました。
• OpenMP 5.0 および 5.1 (Open Multi-Processing) 標準の実装。共有メモリおよびベクトル化ユニット (SIMD) を備えたマルチコアおよびハイブリッド (CPU+GPU/DSP) システムに並列プログラミング手法を適用するための API と手法を定義します。 、と続いています。
• OpenACC 2.6 並列プログラミング仕様の実装が改善され、GPU や NVIDIA PTX などの特殊なプロセッサで操作をオフロードするためのツールが定義されています。
• 拡張命令 Intel AVX86-FP512 および _Float16 タイプのサポートが、x16 アーキテクチャのコード生成バックエンドに追加されました。
• x86 アーキテクチャの場合、無条件前方ジャンプ操作後の命令の投機的実行によって引き起こされるプロセッサの脆弱性に対する保護が追加されました。この問題は、メモリ内の分岐命令の直後の命令のプリエンプティブ処理 (SLS、直線投機) が原因で発生します。保護を有効にするために、「-mharden-sls」オプションが提案されています。
• 初期化されていない変数の使用の検出を実験用静的アナライザーに追加しました。インライン挿入でアセンブリ コードを分析するための初期サポートが追加されました。メモリ追跡が改善されました。 switch 式を処理するコードが書き直されました。
• コード ジェネレーターを他のプロセスに埋め込み、それを使用してバイトコードをマシン コードに JIT コンパイルするための共有ライブラリである libgccjit に 30 の新しい呼び出しが追加されました。
• BPF バイトコードを生成するためのバックエンドに CO-RE (Compile Once - Run Everywhere) メカニズムのサポートが追加されました。これにより、Linux カーネル用の eBPF プログラムのコードを 1 回だけコンパイルし、ロードされたプログラムを現在のカーネルお​​よび BPF タイプ形式に変換します)。 CO-RE は、データ構造内の要素の位置がバージョンごとに変わるため、コンパイルされた eBPF プログラムの移植性の問題を解決します。以前は、コンパイルされたカーネルのバージョンでしか使用できませんでした。
• RISC-V バックエンドでは、新しい命令セット アーキテクチャ拡張機能 zba、zbb、zbc、zbs と、ベクトルおよびスカラー暗号化操作用の ISA 拡張機能のサポートが追加されています。デフォルトでは、RISC-V ISA 20191213 仕様のサポートが提供されており、T-HEAD c906 コアの最適化を有効にする -mtune=thead-c906 フラグが追加されました。
• __int128_t/integer(kind=16) 型のサポートが、GCN マイクロアーキテクチャに基づいた AMD GPU のコード生成バックエンドに追加されました。コンピューティング ユニット (CU) ごとに最大 40 のワーク グループと、グループごとに最大 16 の命令フロント (ウェーブフロント、SIMD エンジンによって並列実行されるスレッドのセット) を使用することができます。以前は、CU ごとに XNUMX つの命令エッジのみが許可されていました。
• NVPTX バックエンドは、NVIDIA PTX (Parallel Thread Execution) 命令セット アーキテクチャを使用してコードを生成するように設計されており、「-march」、「-mptx」、および「-march-map」フラグを使用する機能が追加されました。 PTX ISA sm_53、sm_70、sm_75、および sm_80 のサポートを実装しました。デフォルトのアーキテクチャは sm_30 です。
• PowerPC / PowerPC64 / RS6000 プロセッサのバックエンドでは、組み込み関数の実装が書き直されました。組み込み関数 __builtin_get_texasr、__builtin_get_texasru、__builtin_get_tfhar、__builtin_get_tfiar、__builtin_set_texasr、__builtin_set_texasru、__builtin_set_tfhar、__builtin_set_tfiar が文書化されています。
• Arm Ampere-64 (-mcpu/-mtune ampere1)、Arm Cortex-A1 (cortex-a510)、Arm Cortex-A510 (cortex-a710)、および Arm Cortex-X710 (cortex-x2) のサポート。 「-march」オプションとともに使用する新しい ARMv2 アーキテクチャ オプションのサポートが追加されました: armv8-a、armv8.7-a、armv8.8-a。拡張 ARM 命令 (ls9) の使用に基づいて、データをメモリにアトミックにロードおよび保存するためにコンパイラ (Intrinsics) に組み込まれた C 関数の実装を追加しました。 mopsoption ARM 拡張機能を使用して memcpy、memmove、および memset 関数を高速化するためのサポートが追加されました。
• 新しいチェック モード「-fsanitize=shadow-call-stack」（ShadowCallStack）が追加されました。これは現在 AArch64 アーキテクチャでのみ利用可能で、「-ffixed-r18」オプションを使用してコードをビルドするときに機能します。このモードは、スタック上でバッファ オーバーフローが発生した場合に、関数からの戻りアドレスを上書きすることに対する保護を提供します。保護の本質は、関数に制御を移した後、関数を終了する前に戻りアドレスを別の「シャドウ」スタックに保存し、このアドレスを取得することです。

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