LLVM IR getelementptr无效索引

时间:2016-12-09 14:30:40

标签: llvm llvm-ir

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

结构-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。

1 个答案:

答案 0 :(得分:3)

根据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