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

【问题标题】：LLVM GEP and store vs load and insertvalue: Storing value to a pointer to an aggregateLLVM GEP 和存储与加载和插入值：将值存储到指向聚合的指针
【发布时间】：2016-02-05 22:56:27
【问题描述】：

将值存储到指向聚合类型的指针时，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 Language Reference，我正在阅读有关insertvalue 的信息。参考文献指出了extractvalue 指令与GEP 的相似性以及以下差异。

getelementptr 索引的主要区别是：

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

必须至少指定一个索引。

不仅结构索引，数组索引也必须在范围内。

StackOverflow 上的以下问题也提到了getelementptr 和insertvalue 的使用，但原因不同。 LLVM insertvalue bad optimized?

【问题讨论】：

标签： indexing llvm llvm-ir

【解决方案1】：

在语义上，loading 和后来的storeing 整个对象更加浪费。如果它是一个巨大的结构怎么办？如果它是一个结构数组怎么办？ GEP 允许您访问内存中要加载/存储的确切位置，而无需加载/存储任何其他内容。

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

【讨论】：