|
Packit |
5c3484 |
dnl AMD64 mpn_redc_1 optimised for Intel Haswell.
|
|
Packit |
5c3484 |
|
|
Packit |
5c3484 |
dnl Contributed to the GNU project by Torbjörn Granlund.
|
|
Packit |
5c3484 |
|
|
Packit |
5c3484 |
dnl Copyright 2013 Free Software Foundation, Inc.
|
|
Packit |
5c3484 |
|
|
Packit |
5c3484 |
dnl This file is part of the GNU MP Library.
|
|
Packit |
5c3484 |
dnl
|
|
Packit |
5c3484 |
dnl The GNU MP Library is free software; you can redistribute it and/or modify
|
|
Packit |
5c3484 |
dnl it under the terms of either:
|
|
Packit |
5c3484 |
dnl
|
|
Packit |
5c3484 |
dnl * the GNU Lesser General Public License as published by the Free
|
|
Packit |
5c3484 |
dnl Software Foundation; either version 3 of the License, or (at your
|
|
Packit |
5c3484 |
dnl option) any later version.
|
|
Packit |
5c3484 |
dnl
|
|
Packit |
5c3484 |
dnl or
|
|
Packit |
5c3484 |
dnl
|
|
Packit |
5c3484 |
dnl * the GNU General Public License as published by the Free Software
|
|
Packit |
5c3484 |
dnl Foundation; either version 2 of the License, or (at your option) any
|
|
Packit |
5c3484 |
dnl later version.
|
|
Packit |
5c3484 |
dnl
|
|
Packit |
5c3484 |
dnl or both in parallel, as here.
|
|
Packit |
5c3484 |
dnl
|
|
Packit |
5c3484 |
dnl The GNU MP Library is distributed in the hope that it will be useful, but
|
|
Packit |
5c3484 |
dnl WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY
|
|
Packit |
5c3484 |
dnl or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
|
|
Packit |
5c3484 |
dnl for more details.
|
|
Packit |
5c3484 |
dnl
|
|
Packit |
5c3484 |
dnl You should have received copies of the GNU General Public License and the
|
|
Packit |
5c3484 |
dnl GNU Lesser General Public License along with the GNU MP Library. If not,
|
|
Packit |
5c3484 |
dnl see https://www.gnu.org/licenses/.
|
|
Packit |
5c3484 |
|
|
Packit |
5c3484 |
include(`../config.m4')
|
|
Packit |
5c3484 |
|
|
Packit |
5c3484 |
C cycles/limb
|
|
Packit |
5c3484 |
C AMD K8,K9 n/a
|
|
Packit |
5c3484 |
C AMD K10 n/a
|
|
Packit |
5c3484 |
C AMD bull n/a
|
|
Packit |
5c3484 |
C AMD pile n/a
|
|
Packit |
5c3484 |
C AMD steam ?
|
|
Packit |
5c3484 |
C AMD bobcat n/a
|
|
Packit |
5c3484 |
C AMD jaguar ?
|
|
Packit |
5c3484 |
C Intel P4 n/a
|
|
Packit |
5c3484 |
C Intel core n/a
|
|
Packit |
5c3484 |
C Intel NHM n/a
|
|
Packit |
5c3484 |
C Intel SBR n/a
|
|
Packit |
5c3484 |
C Intel IBR n/a
|
|
Packit |
5c3484 |
C Intel HWL 2.32
|
|
Packit |
5c3484 |
C Intel BWL ?
|
|
Packit |
5c3484 |
C Intel atom n/a
|
|
Packit |
5c3484 |
C VIA nano n/a
|
|
Packit |
5c3484 |
|
|
Packit |
5c3484 |
C The inner loops of this code are the result of running a code generation and
|
|
Packit |
5c3484 |
C optimisation tool suite written by David Harvey and Torbjörn Granlund.
|
|
Packit |
5c3484 |
|
|
Packit |
5c3484 |
C TODO
|
|
Packit |
5c3484 |
C * Micro-optimise.
|
|
Packit |
5c3484 |
C * Consider inlining mpn_add_n. Tests indicate that this saves just 1-2
|
|
Packit |
5c3484 |
C cycles, though.
|
|
Packit |
5c3484 |
|
|
Packit |
5c3484 |
define(`rp', `%rdi') C rcx
|
|
Packit |
5c3484 |
define(`up', `%rsi') C rdx
|
|
Packit |
5c3484 |
define(`mp_param', `%rdx') C r8
|
|
Packit |
5c3484 |
define(`n', `%rcx') C r9
|
|
Packit |
5c3484 |
define(`u0inv_param', `%r8') C stack
|
|
Packit |
5c3484 |
|
|
Packit |
5c3484 |
define(`i', `%r14')
|
|
Packit |
5c3484 |
define(`j', `%r15')
|
|
Packit |
5c3484 |
define(`mp', `%rdi')
|
|
Packit |
5c3484 |
define(`u0inv', `(%rsp)') C stack
|
|
Packit |
5c3484 |
|
|
Packit |
5c3484 |
ABI_SUPPORT(DOS64) C FIXME: needs verification
|
|
Packit |
5c3484 |
ABI_SUPPORT(STD64)
|
|
Packit |
5c3484 |
|
|
Packit |
5c3484 |
ASM_START()
|
|
Packit |
5c3484 |
TEXT
|
|
Packit |
5c3484 |
ALIGN(16)
|
|
Packit |
5c3484 |
PROLOGUE(mpn_redc_1)
|
|
Packit |
5c3484 |
FUNC_ENTRY(4)
|
|
Packit |
5c3484 |
IFDOS(` mov 56(%rsp), %r8 ')
|
|
Packit |
5c3484 |
push %rbx
|
|
Packit |
5c3484 |
push %rbp
|
|
Packit |
5c3484 |
push %r12
|
|
Packit |
5c3484 |
push %r13
|
|
Packit |
5c3484 |
push %r14
|
|
Packit |
5c3484 |
push %r15
|
|
Packit |
5c3484 |
push rp
|
|
Packit |
5c3484 |
mov mp_param, mp C note that rp and mp shares register
|
|
Packit |
5c3484 |
mov (up), %rdx
|
|
Packit |
5c3484 |
|
|
Packit |
5c3484 |
neg n
|
|
Packit |
5c3484 |
push %r8 C put u0inv on stack
|
|
Packit |
5c3484 |
imul u0inv_param, %rdx C first iteration q0
|
|
Packit |
5c3484 |
mov n, j C outer loop induction var
|
|
Packit |
5c3484 |
|
|
Packit |
5c3484 |
test $1, R8(n)
|
|
Packit |
5c3484 |
jnz L(bx1)
|
|
Packit |
5c3484 |
|
|
Packit |
5c3484 |
L(bx0): test $2, R8(n)
|
|
Packit |
5c3484 |
jz L(o0b)
|
|
Packit |
5c3484 |
|
|
Packit |
5c3484 |
cmp $-2, R32(n)
|
|
Packit |
5c3484 |
jnz L(o2)
|
|
Packit |
5c3484 |
|
|
Packit |
5c3484 |
C Special code for n = 2 since general code cannot handle it
|
|
Packit |
5c3484 |
mov 8(%rsp), %rbx C rp
|
|
Packit |
5c3484 |
lea 16(%rsp), %rsp C deallocate two slots
|
|
Packit |
5c3484 |
mulx( (mp), %r9, %r12)
|
|
Packit |
5c3484 |
mulx( 8,(mp), %r11, %r10)
|
|
Packit |
5c3484 |
add %r12, %r11
|
|
Packit |
5c3484 |
adc $0, %r10
|
|
Packit |
5c3484 |
add (up), %r9 C = 0
|
|
Packit |
5c3484 |
adc 8(up), %r11 C r11 = up[1]
|
|
Packit |
5c3484 |
adc $0, %r10 C -> up[0]
|
|
Packit |
5c3484 |
mov %r11, %rdx
|
|
Packit |
5c3484 |
imul u0inv_param, %rdx
|
|
Packit |
5c3484 |
mulx( (mp), %r13, %r12)
|
|
Packit |
5c3484 |
mulx( 8,(mp), %r14, %r15)
|
|
Packit |
5c3484 |
xor R32(%rax), R32(%rax)
|
|
Packit |
5c3484 |
add %r12, %r14
|
|
Packit |
5c3484 |
adc $0, %r15
|
|
Packit |
5c3484 |
add %r11, %r13 C = 0
|
|
Packit |
5c3484 |
adc 16(up), %r14 C rp[2]
|
|
Packit |
5c3484 |
adc $0, %r15 C -> up[1]
|
|
Packit |
5c3484 |
add %r14, %r10
|
|
Packit |
5c3484 |
adc 24(up), %r15
|
|
Packit |
5c3484 |
mov %r10, (%rbx)
|
|
Packit |
5c3484 |
mov %r15, 8(%rbx)
|
|
Packit |
5c3484 |
setc R8(%rax)
|
|
Packit |
5c3484 |
jmp L(ret)
|
|
Packit |
5c3484 |
|
|
Packit |
5c3484 |
L(o2): lea 2(n), i C inner loop induction var
|
|
Packit |
5c3484 |
mulx( (mp), %r9, %r8)
|
|
Packit |
5c3484 |
mulx( 8,(mp), %r11, %r10)
|
|
Packit |
5c3484 |
sar $2, i
|
|
Packit |
5c3484 |
add %r8, %r11
|
|
Packit |
5c3484 |
jmp L(lo2)
|
|
Packit |
5c3484 |
|
|
Packit |
5c3484 |
ALIGN(16)
|
|
Packit |
5c3484 |
L(tp2): adc %rax, %r9
|
|
Packit |
5c3484 |
lea 32(up), up
|
|
Packit |
5c3484 |
adc %r8, %r11
|
|
Packit |
5c3484 |
L(lo2): mulx( 16,(mp), %r13, %r12)
|
|
Packit |
5c3484 |
mov (up), %r8
|
|
Packit |
5c3484 |
mulx( 24,(mp), %rbx, %rax)
|
|
Packit |
5c3484 |
lea 32(mp), mp
|
|
Packit |
5c3484 |
adc %r10, %r13
|
|
Packit |
5c3484 |
adc %r12, %rbx
|
|
Packit |
5c3484 |
adc $0, %rax
|
|
Packit |
5c3484 |
mov 8(up), %r10
|
|
Packit |
5c3484 |
mov 16(up), %r12
|
|
Packit |
5c3484 |
add %r9, %r8
|
|
Packit |
5c3484 |
mov 24(up), %rbp
|
|
Packit |
5c3484 |
mov %r8, (up)
|
|
Packit |
5c3484 |
adc %r11, %r10
|
|
Packit |
5c3484 |
mulx( (mp), %r9, %r8)
|
|
Packit |
5c3484 |
mov %r10, 8(up)
|
|
Packit |
5c3484 |
adc %r13, %r12
|
|
Packit |
5c3484 |
mov %r12, 16(up)
|
|
Packit |
5c3484 |
adc %rbx, %rbp
|
|
Packit |
5c3484 |
mulx( 8,(mp), %r11, %r10)
|
|
Packit |
5c3484 |
mov %rbp, 24(up)
|
|
Packit |
5c3484 |
inc i
|
|
Packit |
5c3484 |
jnz L(tp2)
|
|
Packit |
5c3484 |
|
|
Packit |
5c3484 |
L(ed2): mov 56(up,n,8), %rdx C next iteration up[0]
|
|
Packit |
5c3484 |
lea 16(mp,n,8), mp C mp = (last starting mp)
|
|
Packit |
5c3484 |
adc %rax, %r9
|
|
Packit |
5c3484 |
adc %r8, %r11
|
|
Packit |
5c3484 |
mov 32(up), %r8
|
|
Packit |
5c3484 |
adc $0, %r10
|
|
Packit |
5c3484 |
imul u0inv, %rdx C next iteration q0
|
|
Packit |
5c3484 |
mov 40(up), %rax
|
|
Packit |
5c3484 |
add %r9, %r8
|
|
Packit |
5c3484 |
mov %r8, 32(up)
|
|
Packit |
5c3484 |
adc %r11, %rax
|
|
Packit |
5c3484 |
mov %rax, 40(up)
|
|
Packit |
5c3484 |
lea 56(up,n,8), up C up = (last starting up) + 1
|
|
Packit |
5c3484 |
adc $0, %r10
|
|
Packit |
5c3484 |
mov %r10, -8(up)
|
|
Packit |
5c3484 |
inc j
|
|
Packit |
5c3484 |
jnz L(o2)
|
|
Packit |
5c3484 |
|
|
Packit |
5c3484 |
jmp L(cj)
|
|
Packit |
5c3484 |
|
|
Packit |
5c3484 |
|
|
Packit |
5c3484 |
L(bx1): test $2, R8(n)
|
|
Packit |
5c3484 |
jz L(o3a)
|
|
Packit |
5c3484 |
|
|
Packit |
5c3484 |
L(o1a): cmp $-1, R32(n)
|
|
Packit |
5c3484 |
jnz L(o1b)
|
|
Packit |
5c3484 |
|
|
Packit |
5c3484 |
C Special code for n = 1 since general code cannot handle it
|
|
Packit |
5c3484 |
mov 8(%rsp), %rbx C rp
|
|
Packit |
5c3484 |
lea 16(%rsp), %rsp C deallocate two slots
|
|
Packit |
5c3484 |
mulx( (mp), %r11, %r10)
|
|
Packit |
5c3484 |
add (up), %r11
|
|
Packit |
5c3484 |
adc 8(up), %r10
|
|
Packit |
5c3484 |
mov %r10, (%rbx)
|
|
Packit |
5c3484 |
mov $0, R32(%rax)
|
|
Packit |
5c3484 |
setc R8(%rax)
|
|
Packit |
5c3484 |
jmp L(ret)
|
|
Packit |
5c3484 |
|
|
Packit |
5c3484 |
L(o1b): lea 24(mp), mp
|
|
Packit |
5c3484 |
L(o1): lea 1(n), i C inner loop induction var
|
|
Packit |
5c3484 |
mulx( -24,(mp), %r11, %r10)
|
|
Packit |
5c3484 |
mulx( -16,(mp), %r13, %r12)
|
|
Packit |
5c3484 |
mulx( -8,(mp), %rbx, %rax)
|
|
Packit |
5c3484 |
sar $2, i
|
|
Packit |
5c3484 |
add %r10, %r13
|
|
Packit |
5c3484 |
adc %r12, %rbx
|
|
Packit |
5c3484 |
adc $0, %rax
|
|
Packit |
5c3484 |
mov (up), %r10
|
|
Packit |
5c3484 |
mov 8(up), %r12
|
|
Packit |
5c3484 |
mov 16(up), %rbp
|
|
Packit |
5c3484 |
add %r11, %r10
|
|
Packit |
5c3484 |
jmp L(lo1)
|
|
Packit |
5c3484 |
|
|
Packit |
5c3484 |
ALIGN(16)
|
|
Packit |
5c3484 |
L(tp1): adc %rax, %r9
|
|
Packit |
5c3484 |
lea 32(up), up
|
|
Packit |
5c3484 |
adc %r8, %r11
|
|
Packit |
5c3484 |
mulx( 16,(mp), %r13, %r12)
|
|
Packit |
5c3484 |
mov -8(up), %r8
|
|
Packit |
5c3484 |
mulx( 24,(mp), %rbx, %rax)
|
|
Packit |
5c3484 |
lea 32(mp), mp
|
|
Packit |
5c3484 |
adc %r10, %r13
|
|
Packit |
5c3484 |
adc %r12, %rbx
|
|
Packit |
5c3484 |
adc $0, %rax
|
|
Packit |
5c3484 |
mov (up), %r10
|
|
Packit |
5c3484 |
mov 8(up), %r12
|
|
Packit |
5c3484 |
add %r9, %r8
|
|
Packit |
5c3484 |
mov 16(up), %rbp
|
|
Packit |
5c3484 |
mov %r8, -8(up)
|
|
Packit |
5c3484 |
adc %r11, %r10
|
|
Packit |
5c3484 |
L(lo1): mulx( (mp), %r9, %r8)
|
|
Packit |
5c3484 |
mov %r10, (up)
|
|
Packit |
5c3484 |
adc %r13, %r12
|
|
Packit |
5c3484 |
mov %r12, 8(up)
|
|
Packit |
5c3484 |
adc %rbx, %rbp
|
|
Packit |
5c3484 |
mulx( 8,(mp), %r11, %r10)
|
|
Packit |
5c3484 |
mov %rbp, 16(up)
|
|
Packit |
5c3484 |
inc i
|
|
Packit |
5c3484 |
jnz L(tp1)
|
|
Packit |
5c3484 |
|
|
Packit |
5c3484 |
L(ed1): mov 48(up,n,8), %rdx C next iteration up[0]
|
|
Packit |
5c3484 |
lea 40(mp,n,8), mp C mp = (last starting mp)
|
|
Packit |
5c3484 |
adc %rax, %r9
|
|
Packit |
5c3484 |
adc %r8, %r11
|
|
Packit |
5c3484 |
mov 24(up), %r8
|
|
Packit |
5c3484 |
adc $0, %r10
|
|
Packit |
5c3484 |
imul u0inv, %rdx C next iteration q0
|
|
Packit |
5c3484 |
mov 32(up), %rax
|
|
Packit |
5c3484 |
add %r9, %r8
|
|
Packit |
5c3484 |
mov %r8, 24(up)
|
|
Packit |
5c3484 |
adc %r11, %rax
|
|
Packit |
5c3484 |
mov %rax, 32(up)
|
|
Packit |
5c3484 |
lea 48(up,n,8), up C up = (last starting up) + 1
|
|
Packit |
5c3484 |
adc $0, %r10
|
|
Packit |
5c3484 |
mov %r10, -8(up)
|
|
Packit |
5c3484 |
inc j
|
|
Packit |
5c3484 |
jnz L(o1)
|
|
Packit |
5c3484 |
|
|
Packit |
5c3484 |
jmp L(cj)
|
|
Packit |
5c3484 |
|
|
Packit |
5c3484 |
L(o3a): cmp $-3, R32(n)
|
|
Packit |
5c3484 |
jnz L(o3b)
|
|
Packit |
5c3484 |
|
|
Packit |
5c3484 |
C Special code for n = 3 since general code cannot handle it
|
|
Packit |
5c3484 |
L(n3): mulx( (mp), %rbx, %rax)
|
|
Packit |
5c3484 |
mulx( 8,(mp), %r9, %r14)
|
|
Packit |
5c3484 |
add (up), %rbx
|
|
Packit |
5c3484 |
mulx( 16,(mp), %r11, %r10)
|
|
Packit |
5c3484 |
adc %rax, %r9 C W 1
|
|
Packit |
5c3484 |
adc %r14, %r11 C W 2
|
|
Packit |
5c3484 |
mov 8(up), %r14
|
|
Packit |
5c3484 |
mov u0inv_param, %rdx
|
|
Packit |
5c3484 |
adc $0, %r10 C W 3
|
|
Packit |
5c3484 |
mov 16(up), %rax
|
|
Packit |
5c3484 |
add %r9, %r14 C W 1
|
|
Packit |
5c3484 |
mov %r14, 8(up)
|
|
Packit |
5c3484 |
mulx( %r14, %rdx, %r13) C next iteration q0
|
|
Packit |
5c3484 |
adc %r11, %rax C W 2
|
|
Packit |
5c3484 |
mov %rax, 16(up)
|
|
Packit |
5c3484 |
adc $0, %r10 C W 3
|
|
Packit |
5c3484 |
mov %r10, (up)
|
|
Packit |
5c3484 |
lea 8(up), up C up = (last starting up) + 1
|
|
Packit |
5c3484 |
inc j
|
|
Packit |
5c3484 |
jnz L(n3)
|
|
Packit |
5c3484 |
|
|
Packit |
5c3484 |
jmp L(cj)
|
|
Packit |
5c3484 |
|
|
Packit |
5c3484 |
L(o3b): lea 8(mp), mp
|
|
Packit |
5c3484 |
L(o3): lea 4(n), i C inner loop induction var
|
|
Packit |
5c3484 |
mulx( -8,(mp), %rbx, %rax)
|
|
Packit |
5c3484 |
mulx( (mp), %r9, %r8)
|
|
Packit |
5c3484 |
mov (up), %rbp
|
|
Packit |
5c3484 |
mulx( 8,(mp), %r11, %r10)
|
|
Packit |
5c3484 |
sar $2, i
|
|
Packit |
5c3484 |
add %rbx, %rbp
|
|
Packit |
5c3484 |
nop
|
|
Packit |
5c3484 |
adc %rax, %r9
|
|
Packit |
5c3484 |
jmp L(lo3)
|
|
Packit |
5c3484 |
|
|
Packit |
5c3484 |
ALIGN(16)
|
|
Packit |
5c3484 |
L(tp3): adc %rax, %r9
|
|
Packit |
5c3484 |
lea 32(up), up
|
|
Packit |
5c3484 |
L(lo3): adc %r8, %r11
|
|
Packit |
5c3484 |
mulx( 16,(mp), %r13, %r12)
|
|
Packit |
5c3484 |
mov 8(up), %r8
|
|
Packit |
5c3484 |
mulx( 24,(mp), %rbx, %rax)
|
|
Packit |
5c3484 |
lea 32(mp), mp
|
|
Packit |
5c3484 |
adc %r10, %r13
|
|
Packit |
5c3484 |
adc %r12, %rbx
|
|
Packit |
5c3484 |
adc $0, %rax
|
|
Packit |
5c3484 |
mov 16(up), %r10
|
|
Packit |
5c3484 |
mov 24(up), %r12
|
|
Packit |
5c3484 |
add %r9, %r8
|
|
Packit |
5c3484 |
mov 32(up), %rbp
|
|
Packit |
5c3484 |
mov %r8, 8(up)
|
|
Packit |
5c3484 |
adc %r11, %r10
|
|
Packit |
5c3484 |
mulx( (mp), %r9, %r8)
|
|
Packit |
5c3484 |
mov %r10, 16(up)
|
|
Packit |
5c3484 |
adc %r13, %r12
|
|
Packit |
5c3484 |
mov %r12, 24(up)
|
|
Packit |
5c3484 |
adc %rbx, %rbp
|
|
Packit |
5c3484 |
mulx( 8,(mp), %r11, %r10)
|
|
Packit |
5c3484 |
mov %rbp, 32(up)
|
|
Packit |
5c3484 |
inc i
|
|
Packit |
5c3484 |
jnz L(tp3)
|
|
Packit |
5c3484 |
|
|
Packit |
5c3484 |
L(ed3): mov 64(up,n,8), %rdx C next iteration up[0]
|
|
Packit |
5c3484 |
lea 24(mp,n,8), mp C mp = (last starting mp)
|
|
Packit |
5c3484 |
adc %rax, %r9
|
|
Packit |
5c3484 |
adc %r8, %r11
|
|
Packit |
5c3484 |
mov 40(up), %r8
|
|
Packit |
5c3484 |
adc $0, %r10
|
|
Packit |
5c3484 |
imul u0inv, %rdx C next iteration q0
|
|
Packit |
5c3484 |
mov 48(up), %rax
|
|
Packit |
5c3484 |
add %r9, %r8
|
|
Packit |
5c3484 |
mov %r8, 40(up)
|
|
Packit |
5c3484 |
adc %r11, %rax
|
|
Packit |
5c3484 |
mov %rax, 48(up)
|
|
Packit |
5c3484 |
lea 64(up,n,8), up C up = (last starting up) + 1
|
|
Packit |
5c3484 |
adc $0, %r10
|
|
Packit |
5c3484 |
mov %r10, -8(up)
|
|
Packit |
5c3484 |
inc j
|
|
Packit |
5c3484 |
jnz L(o3)
|
|
Packit |
5c3484 |
|
|
Packit |
5c3484 |
jmp L(cj)
|
|
Packit |
5c3484 |
|
|
Packit |
5c3484 |
L(o0b): lea 16(mp), mp
|
|
Packit |
5c3484 |
L(o0): mov n, i C inner loop induction var
|
|
Packit |
5c3484 |
mulx( -16,(mp), %r13, %r12)
|
|
Packit |
5c3484 |
mulx( -8,(mp), %rbx, %rax)
|
|
Packit |
5c3484 |
sar $2, i
|
|
Packit |
5c3484 |
add %r12, %rbx
|
|
Packit |
5c3484 |
adc $0, %rax
|
|
Packit |
5c3484 |
mov (up), %r12
|
|
Packit |
5c3484 |
mov 8(up), %rbp
|
|
Packit |
5c3484 |
mulx( (mp), %r9, %r8)
|
|
Packit |
5c3484 |
add %r13, %r12
|
|
Packit |
5c3484 |
jmp L(lo0)
|
|
Packit |
5c3484 |
|
|
Packit |
5c3484 |
ALIGN(16)
|
|
Packit |
5c3484 |
L(tp0): adc %rax, %r9
|
|
Packit |
5c3484 |
lea 32(up), up
|
|
Packit |
5c3484 |
adc %r8, %r11
|
|
Packit |
5c3484 |
mulx( 16,(mp), %r13, %r12)
|
|
Packit |
5c3484 |
mov -16(up), %r8
|
|
Packit |
5c3484 |
mulx( 24,(mp), %rbx, %rax)
|
|
Packit |
5c3484 |
lea 32(mp), mp
|
|
Packit |
5c3484 |
adc %r10, %r13
|
|
Packit |
5c3484 |
adc %r12, %rbx
|
|
Packit |
5c3484 |
adc $0, %rax
|
|
Packit |
5c3484 |
mov -8(up), %r10
|
|
Packit |
5c3484 |
mov (up), %r12
|
|
Packit |
5c3484 |
add %r9, %r8
|
|
Packit |
5c3484 |
mov 8(up), %rbp
|
|
Packit |
5c3484 |
mov %r8, -16(up)
|
|
Packit |
5c3484 |
adc %r11, %r10
|
|
Packit |
5c3484 |
mulx( (mp), %r9, %r8)
|
|
Packit |
5c3484 |
mov %r10, -8(up)
|
|
Packit |
5c3484 |
adc %r13, %r12
|
|
Packit |
5c3484 |
mov %r12, (up)
|
|
Packit |
5c3484 |
L(lo0): adc %rbx, %rbp
|
|
Packit |
5c3484 |
mulx( 8,(mp), %r11, %r10)
|
|
Packit |
5c3484 |
mov %rbp, 8(up)
|
|
Packit |
5c3484 |
inc i
|
|
Packit |
5c3484 |
jnz L(tp0)
|
|
Packit |
5c3484 |
|
|
Packit |
5c3484 |
L(ed0): mov 40(up,n,8), %rdx C next iteration up[0]
|
|
Packit |
5c3484 |
lea 32(mp,n,8), mp C mp = (last starting mp)
|
|
Packit |
5c3484 |
adc %rax, %r9
|
|
Packit |
5c3484 |
adc %r8, %r11
|
|
Packit |
5c3484 |
mov 16(up), %r8
|
|
Packit |
5c3484 |
adc $0, %r10
|
|
Packit |
5c3484 |
imul u0inv, %rdx C next iteration q0
|
|
Packit |
5c3484 |
mov 24(up), %rax
|
|
Packit |
5c3484 |
add %r9, %r8
|
|
Packit |
5c3484 |
mov %r8, 16(up)
|
|
Packit |
5c3484 |
adc %r11, %rax
|
|
Packit |
5c3484 |
mov %rax, 24(up)
|
|
Packit |
5c3484 |
lea 40(up,n,8), up C up = (last starting up) + 1
|
|
Packit |
5c3484 |
adc $0, %r10
|
|
Packit |
5c3484 |
mov %r10, -8(up)
|
|
Packit |
5c3484 |
inc j
|
|
Packit |
5c3484 |
jnz L(o0)
|
|
Packit |
5c3484 |
|
|
Packit |
5c3484 |
L(cj):
|
|
Packit |
5c3484 |
IFSTD(` mov 8(%rsp), %rdi C param 1: rp
|
|
Packit |
5c3484 |
lea 16-8(%rsp), %rsp C deallocate 2, add back for alignment
|
|
Packit |
5c3484 |
lea (up,n,8), %rdx C param 3: up - n
|
|
Packit |
5c3484 |
neg R32(n) ') C param 4: n
|
|
Packit |
5c3484 |
|
|
Packit |
5c3484 |
IFDOS(` mov up, %rdx C param 2: up
|
|
Packit |
5c3484 |
lea (up,n,8), %r8 C param 3: up - n
|
|
Packit |
5c3484 |
neg R32(n)
|
|
Packit |
5c3484 |
mov n, %r9 C param 4: n
|
|
Packit |
5c3484 |
mov 8(%rsp), %rcx C param 1: rp
|
|
Packit |
5c3484 |
lea 16-32-8(%rsp), %rsp') C deallocate 2, allocate shadow, align
|
|
Packit |
5c3484 |
|
|
Packit |
5c3484 |
ASSERT(nz, `test $15, %rsp')
|
|
Packit |
5c3484 |
CALL( mpn_add_n)
|
|
Packit |
5c3484 |
|
|
Packit |
5c3484 |
IFSTD(` lea 8(%rsp), %rsp ')
|
|
Packit |
5c3484 |
IFDOS(` lea 32+8(%rsp), %rsp')
|
|
Packit |
5c3484 |
|
|
Packit |
5c3484 |
L(ret): pop %r15
|
|
Packit |
5c3484 |
pop %r14
|
|
Packit |
5c3484 |
pop %r13
|
|
Packit |
5c3484 |
pop %r12
|
|
Packit |
5c3484 |
pop %rbp
|
|
Packit |
5c3484 |
pop %rbx
|
|
Packit |
5c3484 |
FUNC_EXIT()
|
|
Packit |
5c3484 |
ret
|
|
Packit |
5c3484 |
EPILOGUE()
|