LLVM与C++中创建存储双精度元素的双精度指针及元素赋值方法

你当前代码存在的两个关键认知误区 #

• 你在CreateAlloca中传入的类型和实际内存目标不匹配。Type::getDoublePtrTy(context) 对应的IR类型是double*（指向double的指针），此时传入元素个数24（也就是你写的sizeof(double)*3），本质是在栈上分配了24个连续的指针大小空间，存储的全是指针类型，和你想要的“连续存3个double值、用单个double*指向首地址”的目标完全错位。
• CreateAlloca的第二个传入参数是待分配的元素个数，而非总字节数。LLVM会自动根据元素类型的大小计算总栈占用，不需要手动乘以sizeof计算字节长度。

正确的栈数组分配方式 #

如果目标是拿到一个指向连续3个double存储空间的double*指针，直接将Alloca的元素类型设为double即可，此时返回的AllocaInst本身就是类型合法的double*：

AllocaInst* arrBasePtr = blockBB.CreateAlloca(
  Type::getDoubleTy(context), // 元素为双精度浮点数
  ConstantInt::get(Type::getInt32Ty(context), 3), // 数组共3个元素
  "arrayName"
);

逐元素赋值的完整实现 #

赋值逻辑和C语言操作数组完全一致：先通过偏移计算拿到第i个元素的内存地址，再向地址中存入对应的值。
具体步骤：

• 用GEP（GetElementPtr）指令计算数组下标对应的元素地址。这是LLVM内置的指针偏移计算指令，会自动处理类型对齐、字节偏移量计算，不需要手动推导地址值。
• 调用CreateStore将双精度常量存入计算好的目标地址。

修正后的循环赋值代码如下：

auto initValue = ConstantFP::get(context, APFloat(9.0));
for (int i = 0; i < 3; i++) {
  // 生成循环下标的IR常量
  auto idx = ConstantInt::get(Type::getInt32Ty(context), i);
  // 计算第i个double元素的地址
  auto elementAddr = blockBB.CreateGEP(
    Type::getDoubleTy(context),
    arrBasePtr,
    idx,
    "elem_ptr"
  );
  // 向地址存入初始化值
  blockBB.CreateStore(initValue, elementAddr);
}

注意：CreateGEP的第一个传入类型必须和CreateAlloca的元素类型完全匹配，否则会触发IR类型不匹配的校验报错，生成的代码也会存在非法的指针偏移问题。

补充说明：如果你确实需要分配一个double*类型的变量（比如用来存二级指针、指向一块内存的起始地址），正确写法是CreateAlloca(Type::getDoublePtrTy(context), nullptr, "ptrVar")，此时这个变量存的是一个指针值，需要单独把数组的基地址存进去才能正常使用，这种场景和数组连续存储元素的目标无关。

内容的提问来源于stack exchange，提问作者John J