[Bug rtl-optimization/20539] New: ICE in simplify_subreg, at simplify-rtx.c:3674

[Bug rtl-optimization/20539] New: ICE in simplify_subreg, at simplify-rtx.c:3674

[John at xza5 dot com]

It's quite a small testcase.  I hacked it down to about 3700 lines...
More seriously, I haven't tried hacking about the (member) function
that's causing the problem - I've just removed a load of irrelevant
stuff from the file.

This is the failure I found:

[ALL]$ /usr/local/gcc/gcc-4.0-20050312/bin/g++  -v
Using built-in specs.
Target: i686-pc-linux-gnu
Configured with: ../../sources/gcc-4.0-20050312/configure
--enable-languages=c,c++ --enable-__cxa_atexit --disable-checking --disable-nls
--prefix=/usr/local/gcc/gcc-4.0-20050312
Thread model: posix
gcc version 4.0.0 20050312 (prerelease)
[ALL]$ /usr/local/gcc/gcc-4.0-20050312/bin/g++  -S testcase1.ii
testcase1.ii: In member function 'void S::wave_1000130()':
testcase1.ii:3691: internal compiler error: Floating point exception
Please submit a full bug report,
with preprocessed source if appropriate.
See <URL:http://gcc.gnu.org/bugs.html> for instructions.


Try with a compiler built with checking enabled:

[ALL]$ /usr/local/gcc/gcc-4.0-20050312-ggdb3/bin/g++  -v
Using built-in specs.
Target: i686-pc-linux-gnu
Configured with: ../../sources/gcc-4.0-20050312/configure
--enable-languages=c,c++ --enable-__cxa_atexit --disable-checking --disable-nls
--prefix=/usr/local/gcc/gcc-4.0-20050312 : (reconfigured)
../../sources/gcc-4.0-20050312/configure --enable-languages=c,c++
--enable-__cxa_atexit --disable-nls --prefix=/usr/local/gcc/gcc-4.0-20050312-ggdb3
Thread model: posix
gcc version 4.0.0 20050312 (prerelease)
[ALL]$ /usr/local/gcc/gcc-4.0-20050312-ggdb3/bin/g++  -S testcase1.ii
testcase1.ii: In member function 'void S::wave_1000130()':
testcase1.ii:3380: internal compiler error: in simplify_subreg, at
simplify-rtx.c:3674
Please submit a full bug report,
with preprocessed source if appropriate.
See <URL:http://gcc.gnu.org/bugs.html> for instructions.
[ALL]$

-- 
           Summary: ICE in simplify_subreg, at simplify-rtx.c:3674
           Product: gcc
           Version: 4.0.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P2
         Component: rtl-optimization
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: John at xza5 dot com
                CC: gcc-bugs at gcc dot gnu dot org,giovannibajo at libero
                    dot it
 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=20539

[Bug rtl-optimization/20539] ICE in simplify_subreg, at simplify-rtx.c:3674

[John at xza5 dot com]

------- Additional Comments From John at xza5 dot com  2005-03-18 20:09 -------
Created an attachment (id=8417)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=8417&action=view)
bzip'ed, preprocessed, trimmed testcase


-- 


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

[Bug rtl-optimization/20539] ICE in simplify_subreg, at simplify-rtx.c:3674

[pinskia at gcc dot gnu dot org]

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


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

[Bug rtl-optimization/20539] ICE in simplify_subreg, at simplify-rtx.c:3674

[John at xza5 dot com]

------- Additional Comments From John at xza5 dot com  2005-03-18 20:46 -------
I should have added:
- This is a regression from gcc-3.4.3
- The compiler I was testing was the snapshot: gcc-4.0-20050312
- The last snapshot I tried, gcc-4.0-20050220 exhibited the same behaviour

-- 


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

[Bug middle-end/20539] [4.0 Regression] ICE in simplify_subreg, at simplify-rtx.c:3674

[pinskia at gcc dot gnu dot org]

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
          Component|rtl-optimization            |middle-end
           Keywords|                            |ice-on-valid-code
            Summary|ICE in simplify_subreg, at  |[4.0 Regression] ICE in
                   |simplify-rtx.c:3674         |simplify_subreg, at
                   |                            |simplify-rtx.c:3674
   Target Milestone|---                         |4.0.0


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

[Bug middle-end/20539] [4.0/4.1 Regression] ICE in simplify_subreg, at simplify-rtx.c:3674

[pinskia at gcc dot gnu dot org]

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
            Summary|[4.0 Regression] ICE in     |[4.0/4.1 Regression] ICE in
                   |simplify_subreg, at         |simplify_subreg, at
                   |simplify-rtx.c:3674         |simplify-rtx.c:3674


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

[Bug middle-end/20539] [4.0/4.1 Regression] ICE in simplify_subreg, at simplify-rtx.c:3674

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2005-03-18 21:08 -------
Reduced testcase:
char l7_en;
long long l6_data_Z_0th;
int t;
void f()
{
  if (((char )(l6_data_Z_0th>>1 & 1U)) & ((l6_data_Z_0th & 1U)
     | !(((char )(l6_data_Z_0th>>35 & 15U))==14U)))
    t = 0ULL;
}

: Search converges between 2004-05-11-trunk (#454) and 2004-05-14-trunk (#455).

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
     Ever Confirmed|                            |1
   Last reconfirmed|0000-00-00 00:00:00         |2005-03-18 21:08:02
               date|                            |


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

[Bug middle-end/20539] [4.0/4.1 Regression] ICE in simplify_subreg, at simplify-rtx.c:3674

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2005-03-18 21:09 -------
(In reply to comment #3)
> : Search converges between 2004-05-11-trunk (#454) and 2004-05-14-trunk (#455).
Hmm, this would mean it was introduced by the tree-ssa merge.
It works with the tree-ssa branch on 2004-01-26 though.

-- 


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

[Bug middle-end/20539] [4.0/4.1 Regression] ICE in simplify_subreg, at simplify-rtx.c:3674

[giovannibajo at libero dot it]

------- Additional Comments From giovannibajo at libero dot it  2005-03-19 01:25 -------
some more subreg fun, weee!

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


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

[Bug middle-end/20539] [4.0/4.1 Regression] ICE in simplify_subreg, at simplify-rtx.c:3674

[John at xza5 dot com]

------- Additional Comments From John at xza5 dot com  2005-03-19 08:33 -------
Subject: Re:  [4.0/4.1 Regression] ICE in simplify_subreg,
 at simplify-rtx.c:3674

giovannibajo at libero dot it wrote:
> ------- Additional Comments From giovannibajo at libero dot it  2005-03-19 01:25 -------
> some more subreg fun, weee!
> 

:-)

In internal email I wrote:

John Vickers wrote:
 >
 > http://gcc.gnu.org/bugzilla/show_bug.cgi?id=20539
 >
 > When it died with an FPE I thought I might be able to fix it myself,
 > but "subreg"s are quite hairy. I'll leave that to the experts.

Regards,

John.





-- 


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

[Bug middle-end/20539] [4.0/4.1 Regression] ICE in simplify_subreg, at simplify-rtx.c:3674

[roger at eyesopen dot com]

------- Additional Comments From roger at eyesopen dot com  2005-03-20 16:47 -------
Patch here http://gcc.gnu.org/ml/gcc-patches/2005-03/msg01871.html


-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
           Keywords|                            |patch


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

[Bug middle-end/20539] [4.0/4.1 Regression] ICE in simplify_subreg, at simplify-rtx.c:3674

[cvs-commit at gcc dot gnu dot org]

------- Additional Comments From cvs-commit at gcc dot gnu dot org  2005-03-21 03:30 -------
Subject: Bug 20539

CVSROOT:	/cvs/gcc
Module name:	gcc
Changes by:	sayle@gcc.gnu.org	2005-03-21 03:30:08

Modified files:
	gcc            : ChangeLog fold-const.c c-common.c 
	gcc/testsuite  : ChangeLog 
Added files:
	gcc/testsuite/gcc.c-torture/compile: pr13066-1.c pr20539-1.c 
	gcc/testsuite/g++.dg/opt: pr13066-1.C 

Log message:
	PR middle-end/20539
	* fold-const.c (fold_binary): Fix type mismatch between
	TRUTH_{AND,OR,XOR}_EXPR nodes an their operands' types.
	(fold_binary) <TRUTH_XOR_EXPR>: Avoid calling invert_truthvalue
	for non-truth-valued expressions.
	
	* c-common.c (c_common_truthvalue_conversion): Handle ERROR_MARK
	and FUNCTION_DECL in the main switch.
	<TRUTH_ANDIF_EXPR, TRUTH_ORIF_EXPR, TRUTH_AND_EXPR, TRUTH_OR_EXPR,
	TRUTH_XOR_EXPR>: When changing the result type of these tree nodes,
	we also need to convert their operands to match.
	<TRUTH_NOT_EXPR>: Likewise.
	
	* gcc.c-torture/compile/pr13066-1.c: New test case.
	* gcc.c-torture/compile/pr20539-1.c: Likewise.
	* g++.dg/opt/pr13066-1.C: Likewise.

Patches:
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/ChangeLog.diff?cvsroot=gcc&r1=2.7927&r2=2.7928
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/fold-const.c.diff?cvsroot=gcc&r1=1.544&r2=1.545
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/c-common.c.diff?cvsroot=gcc&r1=1.614&r2=1.615
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/testsuite/ChangeLog.diff?cvsroot=gcc&r1=1.5185&r2=1.5186
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/testsuite/gcc.c-torture/compile/pr13066-1.c.diff?cvsroot=gcc&r1=NONE&r2=1.1
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/testsuite/gcc.c-torture/compile/pr20539-1.c.diff?cvsroot=gcc&r1=NONE&r2=1.1
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/testsuite/g++.dg/opt/pr13066-1.C.diff?cvsroot=gcc&r1=NONE&r2=1.1



-- 


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

[Bug middle-end/20539] [4.0/4.1 Regression] ICE in simplify_subreg, at simplify-rtx.c:3674

[cvs-commit at gcc dot gnu dot org]

------- Additional Comments From cvs-commit at gcc dot gnu dot org  2005-03-21 23:13 -------
Subject: Bug 20539

CVSROOT:	/cvs/gcc
Module name:	gcc
Branch: 	gcc-4_0-branch
Changes by:	sayle@gcc.gnu.org	2005-03-21 23:13:02

Modified files:
	gcc            : ChangeLog fold-const.c c-common.c 
	gcc/testsuite  : ChangeLog 
Added files:
	gcc/testsuite/gcc.c-torture/compile: pr13066-1.c pr20539-1.c 
	gcc/testsuite/g++.dg/opt: pr13066-1.C 

Log message:
	PR middle-end/20539
	* fold-const.c (fold_binary): Fix type mismatch between
	TRUTH_{AND,OR,XOR}_EXPR nodes an their operands' types.
	(fold_binary) <TRUTH_XOR_EXPR>: Avoid calling invert_truthvalue
	for non-truth-valued expressions.
	
	* c-common.c (c_common_truthvalue_conversion): Handle ERROR_MARK
	and FUNCTION_DECL in the main switch.
	<TRUTH_ANDIF_EXPR, TRUTH_ORIF_EXPR, TRUTH_AND_EXPR, TRUTH_OR_EXPR,
	TRUTH_XOR_EXPR>: When changing the result type of these tree nodes,
	we also need to convert their operands to match.
	<TRUTH_NOT_EXPR>: Likewise.
	
	* gcc.c-torture/compile/pr13066-1.c: New test case.
	* gcc.c-torture/compile/pr20539-1.c: Likewise.
	* g++.dg/opt/pr13066-1.C: Likewise.

Patches:
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/ChangeLog.diff?cvsroot=gcc&only_with_tag=gcc-4_0-branch&r1=2.7592.2.75&r2=2.7592.2.76
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/fold-const.c.diff?cvsroot=gcc&only_with_tag=gcc-4_0-branch&r1=1.517.2.3&r2=1.517.2.4
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/c-common.c.diff?cvsroot=gcc&only_with_tag=gcc-4_0-branch&r1=1.606&r2=1.606.2.1
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/testsuite/ChangeLog.diff?cvsroot=gcc&only_with_tag=gcc-4_0-branch&r1=1.5084.2.56&r2=1.5084.2.57
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/testsuite/gcc.c-torture/compile/pr13066-1.c.diff?cvsroot=gcc&only_with_tag=gcc-4_0-branch&r1=NONE&r2=1.1.4.1
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/testsuite/gcc.c-torture/compile/pr20539-1.c.diff?cvsroot=gcc&only_with_tag=gcc-4_0-branch&r1=NONE&r2=1.1.4.1
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/testsuite/g++.dg/opt/pr13066-1.C.diff?cvsroot=gcc&only_with_tag=gcc-4_0-branch&r1=NONE&r2=1.1.4.1



-- 


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

[Bug middle-end/20539] [4.0/4.1 Regression] ICE in simplify_subreg, at simplify-rtx.c:3674

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2005-03-21 23:17 -------
Fixed.

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


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