10141 vpaddw 485498096, %xmm15, %xmm15   label
10145 vpaddw 485498096, %xmm6, %xmm6   label
10149 vpaddw -64(%rdx,%rax,4), %xmm15, %xmm15   label
10153 vpaddw 64(%rdx,%rax,4), %xmm15, %xmm15   label
10157 vpaddw -64(%rdx,%rax,4), %xmm6, %xmm6   label
10161 vpaddw 64(%rdx,%rax,4), %xmm6, %xmm6   label
10165 vpaddw 64(%rdx,%rax), %xmm15, %xmm15   label
10169 vpaddw 64(%rdx,%rax), %xmm6, %xmm6   label
10173 vpaddw 64(%rdx), %xmm15, %xmm15   label
10177 vpaddw 64(%rdx), %xmm6, %xmm6   label
10181 vpaddw (%rdx), %xmm15, %xmm15   label
10185 vpaddw (%rdx), %xmm6, %xmm6   label
10189 vpaddw %xmm15, %xmm15, %xmm15   label
10193 vpaddw %xmm6, %xmm6, %xmm6   label