boringssl/ssl/test/runner/curve25519/ladderstep_amd64.s
David Benjamin ab14563022 Bundle a copy of golang.org/x/crypto/curve25519 for testing.
Hopefully this can be replaced with a standard library version later.

BUG=571231

Change-Id: I61ae1d9d057c6d9e1b92128042109758beccc7ff
Reviewed-on: https://boringssl-review.googlesource.com/6776
Reviewed-by: Adam Langley <agl@google.com>
2015-12-22 17:47:53 +00:00

1399 lines
20 KiB
ArmAsm

// Copyright 2012 The Go Authors. All rights reserved.
// Use of this source code is governed by a BSD-style
// license that can be found in the LICENSE file.
// This code was translated into a form compatible with 6a from the public
// domain sources in SUPERCOP: http://bench.cr.yp.to/supercop.html
// +build amd64,!gccgo,!appengine
// func ladderstep(inout *[5][5]uint64)
TEXT ·ladderstep(SB),0,$384-8
MOVQ inout+0(FP),DI
MOVQ SP,R11
MOVQ $31,CX
NOTQ CX
ANDQ CX,SP
ADDQ $32,SP
MOVQ R11,0(SP)
MOVQ R12,8(SP)
MOVQ R13,16(SP)
MOVQ R14,24(SP)
MOVQ R15,32(SP)
MOVQ BX,40(SP)
MOVQ BP,48(SP)
MOVQ 40(DI),SI
MOVQ 48(DI),DX
MOVQ 56(DI),CX
MOVQ 64(DI),R8
MOVQ 72(DI),R9
MOVQ SI,AX
MOVQ DX,R10
MOVQ CX,R11
MOVQ R8,R12
MOVQ R9,R13
ADDQ ·_2P0(SB),AX
ADDQ ·_2P1234(SB),R10
ADDQ ·_2P1234(SB),R11
ADDQ ·_2P1234(SB),R12
ADDQ ·_2P1234(SB),R13
ADDQ 80(DI),SI
ADDQ 88(DI),DX
ADDQ 96(DI),CX
ADDQ 104(DI),R8
ADDQ 112(DI),R9
SUBQ 80(DI),AX
SUBQ 88(DI),R10
SUBQ 96(DI),R11
SUBQ 104(DI),R12
SUBQ 112(DI),R13
MOVQ SI,56(SP)
MOVQ DX,64(SP)
MOVQ CX,72(SP)
MOVQ R8,80(SP)
MOVQ R9,88(SP)
MOVQ AX,96(SP)
MOVQ R10,104(SP)
MOVQ R11,112(SP)
MOVQ R12,120(SP)
MOVQ R13,128(SP)
MOVQ 96(SP),AX
MULQ 96(SP)
MOVQ AX,SI
MOVQ DX,CX
MOVQ 96(SP),AX
SHLQ $1,AX
MULQ 104(SP)
MOVQ AX,R8
MOVQ DX,R9
MOVQ 96(SP),AX
SHLQ $1,AX
MULQ 112(SP)
MOVQ AX,R10
MOVQ DX,R11
MOVQ 96(SP),AX
SHLQ $1,AX
MULQ 120(SP)
MOVQ AX,R12
MOVQ DX,R13
MOVQ 96(SP),AX
SHLQ $1,AX
MULQ 128(SP)
MOVQ AX,R14
MOVQ DX,R15
MOVQ 104(SP),AX
MULQ 104(SP)
ADDQ AX,R10
ADCQ DX,R11
MOVQ 104(SP),AX
SHLQ $1,AX
MULQ 112(SP)
ADDQ AX,R12
ADCQ DX,R13
MOVQ 104(SP),AX
SHLQ $1,AX
MULQ 120(SP)
ADDQ AX,R14
ADCQ DX,R15
MOVQ 104(SP),DX
IMUL3Q $38,DX,AX
MULQ 128(SP)
ADDQ AX,SI
ADCQ DX,CX
MOVQ 112(SP),AX
MULQ 112(SP)
ADDQ AX,R14
ADCQ DX,R15
MOVQ 112(SP),DX
IMUL3Q $38,DX,AX
MULQ 120(SP)
ADDQ AX,SI
ADCQ DX,CX
MOVQ 112(SP),DX
IMUL3Q $38,DX,AX
MULQ 128(SP)
ADDQ AX,R8
ADCQ DX,R9
MOVQ 120(SP),DX
IMUL3Q $19,DX,AX
MULQ 120(SP)
ADDQ AX,R8
ADCQ DX,R9
MOVQ 120(SP),DX
IMUL3Q $38,DX,AX
MULQ 128(SP)
ADDQ AX,R10
ADCQ DX,R11
MOVQ 128(SP),DX
IMUL3Q $19,DX,AX
MULQ 128(SP)
ADDQ AX,R12
ADCQ DX,R13
MOVQ ·REDMASK51(SB),DX
SHLQ $13,CX:SI
ANDQ DX,SI
SHLQ $13,R9:R8
ANDQ DX,R8
ADDQ CX,R8
SHLQ $13,R11:R10
ANDQ DX,R10
ADDQ R9,R10
SHLQ $13,R13:R12
ANDQ DX,R12
ADDQ R11,R12
SHLQ $13,R15:R14
ANDQ DX,R14
ADDQ R13,R14
IMUL3Q $19,R15,CX
ADDQ CX,SI
MOVQ SI,CX
SHRQ $51,CX
ADDQ R8,CX
ANDQ DX,SI
MOVQ CX,R8
SHRQ $51,CX
ADDQ R10,CX
ANDQ DX,R8
MOVQ CX,R9
SHRQ $51,CX
ADDQ R12,CX
ANDQ DX,R9
MOVQ CX,AX
SHRQ $51,CX
ADDQ R14,CX
ANDQ DX,AX
MOVQ CX,R10
SHRQ $51,CX
IMUL3Q $19,CX,CX
ADDQ CX,SI
ANDQ DX,R10
MOVQ SI,136(SP)
MOVQ R8,144(SP)
MOVQ R9,152(SP)
MOVQ AX,160(SP)
MOVQ R10,168(SP)
MOVQ 56(SP),AX
MULQ 56(SP)
MOVQ AX,SI
MOVQ DX,CX
MOVQ 56(SP),AX
SHLQ $1,AX
MULQ 64(SP)
MOVQ AX,R8
MOVQ DX,R9
MOVQ 56(SP),AX
SHLQ $1,AX
MULQ 72(SP)
MOVQ AX,R10
MOVQ DX,R11
MOVQ 56(SP),AX
SHLQ $1,AX
MULQ 80(SP)
MOVQ AX,R12
MOVQ DX,R13
MOVQ 56(SP),AX
SHLQ $1,AX
MULQ 88(SP)
MOVQ AX,R14
MOVQ DX,R15
MOVQ 64(SP),AX
MULQ 64(SP)
ADDQ AX,R10
ADCQ DX,R11
MOVQ 64(SP),AX
SHLQ $1,AX
MULQ 72(SP)
ADDQ AX,R12
ADCQ DX,R13
MOVQ 64(SP),AX
SHLQ $1,AX
MULQ 80(SP)
ADDQ AX,R14
ADCQ DX,R15
MOVQ 64(SP),DX
IMUL3Q $38,DX,AX
MULQ 88(SP)
ADDQ AX,SI
ADCQ DX,CX
MOVQ 72(SP),AX
MULQ 72(SP)
ADDQ AX,R14
ADCQ DX,R15
MOVQ 72(SP),DX
IMUL3Q $38,DX,AX
MULQ 80(SP)
ADDQ AX,SI
ADCQ DX,CX
MOVQ 72(SP),DX
IMUL3Q $38,DX,AX
MULQ 88(SP)
ADDQ AX,R8
ADCQ DX,R9
MOVQ 80(SP),DX
IMUL3Q $19,DX,AX
MULQ 80(SP)
ADDQ AX,R8
ADCQ DX,R9
MOVQ 80(SP),DX
IMUL3Q $38,DX,AX
MULQ 88(SP)
ADDQ AX,R10
ADCQ DX,R11
MOVQ 88(SP),DX
IMUL3Q $19,DX,AX
MULQ 88(SP)
ADDQ AX,R12
ADCQ DX,R13
MOVQ ·REDMASK51(SB),DX
SHLQ $13,CX:SI
ANDQ DX,SI
SHLQ $13,R9:R8
ANDQ DX,R8
ADDQ CX,R8
SHLQ $13,R11:R10
ANDQ DX,R10
ADDQ R9,R10
SHLQ $13,R13:R12
ANDQ DX,R12
ADDQ R11,R12
SHLQ $13,R15:R14
ANDQ DX,R14
ADDQ R13,R14
IMUL3Q $19,R15,CX
ADDQ CX,SI
MOVQ SI,CX
SHRQ $51,CX
ADDQ R8,CX
ANDQ DX,SI
MOVQ CX,R8
SHRQ $51,CX
ADDQ R10,CX
ANDQ DX,R8
MOVQ CX,R9
SHRQ $51,CX
ADDQ R12,CX
ANDQ DX,R9
MOVQ CX,AX
SHRQ $51,CX
ADDQ R14,CX
ANDQ DX,AX
MOVQ CX,R10
SHRQ $51,CX
IMUL3Q $19,CX,CX
ADDQ CX,SI
ANDQ DX,R10
MOVQ SI,176(SP)
MOVQ R8,184(SP)
MOVQ R9,192(SP)
MOVQ AX,200(SP)
MOVQ R10,208(SP)
MOVQ SI,SI
MOVQ R8,DX
MOVQ R9,CX
MOVQ AX,R8
MOVQ R10,R9
ADDQ ·_2P0(SB),SI
ADDQ ·_2P1234(SB),DX
ADDQ ·_2P1234(SB),CX
ADDQ ·_2P1234(SB),R8
ADDQ ·_2P1234(SB),R9
SUBQ 136(SP),SI
SUBQ 144(SP),DX
SUBQ 152(SP),CX
SUBQ 160(SP),R8
SUBQ 168(SP),R9
MOVQ SI,216(SP)
MOVQ DX,224(SP)
MOVQ CX,232(SP)
MOVQ R8,240(SP)
MOVQ R9,248(SP)
MOVQ 120(DI),SI
MOVQ 128(DI),DX
MOVQ 136(DI),CX
MOVQ 144(DI),R8
MOVQ 152(DI),R9
MOVQ SI,AX
MOVQ DX,R10
MOVQ CX,R11
MOVQ R8,R12
MOVQ R9,R13
ADDQ ·_2P0(SB),AX
ADDQ ·_2P1234(SB),R10
ADDQ ·_2P1234(SB),R11
ADDQ ·_2P1234(SB),R12
ADDQ ·_2P1234(SB),R13
ADDQ 160(DI),SI
ADDQ 168(DI),DX
ADDQ 176(DI),CX
ADDQ 184(DI),R8
ADDQ 192(DI),R9
SUBQ 160(DI),AX
SUBQ 168(DI),R10
SUBQ 176(DI),R11
SUBQ 184(DI),R12
SUBQ 192(DI),R13
MOVQ SI,256(SP)
MOVQ DX,264(SP)
MOVQ CX,272(SP)
MOVQ R8,280(SP)
MOVQ R9,288(SP)
MOVQ AX,296(SP)
MOVQ R10,304(SP)
MOVQ R11,312(SP)
MOVQ R12,320(SP)
MOVQ R13,328(SP)
MOVQ 280(SP),SI
IMUL3Q $19,SI,AX
MOVQ AX,336(SP)
MULQ 112(SP)
MOVQ AX,SI
MOVQ DX,CX
MOVQ 288(SP),DX
IMUL3Q $19,DX,AX
MOVQ AX,344(SP)
MULQ 104(SP)
ADDQ AX,SI
ADCQ DX,CX
MOVQ 256(SP),AX
MULQ 96(SP)
ADDQ AX,SI
ADCQ DX,CX
MOVQ 256(SP),AX
MULQ 104(SP)
MOVQ AX,R8
MOVQ DX,R9
MOVQ 256(SP),AX
MULQ 112(SP)
MOVQ AX,R10
MOVQ DX,R11
MOVQ 256(SP),AX
MULQ 120(SP)
MOVQ AX,R12
MOVQ DX,R13
MOVQ 256(SP),AX
MULQ 128(SP)
MOVQ AX,R14
MOVQ DX,R15
MOVQ 264(SP),AX
MULQ 96(SP)
ADDQ AX,R8
ADCQ DX,R9
MOVQ 264(SP),AX
MULQ 104(SP)
ADDQ AX,R10
ADCQ DX,R11
MOVQ 264(SP),AX
MULQ 112(SP)
ADDQ AX,R12
ADCQ DX,R13
MOVQ 264(SP),AX
MULQ 120(SP)
ADDQ AX,R14
ADCQ DX,R15
MOVQ 264(SP),DX
IMUL3Q $19,DX,AX
MULQ 128(SP)
ADDQ AX,SI
ADCQ DX,CX
MOVQ 272(SP),AX
MULQ 96(SP)
ADDQ AX,R10
ADCQ DX,R11
MOVQ 272(SP),AX
MULQ 104(SP)
ADDQ AX,R12
ADCQ DX,R13
MOVQ 272(SP),AX
MULQ 112(SP)
ADDQ AX,R14
ADCQ DX,R15
MOVQ 272(SP),DX
IMUL3Q $19,DX,AX
MULQ 120(SP)
ADDQ AX,SI
ADCQ DX,CX
MOVQ 272(SP),DX
IMUL3Q $19,DX,AX
MULQ 128(SP)
ADDQ AX,R8
ADCQ DX,R9
MOVQ 280(SP),AX
MULQ 96(SP)
ADDQ AX,R12
ADCQ DX,R13
MOVQ 280(SP),AX
MULQ 104(SP)
ADDQ AX,R14
ADCQ DX,R15
MOVQ 336(SP),AX
MULQ 120(SP)
ADDQ AX,R8
ADCQ DX,R9
MOVQ 336(SP),AX
MULQ 128(SP)
ADDQ AX,R10
ADCQ DX,R11
MOVQ 288(SP),AX
MULQ 96(SP)
ADDQ AX,R14
ADCQ DX,R15
MOVQ 344(SP),AX
MULQ 112(SP)
ADDQ AX,R8
ADCQ DX,R9
MOVQ 344(SP),AX
MULQ 120(SP)
ADDQ AX,R10
ADCQ DX,R11
MOVQ 344(SP),AX
MULQ 128(SP)
ADDQ AX,R12
ADCQ DX,R13
MOVQ ·REDMASK51(SB),DX
SHLQ $13,CX:SI
ANDQ DX,SI
SHLQ $13,R9:R8
ANDQ DX,R8
ADDQ CX,R8
SHLQ $13,R11:R10
ANDQ DX,R10
ADDQ R9,R10
SHLQ $13,R13:R12
ANDQ DX,R12
ADDQ R11,R12
SHLQ $13,R15:R14
ANDQ DX,R14
ADDQ R13,R14
IMUL3Q $19,R15,CX
ADDQ CX,SI
MOVQ SI,CX
SHRQ $51,CX
ADDQ R8,CX
MOVQ CX,R8
SHRQ $51,CX
ANDQ DX,SI
ADDQ R10,CX
MOVQ CX,R9
SHRQ $51,CX
ANDQ DX,R8
ADDQ R12,CX
MOVQ CX,AX
SHRQ $51,CX
ANDQ DX,R9
ADDQ R14,CX
MOVQ CX,R10
SHRQ $51,CX
ANDQ DX,AX
IMUL3Q $19,CX,CX
ADDQ CX,SI
ANDQ DX,R10
MOVQ SI,96(SP)
MOVQ R8,104(SP)
MOVQ R9,112(SP)
MOVQ AX,120(SP)
MOVQ R10,128(SP)
MOVQ 320(SP),SI
IMUL3Q $19,SI,AX
MOVQ AX,256(SP)
MULQ 72(SP)
MOVQ AX,SI
MOVQ DX,CX
MOVQ 328(SP),DX
IMUL3Q $19,DX,AX
MOVQ AX,264(SP)
MULQ 64(SP)
ADDQ AX,SI
ADCQ DX,CX
MOVQ 296(SP),AX
MULQ 56(SP)
ADDQ AX,SI
ADCQ DX,CX
MOVQ 296(SP),AX
MULQ 64(SP)
MOVQ AX,R8
MOVQ DX,R9
MOVQ 296(SP),AX
MULQ 72(SP)
MOVQ AX,R10
MOVQ DX,R11
MOVQ 296(SP),AX
MULQ 80(SP)
MOVQ AX,R12
MOVQ DX,R13
MOVQ 296(SP),AX
MULQ 88(SP)
MOVQ AX,R14
MOVQ DX,R15
MOVQ 304(SP),AX
MULQ 56(SP)
ADDQ AX,R8
ADCQ DX,R9
MOVQ 304(SP),AX
MULQ 64(SP)
ADDQ AX,R10
ADCQ DX,R11
MOVQ 304(SP),AX
MULQ 72(SP)
ADDQ AX,R12
ADCQ DX,R13
MOVQ 304(SP),AX
MULQ 80(SP)
ADDQ AX,R14
ADCQ DX,R15
MOVQ 304(SP),DX
IMUL3Q $19,DX,AX
MULQ 88(SP)
ADDQ AX,SI
ADCQ DX,CX
MOVQ 312(SP),AX
MULQ 56(SP)
ADDQ AX,R10
ADCQ DX,R11
MOVQ 312(SP),AX
MULQ 64(SP)
ADDQ AX,R12
ADCQ DX,R13
MOVQ 312(SP),AX
MULQ 72(SP)
ADDQ AX,R14
ADCQ DX,R15
MOVQ 312(SP),DX
IMUL3Q $19,DX,AX
MULQ 80(SP)
ADDQ AX,SI
ADCQ DX,CX
MOVQ 312(SP),DX
IMUL3Q $19,DX,AX
MULQ 88(SP)
ADDQ AX,R8
ADCQ DX,R9
MOVQ 320(SP),AX
MULQ 56(SP)
ADDQ AX,R12
ADCQ DX,R13
MOVQ 320(SP),AX
MULQ 64(SP)
ADDQ AX,R14
ADCQ DX,R15
MOVQ 256(SP),AX
MULQ 80(SP)
ADDQ AX,R8
ADCQ DX,R9
MOVQ 256(SP),AX
MULQ 88(SP)
ADDQ AX,R10
ADCQ DX,R11
MOVQ 328(SP),AX
MULQ 56(SP)
ADDQ AX,R14
ADCQ DX,R15
MOVQ 264(SP),AX
MULQ 72(SP)
ADDQ AX,R8
ADCQ DX,R9
MOVQ 264(SP),AX
MULQ 80(SP)
ADDQ AX,R10
ADCQ DX,R11
MOVQ 264(SP),AX
MULQ 88(SP)
ADDQ AX,R12
ADCQ DX,R13
MOVQ ·REDMASK51(SB),DX
SHLQ $13,CX:SI
ANDQ DX,SI
SHLQ $13,R9:R8
ANDQ DX,R8
ADDQ CX,R8
SHLQ $13,R11:R10
ANDQ DX,R10
ADDQ R9,R10
SHLQ $13,R13:R12
ANDQ DX,R12
ADDQ R11,R12
SHLQ $13,R15:R14
ANDQ DX,R14
ADDQ R13,R14
IMUL3Q $19,R15,CX
ADDQ CX,SI
MOVQ SI,CX
SHRQ $51,CX
ADDQ R8,CX
MOVQ CX,R8
SHRQ $51,CX
ANDQ DX,SI
ADDQ R10,CX
MOVQ CX,R9
SHRQ $51,CX
ANDQ DX,R8
ADDQ R12,CX
MOVQ CX,AX
SHRQ $51,CX
ANDQ DX,R9
ADDQ R14,CX
MOVQ CX,R10
SHRQ $51,CX
ANDQ DX,AX
IMUL3Q $19,CX,CX
ADDQ CX,SI
ANDQ DX,R10
MOVQ SI,DX
MOVQ R8,CX
MOVQ R9,R11
MOVQ AX,R12
MOVQ R10,R13
ADDQ ·_2P0(SB),DX
ADDQ ·_2P1234(SB),CX
ADDQ ·_2P1234(SB),R11
ADDQ ·_2P1234(SB),R12
ADDQ ·_2P1234(SB),R13
ADDQ 96(SP),SI
ADDQ 104(SP),R8
ADDQ 112(SP),R9
ADDQ 120(SP),AX
ADDQ 128(SP),R10
SUBQ 96(SP),DX
SUBQ 104(SP),CX
SUBQ 112(SP),R11
SUBQ 120(SP),R12
SUBQ 128(SP),R13
MOVQ SI,120(DI)
MOVQ R8,128(DI)
MOVQ R9,136(DI)
MOVQ AX,144(DI)
MOVQ R10,152(DI)
MOVQ DX,160(DI)
MOVQ CX,168(DI)
MOVQ R11,176(DI)
MOVQ R12,184(DI)
MOVQ R13,192(DI)
MOVQ 120(DI),AX
MULQ 120(DI)
MOVQ AX,SI
MOVQ DX,CX
MOVQ 120(DI),AX
SHLQ $1,AX
MULQ 128(DI)
MOVQ AX,R8
MOVQ DX,R9
MOVQ 120(DI),AX
SHLQ $1,AX
MULQ 136(DI)
MOVQ AX,R10
MOVQ DX,R11
MOVQ 120(DI),AX
SHLQ $1,AX
MULQ 144(DI)
MOVQ AX,R12
MOVQ DX,R13
MOVQ 120(DI),AX
SHLQ $1,AX
MULQ 152(DI)
MOVQ AX,R14
MOVQ DX,R15
MOVQ 128(DI),AX
MULQ 128(DI)
ADDQ AX,R10
ADCQ DX,R11
MOVQ 128(DI),AX
SHLQ $1,AX
MULQ 136(DI)
ADDQ AX,R12
ADCQ DX,R13
MOVQ 128(DI),AX
SHLQ $1,AX
MULQ 144(DI)
ADDQ AX,R14
ADCQ DX,R15
MOVQ 128(DI),DX
IMUL3Q $38,DX,AX
MULQ 152(DI)
ADDQ AX,SI
ADCQ DX,CX
MOVQ 136(DI),AX
MULQ 136(DI)
ADDQ AX,R14
ADCQ DX,R15
MOVQ 136(DI),DX
IMUL3Q $38,DX,AX
MULQ 144(DI)
ADDQ AX,SI
ADCQ DX,CX
MOVQ 136(DI),DX
IMUL3Q $38,DX,AX
MULQ 152(DI)
ADDQ AX,R8
ADCQ DX,R9
MOVQ 144(DI),DX
IMUL3Q $19,DX,AX
MULQ 144(DI)
ADDQ AX,R8
ADCQ DX,R9
MOVQ 144(DI),DX
IMUL3Q $38,DX,AX
MULQ 152(DI)
ADDQ AX,R10
ADCQ DX,R11
MOVQ 152(DI),DX
IMUL3Q $19,DX,AX
MULQ 152(DI)
ADDQ AX,R12
ADCQ DX,R13
MOVQ ·REDMASK51(SB),DX
SHLQ $13,CX:SI
ANDQ DX,SI
SHLQ $13,R9:R8
ANDQ DX,R8
ADDQ CX,R8
SHLQ $13,R11:R10
ANDQ DX,R10
ADDQ R9,R10
SHLQ $13,R13:R12
ANDQ DX,R12
ADDQ R11,R12
SHLQ $13,R15:R14
ANDQ DX,R14
ADDQ R13,R14
IMUL3Q $19,R15,CX
ADDQ CX,SI
MOVQ SI,CX
SHRQ $51,CX
ADDQ R8,CX
ANDQ DX,SI
MOVQ CX,R8
SHRQ $51,CX
ADDQ R10,CX
ANDQ DX,R8
MOVQ CX,R9
SHRQ $51,CX
ADDQ R12,CX
ANDQ DX,R9
MOVQ CX,AX
SHRQ $51,CX
ADDQ R14,CX
ANDQ DX,AX
MOVQ CX,R10
SHRQ $51,CX
IMUL3Q $19,CX,CX
ADDQ CX,SI
ANDQ DX,R10
MOVQ SI,120(DI)
MOVQ R8,128(DI)
MOVQ R9,136(DI)
MOVQ AX,144(DI)
MOVQ R10,152(DI)
MOVQ 160(DI),AX
MULQ 160(DI)
MOVQ AX,SI
MOVQ DX,CX
MOVQ 160(DI),AX
SHLQ $1,AX
MULQ 168(DI)
MOVQ AX,R8
MOVQ DX,R9
MOVQ 160(DI),AX
SHLQ $1,AX
MULQ 176(DI)
MOVQ AX,R10
MOVQ DX,R11
MOVQ 160(DI),AX
SHLQ $1,AX
MULQ 184(DI)
MOVQ AX,R12
MOVQ DX,R13
MOVQ 160(DI),AX
SHLQ $1,AX
MULQ 192(DI)
MOVQ AX,R14
MOVQ DX,R15
MOVQ 168(DI),AX
MULQ 168(DI)
ADDQ AX,R10
ADCQ DX,R11
MOVQ 168(DI),AX
SHLQ $1,AX
MULQ 176(DI)
ADDQ AX,R12
ADCQ DX,R13
MOVQ 168(DI),AX
SHLQ $1,AX
MULQ 184(DI)
ADDQ AX,R14
ADCQ DX,R15
MOVQ 168(DI),DX
IMUL3Q $38,DX,AX
MULQ 192(DI)
ADDQ AX,SI
ADCQ DX,CX
MOVQ 176(DI),AX
MULQ 176(DI)
ADDQ AX,R14
ADCQ DX,R15
MOVQ 176(DI),DX
IMUL3Q $38,DX,AX
MULQ 184(DI)
ADDQ AX,SI
ADCQ DX,CX
MOVQ 176(DI),DX
IMUL3Q $38,DX,AX
MULQ 192(DI)
ADDQ AX,R8
ADCQ DX,R9
MOVQ 184(DI),DX
IMUL3Q $19,DX,AX
MULQ 184(DI)
ADDQ AX,R8
ADCQ DX,R9
MOVQ 184(DI),DX
IMUL3Q $38,DX,AX
MULQ 192(DI)
ADDQ AX,R10
ADCQ DX,R11
MOVQ 192(DI),DX
IMUL3Q $19,DX,AX
MULQ 192(DI)
ADDQ AX,R12
ADCQ DX,R13
MOVQ ·REDMASK51(SB),DX
SHLQ $13,CX:SI
ANDQ DX,SI
SHLQ $13,R9:R8
ANDQ DX,R8
ADDQ CX,R8
SHLQ $13,R11:R10
ANDQ DX,R10
ADDQ R9,R10
SHLQ $13,R13:R12
ANDQ DX,R12
ADDQ R11,R12
SHLQ $13,R15:R14
ANDQ DX,R14
ADDQ R13,R14
IMUL3Q $19,R15,CX
ADDQ CX,SI
MOVQ SI,CX
SHRQ $51,CX
ADDQ R8,CX
ANDQ DX,SI
MOVQ CX,R8
SHRQ $51,CX
ADDQ R10,CX
ANDQ DX,R8
MOVQ CX,R9
SHRQ $51,CX
ADDQ R12,CX
ANDQ DX,R9
MOVQ CX,AX
SHRQ $51,CX
ADDQ R14,CX
ANDQ DX,AX
MOVQ CX,R10
SHRQ $51,CX
IMUL3Q $19,CX,CX
ADDQ CX,SI
ANDQ DX,R10
MOVQ SI,160(DI)
MOVQ R8,168(DI)
MOVQ R9,176(DI)
MOVQ AX,184(DI)
MOVQ R10,192(DI)
MOVQ 184(DI),SI
IMUL3Q $19,SI,AX
MOVQ AX,56(SP)
MULQ 16(DI)
MOVQ AX,SI
MOVQ DX,CX
MOVQ 192(DI),DX
IMUL3Q $19,DX,AX
MOVQ AX,64(SP)
MULQ 8(DI)
ADDQ AX,SI
ADCQ DX,CX
MOVQ 160(DI),AX
MULQ 0(DI)
ADDQ AX,SI
ADCQ DX,CX
MOVQ 160(DI),AX
MULQ 8(DI)
MOVQ AX,R8
MOVQ DX,R9
MOVQ 160(DI),AX
MULQ 16(DI)
MOVQ AX,R10
MOVQ DX,R11
MOVQ 160(DI),AX
MULQ 24(DI)
MOVQ AX,R12
MOVQ DX,R13
MOVQ 160(DI),AX
MULQ 32(DI)
MOVQ AX,R14
MOVQ DX,R15
MOVQ 168(DI),AX
MULQ 0(DI)
ADDQ AX,R8
ADCQ DX,R9
MOVQ 168(DI),AX
MULQ 8(DI)
ADDQ AX,R10
ADCQ DX,R11
MOVQ 168(DI),AX
MULQ 16(DI)
ADDQ AX,R12
ADCQ DX,R13
MOVQ 168(DI),AX
MULQ 24(DI)
ADDQ AX,R14
ADCQ DX,R15
MOVQ 168(DI),DX
IMUL3Q $19,DX,AX
MULQ 32(DI)
ADDQ AX,SI
ADCQ DX,CX
MOVQ 176(DI),AX
MULQ 0(DI)
ADDQ AX,R10
ADCQ DX,R11
MOVQ 176(DI),AX
MULQ 8(DI)
ADDQ AX,R12
ADCQ DX,R13
MOVQ 176(DI),AX
MULQ 16(DI)
ADDQ AX,R14
ADCQ DX,R15
MOVQ 176(DI),DX
IMUL3Q $19,DX,AX
MULQ 24(DI)
ADDQ AX,SI
ADCQ DX,CX
MOVQ 176(DI),DX
IMUL3Q $19,DX,AX
MULQ 32(DI)
ADDQ AX,R8
ADCQ DX,R9
MOVQ 184(DI),AX
MULQ 0(DI)
ADDQ AX,R12
ADCQ DX,R13
MOVQ 184(DI),AX
MULQ 8(DI)
ADDQ AX,R14
ADCQ DX,R15
MOVQ 56(SP),AX
MULQ 24(DI)
ADDQ AX,R8
ADCQ DX,R9
MOVQ 56(SP),AX
MULQ 32(DI)
ADDQ AX,R10
ADCQ DX,R11
MOVQ 192(DI),AX
MULQ 0(DI)
ADDQ AX,R14
ADCQ DX,R15
MOVQ 64(SP),AX
MULQ 16(DI)
ADDQ AX,R8
ADCQ DX,R9
MOVQ 64(SP),AX
MULQ 24(DI)
ADDQ AX,R10
ADCQ DX,R11
MOVQ 64(SP),AX
MULQ 32(DI)
ADDQ AX,R12
ADCQ DX,R13
MOVQ ·REDMASK51(SB),DX
SHLQ $13,CX:SI
ANDQ DX,SI
SHLQ $13,R9:R8
ANDQ DX,R8
ADDQ CX,R8
SHLQ $13,R11:R10
ANDQ DX,R10
ADDQ R9,R10
SHLQ $13,R13:R12
ANDQ DX,R12
ADDQ R11,R12
SHLQ $13,R15:R14
ANDQ DX,R14
ADDQ R13,R14
IMUL3Q $19,R15,CX
ADDQ CX,SI
MOVQ SI,CX
SHRQ $51,CX
ADDQ R8,CX
MOVQ CX,R8
SHRQ $51,CX
ANDQ DX,SI
ADDQ R10,CX
MOVQ CX,R9
SHRQ $51,CX
ANDQ DX,R8
ADDQ R12,CX
MOVQ CX,AX
SHRQ $51,CX
ANDQ DX,R9
ADDQ R14,CX
MOVQ CX,R10
SHRQ $51,CX
ANDQ DX,AX
IMUL3Q $19,CX,CX
ADDQ CX,SI
ANDQ DX,R10
MOVQ SI,160(DI)
MOVQ R8,168(DI)
MOVQ R9,176(DI)
MOVQ AX,184(DI)
MOVQ R10,192(DI)
MOVQ 200(SP),SI
IMUL3Q $19,SI,AX
MOVQ AX,56(SP)
MULQ 152(SP)
MOVQ AX,SI
MOVQ DX,CX
MOVQ 208(SP),DX
IMUL3Q $19,DX,AX
MOVQ AX,64(SP)
MULQ 144(SP)
ADDQ AX,SI
ADCQ DX,CX
MOVQ 176(SP),AX
MULQ 136(SP)
ADDQ AX,SI
ADCQ DX,CX
MOVQ 176(SP),AX
MULQ 144(SP)
MOVQ AX,R8
MOVQ DX,R9
MOVQ 176(SP),AX
MULQ 152(SP)
MOVQ AX,R10
MOVQ DX,R11
MOVQ 176(SP),AX
MULQ 160(SP)
MOVQ AX,R12
MOVQ DX,R13
MOVQ 176(SP),AX
MULQ 168(SP)
MOVQ AX,R14
MOVQ DX,R15
MOVQ 184(SP),AX
MULQ 136(SP)
ADDQ AX,R8
ADCQ DX,R9
MOVQ 184(SP),AX
MULQ 144(SP)
ADDQ AX,R10
ADCQ DX,R11
MOVQ 184(SP),AX
MULQ 152(SP)
ADDQ AX,R12
ADCQ DX,R13
MOVQ 184(SP),AX
MULQ 160(SP)
ADDQ AX,R14
ADCQ DX,R15
MOVQ 184(SP),DX
IMUL3Q $19,DX,AX
MULQ 168(SP)
ADDQ AX,SI
ADCQ DX,CX
MOVQ 192(SP),AX
MULQ 136(SP)
ADDQ AX,R10
ADCQ DX,R11
MOVQ 192(SP),AX
MULQ 144(SP)
ADDQ AX,R12
ADCQ DX,R13
MOVQ 192(SP),AX
MULQ 152(SP)
ADDQ AX,R14
ADCQ DX,R15
MOVQ 192(SP),DX
IMUL3Q $19,DX,AX
MULQ 160(SP)
ADDQ AX,SI
ADCQ DX,CX
MOVQ 192(SP),DX
IMUL3Q $19,DX,AX
MULQ 168(SP)
ADDQ AX,R8
ADCQ DX,R9
MOVQ 200(SP),AX
MULQ 136(SP)
ADDQ AX,R12
ADCQ DX,R13
MOVQ 200(SP),AX
MULQ 144(SP)
ADDQ AX,R14
ADCQ DX,R15
MOVQ 56(SP),AX
MULQ 160(SP)
ADDQ AX,R8
ADCQ DX,R9
MOVQ 56(SP),AX
MULQ 168(SP)
ADDQ AX,R10
ADCQ DX,R11
MOVQ 208(SP),AX
MULQ 136(SP)
ADDQ AX,R14
ADCQ DX,R15
MOVQ 64(SP),AX
MULQ 152(SP)
ADDQ AX,R8
ADCQ DX,R9
MOVQ 64(SP),AX
MULQ 160(SP)
ADDQ AX,R10
ADCQ DX,R11
MOVQ 64(SP),AX
MULQ 168(SP)
ADDQ AX,R12
ADCQ DX,R13
MOVQ ·REDMASK51(SB),DX
SHLQ $13,CX:SI
ANDQ DX,SI
SHLQ $13,R9:R8
ANDQ DX,R8
ADDQ CX,R8
SHLQ $13,R11:R10
ANDQ DX,R10
ADDQ R9,R10
SHLQ $13,R13:R12
ANDQ DX,R12
ADDQ R11,R12
SHLQ $13,R15:R14
ANDQ DX,R14
ADDQ R13,R14
IMUL3Q $19,R15,CX
ADDQ CX,SI
MOVQ SI,CX
SHRQ $51,CX
ADDQ R8,CX
MOVQ CX,R8
SHRQ $51,CX
ANDQ DX,SI
ADDQ R10,CX
MOVQ CX,R9
SHRQ $51,CX
ANDQ DX,R8
ADDQ R12,CX
MOVQ CX,AX
SHRQ $51,CX
ANDQ DX,R9
ADDQ R14,CX
MOVQ CX,R10
SHRQ $51,CX
ANDQ DX,AX
IMUL3Q $19,CX,CX
ADDQ CX,SI
ANDQ DX,R10
MOVQ SI,40(DI)
MOVQ R8,48(DI)
MOVQ R9,56(DI)
MOVQ AX,64(DI)
MOVQ R10,72(DI)
MOVQ 216(SP),AX
MULQ ·_121666_213(SB)
SHRQ $13,AX
MOVQ AX,SI
MOVQ DX,CX
MOVQ 224(SP),AX
MULQ ·_121666_213(SB)
SHRQ $13,AX
ADDQ AX,CX
MOVQ DX,R8
MOVQ 232(SP),AX
MULQ ·_121666_213(SB)
SHRQ $13,AX
ADDQ AX,R8
MOVQ DX,R9
MOVQ 240(SP),AX
MULQ ·_121666_213(SB)
SHRQ $13,AX
ADDQ AX,R9
MOVQ DX,R10
MOVQ 248(SP),AX
MULQ ·_121666_213(SB)
SHRQ $13,AX
ADDQ AX,R10
IMUL3Q $19,DX,DX
ADDQ DX,SI
ADDQ 136(SP),SI
ADDQ 144(SP),CX
ADDQ 152(SP),R8
ADDQ 160(SP),R9
ADDQ 168(SP),R10
MOVQ SI,80(DI)
MOVQ CX,88(DI)
MOVQ R8,96(DI)
MOVQ R9,104(DI)
MOVQ R10,112(DI)
MOVQ 104(DI),SI
IMUL3Q $19,SI,AX
MOVQ AX,56(SP)
MULQ 232(SP)
MOVQ AX,SI
MOVQ DX,CX
MOVQ 112(DI),DX
IMUL3Q $19,DX,AX
MOVQ AX,64(SP)
MULQ 224(SP)
ADDQ AX,SI
ADCQ DX,CX
MOVQ 80(DI),AX
MULQ 216(SP)
ADDQ AX,SI
ADCQ DX,CX
MOVQ 80(DI),AX
MULQ 224(SP)
MOVQ AX,R8
MOVQ DX,R9
MOVQ 80(DI),AX
MULQ 232(SP)
MOVQ AX,R10
MOVQ DX,R11
MOVQ 80(DI),AX
MULQ 240(SP)
MOVQ AX,R12
MOVQ DX,R13
MOVQ 80(DI),AX
MULQ 248(SP)
MOVQ AX,R14
MOVQ DX,R15
MOVQ 88(DI),AX
MULQ 216(SP)
ADDQ AX,R8
ADCQ DX,R9
MOVQ 88(DI),AX
MULQ 224(SP)
ADDQ AX,R10
ADCQ DX,R11
MOVQ 88(DI),AX
MULQ 232(SP)
ADDQ AX,R12
ADCQ DX,R13
MOVQ 88(DI),AX
MULQ 240(SP)
ADDQ AX,R14
ADCQ DX,R15
MOVQ 88(DI),DX
IMUL3Q $19,DX,AX
MULQ 248(SP)
ADDQ AX,SI
ADCQ DX,CX
MOVQ 96(DI),AX
MULQ 216(SP)
ADDQ AX,R10
ADCQ DX,R11
MOVQ 96(DI),AX
MULQ 224(SP)
ADDQ AX,R12
ADCQ DX,R13
MOVQ 96(DI),AX
MULQ 232(SP)
ADDQ AX,R14
ADCQ DX,R15
MOVQ 96(DI),DX
IMUL3Q $19,DX,AX
MULQ 240(SP)
ADDQ AX,SI
ADCQ DX,CX
MOVQ 96(DI),DX
IMUL3Q $19,DX,AX
MULQ 248(SP)
ADDQ AX,R8
ADCQ DX,R9
MOVQ 104(DI),AX
MULQ 216(SP)
ADDQ AX,R12
ADCQ DX,R13
MOVQ 104(DI),AX
MULQ 224(SP)
ADDQ AX,R14
ADCQ DX,R15
MOVQ 56(SP),AX
MULQ 240(SP)
ADDQ AX,R8
ADCQ DX,R9
MOVQ 56(SP),AX
MULQ 248(SP)
ADDQ AX,R10
ADCQ DX,R11
MOVQ 112(DI),AX
MULQ 216(SP)
ADDQ AX,R14
ADCQ DX,R15
MOVQ 64(SP),AX
MULQ 232(SP)
ADDQ AX,R8
ADCQ DX,R9
MOVQ 64(SP),AX
MULQ 240(SP)
ADDQ AX,R10
ADCQ DX,R11
MOVQ 64(SP),AX
MULQ 248(SP)
ADDQ AX,R12
ADCQ DX,R13
MOVQ ·REDMASK51(SB),DX
SHLQ $13,CX:SI
ANDQ DX,SI
SHLQ $13,R9:R8
ANDQ DX,R8
ADDQ CX,R8
SHLQ $13,R11:R10
ANDQ DX,R10
ADDQ R9,R10
SHLQ $13,R13:R12
ANDQ DX,R12
ADDQ R11,R12
SHLQ $13,R15:R14
ANDQ DX,R14
ADDQ R13,R14
IMUL3Q $19,R15,CX
ADDQ CX,SI
MOVQ SI,CX
SHRQ $51,CX
ADDQ R8,CX
MOVQ CX,R8
SHRQ $51,CX
ANDQ DX,SI
ADDQ R10,CX
MOVQ CX,R9
SHRQ $51,CX
ANDQ DX,R8
ADDQ R12,CX
MOVQ CX,AX
SHRQ $51,CX
ANDQ DX,R9
ADDQ R14,CX
MOVQ CX,R10
SHRQ $51,CX
ANDQ DX,AX
IMUL3Q $19,CX,CX
ADDQ CX,SI
ANDQ DX,R10
MOVQ SI,80(DI)
MOVQ R8,88(DI)
MOVQ R9,96(DI)
MOVQ AX,104(DI)
MOVQ R10,112(DI)
MOVQ 0(SP),R11
MOVQ 8(SP),R12
MOVQ 16(SP),R13
MOVQ 24(SP),R14
MOVQ 32(SP),R15
MOVQ 40(SP),BX
MOVQ 48(SP),BP
MOVQ R11,SP
MOVQ DI,AX
MOVQ SI,DX
RET