[Bug c/37207] New: ice at tree-ssa-ifcombine.c:222

[Bug c/37207] New: ice at tree-ssa-ifcombine.c:222

[regehr at cs dot utah dot edu]

[-- Warning: decoded text below may be mangled, UTF-8 assumed --]
[-- Attachment #1: Type: text/plain, Size: 2307 bytes --]

Seen using r139506 on Ubuntu Hardy.

regehr@john-home:~/volatile/tmp12$ current-gcc -Os small.c
small.c: In function ‘func_18’:
small.c:18: internal compiler error: tree check: expected ssa_name, have
integer_cst in recognize_single_bit_test, at tree-ssa-ifcombine.c:222
Please submit a full bug report,
with preprocessed source if appropriate.
See <http://gcc.gnu.org/bugs.html> for instructions.

regehr@john-home:~/volatile/tmp12$ current-gcc -v
Using built-in specs.
Target: i686-pc-linux-gnu
Configured with: ../configure --program-prefix=current-
--enable-languages=c,c++ --prefix=/home/regehr : (reconfigured) ../configure
--program-prefix=current- --enable-languages=c,c++ --prefix=/home/regehr :
(reconfigured) ../configure --program-prefix=current- --enable-languages=c,c++
--prefix=/home/regehr : (reconfigured) ../configure --program-prefix=current-
--enable-languages=c,c++ --prefix=/home/regehr
Thread model: posix
gcc version 4.4.0 20080823 (experimental) (GCC) 

regehr@john-home:~/volatile/tmp12$ cat small.c

typedef short int int16_t;
typedef int int32_t;
typedef unsigned int uint32_t;
static inline unsigned long int
mod_rhs (long int rhs)
{
  if (rhs == 0)
    return 1;
  return rhs;
}

int32_t g_711;
uint32_t g_768;
int32_t func_52 (uint32_t p_53, uint32_t p_54, int16_t p_55, int32_t p_56,
                 int32_t p_58);
int32_t
func_18 (uint32_t p_19, uint32_t p_20, uint32_t p_22, uint32_t p_23)
{
  uint32_t l_26;
  int32_t l_893;
  uint32_t l_889;
  int32_t l_895 = 1;
  for (0; 1; ++l_889)
    {
      func_98 ((((func_81 (1)
                  && (1 &
                      (func_52 (g_768, g_711, l_26, l_893, 1) %
                       mod_rhs (l_895)))))));
      l_895 = 0;
    }
}

int32_t
func_52 (uint32_t p_53, uint32_t p_54, int16_t p_55, int32_t p_56,
         int32_t p_58)
{
}


-- 
           Summary: ice at tree-ssa-ifcombine.c:222
           Product: gcc
           Version: 4.4.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: regehr at cs dot utah dot edu
 GCC build triplet: i686-pc-linux-gnu
  GCC host triplet: i686-pc-linux-gnu
GCC target triplet: i686-pc-linux-gnu


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

[Bug tree-optimization/37207] [4.4 Regression] ice at tree-ssa-ifcombine.c:222 for -Os

[pinskia at gcc dot gnu dot org]

------- Comment #1 from pinskia at gcc dot gnu dot org  2008-08-24 22:40 -------
Confirmed.  One issue is that VRP does not look again at some % statements when
it knows it can be a constant so we produce:
  D.1962_10 = 0;
  D.1963_11 = (int) D.1962_10;

Here is a more reduced testcase:
func_18 ( int t )
{
  unsigned l_889;
  int l_895 = 1;
  for (0; 1; ++l_889)
    {
      int t1 = 0;
      if (func_81 (1))
        {
          int rhs = l_895;
          if (rhs == 0)
            rhs = 1;
          if (1 & (t % rhs))
            t1 = 1;
        }
      func_98 (t1);
      l_895 = 0;
    }
}


-- 

pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
          Component|c                           |tree-optimization
     Ever Confirmed|0                           |1
  GCC build triplet|i686-pc-linux-gnu           |
   GCC host triplet|i686-pc-linux-gnu           |
 GCC target triplet|i686-pc-linux-gnu           |i686-*-*, x86_64-*-*
           Keywords|                            |ice-on-valid-code
   Last reconfirmed|0000-00-00 00:00:00         |2008-08-24 22:40:19
               date|                            |
            Summary|ice at tree-ssa-            |[4.4 Regression] ice at
                   |ifcombine.c:222             |tree-ssa-ifcombine.c:222 for
                   |                            |-Os
   Target Milestone|---                         |4.4.0


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

[Bug tree-optimization/37207] [4.4 Regression] ice at tree-ssa-ifcombine.c:222 for -Os

[rguenth at gcc dot gnu dot org]

------- Comment #2 from rguenth at gcc dot gnu dot org  2008-08-28 15:18 -------
Mine.


-- 

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|2008-08-24 22:40:19         |2008-08-28 15:18:07
               date|                            |


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

[Bug tree-optimization/37207] [4.4 Regression] ice at tree-ssa-ifcombine.c:222 for -Os

[rguenth at gcc dot gnu dot org]

------- Comment #3 from rguenth at gcc dot gnu dot org  2008-08-28 15:27 -------
Subject: Bug 37207

Author: rguenth
Date: Thu Aug 28 15:26:13 2008
New Revision: 139714

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=139714
Log:
2008-08-28  Richard Guenther  <rguenther@suse.de>

        PR tree-optimization/37207
        * tree-ssa-ifcombine.c (recognize_single_bit_test): Fix
        tuplification bug.

        * gcc.c-torture/compile/pr37207.c: New testcase.

Added:
    trunk/gcc/testsuite/gcc.c-torture/compile/pr37207.c
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/testsuite/ChangeLog
    trunk/gcc/tree-ssa-ifcombine.c


-- 


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

[Bug tree-optimization/37207] [4.4 Regression] ice at tree-ssa-ifcombine.c:222 for -Os

[rguenth at gcc dot gnu dot org]

------- Comment #4 from rguenth at gcc dot gnu dot org  2008-08-29 08:37 -------
Subject: Bug 37207

Author: rguenth
Date: Fri Aug 29 08:36:10 2008
New Revision: 139754

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=139754
Log:
2008-08-29  Richard Guenther  <rguenther@suse.de>

        PR tree-optimization/37207
        * tree-vrp.c (extract_range_from_binary_expr): Also try
        to constant fold if only one of the operands is a constant.

        * gcc.dg/tree-ssa/vrp46.c: New testcase.

Added:
    trunk/gcc/testsuite/gcc.dg/tree-ssa/vrp46.c
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/testsuite/ChangeLog
    trunk/gcc/tree-vrp.c


-- 


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

[Bug tree-optimization/37207] [4.4 Regression] ice at tree-ssa-ifcombine.c:222 for -Os

[rguenth at gcc dot gnu dot org]

------- Comment #5 from rguenth at gcc dot gnu dot org  2008-09-02 15:16 -------
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=37207