Iteration 6 MULXQ 48(CX), R8, DI ADCXQ BX, R8 ADOXQ 48(AX), R8 MOVQ R8, 48(AX) // Iteration 7 MULXQ 56(CX), R8, BX ADCXQ DI, R8 ADOXQ 56(AX), R8 MOVQ R8, 56(AX) // Iteration 8 MULXQ 64(CX), R8, DI ADCXQ BX, R8 ADOXQ 64(AX), R8 MOVQ R8, 64(AX) // Iteration 9 MULXQ 72(CX), R8, BX ADCXQ DI, R8 ADOXQ 72(AX), R8 MOVQ R8, 72(AX) // Iteration 10 MULXQ 80(CX), R8, DI ADCXQ BX, R8 ADOXQ 80(AX), R8 MOVQ R8, 80(AX) // Iteration 11 MULXQ 88(CX), R8, BX ADCXQ DI, R8 ADOXQ 88(AX), R8 MOVQ R8, 88(AX) // Iteration 12...

	ADOXQ (BX), DX                          // f3480f38f613
	ADOXQ (R11), DX                         // f3490f38f613
	ADOXQ DX, DX                            // f3480f38f6d2
	ADOXQ R11, DX                           // f3490f38f6d3
	ADOXQ (BX), R11                         // f34c0f38f61b
	ADOXQ (R11), R11                        // f34d0f38f61b
	ADOXQ DX, R11                           // f34c0f38f6da