voidポインタ型をllvm irで表現する

Question

現在、私は生成されたIRでvoidポインタを表現するためにi8 *を使用していますが、void *をchar *と区別することは非常に困難です。これを解決するための共通のアプローチはありますか？私は運のないかなりの場所を探しました。

タイプごとにllvm :: Type *を直接使用することができるため、特殊なボイドポインタの場合にはこれ以上行うことはできません。

void型としてi8を含む名前付き構造体（たとえば％void = type {i8}）を使用し、その代わりにポインタをとることが考えられますが、clangが生成するIRでは、 voidポインタ型であるため、それぞれの長所と短所が分かりません。

Answer 1

通常、型はコンパイラのフロントエンドに属します。 LLVMタイプのシステムはあなたのものと似ているかもしれませんが、あなたのもとから自由に変更することができます（例：opaque pointer typesが来ています）。 LLVMレベルでタイプを区別する必要はありません。タイプ・システムとLLVMタイプ・システムの間に1対1の対応を強制しようとすると、おそらく誤っています。