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

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

LLVM 9.0 の新機能には、ターゲット RISC-V プラットフォームからの実験設計タグの削除、OpenCL の C++ サポート、LLD で動的にロードされる部分にプログラムを分割する機能、および「asm 後藤"、Linux カーネル コードで使用されます。 libc++ は WASI (WebAssembly System Interface) のサポートを追加し、LLD は WebAssembly 動的リンクの初期サポートを追加しました。

改善点 Clang 9.0 では:

• 追加した GCC 固有の式の実装 "asm 後藤これにより、アセンブラのインライン ブロックから C コードのラベルに移動できるようになります。 この機能は、x86_64 アーキテクチャのシステム上で Clang を使用して「CONFIG_JUMP_LABEL=y」モードで Linux カーネルをビルドするために必要です。 以前のリリースで追加された変更を考慮して、Linux カーネルを x86_64 アーキテクチャ用に 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 を使用するための実験的なサポートが追加されました。 具体的な機能には、アドレス空間属性のサポート、型キャスト演算子によるアドレス空間変換のブロック、C の OpenCL と同様のベクトル型の提供、画像、イベント、チャネルなどに対する特定の 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」) を表示するためのフラグを追加しました。 「 - 開発者」）。 警告をエラーとして扱うための「-analyzer-werror」フラグを追加しました。
  新しい検証モードが追加されました。
  • security.insecureAPI.DeprecatedOrUnsafeBufferHandling を使用して、バッファーを操作するための安全でない慣行を特定します。
  • osx.MIGChecker は、MIG (Mach Interface Generator) 呼び出しルールの違反を検索します。
  • optin.osx.OSObjectCStyleCast を使用して、不正な XNU likern オブジェクト変換を見つけます。
  • apiModeling.llvm には、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 からの警告、ヘッダー ファイル内のエラーの診断が拡張され、型階層に関する情報を表示する機能が追加されました。

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

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

  LLDリンカー 持ってきた arm32_7、arm64、ppc64le、および x86_64 アーキテクチャの Linux カーネルをリンクするのに適した状態にします。
  新しいオプション "-" (stdout への出力)、"-[no-]allow-shlib-unknown"、"-unknown-glob"、"-nmagic"、"-omagic"、"-dependent-library"、" - z ifunc-noplt」および「-z common-page-size」。 AArch64 アーキテクチャでは、BTI (Branch Target Indicator) および PAC (Pointer Authentication Code) 命令のサポートが追加されました。 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) 拡張機能のサポートが追加されました。 GFX10 (Navi) アーキテクチャのサポートが AMDGPU バックエンドに追加され、関数呼び出し機能がデフォルトで有効になり、結合パスがアクティブ化されます。 DPP (データ並列プリミティブ)。

• LLDB デバッガには、バックトレースが色で強調表示されるようになり、DWARF4 debug_types ブロックと DWARF5 debug_info ブロックのサポートが追加されました。
• COFF 形式のオブジェクトおよび実行可能ファイルのサポートが、llvm-objcopy および llvm-strip ユーティリティに追加されました。

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