0000000000000000 c55b58e1         vaddsd xmm12, xmm4, xmm1
0000000000000004 c421035d6c03f0   vminsd xmm13, xmm15, qword [rbx+r8-0x10]
000000000000000b c4416458c6       vaddps ymm8, ymm3, ymm14
0000000000000010 c5645800         vaddps ymm8, ymm3, [rax]