|
Packit |
5c3484 |
dnl AMD64 mpn_addmul_1 and mpn_submul_1 for CPUs with mulx.
|
|
Packit |
5c3484 |
|
|
Packit |
5c3484 |
dnl Copyright 2012, 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 -
|
|
Packit |
5c3484 |
C AMD K10 -
|
|
Packit |
5c3484 |
C AMD bd1 -
|
|
Packit |
5c3484 |
C AMD bd2 ?
|
|
Packit |
5c3484 |
C AMD bobcat -
|
|
Packit |
5c3484 |
C AMD jaguar ?
|
|
Packit |
5c3484 |
C Intel P4 -
|
|
Packit |
5c3484 |
C Intel PNR -
|
|
Packit |
5c3484 |
C Intel NHM -
|
|
Packit |
5c3484 |
C Intel SBR -
|
|
Packit |
5c3484 |
C Intel HWL ?
|
|
Packit |
5c3484 |
C Intel BWL ?
|
|
Packit |
5c3484 |
C Intel atom -
|
|
Packit |
5c3484 |
C VIA nano -
|
|
Packit |
5c3484 |
|
|
Packit |
5c3484 |
define(`rp', `%rdi') C rcx
|
|
Packit |
5c3484 |
define(`up', `%rsi') C rdx
|
|
Packit |
5c3484 |
define(`n_param', `%rdx') C r8
|
|
Packit |
5c3484 |
define(`v0_param',`%rcx') C r9
|
|
Packit |
5c3484 |
|
|
Packit |
5c3484 |
define(`n', `%rcx')
|
|
Packit |
5c3484 |
define(`v0', `%rdx')
|
|
Packit |
5c3484 |
|
|
Packit |
5c3484 |
ifdef(`OPERATION_addmul_1',`
|
|
Packit |
5c3484 |
define(`ADDSUB', `add')
|
|
Packit |
5c3484 |
define(`ADCSBB', `adc')
|
|
Packit |
5c3484 |
define(`func', `mpn_addmul_1')
|
|
Packit |
5c3484 |
')
|
|
Packit |
5c3484 |
ifdef(`OPERATION_submul_1',`
|
|
Packit |
5c3484 |
define(`ADDSUB', `sub')
|
|
Packit |
5c3484 |
define(`ADCSBB', `sbb')
|
|
Packit |
5c3484 |
define(`func', `mpn_submul_1')
|
|
Packit |
5c3484 |
')
|
|
Packit |
5c3484 |
|
|
Packit |
5c3484 |
MULFUNC_PROLOGUE(mpn_addmul_1 mpn_submul_1)
|
|
Packit |
5c3484 |
|
|
Packit |
5c3484 |
IFDOS(` define(`up', ``%rsi'') ') dnl
|
|
Packit |
5c3484 |
IFDOS(` define(`rp', ``%rcx'') ') dnl
|
|
Packit |
5c3484 |
IFDOS(` define(`vl', ``%r9'') ') dnl
|
|
Packit |
5c3484 |
IFDOS(` define(`r9', ``rdi'') ') dnl
|
|
Packit |
5c3484 |
IFDOS(` define(`n', ``%r8'') ') dnl
|
|
Packit |
5c3484 |
IFDOS(` define(`r8', ``r11'') ') dnl
|
|
Packit |
5c3484 |
|
|
Packit |
5c3484 |
ASM_START()
|
|
Packit |
5c3484 |
TEXT
|
|
Packit |
5c3484 |
ALIGN(16)
|
|
Packit |
5c3484 |
PROLOGUE(func)
|
|
Packit |
5c3484 |
mov (up), %r8
|
|
Packit |
5c3484 |
|
|
Packit |
5c3484 |
push %rbx
|
|
Packit |
5c3484 |
push %r12
|
|
Packit |
5c3484 |
push %r13
|
|
Packit |
5c3484 |
|
|
Packit |
5c3484 |
lea (up,n_param,8), up
|
|
Packit |
5c3484 |
lea -32(rp,n_param,8), rp
|
|
Packit |
5c3484 |
mov R32(n_param), R32(%rax)
|
|
Packit |
5c3484 |
xchg v0_param, v0 C FIXME: is this insn fast?
|
|
Packit |
5c3484 |
|
|
Packit |
5c3484 |
neg n
|
|
Packit |
5c3484 |
|
|
Packit |
5c3484 |
and $3, R8(%rax)
|
|
Packit |
5c3484 |
jz L(b0)
|
|
Packit |
5c3484 |
cmp $2, R8(%rax)
|
|
Packit |
5c3484 |
jz L(b2)
|
|
Packit |
5c3484 |
jg L(b3)
|
|
Packit |
5c3484 |
|
|
Packit |
5c3484 |
L(b1): mulx %r8, %rbx, %rax
|
|
Packit |
5c3484 |
sub $-1, n
|
|
Packit |
5c3484 |
jz L(wd1)
|
|
Packit |
5c3484 |
mulx (up,n,8), %r9, %r8
|
|
Packit |
5c3484 |
mulx 8(up,n,8), %r11, %r10
|
|
Packit |
5c3484 |
test R32(%rax), R32(%rax) C clear cy
|
|
Packit |
5c3484 |
jmp L(lo1)
|
|
Packit |
5c3484 |
|
|
Packit |
5c3484 |
L(b0): mulx %r8, %r9, %r8
|
|
Packit |
5c3484 |
mulx 8(up,n,8), %r11, %r10
|
|
Packit |
5c3484 |
mulx 16(up,n,8), %r13, %r12
|
|
Packit |
5c3484 |
xor R32(%rax), R32(%rax)
|
|
Packit |
5c3484 |
jmp L(lo0)
|
|
Packit |
5c3484 |
|
|
Packit |
5c3484 |
L(b3): mulx %r8, %r11, %r10
|
|
Packit |
5c3484 |
mulx 8(up,n,8), %r13, %r12
|
|
Packit |
5c3484 |
mulx 16(up,n,8), %rbx, %rax
|
|
Packit |
5c3484 |
add %r10, %r13
|
|
Packit |
5c3484 |
adc %r12, %rbx
|
|
Packit |
5c3484 |
adc $0, %rax
|
|
Packit |
5c3484 |
sub $-3, n
|
|
Packit |
5c3484 |
jz L(wd3)
|
|
Packit |
5c3484 |
test R32(%rax), R32(%rax) C clear cy
|
|
Packit |
5c3484 |
jmp L(lo3)
|
|
Packit |
5c3484 |
|
|
Packit |
5c3484 |
L(b2): mulx %r8, %r13, %r12
|
|
Packit |
5c3484 |
mulx 8(up,n,8), %rbx, %rax
|
|
Packit |
5c3484 |
add %r12, %rbx
|
|
Packit |
5c3484 |
adc $0, %rax
|
|
Packit |
5c3484 |
sub $-2, n
|
|
Packit |
5c3484 |
jz L(wd2)
|
|
Packit |
5c3484 |
mulx (up,n,8), %r9, %r8
|
|
Packit |
5c3484 |
test R32(%rax), R32(%rax) C clear cy
|
|
Packit |
5c3484 |
jmp L(lo2)
|
|
Packit |
5c3484 |
|
|
Packit |
5c3484 |
L(top): ADDSUB %r9, (rp,n,8)
|
|
Packit |
5c3484 |
L(lo3): mulx (up,n,8), %r9, %r8
|
|
Packit |
5c3484 |
ADCSBB %r11, 8(rp,n,8)
|
|
Packit |
5c3484 |
L(lo2): mulx 8(up,n,8), %r11, %r10
|
|
Packit |
5c3484 |
ADCSBB %r13, 16(rp,n,8)
|
|
Packit |
5c3484 |
L(lo1): mulx 16(up,n,8), %r13, %r12
|
|
Packit |
5c3484 |
ADCSBB %rbx, 24(rp,n,8)
|
|
Packit |
5c3484 |
adc %rax, %r9
|
|
Packit |
5c3484 |
L(lo0): mulx 24(up,n,8), %rbx, %rax
|
|
Packit |
5c3484 |
adc %r8, %r11
|
|
Packit |
5c3484 |
adc %r10, %r13
|
|
Packit |
5c3484 |
adc %r12, %rbx
|
|
Packit |
5c3484 |
adc $0, %rax C rax = carry limb
|
|
Packit |
5c3484 |
add $4, n
|
|
Packit |
5c3484 |
js L(top)
|
|
Packit |
5c3484 |
|
|
Packit |
5c3484 |
L(end): ADDSUB %r9, (rp)
|
|
Packit |
5c3484 |
L(wd3): ADCSBB %r11, 8(rp)
|
|
Packit |
5c3484 |
L(wd2): ADCSBB %r13, 16(rp)
|
|
Packit |
5c3484 |
L(wd1): ADCSBB %rbx, 24(rp)
|
|
Packit |
5c3484 |
adc n, %rax
|
|
Packit |
5c3484 |
pop %r13
|
|
Packit |
5c3484 |
pop %r12
|
|
Packit |
5c3484 |
pop %rbx
|
|
Packit |
5c3484 |
ret
|
|
Packit |
5c3484 |
EPILOGUE()
|
|
Packit |
5c3484 |
ASM_END()
|