16

我试图弄清楚如何在 LLVM中使用蹦床内在函数。该文档提到了存储蹦床所需的一些存储空间，这取决于平台。我的问题是，我如何确定需要多少？

我找到了这个例子，显然没有理由选择 32 个字节。如何选择一个好的价值？

declare void @llvm.init.trampoline(i8*, i8*, i8*);
declare i8* @llvm.adjust.trampoline(i8*);

define i32 @foo(i32* nest %ptr, i32 %val)
{
    %x = load i32* %ptr
    %sum = add i32 %x, %val
    ret i32 %sum
}

define i32 @main(i32, i8**)
{
    %closure = alloca i32
    store i32 13, i32* %closure
    %closure_ptr = bitcast i32* %closure to i8*

    %tramp_buf = alloca [32 x i8], align 4
    %tramp_ptr = getelementptr [32 x i8]* %tramp_buf, i32 0, i32 0
    call void @llvm.init.trampoline(
            i8* %tramp_ptr,
            i8* bitcast (i32 (i32*, i32)* @foo to i8*),
            i8* %closure_ptr)
    %ptr = call i8* @llvm.adjust.trampoline(i8* %tramp_ptr)
    %fp = bitcast i8* %ptr to i32(i32)*

    %val2 = call i32 %fp (i32 13)

    ; %val = call i32 @foo(i32* %closure, i32 42);

    ret i32 %val2
}
4

1 回答 1

1

是的，蹦床用于“即时”生成一些代码。目前还不清楚你为什么需要这些内在函数，因为它们用于实现 GCC 的嵌套函数扩展（特别是当嵌套函数的地址被捕获并且函数访问封闭函数内部的东西时）。

找出蹦床缓冲区的必要大小和对齐方式的最佳方法是对“TRAMPOLINE_SIZE”和“TRAMPOLINE_ALIGNMENT”的 grep gcc 源。

据我所知，在撰写本文时，72 字节的缓冲区和 16 字节的对齐对于 gcc / LLVM 支持的所有平台来说已经足够了。

于 2013-05-17T21:23:54.367 回答