2009-02-19 18:22:30 -05:00
|
|
|
|
|
|
|
|
; AMD64 mpn_addsub_n
|
|
|
|
|
; Verdxon 1.0.4
|
|
|
|
|
;
|
|
|
|
|
; Copyright 2008 Jason Moxham
|
|
|
|
|
;
|
2009-02-22 16:03:08 -05:00
|
|
|
; Windows Converdxon Copyright 2008 Brian Gladman
|
|
|
|
|
;
|
2009-02-19 18:22:30 -05:00
|
|
|
; This file is part of the MPIR Library.
|
|
|
|
|
; The MPIR Library is free software; you can redistribute it and/or modify
|
|
|
|
|
; it under the terms of the GNU Lesser General Public License as published
|
|
|
|
|
; by the Free Software Foundation; either verdxon 2.1 of the License, or (at
|
|
|
|
|
; your option) any later verdxon.
|
|
|
|
|
; The MPIR Library is distributed in the hope that it will be useful, but
|
|
|
|
|
; WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY
|
|
|
|
|
; or FITNESS FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public
|
|
|
|
|
; License for more details.
|
|
|
|
|
; You should have received a copy of the GNU Lesser General Public License
|
|
|
|
|
; along with the MPIR Library; see the file COPYING.LIB. If not, write
|
|
|
|
|
; to the Free Software Foundation, Inc., 51 Franklin Street, Fifth Floor,
|
|
|
|
|
; Boston, MA 02110-1301, USA.
|
2009-02-22 16:03:08 -05:00
|
|
|
;
|
2009-02-19 18:22:30 -05:00
|
|
|
; Calling interface (GCC):
|
|
|
|
|
;
|
2009-03-02 15:03:30 -05:00
|
|
|
; rcx[rbx] = rdx[rbx] + r8[rbx] - r9[rbx]
|
2009-02-19 18:22:30 -05:00
|
|
|
;
|
|
|
|
|
; return carry - borrow
|
|
|
|
|
;
|
|
|
|
|
; mp_limb_t __gmpn_addsub_n(
|
|
|
|
|
; mp_ptr dp, rcx
|
|
|
|
|
; mp_srcptr sp1, rdx
|
|
|
|
|
; mp_srcptr sp2, r8
|
|
|
|
|
; mp_size_t sp3, r9
|
2009-03-02 15:03:30 -05:00
|
|
|
; mp_size_t n [rsp+0x28] -> rbxd
|
2009-02-19 18:22:30 -05:00
|
|
|
; )
|
|
|
|
|
;
|
|
|
|
|
; This is an SEH frame function
|
|
|
|
|
|
|
|
|
|
%include "..\x86_64_asm.inc"
|
|
|
|
|
|
2009-03-02 15:03:30 -05:00
|
|
|
%define reg_save_list rbx, rbp, rsi, rdi
|
2009-02-19 18:22:30 -05:00
|
|
|
|
|
|
|
|
bits 64
|
|
|
|
|
section .text
|
|
|
|
|
|
|
|
|
|
global __gmpn_addsub_n
|
|
|
|
|
|
|
|
|
|
%ifdef DLL
|
|
|
|
|
export __gmpn_addsub_n
|
|
|
|
|
%endif
|
|
|
|
|
|
|
|
|
|
prologue __gmpn_addsub_n, 0, reg_save_list
|
2009-03-02 15:03:30 -05:00
|
|
|
mov ebx, dword [rsp+stack_use+40]
|
|
|
|
|
|
|
|
|
|
lea rdx, [rdx+rbx*8]
|
|
|
|
|
lea r8, [r8+rbx*8]
|
|
|
|
|
lea rcx, [rcx+rbx*8]
|
|
|
|
|
lea r9, [r9+rbx*8]
|
|
|
|
|
neg rbx
|
2009-02-19 18:22:30 -05:00
|
|
|
xor rax, rax
|
2009-03-02 15:03:30 -05:00
|
|
|
xor rsi, rsi
|
|
|
|
|
test rbx, 3
|
2009-02-19 18:22:30 -05:00
|
|
|
jz .2
|
|
|
|
|
|
2009-03-02 15:03:30 -05:00
|
|
|
.1: mov rdi, [r8+rbx*8]
|
2009-02-19 18:22:30 -05:00
|
|
|
add rax, 1
|
2009-03-02 15:03:30 -05:00
|
|
|
sbb rdi, [r9+rbx*8]
|
2009-02-19 18:22:30 -05:00
|
|
|
sbb rax, rax
|
2009-03-02 15:03:30 -05:00
|
|
|
add rsi, 1
|
|
|
|
|
adc rdi, [rdx+rbx*8]
|
|
|
|
|
sbb rsi, rsi
|
|
|
|
|
mov [rcx+rbx*8], rdi
|
|
|
|
|
inc rbx
|
|
|
|
|
test rbx, 3
|
2009-02-19 18:22:30 -05:00
|
|
|
jnz .1
|
2009-03-02 15:03:30 -05:00
|
|
|
.2: cmp rbx, 0
|
2009-02-19 18:22:30 -05:00
|
|
|
jz .4
|
|
|
|
|
|
2009-02-26 06:11:27 -05:00
|
|
|
alignb 16, nop
|
2009-03-02 15:03:30 -05:00
|
|
|
.3: add rax, 1
|
|
|
|
|
mov rdi, [r8+rbx*8]
|
|
|
|
|
mov rbp, [r8+rbx*8+8]
|
|
|
|
|
mov r10, [r8+rbx*8+16]
|
|
|
|
|
mov r11, [r8+rbx*8+24]
|
|
|
|
|
sbb rdi, [r9+rbx*8]
|
|
|
|
|
sbb rbp, [r9+rbx*8+8]
|
|
|
|
|
sbb r10, [r9+rbx*8+16]
|
|
|
|
|
sbb r11, [r9+rbx*8+24]
|
2009-02-19 18:22:30 -05:00
|
|
|
sbb rax, rax
|
2009-03-02 15:03:30 -05:00
|
|
|
add rsi, 1
|
|
|
|
|
adc rdi, [rdx+rbx*8]
|
|
|
|
|
adc rbp, [rdx+rbx*8+8]
|
|
|
|
|
adc r10, [rdx+rbx*8+16]
|
|
|
|
|
adc r11, [rdx+rbx*8+24]
|
|
|
|
|
mov [rcx+rbx*8], rdi
|
|
|
|
|
mov [rcx+rbx*8+8], rbp
|
|
|
|
|
mov [rcx+rbx*8+16], r10
|
|
|
|
|
mov [rcx+rbx*8+24], r11
|
|
|
|
|
sbb rsi, rsi
|
|
|
|
|
add rbx, 4
|
2009-02-19 18:22:30 -05:00
|
|
|
jnz .3
|
2009-03-02 15:03:30 -05:00
|
|
|
.4: sub rax, rsi
|
|
|
|
|
epilogue reg_save_list
|
|
|
|
|
|
|
|
|
|
end
|
