PADDD指令的操作数

我在C中使用向量内在运算编写了一个简单的向量加法程序。这里我加载2个向量并将它们相加,最后将结果向量存储回全局存储器。

当我检查汇编代码时,它有以下指令序列

movdqa  0(%rbp,%rax), %xmm7    
paddd (%r12,%rax), %xmm7
movdqa  %xmm7, (%rbx,%rax)

如您所见,它只移动 paddd 寄存器指令(xmm7)。在 有衬垫的 指令第1个操作数引用全局内存中的地址,而不是先将其移动到寄存器中。

这是否意味着当 有衬垫的 在执行时,它会从全局内存中执行mov,先注册,然后添加寄存器中的两个操作数?相当于以下代码序列

movdqa  0(%rbp,%rax), %xmm7
movdqa  0(%r12,%rax), %xmm8    
paddd %xmm8, %xmm7
movdqa  %xmm7, (%rbx,%rax)

如果您需要更多信息,如可编译程序,请告诉我,以便您可以自己生成程序集。