|
Packit |
5c3484 |
dnl PowerPC-32 mpn_modexact_1_odd -- mpn by limb exact remainder.
|
|
Packit |
5c3484 |
|
|
Packit |
5c3484 |
dnl Copyright 2002, 2003, 2005, 2006 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 603e: ?
|
|
Packit |
5c3484 |
C 604e: 6.0
|
|
Packit |
5c3484 |
C 75x (G3): 6.0-13.0, depending on divisor
|
|
Packit |
5c3484 |
C 7400,7410 (G4): 6.0-13.0, depending on divisor
|
|
Packit |
5c3484 |
C 744x,745x (G4+): 8.0-10.0, depending on divisor
|
|
Packit |
5c3484 |
C power4/ppc970: 12.0
|
|
Packit |
5c3484 |
C power5: 12.0
|
|
Packit |
5c3484 |
|
|
Packit |
5c3484 |
|
|
Packit |
5c3484 |
C mp_limb_t mpn_modexact_1_odd (mp_srcptr src, mp_size_t size,
|
|
Packit |
5c3484 |
C mp_limb_t divisor);
|
|
Packit |
5c3484 |
C mp_limb_t mpn_modexact_1c_odd (mp_srcptr src, mp_size_t size,
|
|
Packit |
5c3484 |
C mp_limb_t divisor, mp_limb_t carry);
|
|
Packit |
5c3484 |
C
|
|
Packit |
5c3484 |
C For PIC, the inverse is established arithmetically since it measures about
|
|
Packit |
5c3484 |
C 5 cycles faster than the nonsense needed to access binvert_limb_table in
|
|
Packit |
5c3484 |
C SVR4 or Darwin style PIC. AIX might be better, since it avoids bl/mflr to
|
|
Packit |
5c3484 |
C get at the GOT/TOC/whatever.
|
|
Packit |
5c3484 |
C
|
|
Packit |
5c3484 |
C Using divwu for size==1 measured about 10 cycles slower on 604e, or about
|
|
Packit |
5c3484 |
C 3-5 cycles faster on 750. For now it doesn't seem worth bothering with.
|
|
Packit |
5c3484 |
C
|
|
Packit |
5c3484 |
C The loop allows an early-out on mullw for the inverse, and on mulhwu for
|
|
Packit |
5c3484 |
C the divisor. So the fastest is for instance divisor==1 (inverse==-1), and
|
|
Packit |
5c3484 |
C the slowest is anything giving a full 32-bits in both, such as
|
|
Packit |
5c3484 |
C divisor==0xDEADBEEF (inverse==0x904B300F). These establish the stated
|
|
Packit |
5c3484 |
C range above for 750 and 7400.
|
|
Packit |
5c3484 |
|
|
Packit |
5c3484 |
|
|
Packit |
5c3484 |
ASM_START()
|
|
Packit |
5c3484 |
|
|
Packit |
5c3484 |
EXTERN(binvert_limb_table)
|
|
Packit |
5c3484 |
|
|
Packit |
5c3484 |
PROLOGUE(mpn_modexact_1_odd)
|
|
Packit |
5c3484 |
li r6, 0
|
|
Packit |
5c3484 |
|
|
Packit |
5c3484 |
PROLOGUE(mpn_modexact_1c_odd)
|
|
Packit |
5c3484 |
|
|
Packit |
5c3484 |
mtctr r4 C size
|
|
Packit |
5c3484 |
|
|
Packit |
5c3484 |
ifdef(`PIC_SLOW',`
|
|
Packit |
5c3484 |
C Load from our table with PIC is so slow on Linux and Darwin that we avoid it
|
|
Packit |
5c3484 |
rlwinm r7, r5, 1,28,28 C (divisor << 1) & 8
|
|
Packit |
5c3484 |
rlwinm r8, r5, 2,28,28 C (divisor << 2) & 8
|
|
Packit |
5c3484 |
xor r7, r7, r8 C ((divisor << 1) ^ (divisor << 2)) & 8
|
|
Packit |
5c3484 |
rlwinm r4, r5, 0,28,31 C divisor low 4 bits, speedup mullw
|
|
Packit |
5c3484 |
xor r4, r4, r7 C inverse, 4 bits
|
|
Packit |
5c3484 |
mullw r7, r4, r4 C i*i
|
|
Packit |
5c3484 |
slwi r4, r4, 1 C 2*i
|
|
Packit |
5c3484 |
rlwinm r8, r5, 0,24,31 C divisor low 8 bits, speedup mullw
|
|
Packit |
5c3484 |
mullw r7, r7, r8 C i*i*d
|
|
Packit |
5c3484 |
sub r4, r4, r7 C inverse, 8 bits
|
|
Packit |
5c3484 |
',`
|
|
Packit |
5c3484 |
LEA( r7, binvert_limb_table)
|
|
Packit |
5c3484 |
rlwinm r4, r5, 31,25,31 C (divisor/2) & 0x7F
|
|
Packit |
5c3484 |
lbzx r4, r4,r7 C inverse, 8 bits
|
|
Packit |
5c3484 |
')
|
|
Packit |
5c3484 |
|
|
Packit |
5c3484 |
mullw r7, r4, r4 C i*i
|
|
Packit |
5c3484 |
slwi r4, r4, 1 C 2*i
|
|
Packit |
5c3484 |
mullw r7, r5, r7 C i*i*d [i*i is 16 bits, so second operand]
|
|
Packit |
5c3484 |
sub r4, r4, r7 C inverse, 16 bits
|
|
Packit |
5c3484 |
mullw r7, r4, r4 C i*i
|
|
Packit |
5c3484 |
slwi r4, r4, 1 C 2*i
|
|
Packit |
5c3484 |
mullw r7, r7, r5 C i*i*d
|
|
Packit |
5c3484 |
lwz r0, 0(r3) C src[0]
|
|
Packit |
5c3484 |
sub r4, r4, r7 C inverse, 32 bits
|
|
Packit |
5c3484 |
subfc r7, r6, r0 C l = src[0] - carry
|
|
Packit |
5c3484 |
|
|
Packit |
5c3484 |
mullw r7, r7, r4 C q = l * inverse
|
|
Packit |
5c3484 |
bdz L(one)
|
|
Packit |
5c3484 |
|
|
Packit |
5c3484 |
lwzu r0, 4(r3) C src[1]
|
|
Packit |
5c3484 |
mulhwu r6, r7, r5 C carry = high(q*divisor)
|
|
Packit |
5c3484 |
subfe r7, r6, r0 C l = src[1] - carry
|
|
Packit |
5c3484 |
bdz L(two)
|
|
Packit |
5c3484 |
|
|
Packit |
5c3484 |
L(top):
|
|
Packit |
5c3484 |
mullw r7, r7, r4 C q = l * inverse
|
|
Packit |
5c3484 |
lwzu r0, 4(r3) C src[i]
|
|
Packit |
5c3484 |
mulhwu r6, r7, r5 C carry = high(q*divisor)
|
|
Packit |
5c3484 |
subfe r7, r6, r0 C l = src[i] - carry
|
|
Packit |
5c3484 |
bdnz L(top)
|
|
Packit |
5c3484 |
|
|
Packit |
5c3484 |
L(two): mullw r7, r7, r4 C q = l * inverse
|
|
Packit |
5c3484 |
L(one): subfe r3, r3, r3 C ca 0 or -1
|
|
Packit |
5c3484 |
mulhwu r6, r7, r5 C carry = high(q*divisor)
|
|
Packit |
5c3484 |
subf r3, r3, r6 C carry + ca
|
|
Packit |
5c3484 |
blr
|
|
Packit |
5c3484 |
|
|
Packit |
5c3484 |
EPILOGUE(mpn_modexact_1c_odd)
|
|
Packit |
5c3484 |
EPILOGUE(mpn_modexact_1_odd)
|
|
Packit |
5c3484 |
ASM_END()
|