我正在尝试通过 LLVM 在结构内部使用向量。我的结构有以下 C 定义:
struct Foo
{
uint32_t len;
uint32_t data[32] __attribute__ ((aligned (16)));
};
下面是一些 LLVM 代码,用于将 42 添加到data
field:
%Foo = type { i32, <32 x i32> }
define void @process(%Foo*) {
_L1:
%data = getelementptr %Foo* %0, i32 0, i32 1
%vec = load <32 x i32>* %data
%x = extractelement <32 x i32> %vec, i32 3
%xNew = add i32 42, %x
%vecNew = insertelement <32 x i32> %vec, i32 %xNew, i32 3
store <32 x i32> %vecNew, <32 x i32>* %data
ret void
}
然而, llc 的输出就好像向量必须以 128 字节对齐,这似乎很浪费,而且也是错误的(据我所知向量应该是 16 字节对齐):
.file "process.bc"
.text
.globl process
.align 16, 0x90
.type process,@function
process: # @process
.Leh_func_begin0:
# BB#0: # %_L1
movdqa 128(%rdi), %xmm0
pextrd $3, %xmm0, %eax
addl $42, %eax
pinsrd $3, %eax, %xmm0
movdqa %xmm0, 128(%rdi)
ret
.Ltmp0:
.size process, .Ltmp0-process
.Leh_func_end0:
当然,如果我更改 C 定义以将数据字段也对齐为 128 字节,它可以工作,但浪费 124 字节(如果使用 16 字节对齐则浪费 12 字节)似乎是错误的。那么这是怎么回事呢?