5 个整数的 LLVM 数组被编译为 16 字节数组全局变量

Question

我正在尝试创建一个 5 ints 数组并初始化它。我的理解是它应该显示为 4*5 = 20 字节，但它总是被编译为 16 字节数组，初始化最终会覆盖另一个数组。

Objdump 显示对象文件中的全局对象的大小为 16 字节，我不知道发生了什么。

使用 llvm8.0.1作为库的可执行文件生成的 bc 文件，对象由 clang-8.0.1 生成，ll 由 llvm-dis8.0.1 生成

代码的思想是将intVectorConstant设置为0，-1，-2，-3，-4 和 intVector 为 0， 1， 2， 3， 4

很抱歉，我无法从 ll 中删除行并编译它们以使其更简单，但如果我运行 llvm - 因为它失败了，我不确定为什么。

; ModuleID = 'lowerer/test/arraySimulation.bc'
source_filename = "Int Test Simulation"
@intVectorConstant = global [5 x i32] 0
@intVectorConstant_old = global [5 x i32] 0
@intVectorConstant_str = global [18 x i8] c"intVectorConstant0"
@intVector = global [5 x i32] 0
@intVector_old = global [5 x i32] 0
@intVector_str = global [10 x i8] c"intVector0"
define internal void @init() {
entry:
%0 = alloca [5 x i32]
%1 = getelementptr [5 x i32], [5 x i32]* %0, i32 0, i32 0
store i32 -1, i32* %1
%2 = getelementptr [5 x i32], [5 x i32]* %0, i32 0, i32 1
store i32 -2, i32* %2
%3 = getelementptr [5 x i32], [5 x i32]* %0, i32 0, i32 2
store i32 -3, i32* %3
%4 = getelementptr [5 x i32], [5 x i32]* %0, i32 0, i32 3
store i32 -4, i32* %4
%5 = getelementptr [5 x i32], [5 x i32]* %0, i32 0, i32 4
store i32 -5, i32* %5
%6 = load [5 x i32], [5 x i32]* %0
store [5 x i32] %6, [5 x i32]* @intVectorConstant
store [5 x i32] %6, [5 x i32]* @intVectorConstant_old
%7 = alloca [5 x i32]
%8 = getelementptr [5 x i32], [5 x i32]* %7, i32 0, i32 0
store i32 1, i32* %8
%9 = getelementptr [5 x i32], [5 x i32]* %7, i32 0, i32 1
store i32 2, i32* %9
%10 = getelementptr [5 x i32], [5 x i32]* %7, i32 0, i32 2
store i32 3, i32* %10
%11 = getelementptr [5 x i32], [5 x i32]* %7, i32 0, i32 3
store i32 4, i32* %11
%12 = getelementptr [5 x i32], [5 x i32]* %7, i32 0, i32 4
store i32 5, i32* %12
%13 = load [5 x i32], [5 x i32]* %7
store [5 x i32] %13, [5 x i32]* @intVector
store [5 x i32] %13, [5 x i32]* @intVector_old
ret void
}

如果我运行

clang -c file.bc -o out
objdump out -t | grep intVector

我得到

0000000000000020 g     O .bss   0000000000000014 intVector
0000000000000000 g     O .bss   0000000000000014 intVectorConstant
0000000000000010 g     O .bss   0000000000000014 intVectorConstant_old
0000000000000000 g     O .data  0000000000000012 intVectorConstant_str
0000000000000030 g     O .bss   0000000000000014 intVector_old
0000000000000012 g     O .data  000000000000000a intVector_str

Answer 1

我发现了问题，我使用 ConstantAggrerateZero：：get(int32Type( 作为全局的初始值设定项，而不是 ConstantAggregateZero：：get(int32ArrayType(，并且正在产生

@intVector_old = global [5 x i32] 0

使用正确的初始值设定项，它变为：

@intVectorConstant = global [5 x i32] zeroinitializer

现在，它们在目标文件中确实有 32 个字节的偏移量。