[Bug tree-optimization/28900] New: [4.2 regression] ICE verify_stmts failed (invalid operand to unary operator)

[Bug tree-optimization/28900] New: [4.2 regression] ICE verify_stmts failed (invalid operand to unary operator)

[tbm at cyrius dot com]

ICE verify_stmts failed (invalid operand to unary operator) with
-ftree-vectorize and -O:

(sid)105:tbm@usurper: ~] /usr/lib/gcc-snapshot/bin/gcc -ftree-vectorize -O1 -c
linphone-synths.c
linphone-synths.c: In function 'synths_':
linphone-synths.c:9: error: invalid operand to unary operator
iftmp.0D.1919_15 <= 9.900000095367431640625e-1;


linphone-synths.c:9: internal compiler error: verify_stmts failed
Please submit a full bug report,
with preprocessed source if appropriate.
See <URL:http://gcc.gnu.org/bugs.html> for instructions.
(sid)106:tbm@usurper: ~] /usr/lib/gcc-snapshot/bin/gcc -ftree-vectorize -c
linphone-synths.c
(sid)107:tbm@usurper: ~] /usr/lib/gcc-snapshot/bin/gcc -O3 -c linphone-synths.c
(sid)108:tbm@usurper: ~] gcc-4.1 -O3 -c linphone-synths.c
(sid)109:tbm@usurper: ~]


-- 
           Summary: [4.2 regression] ICE verify_stmts failed (invalid
                    operand to unary operator)
           Product: gcc
           Version: 4.2.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: tree-optimization
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: tbm at cyrius dot com


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

[Bug tree-optimization/28900] [4.2 regression] ICE verify_stmts failed (invalid operand to unary operator)

[tbm at cyrius dot com]

------- Comment #1 from tbm at cyrius dot com  2006-08-30 11:38 -------
Created an attachment (id=12153)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=12153&action=view)
test case

Testcase from application "linphone".


-- 


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

[Bug tree-optimization/28900] [4.2 regression] ICE verify_stmts failed (invalid operand to unary operator)

[pinskia at gcc dot gnu dot org]

------- Comment #2 from pinskia at gcc dot gnu dot org  2006-08-30 12:37 -------
I bet this is tree-ifcvt that is causing it and not really the vectorizer, I
will check later today.


-- 

pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |pinskia at gcc dot gnu dot
                   |                            |org
   Target Milestone|---                         |4.2.0


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

[Bug tree-optimization/28900] [4.1/4.2 regression] ICE verify_stmts failed (invalid operand to unary operator)

[pinskia at gcc dot gnu dot org]

------- Comment #3 from pinskia at gcc dot gnu dot org  2006-08-30 15:15 -------
And I was correct.
4.1.2 has the bug too:
  _ifc_.33_28 = !(r__2_11 <= 9.900000095367431640625e-1) || _ifc_.30_3;
that is invalid gimple.


-- 

pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Keywords|                            |ice-checking
      Known to fail|4.2.0                       |4.2.0 4.1.1
      Known to work|4.0.3 4.1.1                 |4.0.3
            Summary|[4.2 regression] ICE        |[4.1/4.2 regression] ICE
                   |verify_stmts failed (invalid|verify_stmts failed (invalid
                   |operand to unary operator)  |operand to unary operator)
   Target Milestone|4.2.0                       |4.1.2


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

[Bug tree-optimization/28900] [4.1/4.2 regression] ICE verify_stmts failed (invalid operand to unary operator)

[pinskia at gcc dot gnu dot org]

------- Comment #4 from pinskia at gcc dot gnu dot org  2006-08-30 15:23 -------
Confirmed, reduced testcase:
int synths_ ( float * rc)
{
  float r1, r2;
  int i;
  for (i = 0; i < 128; ++i)
    {
      r2 = rc[i];
      r1 = ((r2) <= (.99f) ? (r2) : (.99f));
      rc[i] = ((r1) >= (-.99f) ? (r1) : (-.99f));
    }
}
----
Janis,
  Could you run a regression hunt on this bug?
Thanks,
Andrew


-- 

pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |janis at gcc dot gnu dot org
             Status|UNCONFIRMED                 |NEW
     Ever Confirmed|0                           |1
   Last reconfirmed|0000-00-00 00:00:00         |2006-08-30 15:23:02
               date|                            |


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

[Bug tree-optimization/28900] [4.1/4.2 regression] ICE verify_stmts failed (invalid operand to unary operator)

[janis at gcc dot gnu dot org]

------- Comment #5 from janis at gcc dot gnu dot org  2006-08-31 20:27 -------
A regression hunt on powerpc-linux identified this patch:

    http://gcc.gnu.org/viewcvs?view=rev&rev=99691

    r99691 | kazu | 2005-05-14 00:46:12 +0000 (Sat, 14 May 2005)


-- 

janis at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |kazu at gcc dot gnu dot org


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

[Bug tree-optimization/28900] [4.1/4.2 regression] ICE verify_stmts failed (invalid operand to unary operator)

[pinskia at gcc dot gnu dot org]

------- Comment #6 from pinskia at gcc dot gnu dot org  2006-08-31 20:28 -------
(In reply to comment #5)
> A regression hunt on powerpc-linux identified this patch:

That means it is a latent bug :) oh well, nothing useful really.


-- 


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

[Bug tree-optimization/28900] [4.1/4.2 regression] ICE verify_stmts failed (invalid operand to unary operator)

[mmitchel at gcc dot gnu dot org]

-- 

mmitchel at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Priority|P3                          |P1


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

[Bug tree-optimization/28900] [4.1/4.2 regression] ICE verify_stmts failed (invalid operand to unary operator)

[rguenth at gcc dot gnu dot org]

------- Comment #7 from rguenth at gcc dot gnu dot org  2006-09-03 11:32 -------
I have a patch.  The vectorizer oughts to use more of the infrastructure we
have.


-- 

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
   Last reconfirmed|2006-08-30 15:23:02         |2006-09-03 11:32:35
               date|                            |


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

[Bug tree-optimization/28900] [4.1/4.2 regression] ICE verify_stmts failed (invalid operand to unary operator)

[pinskia at gcc dot gnu dot org]

------- Comment #8 from pinskia at gcc dot gnu dot org  2006-09-03 14:24 -------
(In reply to comment #7)
> I have a patch.  The vectorizer oughts to use more of the infrastructure we
> have.
This has nothing to do with the vectorizer really, yes tree-ifcvt is only
enabled with -ftree-vectorize but it could be made even more generic.


-- 


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

[Bug tree-optimization/28900] [4.1/4.2 regression] ICE verify_stmts failed (invalid operand to unary operator)

[patchapp at dberlin dot org]

------- Comment #9 from patchapp at dberlin dot org  2006-09-03 14:35 -------
Subject: Bug number PR28900

A patch for this bug has been added to the patch tracker.
The mailing list url for the patch is
http://gcc.gnu.org/ml/gcc-patches/2006-09/msg00068.html


-- 


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

[Bug tree-optimization/28900] [4.1/4.2 regression] ICE verify_stmts failed (invalid operand to unary operator)

[rguenth at gcc dot gnu dot org]

------- Comment #10 from rguenth at gcc dot gnu dot org  2006-09-05 08:39 -------
Subject: Bug 28900

Author: rguenth
Date: Tue Sep  5 08:39:42 2006
New Revision: 116697

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=116697
Log:
2006-09-05  Richard Guenther  <rguenther@suse.de>

        PR tree-optimization/28900
        * tree-if-conv.c (find_phi_replacement_condition): Gimplify
        compound conditional before creating COND_EXPR condition.

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

Added:
    trunk/gcc/testsuite/gcc.dg/torture/pr28900.c
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/testsuite/ChangeLog
    trunk/gcc/tree-if-conv.c


-- 


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

[Bug tree-optimization/28900] [4.1 regression] ICE verify_stmts failed (invalid operand to unary operator)

[rguenth at gcc dot gnu dot org]

------- Comment #11 from rguenth at gcc dot gnu dot org  2006-09-05 08:40 -------
Fixed on the mainline.


-- 

rguenth at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
      Known to fail|4.2.0 4.1.1                 |4.1.1
      Known to work|4.0.3                       |4.0.3 4.2.0
            Summary|[4.1/4.2 regression] ICE    |[4.1 regression] ICE
                   |verify_stmts failed (invalid|verify_stmts failed (invalid
                   |operand to unary operator)  |operand to unary operator)


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

[Bug tree-optimization/28900] [4.1 regression] ICE verify_stmts failed (invalid operand to unary operator)

[rguenth at gcc dot gnu dot org]

------- Comment #13 from rguenth at gcc dot gnu dot org  2006-09-18 10:14 -------
Fixed.


-- 

rguenth at gcc dot gnu dot org changed:

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


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

[Bug tree-optimization/28900] [4.1 regression] ICE verify_stmts failed (invalid operand to unary operator)

[rguenth at gcc dot gnu dot org]

------- Comment #12 from rguenth at gcc dot gnu dot org  2006-09-18 10:13 -------
Subject: Bug 28900

Author: rguenth
Date: Mon Sep 18 10:13:42 2006
New Revision: 117021

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=117021
Log:
2006-09-18  Richard Guenther  <rguenther@suse.de>

        Backport from mainline:
        PR tree-optimization/28900
        * tree-if-conv.c (find_phi_replacement_condition): Gimplify
        compound conditional before creating COND_EXPR condition.

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

Added:
    branches/gcc-4_1-branch/gcc/testsuite/gcc.dg/torture/pr28900.c
      - copied unchanged from r116697,
trunk/gcc/testsuite/gcc.dg/torture/pr28900.c
Modified:
    branches/gcc-4_1-branch/gcc/ChangeLog
    branches/gcc-4_1-branch/gcc/testsuite/ChangeLog
    branches/gcc-4_1-branch/gcc/tree-if-conv.c


-- 


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