[Bug rtl-optimization/31025] New: [dataflow] Crash in caller-save.c due to x87 math

[Bug rtl-optimization/31025] New: [dataflow] Crash in caller-save.c due to x87 math

[bonzini at gnu dot org]

reduced testcase:

real*8 function f(x)
t1 = g(0)
if(x .eq. 0) then
  f = 0
else if(x .eq. 1) then
  f = t1 *log( t1 )
end if
end

dlarnd.f90: In function 'f':
dlarnd.f90:3: internal compiler error: in insert_save, at caller-save.c:731


-- 
           Summary: [dataflow] Crash in caller-save.c due to x87 math
           Product: gcc
           Version: 4.3.0
            Status: UNCONFIRMED
          Keywords: ice-on-valid-code
          Severity: normal
          Priority: P3
         Component: rtl-optimization
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: bonzini at gnu dot org
GCC target triplet: i686-pc-linux


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=31025

[Bug rtl-optimization/31025] [dataflow] Crash in caller-save.c due to x87 math

[bonzini at gnu dot org]

------- Comment #1 from bonzini at gnu dot org  2007-03-15 17:03 -------
Created an attachment (id=13211)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=13211&action=view)
patch that fixes the bug, untested

REG_N_CALLS_CROSSED is computed using live, not urec.  caller_save uses
it to decide what to save (in advance), and urec to decide whether to save
something (while scanning the insns).

reg 58 is not in live but it is in urec.  So, caller_save thinks that reg 58
doesn't have to be saved (using live) and yet it tries to save it (using urec).


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=31025

[Bug rtl-optimization/31025] [dataflow] Crash in caller-save.c due to x87 math

[bonzini at gnu dot org]

------- Comment #2 from bonzini at gnu dot org  2007-03-16 11:18 -------
the patch was not responsible for the regressions, and it regtested ok if i
paper over the bug in stevenb's patch.  so i committed it.


-- 

bonzini at gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |RESOLVED
         Resolution|                            |FIXED


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=31025

[Bug rtl-optimization/31025] [dataflow] Crash in caller-save.c due to x87 math

[bonzini at gnu dot org]

------- Comment #3 from bonzini at gnu dot org  2007-03-30 08:23 -------
still occurs at -O2 (testing with checking disabled).


-- 

bonzini at gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|RESOLVED                    |UNCONFIRMED
         Resolution|FIXED                       |


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=31025

[Bug rtl-optimization/31025] [dataflow] Crash in caller-save.c due to x87 math

[zadeck at naturalbridge dot com]

------- Comment #4 from zadeck at naturalbridge dot com  2007-06-14 12:05 -------
This bug was fixed a long time ago, i did not realize there was a bugzilla
opened on it.


-- 

zadeck at naturalbridge dot com changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |RESOLVED
         Resolution|                            |FIXED


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=31025