ADCQ R11, R11 ADCQ R12, R12 ADCQ R13, R13 ADCQ CX, CX ADCQ $0x00, R15 // Missing products MOVQ (SI), AX MULQ AX MOVQ AX, R8 MOVQ DX, R14 MOVQ 8(SI), AX MULQ AX ADDQ R14, R9 ADCQ AX, R10 ADCQ $0x00, DX MOVQ DX, R14 MOVQ 16(SI), AX MULQ AX ADDQ R14, R11 ADCQ AX, R12 ADCQ $0x00, DX MOVQ DX, R14 MOVQ 24(SI), AX MULQ AX ADDQ R14, R13 ADCQ AX, CX ADCQ DX, R15 MOVQ R15, SI // First reduction step MOVQ R8, AX MOVQ R8, R15 SHLQ $0x20, R8 MULQ p256const1<>+0(SB) SHRQ $0x20, R15 ADDQ R8, R9 ADCQ R15, R10 ADCQ...