如何使用 AllocaInst 创建 LLVM 数组类型？

Question

我想在堆栈上创建 LLVM ArrayType，所以我想使用 AllocaInst (Type *Ty, Value *ArraySize=nullptr, const Twine &Name="", Instruction *InsertBefore=nullptr)。问题是我不明白这个界面。我猜 Ty 会是 ArrayType::get(I.getType(), 4) 之类的东西，但是 ArraySize 我应该给什么？此外，它需要Value*，所以让我很困惑。

要么我误解了 llvm alloc，要么我需要提供一个 llvm 常量作为数组大小的值。如果我必须给出常量，是不是有点多余，因为 ArrayType 包含 numElement 作为信息。

作为示例代码行，我尝试的方式是：

AllocaInst* arr_alloc = new AllocaInst(ArrayType::get(I.getType(), num)
                                       /*, What is this parameter for?*/,
                                       "",
                                       funcEntry.getFirstInsertionPt());

Answer 1

I是数组元素的类型如：

Type* I = IntegerType::getInt32Ty(module->getContext());

然后您可以创建 num 个元素的 ArrayType：

ArrayType* arrayType = ArrayType::get(I, num);

此类型可在 AllocInstr 中使用，如下所示：

AllocaInst* arr_alloc = new AllocaInst(
    arrayType, "myarray" , funcEntry
//             ~~~~~~~~~
// -> custom variable name in the LLVM IR which can be omitted,
//    LLVM will create a random name then such as %2.
);

此示例将生成以下 LLVM IR 指令：

%myarray = alloca [10 x i32]

编辑此外，您似乎被允许将可变数组大小传递给 AllocInstr，如下所示：

Type* I = IntegerType::getInt32Ty(module->getContext());
auto num = 10;
auto funcEntry = label_entry;

ArrayType* arrayType = ArrayType::get(I, num);

AllocaInst* variable = new AllocaInst(
  I, "array_size", funcEntry
);

new StoreInst(ConstantInt::get(I, APInt(32, 10)), variable, funcEntry);

auto load = new LoadInst(variable, "loader", funcEntry);

AllocaInst* arr_alloc = new AllocaInst(
  I, load, "my_array", funcEntry
);

如何使用 AllocaInst 创建 LLVM 数组类型？

How to create LLVM Array type using AllocaInst?

c++

llvm

llvm-c++-api