llvm getelementptr 得到错误的值

Question

我正在学习 llvm getelementptr 指令，并尝试从结构中获取元素。我的结构是这样的，

struct Foo {
    int32_t a;
    int32_t b;
    int32_t c;
};

对应的llvm类型：

Type *getType() {
    vector<Type *> tps;
    tps.push_back(Type::getInt32Ty(TheContext));
    tps.push_back(Type::getInt32Ty(TheContext));
    tps.push_back(Type::getInt32Ty(TheContext));
    StructType *tp = StructType::create(TheContext, tps, "foo_type");
    return tp;
}

和一个测试函数，

%foo_type = type { i32, i32, i32 }

define i32 @_func_(%foo_type) {
entry:
  %1 = alloca %foo_type
  store %foo_type %0, %foo_type* %1
  %2 = getelementptr %foo_type, %foo_type* %1, i32 0, i32 1
  %3 = load i32, i32* %2
  ret i32 %3
}

但是通过运行编译函数，我总是得到第三个元素 Foo::c，而不是 Foo::b，所以我的代码有什么问题？我认为问题可能出在商店说明上。

Complete working program here

编辑 2019.12.13

通过将指针作为参数传递，我得到了正确的答案

define i32 @_func_(%foo_type*) {
entry:
  %1 = alloca %foo_type*
  store %foo_type* %0, %foo_type** %1
  %ptr = load %foo_type*, %foo_type** %1
  %2 = getelementptr %foo_type, %foo_type* %ptr, i32 0, i32 1
  %3 = load i32, i32* %2
  ret i32 %3
}

所以问题肯定是FP(f)实际上没有将f传递给之前版本的编译函数

Answer 1

如果你用 c 编写函数并让 clang 为它发出 IR，你会看到这个：

struct Foo {
    int a;
    int b;
    int c;
};

int bar(Foo f) {
    return f.b;
}

define dso_local i32 @_Z3bar3Foo(i64, i32) #0 {
  %3 = alloca %struct.Foo, align 4
  %4 = alloca { i64, i32 }, align 4
  %5 = getelementptr inbounds { i64, i32 }, { i64, i32 }* %4, i32 0, i32 0
  store i64 %0, i64* %5, align 4
  %6 = getelementptr inbounds { i64, i32 }, { i64, i32 }* %4, i32 0, i32 1
  store i32 %1, i32* %6, align 4
  %7 = bitcast %struct.Foo* %3 to i8*
  %8 = bitcast { i64, i32 }* %4 to i8*
  call void @llvm.memcpy.p0i8.p0i8.i64(i8* align 4 %7, i8* align 4 %8, i64 12, i1 false)
  %9 = getelementptr inbounds %struct.Foo, %struct.Foo* %3, i32 0, i32 1
  %10 = load i32, i32* %9, align 4
  ret i32 %10
}

这意味着 bar(Foo()) 实际上接受 int64 和 int32 作为参数，而不是 Foo 本身。可能是一些我不太了解的c/cpp ABI。

但是通过指针传递时，没有这个问题，所以它按预期工作。

llvm getelementptr 得到错误的值

llvm getelementptr getting wrong value

c++

llvm