[Bug tree-optimization/36891] New: ICE with vector division and -ffast-math and LIM

[Bug tree-optimization/36891] New: ICE with vector division and -ffast-math and LIM

[pinskia at gcc dot gnu dot org]

I don't know if this is a regression or not but I think it is. Anyways testcase
compile with -O2 -msse -ffast-math:
#define __vector __attribute__((vector_size(16) ))
__vector float f(void);
void g(__vector float);
void RRB( __vector float vdist, __vector float vx)
{
  for(unsigned detail = 0; detail < 5;++detail)
  {
   __vector float frand = f();
   __vector float pullperc =  frand/ vdist;
   __vector float pullx =  vx * pullperc;
   g(pullx);
  }
}
--- CUT ---
The ICE:
t.cc: In function 'void RRB(float __vector__, float __vector__)':
t.cc:4: error: invalid operand to binary operator
reciptmp.22_1

t.cc:4: note: in statement
# VUSE <reciptmp.22_1> { reciptmp.22 }
pullperc_6 = reciptmp.22_1 * frand_3;

t.cc:4: internal compiler error: verify_stmts failed
Please submit a full bug report,
with preprocessed source if appropriate.
See <http://gcc.gnu.org/bugs.html> for instructions.


-- 
           Summary: ICE with vector division and -ffast-math and LIM
           Product: gcc
           Version: 4.4.0
            Status: UNCONFIRMED
          Keywords: ice-on-valid-code
          Severity: normal
          Priority: P3
         Component: tree-optimization
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: pinskia at gcc dot gnu dot org
GCC target triplet: i?86-*-* x86_64-*-*


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

[Bug tree-optimization/36891] ICE with vector division and -ffast-math and LIM

[pinskia at gcc dot gnu dot org]

------- Comment #1 from pinskia at gcc dot gnu dot org  2008-07-21 18:59 -------
The same ICE also happens for SPU-elf.


-- 

pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
 GCC target triplet|i?86-*-* x86_64-*-*         |i?86-*-* x86_64-*-*, spu-*-*


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

[Bug tree-optimization/36891] ICE with vector division and -ffast-math and LIM

[pinskia at gcc dot gnu dot org]

------- Comment #2 from pinskia at gcc dot gnu dot org  2008-07-23 03:03 -------
I have a patch, I still have to check complex, I think it is ok because we have
expanded the division by the time we ran LIM.


-- 

pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
     Ever Confirmed|0                           |1
   Last reconfirmed|0000-00-00 00:00:00         |2008-07-23 03:03:26
               date|                            |


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

[Bug tree-optimization/36891] [4.2/4.3/4.4 Regression] ICE with vector division and -ffast-math and LIM

[pinskia at gcc dot gnu dot org]

------- Comment #3 from pinskia at gcc dot gnu dot org  2008-08-11 00:26 -------
Mine, this is a regression as 4.0.1 did not ICE.


-- 

pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
         AssignedTo|unassigned at gcc dot gnu   |pinskia at gcc dot gnu dot
                   |dot org                     |org
             Status|NEW                         |ASSIGNED
      Known to fail|                            |4.4.0 4.3.0 4.1.1
      Known to work|                            |4.0.1
            Summary|ICE with vector division and|[4.2/4.3/4.4 Regression] ICE
                   |-ffast-math and LIM         |with vector division and -
                   |                            |ffast-math and LIM
   Target Milestone|---                         |4.2.5


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

[Bug tree-optimization/36891] [4.2/4.3/4.4 Regression] ICE with vector division and -ffast-math and LIM

[rguenth at gcc dot gnu dot org]

------- Comment #4 from rguenth at gcc dot gnu dot org  2008-08-22 14:48 -------
Any updates here?


-- 

rguenth at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Priority|P3                          |P2


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

[Bug tree-optimization/36891] [4.2/4.3/4.4 Regression] ICE with vector division and -ffast-math and LIM

[pinskia at gcc dot gnu dot org]

------- Comment #5 from pinskia at gcc dot gnu dot org  2008-09-28 21:58 -------
On the trunk we get a slightly different ICE:
t.c: In function 'RRB':
t.c:4: internal compiler error: in gimple_assign_set_rhs1, at gimple.h:1755
Please submit a full bug report,
with preprocessed source if appropriate.
See <http://gcc.gnu.org/bugs.html> for instructions.

But that is because we catch the error earlier rather than during verification.


-- 


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

[Bug tree-optimization/36891] [4.2/4.3/4.4 Regression] ICE with vector division and -ffast-math and LIM

[pinskia at gcc dot gnu dot org]

------- Comment #6 from pinskia at gcc dot gnu dot org  2008-09-28 22:50 -------
Subject: Bug 36891

Author: pinskia
Date: Sun Sep 28 22:48:48 2008
New Revision: 140738

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=140738
Log:
2008-09-28  Andrew Pinski  <andrew_pinski@playstation.sony.com>
            Kaushal Kantawala  <kaushal_kantawala@playstation.sony.com>

        PR tree-opt/36891
        * tree-ssa-loop-im.c (rewrite_reciprocal): Set DECL_GIMPLE_REG_P on
        the newly created variable.
        Create a VECTOR_CST of all 1s for vector types.

2008-09-28  Andrew Pinski  <andrew_pinski@playstation.sony.com>
            Kaushal Kantawala  <kaushal_kantawala@playstation.sony.com>

        PR tree-opt/36891
        * gcc.dg/torture/pr36891.c: New testcase.


Added:
    trunk/gcc/testsuite/gcc.dg/torture/pr36891.c
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/testsuite/ChangeLog
    trunk/gcc/tree-ssa-loop-im.c


-- 


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

[Bug tree-optimization/36891] [4.2/4.3 Regression] ICE with vector division and -ffast-math and LIM

[pinskia at gcc dot gnu dot org]

------- Comment #7 from pinskia at gcc dot gnu dot org  2008-09-28 22:52 -------
Fixed at least on the trunk.


-- 

pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
      Known to work|4.0.1                       |4.0.1 4.4.0
            Summary|[4.2/4.3/4.4 Regression] ICE|[4.2/4.3 Regression] ICE
                   |with vector division and -  |with vector division and -
                   |ffast-math and LIM          |ffast-math and LIM


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

[Bug tree-optimization/36891] [4.2/4.3 Regression] ICE with vector division and -ffast-math and LIM

[bonzini at gcc dot gnu dot org]

------- Comment #8 from bonzini at gnu dot org  2008-09-30 09:27 -------
Subject: Bug 36891

Author: bonzini
Date: Tue Sep 30 09:26:22 2008
New Revision: 140779

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=140779
Log:
2008-09-30  Paolo Bonzini  <bonzini@gnu.org>

        PR testsuite/36891
        PR testsuite/37675
        * gcc.dg/torture/pr36891.c: Add -msse on 32-bit i386.

Modified:
    trunk/gcc/testsuite/ChangeLog
    trunk/gcc/testsuite/gcc.dg/torture/pr36891.c


-- 


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

[Bug tree-optimization/36891] [4.3 Regression] ICE with vector division and -ffast-math and LIM

[jsm28 at gcc dot gnu dot org]

------- Comment #9 from jsm28 at gcc dot gnu dot org  2009-03-31 20:54 -------
Closing 4.2 branch.


-- 

jsm28 at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
            Summary|[4.2/4.3 Regression] ICE    |[4.3 Regression] ICE with
                   |with vector division and -  |vector division and -ffast-
                   |ffast-math and LIM          |math and LIM
   Target Milestone|4.2.5                       |4.3.4


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

[Bug tree-optimization/36891] [4.3 Regression] ICE with vector division and -ffast-math and LIM

[pinskia at gcc dot gnu dot org]

------- Comment #10 from pinskia at gcc dot gnu dot org  2009-04-16 15:44 -------
I am no longer working on this one.


-- 

pinskia at gcc dot gnu dot org changed:

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


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

[Bug tree-optimization/36891] [4.3 Regression] ICE with vector division and -ffast-math and LIM

[rguenth at gcc dot gnu dot org]

------- Comment #11 from rguenth at gcc dot gnu dot org  2009-06-19 17:18 -------
Testing a backport.


-- 

rguenth at gcc dot gnu dot org changed:

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


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

[Bug tree-optimization/36891] [4.3 Regression] ICE with vector division and -ffast-math and LIM

[rguenth at gcc dot gnu dot org]

------- Comment #12 from rguenth at gcc dot gnu dot org  2009-06-25 09:44 -------
Subject: Bug 36891

Author: rguenth
Date: Thu Jun 25 09:44:12 2009
New Revision: 148939

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=148939
Log:
2009-06-25  Richard Guenther  <rguenther@suse.de>

        Backport from mainline
        2009-01-12  Jakub Jelinek  <jakub@redhat.com>

        PR c/32041
        * c-parser.c (c_parser_postfix_expression): Allow `->' in
        offsetof member-designator, handle it as `[0].'.

        cp/
        * parser.c (cp_parser_builtin_offsetof): Allow `->' in
        offsetof member-designator, handle it as `[0].'.

        * gcc.dg/pr32041.c: New test.
        * g++.dg/parse/offsetof9.C: New test.

        2008-09-28  Andrew Pinski  <andrew_pinski@playstation.sony.com>
                Kaushal Kantawala  <kaushal_kantawala@playstation.sony.com>

        PR tree-optimization/36891
        * tree-ssa-loop-im.c (rewrite_reciprocal): Set DECL_GIMPLE_REG_P on
        the newly created variable.
        Create a VECTOR_CST of all 1s for vector types.

        * gcc.dg/torture/pr36891.c: New testcase.

Added:
    branches/gcc-4_3-branch/gcc/testsuite/g++.dg/parse/offsetof9.C
    branches/gcc-4_3-branch/gcc/testsuite/gcc.dg/pr32041.c
    branches/gcc-4_3-branch/gcc/testsuite/gcc.dg/torture/pr36891.c
Modified:
    branches/gcc-4_3-branch/gcc/ChangeLog
    branches/gcc-4_3-branch/gcc/c-parser.c
    branches/gcc-4_3-branch/gcc/cp/ChangeLog
    branches/gcc-4_3-branch/gcc/cp/parser.c
    branches/gcc-4_3-branch/gcc/testsuite/ChangeLog
    branches/gcc-4_3-branch/gcc/tree-ssa-loop-im.c


-- 


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

[Bug tree-optimization/36891] [4.3 Regression] ICE with vector division and -ffast-math and LIM

[rguenth at gcc dot gnu dot org]

------- Comment #13 from rguenth at gcc dot gnu dot org  2009-06-25 09:45 -------
Fixed.


-- 

rguenth at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|ASSIGNED                    |RESOLVED
      Known to fail|4.4.0 4.3.0 4.1.1           |4.4.0 4.3.0 4.3.3 4.1.1
      Known to work|4.0.1 4.4.0                 |4.0.1 4.3.4 4.4.0
         Resolution|                            |FIXED


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