|
Packit |
5c3484 |
dnl AMD64 mpn_lshsub_n. R = 2^k(U - V).
|
|
Packit |
5c3484 |
|
|
Packit |
5c3484 |
dnl Copyright 2006, 2011, 2012 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 |
|
|
Packit |
5c3484 |
C cycles/limb
|
|
Packit |
5c3484 |
C AMD K8,K9 3.15 (mpn_sub_n + mpn_lshift costs about 4 c/l)
|
|
Packit |
5c3484 |
C AMD K10 3.15 (mpn_sub_n + mpn_lshift costs about 4 c/l)
|
|
Packit |
5c3484 |
C Intel P4 16.5
|
|
Packit |
5c3484 |
C Intel core2 4.35
|
|
Packit |
5c3484 |
C Intel corei ?
|
|
Packit |
5c3484 |
C Intel atom ?
|
|
Packit |
5c3484 |
C VIA nano ?
|
|
Packit |
5c3484 |
|
|
Packit |
5c3484 |
C This was written quickly and not optimized at all, but it runs very well on
|
|
Packit |
5c3484 |
C K8. But perhaps one could get under 3 c/l. Ideas:
|
|
Packit |
5c3484 |
C 1) Use indexing to save the 3 LEA
|
|
Packit |
5c3484 |
C 2) Write reasonable feed-in code
|
|
Packit |
5c3484 |
C 3) Be more clever about register usage
|
|
Packit |
5c3484 |
C 4) Unroll more, handling CL negation, carry save/restore cost much now
|
|
Packit |
5c3484 |
C 5) Reschedule
|
|
Packit |
5c3484 |
|
|
Packit |
5c3484 |
C INPUT PARAMETERS
|
|
Packit |
5c3484 |
define(`rp', `%rdi')
|
|
Packit |
5c3484 |
define(`up', `%rsi')
|
|
Packit |
5c3484 |
define(`vp', `%rdx')
|
|
Packit |
5c3484 |
define(`n', `%rcx')
|
|
Packit |
5c3484 |
define(`cnt', `%r8')
|
|
Packit |
5c3484 |
|
|
Packit |
5c3484 |
ABI_SUPPORT(DOS64)
|
|
Packit |
5c3484 |
ABI_SUPPORT(STD64)
|
|
Packit |
5c3484 |
|
|
Packit |
5c3484 |
ASM_START()
|
|
Packit |
5c3484 |
TEXT
|
|
Packit |
5c3484 |
ALIGN(16)
|
|
Packit |
5c3484 |
PROLOGUE(mpn_lshsub_n)
|
|
Packit |
5c3484 |
FUNC_ENTRY(4)
|
|
Packit |
5c3484 |
IFDOS(` mov 56(%rsp), %r8d ')
|
|
Packit |
5c3484 |
|
|
Packit |
5c3484 |
push %r12
|
|
Packit |
5c3484 |
push %r13
|
|
Packit |
5c3484 |
push %r14
|
|
Packit |
5c3484 |
push %r15
|
|
Packit |
5c3484 |
push %rbx
|
|
Packit |
5c3484 |
|
|
Packit |
5c3484 |
mov n, %rax
|
|
Packit |
5c3484 |
xor R32(%rbx), R32(%rbx) C clear carry save register
|
|
Packit |
5c3484 |
mov R32(%r8), R32(%rcx) C shift count
|
|
Packit |
5c3484 |
xor R32(%r15), R32(%r15) C limb carry
|
|
Packit |
5c3484 |
|
|
Packit |
5c3484 |
mov R32(%rax), R32(%r11)
|
|
Packit |
5c3484 |
and $3, R32(%r11)
|
|
Packit |
5c3484 |
je L(4)
|
|
Packit |
5c3484 |
sub $1, R32(%r11)
|
|
Packit |
5c3484 |
|
|
Packit |
5c3484 |
L(oopette):
|
|
Packit |
5c3484 |
add R32(%rbx), R32(%rbx) C restore carry flag
|
|
Packit |
5c3484 |
mov 0(up), %r8
|
|
Packit |
5c3484 |
lea 8(up), up
|
|
Packit |
5c3484 |
sbb 0(vp), %r8
|
|
Packit |
5c3484 |
mov %r8, %r12
|
|
Packit |
5c3484 |
sbb R32(%rbx), R32(%rbx) C save carry flag
|
|
Packit |
5c3484 |
shl R8(%rcx), %r8
|
|
Packit |
5c3484 |
or %r15, %r8
|
|
Packit |
5c3484 |
mov %r12, %r15
|
|
Packit |
5c3484 |
lea 8(vp), vp
|
|
Packit |
5c3484 |
neg R8(%rcx)
|
|
Packit |
5c3484 |
shr R8(%rcx), %r15
|
|
Packit |
5c3484 |
neg R8(%rcx)
|
|
Packit |
5c3484 |
mov %r8, 0(rp)
|
|
Packit |
5c3484 |
lea 8(rp), rp
|
|
Packit |
5c3484 |
sub $1, R32(%r11)
|
|
Packit |
5c3484 |
jnc L(oopette)
|
|
Packit |
5c3484 |
|
|
Packit |
5c3484 |
L(4):
|
|
Packit |
5c3484 |
sub $4, %rax
|
|
Packit |
5c3484 |
jc L(end)
|
|
Packit |
5c3484 |
|
|
Packit |
5c3484 |
ALIGN(16)
|
|
Packit |
5c3484 |
L(oop):
|
|
Packit |
5c3484 |
add R32(%rbx), R32(%rbx) C restore carry flag
|
|
Packit |
5c3484 |
|
|
Packit |
5c3484 |
mov 0(up), %r8
|
|
Packit |
5c3484 |
mov 8(up), %r9
|
|
Packit |
5c3484 |
mov 16(up), %r10
|
|
Packit |
5c3484 |
mov 24(up), %r11
|
|
Packit |
5c3484 |
|
|
Packit |
5c3484 |
lea 32(up), up
|
|
Packit |
5c3484 |
|
|
Packit |
5c3484 |
sbb 0(vp), %r8
|
|
Packit |
5c3484 |
mov %r8, %r12
|
|
Packit |
5c3484 |
sbb 8(vp), %r9
|
|
Packit |
5c3484 |
mov %r9, %r13
|
|
Packit |
5c3484 |
sbb 16(vp), %r10
|
|
Packit |
5c3484 |
mov %r10, %r14
|
|
Packit |
5c3484 |
sbb 24(vp), %r11
|
|
Packit |
5c3484 |
|
|
Packit |
5c3484 |
sbb R32(%rbx), R32(%rbx) C save carry flag
|
|
Packit |
5c3484 |
|
|
Packit |
5c3484 |
shl R8(%rcx), %r8
|
|
Packit |
5c3484 |
shl R8(%rcx), %r9
|
|
Packit |
5c3484 |
shl R8(%rcx), %r10
|
|
Packit |
5c3484 |
or %r15, %r8
|
|
Packit |
5c3484 |
mov %r11, %r15
|
|
Packit |
5c3484 |
shl R8(%rcx), %r11
|
|
Packit |
5c3484 |
|
|
Packit |
5c3484 |
lea 32(vp), vp
|
|
Packit |
5c3484 |
|
|
Packit |
5c3484 |
neg R8(%rcx)
|
|
Packit |
5c3484 |
|
|
Packit |
5c3484 |
shr R8(%rcx), %r12
|
|
Packit |
5c3484 |
shr R8(%rcx), %r13
|
|
Packit |
5c3484 |
shr R8(%rcx), %r14
|
|
Packit |
5c3484 |
shr R8(%rcx), %r15 C used next loop
|
|
Packit |
5c3484 |
|
|
Packit |
5c3484 |
or %r12, %r9
|
|
Packit |
5c3484 |
or %r13, %r10
|
|
Packit |
5c3484 |
or %r14, %r11
|
|
Packit |
5c3484 |
|
|
Packit |
5c3484 |
neg R8(%rcx)
|
|
Packit |
5c3484 |
|
|
Packit |
5c3484 |
mov %r8, 0(rp)
|
|
Packit |
5c3484 |
mov %r9, 8(rp)
|
|
Packit |
5c3484 |
mov %r10, 16(rp)
|
|
Packit |
5c3484 |
mov %r11, 24(rp)
|
|
Packit |
5c3484 |
|
|
Packit |
5c3484 |
lea 32(rp), rp
|
|
Packit |
5c3484 |
|
|
Packit |
5c3484 |
sub $4, %rax
|
|
Packit |
5c3484 |
jnc L(oop)
|
|
Packit |
5c3484 |
L(end):
|
|
Packit |
5c3484 |
neg R32(%rbx)
|
|
Packit |
5c3484 |
shl R8(%rcx), %rbx
|
|
Packit |
5c3484 |
adc %r15, %rbx
|
|
Packit |
5c3484 |
mov %rbx, %rax
|
|
Packit |
5c3484 |
pop %rbx
|
|
Packit |
5c3484 |
pop %r15
|
|
Packit |
5c3484 |
pop %r14
|
|
Packit |
5c3484 |
pop %r13
|
|
Packit |
5c3484 |
pop %r12
|
|
Packit |
5c3484 |
|
|
Packit |
5c3484 |
FUNC_EXIT()
|
|
Packit |
5c3484 |
ret
|
|
Packit |
5c3484 |
EPILOGUE()
|