getelementptr与store指令无法正常工作的问题求助

问题根源 #

你的getelementptr指令用法错误，同时对齐参数设置不当，导致存储和读取的地址并非结构体中float字段的正确位置：

1. GEP指令类型误用：你使用getelementptr float, ptr %0, i32 1，这条指令会将%0视为float数组指针来计算偏移，但%0实际是指向%class.Int结构体的指针，这种写法违背了LLVM GEP针对结构体的索引规则。
2. 对齐参数错误：store操作设置了align 8，而结构体中float字段的地址是%0 + 4（i32占4字节），不符合8字节对齐要求，导致实际存储位置被强制调整到%0 + 8，超出了结构体的内存范围（结构体总大小为8字节），后续读取的是无效内存，因此输出0.0。

修复方案 #

修正GEP指令的写法，基于结构体类型索引字段，并使用匹配字段自然对齐的参数：

; ModuleID = 'tests/var.txt'
source_filename = "tests/var.txt"

%class.Int = type { i32, float }

@0 = private unnamed_addr constant [12 x i8] c"not object\0A\00", align 1
@1 = private unnamed_addr constant [3 x i8] c"%f\00", align 1
@2 = private unnamed_addr constant [2 x i8] c"\0A\00", align 1

define i32 @main() {
body:
  %0 = alloca %class.Int, align 8
  ; 写入i32字段：索引结构体第0个字段
  %1 = getelementptr %class.Int, ptr %0, i32 0, i32 0
  store i32 2, ptr %1, align 4
  ; 写入float字段：索引结构体第1个字段
  %2 = getelementptr %class.Int, ptr %0, i32 0, i32 1
  store float 1.000000e+00, ptr %2, align 4
  ; 读取float字段
  %3 = getelementptr %class.Int, ptr %0, i32 0, i32 1
  %4 = load float, ptr %3, align 4
  %5 = call ptr (...) @printf(ptr @1, float %4)
  %6 = call ptr (...) @printf(ptr @2)
  ret i32 0
}

declare ptr @printf(...)

关键说明 #

• GEP操作结构体的正确格式：getelementptr <结构体类型>, ptr <结构体指针>, i32 <数组索引>, i32 <字段索引>。其中数组索引用0（因为是单个结构体实例），字段索引对应结构体中字段的顺序（1对应第二个float字段）。
• 对齐参数需匹配字段的自然对齐：i32字段用align 4，float字段用align 4，结构体整体的align 8设置保持不变即可。

内容的提问来源于stack exchange，提问作者Rishi Kaley