5           vaddpd %xmm19, %xmm29, %xmm20
9           vaddpd %xmm19, %xmm29, %xmm20 {%k7}
13           vaddpd %xmm19, %xmm29, %xmm20 {%k7} {z}
17           vaddpd (%rcx), %xmm29, %xmm20
21           vaddpd 291(%rax,%r14,8), %xmm29, %xmm20
25           vaddpd (%rcx){1to2}, %xmm29, %xmm20
29           vaddpd 2032(%rdx), %xmm29, %xmm20
33           vaddpd 2048(%rdx), %xmm29, %xmm20
37           vaddpd -2048(%rdx), %xmm29, %xmm20
41           vaddpd -2064(%rdx), %xmm29, %xmm20
45           vaddpd 1016(%rdx){1to2}, %xmm29, %xmm20
49           vaddpd 1024(%rdx){1to2}, %xmm29, %xmm20
53           vaddpd -1024(%rdx){1to2}, %xmm29, %xmm20
57           vaddpd -1032(%rdx){1to2}, %xmm29, %xmm20
61           vaddpd %ymm26, %ymm26, %ymm28
65           vaddpd %ymm26, %ymm26, %ymm28 {%k1}
69           vaddpd %ymm26, %ymm26, %ymm28 {%k1} {z}
73           vaddpd (%rcx), %ymm26, %ymm28
77           vaddpd 291(%rax,%r14,8), %ymm26, %ymm28
81           vaddpd (%rcx){1to4}, %ymm26, %ymm28
85           vaddpd 4064(%rdx), %ymm26, %ymm28
89           vaddpd 4096(%rdx), %ymm26, %ymm28
93           vaddpd -4096(%rdx), %ymm26, %ymm28
97           vaddpd -4128(%rdx), %ymm26, %ymm28
101           vaddpd 1016(%rdx){1to4}, %ymm26, %ymm28
105           vaddpd 1024(%rdx){1to4}, %ymm26, %ymm28
109           vaddpd -1024(%rdx){1to4}, %ymm26, %ymm28
113           vaddpd -1032(%rdx){1to4}, %ymm26, %ymm28
6657 vaddpd  %zmm2, %zmm1, %zmm1  label
6661 vaddpd  %zmm2, %zmm1, %zmm1 {%k5}  label
6665 vaddpd  %zmm2, %zmm1, %zmm1 {%k5} {z}  label
6669 vaddpd  {rn-sae}, %zmm2, %zmm1, %zmm1 {%k5} {z}  label
6673 vaddpd  {rn-sae}, %zmm2, %zmm1, %zmm1  label
6677 vaddpd  {ru-sae}, %zmm2, %zmm1, %zmm1  label
6681 vaddpd  {rd-sae}, %zmm2, %zmm1, %zmm1  label
6685 vaddpd  {rz-sae}, %zmm2, %zmm1, %zmm1  label