gmp 5.0 link failure on x86_64-apple-darwin10
gmp 5.0 link failure on x86_64-apple-darwin10
- Subject: gmp 5.0 link failure on x86_64-apple-darwin10
- From: Jack Howarth <email@hidden>
- Date: Mon, 11 Jan 2010 18:51:49 -0500
Does anyone understand the linkage failure of the new gmp 5.0 release
on x86_64-apple-darwin10? The linkage of libgmp.3.dylib fails with the
error...
ld: in mpn/.libs/gcd_1.o, in section __TEXT,__text reloc 0: not extern and X86_64_RELOC_GOT_LOAD not supported
...where the offending code is generated with...
m4 -DOPERATION_gcd_1 `test -f 'gcd_1.asm' || echo './'`gcd_1.asm >tmp-gcd_1.s
gcc -std=gnu99 -c -DHAVE_CONFIG_H -I. -I. -I.. -D__GMP_WITHIN_GMP -I.. -DOPERATION_`echo gcd_1 | sed 's/_$//'` -fexceptions -I/sw/include -O2 -pedantic -m64 -mtune=core2 -march=core2 tmp-gcd_1.s -o gcd_1.o
rm -f tmp-gcd_1.s
The file tmp-gcd_1.s contains...
.text
.align 6, 0x90
Ltable:
.byte 6
.byte 0
.byte 1
.byte 0
.byte 2
.byte 0
.byte 1
.byte 0
.byte 3
.byte 0
.byte 1
.byte 0
.byte 2
.byte 0
.byte 1
.byte 0
.byte 4
.byte 0
.byte 1
.byte 0
.byte 2
.byte 0
.byte 1
.byte 0
.byte 3
.byte 0
.byte 1
.byte 0
.byte 2
.byte 0
.byte 1
.byte 0
.byte 5
.byte 0
.byte 1
.byte 0
.byte 2
.byte 0
.byte 1
.byte 0
.byte 3
.byte 0
.byte 1
.byte 0
.byte 2
.byte 0
.byte 1
.byte 0
.byte 4
.byte 0
.byte 1
.byte 0
.byte 2
.byte 0
.byte 1
.byte 0
.byte 3
.byte 0
.byte 1
.byte 0
.byte 2
.byte 0
.byte 1
.byte 0
.text
.align 4, 0x90
.globl ___gmpn_gcd_1
___gmpn_gcd_1:
mov (%rdi), %r8
mov %r8, %r10
or %rdx, %r8
mov $-1, ìx
Ltwos:
inc ìx
shr %r8
jnc Ltwos
shr %cl, %r10
shr %cl, %rdx
mov ìx, %r8d
Ldivide_strip_y:
shr %rdx
jnc Ldivide_strip_y
adc %rdx, %rdx
push %r8
push %rdx
call ___gmpn_modexact_1_odd
pop %rdx
pop %r8
test %rax, %rax
mov %rax, %rcx
jnz Lstrip_x
mov %rdx, %rax
jmp Ldone
Lstrip_x:
mov Ltable@GOTPCREL(%rip), %r9
jmp Lstrip_x_top
.align 4, 0x90
Ltop:
cmovc %r10, %rcx
cmovc %rax, %rdx
Lstrip_x_top:
mov %rcx, %rax
and $63, ìx
mov (%r9,%rcx), %cl
shr %cl, %rax
cmp $6, %cl
mov %rax, %rcx
mov %rdx, %r10
je Lstrip_x_top
sub %rax, %r10
sub %rdx, %rcx
jnz Ltop
Ldone:
mov %r8, %rcx
shl %cl, %rax
ret
whereas the original gcd_1.asm file contains...
dnl AMD64 mpn_gcd_1 -- mpn by 1 gcd.
dnl Based on the K7 gcd_1.asm, by Kevin Ryde. Rehacked for AMD64 by Torbjorn
dnl Granlund.
dnl Copyright 2000, 2001, 2002, 2005, 2009 Free Software Foundation, Inc.
dnl This file is part of the GNU MP Library.
dnl The GNU MP Library is free software; you can redistribute it and/or modify
dnl it under the terms of the GNU Lesser General Public License as published
dnl by the Free Software Foundation; either version 3 of the License, or (at
dnl your option) any later version.
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 Lesser General Public
dnl License for more details.
dnl You should have received a copy of the GNU Lesser General Public License
dnl along with the GNU MP Library. If not, see http://www.gnu.org/licenses/.
include(`../config.m4')
C K8: 6.75 cycles/bit (approx) 1x1 gcd
C 10.0 cycles/limb Nx1 reduction (modexact_1_odd)
dnl Reduce using x%y if x is more than DIV_THRESHOLD bits bigger than y,
dnl where x is the larger of the two. See tune/README for more.
dnl
dnl div at 80 cycles compared to the gcd at about 7 cycles/bitpair
dnl suggests 80/7*2=23
deflit(DIV_THRESHOLD, 23)
C table[n] is the number of trailing zeros on n, or MAXSHIFT if n==0.
deflit(MAXSHIFT, 6)
deflit(MASK, eval((1<<MAXSHIFT)-1))
RODATA
ALIGN(64)
L(table):
.byte MAXSHIFT
forloop(i,1,MASK,
` .byte m4_count_trailing_zeros(i)
')
C mp_limb_t mpn_gcd_1 (mp_srcptr up, mp_size_t n, mp_limb_t vlimb);
C INPUT PARAMETERS
define(`up', `%rdi')
define(`n', `%rsi')
define(`vlimb', `%rdx')
TEXT
ALIGN(16)
PROLOGUE(mpn_gcd_1)
mov (%rdi), %r8 C src low limb
mov %r8, %r10
or %rdx, %r8 C x | y
mov $-1, R32(%rcx)
L(twos):
inc R32(%rcx)
shr %r8
jnc L(twos)
shr R8(%rcx), %r10
shr R8(%rcx), %rdx
mov R32(%rcx), R32(%r8) C common twos
L(divide_strip_y):
shr %rdx
jnc L(divide_strip_y)
adc %rdx, %rdx
push %r8
push %rdx
CALL( mpn_modexact_1_odd)
pop %rdx
pop %r8
test %rax, %rax
mov %rax, %rcx
jnz L(strip_x)
mov %rdx, %rax
jmp L(done)
L(strip_x):
LEA( L(table), %r9)
jmp L(strip_x_top)
ALIGN(16)
L(top):
cmovc %r10, %rcx C if x-y gave carry, use x,y-x 0
cmovc %rax, %rdx C 0
L(strip_x_top):
mov %rcx, %rax C 1
and $MASK, R32(%rcx) C 1
mov (%r9,%rcx), R8(%rcx) C 1
shr R8(%rcx), %rax C 4
cmp $MAXSHIFT, R8(%rcx) C 4
mov %rax, %rcx C 5
mov %rdx, %r10 C 5
je L(strip_x_top) C 5
sub %rax, %r10 C 6
sub %rdx, %rcx C 6
jnz L(top) C 6
L(done):
mov %r8, %rcx
shl R8(%rcx), %rax
ret
EPILOGUE()
_______________________________________________
Do not post admin requests to the list. They will be ignored.
Darwin-dev mailing list (email@hidden)
Help/Unsubscribe/Update your Subscription:
This email sent to email@hidden