ページの作成:「== 概要 == <br><br> == LLVMのインストール == [https://github.com/llvm/llvm-project/releases LLVMのGithub]から、LLVMのソースコードをダウンロードする。<br> ダウンロードするファイルは、llvm-project-<バージョン>.src.tar.xzである。<br> <br> ダウンロードしたLLVMのソースコードを解凍する。<br> tar xf llvm-project-<バージョン>.src.tar.xz <br> LLVMのビルドディレクトリを作成する。…」 |
|||
| (同じ利用者による、間の37版が非表示) | |||
| 1行目: | 1行目: | ||
== 概要 == | == 概要 == | ||
LLVMプロジェクトは、モジュール化され再利用可能なコンパイラとツールチェイン技術の集合体である。<br> | |||
<br> | |||
イリノイ大学の研究プロジェクトとして始まり、任意のプログラミング言語の静的 / 動的コンパイルをサポートできる、SSAベースの近代的なコンパイル戦略を提供することを目的としていた。<br> | |||
その後、LLVMは多くのサブプロジェクトからなるアンブレラプロジェクトに成長して、その多くは、学術研究において広く利用されるだけでなく、様々な商用およびオープンソースプロジェクトによって稼働している。<br> | |||
<br> | |||
LLVMの主なサブプロジェクトを、以下に示す。<br> | |||
* LLVMコアライブラリ | |||
*: ソースコードやターゲットに依存しない最新のオプティマイザと、多くの一般的なCPUに対応したコード生成機能を提供する。 | |||
*: これらのライブラリは、LLVM中間表現(LLVM IR)として知られる指定されたコード表現を中心に構築されている。 | |||
*: LLVMコアライブラリは文書化されており、LLVMをオプティマイザやコード生成器として使用するための独自の言語の考案(または既存のコンパイラの移植)が容易である。 | |||
*: <br> | |||
* Clang | |||
*: LLVMネイティブのC / C++ / Objective-Cコンパイラにおいて、速いコンパイル、非常に有用なエラーと警告メッセージ、優れたソースレベルツールを構築するためのプラットフォームを提供することを目的としている。 | |||
*: Clang Static Analyzerとclang-tidyは、コードのバグを自動的に見つけるツールであり、C / C++コードを解析するライブラリとしてClangフロントエンドを使用して構築できる。 | |||
*: <br> | |||
* libc++およびlibc++ ABIプロジェクト | |||
*: libc++およびlibc++ ABIプロジェクトは、LLVMプロジェクトの重要な部分を構成している。 | |||
*: これらは、C++標準ライブラリの実装を提供することを目的としている。 | |||
*: <br> | |||
*: libc++は、C++標準ライブラリの実装そのものを指す。 | |||
*: このプロジェクトは、C++ 11やC++ 14といった比較的新しい規格を含む、C++言語標準に完全に準拠することを目指している。 | |||
*: 同時に、高性能な実装を提供することも重視しており、効率的なコード生成と実行時のパフォーマンスの両立を図っている。 | |||
*: <br> | |||
*: 一方、libc++ ABIは、Application Binary Interfaceの実装を担当する。 | |||
*: ABIは、コンパイルされたプログラムの各部分が互いにどのように相互作用するかを定義する低レベルの仕様である。 | |||
*: <br> | |||
*: libc++ ABIは、libc++と密接に連携して動作し、異なるコンパイラや異なるバージョンのライブラリ間での互換性を確保する重要な役割を果たす。 | |||
*: <br> | |||
*: これらのプロジェクトの主な目標には、ポータビリティの向上、異なるプラットフォーム間での一貫性の確保、そして最新のC++機能のサポートが含まれる。 | |||
*: また、オープンソースコミュニティの貢献を積極的に受け入れ、継続的な改善と拡張を行っている。 | |||
*: <br> | |||
*: libc++とlibc++ ABIは、特にClangコンパイラと組み合わせて使用されることが多いが、他のコンパイラでも利用可能である。 | |||
*: これらのプロジェクトは、C++開発者に信頼性の高い、最新の標準に準拠したツールセットを提供することにより、C++エコシステム全体の発展に貢献している。 | |||
*: <br> | |||
* compiler-rtプロジェクト | |||
*: compiler-rtは、LLVMプロジェクトの重要なサブプロジェクトの1つである。 | |||
*: その主な目的は、コンパイラがターゲットマシン上で効率的に動作するために必要な低レベルのサポート機能を提供することである。 | |||
*: <br> | |||
*: compiler-rtは、__fixunsdfdi等の低レベルコードジェネレータサポートルーチンや、 | |||
*: ターゲットがコアIR操作を実装するための短いネイティブ命令列を持っていない場合に発生するその他のコールの高度に調整された実装を提供している。 | |||
*: これらのルーチンは、特定のハードウェアアーキテクチャで直接サポートされていない操作を実行するために使用される。 | |||
*: 例えば、64ビット整数演算が32ビットプロセッサ上で必要な場合、compiler-rtがその実装を提供する。 | |||
*: <br> | |||
*: また、compiler-rtは様々なサニタイザと呼ばれる動的テストツールのランタイムライブラリも実装している。 | |||
*: これらのツールは、メモリエラー、データ競合、未定義動作等のバグを検出するのに役立つ。 | |||
*: <br> | |||
*: また、AddressSanitizer、ThreadSanitizer、MemorySanitizer、DataFlowSanitizer等の動的テストツールのランタイムライブラリの実装を提供しており、 | |||
*: これらはプログラムの実行時に問題を検出し報告する。 | |||
*: <br> | |||
*: compiler-rtの重要な特徴の1つは、その移植性である。 | |||
*: 様々なアーキテクチャとOSに対応するように設計されており、LLVMベースのコンパイラがさまざまなプラットフォームで効率的に動作することを可能にしている。 | |||
*: <br> | |||
*: さらに、compiler-rtはプロファイリングやコードカバレッジツールのサポートも提供している。 | |||
*: これらは、プログラムのパフォーマンス分析やテストの品質向上に役立つ。 | |||
*: <br> | |||
*: compiler-rtは非常に最適化された実装を提供することにより、生成されるコードの効率を高める。 | |||
*: これは特に、組み込みシステムや高性能コンピューティング等、パフォーマンスが重要な分野で重要である。 | |||
*: <br> | |||
*: compiler-rtプロジェクトは、LLVMエコシステムの中で重要な役割を果たしており、高品質で効率的なコード生成を可能にする基盤となっている。 | |||
*: <br> | |||
* MLIRサブプロジェクト | |||
*: MLIR (Multi-Level Intermediate Representation) は、LLVMプロジェクトの一部として開発された革新的なコンパイラインフラストラクチャである。 | |||
*: 再利用可能で拡張性のあるコンパイラ基盤を構築するための新しいアプローチである。 | |||
*: MLIRは、ソフトウェアの断片化の対処、異種ハードウェアに対するコンパイルの改善、ドメイン固有のコンパイラを構築するコストを大幅に削減する等、既存のコンパイラの接続を支援することを目的としている。 | |||
*: <br> | |||
*: MLIRの特徴的な点は、その柔軟性と拡張性にある。 | |||
*: 従来のコンパイラインフラストラクチャとは異なり、MLIRは単一の固定された中間表現 (IR) を使用するのではなく、多様なレベルの抽象化を表現できる枠組みを提供する。 | |||
*: これにより、高レベルの言語構造から低レベルのハードウェア固有の命令まで、幅広い抽象化レベルを扱うことができる。 | |||
*: <br> | |||
*: この柔軟性により、MLIRは様々な用途に適用可能である。 | |||
*: 例えば、機械学習フレームワークの最適化、ハードウェアアクセラレータ向けのコード生成、ドメイン固有言語 (DSL) の実装等に活用されている。 | |||
*: <br> | |||
*: MLIRの重要な概念の1つに <u>"方言 (Dialect)"</u> がある。 | |||
*: これは特定のドメインや抽象化レベルに特化したIRの集合で、開発者は自身のニーズに合わせて新しい方言を定義できる。 | |||
*: この機能により、MLIRは様々な分野やハードウェアに対して高度にカスタマイズ可能となっている。 | |||
*: <br> | |||
*: また、MLIRは既存のコンパイラインフラストラクチャとの統合も容易である。 | |||
*: LLVM、GCC、カスタムバックエンドとも連携できるよう設計されている。 | |||
*: これにより、既存のツールチェーンを活用しつつ、新しい最適化や変換を導入することが可能になる。 | |||
*: <br> | |||
*: MLIRプロジェクトは活発に開発が進められており、コンパイラ技術の未来を形作る重要な役割を果たしている。 | |||
*: 特に、異種コンピューティングの時代において、MLIRの柔軟性と拡張性は非常に価値があると考えられている。 | |||
*: <br> | |||
* OpenMPサブプロジェクト | |||
*: ClangのOpenMP実装で使用するためのOpenMPランタイムを提供する。 | |||
*: <br> | |||
* pollyプロジェクト | |||
*: 多面体モデルを用いて、自動並列化やベクトル化だけでなく、キャッシュローカリティ最適化のスイートも実装している。 | |||
*: <br> | |||
* libclcプロジェクト | |||
*: OpenCL標準ライブラリの実装を目的としている。 | |||
*: <br> | |||
* KLEEプロジェクト | |||
*: KLEEプロジェクトは、LLVMのサブプロジェクトとして開発された強力なシンボリック実行エンジンであり、 | |||
*: ソフトウェアの品質と信頼性を向上させるための強力なツールである。 | |||
*: <br> | |||
*: その名前は、<u>"Kleene Symbolic Execution Engine"</u> に由来している。 | |||
*: <br> | |||
*: KLEEの主な目的は、プログラムの自動テストと検証を行うことである。 | |||
*: これを実現するために、KLEEはプログラムのすべての可能な実行パスを探索し、各パスの条件を分析する。 | |||
*: この過程で、バグや潜在的な問題を特定して、それらを再現するためのテストケースを自動生成する。 | |||
*: <br> | |||
*: KLEEの動作原理は、プログラムの入力をシンボリック (抽象的) な値として扱うことにある。 | |||
*: これにより、具体的な入力値を使用する通常のテストよりも、はるかに広範囲のプログラム動作を分析することができる。 | |||
*: <br> | |||
*: KLEEの特筆すべき機能として、高カバレッジのテストケース生成がある。 | |||
*: KLEEはバグを発見した時、KLEEはそのバグを再現するための具体的な入力値を提供する。 | |||
*: これは開発者にとって非常に有用であり、バグの修正と検証を容易することが可能である。 | |||
*: <br> | |||
*: 定理証明器を用いてプログラムの動的パスの評価を行い、バグの発見や関数の性質を証明する"記号的仮想機械"を実装している。 | |||
*: <br> | |||
*: また、KLEEは単にバグを見つけるだけでなく、プログラムの正確性を証明するためにも使用できる。 | |||
*: 特定の条件下でプログラムが正しく動作することを形式的に検証することが可能である。 | |||
*: <br> | |||
*: KLEEの応用範囲は広く、システムソフトウェア、組み込みシステム、セキュリティ重視のアプリケーション等、高い信頼性が要求される分野で特に有効である。 | |||
*: <br> | |||
*: ただし、KLEEの使用には一定の必要であり、また、複雑なプログラムや大規模なコードベースに対しては計算コストが高くなる可能性がある。 | |||
*: <br> | |||
* LLDプロジェクト | |||
*: LLD (LLVM Linker) は、indeed、LLVMプロジェクトの一部として開発されているリンカである。 | |||
*: その主な目的は、既存のシステムリンカのドロップイン置き換えで、高速な代替品となることである。 | |||
*: モジュール性、柔軟性、そして何よりも速度に重点を置いて設計されています。 | |||
*: <br> | |||
*: LLDの特徴の1つは、その速度である。 | |||
*: 従来のリンカと比較して、LLDは非常に高速に動作する。 | |||
*: これは特に大規模なプロジェクトや頻繁な再コンパイルが必要な開発環境で重要である。 | |||
*: <br> | |||
*: また、LLDはクロスプラットフォーム対応を強く意識しており、 | |||
*: Windows、MacOS、Linux等の主要なOSに対応しており、各プラットフォーム固有のオブジェクトファイル形式やバイナリ形式を扱うことができる。 | |||
*: <br> | |||
*: さらに、LLDはLLVMのエコシステムと緊密に統合されており、 | |||
*: LLVMの他のツールやライブラリとシームレスに連携することができ、効率的なツールチェーンの構築が可能になる。 | |||
*: <br> | |||
*: LLDの設計は、モジュール性を重視しており、新しいターゲットや機能の追加が容易になり、メンテナンス性も向上している。 | |||
*: <br> | |||
*: LLDプロジェクトはLLVMエコシステムの重要な構成要素として、高速で効率的なリンク処理を提供することを目指している。 | |||
*: <br> | |||
* BOLTプロジェクト | |||
*: BOLT (Binary Optimization and Layout Tool) は、ポストリンクオプティマイザであり、実行プロファイルを利用してコードレイアウトを最適化することで性能向上を図る。 | |||
*: <br> | |||
*: BOLTの主な特徴は、既にコンパイルされたバイナリに対して最適化を行うことである。 | |||
*: これにより、コンパイル時には予測できなかった実行時の挙動を考慮した最適化が可能になる。 | |||
*: <br> | |||
*: 最適化のプロセスを以下に示す。 | |||
*: (サンプリングプロファイラで収集した実行プロファイルをもとに、ソフトウェアのコードレイアウトを最適化することにより、高速化を実現する) | |||
*:# まず、対象のバイナリを実行環境で動作させ、サンプリングプロファイラを使用して実行プロファイルを収集する。 | |||
*:# 次に、BOLTがこのプロファイル情報を解析して、頻繁に実行される関数やコードパスを特定する。 | |||
*:# そして、これらの情報をもとに、ホットなコードパスを近接して配置したり、コールドなコードを別の場所に移動したりすることにより、キャッシュの効率性を向上させる。 | |||
*: <br> | |||
*: BOLTのメリットとして、コンパイラの最適化とは独立して動作するため、既存のビルドプロセスを大きく変更することなく適用できる点がである。 | |||
*: また、様々なアーキテクチャやコンパイラに対応しているため、幅広い環境で利用可能である。 | |||
*: <br> | |||
*: 実際の性能改善効果は、アプリケーションの特性やワークロードによって異なるが、大規模なサーバアプリケーション等では数パーセントから10%以上の速度向上が報告されている。 | |||
*: <br> | |||
*: 大規模なソフトウェアシステムの性能向上を目指す場合は、特に有用なツールである。 | |||
<br><br> | |||
== LLVMツールチェーン と GNUツールチェーンの比較 == | |||
<center> | |||
{| class="wikitable" | |||
! 項目 !! LLVM !! GNU | |||
|- | |||
! コンパイラ<br>フロントエンド | |||
| Clang (C言語)<br>Clang++ (C++言語) | |||
| gcc (C言語)<br>g++ (C++言語) | |||
|- | |||
! コンパイラ<br>バックエンド | |||
| LLVM<br>(中間表現処理・最適化・コード生成) | |||
| GCCバックエンド<br>(GCC内部に組み込まれている) | |||
|- | |||
! アセンブラ | |||
| llvm-as | |||
| as (GNU Assembler) | |||
|- | |||
! リンカ | |||
| lld (LLVM Linker) | |||
| ld (GNU Linker) | |||
|- | |||
! その他ツール | |||
| llvm-objdump, llvm-ar, llvm-nm など | |||
| objdump, ar, nm など<br>(binutilsに含まれる) | |||
|- | |||
! 設計思想 | |||
| モジュール化・ライブラリ指向<br>再利用可能 | |||
| 統合的・密結合 | |||
|- | |||
! 他言語での利用 | |||
| Rust, Swift, Julia など<br>多数の言語で採用 | |||
| 主にC/C++/Fortran系 | |||
|} | |||
</center> | |||
<br> | |||
<center> | |||
{| class="wikitable" style="width:70%; text-align:center;" | |||
|+ コンパイルからリンクまでの流れ | |||
! style="width:15%; background-color:#e8e8e8;"| ステップ | |||
! style="width:42.5%; background-color:#dae8fc;"| LLVMツールチェーン | |||
! style="width:42.5%; background-color:#f8cecc;"| GNUツールチェーン | |||
|- | |||
! style="background-color:#fff2cc;"| 入力 | |||
| colspan="2" style="background-color:#fff2cc; text-align:center;"| ソースコード (.c, .cpp) | |||
|- | |||
! style="background-color:#e3f2fd;"| ① 解析 | |||
| style="background-color:#e3f2fd;"| Clang / Clang++<br><small>字句・構文・意味解析</small> | |||
| style="background-color:#ffebee;"| gcc / g++<br><small>字句・構文・意味解析</small> | |||
|- | |||
! style="background-color:#f3e5f5;"| ② 中間表現 | |||
| style="background-color:#e3f2fd;"| LLVM IR<br><small>中間表現形式</small> | |||
| style="background-color:#ffebee;"| gcc内部形式<br><small>RTL/GIMPLE</small> | |||
|- | |||
! style="background-color:#fff3e0;"| ③ 最適化 | |||
| style="background-color:#e3f2fd;"| LLVM Optimizer<br><small>各種最適化パス</small> | |||
| style="background-color:#ffebee;"| gcc最適化<br><small>内部で最適化処理</small> | |||
|- | |||
! style="background-color:#e0f2f1;"| ④ コード生成 | |||
| style="background-color:#e3f2fd;"| LLVM Backend<br><small>機械語生成</small> | |||
| style="background-color:#ffebee;"| gcc Backend<br><small>機械語生成</small> | |||
|- | |||
! style="background-color:#fce4ec;"| ⑤ アセンブル | |||
| style="background-color:#e3f2fd;"| llvm-as<br><small>LLVM Assembler</small> | |||
| style="background-color:#ffebee;"| as<br><small>GNU Assembler</small> | |||
|- | |||
! style="background-color:#f0f0f0;"| 中間生成物 | |||
| colspan="2" style="background-color:#f0f0f0; text-align:center;"| オブジェクトファイル (.o) | |||
|- | |||
! style="background-color:#e8f5e9;"| ⑥ リンク | |||
| style="background-color:#e3f2fd;"| lld<br><small>LLVM Linker</small> | |||
| style="background-color:#ffebee;"| ld<br><small>GNU Linker</small> | |||
|- | |||
! style="background-color:#c8e6c9;"| 出力 | |||
| colspan="2" style="background-color:#c8e6c9; text-align:center;"| 実行ファイル (例 : a.out, a.exe) | |||
|} | |||
</center> | |||
<br> | |||
* LLVM | |||
*: 各段階が独立したモジュールとして動作し、LLVM IRという共通の中間表現を使用 | |||
* GNU | |||
*: フロントエンドからバックエンドまでgccの中で統合的に処理される | |||
<br><br> | <br><br> | ||
== LLVMのインストール == | == LLVMのインストール == | ||
==== パッケージ管理システムからインストール ==== | |||
sudo zypper install llvm llvm-gold llvm-polly clang lldb lld | |||
<br> | |||
==== ソースコードからインストール ==== | |||
LLVMのインストールに必要なライブラリをインストールする。<br> | |||
# SUSE | |||
sudo zypper install git ncurses-devel isl-devel xz-devel libedit-devel libxml2-devel libbsd-devel lua53 lua53-devel \ | |||
python3 python3-devel python3-pyaml python3-Pygments \ # Python 3.6を使用する場合 | |||
python311 python311-devel python311-PyYAML python311-Pygments \ # Python 3.11を使用する場合 | |||
doxygen # ドキュメントをビルドする場合 | |||
<br> | |||
[https://github.com/llvm/llvm-project/releases LLVMのGithub]から、LLVMのソースコードをダウンロードする。<br> | [https://github.com/llvm/llvm-project/releases LLVMのGithub]から、LLVMのソースコードをダウンロードする。<br> | ||
ダウンロードするファイルは、llvm-project-<バージョン>.src.tar.xzである。<br> | ダウンロードするファイルは、llvm-project-<バージョン>.src.tar.xzである。<br> | ||
| 16行目: | 264行目: | ||
LLVMをビルドおよびインストールする。<br> | LLVMをビルドおよびインストールする。<br> | ||
cmake -G "Unix Makefiles" \ | cmake -G "Unix Makefiles" \ | ||
-DCMAKE_C_COMPILER=<GCC 8以降のgccコンパイラのパス> -DCMAKE_CXX_COMPILER=<GCC 8以降のg++コンパイラのパス> \ | |||
-DLLVM_TARGETS_TO_BUILD="X86;ARM;AArch64;AVR;MSP430" \ # x86, x86-64, ARM, AArch64, MSP430, AVR向けのLLVMをビルドする場合(指定しない場合は全てのアーキテクチャ) | |||
-DCMAKE_BUILD_TYPE=Release \ | |||
-DCMAKE_INSTALL_PREFIX=<LLVMのインストールディレクトリ> \ | |||
-DLLVM_ENABLE_RTTI=ON \ | |||
-DLLVM_ENABLE_PROJECTS="clang;clang-tools-extra;flang;libclc;lld;lldb;mlir;openmp;polly" \ | |||
-DLLVM_ENABLE_RUNTIMES="compiler-rt;libc;libcxx;libcxxabi;libunwind;openmp" \ | |||
../llvm | |||
make -j $(nproc) | |||
make install | |||
# または | |||
cmake -G Ninja \ | |||
-DCMAKE_C_COMPILER=<GCC 8以降のgccコンパイラのパス> -DCMAKE_CXX_COMPILER=<GCC 8以降のg++コンパイラのパス> \ | |||
-DLLVM_TARGETS_TO_BUILD="X86;AArch64" \ # x86, x86-64, AArch64向けのLLVMをビルドする場合(デフォルトは全てのアーキテクチャ) | |||
-DCMAKE_BUILD_TYPE=Release \ | |||
-DCMAKE_INSTALL_PREFIX=<LLVMのインストールディレクトリ> \ | |||
-DLLVM_ENABLE_RTTI=ON \ | |||
-DLLVM_ENABLE_PROJECTS="clang;clang-tools-extra;flang;libclc;lld;lldb;mlir;polly" \ | |||
-DLLVM_ENABLE_RUNTIMES="compiler-rt;libc;libcxx;libcxxabi;libunwind;openmp" \ | |||
../llvm | |||
ninja -j $(nproc) | |||
ninja install | |||
<br> | <br> | ||
ビルド向けオプションは、以下の通りである。<br> | ビルド向けオプションは、以下の通りである。<br> | ||
* LLVM_TARGETS_TO_BUILD | |||
*: セミコロンで区切られたリストで、どのターゲットをビルドしてLLVMにリンクするかを制御する。 | |||
*: デフォルト値は<code>LLVM_ALL_TARGETS</code>として定義され、ツリー外のターゲットを含むように設定できる。 | |||
*: デフォルト値は、<code>ARM</code>、<code>AArch64</code>、<code>AMDGPU</code>、<code>AVR</code>、<code>BPF</code>、<code>Hexagon</code>、<code>Lanai</code>、<code>Mips</code>、<code>MSP430</code>、<code>NVPTX</code>、<code>PowerPC</code>、<code>RISCV</code>、<code>Sparc</code>、<code>SystemZ</code>、<code>WebAssembly</code>、<code>X86</code>、<code>XCore</code>である。 | |||
*: <br> | |||
*: このオプションの値を<code>host</code>と指定すると、ホストアーキテクチャのみがコンパイルされる。 | |||
*: 例えば、x86ホストPCでX86を指定するのと同じである。 | |||
*: <br> | |||
* PYTHON_EXECUTABLE | * PYTHON_EXECUTABLE | ||
*: Pythonへのパスを渡すことで、CMakeに特定のPythonのバージョンを使用する。 | *: Pythonへのパスを渡すことで、CMakeに特定のPythonのバージョンを使用する。 | ||
| 57行目: | 334行目: | ||
* LLVM_OPTIMIZED_TABLEGEN | * LLVM_OPTIMIZED_TABLEGEN | ||
*: リリーステーブル生成器を構築する。 | *: リリーステーブル生成器を構築する。 | ||
<br> | |||
LLVMのインストール完了後、~/.profileファイル等に環境変数を設定する。<br> | |||
<syntaxhighlight lang="sh"> | |||
# ~/.profileファイル | |||
export PATH="/<LLVMのインストールディレクトリ>/bin:$PATH" | |||
export LLVM_INSTALL_DIR="<LLVMのインストールディレクトリ>" | |||
export LDFLAGS="-L/<LLVMのインストールディレクトリ>/lib" # 不要の可能性あり | |||
export CPPFLAGS="-I/<LLVMのインストールディレクトリ>/include" # 不要の可能性あり | |||
</syntaxhighlight> | |||
<br><br> | <br><br> | ||
== LLVMのクロスコンパイル == | |||
LLVMの実行ファイルやライブラリにおいて、ビルドされるプラットフォームとは異なるプラットフォームでホストするためにインストールすることができる。<br> | |||
クロスコンパイル向けのビルドファイルを生成するために、<code>-DCMAKE_TOOLCHAIN_FILE</code>オプションを、LLVMのインストール時に使用するコンパイラフラグや変数を定義することができる。<br> | |||
<br> | |||
==== AArch64 ==== | |||
以下の例では、x64のホストPCおよびAArch64のターゲットPCにおけるLLVMツールチェーンをビルドおよびインストールしている。<br> | |||
<br> | |||
<u>※注意</u><br> | |||
<u>LLVM / Clangをビルドする段階では、AArch64のシステムルートをオプションとして追加する必要はない。</u><br> | |||
# ビルドディレクトリの作成 | |||
mkdir build && cd build | |||
# CMakeの設定 | |||
cmake -G Ninja \ | |||
-DCMAKE_BUILD_TYPE=Release \ | |||
-DCMAKE_INSTALL_PREFIX=<LLVMツールチェーンのインストールディレクトリ> \ | |||
-DLLVM_ENABLE_PROJECTS="clang;clang-tools-extra;lld" \ | |||
-DLLVM_TARGETS_TO_BUILD="X86;AArch64" \ | |||
-DLLVM_DEFAULT_TARGET_TRIPLE=aarch64-linux-gnu \ | |||
-DLLVM_ENABLE_LLD=ON \ | |||
-DLLVM_ENABLE_LIBCXX=OFF \ | |||
-DLLVM_ENABLE_ASSERTIONS=OFF \ | |||
-DLLVM_OPTIMIZED_TABLEGEN=ON \ | |||
-DLLVM_PARALLEL_LINK_JOBS=2 \ | |||
../llvm | |||
# ビルド | |||
ninja -j$(nproc) | |||
# インストール | |||
ninja install | |||
<br> | |||
* -DCMAKE_BUILD_TYPE=Release | |||
*: 開発用途であればRelWithDebInfoでもよい。 | |||
*: <br> | |||
* -DLLVM_ENABLE_PROJECTS="clang;clang-tools-extra;lld" | |||
*: 必要なプロジェクトを指定する。 | |||
*: lld (LLVMリンカー) はクロスコンパイルで必要となる。 | |||
*: <br> | |||
* -DLLVM_TARGETS_TO_BUILD="X86;AArch64" | |||
*: ホスト (x64) と ターゲット (AArch64) の両方を含める。 | |||
*: これにより、両方のアーキテクチャ用にコンパイルできる。 | |||
*: <br> | |||
* -DLLVM_DEFAULT_TARGET_TRIPLE=aarch64-linux-gnu | |||
*: デフォルトのターゲットをAArch64に設定する。 | |||
*: ただし、Qtのビルドシステムでは明示的に指定することが多いため、このオプションは任意である。 | |||
*: <br> | |||
* -DLLVM_ENABLE_LLD=ON | |||
*: LLDリンカーを有効化する。 | |||
*: これは、クロスリンク時に便利である。 | |||
*: <br> | |||
* -DLLVM_OPTIMIZED_TABLEGEN=ON | |||
*: ビルド時間を短縮するための最適化 | |||
*: <br> | |||
* -DLLVM_PARALLEL_LINK_JOBS=2 | |||
*: リンク処理の並列数を制限する。 | |||
*: メモリ不足を防ぐため、システムRAMが16[GB]未満の場合は1または2に設定することを推奨する。 | |||
<br> | |||
==== ARM EABIHF ==== | |||
===== ABI / HF ===== | |||
ABIとは、コンパイルされたバイナリコード同士がどのように通信し合うかを定めるプロトコルである。<br> | |||
ABIは関数を呼び出す際にどのレジスタを使うか、引数をどの順序でスタックに積むか、戻り値をどこに格納するか、構造体のメモリ配置はどうするか、といった細かい取り決めを規定している。<br> | |||
<br> | |||
異なるABIでコンパイルされたライブラリとプログラムは、例え同じCPUアーキテクチャであっても正しく連携できない。<br> | |||
<br> | |||
Hard Float ABIでは、浮動小数点演算の結果を浮動小数点専用のレジスタ (VFPレジスタ) を使用して関数間で受け渡す。<br> | |||
<br> | |||
EABIHFは32ビットARM用のABIである。<br> | |||
* Raspberry Pi OS 32ビットでは、ARMv8でもEABIHF (hard-float) が使用可能。 | |||
* Raspberry Pi OS 64ビットでは、AAPCS64 (ARM Architecture Procedure Call Standard 64-bit) という別のABIを使用。 | |||
<br> | |||
===== VFPレジスタ ===== | |||
Raspberry Pi 4以降でもVFPレジスタは存在するが、実装が進化している。<br> | |||
* ARMv7以前 (Raspberry Pi 2 / 3等) | |||
** VFP (Vector Floating Point) が独立したコプロセッサ | |||
** VFPv3 / VFPv4として実装 | |||
** NEONと一部統合 | |||
*: <br> | |||
* ARMv8-A (Raspberry Pi 4以降) | |||
** 浮動小数点とSIMDが完全に統合 | |||
** 32個の128ビットレジスタ (V0-V31) として実装 | |||
** これらは以下のようにアクセス可能である。 | |||
*** 64ビット浮動小数点 : D0-D31 | |||
*** 32ビット浮動小数点 : S0-S31 | |||
*** 128ビットSIMD:V0-V31 (NEON) | |||
<br> | |||
32 / 64ビットで、利用できる機能やABIが異なるが、いずれにおいても浮動小数点演算用のレジスタは存在し、ハードウェアアクセラレーションが利用できる。<br> | |||
<br> | |||
===== ビルド / インストール ===== | |||
mkdir build && cd build | |||
cmake -G Ninja \ | |||
-DCMAKE_BUILD_TYPE=Release \ | |||
-DCMAKE_INSTALL_PREFIX=<LLVMツールチェーンのインストールディレクトリ> \ | |||
-DLLVM_ENABLE_PROJECTS="clang;clang-tools-extra;lld" \ | |||
-DLLVM_TARGETS_TO_BUILD="X86;ARM;AArch64" \ | |||
-DLLVM_DEFAULT_TARGET_TRIPLE=arm-linux-gnueabihf \ | |||
-DLLVM_ENABLE_LLD=ON \ | |||
-DLLVM_ENABLE_LIBCXX=OFF \ | |||
-DLLVM_ENABLE_ASSERTIONS=OFF \ | |||
-DLLVM_OPTIMIZED_TABLEGEN=ON \ | |||
-DLLVM_PARALLEL_LINK_JOBS=2 \ | |||
../llvm | |||
ninja -j $(nproc) | |||
ninja install | |||
<br> | |||
Hard Float ABI用のCMakeツールチェーンファイルの例を以下に示す。<br> | |||
<syntaxhighlight lang="cmake"> | |||
# ターゲットシステムの設定 | |||
set(CMAKE_SYSTEM_NAME Linux) | |||
set(CMAKE_SYSTEM_PROCESSOR arm) | |||
# システムルートのパス (Hard Float ABI用のシステムルート) | |||
set(CMAKE_SYSROOT <Hard Float ABI用のシステムルートのフルパス>) | |||
# LLVMツールチェーンのパス | |||
set(LLVM_PATH <LLVMツールチェーンのインストールディレクトリ>) | |||
# コンパイラの指定 | |||
set(CMAKE_C_COMPILER ${LLVM_PATH}/bin/clang) | |||
set(CMAKE_CXX_COMPILER ${LLVM_PATH}/bin/clang++) | |||
# ターゲットトリプルの設定 | |||
# Hard Float ABIを使用するため、末尾に"hf"を追加 | |||
set(CMAKE_C_COMPILER_TARGET arm-linux-gnueabihf) | |||
set(CMAKE_CXX_COMPILER_TARGET arm-linux-gnueabihf) | |||
# 検索パスの設定 | |||
set(CMAKE_FIND_ROOT_PATH ${CMAKE_SYSROOT}) | |||
set(CMAKE_FIND_ROOT_PATH_MODE_PROGRAM NEVER) | |||
set(CMAKE_FIND_ROOT_PATH_MODE_LIBRARY ONLY) | |||
set(CMAKE_FIND_ROOT_PATH_MODE_INCLUDE ONLY) | |||
set(CMAKE_FIND_ROOT_PATH_MODE_PACKAGE ONLY) | |||
# コンパイラフラグの設定 | |||
# Hard Float ABIを明示的に指定し、適切なFPUも指定する | |||
set(CMAKE_C_FLAGS "${CMAKE_C_FLAGS} -march=armv8-a -mfpu=neon-vfpv4 -mfloat-abi=hard") | |||
set(CMAKE_CXX_FLAGS "${CMAKE_CXX_FLAGS} -march=armv8-a -mfpu=neon-vfpv4 -mfloat-abi=hard") | |||
# リンカーフラグ | |||
# ライブラリパスをHard Float ABI用のディレクトリに変更 | |||
set(CMAKE_EXE_LINKER_FLAGS "${CMAKE_EXE_LINKER_FLAGS} -Wl,-rpath-link,${CMAKE_SYSROOT}/lib/arm-linux-gnueabihf") | |||
set(CMAKE_EXE_LINKER_FLAGS "${CMAKE_EXE_LINKER_FLAGS} -Wl,-rpath-link,${CMAKE_SYSROOT}/usr/lib/arm-linux-gnueabihf") | |||
</syntaxhighlight> | |||
<br> | |||
==== ARM EABI ==== | |||
Soft Float ABIでは、浮動小数点の値も汎用レジスタを使って受け渡す。<br> | |||
<br> | |||
Soft Float ABIが必要になる場面は、古いARMプロセッサやFPU (浮動小数点演算ユニット) を持たない組み込みシステムである。<br> | |||
ARMv5 や ARMv6の一部のバリアント、コスト重視の産業用制御システムなどがこのカテゴリに入る。<br> | |||
これらのシステムでは、浮動小数点演算は全てソフトウェアでエミュレートされるため、VFPレジスタを使った受け渡しができない。<br> | |||
<br> | |||
ただし、FPUを持つプロセッサであっても、Soft Float ABIでコンパイルすることは可能である。<br> | |||
この場合、FPUは利用されず全ての浮動小数点演算がソフトウェアで処理される。<br> | |||
これは、既存のSoft Float ABI用のライブラリとの互換性を保ちたい場合等に用いられる。<br> | |||
<br> | |||
mkdir build && cd build | |||
cmake -G Ninja \ | |||
-DCMAKE_BUILD_TYPE=Release \ | |||
-DCMAKE_INSTALL_PREFIX=<LLVMツールチェーンのインストールディレクトリ> \ | |||
-DLLVM_ENABLE_PROJECTS="clang;clang-tools-extra;lld" \ | |||
-DLLVM_TARGETS_TO_BUILD="X86;ARM;AArch64" \ | |||
-DLLVM_DEFAULT_TARGET_TRIPLE=arm-linux-gnueabi \ | |||
-DLLVM_ENABLE_LLD=ON \ | |||
-DLLVM_ENABLE_LIBCXX=OFF \ | |||
-DLLVM_ENABLE_ASSERTIONS=OFF \ | |||
-DLLVM_OPTIMIZED_TABLEGEN=ON \ | |||
-DLLVM_PARALLEL_LINK_JOBS=2 \ | |||
../llvm | |||
ninja -j $(nproc) | |||
ninja install | |||
<br> | |||
Soft Float ABI用のCMakeツールチェーンファイルの例を以下に示す。<br> | |||
<syntaxhighlight lang="cmake"> | |||
# ターゲットシステムの設定 | |||
set(CMAKE_SYSTEM_NAME Linux) | |||
set(CMAKE_SYSTEM_PROCESSOR arm) | |||
# システムルートのパス (Soft Float ABI用のシステムルート) | |||
set(CMAKE_SYSROOT <Soft Float ABI用のシステムルートのフルパス>) | |||
# LLVMツールチェーンのパス | |||
set(LLVM_PATH <LLVMツールチェーンのインストールディレクトリ>) | |||
# コンパイラの指定 | |||
set(CMAKE_C_COMPILER ${LLVM_PATH}/bin/clang) | |||
set(CMAKE_CXX_COMPILER ${LLVM_PATH}/bin/clang++) | |||
# ターゲットトリプルの設定 | |||
set(CMAKE_C_COMPILER_TARGET arm-linux-gnueabi) | |||
set(CMAKE_CXX_COMPILER_TARGET arm-linux-gnueabi) | |||
# 検索パスの設定 | |||
set(CMAKE_FIND_ROOT_PATH ${CMAKE_SYSROOT}) | |||
set(CMAKE_FIND_ROOT_PATH_MODE_PROGRAM NEVER) | |||
set(CMAKE_FIND_ROOT_PATH_MODE_LIBRARY ONLY) | |||
set(CMAKE_FIND_ROOT_PATH_MODE_INCLUDE ONLY) | |||
set(CMAKE_FIND_ROOT_PATH_MODE_PACKAGE ONLY) | |||
# コンパイラフラグの設定 | |||
# Soft Float ABIを明示的に指定する | |||
set(CMAKE_C_FLAGS "${CMAKE_C_FLAGS} -march=armv7-a -mfloat-abi=softfp") | |||
set(CMAKE_CXX_FLAGS "${CMAKE_CXX_FLAGS} -march=armv7-a -mfloat-abi=softfp") | |||
# リンカーフラグ | |||
set(CMAKE_EXE_LINKER_FLAGS "${CMAKE_EXE_LINKER_FLAGS} -Wl,-rpath-link,${CMAKE_SYSROOT}/lib/arm-linux-gnueabi") | |||
set(CMAKE_EXE_LINKER_FLAGS "${CMAKE_EXE_LINKER_FLAGS} -Wl,-rpath-link,${CMAKE_SYSROOT}/usr/lib/arm-linux-gnueabi") | |||
</syntaxhighlight> | |||
<br><br> | |||
__FORCETOC__ | __FORCETOC__ | ||
[[カテゴリ: | [[カテゴリ:RHEL]][[カテゴリ:SUSE]] | ||