#11920: Sympow needs to disable fused-multiply-add and should create datafiles
------------------------------+---------------------------------------------
   Reporter:  jdemeyer        |          Owner:  tbd                            
             
       Type:  defect          |         Status:  needs_work                     
             
   Priority:  major           |      Milestone:  sage-5.0                       
             
  Component:  packages        |       Keywords:                                 
             
Work_issues:                  |       Upstream:  None of the above - read trac 
for reasoning.
   Reviewer:  Leif Leonhardy  |         Author:  Jeroen Demeyer                 
             
     Merged:                  |   Dependencies:                                 
             
------------------------------+---------------------------------------------
Changes (by leif):

  * status:  needs_review => needs_work


Comment:

 Replying to [comment:32 leif]:
 > More detailed:
 {{{
 ...
 gcc -v
 Using built-in specs.
 Target: ia64-redhat-linux
 Configured with: ../configure --prefix=/usr --mandir=/usr/share/man
 --infodir=/usr/share/info --enable-shared --enable-threads=posix --enable-
 checking=release --with-system-zlib --enable-__cxa_atexit --disable-
 libunwind-exceptions --enable-libgcj-multifile --enable-
 languages=c,c++,objc,obj-c++,java,fortran,ada --enable-java-awt=gtk
 --disable-dssi --enable-plugin --with-java-
 home=/usr/lib/jvm/java-1.4.2-gcj-1.4.2.0/jre --host=ia64-redhat-linux
 Thread model: posix
 gcc version 4.1.2 20080704 (Red Hat 4.1.2-44)
 ****************************************************
 patching file Configure
 patching file generate.c
 patching file fpu.c

 Initial CFLAGS='-O3 -g -fno-strict-aliasing'
 Testing '-ffp-contract=on': ...not recognized (compilation failed)
 Testing '-mno-fused-madd': ...not recognized (compilation failed)
 Testing '-mfpmath=sse': ...not recognized (compilation failed)
 Testing '-mpc64': ...not recognized (compilation failed)
 Accumulated CFLAGS='-O3 -g -fno-strict-aliasing'

 The double precision of your FPU is 105 bits.
 The Quad Double library used by SYMPOW assumes IEEE-754 double precision
 numbers with exactly 53 bits in the mantissa (64 bits in total).

 Unfortunately, we currently have no workaround for your system.
 Running SYMPOW will almost certainly fail on some inputs.
 ...
 }}}


 In this case `-ffloat-store` helps (`-fno-fast-math` doesn't):
 {{{
 ...
 patching file Configure
 patching file generate.c
 patching file fpu.c

 Initial CFLAGS='-O3 -g -fno-strict-aliasing'
 Testing '-ffp-contract=on': ...not recognized (compilation failed)
 Testing '-mno-fused-madd': ...not recognized (compilation failed)
 Testing '-mfpmath=sse': ...not recognized (compilation failed)
 Testing '-mpc64': ...not recognized (compilation failed)
 Testing '-ffloat-store': ...compiles ...runs (exit code 0)
 Testing '-fno-fast-math': ...compiles ...runs (exit code 0)
 Accumulated CFLAGS='-O3 -g -fno-strict-aliasing -ffloat-store -fno-fast-
 math'

 The double precision of your FPU is 53 bits.
 ...
 }}}

-- 
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/11920#comment:33>
Sage <http://www.sagemath.org>
Sage: Creating a Viable Open Source Alternative to Magma, Maple, Mathematica, 
and MATLAB

-- 
You received this message because you are subscribed to the Google Groups 
"sage-trac" group.
To post to this group, send email to [email protected].
To unsubscribe from this group, send email to 
[email protected].
For more options, visit this group at 
http://groups.google.com/group/sage-trac?hl=en.

Reply via email to