LLVMのコンパイル単位の正しい抽象概念は何ですか？

Question

LLVMにはストレージの単位であるLLVMContextがあり、新しいシンボル（関数とタイプ）が作成される場所はllvm::Moduleです。

私の質問は、コンパイル単位に使用する正しいllvm抽象は何ですか？ Moduleはありますか？これは実際にはより広い範囲でのものですか？つまり、共有ライブラリのターゲットです。

コンパイル単位はすべての結果を満たす必要があります。エラーなしですべてのコンテンツをコンパイルするか、またはエラーがあり、CU内のシンボルが使用可能になる前に修正して再構築する必要があります。私の頭では、これはコンパイル単位が表すべきものの定義です。

モジュールがCUのための適切な抽象化であれば、他の（正確にコンパイルされた）Moduleのオブジェクトを新しいモジュールに提示するにはどうすればよいですか？それを見つけることができるように、ビルドされていますか？私は宣言を追加する必要がありますか？またはこれにいくつかの他の迅速な方法がありますか？ clangで該当する行に

点が大きな助けになるでしょう

Answer 1

モジュールは、コンパイル単位の正しい抽象化です。モジュールをリンクすると、そこからプログラム全体の分析を行うことができます。

Answer 2

これは自分の質問に答えるために、進行中の試みです：

クラスllvm::Linkerは、複数のモジュールを取って戻って既存のモジュール内のすべてのシンボルを含む単一の、複合モジュールを返却する能力を持っています。リンクが完了し、複合モジュールが作成された後も、入力モジュールの所有権に関するルールは何であるかはまだ分かりません。

いずれにしても、クラスによってモジュールを増やすために増分的なパスを取ることができます。あなたはグローバル名前空間に新しいシンボルを追加することを意味しREPLを実装しようとしていると言う：

REPLの概要は以下のように動作します：

• コンパイルREPL
で
• をいくつかの関数を書きます単一のモジュールとしての機能は、
• 新しい機能モジュールのコンパイルが成功した場合、新しいモジュール
• に新しい機能をコンパイルし、L「ベース」
• はREPLにいくつかのより多くの機能を書き、それを呼び出しますインク「ベース」と、新しいモジュールで新しいモジュール、「base.2」

• すすぎ、それを呼び出すと、あなたは名前で記号や機能を交換する場合、古いシンボルがオーバーライドされたバージョンを見ることを望ん

  繰り返しあなたのシンボルの。したがって、新しい関数を定義するときは、既存の「ベース」モジュールと新しいモジュールでgetOrInsertFunctionが呼び出されていることを確認する必要があります。