LLVM IR getelementptr 无效索引

Question

我目前正处于学习如何使用 LLVM 的阶段。我正在尝试通过 llc struct-method.ll -o struct-method 编译以下文件。

struct-method.ll

; ModuleID = 'struct-method.ll'

@.formatstring = private unnamed_addr constant [13 x i8] c"%c\0A%ld\0A%lld\0A\00"

%box = type { i8, i32, i64 }

declare i32 @printf(i8* noalias nocapture, ...)

define i32 @set_prop_32(%box* %object, i32 %value) {
entry:
  %0 = getelementptr inbounds %box, %box* %object, i64 0, i64 1
  %1 = load i32, i32* %0
  ret i32 %1
}

define i32 @main() {
alloca:
  %mybox = alloca %box
  br label %entry

entry:
  %format = getelementptr [13 x i8], [13 x i8]* @.formatstring, i64 0, i64 0
  %0 = getelementptr inbounds %box, %box* %mybox, i64 0, i64 0
  %1 = getelementptr inbounds %box, %box* %mybox, i64 0, i64 1
  %2 = getelementptr inbounds %box, %box* %mybox, i64 0, i64 2

  store i8  65,       i8*  %0
  store i32 200,      i32* %1
  store i64 9999999,  i64* %2

  %f8 = load i8, i8* %0
  %f32 = load i32, i32* %1
  %f64 = load i64, i64* %2

  call i32 (i8*, ...) @printf(i8* %format, i8 %f8, i32 %f32, i64 %f64)

  call i32 (%box*, i32) @set_prop_32(%box* %mybox, i32 300)

  call i32 (i8*, ...) @printf(i8* %format, i8 %f8, i32 %f32, i64 %f64)

  ret i32 0
}

但是我在第 11 行得到了 invalid getelementptr indices。

有人知道为什么会这样吗？我会写什么来解决这个问题？

编辑:我在 2013 年底的 Macbook Pro 上使用 macOS Sierra 10.12。

Answer 1

根据 http://llvm.org/docs/LangRef.html#getelementptr-instruction

“每个索引参数的类型取决于它索引到的类型。当索引到一个(可选打包的)结构时，只允许 i32 整数常量(当使用索引向量时，它们必须都是相同的 i32 整数常量)。当对数组、指针或向量进行索引时，允许使用任何宽度的整数，并且不需要它们是常量。这些整数在相关的地方被视为带符号的值“

在您的情况下，类型 { i8, i32, i64 } 是结构类型，因此请尝试使用 i32 类型索引。

代替

%0 = getelementptr inbounds %box, %box* %object, i64 0, i64 1

尝试

%0 = getelementptr inbounds %box, %box* %object, i32 0, i32 1