dnl AMD64 MULX/ADX simulation support, inline version.
dnl Contributed to the GNU project by Torbjörn Granlund.
dnl Copyright 2013 Free Software Foundation, Inc.
dnl This file is part of the GNU MP Library.
dnl
dnl The GNU MP Library is free software; you can redistribute it and/or modify
dnl it under the terms of either:
dnl
dnl * the GNU Lesser General Public License as published by the Free
dnl Software Foundation; either version 3 of the License, or (at your
dnl option) any later version.
dnl
dnl or
dnl
dnl * the GNU General Public License as published by the Free Software
dnl Foundation; either version 2 of the License, or (at your option) any
dnl later version.
dnl
dnl or both in parallel, as here.
dnl
dnl The GNU MP Library is distributed in the hope that it will be useful, but
dnl WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY
dnl or FITNESS
FOR A PARTICULAR PURPOSE. See the GNU General Public License
dnl
for more details.
dnl
dnl You should have received copies of the GNU General Public License and the
dnl GNU Lesser General Public License along with the GNU MP Library.
If not,
dnl see
https://www.gnu.org/licenses/.
define(`adox
',`
push $2
push %rcx
push %rbx
push %rax
mov $1, %rcx
pushfq
pushfq
C
copy 0(%rsp):11 to 0(%rsp):0
mov (%rsp), %rbx
shr %rbx
bt $`
'10, %rbx
adc %rbx, %rbx
mov %rbx, (%rsp)
C put manipulated flags into eflags, execute a plain adc
popfq
adc %rcx, 32(%rsp)
C
copy CF to 0(%rsp):11
mov (%rsp), %rbx
sbb R32(%rax), R32(%rax)
and $`
'0x800, R32(%rax)
and $`
'0xfffffffffffff7ff, %rbx
or %rax, %rbx
mov %rbx, (%rsp)
C put manipulated flags into eflags
popfq
pop %rax
pop %rbx
pop %rcx
pop $2
')
define(`adcx
',`
push $2
push %rcx
push %rbx
push %rax
mov $1, %rcx
pushfq
adc %rcx, 32(%rsp)
mov (%rsp), %rbx
sbb R32(%rax), R32(%rax)
and $`
'0xfffffffffffffffe, %rbx
sub %rax, %rbx
mov %rbx, (%rsp)
popfq
pop %rax
pop %rbx
pop %rcx
pop $2
')
define(`mulx
',`
lea -16(%rsp), %rsp
push %rax
push %rdx
pushfq C preserve
all flags
mov $1, %rax
mul %rdx
mov %rax, 24(%rsp)
mov %rdx, 32(%rsp)
popfq C restore eflags
pop %rdx
pop %rax
pop $2
pop $3
')
