循环携带的依赖。检测

Question

mov ebx, beginOfArray
xor eax, eax
.L:
    movsd xmm3, [ebx]
    mulsd xmm3, xmm1
    mulsd xmm1, xmm2
    addsd xmm0, xmm3 
    add   eax, 8
    cmp eax, 1024
    jl .L

对于我的眼睛循环携带依赖：

add eax, 8 
mulsd xmm1, xmm2
addsd xmm0, xmm3

所以我们有三个循环携带的依赖。 但是，我不确定为什么 mulsd xmm3, xmm1 不是依赖项。为什么？ xmm3 实际上不是问题（寄存器重命名），但毕竟这条指令必须等到 mulsd xmm1, xmm2 从上一次迭代中完成。那么，为什么它不是依赖循环携带的呢？

Answer 1

xmm3 是仅依赖于循环计数器的负载的结果，因此它不是长循环承载的 dep 链的一部分。 mulsd xmm3,xmm1 每次迭代都会“分叉”一个新的 dep 链。

每次迭代都有一个单独的 load->mulsd 链来为addsd 生成输入。

addsd xmm0, xmm3 是一个 3 循环循环承载的 dep 链，但在每次迭代计算 xmm3 源操作数时可以进行并行处理。