llvm-ir分段故障

Question

任何人都可以告诉我这个LLVM-IR代码有什么问题会导致分段错误以及如何解决它？

%mytype = type {i32 (...)**}
%mytype2 = type {i32, %mytype**}
...
%obj = load %mytype2** %myobj
%get = getelementptr inbounds %mytype2* %obj, i32 0, i32 1
%ml = mul i32 4, 4
%naj = call noalias i8* @_Znaj(i32 %ml)
%cast = bitcast i8* %naj to %mytype**
store %mytype** %cast, %mytype*** %get

%get2 = getelementptr %mytype** %get, i32 0

%ld = load %mytype** %get2

Answer 1

这条线

%get2 = getelementptr %mytype** %get, i32 0

是非法的，因为%get的类型是%mytype*** ，而不是%mytype** 。 此外，由于gep something i32 0总是一个nop，我猜你真的想要别的东西。

一般情况下，我建议在您的IR上使用LLVM的验证通过 （运行opt -verify ）来检查它是否合法。 您也可以尝试我的Eclipse的IR编辑器插件 ，它不能正常工作，但为您提供了很好的GUI反馈：

你应该修改代码是合法的：

%get2 = load %mytype*** %get
%ld = load %mytype** %get2

如果在运行这些行时在运行时遇到段错误，则表示第一次加载或第二次加载访问未分配的内存。 要找出原因，您需要了解如何分配%myobj对象及其字段。