1 dnl AMD64 mpn_addlshC_n
-- rp
[] = up
[] + (vp
[] << C
)
2 dnl AMD64 mpn_rsblshC_n
-- rp
[] = (vp
[] << C
) - up
[]
4 dnl Copyright
2009-2012 Free Software Foundation
, Inc.
6 dnl
This file is part of the GNU MP Library.
8 dnl The GNU MP Library is free software
; you can redistribute it and/or modify
9 dnl it under the terms of
either:
11 dnl
* the GNU Lesser General
Public License as published by the Free
12 dnl Software Foundation
; either version 3 of the License, or (at your
13 dnl option
) any later version.
17 dnl
* the GNU General
Public License as published by the Free Software
18 dnl Foundation
; either version 2 of the License, or (at your option) any
21 dnl
or both
in parallel
, as here.
23 dnl The GNU MP Library is distributed
in the hope that it will be useful
, but
24 dnl WITHOUT ANY WARRANTY
; without even the implied warranty of MERCHANTABILITY
25 dnl
or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General
Public License
28 dnl You should have received copies of the GNU General
Public License
and the
29 dnl GNU Lesser General
Public License along with the GNU MP Library. If
not,
30 dnl see
https://www.gnu.
org/licenses
/.
39 C Intel SBR
2 C
(or 1.95 when L
(top
)'s alignment = 16 (mod 32))
43 C This code probably runs close to optimally on Sandy Bridge (using 4-way
44 C unrolling). It also runs reasonably well on Core 2, but it runs poorly on
45 C all other processors, including Nehalem.
62 IFDOS(` mov 56(%rsp), %r8 ')
65 neg %rax C set msb on carry
66 xor R32
(%rbp
), R32
(%rbp
) C limb carry
82 xor R32
(%rbp
), R32
(%rbp
) C limb carry
92 L
(b11
): mov 8(vp
), %r9
96 add R32
(%rax
), R32
(%rax
) C init carry flag
107 sbb R32
(%rax
), R32
(%rax
) C save carry flag
112 L
(b01
): add R32
(%rax
), R32
(%rax
) C init carry flag
119 sbb R32
(%rax
), R32
(%rax
) C save carry flag
124 L
(b10
): mov 8(vp
), %r9
126 add R32
(%rax
), R32
(%rax
) C init carry flag
135 sbb R32
(%rax
), R32
(%rax
) C save carry flag
141 L
(top
): mov (vp
), %r8
143 L
(b00
): mov 8(vp
), %r9
148 shrd $RSH
, %r11
, %r10
150 add R32
(%rax
), R32
(%rax
) C restore carry flag
162 sbb R32
(%rax
), R32
(%rax
) C save carry flag
166 L
(end): shr $RSH
, %rbp
167 add R32
(%rax
), R32
(%rax
) C restore carry flag