[Bug c++/12828] New: -floop-optimize is unstable on PowerPC

[Bug c++/12828] New: -floop-optimize is unstable on PowerPC

[chlunde+bug at ifi dot uio dot no]

PLEASE REPLY TO gcc-bugzilla@gcc.gnu.org ONLY, *NOT* gcc-bugs@gcc.gnu.org.

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

           Summary: -floop-optimize is unstable on PowerPC
           Product: gcc
           Version: 3.3.2
            Status: UNCONFIRMED
          Severity: critical
          Priority: P2
         Component: c++
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: chlunde+bug at ifi dot uio dot no
                CC: gcc-bugs at gcc dot gnu dot org
  GCC host triplet: powerpc-linux-gnu

Perfectly fine code seems to give segmentation faults on PowerPC with the new 
-floop-optimize flag.  I've only tested this with GCC 3.3.2 from Debian 
unstable. 
 
Here's a small example of code which gives SIGSEGV 
http://www.rashbox.org/~chlunde/gccloopbug.cc

[Bug c++/12828] -floop-optimize is unstable on PowerPC (float to int conversion problem)

[pinskia at gcc dot gnu dot org]

PLEASE REPLY TO gcc-bugzilla@gcc.gnu.org ONLY, *NOT* gcc-bugs@gcc.gnu.org.

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


pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Keywords|                            |wrong-code
            Summary|-floop-optimize is unstable |-floop-optimize is unstable
                   |on PowerPC                  |on PowerPC (float to int
                   |                            |conversion problem)


------- Additional Comments From pinskia at gcc dot gnu dot org  2003-10-29 18:01 -------
Looks like some how this insn is being splitted up:
(insn 164 117 166 0x0 (parallel [
            (set (reg:DF 127)
                (unsigned_float:DF (reg/v:SI 122)))
            (use (reg:SI 128))
            (use (reg:DF 129))
            (clobber (mem:DF (plus:SI (reg/f:SI 30 r30)
                        (reg:SI 141)) [0 S8 A8]))
            (clobber (reg:DF 130))
        ]) -1 (nil)
    (expr_list:REG_EQUAL (unsigned_float:DF (reg/v:SI 122))
        (nil)))

[Bug optimization/12828] -floop-optimize is unstable on PowerPC (float to int conversion problem)

[pinskia at gcc dot gnu dot org]

PLEASE REPLY TO gcc-bugzilla@gcc.gnu.org ONLY, *NOT* gcc-bugs@gcc.gnu.org.

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


pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
          Component|c++                         |optimization

[Bug optimization/12828] -floop-optimize is unstable on PowerPC (float to int conversion problem)

[pinskia at gcc dot gnu dot org]

PLEASE REPLY TO gcc-bugzilla@gcc.gnu.org ONLY, *NOT* gcc-bugs@gcc.gnu.org.

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



------- Additional Comments From pinskia at gcc dot gnu dot org  2003-10-30 05:08 -------
Here is the code:
/*
 * This gives me a SIGSEGV when compiled with -floop-optimize on PPC w/3.3
 * chlunde at ifi.uio.no
 */
#include <math.h>

typedef unsigned int uint;

int main(int, char**)
{
  const uint size = 181; // 180 and lower seems to work
  unsigned char data[size][size];

  for(uint x = 0; x < size; ++x)
  {
    for(uint y = 0; y < size; ++y)
    {
      int intensity = (int)(x * 10.0); // This is needed
      data[y][x] = (intensity >= 0) ? 0 : 1;
    }
  }
}

// vim: ts=2 sw=2 et

[Bug optimization/12828] -floop-optimize is unstable on PowerPC (float to int conversion problem)

[pinskia at gcc dot gnu dot org]

PLEASE REPLY TO gcc-bugzilla@gcc.gnu.org ONLY, *NOT* gcc-bugs@gcc.gnu.org.

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


pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
     Ever Confirmed|                            |1
   GCC host triplet|powerpc-linux-gnu           |
 GCC target triplet|                            |powerpc-*-*
   Last reconfirmed|0000-00-00 00:00:00         |2003-10-30 05:12:33
               date|                            |


------- Additional Comments From pinskia at gcc dot gnu dot org  2003-10-30 05:12 -------
The include to math.h is not needed.
I can reproduce it on the mainline (20031029).

[Bug optimization/12828] -floop-optimize is unstable on PowerPC (float to int conversion problem)

[pinskia at gcc dot gnu dot org]

PLEASE REPLY TO gcc-bugzilla@gcc.gnu.org ONLY, *NOT* gcc-bugs@gcc.gnu.org.

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


pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Severity|critical                    |normal

[Bug optimization/12828] -floop-optimize is unstable on PowerPC (float to int conversion problem)

[debian-gcc at lists dot debian dot org]

PLEASE REPLY TO gcc-bugzilla@gcc.gnu.org ONLY, *NOT* gcc-bugs@gcc.gnu.org.

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


debian-gcc at lists dot debian dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |debian-gcc at lists dot
                   |                            |debian dot org


------- Additional Comments From debian-gcc at lists dot debian dot org  2003-11-02 20:46 -------
[ reported to http://bugs.debian.org/218219 as well ]

[Bug optimization/12828] -floop-optimize is unstable on PowerPC (float to int conversion problem)

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2003-12-08 20:25 -------
Patch here: <http://gcc.gnu.org/ml/gcc-patches/2003-12/msg00785.html>.

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
           Keywords|                            |patch
   Target Milestone|---                         |3.4


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

[Bug optimization/12828] -floop-optimize is unstable on PowerPC (float to int conversion problem)

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2003-12-19 07:13 -------
Dale the patch was okayed, could you apply it?

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
         AssignedTo|unassigned at gcc dot gnu   |dalej at gcc dot gnu dot org
                   |dot org                     |
             Status|NEW                         |ASSIGNED


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

[Bug optimization/12828] -floop-optimize is unstable on PowerPC (float to int conversion problem)

[cvs-commit at gcc dot gnu dot org]

------- Additional Comments From cvs-commit at gcc dot gnu dot org  2003-12-22 18:23 -------
Subject: Bug 12828

CVSROOT:	/cvs/gcc
Module name:	gcc
Changes by:	dalej@gcc.gnu.org	2003-12-22 18:23:15

Modified files:
	gcc            : ChangeLog regclass.c loop.c 

Log message:
	2003-12-21  Dale Johannesen  <dalej@apple.com>
	
	PR optimization/12828
	* loop.c:  Add find_regs_nested to look inside CLOBBER(MEM).
	(scan_loop):  Call it.
	* regclass.c (reg_scan_mark_regs):  Look inside CLOBBER(MEM).

Patches:
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/ChangeLog.diff?cvsroot=gcc&r1=2.2072&r2=2.2073
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/regclass.c.diff?cvsroot=gcc&r1=1.182&r2=1.183
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/loop.c.diff?cvsroot=gcc&r1=1.482&r2=1.483



-- 


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

[Bug optimization/12828] -floop-optimize is unstable on PowerPC (float to int conversion problem)

[dalej at gcc dot gnu dot org]

------- Additional Comments From dalej at gcc dot gnu dot org  2003-12-22 18:32 -------
Fixed by patch shown in #7.

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


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

[Bug optimization/12828] -floop-optimize is unstable on PowerPC (float to int conversion problem)

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2004-04-13 22:00 -------
*** Bug 14947 has been marked as a duplicate of this bug. ***

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |fsmith at mathworks dot com


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

[Bug rtl-optimization/12828] -floop-optimize is unstable on PowerPC (float to int conversion problem)

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2004-08-18 02:29 -------
*** Bug 17072 has been marked as a duplicate of this bug. ***

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |rk at divdb dot com


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

[Bug rtl-optimization/12828] -floop-optimize is unstable on PowerPC (float to int conversion problem)

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2005-03-05 01:27 -------
*** Bug 20327 has been marked as a duplicate of this bug. ***

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |Martin dot Quinson at loria
                   |                            |dot fr


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