ruby_nacl 0.1.0

data/ext/ruby_nacl/NaCl/crypto_scalarmult/curve25519/athlon/mainloop.s

@@ -0,0 +1,3990 @@
+.text
+.p2align 5
+.globl _crypto_scalarmult_curve25519_athlon_mainloop
+.globl crypto_scalarmult_curve25519_athlon_mainloop
+_crypto_scalarmult_curve25519_athlon_mainloop:
+crypto_scalarmult_curve25519_athlon_mainloop:
+mov %esp,%eax
+and $31,%eax
+add $704,%eax
+sub %eax,%esp
+lea 256(%esp),%edx
+lea 512(%esp),%ecx
+fldl crypto_scalarmult_curve25519_athlon_two0
+fldl crypto_scalarmult_curve25519_athlon_zero
+movl %eax,160(%ecx)
+movl %ebx,164(%ecx)
+movl %esi,168(%ecx)
+movl %edi,172(%ecx)
+movl %ebp,176(%ecx)
+movl 4(%esp,%eax),%ebx
+fxch %st(1)
+fstl 0(%esp)
+fxch %st(1)
+fstl 8(%esp)
+fstl 16(%esp)
+fstl 24(%esp)
+fstl 32(%esp)
+fstl 40(%esp)
+fstl 48(%esp)
+fstl -120(%edx)
+fstl -112(%edx)
+fstl -104(%edx)
+fstl -96(%edx)
+fstl -88(%edx)
+fstl -80(%edx)
+fstl -72(%edx)
+fstl -64(%edx)
+fstl -56(%edx)
+fstl -48(%edx)
+fstl -40(%edx)
+fstl -32(%edx)
+fstl -24(%edx)
+fxch %st(1)
+fstpl 64(%edx)
+fstl 72(%edx)
+fstl 80(%edx)
+fstl 88(%edx)
+fstl 96(%edx)
+fstl 104(%edx)
+fstl 112(%edx)
+fstl 120(%edx)
+fstl -128(%ecx)
+fstpl -120(%ecx)
+fldl 0(%ebx)
+fldl 8(%ebx)
+fldl 16(%ebx)
+fldl 24(%ebx)
+fxch %st(3)
+fstl -16(%edx)
+fstpl 56(%esp)
+fldl 32(%ebx)
+fxch %st(2)
+fstl -8(%edx)
+fstpl 64(%esp)
+fldl 40(%ebx)
+fxch %st(1)
+fstl 0(%edx)
+fstpl 72(%esp)
+fldl 48(%ebx)
+fxch %st(3)
+fstl 8(%edx)
+fstpl 80(%esp)
+fldl 56(%ebx)
+fxch %st(2)
+fstl 16(%edx)
+fstpl 88(%esp)
+fldl 64(%ebx)
+fxch %st(1)
+fstl 24(%edx)
+fstpl 96(%esp)
+fldl 72(%ebx)
+fxch %st(3)
+fstl 32(%edx)
+fstpl 104(%esp)
+fxch %st(1)
+fstl 40(%edx)
+fstpl 112(%esp)
+fstl 48(%edx)
+fstpl 120(%esp)
+fstl 56(%edx)
+fstpl -128(%edx)
+movl 8(%esp,%eax),%ebx
+mov  $28,%edi
+mov  $31,%ebp
+movl 28(%ebx),%esi
+rol  $1,%esi
+._morebytes:
+movl %edi,188(%ecx)
+._morebits:
+rol  $1,%esi
+movl %esi,180(%ecx)
+movl %ebp,184(%ecx)
+and  $1,%esi
+movl  $0x43300000,-108(%ecx)
+movl %esi,-112(%ecx)
+fldl -96(%edx)
+fldl 0(%esp)
+fadd %st(0),%st(1)
+fsubl -96(%edx)
+fldl 64(%edx)
+fldl -16(%edx)
+fadd %st(0),%st(1)
+fsubl 64(%edx)
+fldl -88(%edx)
+fldl 8(%esp)
+fadd %st(0),%st(1)
+fsubl -88(%edx)
+fxch %st(5)
+fstpl 0(%esp)
+fxch %st(3)
+fstpl -96(%edx)
+fldl 72(%edx)
+fldl -8(%edx)
+fadd %st(0),%st(1)
+fsubl 72(%edx)
+fxch %st(3)
+fstpl -16(%edx)
+fxch %st(1)
+fstpl 64(%edx)
+fldl -80(%edx)
+fldl 16(%esp)
+fadd %st(0),%st(1)
+fsubl -80(%edx)
+fxch %st(4)
+fstpl 8(%esp)
+fxch %st(4)
+fstpl -88(%edx)
+fldl 80(%edx)
+fldl 0(%edx)
+fadd %st(0),%st(1)
+fsubl 80(%edx)
+fxch %st(2)
+fstpl -8(%edx)
+fxch %st(2)
+fstpl 72(%edx)
+fldl -72(%edx)
+fldl 24(%esp)
+fadd %st(0),%st(1)
+fsubl -72(%edx)
+fxch %st(5)
+fstpl 16(%esp)
+fxch %st(3)
+fstpl -80(%edx)
+fldl 88(%edx)
+fldl 8(%edx)
+fadd %st(0),%st(1)
+fsubl 88(%edx)
+fxch %st(3)
+fstpl 0(%edx)
+fxch %st(1)
+fstpl 80(%edx)
+fldl -64(%edx)
+fldl 32(%esp)
+fadd %st(0),%st(1)
+fsubl -64(%edx)
+fxch %st(4)
+fstpl 24(%esp)
+fxch %st(4)
+fstpl -72(%edx)
+fldl 96(%edx)
+fldl 16(%edx)
+fadd %st(0),%st(1)
+fsubl 96(%edx)
+fxch %st(2)
+fstpl 8(%edx)
+fxch %st(2)
+fstpl 88(%edx)
+fldl -56(%edx)
+fldl 40(%esp)
+fadd %st(0),%st(1)
+fsubl -56(%edx)
+fxch %st(5)
+fstpl 32(%esp)
+fxch %st(3)
+fstpl -64(%edx)
+fldl 104(%edx)
+fldl 24(%edx)
+fadd %st(0),%st(1)
+fsubl 104(%edx)
+fxch %st(3)
+fstpl 16(%edx)
+fxch %st(1)
+fstpl 96(%edx)
+fldl -48(%edx)
+fldl 48(%esp)
+fadd %st(0),%st(1)
+fsubl -48(%edx)
+fxch %st(4)
+fstpl 40(%esp)
+fxch %st(4)
+fstpl -56(%edx)
+fldl 112(%edx)
+fldl 32(%edx)
+fadd %st(0),%st(1)
+fsubl 112(%edx)
+fxch %st(2)
+fstpl 24(%edx)
+fxch %st(2)
+fstpl 104(%edx)
+fldl -40(%edx)
+fldl -120(%edx)
+fadd %st(0),%st(1)
+fsubl -40(%edx)
+fxch %st(5)
+fstpl 48(%esp)
+fxch %st(3)
+fstpl -48(%edx)
+fldl 120(%edx)
+fldl 40(%edx)
+fadd %st(0),%st(1)
+fsubl 120(%edx)
+fxch %st(3)
+fstpl 32(%edx)
+fxch %st(1)
+fstpl 112(%edx)
+fldl -32(%edx)
+fldl -112(%edx)
+fadd %st(0),%st(1)
+fsubl -32(%edx)
+fxch %st(4)
+fstpl -120(%edx)
+fxch %st(4)
+fstpl -40(%edx)
+fldl -128(%ecx)
+fldl 48(%edx)
+fadd %st(0),%st(1)
+fsubl -128(%ecx)
+fxch %st(2)
+fstpl 40(%edx)
+fxch %st(2)
+fstpl 120(%edx)
+fldl -24(%edx)
+fldl -104(%edx)
+fadd %st(0),%st(1)
+fsubl -24(%edx)
+fxch %st(5)
+fstpl -112(%edx)
+fxch %st(3)
+fstpl -32(%edx)
+fldl -120(%ecx)
+fldl 56(%edx)
+fadd %st(0),%st(1)
+fsubl -120(%ecx)
+fxch %st(3)
+fstpl 48(%edx)
+fxch %st(1)
+fstpl -128(%ecx)
+fldl -112(%ecx)
+fsubl crypto_scalarmult_curve25519_athlon_in0offset
+fldl crypto_scalarmult_curve25519_athlon_two0
+fsub %st(1),%st(0)
+fxch %st(4)
+fstpl -104(%edx)
+fxch %st(4)
+fstpl -24(%edx)
+fstpl 56(%edx)
+fstpl -120(%ecx)
+fxch %st(1)
+fstl 136(%ecx)
+fldl 0(%esp)
+fmul %st(2),%st(0)
+fldl -16(%edx)
+fmul %st(2),%st(0)
+faddp %st(0),%st(1)
+fldl 8(%esp)
+fmul %st(3),%st(0)
+fldl -8(%edx)
+fmul %st(3),%st(0)
+faddp %st(0),%st(1)
+fldl 16(%esp)
+fmul %st(4),%st(0)
+fldl 0(%edx)
+fmul %st(4),%st(0)
+faddp %st(0),%st(1)
+fldl 24(%esp)
+fmul %st(5),%st(0)
+fldl 8(%edx)
+fmul %st(5),%st(0)
+faddp %st(0),%st(1)
+fxch %st(3)
+fstpl -112(%ecx)
+fldl 32(%esp)
+fmul %st(5),%st(0)
+fldl 16(%edx)
+fmul %st(5),%st(0)
+faddp %st(0),%st(1)
+fxch %st(2)
+fstpl -104(%ecx)
+fldl 40(%esp)
+fmul %st(5),%st(0)
+fldl 24(%edx)
+fmul %st(5),%st(0)
+faddp %st(0),%st(1)
+fxch %st(1)
+fstpl -96(%ecx)
+fldl 48(%esp)
+fmul %st(5),%st(0)
+fldl 32(%edx)
+fmul %st(5),%st(0)
+faddp %st(0),%st(1)
+fxch %st(3)
+fstpl -88(%ecx)
+fldl -120(%edx)
+fmul %st(5),%st(0)
+fldl 40(%edx)
+fmul %st(5),%st(0)
+faddp %st(0),%st(1)
+fxch %st(2)
+fstpl -80(%ecx)
+fldl -112(%edx)
+fmul %st(5),%st(0)
+fldl 48(%edx)
+fmul %st(5),%st(0)
+faddp %st(0),%st(1)
+fxch %st(1)
+fstpl -72(%ecx)
+fldl -104(%edx)
+fmul %st(5),%st(0)
+fldl 56(%edx)
+fmul %st(5),%st(0)
+faddp %st(0),%st(1)
+fxch %st(3)
+fstpl -64(%ecx)
+fldl -96(%edx)
+fmul %st(5),%st(0)
+fldl 64(%edx)
+fmul %st(5),%st(0)
+faddp %st(0),%st(1)
+fxch %st(2)
+fstpl -56(%ecx)
+fldl -88(%edx)
+fmul %st(5),%st(0)
+fldl 72(%edx)
+fmul %st(5),%st(0)
+faddp %st(0),%st(1)
+fxch %st(1)
+fstpl -48(%ecx)
+fldl -80(%edx)
+fmul %st(5),%st(0)
+fldl 80(%edx)
+fmul %st(5),%st(0)
+faddp %st(0),%st(1)
+fxch %st(3)
+fstpl -40(%ecx)
+fldl -72(%edx)
+fmul %st(5),%st(0)
+fldl 88(%edx)
+fmul %st(5),%st(0)
+faddp %st(0),%st(1)
+fxch %st(2)
+fstpl -32(%ecx)
+fldl -64(%edx)
+fmul %st(5),%st(0)
+fldl 96(%edx)
+fmul %st(5),%st(0)
+faddp %st(0),%st(1)
+fxch %st(1)
+fstpl -24(%ecx)
+fldl -56(%edx)
+fmul %st(5),%st(0)
+fldl 104(%edx)
+fmul %st(5),%st(0)
+faddp %st(0),%st(1)
+fxch %st(3)
+fstpl -16(%ecx)
+fldl -48(%edx)
+fmul %st(5),%st(0)
+fldl 112(%edx)
+fmul %st(5),%st(0)
+faddp %st(0),%st(1)
+fxch %st(2)
+fstpl -8(%ecx)
+fldl -40(%edx)
+fmul %st(5),%st(0)
+fldl 120(%edx)
+fmul %st(5),%st(0)
+faddp %st(0),%st(1)
+fxch %st(1)
+fstpl 0(%ecx)
+fldl -32(%edx)
+fmul %st(5),%st(0)
+fldl -128(%ecx)
+fmul %st(5),%st(0)
+faddp %st(0),%st(1)
+fxch %st(3)
+fstpl 8(%ecx)
+fldl -24(%edx)
+fmulp %st(0),%st(5)
+fldl -120(%ecx)
+fmulp %st(0),%st(4)
+fxch %st(3)
+faddp %st(0),%st(4)
+fstpl 16(%ecx)
+fxch %st(1)
+fstpl 24(%ecx)
+fstpl 32(%ecx)
+fstpl 40(%ecx)
+fldl -24(%edx)
+fmull 56(%edx)
+fmull crypto_scalarmult_curve25519_athlon_scale
+fldl -96(%edx)
+fmull 48(%edx)
+faddp %st(0),%st(1)
+fldl -88(%edx)
+fmull 40(%edx)
+faddp %st(0),%st(1)
+fldl -96(%edx)
+fmull 56(%edx)
+fldl -80(%edx)
+fmull 32(%edx)
+faddp %st(0),%st(2)
+fldl -88(%edx)
+fmull 48(%edx)
+faddp %st(0),%st(1)
+fldl -72(%edx)
+fmull 24(%edx)
+faddp %st(0),%st(2)
+fldl -80(%edx)
+fmull 40(%edx)
+faddp %st(0),%st(1)
+fldl -64(%edx)
+fmull 16(%edx)
+faddp %st(0),%st(2)
+fldl -72(%edx)
+fmull 32(%edx)
+faddp %st(0),%st(1)
+fldl -88(%edx)
+fmull 56(%edx)
+fldl -56(%edx)
+fmull 8(%edx)
+faddp %st(0),%st(3)
+fldl -64(%edx)
+fmull 24(%edx)
+faddp %st(0),%st(2)
+fldl -80(%edx)
+fmull 48(%edx)
+faddp %st(0),%st(1)
+fldl -48(%edx)
+fmull 0(%edx)
+faddp %st(0),%st(3)
+fldl -56(%edx)
+fmull 16(%edx)
+faddp %st(0),%st(2)
+fldl -72(%edx)
+fmull 40(%edx)
+faddp %st(0),%st(1)
+fldl -40(%edx)
+fmull -8(%edx)
+faddp %st(0),%st(3)
+fldl -48(%edx)
+fmull 8(%edx)
+faddp %st(0),%st(2)
+fldl -64(%edx)
+fmull 32(%edx)
+faddp %st(0),%st(1)
+fldl -32(%edx)
+fmull -16(%edx)
+faddp %st(0),%st(3)
+fldl -40(%edx)
+fmull 0(%edx)
+faddp %st(0),%st(2)
+fldl -56(%edx)
+fmull 24(%edx)
+faddp %st(0),%st(1)
+fldl -80(%edx)
+fmull 56(%edx)
+fldl -48(%edx)
+fmull 16(%edx)
+faddp %st(0),%st(2)
+fldl -32(%edx)
+fmull -8(%edx)
+faddp %st(0),%st(3)
+fldl crypto_scalarmult_curve25519_athlon_alpha230
+fadd %st(4),%st(0)
+fldl -72(%edx)
+fmull 48(%edx)
+faddp %st(0),%st(2)
+fldl -40(%edx)
+fmull 8(%edx)
+faddp %st(0),%st(3)
+fldl -24(%edx)
+fmull -16(%edx)
+faddp %st(0),%st(4)
+fsubl crypto_scalarmult_curve25519_athlon_alpha230
+fldl -64(%edx)
+fmull 40(%edx)
+faddp %st(0),%st(2)
+fldl -72(%edx)
+fmull 56(%edx)
+fldl -32(%edx)
+fmull 0(%edx)
+faddp %st(0),%st(4)
+fxch %st(1)
+fadd %st(0),%st(4)
+fldl -56(%edx)
+fmull 32(%edx)
+faddp %st(0),%st(3)
+fldl -64(%edx)
+fmull 48(%edx)
+faddp %st(0),%st(2)
+fsubrp %st(0),%st(5)
+fldl crypto_scalarmult_curve25519_athlon_alpha255
+fadd %st(4),%st(0)
+fldl -48(%edx)
+fmull 24(%edx)
+faddp %st(0),%st(3)
+fldl -56(%edx)
+fmull 40(%edx)
+faddp %st(0),%st(2)
+fldl -24(%edx)
+fmull -8(%edx)
+faddp %st(0),%st(4)
+fsubl crypto_scalarmult_curve25519_athlon_alpha255
+fldl -40(%edx)
+fmull 16(%edx)
+faddp %st(0),%st(3)
+fldl -64(%edx)
+fmull 56(%edx)
+fldl -48(%edx)
+fmull 32(%edx)
+faddp %st(0),%st(3)
+fldl -32(%edx)
+fmull 8(%edx)
+faddp %st(0),%st(4)
+fxch %st(1)
+fadd %st(0),%st(4)
+fsubrp %st(0),%st(5)
+fxch %st(5)
+fstpl 64(%ecx)
+fldl -56(%edx)
+fmull 48(%edx)
+faddp %st(0),%st(5)
+fldl -40(%edx)
+fmull 24(%edx)
+faddp %st(0),%st(1)
+fldl -24(%edx)
+fmull 0(%edx)
+faddp %st(0),%st(2)
+fxch %st(2)
+fmull crypto_scalarmult_curve25519_athlon_scale
+fldl -48(%edx)
+fmull 40(%edx)
+faddp %st(0),%st(5)
+fldl -32(%edx)
+fmull 16(%edx)
+faddp %st(0),%st(3)
+fxch %st(1)
+fmull crypto_scalarmult_curve25519_athlon_scale
+fldl -96(%edx)
+fmull -16(%edx)
+faddp %st(0),%st(2)
+fxch %st(3)
+fstpl 72(%ecx)
+fldl -56(%edx)
+fmull 56(%edx)
+fldl -40(%edx)
+fmull 32(%edx)
+faddp %st(0),%st(5)
+fldl -24(%edx)
+fmull 8(%edx)
+faddp %st(0),%st(3)
+fldl -96(%edx)
+fmull -8(%edx)
+faddp %st(0),%st(4)
+fldl crypto_scalarmult_curve25519_athlon_alpha26
+fadd %st(2),%st(0)
+fldl -48(%edx)
+fmull 48(%edx)
+faddp %st(0),%st(2)
+fldl -32(%edx)
+fmull 24(%edx)
+faddp %st(0),%st(6)
+fxch %st(3)
+fmull crypto_scalarmult_curve25519_athlon_scale
+fldl -88(%edx)
+fmull -16(%edx)
+faddp %st(0),%st(5)
+fxch %st(3)
+fsubl crypto_scalarmult_curve25519_athlon_alpha26
+fldl -40(%edx)
+fmull 40(%edx)
+faddp %st(0),%st(2)
+fldl -24(%edx)
+fmull 16(%edx)
+faddp %st(0),%st(6)
+fldl -96(%edx)
+fmull 0(%edx)
+faddp %st(0),%st(4)
+fadd %st(0),%st(4)
+fsubrp %st(0),%st(2)
+fldl -48(%edx)
+fmull 56(%edx)
+fldl -32(%edx)
+fmull 32(%edx)
+faddp %st(0),%st(2)
+fxch %st(5)
+fmull crypto_scalarmult_curve25519_athlon_scale
+fldl -88(%edx)
+fmull -8(%edx)
+faddp %st(0),%st(4)
+fldl crypto_scalarmult_curve25519_athlon_alpha51
+fadd %st(5),%st(0)
+fldl -40(%edx)
+fmull 48(%edx)
+faddp %st(0),%st(7)
+fldl -24(%edx)
+fmull 24(%edx)
+faddp %st(0),%st(3)
+fldl -96(%edx)
+fmull 8(%edx)
+faddp %st(0),%st(2)
+fldl -80(%edx)
+fmull -16(%edx)
+faddp %st(0),%st(5)
+fsubl crypto_scalarmult_curve25519_athlon_alpha51
+fxch %st(3)
+fstpl 48(%ecx)
+fldl -32(%edx)
+fmull 40(%edx)
+faddp %st(0),%st(6)
+fxch %st(1)
+fmull crypto_scalarmult_curve25519_athlon_scale
+fldl -88(%edx)
+fmull 0(%edx)
+faddp %st(0),%st(2)
+fxch %st(2)
+fadd %st(0),%st(3)
+fsubrp %st(0),%st(4)
+fldl -40(%edx)
+fmull 56(%edx)
+fldl -24(%edx)
+fmull 32(%edx)
+faddp %st(0),%st(6)
+fldl -96(%edx)
+fmull 16(%edx)
+faddp %st(0),%st(3)
+fldl -80(%edx)
+fmull -8(%edx)
+faddp %st(0),%st(2)
+fldl crypto_scalarmult_curve25519_athlon_alpha77
+fadd %st(4),%st(0)
+fldl -32(%edx)
+fmull 48(%edx)
+faddp %st(0),%st(2)
+fxch %st(6)
+fmull crypto_scalarmult_curve25519_athlon_scale
+fldl -88(%edx)
+fmull 8(%edx)
+faddp %st(0),%st(4)
+fldl -72(%edx)
+fmull -16(%edx)
+faddp %st(0),%st(3)
+fxch %st(6)
+fsubl crypto_scalarmult_curve25519_athlon_alpha77
+fxch %st(5)
+fstpl 56(%ecx)
+fldl -24(%edx)
+fmull 40(%edx)
+faddp %st(0),%st(1)
+fldl -96(%edx)
+fmull 24(%edx)
+faddp %st(0),%st(6)
+fldl -80(%edx)
+fmull 0(%edx)
+faddp %st(0),%st(3)
+fxch %st(4)
+fadd %st(0),%st(1)
+fsubrp %st(0),%st(3)
+fldl -32(%edx)
+fmull 56(%edx)
+fxch %st(4)
+fmull crypto_scalarmult_curve25519_athlon_scale
+fldl -88(%edx)
+fmull 16(%edx)
+faddp %st(0),%st(6)
+fldl -72(%edx)
+fmull -8(%edx)
+faddp %st(0),%st(3)
+fldl crypto_scalarmult_curve25519_athlon_alpha102
+fadd %st(2),%st(0)
+fldl -24(%edx)
+fmull 48(%edx)
+faddp %st(0),%st(6)
+fldl -96(%edx)
+fmull 32(%edx)
+faddp %st(0),%st(2)
+fldl -80(%edx)
+fmull 8(%edx)
+faddp %st(0),%st(7)
+fldl -64(%edx)
+fmull -16(%edx)
+faddp %st(0),%st(4)
+fsubl crypto_scalarmult_curve25519_athlon_alpha102
+fxch %st(4)
+fstpl -24(%edx)
+fxch %st(4)
+fmull crypto_scalarmult_curve25519_athlon_scale
+fldl -88(%edx)
+fmull 24(%edx)
+faddp %st(0),%st(5)
+fldl -72(%edx)
+fmull 0(%edx)
+faddp %st(0),%st(6)
+fxch %st(3)
+fadd %st(0),%st(2)
+fsubrp %st(0),%st(1)
+fldl -96(%edx)
+fmull 40(%edx)
+faddp %st(0),%st(3)
+fldl -80(%edx)
+fmull 16(%edx)
+faddp %st(0),%st(4)
+fldl -64(%edx)
+fmull -8(%edx)
+faddp %st(0),%st(5)
+fldl crypto_scalarmult_curve25519_athlon_alpha128
+fadd %st(2),%st(0)
+fldl -88(%edx)
+fmull 32(%edx)
+faddp %st(0),%st(4)
+fldl -72(%edx)
+fmull 8(%edx)
+faddp %st(0),%st(5)
+fldl -56(%edx)
+fmull -16(%edx)
+faddp %st(0),%st(6)
+fsubl crypto_scalarmult_curve25519_athlon_alpha128
+fxch %st(1)
+fstpl -96(%edx)
+fldl -80(%edx)
+fmull 24(%edx)
+faddp %st(0),%st(3)
+fldl -64(%edx)
+fmull 0(%edx)
+faddp %st(0),%st(4)
+fadd %st(0),%st(4)
+fsubrp %st(0),%st(1)
+fstpl -88(%edx)
+fldl -72(%edx)
+fmull 16(%edx)
+faddp %st(0),%st(1)
+fldl -56(%edx)
+fmull -8(%edx)
+faddp %st(0),%st(2)
+fldl crypto_scalarmult_curve25519_athlon_alpha153
+fadd %st(3),%st(0)
+fldl -64(%edx)
+fmull 8(%edx)
+faddp %st(0),%st(2)
+fldl -48(%edx)
+fmull -16(%edx)
+faddp %st(0),%st(3)
+fsubl crypto_scalarmult_curve25519_athlon_alpha153
+fldl -56(%edx)
+fmull 0(%edx)
+faddp %st(0),%st(2)
+fadd %st(0),%st(2)
+fsubrp %st(0),%st(3)
+fxch %st(2)
+fstpl -80(%edx)
+fldl -48(%edx)
+fmull -8(%edx)
+faddp %st(0),%st(2)
+fldl crypto_scalarmult_curve25519_athlon_alpha179
+fadd %st(1),%st(0)
+fldl -40(%edx)
+fmull -16(%edx)
+faddp %st(0),%st(3)
+fsubl crypto_scalarmult_curve25519_athlon_alpha179
+fldl 64(%ecx)
+fldl 72(%ecx)
+fxch %st(2)
+fadd %st(0),%st(4)
+fsubrp %st(0),%st(3)
+fldl crypto_scalarmult_curve25519_athlon_alpha204
+fadd %st(4),%st(0)
+fsubl crypto_scalarmult_curve25519_athlon_alpha204
+fadd %st(0),%st(1)
+fsubrp %st(0),%st(4)
+fldl crypto_scalarmult_curve25519_athlon_alpha230
+fadd %st(1),%st(0)
+fsubl crypto_scalarmult_curve25519_athlon_alpha230
+fsubr %st(0),%st(1)
+faddp %st(0),%st(2)
+fxch %st(2)
+fstpl -72(%edx)
+fxch %st(2)
+fstpl -64(%edx)
+fstpl -56(%edx)
+fstpl -48(%edx)
+fldl -104(%edx)
+fmull -120(%ecx)
+fmull crypto_scalarmult_curve25519_athlon_scale
+fldl 0(%esp)
+fmull -128(%ecx)
+faddp %st(0),%st(1)
+fldl 8(%esp)
+fmull 120(%edx)
+faddp %st(0),%st(1)
+fldl 0(%esp)
+fmull -120(%ecx)
+fldl 16(%esp)
+fmull 112(%edx)
+faddp %st(0),%st(2)
+fldl 8(%esp)
+fmull -128(%ecx)
+faddp %st(0),%st(1)
+fldl 24(%esp)
+fmull 104(%edx)
+faddp %st(0),%st(2)
+fldl 16(%esp)
+fmull 120(%edx)
+faddp %st(0),%st(1)
+fldl 32(%esp)
+fmull 96(%edx)
+faddp %st(0),%st(2)
+fldl 24(%esp)
+fmull 112(%edx)
+faddp %st(0),%st(1)
+fldl 8(%esp)
+fmull -120(%ecx)
+fldl 40(%esp)
+fmull 88(%edx)
+faddp %st(0),%st(3)
+fldl 32(%esp)
+fmull 104(%edx)
+faddp %st(0),%st(2)
+fldl 16(%esp)
+fmull -128(%ecx)
+faddp %st(0),%st(1)
+fldl 48(%esp)
+fmull 80(%edx)
+faddp %st(0),%st(3)
+fldl 40(%esp)
+fmull 96(%edx)
+faddp %st(0),%st(2)
+fldl 24(%esp)
+fmull 120(%edx)
+faddp %st(0),%st(1)
+fldl -120(%edx)
+fmull 72(%edx)
+faddp %st(0),%st(3)
+fldl 48(%esp)
+fmull 88(%edx)
+faddp %st(0),%st(2)
+fldl 32(%esp)
+fmull 112(%edx)
+faddp %st(0),%st(1)
+fldl -112(%edx)
+fmull 64(%edx)
+faddp %st(0),%st(3)
+fldl -120(%edx)
+fmull 80(%edx)
+faddp %st(0),%st(2)
+fldl 40(%esp)
+fmull 104(%edx)
+faddp %st(0),%st(1)
+fldl 16(%esp)
+fmull -120(%ecx)
+fldl 48(%esp)
+fmull 96(%edx)
+faddp %st(0),%st(2)
+fldl -112(%edx)
+fmull 72(%edx)
+faddp %st(0),%st(3)
+fldl crypto_scalarmult_curve25519_athlon_alpha230
+fadd %st(4),%st(0)
+fldl 24(%esp)
+fmull -128(%ecx)
+faddp %st(0),%st(2)
+fldl -120(%edx)
+fmull 88(%edx)
+faddp %st(0),%st(3)
+fldl -104(%edx)
+fmull 64(%edx)
+faddp %st(0),%st(4)
+fsubl crypto_scalarmult_curve25519_athlon_alpha230
+fldl 32(%esp)
+fmull 120(%edx)
+faddp %st(0),%st(2)
+fldl 24(%esp)
+fmull -120(%ecx)
+fldl -112(%edx)
+fmull 80(%edx)
+faddp %st(0),%st(4)
+fxch %st(1)
+fadd %st(0),%st(4)
+fldl 40(%esp)
+fmull 112(%edx)
+faddp %st(0),%st(3)
+fldl 32(%esp)
+fmull -128(%ecx)
+faddp %st(0),%st(2)
+fsubrp %st(0),%st(5)
+fldl crypto_scalarmult_curve25519_athlon_alpha255
+fadd %st(4),%st(0)
+fldl 48(%esp)
+fmull 104(%edx)
+faddp %st(0),%st(3)
+fldl 40(%esp)
+fmull 120(%edx)
+faddp %st(0),%st(2)
+fldl -104(%edx)
+fmull 72(%edx)
+faddp %st(0),%st(4)
+fsubl crypto_scalarmult_curve25519_athlon_alpha255
+fldl -120(%edx)
+fmull 96(%edx)
+faddp %st(0),%st(3)
+fldl 32(%esp)
+fmull -120(%ecx)
+fldl 48(%esp)
+fmull 112(%edx)
+faddp %st(0),%st(3)
+fldl -112(%edx)
+fmull 88(%edx)
+faddp %st(0),%st(4)
+fxch %st(1)
+fadd %st(0),%st(4)
+fsubrp %st(0),%st(5)
+fxch %st(5)
+fstpl 8(%edx)
+fldl 40(%esp)
+fmull -128(%ecx)
+faddp %st(0),%st(5)
+fldl -120(%edx)
+fmull 104(%edx)
+faddp %st(0),%st(1)
+fldl -104(%edx)
+fmull 80(%edx)
+faddp %st(0),%st(2)
+fxch %st(2)
+fmull crypto_scalarmult_curve25519_athlon_scale
+fldl 48(%esp)
+fmull 120(%edx)
+faddp %st(0),%st(5)
+fldl -112(%edx)
+fmull 96(%edx)
+faddp %st(0),%st(3)
+fxch %st(1)
+fmull crypto_scalarmult_curve25519_athlon_scale
+fldl 0(%esp)
+fmull 64(%edx)
+faddp %st(0),%st(2)
+fxch %st(3)
+fstpl 16(%edx)
+fldl 40(%esp)
+fmull -120(%ecx)
+fldl -120(%edx)
+fmull 112(%edx)
+faddp %st(0),%st(5)
+fldl -104(%edx)
+fmull 88(%edx)
+faddp %st(0),%st(3)
+fldl 0(%esp)
+fmull 72(%edx)
+faddp %st(0),%st(4)
+fldl crypto_scalarmult_curve25519_athlon_alpha26
+fadd %st(2),%st(0)
+fldl 48(%esp)
+fmull -128(%ecx)
+faddp %st(0),%st(2)
+fldl -112(%edx)
+fmull 104(%edx)
+faddp %st(0),%st(6)
+fxch %st(3)
+fmull crypto_scalarmult_curve25519_athlon_scale
+fldl 8(%esp)
+fmull 64(%edx)
+faddp %st(0),%st(5)
+fxch %st(3)
+fsubl crypto_scalarmult_curve25519_athlon_alpha26
+fldl -120(%edx)
+fmull 120(%edx)
+faddp %st(0),%st(2)
+fldl -104(%edx)
+fmull 96(%edx)
+faddp %st(0),%st(6)
+fldl 0(%esp)
+fmull 80(%edx)
+faddp %st(0),%st(4)
+fadd %st(0),%st(4)
+fsubrp %st(0),%st(2)
+fldl 48(%esp)
+fmull -120(%ecx)
+fldl -112(%edx)
+fmull 112(%edx)
+faddp %st(0),%st(2)
+fxch %st(5)
+fmull crypto_scalarmult_curve25519_athlon_scale
+fldl 8(%esp)
+fmull 72(%edx)
+faddp %st(0),%st(4)
+fldl crypto_scalarmult_curve25519_athlon_alpha51
+fadd %st(5),%st(0)
+fldl -120(%edx)
+fmull -128(%ecx)
+faddp %st(0),%st(7)
+fldl -104(%edx)
+fmull 104(%edx)
+faddp %st(0),%st(3)
+fldl 0(%esp)
+fmull 88(%edx)
+faddp %st(0),%st(2)
+fldl 16(%esp)
+fmull 64(%edx)
+faddp %st(0),%st(5)
+fsubl crypto_scalarmult_curve25519_athlon_alpha51
+fxch %st(3)
+fstpl -40(%edx)
+fldl -112(%edx)
+fmull 120(%edx)
+faddp %st(0),%st(6)
+fxch %st(1)
+fmull crypto_scalarmult_curve25519_athlon_scale
+fldl 8(%esp)
+fmull 80(%edx)
+faddp %st(0),%st(2)
+fxch %st(2)
+fadd %st(0),%st(3)
+fsubrp %st(0),%st(4)
+fldl -120(%edx)
+fmull -120(%ecx)
+fldl -104(%edx)
+fmull 112(%edx)
+faddp %st(0),%st(6)
+fldl 0(%esp)
+fmull 96(%edx)
+faddp %st(0),%st(3)
+fldl 16(%esp)
+fmull 72(%edx)
+faddp %st(0),%st(2)
+fldl crypto_scalarmult_curve25519_athlon_alpha77
+fadd %st(4),%st(0)
+fldl -112(%edx)
+fmull -128(%ecx)
+faddp %st(0),%st(2)
+fxch %st(6)
+fmull crypto_scalarmult_curve25519_athlon_scale
+fldl 8(%esp)
+fmull 88(%edx)
+faddp %st(0),%st(4)
+fldl 24(%esp)
+fmull 64(%edx)
+faddp %st(0),%st(3)
+fxch %st(6)
+fsubl crypto_scalarmult_curve25519_athlon_alpha77
+fxch %st(5)
+fstpl -32(%edx)
+fldl -104(%edx)
+fmull 120(%edx)
+faddp %st(0),%st(1)
+fldl 0(%esp)
+fmull 104(%edx)
+faddp %st(0),%st(6)
+fldl 16(%esp)
+fmull 80(%edx)
+faddp %st(0),%st(3)
+fxch %st(4)
+fadd %st(0),%st(1)
+fsubrp %st(0),%st(3)
+fldl -112(%edx)
+fmull -120(%ecx)
+fxch %st(4)
+fmull crypto_scalarmult_curve25519_athlon_scale
+fldl 8(%esp)
+fmull 96(%edx)
+faddp %st(0),%st(6)
+fldl 24(%esp)
+fmull 72(%edx)
+faddp %st(0),%st(3)
+fldl crypto_scalarmult_curve25519_athlon_alpha102
+fadd %st(2),%st(0)
+fldl -104(%edx)
+fmull -128(%ecx)
+faddp %st(0),%st(6)
+fldl 0(%esp)
+fmull 112(%edx)
+faddp %st(0),%st(2)
+fldl 16(%esp)
+fmull 88(%edx)
+faddp %st(0),%st(7)
+fldl 32(%esp)
+fmull 64(%edx)
+faddp %st(0),%st(4)
+fsubl crypto_scalarmult_curve25519_athlon_alpha102
+fxch %st(4)
+fstpl -104(%edx)
+fxch %st(4)
+fmull crypto_scalarmult_curve25519_athlon_scale
+fldl 8(%esp)
+fmull 104(%edx)
+faddp %st(0),%st(5)
+fldl 24(%esp)
+fmull 80(%edx)
+faddp %st(0),%st(6)
+fxch %st(3)
+fadd %st(0),%st(2)
+fsubrp %st(0),%st(1)
+fldl 0(%esp)
+fmull 120(%edx)
+faddp %st(0),%st(3)
+fldl 16(%esp)
+fmull 96(%edx)
+faddp %st(0),%st(4)
+fldl 32(%esp)
+fmull 72(%edx)
+faddp %st(0),%st(5)
+fldl crypto_scalarmult_curve25519_athlon_alpha128
+fadd %st(2),%st(0)
+fldl 8(%esp)
+fmull 112(%edx)
+faddp %st(0),%st(4)
+fldl 24(%esp)
+fmull 88(%edx)
+faddp %st(0),%st(5)
+fldl 40(%esp)
+fmull 64(%edx)
+faddp %st(0),%st(6)
+fsubl crypto_scalarmult_curve25519_athlon_alpha128
+fxch %st(1)
+fstpl -16(%edx)
+fldl 16(%esp)
+fmull 104(%edx)
+faddp %st(0),%st(3)
+fldl 32(%esp)
+fmull 80(%edx)
+faddp %st(0),%st(4)
+fadd %st(0),%st(4)
+fsubrp %st(0),%st(1)
+fstpl -8(%edx)
+fldl 24(%esp)
+fmull 96(%edx)
+faddp %st(0),%st(1)
+fldl 40(%esp)
+fmull 72(%edx)
+faddp %st(0),%st(2)
+fldl crypto_scalarmult_curve25519_athlon_alpha153
+fadd %st(3),%st(0)
+fldl 32(%esp)
+fmull 88(%edx)
+faddp %st(0),%st(2)
+fldl 48(%esp)
+fmull 64(%edx)
+faddp %st(0),%st(3)
+fsubl crypto_scalarmult_curve25519_athlon_alpha153
+fldl 40(%esp)
+fmull 80(%edx)
+faddp %st(0),%st(2)
+fadd %st(0),%st(2)
+fsubrp %st(0),%st(3)
+fxch %st(2)
+fstpl 0(%edx)
+fldl 48(%esp)
+fmull 72(%edx)
+faddp %st(0),%st(2)
+fldl crypto_scalarmult_curve25519_athlon_alpha179
+fadd %st(1),%st(0)
+fldl -120(%edx)
+fmull 64(%edx)
+faddp %st(0),%st(3)
+fsubl crypto_scalarmult_curve25519_athlon_alpha179
+fldl 8(%edx)
+fldl 16(%edx)
+fxch %st(2)
+fadd %st(0),%st(4)
+fsubrp %st(0),%st(3)
+fldl crypto_scalarmult_curve25519_athlon_alpha204
+fadd %st(4),%st(0)
+fsubl crypto_scalarmult_curve25519_athlon_alpha204
+fadd %st(0),%st(1)
+fsubrp %st(0),%st(4)
+fldl crypto_scalarmult_curve25519_athlon_alpha230
+fadd %st(1),%st(0)
+fsubl crypto_scalarmult_curve25519_athlon_alpha230
+fsubr %st(0),%st(1)
+faddp %st(0),%st(2)
+fxch %st(2)
+fstpl 8(%edx)
+fxch %st(2)
+fstpl 16(%edx)
+fstpl 24(%edx)
+fstpl 32(%edx)
+fldl -40(%ecx)
+fmul %st(0),%st(0)
+fldl -112(%ecx)
+fadd %st(0),%st(0)
+fldl -104(%ecx)
+fadd %st(0),%st(0)
+fldl -96(%ecx)
+fadd %st(0),%st(0)
+fldl -56(%ecx)
+fxch %st(4)
+fmull crypto_scalarmult_curve25519_athlon_scale
+fldl -40(%ecx)
+fmul %st(4),%st(0)
+fldl -48(%ecx)
+fmul %st(4),%st(0)
+faddp %st(0),%st(1)
+fxch %st(4)
+fstl 0(%esp)
+fxch %st(3)
+fstl 8(%esp)
+fxch %st(3)
+fmull -48(%ecx)
+faddp %st(0),%st(1)
+fldl -64(%ecx)
+fxch %st(5)
+fmul %st(0),%st(3)
+fxch %st(3)
+faddp %st(0),%st(1)
+fxch %st(2)
+fadd %st(0),%st(0)
+fldl -56(%ecx)
+fmul %st(2),%st(0)
+faddp %st(0),%st(4)
+fxch %st(1)
+fstl 16(%esp)
+fldl -72(%ecx)
+fxch %st(5)
+fmul %st(0),%st(1)
+fxch %st(1)
+faddp %st(0),%st(3)
+fadd %st(0),%st(0)
+fstpl 48(%esp)
+fldl -88(%ecx)
+fadd %st(0),%st(0)
+fstl 24(%esp)
+fldl -64(%ecx)
+fmul %st(1),%st(0)
+faddp %st(0),%st(4)
+fmul %st(4),%st(0)
+faddp %st(0),%st(2)
+fxch %st(3)
+fadd %st(0),%st(0)
+fstpl 40(%esp)
+fldl -80(%ecx)
+fmul %st(0),%st(0)
+faddp %st(0),%st(1)
+fldl crypto_scalarmult_curve25519_athlon_alpha230
+fadd %st(1),%st(0)
+fsubl crypto_scalarmult_curve25519_athlon_alpha230
+fsubr %st(0),%st(1)
+fldl 8(%esp)
+fldl -40(%ecx)
+fmul %st(0),%st(1)
+fldl 16(%esp)
+fmul %st(0),%st(1)
+fldl -48(%ecx)
+fmul %st(0),%st(1)
+fxch %st(1)
+faddp %st(0),%st(3)
+fldl 24(%esp)
+fmul %st(0),%st(1)
+fxch %st(1)
+faddp %st(0),%st(2)
+fldl -80(%ecx)
+fadd %st(0),%st(0)
+fstl 32(%esp)
+fmull -72(%ecx)
+faddp %st(0),%st(6)
+fxch %st(3)
+faddp %st(0),%st(5)
+fldl crypto_scalarmult_curve25519_athlon_alpha255
+fadd %st(5),%st(0)
+fsubl crypto_scalarmult_curve25519_athlon_alpha255
+fsubr %st(0),%st(5)
+fldl -56(%ecx)
+fmul %st(0),%st(4)
+fxch %st(4)
+faddp %st(0),%st(3)
+fldl 32(%esp)
+fmul %st(0),%st(4)
+fxch %st(4)
+faddp %st(0),%st(2)
+fldl -64(%ecx)
+fmul %st(0),%st(4)
+fxch %st(4)
+faddp %st(0),%st(3)
+fxch %st(3)
+fmull 40(%esp)
+faddp %st(0),%st(1)
+fxch %st(3)
+fstpl -120(%edx)
+fldl -72(%ecx)
+fmul %st(0),%st(0)
+faddp %st(0),%st(1)
+fxch %st(2)
+fmull crypto_scalarmult_curve25519_athlon_scale
+fxch %st(3)
+fstpl -112(%edx)
+faddp %st(0),%st(1)
+fmull crypto_scalarmult_curve25519_athlon_scale
+fldl 24(%esp)
+fmull -40(%ecx)
+fldl -112(%ecx)
+fmul %st(0),%st(0)
+faddp %st(0),%st(2)
+fldl 32(%esp)
+fmull -48(%ecx)
+faddp %st(0),%st(1)
+fldl 0(%esp)
+fmull -104(%ecx)
+faddp %st(0),%st(3)
+fldl 40(%esp)
+fmull -56(%ecx)
+faddp %st(0),%st(1)
+fldl crypto_scalarmult_curve25519_athlon_alpha26
+fadd %st(2),%st(0)
+fsubl crypto_scalarmult_curve25519_athlon_alpha26
+fsubr %st(0),%st(2)
+faddp %st(0),%st(3)
+fldl crypto_scalarmult_curve25519_athlon_alpha51
+fadd %st(3),%st(0)
+fsubl crypto_scalarmult_curve25519_athlon_alpha51
+fsubr %st(0),%st(3)
+fldl -64(%ecx)
+fmul %st(0),%st(0)
+faddp %st(0),%st(2)
+fxch %st(1)
+fmull crypto_scalarmult_curve25519_athlon_scale
+fldl 0(%esp)
+fmull -96(%ecx)
+faddp %st(0),%st(1)
+fldl -104(%ecx)
+fmul %st(0),%st(0)
+faddp %st(0),%st(1)
+faddp %st(0),%st(1)
+fldl crypto_scalarmult_curve25519_athlon_alpha77
+fadd %st(1),%st(0)
+fsubl crypto_scalarmult_curve25519_athlon_alpha77
+fsubr %st(0),%st(1)
+fxch %st(2)
+fstpl 64(%edx)
+fldl 32(%esp)
+fmull -40(%ecx)
+fldl 40(%esp)
+fmull -48(%ecx)
+faddp %st(0),%st(1)
+fldl 48(%esp)
+fmull -56(%ecx)
+faddp %st(0),%st(1)
+fmull crypto_scalarmult_curve25519_athlon_scale
+fldl 0(%esp)
+fmull -88(%ecx)
+faddp %st(0),%st(1)
+fldl 8(%esp)
+fmull -96(%ecx)
+faddp %st(0),%st(1)
+faddp %st(0),%st(2)
+fldl crypto_scalarmult_curve25519_athlon_alpha102
+fadd %st(2),%st(0)
+fsubl crypto_scalarmult_curve25519_athlon_alpha102
+fsubr %st(0),%st(2)
+fxch %st(3)
+fstpl 72(%edx)
+fldl 40(%esp)
+fmull -40(%ecx)
+fldl 48(%esp)
+fmull -48(%ecx)
+faddp %st(0),%st(1)
+fldl -56(%ecx)
+fmul %st(0),%st(0)
+faddp %st(0),%st(1)
+fmull crypto_scalarmult_curve25519_athlon_scale
+fldl 0(%esp)
+fmull -80(%ecx)
+faddp %st(0),%st(1)
+fldl 8(%esp)
+fmull -88(%ecx)
+faddp %st(0),%st(1)
+fldl -96(%ecx)
+fmul %st(0),%st(0)
+faddp %st(0),%st(1)
+faddp %st(0),%st(3)
+fldl crypto_scalarmult_curve25519_athlon_alpha128
+fadd %st(3),%st(0)
+fsubl crypto_scalarmult_curve25519_athlon_alpha128
+fsubr %st(0),%st(3)
+fxch %st(1)
+fstpl 80(%edx)
+fldl 48(%esp)
+fldl -40(%ecx)
+fmul %st(0),%st(1)
+fmul %st(5),%st(0)
+fxch %st(5)
+fmull -48(%ecx)
+faddp %st(0),%st(1)
+fmull crypto_scalarmult_curve25519_athlon_scale
+fldl 0(%esp)
+fmull -72(%ecx)
+faddp %st(0),%st(1)
+fldl 8(%esp)
+fmull -80(%ecx)
+faddp %st(0),%st(1)
+fldl 16(%esp)
+fmull -88(%ecx)
+faddp %st(0),%st(1)
+faddp %st(0),%st(1)
+fldl crypto_scalarmult_curve25519_athlon_alpha153
+fadd %st(1),%st(0)
+fsubl crypto_scalarmult_curve25519_athlon_alpha153
+fsubr %st(0),%st(1)
+fxch %st(2)
+fstpl 88(%edx)
+fldl -48(%ecx)
+fmul %st(0),%st(0)
+faddp %st(0),%st(4)
+fxch %st(3)
+fmull crypto_scalarmult_curve25519_athlon_scale
+fldl 0(%esp)
+fmull -64(%ecx)
+faddp %st(0),%st(1)
+fldl 8(%esp)
+fmull -72(%ecx)
+faddp %st(0),%st(1)
+fldl 16(%esp)
+fmull -80(%ecx)
+faddp %st(0),%st(1)
+fldl -88(%ecx)
+fmul %st(0),%st(0)
+faddp %st(0),%st(1)
+faddp %st(0),%st(1)
+fldl crypto_scalarmult_curve25519_athlon_alpha179
+fadd %st(1),%st(0)
+fsubl crypto_scalarmult_curve25519_athlon_alpha179
+fsubr %st(0),%st(1)
+fldl -48(%ecx)
+fadd %st(0),%st(0)
+fmull -40(%ecx)
+fmull crypto_scalarmult_curve25519_athlon_scale
+fldl 0(%esp)
+fmull -56(%ecx)
+faddp %st(0),%st(1)
+fldl 8(%esp)
+fmull -64(%ecx)
+faddp %st(0),%st(1)
+fldl 16(%esp)
+fmull -72(%ecx)
+faddp %st(0),%st(1)
+fldl 24(%esp)
+fmull -80(%ecx)
+faddp %st(0),%st(1)
+faddp %st(0),%st(1)
+fldl crypto_scalarmult_curve25519_athlon_alpha204
+fadd %st(1),%st(0)
+fsubl crypto_scalarmult_curve25519_athlon_alpha204
+fsubr %st(0),%st(1)
+fldl -120(%edx)
+faddp %st(0),%st(1)
+fldl crypto_scalarmult_curve25519_athlon_alpha230
+fadd %st(1),%st(0)
+fldl -112(%edx)
+fxch %st(1)
+fsubl crypto_scalarmult_curve25519_athlon_alpha230
+fsubr %st(0),%st(2)
+faddp %st(0),%st(1)
+fxch %st(4)
+fstpl 96(%edx)
+fxch %st(4)
+fstpl 104(%edx)
+fxch %st(1)
+fstpl 112(%edx)
+fstpl 120(%edx)
+fxch %st(1)
+fstpl -128(%ecx)
+fstpl -120(%ecx)
+fldl 40(%ecx)
+fmul %st(0),%st(0)
+fldl -32(%ecx)
+fadd %st(0),%st(0)
+fldl -24(%ecx)
+fadd %st(0),%st(0)
+fldl -16(%ecx)
+fadd %st(0),%st(0)
+fldl 24(%ecx)
+fxch %st(4)
+fmull crypto_scalarmult_curve25519_athlon_scale
+fldl 40(%ecx)
+fmul %st(4),%st(0)
+fldl 32(%ecx)
+fmul %st(4),%st(0)
+faddp %st(0),%st(1)
+fxch %st(4)
+fstl 0(%esp)
+fxch %st(3)
+fstl 8(%esp)
+fxch %st(3)
+fmull 32(%ecx)
+faddp %st(0),%st(1)
+fldl 16(%ecx)
+fxch %st(5)
+fmul %st(0),%st(3)
+fxch %st(3)
+faddp %st(0),%st(1)
+fxch %st(2)
+fadd %st(0),%st(0)
+fldl 24(%ecx)
+fmul %st(2),%st(0)
+faddp %st(0),%st(4)
+fxch %st(1)
+fstl 16(%esp)
+fldl 8(%ecx)
+fxch %st(5)
+fmul %st(0),%st(1)
+fxch %st(1)
+faddp %st(0),%st(3)
+fadd %st(0),%st(0)
+fstpl 48(%esp)
+fldl -8(%ecx)
+fadd %st(0),%st(0)
+fstl 24(%esp)
+fldl 16(%ecx)
+fmul %st(1),%st(0)
+faddp %st(0),%st(4)
+fmul %st(4),%st(0)
+faddp %st(0),%st(2)
+fxch %st(3)
+fadd %st(0),%st(0)
+fstpl 40(%esp)
+fldl 0(%ecx)
+fmul %st(0),%st(0)
+faddp %st(0),%st(1)
+fldl crypto_scalarmult_curve25519_athlon_alpha230
+fadd %st(1),%st(0)
+fsubl crypto_scalarmult_curve25519_athlon_alpha230
+fsubr %st(0),%st(1)
+fldl 8(%esp)
+fldl 40(%ecx)
+fmul %st(0),%st(1)
+fldl 16(%esp)
+fmul %st(0),%st(1)
+fldl 32(%ecx)
+fmul %st(0),%st(1)
+fxch %st(1)
+faddp %st(0),%st(3)
+fldl 24(%esp)
+fmul %st(0),%st(1)
+fxch %st(1)
+faddp %st(0),%st(2)
+fldl 0(%ecx)
+fadd %st(0),%st(0)
+fstl 32(%esp)
+fmull 8(%ecx)
+faddp %st(0),%st(6)
+fxch %st(3)
+faddp %st(0),%st(5)
+fldl crypto_scalarmult_curve25519_athlon_alpha255
+fadd %st(5),%st(0)
+fsubl crypto_scalarmult_curve25519_athlon_alpha255
+fsubr %st(0),%st(5)
+fldl 24(%ecx)
+fmul %st(0),%st(4)
+fxch %st(4)
+faddp %st(0),%st(3)
+fldl 32(%esp)
+fmul %st(0),%st(4)
+fxch %st(4)
+faddp %st(0),%st(2)
+fldl 16(%ecx)
+fmul %st(0),%st(4)
+fxch %st(4)
+faddp %st(0),%st(3)
+fxch %st(3)
+fmull 40(%esp)
+faddp %st(0),%st(1)
+fxch %st(3)
+fstpl -120(%edx)
+fldl 8(%ecx)
+fmul %st(0),%st(0)
+faddp %st(0),%st(1)
+fxch %st(2)
+fmull crypto_scalarmult_curve25519_athlon_scale
+fxch %st(3)
+fstpl -112(%edx)
+faddp %st(0),%st(1)
+fmull crypto_scalarmult_curve25519_athlon_scale
+fldl 24(%esp)
+fmull 40(%ecx)
+fldl -32(%ecx)
+fmul %st(0),%st(0)
+faddp %st(0),%st(2)
+fldl 32(%esp)
+fmull 32(%ecx)
+faddp %st(0),%st(1)
+fldl 0(%esp)
+fmull -24(%ecx)
+faddp %st(0),%st(3)
+fldl 40(%esp)
+fmull 24(%ecx)
+faddp %st(0),%st(1)
+fldl crypto_scalarmult_curve25519_athlon_alpha26
+fadd %st(2),%st(0)
+fsubl crypto_scalarmult_curve25519_athlon_alpha26
+fsubr %st(0),%st(2)
+faddp %st(0),%st(3)
+fldl crypto_scalarmult_curve25519_athlon_alpha51
+fadd %st(3),%st(0)
+fsubl crypto_scalarmult_curve25519_athlon_alpha51
+fsubr %st(0),%st(3)
+fldl 16(%ecx)
+fmul %st(0),%st(0)
+faddp %st(0),%st(2)
+fxch %st(1)
+fmull crypto_scalarmult_curve25519_athlon_scale
+fldl 0(%esp)
+fmull -16(%ecx)
+faddp %st(0),%st(1)
+fldl -24(%ecx)
+fmul %st(0),%st(0)
+faddp %st(0),%st(1)
+faddp %st(0),%st(1)
+fldl crypto_scalarmult_curve25519_athlon_alpha77
+fadd %st(1),%st(0)
+fsubl crypto_scalarmult_curve25519_athlon_alpha77
+fsubr %st(0),%st(1)
+fxch %st(2)
+fstpl -112(%ecx)
+fldl 32(%esp)
+fmull 40(%ecx)
+fldl 40(%esp)
+fmull 32(%ecx)
+faddp %st(0),%st(1)
+fldl 48(%esp)
+fmull 24(%ecx)
+faddp %st(0),%st(1)
+fmull crypto_scalarmult_curve25519_athlon_scale
+fldl 0(%esp)
+fmull -8(%ecx)
+faddp %st(0),%st(1)
+fldl 8(%esp)
+fmull -16(%ecx)
+faddp %st(0),%st(1)
+faddp %st(0),%st(2)
+fldl crypto_scalarmult_curve25519_athlon_alpha102
+fadd %st(2),%st(0)
+fsubl crypto_scalarmult_curve25519_athlon_alpha102
+fsubr %st(0),%st(2)
+fxch %st(3)
+fstpl -104(%ecx)
+fldl 40(%esp)
+fmull 40(%ecx)
+fldl 48(%esp)
+fmull 32(%ecx)
+faddp %st(0),%st(1)
+fldl 24(%ecx)
+fmul %st(0),%st(0)
+faddp %st(0),%st(1)
+fmull crypto_scalarmult_curve25519_athlon_scale
+fldl 0(%esp)
+fmull 0(%ecx)
+faddp %st(0),%st(1)
+fldl 8(%esp)
+fmull -8(%ecx)
+faddp %st(0),%st(1)
+fldl -16(%ecx)
+fmul %st(0),%st(0)
+faddp %st(0),%st(1)
+faddp %st(0),%st(3)
+fldl crypto_scalarmult_curve25519_athlon_alpha128
+fadd %st(3),%st(0)
+fsubl crypto_scalarmult_curve25519_athlon_alpha128
+fsubr %st(0),%st(3)
+fxch %st(1)
+fstpl -96(%ecx)
+fldl 48(%esp)
+fldl 40(%ecx)
+fmul %st(0),%st(1)
+fmul %st(5),%st(0)
+fxch %st(5)
+fmull 32(%ecx)
+faddp %st(0),%st(1)
+fmull crypto_scalarmult_curve25519_athlon_scale
+fldl 0(%esp)
+fmull 8(%ecx)
+faddp %st(0),%st(1)
+fldl 8(%esp)
+fmull 0(%ecx)
+faddp %st(0),%st(1)
+fldl 16(%esp)
+fmull -8(%ecx)
+faddp %st(0),%st(1)
+faddp %st(0),%st(1)
+fldl crypto_scalarmult_curve25519_athlon_alpha153
+fadd %st(1),%st(0)
+fsubl crypto_scalarmult_curve25519_athlon_alpha153
+fsubr %st(0),%st(1)
+fxch %st(2)
+fstpl -88(%ecx)
+fldl 32(%ecx)
+fmul %st(0),%st(0)
+faddp %st(0),%st(4)
+fxch %st(3)
+fmull crypto_scalarmult_curve25519_athlon_scale
+fldl 0(%esp)
+fmull 16(%ecx)
+faddp %st(0),%st(1)
+fldl 8(%esp)
+fmull 8(%ecx)
+faddp %st(0),%st(1)
+fldl 16(%esp)
+fmull 0(%ecx)
+faddp %st(0),%st(1)
+fldl -8(%ecx)
+fmul %st(0),%st(0)
+faddp %st(0),%st(1)
+faddp %st(0),%st(1)
+fldl crypto_scalarmult_curve25519_athlon_alpha179
+fadd %st(1),%st(0)
+fsubl crypto_scalarmult_curve25519_athlon_alpha179
+fsubr %st(0),%st(1)
+fldl 32(%ecx)
+fadd %st(0),%st(0)
+fmull 40(%ecx)
+fmull crypto_scalarmult_curve25519_athlon_scale
+fldl 0(%esp)
+fmull 24(%ecx)
+faddp %st(0),%st(1)
+fldl 8(%esp)
+fmull 16(%ecx)
+faddp %st(0),%st(1)
+fldl 16(%esp)
+fmull 8(%ecx)
+faddp %st(0),%st(1)
+fldl 24(%esp)
+fmull 0(%ecx)
+faddp %st(0),%st(1)
+faddp %st(0),%st(1)
+fldl crypto_scalarmult_curve25519_athlon_alpha204
+fadd %st(1),%st(0)
+fsubl crypto_scalarmult_curve25519_athlon_alpha204
+fsubr %st(0),%st(1)
+fldl -120(%edx)
+faddp %st(0),%st(1)
+fldl crypto_scalarmult_curve25519_athlon_alpha230
+fadd %st(1),%st(0)
+fldl -112(%edx)
+fxch %st(1)
+fsubl crypto_scalarmult_curve25519_athlon_alpha230
+fsubr %st(0),%st(2)
+faddp %st(0),%st(1)
+fxch %st(4)
+fstpl -80(%ecx)
+fxch %st(4)
+fstpl -72(%ecx)
+fxch %st(1)
+fstpl -64(%ecx)
+fstpl -56(%ecx)
+fxch %st(1)
+fstpl -48(%ecx)
+fstpl -40(%ecx)
+fldl -40(%edx)
+fldl 48(%ecx)
+fadd %st(0),%st(1)
+fsubl -40(%edx)
+fxch %st(1)
+fstpl -120(%edx)
+fstpl -40(%edx)
+fldl -32(%edx)
+fldl 56(%ecx)
+fadd %st(0),%st(1)
+fsubl -32(%edx)
+fxch %st(1)
+fstpl -112(%edx)
+fstpl -32(%edx)
+fldl -104(%edx)
+fldl -24(%edx)
+fadd %st(0),%st(1)
+fsubl -104(%edx)
+fxch %st(1)
+fstpl -104(%edx)
+fstpl -24(%edx)
+fldl -16(%edx)
+fldl -96(%edx)
+fadd %st(0),%st(1)
+fsubl -16(%edx)
+fxch %st(1)
+fstpl -96(%edx)
+fstpl -16(%edx)
+fldl -8(%edx)
+fldl -88(%edx)
+fadd %st(0),%st(1)
+fsubl -8(%edx)
+fxch %st(1)
+fstpl -88(%edx)
+fstpl -8(%edx)
+fldl 0(%edx)
+fldl -80(%edx)
+fadd %st(0),%st(1)
+fsubl 0(%edx)
+fxch %st(1)
+fstpl -80(%edx)
+fstpl 0(%edx)
+fldl 8(%edx)
+fldl -72(%edx)
+fadd %st(0),%st(1)
+fsubl 8(%edx)
+fxch %st(1)
+fstpl -72(%edx)
+fstpl 8(%edx)
+fldl 16(%edx)
+fldl -64(%edx)
+fadd %st(0),%st(1)
+fsubl 16(%edx)
+fxch %st(1)
+fstpl -64(%edx)
+fstpl 16(%edx)
+fldl 24(%edx)
+fldl -56(%edx)
+fadd %st(0),%st(1)
+fsubl 24(%edx)
+fxch %st(1)
+fstpl -56(%edx)
+fstpl 24(%edx)
+fldl 32(%edx)
+fldl -48(%edx)
+fadd %st(0),%st(1)
+fsubl 32(%edx)
+fxch %st(1)
+fstpl -48(%edx)
+fstpl 32(%edx)
+fldl 64(%edx)
+fsubl -112(%ecx)
+fstpl -32(%ecx)
+fldl 72(%edx)
+fsubl -104(%ecx)
+fstpl -24(%ecx)
+fldl 80(%edx)
+fsubl -96(%ecx)
+fstpl -16(%ecx)
+fldl 88(%edx)
+fsubl -88(%ecx)
+fstpl -8(%ecx)
+fldl 96(%edx)
+fsubl -80(%ecx)
+fstpl 0(%ecx)
+fldl 104(%edx)
+fsubl -72(%ecx)
+fstpl 8(%ecx)
+fldl 112(%edx)
+fsubl -64(%ecx)
+fstpl 16(%ecx)
+fldl 120(%edx)
+fsubl -56(%ecx)
+fstpl 24(%ecx)
+fldl -128(%ecx)
+fsubl -48(%ecx)
+fstpl 32(%ecx)
+fldl -120(%ecx)
+fsubl -40(%ecx)
+fstpl 40(%ecx)
+fldl -48(%edx)
+fmul %st(0),%st(0)
+fldl -120(%edx)
+fadd %st(0),%st(0)
+fldl -112(%edx)
+fadd %st(0),%st(0)
+fldl -104(%edx)
+fadd %st(0),%st(0)
+fldl -64(%edx)
+fxch %st(4)
+fmull crypto_scalarmult_curve25519_athlon_scale
+fldl -48(%edx)
+fmul %st(4),%st(0)
+fldl -56(%edx)
+fmul %st(4),%st(0)
+faddp %st(0),%st(1)
+fxch %st(4)
+fstl 0(%esp)
+fxch %st(3)
+fstl 8(%esp)
+fxch %st(3)
+fmull -56(%edx)
+faddp %st(0),%st(1)
+fldl -72(%edx)
+fxch %st(5)
+fmul %st(0),%st(3)
+fxch %st(3)
+faddp %st(0),%st(1)
+fxch %st(2)
+fadd %st(0),%st(0)
+fldl -64(%edx)
+fmul %st(2),%st(0)
+faddp %st(0),%st(4)
+fxch %st(1)
+fstl 16(%esp)
+fldl -80(%edx)
+fxch %st(5)
+fmul %st(0),%st(1)
+fxch %st(1)
+faddp %st(0),%st(3)
+fadd %st(0),%st(0)
+fstpl 48(%esp)
+fldl -96(%edx)
+fadd %st(0),%st(0)
+fstl 24(%esp)
+fldl -72(%edx)
+fmul %st(1),%st(0)
+faddp %st(0),%st(4)
+fmul %st(4),%st(0)
+faddp %st(0),%st(2)
+fxch %st(3)
+fadd %st(0),%st(0)
+fstpl 40(%esp)
+fldl -88(%edx)
+fmul %st(0),%st(0)
+faddp %st(0),%st(1)
+fldl crypto_scalarmult_curve25519_athlon_alpha230
+fadd %st(1),%st(0)
+fsubl crypto_scalarmult_curve25519_athlon_alpha230
+fsubr %st(0),%st(1)
+fldl 8(%esp)
+fldl -48(%edx)
+fmul %st(0),%st(1)
+fldl 16(%esp)
+fmul %st(0),%st(1)
+fldl -56(%edx)
+fmul %st(0),%st(1)
+fxch %st(1)
+faddp %st(0),%st(3)
+fldl 24(%esp)
+fmul %st(0),%st(1)
+fxch %st(1)
+faddp %st(0),%st(2)
+fldl -88(%edx)
+fadd %st(0),%st(0)
+fstl 32(%esp)
+fmull -80(%edx)
+faddp %st(0),%st(6)
+fxch %st(3)
+faddp %st(0),%st(5)
+fldl crypto_scalarmult_curve25519_athlon_alpha255
+fadd %st(5),%st(0)
+fsubl crypto_scalarmult_curve25519_athlon_alpha255
+fsubr %st(0),%st(5)
+fldl -64(%edx)
+fmul %st(0),%st(4)
+fxch %st(4)
+faddp %st(0),%st(3)
+fldl 32(%esp)
+fmul %st(0),%st(4)
+fxch %st(4)
+faddp %st(0),%st(2)
+fldl -72(%edx)
+fmul %st(0),%st(4)
+fxch %st(4)
+faddp %st(0),%st(3)
+fxch %st(3)
+fmull 40(%esp)
+faddp %st(0),%st(1)
+fxch %st(3)
+fstpl 48(%edx)
+fldl -80(%edx)
+fmul %st(0),%st(0)
+faddp %st(0),%st(1)
+fxch %st(2)
+fmull crypto_scalarmult_curve25519_athlon_scale
+fxch %st(3)
+fstpl 56(%edx)
+faddp %st(0),%st(1)
+fmull crypto_scalarmult_curve25519_athlon_scale
+fldl 24(%esp)
+fmull -48(%edx)
+fldl -120(%edx)
+fmul %st(0),%st(0)
+faddp %st(0),%st(2)
+fldl 32(%esp)
+fmull -56(%edx)
+faddp %st(0),%st(1)
+fldl 0(%esp)
+fmull -112(%edx)
+faddp %st(0),%st(3)
+fldl 40(%esp)
+fmull -64(%edx)
+faddp %st(0),%st(1)
+fldl crypto_scalarmult_curve25519_athlon_alpha26
+fadd %st(2),%st(0)
+fsubl crypto_scalarmult_curve25519_athlon_alpha26
+fsubr %st(0),%st(2)
+faddp %st(0),%st(3)
+fldl crypto_scalarmult_curve25519_athlon_alpha51
+fadd %st(3),%st(0)
+fsubl crypto_scalarmult_curve25519_athlon_alpha51
+fsubr %st(0),%st(3)
+fldl -72(%edx)
+fmul %st(0),%st(0)
+faddp %st(0),%st(2)
+fxch %st(1)
+fmull crypto_scalarmult_curve25519_athlon_scale
+fldl 0(%esp)
+fmull -104(%edx)
+faddp %st(0),%st(1)
+fldl -112(%edx)
+fmul %st(0),%st(0)
+faddp %st(0),%st(1)
+faddp %st(0),%st(1)
+fldl crypto_scalarmult_curve25519_athlon_alpha77
+fadd %st(1),%st(0)
+fsubl crypto_scalarmult_curve25519_athlon_alpha77
+fsubr %st(0),%st(1)
+fxch %st(2)
+fstpl -120(%edx)
+fldl 32(%esp)
+fmull -48(%edx)
+fldl 40(%esp)
+fmull -56(%edx)
+faddp %st(0),%st(1)
+fldl 48(%esp)
+fmull -64(%edx)
+faddp %st(0),%st(1)
+fmull crypto_scalarmult_curve25519_athlon_scale
+fldl 0(%esp)
+fmull -96(%edx)
+faddp %st(0),%st(1)
+fldl 8(%esp)
+fmull -104(%edx)
+faddp %st(0),%st(1)
+faddp %st(0),%st(2)
+fldl crypto_scalarmult_curve25519_athlon_alpha102
+fadd %st(2),%st(0)
+fsubl crypto_scalarmult_curve25519_athlon_alpha102
+fsubr %st(0),%st(2)
+fxch %st(3)
+fstpl -112(%edx)
+fldl 40(%esp)
+fmull -48(%edx)
+fldl 48(%esp)
+fmull -56(%edx)
+faddp %st(0),%st(1)
+fldl -64(%edx)
+fmul %st(0),%st(0)
+faddp %st(0),%st(1)
+fmull crypto_scalarmult_curve25519_athlon_scale
+fldl 0(%esp)
+fmull -88(%edx)
+faddp %st(0),%st(1)
+fldl 8(%esp)
+fmull -96(%edx)
+faddp %st(0),%st(1)
+fldl -104(%edx)
+fmul %st(0),%st(0)
+faddp %st(0),%st(1)
+faddp %st(0),%st(3)
+fldl crypto_scalarmult_curve25519_athlon_alpha128
+fadd %st(3),%st(0)
+fsubl crypto_scalarmult_curve25519_athlon_alpha128
+fsubr %st(0),%st(3)
+fxch %st(1)
+fstpl -104(%edx)
+fldl 48(%esp)
+fldl -48(%edx)
+fmul %st(0),%st(1)
+fmul %st(5),%st(0)
+fxch %st(5)
+fmull -56(%edx)
+faddp %st(0),%st(1)
+fmull crypto_scalarmult_curve25519_athlon_scale
+fldl 0(%esp)
+fmull -80(%edx)
+faddp %st(0),%st(1)
+fldl 8(%esp)
+fmull -88(%edx)
+faddp %st(0),%st(1)
+fldl 16(%esp)
+fmull -96(%edx)
+faddp %st(0),%st(1)
+faddp %st(0),%st(1)
+fldl crypto_scalarmult_curve25519_athlon_alpha153
+fadd %st(1),%st(0)
+fsubl crypto_scalarmult_curve25519_athlon_alpha153
+fsubr %st(0),%st(1)
+fxch %st(2)
+fstpl 40(%edx)
+fldl -56(%edx)
+fmul %st(0),%st(0)
+faddp %st(0),%st(4)
+fxch %st(3)
+fmull crypto_scalarmult_curve25519_athlon_scale
+fldl 0(%esp)
+fmull -72(%edx)
+faddp %st(0),%st(1)
+fldl 8(%esp)
+fmull -80(%edx)
+faddp %st(0),%st(1)
+fldl 16(%esp)
+fmull -88(%edx)
+faddp %st(0),%st(1)
+fldl -96(%edx)
+fmul %st(0),%st(0)
+faddp %st(0),%st(1)
+faddp %st(0),%st(1)
+fldl crypto_scalarmult_curve25519_athlon_alpha179
+fadd %st(1),%st(0)
+fsubl crypto_scalarmult_curve25519_athlon_alpha179
+fsubr %st(0),%st(1)
+fldl -56(%edx)
+fadd %st(0),%st(0)
+fmull -48(%edx)
+fmull crypto_scalarmult_curve25519_athlon_scale
+fldl 0(%esp)
+fmull -64(%edx)
+faddp %st(0),%st(1)
+fldl 8(%esp)
+fmull -72(%edx)
+faddp %st(0),%st(1)
+fldl 16(%esp)
+fmull -80(%edx)
+faddp %st(0),%st(1)
+fldl 24(%esp)
+fmull -88(%edx)
+faddp %st(0),%st(1)
+faddp %st(0),%st(1)
+fldl crypto_scalarmult_curve25519_athlon_alpha204
+fadd %st(1),%st(0)
+fsubl crypto_scalarmult_curve25519_athlon_alpha204
+fsubr %st(0),%st(1)
+fldl 48(%edx)
+faddp %st(0),%st(1)
+fldl crypto_scalarmult_curve25519_athlon_alpha230
+fadd %st(1),%st(0)
+fldl 56(%edx)
+fxch %st(1)
+fsubl crypto_scalarmult_curve25519_athlon_alpha230
+fsubr %st(0),%st(2)
+faddp %st(0),%st(1)
+fxch %st(4)
+fstpl -96(%edx)
+fxch %st(4)
+fstpl -88(%edx)
+fxch %st(1)
+fstpl -80(%edx)
+fstpl -72(%edx)
+fxch %st(1)
+fstpl -64(%edx)
+fstpl -56(%edx)
+fldl 32(%edx)
+fmul %st(0),%st(0)
+fldl -40(%edx)
+fadd %st(0),%st(0)
+fldl -32(%edx)
+fadd %st(0),%st(0)
+fldl -24(%edx)
+fadd %st(0),%st(0)
+fldl 16(%edx)
+fxch %st(4)
+fmull crypto_scalarmult_curve25519_athlon_scale
+fldl 32(%edx)
+fmul %st(4),%st(0)
+fldl 24(%edx)
+fmul %st(4),%st(0)
+faddp %st(0),%st(1)
+fxch %st(4)
+fstl 0(%esp)
+fxch %st(3)
+fstl 8(%esp)
+fxch %st(3)
+fmull 24(%edx)
+faddp %st(0),%st(1)
+fldl 8(%edx)
+fxch %st(5)
+fmul %st(0),%st(3)
+fxch %st(3)
+faddp %st(0),%st(1)
+fxch %st(2)
+fadd %st(0),%st(0)
+fldl 16(%edx)
+fmul %st(2),%st(0)
+faddp %st(0),%st(4)
+fxch %st(1)
+fstl 16(%esp)
+fldl 0(%edx)
+fxch %st(5)
+fmul %st(0),%st(1)
+fxch %st(1)
+faddp %st(0),%st(3)
+fadd %st(0),%st(0)
+fstpl 48(%esp)
+fldl -16(%edx)
+fadd %st(0),%st(0)
+fstl 24(%esp)
+fldl 8(%edx)
+fmul %st(1),%st(0)
+faddp %st(0),%st(4)
+fmul %st(4),%st(0)
+faddp %st(0),%st(2)
+fxch %st(3)
+fadd %st(0),%st(0)
+fstpl 40(%esp)
+fldl -8(%edx)
+fmul %st(0),%st(0)
+faddp %st(0),%st(1)
+fldl crypto_scalarmult_curve25519_athlon_alpha230
+fadd %st(1),%st(0)
+fsubl crypto_scalarmult_curve25519_athlon_alpha230
+fsubr %st(0),%st(1)
+fldl 8(%esp)
+fldl 32(%edx)
+fmul %st(0),%st(1)
+fldl 16(%esp)
+fmul %st(0),%st(1)
+fldl 24(%edx)
+fmul %st(0),%st(1)
+fxch %st(1)
+faddp %st(0),%st(3)
+fldl 24(%esp)
+fmul %st(0),%st(1)
+fxch %st(1)
+faddp %st(0),%st(2)
+fldl -8(%edx)
+fadd %st(0),%st(0)
+fstl 32(%esp)
+fmull 0(%edx)
+faddp %st(0),%st(6)
+fxch %st(3)
+faddp %st(0),%st(5)
+fldl crypto_scalarmult_curve25519_athlon_alpha255
+fadd %st(5),%st(0)
+fsubl crypto_scalarmult_curve25519_athlon_alpha255
+fsubr %st(0),%st(5)
+fldl 16(%edx)
+fmul %st(0),%st(4)
+fxch %st(4)
+faddp %st(0),%st(3)
+fldl 32(%esp)
+fmul %st(0),%st(4)
+fxch %st(4)
+faddp %st(0),%st(2)
+fldl 8(%edx)
+fmul %st(0),%st(4)
+fxch %st(4)
+faddp %st(0),%st(3)
+fxch %st(3)
+fmull 40(%esp)
+faddp %st(0),%st(1)
+fxch %st(3)
+fstpl -48(%edx)
+fldl 0(%edx)
+fmul %st(0),%st(0)
+faddp %st(0),%st(1)
+fxch %st(2)
+fmull crypto_scalarmult_curve25519_athlon_scale
+fxch %st(3)
+fstpl 48(%edx)
+faddp %st(0),%st(1)
+fmull crypto_scalarmult_curve25519_athlon_scale
+fldl 24(%esp)
+fmull 32(%edx)
+fldl -40(%edx)
+fmul %st(0),%st(0)
+faddp %st(0),%st(2)
+fldl 32(%esp)
+fmull 24(%edx)
+faddp %st(0),%st(1)
+fldl 0(%esp)
+fmull -32(%edx)
+faddp %st(0),%st(3)
+fldl 40(%esp)
+fmull 16(%edx)
+faddp %st(0),%st(1)
+fldl crypto_scalarmult_curve25519_athlon_alpha26
+fadd %st(2),%st(0)
+fsubl crypto_scalarmult_curve25519_athlon_alpha26
+fsubr %st(0),%st(2)
+faddp %st(0),%st(3)
+fldl crypto_scalarmult_curve25519_athlon_alpha51
+fadd %st(3),%st(0)
+fsubl crypto_scalarmult_curve25519_athlon_alpha51
+fsubr %st(0),%st(3)
+fldl 8(%edx)
+fmul %st(0),%st(0)
+faddp %st(0),%st(2)
+fxch %st(1)
+fmull crypto_scalarmult_curve25519_athlon_scale
+fldl 0(%esp)
+fmull -24(%edx)
+faddp %st(0),%st(1)
+fldl -32(%edx)
+fmul %st(0),%st(0)
+faddp %st(0),%st(1)
+faddp %st(0),%st(1)
+fldl crypto_scalarmult_curve25519_athlon_alpha77
+fadd %st(1),%st(0)
+fsubl crypto_scalarmult_curve25519_athlon_alpha77
+fsubr %st(0),%st(1)
+fxch %st(2)
+fstpl 56(%ecx)
+fldl 32(%esp)
+fmull 32(%edx)
+fldl 40(%esp)
+fmull 24(%edx)
+faddp %st(0),%st(1)
+fldl 48(%esp)
+fmull 16(%edx)
+faddp %st(0),%st(1)
+fmull crypto_scalarmult_curve25519_athlon_scale
+fldl 0(%esp)
+fmull -16(%edx)
+faddp %st(0),%st(1)
+fldl 8(%esp)
+fmull -24(%edx)
+faddp %st(0),%st(1)
+faddp %st(0),%st(2)
+fldl crypto_scalarmult_curve25519_athlon_alpha102
+fadd %st(2),%st(0)
+fsubl crypto_scalarmult_curve25519_athlon_alpha102
+fsubr %st(0),%st(2)
+fxch %st(3)
+fstpl 64(%ecx)
+fldl 40(%esp)
+fmull 32(%edx)
+fldl 48(%esp)
+fmull 24(%edx)
+faddp %st(0),%st(1)
+fldl 16(%edx)
+fmul %st(0),%st(0)
+faddp %st(0),%st(1)
+fmull crypto_scalarmult_curve25519_athlon_scale
+fldl 0(%esp)
+fmull -8(%edx)
+faddp %st(0),%st(1)
+fldl 8(%esp)
+fmull -16(%edx)
+faddp %st(0),%st(1)
+fldl -24(%edx)
+fmul %st(0),%st(0)
+faddp %st(0),%st(1)
+faddp %st(0),%st(3)
+fldl crypto_scalarmult_curve25519_athlon_alpha128
+fadd %st(3),%st(0)
+fsubl crypto_scalarmult_curve25519_athlon_alpha128
+fsubr %st(0),%st(3)
+fxch %st(1)
+fstpl 72(%ecx)
+fldl 48(%esp)
+fldl 32(%edx)
+fmul %st(0),%st(1)
+fmul %st(5),%st(0)
+fxch %st(5)
+fmull 24(%edx)
+faddp %st(0),%st(1)
+fmull crypto_scalarmult_curve25519_athlon_scale
+fldl 0(%esp)
+fmull 0(%edx)
+faddp %st(0),%st(1)
+fldl 8(%esp)
+fmull -8(%edx)
+faddp %st(0),%st(1)
+fldl 16(%esp)
+fmull -16(%edx)
+faddp %st(0),%st(1)
+faddp %st(0),%st(1)
+fldl crypto_scalarmult_curve25519_athlon_alpha153
+fadd %st(1),%st(0)
+fsubl crypto_scalarmult_curve25519_athlon_alpha153
+fsubr %st(0),%st(1)
+fxch %st(2)
+fstpl 80(%ecx)
+fldl 24(%edx)
+fmul %st(0),%st(0)
+faddp %st(0),%st(4)
+fxch %st(3)
+fmull crypto_scalarmult_curve25519_athlon_scale
+fldl 0(%esp)
+fmull 8(%edx)
+faddp %st(0),%st(1)
+fldl 8(%esp)
+fmull 0(%edx)
+faddp %st(0),%st(1)
+fldl 16(%esp)
+fmull -8(%edx)
+faddp %st(0),%st(1)
+fldl -16(%edx)
+fmul %st(0),%st(0)
+faddp %st(0),%st(1)
+faddp %st(0),%st(1)
+fldl crypto_scalarmult_curve25519_athlon_alpha179
+fadd %st(1),%st(0)
+fsubl crypto_scalarmult_curve25519_athlon_alpha179
+fsubr %st(0),%st(1)
+fldl 24(%edx)
+fadd %st(0),%st(0)
+fmull 32(%edx)
+fmull crypto_scalarmult_curve25519_athlon_scale
+fldl 0(%esp)
+fmull 16(%edx)
+faddp %st(0),%st(1)
+fldl 8(%esp)
+fmull 8(%edx)
+faddp %st(0),%st(1)
+fldl 16(%esp)
+fmull 0(%edx)
+faddp %st(0),%st(1)
+fldl 24(%esp)
+fmull -8(%edx)
+faddp %st(0),%st(1)
+faddp %st(0),%st(1)
+fldl crypto_scalarmult_curve25519_athlon_alpha204
+fadd %st(1),%st(0)
+fsubl crypto_scalarmult_curve25519_athlon_alpha204
+fsubr %st(0),%st(1)
+fldl -48(%edx)
+faddp %st(0),%st(1)
+fldl crypto_scalarmult_curve25519_athlon_alpha230
+fadd %st(1),%st(0)
+fldl 48(%edx)
+fxch %st(1)
+fsubl crypto_scalarmult_curve25519_athlon_alpha230
+fsubr %st(0),%st(2)
+faddp %st(0),%st(1)
+fxch %st(4)
+fstpl 88(%ecx)
+fxch %st(4)
+fstpl 96(%ecx)
+fxch %st(1)
+fstpl 104(%ecx)
+fstpl 112(%ecx)
+fxch %st(1)
+fstpl 120(%ecx)
+fstpl 128(%ecx)
+fldl 32(%ecx)
+fmull crypto_scalarmult_curve25519_athlon_121665
+fldl crypto_scalarmult_curve25519_athlon_alpha230
+fadd %st(1),%st(0)
+fsubl crypto_scalarmult_curve25519_athlon_alpha230
+fldl 40(%ecx)
+fmull crypto_scalarmult_curve25519_athlon_121665
+fadd %st(1),%st(0)
+fxch %st(1)
+fsubrp %st(0),%st(2)
+fxch %st(1)
+fstpl 0(%esp)
+fldl crypto_scalarmult_curve25519_athlon_alpha255
+fadd %st(1),%st(0)
+fsubl crypto_scalarmult_curve25519_athlon_alpha255
+fsubr %st(0),%st(1)
+fmull crypto_scalarmult_curve25519_athlon_scale
+fxch %st(1)
+fstpl 8(%esp)
+fldl -32(%ecx)
+fmull crypto_scalarmult_curve25519_athlon_121665
+faddp %st(0),%st(1)
+fldl crypto_scalarmult_curve25519_athlon_alpha26
+fadd %st(1),%st(0)
+fsubl crypto_scalarmult_curve25519_athlon_alpha26
+fldl -24(%ecx)
+fmull crypto_scalarmult_curve25519_athlon_121665
+fadd %st(1),%st(0)
+fxch %st(1)
+fsubrp %st(0),%st(2)
+fxch %st(1)
+fstpl -48(%edx)
+fldl crypto_scalarmult_curve25519_athlon_alpha51
+fadd %st(1),%st(0)
+fsubl crypto_scalarmult_curve25519_athlon_alpha51
+fldl -16(%ecx)
+fmull crypto_scalarmult_curve25519_athlon_121665
+fadd %st(1),%st(0)
+fxch %st(1)
+fsubrp %st(0),%st(2)
+fxch %st(1)
+fstpl -40(%edx)
+fldl crypto_scalarmult_curve25519_athlon_alpha77
+fadd %st(1),%st(0)
+fsubl crypto_scalarmult_curve25519_athlon_alpha77
+fldl -8(%ecx)
+fmull crypto_scalarmult_curve25519_athlon_121665
+fadd %st(1),%st(0)
+fxch %st(1)
+fsubrp %st(0),%st(2)
+fxch %st(1)
+fstpl -32(%edx)
+fldl crypto_scalarmult_curve25519_athlon_alpha102
+fadd %st(1),%st(0)
+fsubl crypto_scalarmult_curve25519_athlon_alpha102
+fldl 0(%ecx)
+fmull crypto_scalarmult_curve25519_athlon_121665
+fadd %st(1),%st(0)
+fxch %st(1)
+fsubrp %st(0),%st(2)
+fxch %st(1)
+fstpl -24(%edx)
+fldl crypto_scalarmult_curve25519_athlon_alpha128
+fadd %st(1),%st(0)
+fsubl crypto_scalarmult_curve25519_athlon_alpha128
+fldl 8(%ecx)
+fmull crypto_scalarmult_curve25519_athlon_121665
+fadd %st(1),%st(0)
+fxch %st(1)
+fsubrp %st(0),%st(2)
+fxch %st(1)
+fstpl -16(%edx)
+fldl crypto_scalarmult_curve25519_athlon_alpha153
+fadd %st(1),%st(0)
+fsubl crypto_scalarmult_curve25519_athlon_alpha153
+fldl 16(%ecx)
+fmull crypto_scalarmult_curve25519_athlon_121665
+fadd %st(1),%st(0)
+fxch %st(1)
+fsubrp %st(0),%st(2)
+fxch %st(1)
+fstpl -8(%edx)
+fldl crypto_scalarmult_curve25519_athlon_alpha179
+fadd %st(1),%st(0)
+fsubl crypto_scalarmult_curve25519_athlon_alpha179
+fldl 24(%ecx)
+fmull crypto_scalarmult_curve25519_athlon_121665
+fadd %st(1),%st(0)
+fxch %st(1)
+fsubrp %st(0),%st(2)
+fxch %st(1)
+fstpl 0(%edx)
+fldl crypto_scalarmult_curve25519_athlon_alpha204
+fadd %st(1),%st(0)
+fsubl crypto_scalarmult_curve25519_athlon_alpha204
+fldl 0(%esp)
+fadd %st(1),%st(0)
+fxch %st(1)
+fsubrp %st(0),%st(2)
+fxch %st(1)
+fstpl 8(%edx)
+fldl crypto_scalarmult_curve25519_athlon_alpha230
+fadd %st(1),%st(0)
+fsubl crypto_scalarmult_curve25519_athlon_alpha230
+fldl 8(%esp)
+fadd %st(1),%st(0)
+fxch %st(1)
+fsubrp %st(0),%st(2)
+fxch %st(1)
+fstpl 16(%edx)
+fstpl 48(%ecx)
+fldl -120(%ecx)
+fmull -40(%ecx)
+fmull crypto_scalarmult_curve25519_athlon_scale
+fldl 64(%edx)
+fmull -48(%ecx)
+faddp %st(0),%st(1)
+fldl 72(%edx)
+fmull -56(%ecx)
+faddp %st(0),%st(1)
+fldl 64(%edx)
+fmull -40(%ecx)
+fldl 80(%edx)
+fmull -64(%ecx)
+faddp %st(0),%st(2)
+fldl 72(%edx)
+fmull -48(%ecx)
+faddp %st(0),%st(1)
+fldl 88(%edx)
+fmull -72(%ecx)
+faddp %st(0),%st(2)
+fldl 80(%edx)
+fmull -56(%ecx)
+faddp %st(0),%st(1)
+fldl 96(%edx)
+fmull -80(%ecx)
+faddp %st(0),%st(2)
+fldl 88(%edx)
+fmull -64(%ecx)
+faddp %st(0),%st(1)
+fldl 72(%edx)
+fmull -40(%ecx)
+fldl 104(%edx)
+fmull -88(%ecx)
+faddp %st(0),%st(3)
+fldl 96(%edx)
+fmull -72(%ecx)
+faddp %st(0),%st(2)
+fldl 80(%edx)
+fmull -48(%ecx)
+faddp %st(0),%st(1)
+fldl 112(%edx)
+fmull -96(%ecx)
+faddp %st(0),%st(3)
+fldl 104(%edx)
+fmull -80(%ecx)
+faddp %st(0),%st(2)
+fldl 88(%edx)
+fmull -56(%ecx)
+faddp %st(0),%st(1)
+fldl 120(%edx)
+fmull -104(%ecx)
+faddp %st(0),%st(3)
+fldl 112(%edx)
+fmull -88(%ecx)
+faddp %st(0),%st(2)
+fldl 96(%edx)
+fmull -64(%ecx)
+faddp %st(0),%st(1)
+fldl -128(%ecx)
+fmull -112(%ecx)
+faddp %st(0),%st(3)
+fldl 120(%edx)
+fmull -96(%ecx)
+faddp %st(0),%st(2)
+fldl 104(%edx)
+fmull -72(%ecx)
+faddp %st(0),%st(1)
+fldl 80(%edx)
+fmull -40(%ecx)
+fldl 112(%edx)
+fmull -80(%ecx)
+faddp %st(0),%st(2)
+fldl -128(%ecx)
+fmull -104(%ecx)
+faddp %st(0),%st(3)
+fldl crypto_scalarmult_curve25519_athlon_alpha230
+fadd %st(4),%st(0)
+fldl 88(%edx)
+fmull -48(%ecx)
+faddp %st(0),%st(2)
+fldl 120(%edx)
+fmull -88(%ecx)
+faddp %st(0),%st(3)
+fldl -120(%ecx)
+fmull -112(%ecx)
+faddp %st(0),%st(4)
+fsubl crypto_scalarmult_curve25519_athlon_alpha230
+fldl 96(%edx)
+fmull -56(%ecx)
+faddp %st(0),%st(2)
+fldl 88(%edx)
+fmull -40(%ecx)
+fldl -128(%ecx)
+fmull -96(%ecx)
+faddp %st(0),%st(4)
+fxch %st(1)
+fadd %st(0),%st(4)
+fldl 104(%edx)
+fmull -64(%ecx)
+faddp %st(0),%st(3)
+fldl 96(%edx)
+fmull -48(%ecx)
+faddp %st(0),%st(2)
+fsubrp %st(0),%st(5)
+fldl crypto_scalarmult_curve25519_athlon_alpha255
+fadd %st(4),%st(0)
+fldl 112(%edx)
+fmull -72(%ecx)
+faddp %st(0),%st(3)
+fldl 104(%edx)
+fmull -56(%ecx)
+faddp %st(0),%st(2)
+fldl -120(%ecx)
+fmull -104(%ecx)
+faddp %st(0),%st(4)
+fsubl crypto_scalarmult_curve25519_athlon_alpha255
+fldl 120(%edx)
+fmull -80(%ecx)
+faddp %st(0),%st(3)
+fldl 96(%edx)
+fmull -40(%ecx)
+fldl 112(%edx)
+fmull -64(%ecx)
+faddp %st(0),%st(3)
+fldl -128(%ecx)
+fmull -88(%ecx)
+faddp %st(0),%st(4)
+fxch %st(1)
+fadd %st(0),%st(4)
+fsubrp %st(0),%st(5)
+fxch %st(5)
+fstpl 0(%esp)
+fldl 104(%edx)
+fmull -48(%ecx)
+faddp %st(0),%st(5)
+fldl 120(%edx)
+fmull -72(%ecx)
+faddp %st(0),%st(1)
+fldl -120(%ecx)
+fmull -96(%ecx)
+faddp %st(0),%st(2)
+fxch %st(2)
+fmull crypto_scalarmult_curve25519_athlon_scale
+fldl 112(%edx)
+fmull -56(%ecx)
+faddp %st(0),%st(5)
+fldl -128(%ecx)
+fmull -80(%ecx)
+faddp %st(0),%st(3)
+fxch %st(1)
+fmull crypto_scalarmult_curve25519_athlon_scale
+fldl 64(%edx)
+fmull -112(%ecx)
+faddp %st(0),%st(2)
+fxch %st(3)
+fstpl 8(%esp)
+fldl 104(%edx)
+fmull -40(%ecx)
+fldl 120(%edx)
+fmull -64(%ecx)
+faddp %st(0),%st(5)
+fldl -120(%ecx)
+fmull -88(%ecx)
+faddp %st(0),%st(3)
+fldl 64(%edx)
+fmull -104(%ecx)
+faddp %st(0),%st(4)
+fldl crypto_scalarmult_curve25519_athlon_alpha26
+fadd %st(2),%st(0)
+fldl 112(%edx)
+fmull -48(%ecx)
+faddp %st(0),%st(2)
+fldl -128(%ecx)
+fmull -72(%ecx)
+faddp %st(0),%st(6)
+fxch %st(3)
+fmull crypto_scalarmult_curve25519_athlon_scale
+fldl 72(%edx)
+fmull -112(%ecx)
+faddp %st(0),%st(5)
+fxch %st(3)
+fsubl crypto_scalarmult_curve25519_athlon_alpha26
+fldl 120(%edx)
+fmull -56(%ecx)
+faddp %st(0),%st(2)
+fldl -120(%ecx)
+fmull -80(%ecx)
+faddp %st(0),%st(6)
+fldl 64(%edx)
+fmull -96(%ecx)
+faddp %st(0),%st(4)
+fadd %st(0),%st(4)
+fsubrp %st(0),%st(2)
+fldl 112(%edx)
+fmull -40(%ecx)
+fldl -128(%ecx)
+fmull -64(%ecx)
+faddp %st(0),%st(2)
+fxch %st(5)
+fmull crypto_scalarmult_curve25519_athlon_scale
+fldl 72(%edx)
+fmull -104(%ecx)
+faddp %st(0),%st(4)
+fldl crypto_scalarmult_curve25519_athlon_alpha51
+fadd %st(5),%st(0)
+fldl 120(%edx)
+fmull -48(%ecx)
+faddp %st(0),%st(7)
+fldl -120(%ecx)
+fmull -72(%ecx)
+faddp %st(0),%st(3)
+fldl 64(%edx)
+fmull -88(%ecx)
+faddp %st(0),%st(2)
+fldl 80(%edx)
+fmull -112(%ecx)
+faddp %st(0),%st(5)
+fsubl crypto_scalarmult_curve25519_athlon_alpha51
+fxch %st(3)
+fstpl 16(%esp)
+fldl -128(%ecx)
+fmull -56(%ecx)
+faddp %st(0),%st(6)
+fxch %st(1)
+fmull crypto_scalarmult_curve25519_athlon_scale
+fldl 72(%edx)
+fmull -96(%ecx)
+faddp %st(0),%st(2)
+fxch %st(2)
+fadd %st(0),%st(3)
+fsubrp %st(0),%st(4)
+fldl 120(%edx)
+fmull -40(%ecx)
+fldl -120(%ecx)
+fmull -64(%ecx)
+faddp %st(0),%st(6)
+fldl 64(%edx)
+fmull -80(%ecx)
+faddp %st(0),%st(3)
+fldl 80(%edx)
+fmull -104(%ecx)
+faddp %st(0),%st(2)
+fldl crypto_scalarmult_curve25519_athlon_alpha77
+fadd %st(4),%st(0)
+fldl -128(%ecx)
+fmull -48(%ecx)
+faddp %st(0),%st(2)
+fxch %st(6)
+fmull crypto_scalarmult_curve25519_athlon_scale
+fldl 72(%edx)
+fmull -88(%ecx)
+faddp %st(0),%st(4)
+fldl 88(%edx)
+fmull -112(%ecx)
+faddp %st(0),%st(3)
+fxch %st(6)
+fsubl crypto_scalarmult_curve25519_athlon_alpha77
+fxch %st(5)
+fstpl 24(%esp)
+fldl -120(%ecx)
+fmull -56(%ecx)
+faddp %st(0),%st(1)
+fldl 64(%edx)
+fmull -72(%ecx)
+faddp %st(0),%st(6)
+fldl 80(%edx)
+fmull -96(%ecx)
+faddp %st(0),%st(3)
+fxch %st(4)
+fadd %st(0),%st(1)
+fsubrp %st(0),%st(3)
+fldl -128(%ecx)
+fmull -40(%ecx)
+fxch %st(4)
+fmull crypto_scalarmult_curve25519_athlon_scale
+fldl 72(%edx)
+fmull -80(%ecx)
+faddp %st(0),%st(6)
+fldl 88(%edx)
+fmull -104(%ecx)
+faddp %st(0),%st(3)
+fldl crypto_scalarmult_curve25519_athlon_alpha102
+fadd %st(2),%st(0)
+fldl -120(%ecx)
+fmull -48(%ecx)
+faddp %st(0),%st(6)
+fldl 64(%edx)
+fmull -64(%ecx)
+faddp %st(0),%st(2)
+fldl 80(%edx)
+fmull -88(%ecx)
+faddp %st(0),%st(7)
+fldl 96(%edx)
+fmull -112(%ecx)
+faddp %st(0),%st(4)
+fsubl crypto_scalarmult_curve25519_athlon_alpha102
+fxch %st(4)
+fstpl 32(%esp)
+fxch %st(4)
+fmull crypto_scalarmult_curve25519_athlon_scale
+fldl 72(%edx)
+fmull -72(%ecx)
+faddp %st(0),%st(5)
+fldl 88(%edx)
+fmull -96(%ecx)
+faddp %st(0),%st(6)
+fxch %st(3)
+fadd %st(0),%st(2)
+fsubrp %st(0),%st(1)
+fldl 64(%edx)
+fmull -56(%ecx)
+faddp %st(0),%st(3)
+fldl 80(%edx)
+fmull -80(%ecx)
+faddp %st(0),%st(4)
+fldl 96(%edx)
+fmull -104(%ecx)
+faddp %st(0),%st(5)
+fldl crypto_scalarmult_curve25519_athlon_alpha128
+fadd %st(2),%st(0)
+fldl 72(%edx)
+fmull -64(%ecx)
+faddp %st(0),%st(4)
+fldl 88(%edx)
+fmull -88(%ecx)
+faddp %st(0),%st(5)
+fldl 104(%edx)
+fmull -112(%ecx)
+faddp %st(0),%st(6)
+fsubl crypto_scalarmult_curve25519_athlon_alpha128
+fxch %st(1)
+fstpl 40(%esp)
+fldl 80(%edx)
+fmull -72(%ecx)
+faddp %st(0),%st(3)
+fldl 96(%edx)
+fmull -96(%ecx)
+faddp %st(0),%st(4)
+fadd %st(0),%st(4)
+fsubrp %st(0),%st(1)
+fstpl 48(%esp)
+fldl 88(%edx)
+fmull -80(%ecx)
+faddp %st(0),%st(1)
+fldl 104(%edx)
+fmull -104(%ecx)
+faddp %st(0),%st(2)
+fldl crypto_scalarmult_curve25519_athlon_alpha153
+fadd %st(3),%st(0)
+fldl 96(%edx)
+fmull -88(%ecx)
+faddp %st(0),%st(2)
+fldl 112(%edx)
+fmull -112(%ecx)
+faddp %st(0),%st(3)
+fsubl crypto_scalarmult_curve25519_athlon_alpha153
+fldl 104(%edx)
+fmull -96(%ecx)
+faddp %st(0),%st(2)
+fadd %st(0),%st(2)
+fsubrp %st(0),%st(3)
+fxch %st(2)
+fstpl 24(%edx)
+fldl 112(%edx)
+fmull -104(%ecx)
+faddp %st(0),%st(2)
+fldl crypto_scalarmult_curve25519_athlon_alpha179
+fadd %st(1),%st(0)
+fldl 120(%edx)
+fmull -112(%ecx)
+faddp %st(0),%st(3)
+fsubl crypto_scalarmult_curve25519_athlon_alpha179
+fldl 0(%esp)
+fldl 8(%esp)
+fxch %st(2)
+fadd %st(0),%st(4)
+fsubrp %st(0),%st(3)
+fldl crypto_scalarmult_curve25519_athlon_alpha204
+fadd %st(4),%st(0)
+fsubl crypto_scalarmult_curve25519_athlon_alpha204
+fadd %st(0),%st(1)
+fsubrp %st(0),%st(4)
+fldl crypto_scalarmult_curve25519_athlon_alpha230
+fadd %st(1),%st(0)
+fsubl crypto_scalarmult_curve25519_athlon_alpha230
+fsubr %st(0),%st(1)
+faddp %st(0),%st(2)
+fxch %st(2)
+fstpl 32(%edx)
+fxch %st(2)
+fstpl 48(%edx)
+fstpl 56(%edx)
+fstpl -112(%ecx)
+fldl -48(%edx)
+faddl 64(%edx)
+fstpl -104(%ecx)
+fldl -40(%edx)
+faddl 72(%edx)
+fstpl -96(%ecx)
+fldl -32(%edx)
+faddl 80(%edx)
+fstpl -88(%ecx)
+fldl -24(%edx)
+faddl 88(%edx)
+fstpl -80(%ecx)
+fldl -16(%edx)
+faddl 96(%edx)
+fstpl -16(%edx)
+fldl -8(%edx)
+faddl 104(%edx)
+fstpl -8(%edx)
+fldl 0(%edx)
+faddl 112(%edx)
+fstpl 0(%edx)
+fldl 8(%edx)
+faddl 120(%edx)
+fstpl 8(%edx)
+fldl 16(%edx)
+faddl -128(%ecx)
+fstpl 16(%edx)
+fldl 48(%ecx)
+faddl -120(%ecx)
+fstpl 80(%edx)
+fldl 128(%ecx)
+fmull -128(%edx)
+fmull crypto_scalarmult_curve25519_athlon_scale
+fldl 56(%ecx)
+fmull 120(%esp)
+faddp %st(0),%st(1)
+fldl 64(%ecx)
+fmull 112(%esp)
+faddp %st(0),%st(1)
+fldl 56(%ecx)
+fmull -128(%edx)
+fldl 72(%ecx)
+fmull 104(%esp)
+faddp %st(0),%st(2)
+fldl 64(%ecx)
+fmull 120(%esp)
+faddp %st(0),%st(1)
+fldl 80(%ecx)
+fmull 96(%esp)
+faddp %st(0),%st(2)
+fldl 72(%ecx)
+fmull 112(%esp)
+faddp %st(0),%st(1)
+fldl 88(%ecx)
+fmull 88(%esp)
+faddp %st(0),%st(2)
+fldl 80(%ecx)
+fmull 104(%esp)
+faddp %st(0),%st(1)
+fldl 64(%ecx)
+fmull -128(%edx)
+fldl 96(%ecx)
+fmull 80(%esp)
+faddp %st(0),%st(3)
+fldl 88(%ecx)
+fmull 96(%esp)
+faddp %st(0),%st(2)
+fldl 72(%ecx)
+fmull 120(%esp)
+faddp %st(0),%st(1)
+fldl 104(%ecx)
+fmull 72(%esp)
+faddp %st(0),%st(3)
+fldl 96(%ecx)
+fmull 88(%esp)
+faddp %st(0),%st(2)
+fldl 80(%ecx)
+fmull 112(%esp)
+faddp %st(0),%st(1)
+fldl 112(%ecx)
+fmull 64(%esp)
+faddp %st(0),%st(3)
+fldl 104(%ecx)
+fmull 80(%esp)
+faddp %st(0),%st(2)
+fldl 88(%ecx)
+fmull 104(%esp)
+faddp %st(0),%st(1)
+fldl 120(%ecx)
+fmull 56(%esp)
+faddp %st(0),%st(3)
+fldl 112(%ecx)
+fmull 72(%esp)
+faddp %st(0),%st(2)
+fldl 96(%ecx)
+fmull 96(%esp)
+faddp %st(0),%st(1)
+fldl 72(%ecx)
+fmull -128(%edx)
+fldl 104(%ecx)
+fmull 88(%esp)
+faddp %st(0),%st(2)
+fldl 120(%ecx)
+fmull 64(%esp)
+faddp %st(0),%st(3)
+fldl crypto_scalarmult_curve25519_athlon_alpha230
+fadd %st(4),%st(0)
+fldl 80(%ecx)
+fmull 120(%esp)
+faddp %st(0),%st(2)
+fldl 112(%ecx)
+fmull 80(%esp)
+faddp %st(0),%st(3)
+fldl 128(%ecx)
+fmull 56(%esp)
+faddp %st(0),%st(4)
+fsubl crypto_scalarmult_curve25519_athlon_alpha230
+fldl 88(%ecx)
+fmull 112(%esp)
+faddp %st(0),%st(2)
+fldl 80(%ecx)
+fmull -128(%edx)
+fldl 120(%ecx)
+fmull 72(%esp)
+faddp %st(0),%st(4)
+fxch %st(1)
+fadd %st(0),%st(4)
+fldl 96(%ecx)
+fmull 104(%esp)
+faddp %st(0),%st(3)
+fldl 88(%ecx)
+fmull 120(%esp)
+faddp %st(0),%st(2)
+fsubrp %st(0),%st(5)
+fldl crypto_scalarmult_curve25519_athlon_alpha255
+fadd %st(4),%st(0)
+fldl 104(%ecx)
+fmull 96(%esp)
+faddp %st(0),%st(3)
+fldl 96(%ecx)
+fmull 112(%esp)
+faddp %st(0),%st(2)
+fldl 128(%ecx)
+fmull 64(%esp)
+faddp %st(0),%st(4)
+fsubl crypto_scalarmult_curve25519_athlon_alpha255
+fldl 112(%ecx)
+fmull 88(%esp)
+faddp %st(0),%st(3)
+fldl 88(%ecx)
+fmull -128(%edx)
+fldl 104(%ecx)
+fmull 104(%esp)
+faddp %st(0),%st(3)
+fldl 120(%ecx)
+fmull 80(%esp)
+faddp %st(0),%st(4)
+fxch %st(1)
+fadd %st(0),%st(4)
+fsubrp %st(0),%st(5)
+fxch %st(5)
+fstpl 0(%esp)
+fldl 96(%ecx)
+fmull 120(%esp)
+faddp %st(0),%st(5)
+fldl 112(%ecx)
+fmull 96(%esp)
+faddp %st(0),%st(1)
+fldl 128(%ecx)
+fmull 72(%esp)
+faddp %st(0),%st(2)
+fxch %st(2)
+fmull crypto_scalarmult_curve25519_athlon_scale
+fldl 104(%ecx)
+fmull 112(%esp)
+faddp %st(0),%st(5)
+fldl 120(%ecx)
+fmull 88(%esp)
+faddp %st(0),%st(3)
+fxch %st(1)
+fmull crypto_scalarmult_curve25519_athlon_scale
+fldl 56(%ecx)
+fmull 56(%esp)
+faddp %st(0),%st(2)
+fxch %st(3)
+fstpl 8(%esp)
+fldl 96(%ecx)
+fmull -128(%edx)
+fldl 112(%ecx)
+fmull 104(%esp)
+faddp %st(0),%st(5)
+fldl 128(%ecx)
+fmull 80(%esp)
+faddp %st(0),%st(3)
+fldl 56(%ecx)
+fmull 64(%esp)
+faddp %st(0),%st(4)
+fldl crypto_scalarmult_curve25519_athlon_alpha26
+fadd %st(2),%st(0)
+fldl 104(%ecx)
+fmull 120(%esp)
+faddp %st(0),%st(2)
+fldl 120(%ecx)
+fmull 96(%esp)
+faddp %st(0),%st(6)
+fxch %st(3)
+fmull crypto_scalarmult_curve25519_athlon_scale
+fldl 64(%ecx)
+fmull 56(%esp)
+faddp %st(0),%st(5)
+fxch %st(3)
+fsubl crypto_scalarmult_curve25519_athlon_alpha26
+fldl 112(%ecx)
+fmull 112(%esp)
+faddp %st(0),%st(2)
+fldl 128(%ecx)
+fmull 88(%esp)
+faddp %st(0),%st(6)
+fldl 56(%ecx)
+fmull 72(%esp)
+faddp %st(0),%st(4)
+fadd %st(0),%st(4)
+fsubrp %st(0),%st(2)
+fldl 104(%ecx)
+fmull -128(%edx)
+fldl 120(%ecx)
+fmull 104(%esp)
+faddp %st(0),%st(2)
+fxch %st(5)
+fmull crypto_scalarmult_curve25519_athlon_scale
+fldl 64(%ecx)
+fmull 64(%esp)
+faddp %st(0),%st(4)
+fldl crypto_scalarmult_curve25519_athlon_alpha51
+fadd %st(5),%st(0)
+fldl 112(%ecx)
+fmull 120(%esp)
+faddp %st(0),%st(7)
+fldl 128(%ecx)
+fmull 96(%esp)
+faddp %st(0),%st(3)
+fldl 56(%ecx)
+fmull 80(%esp)
+faddp %st(0),%st(2)
+fldl 72(%ecx)
+fmull 56(%esp)
+faddp %st(0),%st(5)
+fsubl crypto_scalarmult_curve25519_athlon_alpha51
+fxch %st(3)
+fstpl -48(%edx)
+fldl 120(%ecx)
+fmull 112(%esp)
+faddp %st(0),%st(6)
+fxch %st(1)
+fmull crypto_scalarmult_curve25519_athlon_scale
+fldl 64(%ecx)
+fmull 72(%esp)
+faddp %st(0),%st(2)
+fxch %st(2)
+fadd %st(0),%st(3)
+fsubrp %st(0),%st(4)
+fldl 112(%ecx)
+fmull -128(%edx)
+fldl 128(%ecx)
+fmull 104(%esp)
+faddp %st(0),%st(6)
+fldl 56(%ecx)
+fmull 88(%esp)
+faddp %st(0),%st(3)
+fldl 72(%ecx)
+fmull 64(%esp)
+faddp %st(0),%st(2)
+fldl crypto_scalarmult_curve25519_athlon_alpha77
+fadd %st(4),%st(0)
+fldl 120(%ecx)
+fmull 120(%esp)
+faddp %st(0),%st(2)
+fxch %st(6)
+fmull crypto_scalarmult_curve25519_athlon_scale
+fldl 64(%ecx)
+fmull 80(%esp)
+faddp %st(0),%st(4)
+fldl 80(%ecx)
+fmull 56(%esp)
+faddp %st(0),%st(3)
+fxch %st(6)
+fsubl crypto_scalarmult_curve25519_athlon_alpha77
+fxch %st(5)
+fstpl -40(%edx)
+fldl 128(%ecx)
+fmull 112(%esp)
+faddp %st(0),%st(1)
+fldl 56(%ecx)
+fmull 96(%esp)
+faddp %st(0),%st(6)
+fldl 72(%ecx)
+fmull 72(%esp)
+faddp %st(0),%st(3)
+fxch %st(4)
+fadd %st(0),%st(1)
+fsubrp %st(0),%st(3)
+fldl 120(%ecx)
+fmull -128(%edx)
+fxch %st(4)
+fmull crypto_scalarmult_curve25519_athlon_scale
+fldl 64(%ecx)
+fmull 88(%esp)
+faddp %st(0),%st(6)
+fldl 80(%ecx)
+fmull 64(%esp)
+faddp %st(0),%st(3)
+fldl crypto_scalarmult_curve25519_athlon_alpha102
+fadd %st(2),%st(0)
+fldl 128(%ecx)
+fmull 120(%esp)
+faddp %st(0),%st(6)
+fldl 56(%ecx)
+fmull 104(%esp)
+faddp %st(0),%st(2)
+fldl 72(%ecx)
+fmull 80(%esp)
+faddp %st(0),%st(7)
+fldl 88(%ecx)
+fmull 56(%esp)
+faddp %st(0),%st(4)
+fsubl crypto_scalarmult_curve25519_athlon_alpha102
+fxch %st(4)
+fstpl -32(%edx)
+fxch %st(4)
+fmull crypto_scalarmult_curve25519_athlon_scale
+fldl 64(%ecx)
+fmull 96(%esp)
+faddp %st(0),%st(5)
+fldl 80(%ecx)
+fmull 72(%esp)
+faddp %st(0),%st(6)
+fxch %st(3)
+fadd %st(0),%st(2)
+fsubrp %st(0),%st(1)
+fldl 56(%ecx)
+fmull 112(%esp)
+faddp %st(0),%st(3)
+fldl 72(%ecx)
+fmull 88(%esp)
+faddp %st(0),%st(4)
+fldl 88(%ecx)
+fmull 64(%esp)
+faddp %st(0),%st(5)
+fldl crypto_scalarmult_curve25519_athlon_alpha128
+fadd %st(2),%st(0)
+fldl 64(%ecx)
+fmull 104(%esp)
+faddp %st(0),%st(4)
+fldl 80(%ecx)
+fmull 80(%esp)
+faddp %st(0),%st(5)
+fldl 96(%ecx)
+fmull 56(%esp)
+faddp %st(0),%st(6)
+fsubl crypto_scalarmult_curve25519_athlon_alpha128
+fxch %st(1)
+fstpl -24(%edx)
+fldl 72(%ecx)
+fmull 96(%esp)
+faddp %st(0),%st(3)
+fldl 88(%ecx)
+fmull 72(%esp)
+faddp %st(0),%st(4)
+fadd %st(0),%st(4)
+fsubrp %st(0),%st(1)
+fstpl 96(%edx)
+fldl 80(%ecx)
+fmull 88(%esp)
+faddp %st(0),%st(1)
+fldl 96(%ecx)
+fmull 64(%esp)
+faddp %st(0),%st(2)
+fldl crypto_scalarmult_curve25519_athlon_alpha153
+fadd %st(3),%st(0)
+fldl 88(%ecx)
+fmull 80(%esp)
+faddp %st(0),%st(2)
+fldl 104(%ecx)
+fmull 56(%esp)
+faddp %st(0),%st(3)
+fsubl crypto_scalarmult_curve25519_athlon_alpha153
+fldl 96(%ecx)
+fmull 72(%esp)
+faddp %st(0),%st(2)
+fadd %st(0),%st(2)
+fsubrp %st(0),%st(3)
+fxch %st(2)
+fstpl 104(%edx)
+fldl 104(%ecx)
+fmull 64(%esp)
+faddp %st(0),%st(2)
+fldl crypto_scalarmult_curve25519_athlon_alpha179
+fadd %st(1),%st(0)
+fldl 112(%ecx)
+fmull 56(%esp)
+faddp %st(0),%st(3)
+fsubl crypto_scalarmult_curve25519_athlon_alpha179
+fldl 0(%esp)
+fldl 8(%esp)
+fxch %st(2)
+fadd %st(0),%st(4)
+fsubrp %st(0),%st(3)
+fldl crypto_scalarmult_curve25519_athlon_alpha204
+fadd %st(4),%st(0)
+fsubl crypto_scalarmult_curve25519_athlon_alpha204
+fadd %st(0),%st(1)
+fsubrp %st(0),%st(4)
+fldl crypto_scalarmult_curve25519_athlon_alpha230
+fadd %st(1),%st(0)
+fsubl crypto_scalarmult_curve25519_athlon_alpha230
+fsubr %st(0),%st(1)
+faddp %st(0),%st(2)
+fxch %st(2)
+fstpl 112(%edx)
+fxch %st(2)
+fstpl 120(%edx)
+fstpl -128(%ecx)
+fstpl -120(%ecx)
+fldl 80(%edx)
+fmull 40(%ecx)
+fmull crypto_scalarmult_curve25519_athlon_scale
+fldl -104(%ecx)
+fmull 32(%ecx)
+faddp %st(0),%st(1)
+fldl -96(%ecx)
+fmull 24(%ecx)
+faddp %st(0),%st(1)
+fldl -104(%ecx)
+fmull 40(%ecx)
+fldl -88(%ecx)
+fmull 16(%ecx)
+faddp %st(0),%st(2)
+fldl -96(%ecx)
+fmull 32(%ecx)
+faddp %st(0),%st(1)
+fldl -80(%ecx)
+fmull 8(%ecx)
+faddp %st(0),%st(2)
+fldl -88(%ecx)
+fmull 24(%ecx)
+faddp %st(0),%st(1)
+fldl -16(%edx)
+fmull 0(%ecx)
+faddp %st(0),%st(2)
+fldl -80(%ecx)
+fmull 16(%ecx)
+faddp %st(0),%st(1)
+fldl -96(%ecx)
+fmull 40(%ecx)
+fldl -8(%edx)
+fmull -8(%ecx)
+faddp %st(0),%st(3)
+fldl -16(%edx)
+fmull 8(%ecx)
+faddp %st(0),%st(2)
+fldl -88(%ecx)
+fmull 32(%ecx)
+faddp %st(0),%st(1)
+fldl 0(%edx)
+fmull -16(%ecx)
+faddp %st(0),%st(3)
+fldl -8(%edx)
+fmull 0(%ecx)
+faddp %st(0),%st(2)
+fldl -80(%ecx)
+fmull 24(%ecx)
+faddp %st(0),%st(1)
+fldl 8(%edx)
+fmull -24(%ecx)
+faddp %st(0),%st(3)
+fldl 0(%edx)
+fmull -8(%ecx)
+faddp %st(0),%st(2)
+fldl -16(%edx)
+fmull 16(%ecx)
+faddp %st(0),%st(1)
+fldl 16(%edx)
+fmull -32(%ecx)
+faddp %st(0),%st(3)
+fldl 8(%edx)
+fmull -16(%ecx)
+faddp %st(0),%st(2)
+fldl -8(%edx)
+fmull 8(%ecx)
+faddp %st(0),%st(1)
+fldl -88(%ecx)
+fmull 40(%ecx)
+fldl 0(%edx)
+fmull 0(%ecx)
+faddp %st(0),%st(2)
+fldl 16(%edx)
+fmull -24(%ecx)
+faddp %st(0),%st(3)
+fldl crypto_scalarmult_curve25519_athlon_alpha230
+fadd %st(4),%st(0)
+fldl -80(%ecx)
+fmull 32(%ecx)
+faddp %st(0),%st(2)
+fldl 8(%edx)
+fmull -8(%ecx)
+faddp %st(0),%st(3)
+fldl 80(%edx)
+fmull -32(%ecx)
+faddp %st(0),%st(4)
+fsubl crypto_scalarmult_curve25519_athlon_alpha230
+fldl -16(%edx)
+fmull 24(%ecx)
+faddp %st(0),%st(2)
+fldl -80(%ecx)
+fmull 40(%ecx)
+fldl 16(%edx)
+fmull -16(%ecx)
+faddp %st(0),%st(4)
+fxch %st(1)
+fadd %st(0),%st(4)
+fldl -8(%edx)
+fmull 16(%ecx)
+faddp %st(0),%st(3)
+fldl -16(%edx)
+fmull 32(%ecx)
+faddp %st(0),%st(2)
+fsubrp %st(0),%st(5)
+fldl crypto_scalarmult_curve25519_athlon_alpha255
+fadd %st(4),%st(0)
+fldl 0(%edx)
+fmull 8(%ecx)
+faddp %st(0),%st(3)
+fldl -8(%edx)
+fmull 24(%ecx)
+faddp %st(0),%st(2)
+fldl 80(%edx)
+fmull -24(%ecx)
+faddp %st(0),%st(4)
+fsubl crypto_scalarmult_curve25519_athlon_alpha255
+fldl 8(%edx)
+fmull 0(%ecx)
+faddp %st(0),%st(3)
+fldl -16(%edx)
+fmull 40(%ecx)
+fldl 0(%edx)
+fmull 16(%ecx)
+faddp %st(0),%st(3)
+fldl 16(%edx)
+fmull -8(%ecx)
+faddp %st(0),%st(4)
+fxch %st(1)
+fadd %st(0),%st(4)
+fsubrp %st(0),%st(5)
+fxch %st(5)
+fstpl 0(%esp)
+fldl -8(%edx)
+fmull 32(%ecx)
+faddp %st(0),%st(5)
+fldl 8(%edx)
+fmull 8(%ecx)
+faddp %st(0),%st(1)
+fldl 80(%edx)
+fmull -16(%ecx)
+faddp %st(0),%st(2)
+fxch %st(2)
+fmull crypto_scalarmult_curve25519_athlon_scale
+fldl 0(%edx)
+fmull 24(%ecx)
+faddp %st(0),%st(5)
+fldl 16(%edx)
+fmull 0(%ecx)
+faddp %st(0),%st(3)
+fxch %st(1)
+fmull crypto_scalarmult_curve25519_athlon_scale
+fldl -104(%ecx)
+fmull -32(%ecx)
+faddp %st(0),%st(2)
+fxch %st(3)
+fstpl 8(%esp)
+fldl -8(%edx)
+fmull 40(%ecx)
+fldl 8(%edx)
+fmull 16(%ecx)
+faddp %st(0),%st(5)
+fldl 80(%edx)
+fmull -8(%ecx)
+faddp %st(0),%st(3)
+fldl -104(%ecx)
+fmull -24(%ecx)
+faddp %st(0),%st(4)
+fldl crypto_scalarmult_curve25519_athlon_alpha26
+fadd %st(2),%st(0)
+fldl 0(%edx)
+fmull 32(%ecx)
+faddp %st(0),%st(2)
+fldl 16(%edx)
+fmull 8(%ecx)
+faddp %st(0),%st(6)
+fxch %st(3)
+fmull crypto_scalarmult_curve25519_athlon_scale
+fldl -96(%ecx)
+fmull -32(%ecx)
+faddp %st(0),%st(5)
+fxch %st(3)
+fsubl crypto_scalarmult_curve25519_athlon_alpha26
+fldl 8(%edx)
+fmull 24(%ecx)
+faddp %st(0),%st(2)
+fldl 80(%edx)
+fmull 0(%ecx)
+faddp %st(0),%st(6)
+fldl -104(%ecx)
+fmull -16(%ecx)
+faddp %st(0),%st(4)
+fadd %st(0),%st(4)
+fsubrp %st(0),%st(2)
+fldl 0(%edx)
+fmull 40(%ecx)
+fldl 16(%edx)
+fmull 16(%ecx)
+faddp %st(0),%st(2)
+fxch %st(5)
+fmull crypto_scalarmult_curve25519_athlon_scale
+fldl -96(%ecx)
+fmull -24(%ecx)
+faddp %st(0),%st(4)
+fldl crypto_scalarmult_curve25519_athlon_alpha51
+fadd %st(5),%st(0)
+fldl 8(%edx)
+fmull 32(%ecx)
+faddp %st(0),%st(7)
+fldl 80(%edx)
+fmull 8(%ecx)
+faddp %st(0),%st(3)
+fldl -104(%ecx)
+fmull -8(%ecx)
+faddp %st(0),%st(2)
+fldl -88(%ecx)
+fmull -32(%ecx)
+faddp %st(0),%st(5)
+fsubl crypto_scalarmult_curve25519_athlon_alpha51
+fxch %st(3)
+fstpl 64(%edx)
+fldl 16(%edx)
+fmull 24(%ecx)
+faddp %st(0),%st(6)
+fxch %st(1)
+fmull crypto_scalarmult_curve25519_athlon_scale
+fldl -96(%ecx)
+fmull -16(%ecx)
+faddp %st(0),%st(2)
+fxch %st(2)
+fadd %st(0),%st(3)
+fsubrp %st(0),%st(4)
+fldl 8(%edx)
+fmull 40(%ecx)
+fldl 80(%edx)
+fmull 16(%ecx)
+faddp %st(0),%st(6)
+fldl -104(%ecx)
+fmull 0(%ecx)
+faddp %st(0),%st(3)
+fldl -88(%ecx)
+fmull -24(%ecx)
+faddp %st(0),%st(2)
+fldl crypto_scalarmult_curve25519_athlon_alpha77
+fadd %st(4),%st(0)
+fldl 16(%edx)
+fmull 32(%ecx)
+faddp %st(0),%st(2)
+fxch %st(6)
+fmull crypto_scalarmult_curve25519_athlon_scale
+fldl -96(%ecx)
+fmull -8(%ecx)
+faddp %st(0),%st(4)
+fldl -80(%ecx)
+fmull -32(%ecx)
+faddp %st(0),%st(3)
+fxch %st(6)
+fsubl crypto_scalarmult_curve25519_athlon_alpha77
+fxch %st(5)
+fstpl 72(%edx)
+fldl 80(%edx)
+fmull 24(%ecx)
+faddp %st(0),%st(1)
+fldl -104(%ecx)
+fmull 8(%ecx)
+faddp %st(0),%st(6)
+fldl -88(%ecx)
+fmull -16(%ecx)
+faddp %st(0),%st(3)
+fxch %st(4)
+fadd %st(0),%st(1)
+fsubrp %st(0),%st(3)
+fldl 16(%edx)
+fmull 40(%ecx)
+fxch %st(4)
+fmull crypto_scalarmult_curve25519_athlon_scale
+fldl -96(%ecx)
+fmull 0(%ecx)
+faddp %st(0),%st(6)
+fldl -80(%ecx)
+fmull -24(%ecx)
+faddp %st(0),%st(3)
+fldl crypto_scalarmult_curve25519_athlon_alpha102
+fadd %st(2),%st(0)
+fldl 80(%edx)
+fmull 32(%ecx)
+faddp %st(0),%st(6)
+fldl -104(%ecx)
+fmull 16(%ecx)
+faddp %st(0),%st(2)
+fldl -88(%ecx)
+fmull -8(%ecx)
+faddp %st(0),%st(7)
+fldl -16(%edx)
+fmull -32(%ecx)
+faddp %st(0),%st(4)
+fsubl crypto_scalarmult_curve25519_athlon_alpha102
+fxch %st(4)
+fstpl 80(%edx)
+fxch %st(4)
+fmull crypto_scalarmult_curve25519_athlon_scale
+fldl -96(%ecx)
+fmull 8(%ecx)
+faddp %st(0),%st(5)
+fldl -80(%ecx)
+fmull -16(%ecx)
+faddp %st(0),%st(6)
+fxch %st(3)
+fadd %st(0),%st(2)
+fsubrp %st(0),%st(1)
+fldl -104(%ecx)
+fmull 24(%ecx)
+faddp %st(0),%st(3)
+fldl -88(%ecx)
+fmull 0(%ecx)
+faddp %st(0),%st(4)
+fldl -16(%edx)
+fmull -24(%ecx)
+faddp %st(0),%st(5)
+fldl crypto_scalarmult_curve25519_athlon_alpha128
+fadd %st(2),%st(0)
+fldl -96(%ecx)
+fmull 16(%ecx)
+faddp %st(0),%st(4)
+fldl -80(%ecx)
+fmull -8(%ecx)
+faddp %st(0),%st(5)
+fldl -8(%edx)
+fmull -32(%ecx)
+faddp %st(0),%st(6)
+fsubl crypto_scalarmult_curve25519_athlon_alpha128
+fxch %st(1)
+fstpl 88(%edx)
+fldl -88(%ecx)
+fmull 8(%ecx)
+faddp %st(0),%st(3)
+fldl -16(%edx)
+fmull -16(%ecx)
+faddp %st(0),%st(4)
+fadd %st(0),%st(4)
+fsubrp %st(0),%st(1)
+fstpl -104(%ecx)
+fldl -80(%ecx)
+fmull 0(%ecx)
+faddp %st(0),%st(1)
+fldl -8(%edx)
+fmull -24(%ecx)
+faddp %st(0),%st(2)
+fldl crypto_scalarmult_curve25519_athlon_alpha153
+fadd %st(3),%st(0)
+fldl -16(%edx)
+fmull -8(%ecx)
+faddp %st(0),%st(2)
+fldl 0(%edx)
+fmull -32(%ecx)
+faddp %st(0),%st(3)
+fsubl crypto_scalarmult_curve25519_athlon_alpha153
+fldl -8(%edx)
+fmull -16(%ecx)
+faddp %st(0),%st(2)
+fadd %st(0),%st(2)
+fsubrp %st(0),%st(3)
+fxch %st(2)
+fstpl -96(%ecx)
+fldl 0(%edx)
+fmull -24(%ecx)
+faddp %st(0),%st(2)
+fldl crypto_scalarmult_curve25519_athlon_alpha179
+fadd %st(1),%st(0)
+fldl 8(%edx)
+fmull -32(%ecx)
+faddp %st(0),%st(3)
+fsubl crypto_scalarmult_curve25519_athlon_alpha179
+fldl 0(%esp)
+fldl 8(%esp)
+fxch %st(2)
+fadd %st(0),%st(4)
+fsubrp %st(0),%st(3)
+fldl crypto_scalarmult_curve25519_athlon_alpha204
+fadd %st(4),%st(0)
+fsubl crypto_scalarmult_curve25519_athlon_alpha204
+fadd %st(0),%st(1)
+fsubrp %st(0),%st(4)
+fldl crypto_scalarmult_curve25519_athlon_alpha230
+fadd %st(1),%st(0)
+fsubl crypto_scalarmult_curve25519_athlon_alpha230
+fsubr %st(0),%st(1)
+faddp %st(0),%st(2)
+fxch %st(2)
+fstpl -88(%ecx)
+fxch %st(2)
+fstpl -80(%ecx)
+fstpl -72(%ecx)
+fstpl -64(%ecx)
+fldl 136(%ecx)
+fldl -120(%edx)
+fldl 16(%esp)
+fsubr %st(1),%st(0)
+fmul %st(2),%st(0)
+fsubr %st(0),%st(1)
+faddl 16(%esp)
+fxch %st(1)
+fstpl -16(%edx)
+fstpl 0(%esp)
+fldl -112(%edx)
+fldl 24(%esp)
+fsubr %st(1),%st(0)
+fmul %st(2),%st(0)
+fsubr %st(0),%st(1)
+faddl 24(%esp)
+fxch %st(1)
+fstpl -8(%edx)
+fstpl 8(%esp)
+fldl -104(%edx)
+fldl 32(%esp)
+fsubr %st(1),%st(0)
+fmul %st(2),%st(0)
+fsubr %st(0),%st(1)
+faddl 32(%esp)
+fxch %st(1)
+fstpl 0(%edx)
+fstpl 16(%esp)
+fldl 40(%edx)
+fldl 40(%esp)
+fsubr %st(1),%st(0)
+fmul %st(2),%st(0)
+fsubr %st(0),%st(1)
+faddl 40(%esp)
+fxch %st(1)
+fstpl 8(%edx)
+fstpl 24(%esp)
+fldl -96(%edx)
+fldl 48(%esp)
+fsubr %st(1),%st(0)
+fmul %st(2),%st(0)
+fsubr %st(0),%st(1)
+faddl 48(%esp)
+fxch %st(1)
+fstpl 16(%edx)
+fstpl 32(%esp)
+fldl -88(%edx)
+fldl 24(%edx)
+fsubr %st(1),%st(0)
+fmul %st(2),%st(0)
+fsubr %st(0),%st(1)
+faddl 24(%edx)
+fxch %st(1)
+fstpl 24(%edx)
+fstpl 40(%esp)
+fldl -80(%edx)
+fldl 32(%edx)
+fsubr %st(1),%st(0)
+fmul %st(2),%st(0)
+fsubr %st(0),%st(1)
+faddl 32(%edx)
+fxch %st(1)
+fstpl 32(%edx)
+fstpl 48(%esp)
+fldl -72(%edx)
+fldl 48(%edx)
+fsubr %st(1),%st(0)
+fmul %st(2),%st(0)
+fsubr %st(0),%st(1)
+faddl 48(%edx)
+fxch %st(1)
+fstpl 40(%edx)
+fstpl -120(%edx)
+fldl -64(%edx)
+fldl 56(%edx)
+fsubr %st(1),%st(0)
+fmul %st(2),%st(0)
+fsubr %st(0),%st(1)
+faddl 56(%edx)
+fxch %st(1)
+fstpl 48(%edx)
+fstpl -112(%edx)
+fldl -56(%edx)
+fldl -112(%ecx)
+fsubr %st(1),%st(0)
+fmul %st(2),%st(0)
+fsubr %st(0),%st(1)
+faddl -112(%ecx)
+fxch %st(1)
+fstpl 56(%edx)
+fstpl -104(%edx)
+fldl -48(%edx)
+fldl 64(%edx)
+fsubr %st(1),%st(0)
+fmul %st(2),%st(0)
+fsubr %st(0),%st(1)
+faddl 64(%edx)
+fxch %st(1)
+fstpl 64(%edx)
+fstpl -96(%edx)
+fldl -40(%edx)
+fldl 72(%edx)
+fsubr %st(1),%st(0)
+fmul %st(2),%st(0)
+fsubr %st(0),%st(1)
+faddl 72(%edx)
+fxch %st(1)
+fstpl 72(%edx)
+fstpl -88(%edx)
+fldl -32(%edx)
+fldl 80(%edx)
+fsubr %st(1),%st(0)
+fmul %st(2),%st(0)
+fsubr %st(0),%st(1)
+faddl 80(%edx)
+fxch %st(1)
+fstpl 80(%edx)
+fstpl -80(%edx)
+fldl -24(%edx)
+fldl 88(%edx)
+fsubr %st(1),%st(0)
+fmul %st(2),%st(0)
+fsubr %st(0),%st(1)
+faddl 88(%edx)
+fxch %st(1)
+fstpl 88(%edx)
+fstpl -72(%edx)
+fldl 96(%edx)
+fldl -104(%ecx)
+fsubr %st(1),%st(0)
+fmul %st(2),%st(0)
+fsubr %st(0),%st(1)
+faddl -104(%ecx)
+fxch %st(1)
+fstpl 96(%edx)
+fstpl -64(%edx)
+fldl 104(%edx)
+fldl -96(%ecx)
+fsubr %st(1),%st(0)
+fmul %st(2),%st(0)
+fsubr %st(0),%st(1)
+faddl -96(%ecx)
+fxch %st(1)
+fstpl 104(%edx)
+fstpl -56(%edx)
+fldl 112(%edx)
+fldl -88(%ecx)
+fsubr %st(1),%st(0)
+fmul %st(2),%st(0)
+fsubr %st(0),%st(1)
+faddl -88(%ecx)
+fxch %st(1)
+fstpl 112(%edx)
+fstpl -48(%edx)
+fldl 120(%edx)
+fldl -80(%ecx)
+fsubr %st(1),%st(0)
+fmul %st(2),%st(0)
+fsubr %st(0),%st(1)
+faddl -80(%ecx)
+fxch %st(1)
+fstpl 120(%edx)
+fstpl -40(%edx)
+fldl -128(%ecx)
+fldl -72(%ecx)
+fsubr %st(1),%st(0)
+fmul %st(2),%st(0)
+fsubr %st(0),%st(1)
+faddl -72(%ecx)
+fxch %st(1)
+fstpl -128(%ecx)
+fstpl -32(%edx)
+fldl -120(%ecx)
+fldl -64(%ecx)
+fsubr %st(1),%st(0)
+fmulp %st(0),%st(2)
+fsub %st(1),%st(0)
+fxch %st(1)
+faddl -64(%ecx)
+fxch %st(1)
+fstpl -120(%ecx)
+fstpl -24(%edx)
+movl 180(%ecx),%esi
+movl 184(%ecx),%ebp
+sub  $1,%ebp
+ja ._morebits
+movl 188(%ecx),%edi
+sub  $4,%edi
+jb ._done
+movl (%ebx,%edi),%esi
+mov  $32,%ebp
+jmp ._morebytes
+._done:
+movl 4(%esp,%eax),%eax
+fldl 0(%esp)
+fstpl 0(%eax)
+fldl 8(%esp)
+fstpl 8(%eax)
+fldl 16(%esp)
+fstpl 16(%eax)
+fldl 24(%esp)
+fstpl 24(%eax)
+fldl 32(%esp)
+fstpl 32(%eax)
+fldl 40(%esp)
+fstpl 40(%eax)
+fldl 48(%esp)
+fstpl 48(%eax)
+fldl -120(%edx)
+fstpl 56(%eax)
+fldl -112(%edx)
+fstpl 64(%eax)
+fldl -104(%edx)
+fstpl 72(%eax)
+fldl -96(%edx)
+fstpl 80(%eax)
+fldl -88(%edx)
+fstpl 88(%eax)
+fldl -80(%edx)
+fstpl 96(%eax)
+fldl -72(%edx)
+fstpl 104(%eax)
+fldl -64(%edx)
+fstpl 112(%eax)
+fldl -56(%edx)
+fstpl 120(%eax)
+fldl -48(%edx)
+fstpl 128(%eax)
+fldl -40(%edx)
+fstpl 136(%eax)
+fldl -32(%edx)
+fstpl 144(%eax)
+fldl -24(%edx)
+fstpl 152(%eax)
+movl 160(%ecx),%eax
+movl 164(%ecx),%ebx
+movl 168(%ecx),%esi
+movl 172(%ecx),%edi
+movl 176(%ecx),%ebp
+add %eax,%esp
+ret