AX, R9 ADCQ $0x00, DX MOVQ DX, R10 // Last reduction step XORQ R14, R14 MOVQ R11, AX MOVQ R11, R15 SHLQ $0x20, R11 MULQ p256const1<>+0(SB) SHRQ $0x20, R15 ADDQ R11, R8 ADCQ R15, R9 ADCQ AX, R10 ADCQ $0x00, DX MOVQ DX, R11 // Add bits [511:256] of the sqr result ADCQ R12, R8 ADCQ R13, R9 ADCQ CX, R10 ADCQ SI, R11 ADCQ $0x00, R14 MOVQ R8, R12 MOVQ R9, R13 MOVQ R10, CX MOVQ R11, R15 // Subtract p256 SUBQ $-1, R8 SBBQ p256const0<>+0(SB), R9 SBBQ $0x00, R10 SBBQ p256const1<>+0(SB), R11 SBBQ $0x00, R14 CMOVQCS...