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

XNUMX年間の開発を経て 公開済み 無料のコンパイラセットのリリース GCC 10.1、新しい GCC 10.x ブランチの最初のメジャー リリース。 に従って 新しいスキーム リリース番号に従って、バージョン 10.0 が開発プロセスで使用され、GCC 10.1 のリリースの直前に、GCC 11.0 ブランチがすでに分岐しており、これに基づいて次の重要なリリースである GCC 11.1 が形成されます。

GCC 10.1 は、C++20 標準向けに開発された C++ 言語における多くの革新的な実装、将来の C 言語標準 (C2x) に関連する改善、コンパイラ バックエンドの新しい最適化、および実験的サポートで注目に値します。 静的解析モード。 さらに、新しいブランチの準備中に、プロジェクトはリポジトリを SVN から Git に転送しました。

メイン 変更:

• 追加した 静的解析の実験モード」-ファナライザーこれは、プログラム内のコード実行パスとデータ フローのリソースを大量に消費するプロシージャ間分析を実行します。 このモードは、XNUMX つのメモリ領域に対する free() 関数の二重呼び出し、ファイル記述子のリーク、逆参照と null ポインタの受け渡し、解放されたメモリ ブロックへのアクセス、初期化されていない値の使用などの問題をコンパイル段階で検出できます。 OpenSSL コードの新しいモードの使用により、すでに 危険な脆弱性.
• プロシージャ間の最適化が改善されました。 IPA-SRA (プロシージャ間スカラー共有置換) パスはバインド時に機能するように再設計され、特に、計算されて返された未使用の値が削除されるようになりました。 「-O2」最適化モードでは、「-finline-functions」オプションが有効になり、実行パフォーマンスよりもコンパクトなコードを優先するように調整されます。 インライン関数展開のためのヒューリスティックの作業が高速化されました。 インライン展開と関数複製ヒューリスティックでは、値の範囲に関する情報を使用して、個々の変換の有効性を予測できるようになりました。 C++ では、型ベースのエイリアス解析の精度が向上しました。
• 強化されたリンク時間の最適化 (LTO)。 新しい実行可能ファイルを追加しました lto-ダンプ LTO バイトコードを使用してオブジェクト ファイルに関する情報をリセットします。 並列 LTO パスは、同時に実行される make タスクの数を自動的に決定し、決定できない場合は、CPU コアの数に関する情報を並列化係数として使用します。 zstd アルゴリズムを使用して LTO バイトコードを圧縮する機能が追加されました。
• コードプロファイリングの結果に基づく最適化メカニズム (PGO - プロファイルガイド付き最適化) が改善され、コード実行の特性の分析に基づいてより最適なコードが生成されます。 コンパイルおよびホット/コールドコード分離時のプロファイルのメンテナンスが改善されました。 オプション経由で「-fprofile-values» は、間接呼び出しなど、より正確なプロファイル情報を提供するために、最大 4 つのプロファイル値を監視できるようになりました。
• C、C++、および Fortran 言語用に実装された並列プログラミング仕様 OpenACC 2.6、GPU および NVIDIA PTX などの特殊なプロセッサーで操作をオフロードするためのツールを定義します。 標準の実装はほぼ完了 MP5.0を開きます (Open Multi-Processing) は、共有メモリとベクトル化ユニット (SIMD) を備えたマルチコアおよびハイブリッド (CPU+GPU/DSP) システムに並列プログラミング手法を適用する API と手法を定義します。 lastprivate 条件、スキャンおよびループ ディレクティブ、order および use_device_addr 式などの機能が追加されました。 OpenMP および OpenACC については、第 10 世代 (フィジー) および第 20 世代 AMD Radeon (GCN) GPU (VEGA XNUMX/VEGA XNUMX) でのオフロード操作のサポートが追加されました。
• C ファミリーの言語の場合、参照またはポインターによって渡されるオブジェクトへの関数のアクセスを記述し、そのようなオブジェクトをオブジェクトのサイズに関する情報を含む整数の引数に関連付ける「アクセス」関数が追加されました。 「access」と連携して機能するために、「type」属性は、配列の境界外の領域に値を書き込む場合など、ユーザー関数からの不正なアクセスを検出するために実装されています。 また、ELF ファイル内のシンボルを特定のバージョン番号に関連付ける「symver」属性も追加されました。
• 新しい警告が追加されました:
  • 「-Wstring-compare」（「-Wextra」で有効） - ゼロが strcmp および strncmp 関数の呼び出し結果と比較される式の存在について警告します。これは、長さが異なるため定数と同等です。 XNUMX つの引数のサイズが XNUMX 番目の引数の配列のサイズより大きくなります。
  • 「-Wzero-length-bounds」 (「-Warray-bounds」で有効) - 長さ XNUMX の配列要素へのアクセスについて警告します。これにより、他のデータが上書きされる可能性があります。
  • 「-Warray-bounds」、「-Wformat-overflow」、「-Wrestrict」、「-Wreturn-local-addr」、および「-Wstringop-overflow」警告が拡張され、範囲外の状況の数が増加しました。扱っているもの。
• UCN 表記 (\uNNNN または \UNNNNNNNN) ではなく、現在のエンコーディング (デフォルトでは UTF-8) を使用して、識別子にワイド文字を直接指定する機能を実装しました。 例えば：

  静的定数 int π = 3;
  int get_naïve_pi() {
  πを返します。
  }

• C 言語の場合、C2X 標準内で開発された新機能の一部が実装されました (-std=c2x および -std=gnu2x を指定することで有効になります)。次のような属性を定義するための「[[]]」構文のサポートが登場しました。 C++ (例: [[gnu ::const]]、[[deprecated]]、[[fallthrough]]、および [[maybe_unused]]。UTF-8 文字を使用して定数を定義するための「u8」構文のサポートが追加されました。
  新しいマクロを追加しました。 「%OB」および「%Ob」置換を strftime に追加しました。

• C のデフォルト モードは「-fno-common」です。これにより、一部のプラットフォームでグローバル変数へのより効率的なアクセスが可能になります。
• C++ の場合、C++16 標準で開発された約 20 の変更と革新が実装されました。 追加されたキーワード「constinit」を含む
  テンプレート拡張機能のサポートが実装されました。」概念」。 概念を使用すると、コンパイル時にテンプレート パラメーターとして受け入れられる引数のセットを制限する一連のテンプレート パラメーター要件を定義できます。 この概念を使用すると、テンプレート内で使用されるデータ型のプロパティと入力パラメーターのデータ型プロパティの間の論理的不一致を回避できます。

• G++ は、constexpr を介して定数オブジェクトの変更によって引き起こされる未定義の動作を検出します。 constexpr を計算する際のコンパイラによるメモリ消費量が削減されました。 新しい警告「-Wmismatched-tags」と「-Wredundant-tags」を追加しました。
• 新しいコマンド ライン オプションが提案されています。
  • 「-fallocation-dce」は、「new」演算子と「delete」演算子の不要なペアを削除します。
  • 「-fprofile-partial-training」は、トレーニングの実行がないコードのサイズの最適化を無効にします。
  • "-fprofile-reproducible は、プロファイルの再現性のレベルを制御します。
  • 「-fprofile-prefix-path」は、個別のプロファイル生成に使用されるベース ソース ビルド ディレクトリを定義します (「-fprofile-generate=profile_dir」および「-fprofile-use=profile_dir」の場合)。
• 言及されたオプションの警告テキストには、これらのオプションのドキュメントに移動できるハイパーリンクが提供されています。 URL 置換は、「-fdiagnostics-urls」オプションを使用して制御されます。
• プリプロセッサ演算子を追加しました。__が組み込まれています」を使用して、組み込み関数を確認できます。
• ISO/IEC TS 18661 仕様で定義されている丸め関数の実装を備えた新しい組み込み関数「__builtin_roundeven」を追加しました。これは「round」に似ていますが、0.5 を超える部分を切り上げ (より大きな値に)、0.5 未満の部分を四捨五入します。 - (ゼロまで) ダウンし、0.5 に等しい - 最後から XNUMX 番目の桁のパリティから開始します。
• AArch64 アーキテクチャでは、SVE2 拡張機能のサポートが追加され、組み込み SVE ACLE 関数と型のサポートの追加、ベクトル化の使用など、SVE (Scalable Vector Extension) のサポートが改善されました。 LSE (Large System Extensions) および TME (Transactional Memory Extension) のサポートが拡張されました。 Armv8.5-A および Armv8.6-A で提案された新しい命令を追加しました。これには、乱数生成、丸め、メモリ タグ バインディング、
  bfloat16 と行列の乗算。 プロセッササポートの追加
  アームコーテックス-A77、
  アームコーテックス-A76AE、
  アームコーテックス-A65、
  アームコーテックス-A65AE、
  Arm Cortex-A34 と
  マーベルのサンダーX3。

• ARM32 の ABI FDPIC (64 ビット関数ポインター) のサポートが追加されました。 64 ビット整数演算の処理が再設計され、最適化されました。 CPUサポートの追加
  アームコーテックス-A77、
  Arm Cortex-A76AEと
  アームコーテックス-M35P。 32 ビット SIMD、16 ビット乗算、ラッチ演算、その他の DSP アルゴリズムの最適化を含む、ACLE データ処理命令のサポートが拡張されました。 ACLE CDE (カスタム データパス拡張) 命令の実験的サポートを追加しました。

• GCN マイクロアーキテクチャに基づいて、AMD GPU のバックエンドでのコード生成とベクトル化が大幅に改善されました。
• AVR アーキテクチャ用の XMEGA のようなデバイスのサポートを追加しました
  ATtiny202、ATtiny204、ATtiny402、ATtiny404、ATtiny406、ATtiny804、ATtiny806、ATtiny807、ATtiny1604、ATtiny1606、ATtiny1607、ATmega808、ATmega809、ATmega1608、ATmega1609、 ATmega3208、ATmega3209 4808、ATmega4809、ATmegaXNUMX。

• 新しいインテル ENQCMD 命令セット アーキテクチャ拡張機能 (-menqcmd) が IA-32/x86-64 アーキテクチャに追加されました。 Intel Cooperlake (-march=cooperlake、AVX512BF16 ISA 拡張機能を含む) および Tigerlake (-march=tigerlake、MOVDIRI、MOVDIR64B、および AVX512VP2INTERSECT ISA 拡張機能を含む) CPU のサポートが追加されました。
• HSA アーキテクチャに基づく異種コンピューティング システム用の HSAIL (異種システム アーキテクチャ中間言語) の実装は非推奨となり、将来のリリースでは削除される可能性があります。

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