LLVM GEP 和存储 vs 加载和插入值：将值存储到指向聚合的指针

Question

当将值存储到指向聚合类型的指针时，getelementptr和store和load和之间有什么区别insertvalue？在某些情况下是首选吗？如果是这样，为什么？还是我完全走错了方向？

例子：

; A contrived example
%X = type {i32, i64}

define i32 @main(i32 %argc, i8** %argv) {
entry:
  %sX.0 = alloca %X

  ; change the first value with GEP + store
  %val1 = getelementptr %X, %X* %sX.0, i32 0, i32 0
  store i32 42, i32* %val1

  ; change the second value with load + insertvalue
  %sX.1 = load %X, %X* %sX.0
  %sX.2 = insertvalue %X %sX.1, i64 42, 1
  store %X %sX.2, %X* %sX.0 ; I suppose this could be considered less than ideal
                            ; however in some cases it is nice to have the
                            ; struct `load`ed
  ret i32 0
}

有趣的是，使用llc -O=0 ...它们都编译为相同的指令。以下是什么，这正是我所希望的。

movl $42, -16(%rsp) # GEP + store
movq $42, -8(%rsp)  # load + insertvalue

背景：

我正在阅读LLVM 语言参考，我正在阅读有关insertvalue 的内容。该参考文献指出了extractvalue指令与GEP 的相似性以及以下不同之处。

getelementptr 索引的主要区别是：

• 由于被索引的值不是指针，第一个索引被省略并假定为零。

• 必须至少指定一个索引。

• 不仅结构索引而且数组索引都必须在边界内。

StackOverflow 上的以下问题也提到了getelementptr和的使用insertvalue，但出于不同的原因。LLVM 插入值优化不好？

Answer 1

从语义上讲，load先store使用整个对象再使用整个对象更加浪费。如果它是一个巨大的结构怎么办？如果它是一个结构体数组怎么办？GEP 允许您访问内存中要加载/存储的确切位置，而无需加载/存储其他任何内容。

虽然在您的示例中这两种形式被降低为相同的指令，但通常不能保证。