llvmコードで発生する％ "alloca point"行の目的は何ですか？

Question

私はllvm-gccによって最近生成されたLLVMアセンブリを見てきましたが、私はその目的が不明であることを繰り返し述べました。例えば

、次のCプログラム：

int main(void) 
{ 
    void (*f)(void) = (0x21332); 
    f(); 
} 

"LLVM-GCC -emit-LLVM -S" でコンパイルする場合、次のコード（無関係の部分が除去さ）生成する：

define i32 @main() nounwind { 
entry: 
    %retval = alloca i32  ; <i32*> [#uses=1] 
    %f = alloca void()*  ; <void()**> [#uses=2] 
    %"alloca point" = bitcast i32 0 to i32  ; <i32> [#uses=0] 
    store void()* inttoptr (i64 135986 to void()*), void()** %f, align 4 
    %0 = load void()** %f, align 4  ; <void()*> [#uses=1] 
    call void %0() nounwind 
    br label %return 

を

私はラインの目的に興味がある：

%"alloca point" = bitcast i32 0 to i32  ; <i32> [#uses=0] 

は変数として何もしていないようですそれが再び使用されることはなく、ビットキャスト自体は無意味です。私が考えることができるのは、コードの興味深い部分を示す、後のコード生成/解析目的のために実際に挿入されたことだけです。

Answer 1

llvm-gccソース：gcc/llvm-convert.cppから、これはちょうどヘルパーバリュー*として使用され、死んだ命令消去パスによって削除されます。

// Create a dummy instruction in the entry block as a marker to insert new 
// alloc instructions before. It doesn't matter what this instruction is, 
// it is dead. This allows us to insert allocas in order without having to 
// scan for an insertion point. Use BitCast for int -> int 

Answer 2

インターネットでこれが見つかりました： コンパイル時にサイズを決定できるAllocasは、スタックフレームサイズが計算されたときにスタック上のスペースが割り当てられます。可変サイズのallocaの場合、ターゲット固有のコードはスタックのサイズを変更し、必要に応じてフレームポインタとスタックポインタを調整し、出力パラメータの場所をスタックの先頭に調整する必要があります。

は、スタックスペースが正しく機能するようにそのように聞こえます。