如何访问LLVM IR的阵列？

Question

我对LLVM如何访问数组感到困惑。

对于一个2维数组，就像

int a[5][5];
int func1(){
    return a[1][2];
}

翻译后的LLVM-IR一样，

@a = global [5 x [5 x i32]] zeroinitializer, align 16
define i32 @func1() #0 {
entry:
  %0 = load i32, i32* getelementptr inbounds ([5 x [5 x i32]], [5 x [5 x i32]]* @a, i64 0, i64 1, i64 2), align 4
  ret i32 %0
}

我认为做的是首先使用索引1来获取内部维度“ [5 x I32]”，然后使用索引2来获取“ i32”。

但是，当一个2维数组作为函数参数（或数组指针）时，事情变得很奇怪，

int func2(int a[][5]){
    return a[2][3];
}

define i32 @func2([5 x i32]* %a) #0 {
entry:
  %a.addr = alloca [5 x i32]*, align 8
  store [5 x i32]* %a, [5 x i32]** %a.addr, align 8
  %0 = load [5 x i32]*, [5 x i32]** %a.addr, align 8
  %arrayidx = getelementptr inbounds [5 x i32], [5 x i32]* %0, i64 2
  %arrayidx1 = getelementptr inbounds [5 x i32], [5 x i32]* %arrayidx, i64 0, i64 3
  %1 = load i32, i32* %arrayidx1, align 4
  ret i32 %1
}

我不知道我的理解是否正确。

看来“ A”的位置已加载到％0，并且当前％0具有类型“ [5 x I32]*”，

%0 = load [5 x i32]*, [5 x i32]** %a.addr, align 8

然后使用“％0”访问“ A”的外部维度，但现在“％0”被认为是“ [5 x i32]”，“％arrayidx”将具有“ i32”类型。

%arrayidx = getelementptr inbounds [5 x i32], [5 x i32]* %0, i64 2

然后更奇怪，“％arrayidx”仍然被认为是“ [5 x i32]”，但实际上是“ i32”

%arrayidx1 = getelementptr inbounds [5 x i32], [5 x i32]* %arrayidx, i64 0, i64 3

如何解释它？以及如何使用api喜欢builder.createinboundsgep（type，array，idxs）;生成它？似乎不可能，因为我尝试了

// type is "[5 x i32]" and array also has a type of "[5 x i32]", inorder to generate the same ir 
// as %arrayidx = getelementptr inbounds [5 x i32], [5 x i32]* %0, i64 2
auto arrayidx = Builder.CreateInBoundsGEP(type, array, Idxs)

// but now arrayidx is "i32" and now type and the type of arrayidx is not match
auto arrayidx1 = Builder.CreateInBoundsGEP(type, arrayidx, Idxs)

Answer 1

%arrayidx = getelementptr inbounds [5 x i32], [5 x i32]* %0, i64 2

％0和％arrayIdx是[5 x i32]*。

b = getElementPtr＆lt; type＆gt;，type＆gt;* a，i64 idx0 typ b =＆amp; a [idx0]。

%arrayidx1 = getelementptr inbounds [5 x i32], [5 x i32]* %arrayidx, i64 0, i64 3

％arrayidx1是i32*。

c = getElementPtr＆lt; type＆gt;，type＆gt;* b，i64 idx0，i64 idx1 or类似于c =＆amp; b [idx0] [idx1] [idx1]