2

我正在尝试使用 GEP 从数组中获取 i32 的指针。

但问题是：我不知道数组的大小。

llvm.org 上的 IR 文档说 GEP 只是将偏移量添加到基地址中，并采用静默包装二进制补码算法。

所以，我想请教一些建议。像这样安全吗：

%v1 = alloca i32
store i32 5, i32* %v1
%6 = load i32* %v1
%7 = bitcast i32* %v0 to [1 x i32]*
%8 = getelementptr [1 x i32]* %7, i32 0, i32 %6
%9 = load i32* %8
store i32 %9, i32* %v0

%v0 的类型是 i32*，我知道 %v0 指向 mem 中的一个数组，但大小是 9，而不是 1。然后我从 %7 中“GEP”，我将其视为 [1 x i32] ，不是 [9 x i32]，但“偏移量”是 5(%6)。

那么，有什么问题吗？不安全，或者只是不好但基本上可以？

4

1 回答 1

3

首先，你写的整个代码相当于：

%x = getelementptr i32* %v0, i32 5
%y = load i32* %x
store i32* %y, %v0

没有理由将指针位转换为[1 x i32]*，只需按原样使用它。

关于您的问题-使用 gep 获取指针始终是安全的（从某种意义上说，它定义明确并且永远不会崩溃），但是没有什么可以阻止它评估超出数组边界的指针；在这种情况下，访问内存（就像您在后续load指令中所做的那样）是未定义的。

另外，这个链接可能很有趣： http: //llvm.org/docs/GetElementPtr.html#what-happens-if-an-array-index-is-out-of-bounds

于 2013-09-16T10:43:15.400 回答