Clang (:クランのように発音) は、プログラミング言語 C、C++、Objective-C、Objective-C++ 向けのである。OpenMPディレクティブや、OpenCL C/C++カーネル言語OpenCL Support — Clang git documentationも正式サポートしている。バックエンドにLLVMのコンパイラ基盤を使用しており、LLVM 2.6以降はLLVMのリリースサイクルに組み込まれている。

Clang/LLVMベースの派生プロジェクトとして、、CUDAのNVCCCUDA LLVM Compiler | NVIDIA Developer、のHIP-Clangといった、Cライクなドメイン固有言語 (DSL) を組み込んだGPGPUフレームワークにおけるコンパイラフロントエンドとしても採用されている。

プロジェクトの目標は、GNUコンパイラコレクション (GCC) を置き換えることのできるコンパイラを提供することである。開発は完全にオープンソースの方法で進められており、Apple、Microsoft、Google、ARM、ソニー、インテル、AMDなどの大企業も貢献者となっている。ソースコードは、イリノイ大学/NCSAオープンソースライセンスで提供されている。バージョン9.0.0からはライセンスがLLVM例外付きApache License 2.0に変更された。

macOSおよびiOS(ともにXcodeの付属として)、ならびにFreeBSDにおいて標準のコンパイラとして採用されている。

Clangプロジェクトではコンパイラのフロントエンドに加えてClang静的コード解析ツール(Clang-Tidy)も開発されている。

背景 2005年初頭、Appleは自社で開発している様々なシステム内でLLVMシステムを利用するための作業を開始したAdam Treat, mkspecs and patches for LLVM compile of Qt4。AppleはObjective-Cを多用しているため、GCCの性能向上に興味を抱いていたがほとんど進展が見られなかったため、GCCをApple版にフォークするか、新しいコンパイラを採用するかの選択をせまられていた。そこで、AppleはC99、Objective-CおよびC++をサポートするコンパイラを1から作成した。このClangプロジェクトは2007年7月にオープンソース化された。

LLVMは当初、GCCのフロントエンドを使用することを想定していた。しかし、GCCのソースコードは大規模で、やや面倒なシステムである。ある長年のGCC開発者は、「Trying to make the hippo dance is not really a lot of fun.(カバにダンスを踊らせるのは、あまり楽しいことではない)」と述べているKenneth Zadeck - Re: LLVM/GCC Integration Proposal。

概要 ClangはCをターゲットとした新しいコンパイラで、LLVM上で動作することを意図して設計されているClang team, clang: a C language family frontend for LLVM。ClangとLLVMの組み合わせによって、ツールチェインの大半の機能を提供し、GCCスタック全体の置き換えが可能になる。Clangの主要な目標の一つは、統合開発環境 (IDE) のGUIと密接に連携したよりよい増分コンパイルのサポートである。GCCは古典的なコンパイル-リンク-デバッグのサイクルで用いるよう設計されており、増分コンパイルと実行中のコンパイルをサポートしているものの、他のツールと統合して使うことは簡単ではない。たとえばGCCのコンパイルにはコンパイル全体の中で重要な "fold" という段階があるが、これはコードツリーを元のソースコードと大きく異なる形に変換してしまう。fold中、あるいはその後でエラーが発見されると、元のソースの一箇所に対応付けるのは難しい。さらにGCCスタックをIDEで使用する場合、コードの色付表示や自動補完などの機能のために、コードをインデックス化する別のツールが必要になる。

Clangは、コンパイル中にGCCよりも多くの情報を取得し、得られた情報を元のコードと同じ形態で保存する。またClangによるエラーの報告は、より詳細で具体的でありIDEなどが表示しやすいようプログラムで利用できる書式になっている。コンパイラは動作させたままで、ソースコードの索引付け、文法のチェックなどのRADに関係したその他の機能を実行する。またコードは常にパース可能なテキストであるので、Clangが出力する解析木は自動的なリファクタリングをサポートするのに適している。

GCCはコンパイル処理にはマルチスレッドを用いていないので、ソース一つごとのコンパイルではマルチプロセッサのハードウェアの恩恵を受けられない。一方Clangはメモリ使用量の削減と速度の向上を目指してコンパイルの処理が最初からマルチスレッド対応で設計されている。2007年10月の時点で、ClangはCarbonのライブラリを、メモリとディスクを1/5程度しか使用せずに、GCCの2倍以上の速度でコンパイルできる。

GCCを用いた開発には困難な点もあるが、その理由については開発者が十分調査を行ってきた。その結果ClangチームはGCCの問題を避けて、より柔軟なシステムを構築できるようになった。Clangはモジュラー化されており、コンパイル時にバイナリに組み込まれてしまうソースコードモジュールではなく、ほぼリンク時に置換できるライブラリだけに依存しており、しかもよく文書化されている。新しい開発者がClangを使いこなし、開発に加わるスピードを加速させる。ライブラリは実行時に交換可能な複数のバージョンで提供される場合もあり、例えばパーサーは、コンパイルの性能測定の機能を持ったバージョンもある。

Clang は名前が示すとおりCやCに似た言語の専用のコンパイラであり、C、C++、Objective-C、Objective-C++、OpenCL、CUDA以外の言語のフロントエンドは提供しない。Fortran、Ada、Go については LLVM は GCC (dragonegg) に依存し続ける。Clang は必要に応じてツールチェイン全体には影響を与えず GCC と交換することができる。非公式のサブプロジェクトとしてNVIDIAが開発した Flang により Fortran サポートが追加されたFLANG: NVIDIA Brings Fortran To LLVM。

現在の状況 プロジェクトは2023年現在、活発に開発が行われている。これまでにC89、C++17までの標準規格への準拠を完了しているClang - C Programming Language StatusClang - C++ Programming Language Status。C99/C11/C17に関しては重要な機能を実装しているが、完全準拠ではない。引き続きC23およびC++20以降のサポートを目指し開発が行われている。

Googleが提供するAndroid向けのC/C++言語開発キットであるAndroid NDK(Native Development Kit)では、従来GCCが標準であったが、2012年11月リリースのリビジョンr8cからClangが副選択肢として追加され、2016年10月リリースのリビジョンr13bからはClangが標準となったNDK Revision History。2018年9月リリースのリビジョンr18bにてGCCは削除された。

Microsoft Windows上でClangを使用するには、CygwinやMinGWといったPOSIX互換のサブシステムを利用する方法のほか、Windows用LLVMバイナリを利用する方法もあるLLVM Download Page。Visual Studioはバージョン2019 (16.2) 以降で、Windows/Linux用バイナリを生成するMSBuildプロジェクトのC/C++コンパイラにClangを使用できるようになったVisual Studio プロジェクトでの Clang/LLVM のサポート | Microsoft Docs。MSVC (cl.exe) 互換のclang-clもある。

Microsoft DirectX (Direct3D) 12で導入されたシェーダーモデル6.0以降の機能をサポートするHLSLコンパイラとして、マイクロソフトはDirectX Shader Compiler (DXC) と呼ばれるClangベースの派生コンパイラを開発してきたが、HLSLサポートを本家Clangのコードベースに取り込むプロジェクトが進行中であるOpening HLSL Planning - DirectX Developer BlogHLSL Support — Clang git documentation。

Intel C++ Compiler (ICC/ICL) や、C++Builder (BCC) も、Clangをベースに独自の拡張機能を追加した派生コンパイラとして生まれ変わっているインテル® C/C++ コンパイラーが LLVM への対応を完了 | iSUSClang 拡張 C++ コンパイラ - RAD Studio。

歴史

+ Clangプロジェクト略史 できごとClang/LLVMが、動作するFreeBSDカーネルをコンパイルできたことが発表されたRoman Divacky, [ANNOUNCE] clang/LLVM can compile booting FreeBSD kernel on i386/amd64。Clang/LLVMが、動作するDragonFly BSDカーネルをコンパイルできたことが発表されたAlex Hornung, "llvm/clang once more。しかし、Linuxカーネルのコンパイルには更なる作業が必要であるBug 4068 – [META] Compiling the Linux kernel with clang。FreeBSD Status Reportにおいて、FreeBSDプロジェクトがGCCをClangで置き換えられるかどうか調査していることが報告されたBrad Davis, "FreeBSD Status Reports January - March, 2009"。Clang 1.0が、初めてLLVM本体 (LLVM 2.6) と同時にリリース。CおよびObjective-Cのコード生成能力は製品レベルに達した。しかし、C++、Objective-C++のサポートは不完全であった。Clang C++はGCC 4.2のlibstdc++をパースし、小規模なプログラムのコードを生成でき、自分自身をコンパイル可能となったLLVM Blog, Clang can compile LLVM and Clang。LLVM Project Blogにおいて、Clangがセルフホスティングのコンパイラとなったことが発表されたLLVM Project Blog, "Clang Successfully Self-Hosts!"。HelenOSのソースコードを修正することでClangでコンパイルに成功した。また、IA-32環境のカーネルとユーザランドの回帰テストに全て合格した。HelenOS mainline changeset head,294Clang 2.7リリース。CIndex APIとPythonバインディングのサポート。LLVM 2.7 Release Notes最新バージョンのClangでBoost C++ライブラリのビルドに成功し、ほぼ全てのテストに合格した。Clang++ Builds Boost!Clang/LLVMがFreeBSDのソースコードツリーに取り込まれた。最初は、デフォルトのコンパイラにはならないが、外部コンパイラによるビルドをサポートした上で、デフォルトのシステムコンパイラになる予定である。Roman Divacky "Import the build makefiles for clang/LLVM" Clang 2.8リリース。C++98、C++03の機能の実装完了。Objective-C++のサポート。LLVM 2.8 Release NotesClang/LLVMがLinuxカーネルをコンパイルし動作したと発表された。[ANNOUNCE] Clang builds a working Linux Kernel (Boots to RL5 with SMP, networking and X, self hosts)C++0xドラフトのサポート準備が完了した。また、開発バージョンでドラフトの新しい機能をサポート。New C++0x feature support in ClangC++ and C++'0x Support in ClangHotSpot Java仮想マシンをコンパイルし、動作させることが出来た。Compiling the HotSpot VM with ClangClang 2.9リリース。C11 の機能を一部サポート。LLVM 2.9 Release NotesClang 3.0リリース。GCC互換のコマンドラインドライバを改善。Clang 3.0 Release NotesClang 3.0によってDebianアーカイブの91%以上をリビルドすることが出来た。Rebuild of the Debian archive with clangFreeBSD Quarterly Status Reportにおいて、FreeBSDはGCCをClang/LLVMで置き換えると発表した。FreeBSD Quarterly Status Report January-March, 2012Clang 3.1リリース。100%互換ではないものの C++11 規格に従う機能の大半を実装。Clang 3.1 Release Notes。Clang 3.2リリース。エラーメッセージの改善、C11, C++11 の対応の改善。Clang 3.2 Release Notes安定版としては未リリースだが、C++11規格に従う機能をすべて実装を完了。 GitHub 「C++11 support is now feature-complete.」Clang 3.3リリース。識別子でのUnicode文字対応、C++11 の対応改善。Clang 3.3 Release NotesClang 3.4リリース。C++14 の現時点でドラフトに書いてある部分を実装。Clang 3.4 Release NotesClang 3.5リリース。C++17の機能を実験的にサポート。Clang 3.5.0 Release NotesClang 3.6リリース。C言語のデフォルトモードをC99からC11に変更。Clang 3.6.0 Release NotesClang 3.7リリース。OpenMP 3.1のサポート。OpenMP 4.0の一部サポート。Clang 3.7.0 Release NotesClang 3.8リリース。CUDAの実験的サポート。OpenMP 4.0/4.5、OpenCL 2.0の一部サポート。Clang 3.8.0 Release NotesClang 3.9リリース。OpenCL 2.0のサポート。オフロード機能を除くOpenMP 3.1およびOpenMP 4.0/4.5をサポート。Clang 3.9.0 Release NotesClang 4.0.0 リリース。ThinLTOの改善。Clang 4.0.0 Release NotesClang 5.0.0 リリース。C++17機能の実装完了。Clang 5.0.0 Release NotesClang 6.0.0 リリース。Spectre対策のためにretpolinesをサポート。C++のデフォルトモードをC++98からC++14に変更。C++2a機能の一部サポート。Clang 6.0.0 Release NotesClang 7.0.0 リリース。DWARFv5の実験的サポート。Clang 7.0.0 Release NotesClang 8.0.0 リリース。自動変数の初期化オプション。プロファイルの再マッピングファイルの利用をサポート。OpenMP 5.0の一部サポート。Clang 8.0.0 Release NotesClang 9.0.0 リリース。OpenCL向けのC++機能の実験的サポート。GCCのインラインアセンブラにおける独自拡張asm gotoをサポートしx64向けLinuxカーネルなどのビルドが可能になった。Clang 9.0.0 Release NotesClang 10.0.0 リリース。C++2aのコンセプト (Concepts) をサポート。Windows Control Flow Guard (CFG) に対応Clang 10.0.0 Release Notes。Clang 11.0.0 リリース。C言語のデフォルトモードをC11からC17に変更。Clang 11.0.0 Release NotesOpenBSD 6.9 の mips64el で、Clang がデフォルトのコンパイラとなった。Clang 12.0.0 リリース。アトミック操作を実装するヘルパー関数の呼び出しを有効/無効にするAArch64オプションと、ターゲットとなるbinutilsのバージョンを指定するオプションが追加されたreleased。Clang 13.0.0 リリース。Clang 14.0.0 リリース。Clang 15.0.0 リリース。Clang 16.0.0 リリース。Clang 17.0.1 リリース。Clang 18.1.0 リリース。Clang 19.1.0 リリース。

参考文献

関連項目

静的コード解析 LLVM

外部リンク

LLVMdev: New LLVM C front-end: "clang", announcement (11 July 2007) , Slides Presentation: Steve Naroff - New LLVM C Front-end, Slides Presentation: Ted Kremenek - Finding Bugs with the Clang Static Analyzer, Slides Presentation: Steve Naroff - Clang Internals, Slides