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

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

LLVM 9.0の新機能には、RISC-Vターゲットプラットフォームから実験的開発マークを削除する機能、OpenCL用のC++のサポート、LLDでプログラムを動的にロードされる部分に分割する機能、「アセンブリ goto"は、Linuxカーネルコードで使用されます。libc++はWASI（WebAssembly System Interface）のサポートを追加し、LLDはWebAssembly動的リンクの初期サポートを追加しました。

改善点 Clang 9.0の場合:

• 追加した GCC固有の式の実装 "アセンブリ goto」が追加され、インラインアセンブリブロックからCコードのラベルにジャンプできるようになりました。この機能は、x86_64システムでClangを使用して「CONFIG_JUMP_LABEL=y」モードでLinuxカーネルをビルドするために必要です。以前のリリースで追加された変更を考慮すると、x86_64アーキテクチャ用のLinuxカーネルもClangでビルドできるようになりました（以前は、arm、aarch64、ppc32、ppc64le、およびmipsアーキテクチャ用のビルドのみがサポートされていました）。さらに、AndroidおよびChromeOSプロジェクトはすでにカーネルビルドにClangを使用するように移行しており、Googleは製品版Linuxシステムの主要なカーネルビルドプラットフォームとしてClangをテストしています。将来的には、LLD、llvm-objcopy、llvm-ar、llvm-nm、llvm-objdumpなどの他のLLVMコンポーネントもカーネルビルドプロセスで使用できるようになります。
• OpenCL で C++17 を使用するための実験的なサポートが追加されました。具体的な機能としては、アドレス空間属性のサポート、型キャスト演算子によるアドレス空間変換のブロック、OpenCL for C のようなベクトル型の提供、イメージ、イベント、チャネルなどの OpenCL 固有の型の存在などがあります。
• フロントエンド (解析、初期化) とバックエンド (最適化段階) のさまざまな段階の実行時間に関するレポートを生成するための新しいコンパイラ フラグ「-ftime-trace」と「-ftime-trace-granularity=N」を追加しました。レポートは json 形式で保存され、chrome://tracing および speedscope.app と互換性があります。
• 「__declspec(allocator)」指定子の処理と付随するデバッグ情報の生成が追加され、Visual Studio 環境でメモリ消費を追跡できるようになりました。
• C 言語では、「__FILE_NAME__」マクロのサポートが追加されました。これは「__FILE__」マクロに似ていますが、完全パスなしでファイル名のみが含まれます。
• C++ 言語では、アドレス空間属性のサポートが拡張され、パラメーターと引数のテンプレート、参照型、戻り値の型の推論、オブジェクト、自動生成された関数、組み込み演算子など、さまざまな C++ 機能がカバーされるようになりました。
• OpenCL、OpenMP、CUDA のサポートに関連する機能が拡張されました。これには、組み込み OpenCL 関数の暗黙的な組み込みの初期サポート (「-fdeclare-opencl-builtins」フラグが追加されました)、cl_arm_integer_dot_product 拡張機能が実装され、診断ツールが拡張されました。
• 静的アナライザーのパフォーマンスが向上し、静的分析の実行方法に関するドキュメントが追加されました。利用可能なチェック モジュールとサポートされているオプションを表示するためのフラグが追加されました (「-analyzer-checker[-option]-help」、「-analyzer-checker[-option]-help-alpha」、および「-analyzer-checker[-option]-help-developer」)。警告をエラーとして扱うための「-analyzer-werror」フラグを追加しました。
  新しい検証モードが追加されました:
  • 安全でないバッファ処理方法を検出するための security.insecureAPI.DeprecatedOrUnsafeBufferHandling。
  • MIG (Mach Interface Generator) 呼び出し設計ルールの違反を検出するための osx.MIGChecker。
  • XNU libkern オブジェクトの不正な変換を見つけるための optin.osx.OSObjectCStyleCast。
  • LLVM コード ベース内のエラーを検出するためのモデリング チェック関数のセットを備えた apiModeling.llvm。
  • 初期化されていない C++ オブジェクト (optin.cplusplus パッケージの UninitializedObject) をチェックするための安定化されたコード。
• clang-format ユーティリティは、C# コードのフォーマットをサポートするように更新され、Microsoft コード スタイルのサポートを提供します。
• Visual Studio に含まれる cl.exe コンパイラとのオプション レベルの互換性を提供する代替コマンド ライン インターフェイスである clang-cl では、存在しないファイルをコマンド ライン オプションとして扱い、それに応じて警告を発行するヒューリスティックが追加されました (例: "clang-cl /diagnostic:caret /c test.cc" を実行する場合)。
• OpenMP API に固有のチェックを含む、大量の新しいチェックが clang-tidy リンターに追加されました。
• 拡張された サーバー機能 鳴らす (Clang Server) では、バックグラウンド インデックス構築がデフォルトで有効になっており、コードによるコンテキスト アクションのサポート (変数の抽出、自動およびマクロ定義の拡張、エスケープされた文字列からエスケープされていない文字列への変換) が追加され、Clang-tidy からの警告を出力する機能が追加され、ヘッダー ファイル内のエラーの診断が拡張され、型階層に関する情報を出力する機能が追加されました。

メイン イノベーション LLVM9.0:

• LLD リンカーに実験的なパーティショニング機能が追加され、1 つのプログラムを複数の部分に分割し、それぞれを別の ELF ファイルに配置できるようになりました。この機能を使用すると、プログラムの主要部分を起動して、操作中に必要に応じて残りのコンポーネントを読み込むことができます (たとえば、組み込みの PDF ビューアーを別のファイルに分離し、ユーザーが PDF ファイルを開いたときにのみ読み込むことができます)。

  LLD リンカー 持ってきた arm32_7、arm64、ppc64le、x86_64 アーキテクチャ用の Linux カーネルを構築するのに適した状態にします。
  新しいオプションが提案されています: "-" (stdout に出力)、 "--[no-]allow-shlib-undefined"、 "--undefined-glob"、 "-nmagic"、 "-omagic"、 "--dependent-library"、 "-z ifunc-noplt"、および "-z common-page-size"。 AArch64 アーキテクチャでは、BTI (分岐ターゲット インジケーター) および PAC (ポインタ認証コード) 命令のサポートが追加されました。 MIPS、RISC-V、PowerPC プラットフォームのサポートが大幅に改善されました。 WebAssembly の初期の動的リンク サポートを追加しました。

• libc++の場合 実装されました 関数 ssize、std::is_constant_evaluated、std::midpoint、std::lerp、メソッド「front」と「back」が std::span に追加され、型フラグ std::is_unbounded_array と std::is_bounded_array が追加され、std::atomic の機能が拡張されました。 GCC 4.9 のサポートは廃止されました (GCC 5.1 以降のリリースで使用できます)。サポートを追加 ワシ (WebAssembly System Interface、ブラウザ外で WebAssembly を使用するためのインターフェース)
• 新しい最適化を追加しました。いくつかの状況で memcmp 呼び出しが bcmp に変換されるようにしました。下位スイッチ ブロックに到達できない場合や、void 型の関数を呼び出す場合など、命令が使用されていない場合にジャンプ テーブルの範囲チェックをスキップすることを実装しました。
• RISC-V アーキテクチャのバックエンドは安定化され、実験的なものとして位置付けられなくなり、デフォルトでビルドされるようになりました。 MAFDC 拡張機能を備えた RV32I および RV64I 命令セット バリアントに対して完全なコード生成サポートが提供されます。
• X86、AArch64、ARM、SystemZ、MIPS、AMDGPU、PowerPC アーキテクチャのバックエンドに多数の改善が加えられました。例えば建築の場合
  AArch64 は SVE2 (Scalable Vector Extension 2) および MTE (Memory Tagging Extensions) 命令のサポートを追加し、ARM バックエンドは Armv8.1-M アーキテクチャと MVE (M-Profile Vector Extension) のサポートを追加します。 AMDGPUバックエンドにGFX10（Navi）アーキテクチャのサポートを追加し、関数呼び出し機能をデフォルトで有効にし、結合パスを有効にしました。 DPP (データ並列プリミティブ)。
• LLDB デバッガーにバックトレースのカラー強調表示機能が追加され、DWARF4 debug_types および DWARF5 debug_info ブロックのサポートが追加されました。
• llvm-objcopy および llvm-strip ユーティリティが更新され、COFF 形式のオブジェクト ファイルと実行可能ファイルをサポートするようになりました。

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