[Bug tree-optimization/33410] New: ICE in iv_analyze_expr, at loop-iv.c:934

[Bug tree-optimization/33410] New: ICE in iv_analyze_expr, at loop-iv.c:934

[debian-gcc at lists dot debian dot org]

[ forwarded from http://bugs.debian.org/442036 ]

falk@juist:/src/delta/bin% cat test.c
long double f(long double *data, long n) {
    long double max = 0;
    long i;
    for (i = 0; i < n; i++) {
        if (data[i])
            max = 1;
    }
    return max;
}
falk@juist:/src/delta/bin% gcc -c -O2 test.c
falk@juist:/src/delta/bin% gcc -c -O3 test.c
test.c: In function 'f':
test.c:9: internal compiler error: in iv_analyze_expr, at loop-iv.c:911
Please submit a full bug report,

Reproduced with Debian's 4.2.1 and 4.3.0 20070829 r127913. Compiler is
configured to 128 bit long double.

--Falk


-- 
           Summary: ICE in iv_analyze_expr, at loop-iv.c:934
           Product: gcc
           Version: 4.1.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: tree-optimization
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: debian-gcc at lists dot debian dot org
 GCC build triplet: alpha-linux-gnu
  GCC host triplet: alpha-linux-gnu
GCC target triplet: alpha-linux-gnu


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

[Bug rtl-optimization/33410] ICE in iv_analyze_expr, at loop-iv.c:934

[pinskia at gcc dot gnu dot org]

------- Comment #1 from pinskia at gcc dot gnu dot org  2007-09-12 19:15 -------
loop-iv.c is RTL.


-- 

pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
          Component|tree-optimization           |rtl-optimization
           Keywords|                            |ice-on-valid-code


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

[Bug rtl-optimization/33410] [4.2/4.3 regression] ICE in iv_analyze_expr, at loop-iv.c:934

[belyshev at depni dot sinp dot msu dot ru]

------- Comment #2 from belyshev at depni dot sinp dot msu dot ru  2007-09-18 15:59 -------
Confirmed.
Also breaks bootstrap if CFLAGS is set to -O3.
I couldn't reproduce this with 4.1 so "reported against = 4.1.0" is probably
typo.
Can be reproduced in a cross compiler.


-- 

belyshev at depni dot sinp dot msu dot ru changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |belyshev at depni dot sinp
                   |                            |dot msu dot ru
             Status|UNCONFIRMED                 |NEW
     Ever Confirmed|0                           |1
  GCC build triplet|alpha-linux-gnu             |
   GCC host triplet|alpha-linux-gnu             |
           Keywords|                            |build
      Known to work|                            |4.1.2
   Last reconfirmed|0000-00-00 00:00:00         |2007-09-18 15:59:38
               date|                            |
            Summary|ICE in iv_analyze_expr, at  |[4.2/4.3 regression] ICE in
                   |loop-iv.c:934               |iv_analyze_expr, at loop-
                   |                            |iv.c:934
            Version|4.1.0                       |4.2.0


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

[Bug rtl-optimization/33410] [4.2/4.3 regression] ICE in iv_analyze_expr, at loop-iv.c:934

[pinskia at gcc dot gnu dot org]

-- 

pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|---                         |4.3.0


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

[Bug rtl-optimization/33410] [4.2/4.3 regression] ICE in iv_analyze_expr, at loop-iv.c:934

[pinskia at gcc dot gnu dot org]

-- 

pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|4.3.0                       |4.2.2


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

[Bug rtl-optimization/33410] [4.2/4.3 regression] ICE in iv_analyze_expr, at loop-iv.c:934

[mmitchel at gcc dot gnu dot org]

------- Comment #3 from mmitchel at gcc dot gnu dot org  2007-09-28 04:04 -------
If this can be reproduced on a platform other than alpha, set this back to P3.


-- 

mmitchel at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Priority|P3                          |P5


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

[Bug rtl-optimization/33410] [4.2/4.3 regression] ICE in iv_analyze_expr, at loop-iv.c:934

[mmitchel at gcc dot gnu dot org]

------- Comment #4 from mmitchel at gcc dot gnu dot org  2007-10-09 19:22 -------
Change target milestone to 4.2.3, as 4.2.2 has been released.


-- 

mmitchel at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|4.2.2                       |4.2.3


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

[Bug rtl-optimization/33410] [4.2/4.3 regression] ICE in iv_analyze_expr, at loop-iv.c:934

[steven at gcc dot gnu dot org]

------- Comment #5 from steven at gcc dot gnu dot org  2007-12-27 12:59 -------
Currently breaks with a df-verify error with a cross from i686-cygwin to
alpha-linux-gnu.


-- 


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

[Bug rtl-optimization/33410] [4.2/4.3 regression] ICE in iv_analyze_expr, at loop-iv.c:934

[steven at gcc dot gnu dot org]

------- Comment #6 from steven at gcc dot gnu dot org  2007-12-27 15:28 -------
Actually, that df failure was due to a local patch.  With a clean tree, a cross
from cygwin to alpha does not ICE.


-- 


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

[Bug rtl-optimization/33410] [4.2/4.3 regression] ICE in iv_analyze_expr, at loop-iv.c:934

[tbm at cyrius dot com]

------- Comment #7 from tbm at cyrius dot com  2008-01-30 03:16 -------
This definitely still ICEs on Alpha:

(sid)tbm@lima:$ /usr/lib/gcc-snapshot/bin/gcc -Wall -O3 -c test.c
test.c: In function 'f':
test.c:9: internal compiler error: in iv_analyze_expr, at loop-iv.c:935
Please submit a full bug report,

This is with 4.3.0 20080113


-- 


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

[Bug rtl-optimization/33410] [4.2/4.3 regression] ICE in iv_analyze_expr, at loop-iv.c:934

[steven at gcc dot gnu dot org]

------- Comment #8 from steven at gcc dot gnu dot org  2008-01-30 09:10 -------
How did you configure gcc (i.e. command line)?   What is the output if you
compile with -v?


-- 


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

[Bug rtl-optimization/33410] [4.2/4.3 regression] ICE in iv_analyze_expr, at loop-iv.c:934

[rguenth at gcc dot gnu dot org]

------- Comment #9 from rguenth at gcc dot gnu dot org  2008-01-30 10:04 -------
Doesn't ICE with a x86_64->alpha-linux cross either.


-- 


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

[Bug rtl-optimization/33410] [4.2/4.3 regression] ICE in iv_analyze_expr, at loop-iv.c:934

[tbm at cyrius dot com]

------- Comment #10 from tbm at cyrius dot com  2008-01-30 11:34 -------
(In reply to comment #8)
> How did you configure gcc (i.e. command line)?   What is the output if you
> compile with -v?

Configured with: ../src/configure -v --with-pkgversion='Debian 20080113-1'
--with-bugurl=file:///usr/share/doc/gcc-snapshot/README.Bugs
--enable-languages=c,c++,java,fortran,objc,obj-c++,treelang
--prefix=/usr/lib/gcc-snapshot --enable-shared --with-system-zlib --disable-nls
--enable-clocale=gnu --enable-libstdcxx-debug --enable-java-awt=gtk
--enable-gtk-cairo --disable-plugin --with-java-home=/usr/lib/gcc-snapshot/jre
--with-ecj-jar=/usr/share/java/eclipse-ecj.jar --enable-mpfr --disable-libssp
--with-long-double-128 --disable-werror --build=alpha-linux-gnu
--host=alpha-linux-gnu --target=alpha-linux-gnu


(sid)tbm@lima $ /usr/lib/gcc-snapshot/bin/gcc -Wall -O3 -c -v test.c
Using built-in specs.
Target: alpha-linux-gnu
Configured with: ../src/configure -v --with-pkgversion='Debian 20080113-1'
--with-bugurl=file:///usr/share/doc/gcc-snapshot/README.Bugs
--enable-languages=c,c++,java,fortran,objc,obj-c++,treelang
--prefix=/usr/lib/gcc-snapshot --enable-shared --with-system-zlib --disable-nls
--enable-clocale=gnu --enable-libstdcxx-debug --enable-java-awt=gtk
--enable-gtk-cairo --disable-plugin --with-java-home=/usr/lib/gcc-snapshot/jre
--with-ecj-jar=/usr/share/java/eclipse-ecj.jar --enable-mpfr --disable-libssp
--with-long-double-128 --disable-werror --build=alpha-linux-gnu
--host=alpha-linux-gnu --target=alpha-linux-gnu
Thread model: posix
gcc version 4.3.0 20080113 (experimental) [trunk revision 131510] (Debian
20080113-1)
COLLECT_GCC_OPTIONS='-Wall' '-O3' '-c' '-v'
 /usr/lib/gcc-snapshot/libexec/gcc/alpha-linux-gnu/4.3.0/cc1 -quiet -v test.c
-quiet -dumpbase test.c -auxbase test -O3 -Wall -version -o /tmp/ccraGBBR.s
ignoring nonexistent directory "/usr/local/include/alpha-linux-gnu"
ignoring nonexistent directory
"/usr/lib/gcc-snapshot/lib/gcc/alpha-linux-gnu/4.3.0/../../../../alpha-linux-gnu/include"
ignoring nonexistent directory "/usr/include/alpha-linux-gnu"
#include "..." search starts here:
#include <...> search starts here:
 /usr/local/include
 /usr/lib/gcc-snapshot/include
 /usr/lib/gcc-snapshot/lib/gcc/alpha-linux-gnu/4.3.0/include
 /usr/lib/gcc-snapshot/lib/gcc/alpha-linux-gnu/4.3.0/include-fixed
 /usr/include
End of search list.
GNU C (Debian 20080113-1) version 4.3.0 20080113 (experimental) [trunk revision
131510] (alpha-linux-gnu)
        compiled by GNU C version 4.3.0 20080113 (experimental) [trunk revision
131510], GMP version 4.2.2, MPFR version 2.3.0.
warning: MPFR header version 2.3.0 differs from library version 2.3.1.
GGC heuristics: --param ggc-min-expand=30 --param ggc-min-heapsize=4096
Compiler executable checksum: 2091850ff7a7715d13fbfe06b0858cb5
test.c: In function 'f':
test.c:9: internal compiler error: in iv_analyze_expr, at loop-iv.c:935
Please submit a full bug report,
with preprocessed source if appropriate.
See <file:///usr/share/doc/gcc-snapshot/README.Bugs> for instructions.


-- 


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

[Bug rtl-optimization/33410] [4.2/4.3 regression] ICE in iv_analyze_expr, at loop-iv.c:934

[belyshev at depni dot sinp dot msu dot ru]

------- Comment #11 from belyshev at depni dot sinp dot msu dot ru  2008-01-30 18:33 -------
Reconfirmed using amd64->alpha cross r131966:
f.c:9: internal compiler error: in iv_analyze_expr, at loop-iv.c:936

Note: gcc was configured with: --with-long-double-128
--target=alpha-unknown-linux-gnu


-- 

belyshev at depni dot sinp dot msu dot ru changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Last reconfirmed|2007-09-18 15:59:38         |2008-01-30 18:33:12
               date|                            |


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

[Bug rtl-optimization/33410] [4.2/4.3 regression] ICE in iv_analyze_expr, at loop-iv.c:934

[rth at gcc dot gnu dot org]

-- 

rth at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
         AssignedTo|unassigned at gcc dot gnu   |rth at gcc dot gnu dot org
                   |dot org                     |
             Status|NEW                         |ASSIGNED
   Last reconfirmed|2008-01-30 18:33:12         |2008-01-31 16:31:37
               date|                            |


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

[Bug rtl-optimization/33410] [4.2/4.3 regression] ICE in iv_analyze_expr, at loop-iv.c:934

[rth at gcc dot gnu dot org]

------- Comment #12 from rth at gcc dot gnu dot org  2008-01-31 16:34 -------
Looks like a bad REG_EQUAL note -- it's got a wrong (or confusing) mode.


-- 


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

[Bug rtl-optimization/33410] [4.2/4.3 regression] ICE in iv_analyze_expr, at loop-iv.c:934

[rth at gcc dot gnu dot org]

------- Comment #13 from rth at gcc dot gnu dot org  2008-01-31 17:23 -------
Created an attachment (id=15066)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=15066&action=view)
proposed fix

There's two things we can do.  First, we could modify loop-iv.c to cope with
a CCmode REG_EQUAL note associated with an integral register as a part of a
libcall.  Certainly there's nothing about the FP comparison that's going to
interest the rest of that function.  Second, we can assume that the tree 
optimizers have done all the CSE that's really going to happen and eliminate
the libcall notes at the rtl level as obsolete.

Certainly the later option is safer, as it affects no one but Alpha, and it
eliminates a potentially confusing reg note.

This fixes the testcase for cross-compile.  I'm trying to build it natively
now, but as the machine has locked up once already I'm affeared my last Alpha
machine is on it's last legs.  Someone else should try to build it as well.


-- 


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

[Bug rtl-optimization/33410] [4.2/4.3 regression] ICE in iv_analyze_expr, at loop-iv.c:934

[rth at gcc dot gnu dot org]

-- 

rth at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|ASSIGNED                    |WAITING


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

[Bug rtl-optimization/33410] [4.2/4.3 regression] ICE in iv_analyze_expr, at loop-iv.c:934

[belyshev at depni dot sinp dot msu dot ru]

------- Comment #14 from belyshev at depni dot sinp dot msu dot ru  2008-02-01 09:38 -------
bootstrapped/regtested with BOOT_CFLAGS="-O3 -g":
http://gcc.gnu.org/ml/gcc-testresults/2008-02/msg00014.html

There is a lot of unexpected failures, so I will retest with BOOT_CFLAGS=-O2
and without the patch in the next ~24..36 hours.


-- 


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

[Bug rtl-optimization/33410] [4.2/4.3 regression] ICE in iv_analyze_expr, at loop-iv.c:934

[jsm28 at gcc dot gnu dot org]

------- Comment #15 from jsm28 at gcc dot gnu dot org  2008-02-01 16:54 -------
4.2.3 is being released now, changing milestones of open bugs to 4.2.4.


-- 

jsm28 at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|4.2.3                       |4.2.4


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

[Bug rtl-optimization/33410] [4.2/4.3 regression] ICE in iv_analyze_expr, at loop-iv.c:934

[belyshev at depni dot sinp dot msu dot ru]

------- Comment #16 from belyshev at depni dot sinp dot msu dot ru  2008-02-01 21:01 -------
(In reply to comment #14)
> There is a lot of unexpected failures, so I will retest with BOOT_CFLAGS=-O2
> and without the patch in the next ~24..36 hours.

BOOT_CFLAGS=-O2  bootstrap/regtest difference:
-FAIL: gcc.dg/single-precision-constant.c execution test


-- 

belyshev at depni dot sinp dot msu dot ru changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|4.2.4                       |4.2.3


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

[Bug rtl-optimization/33410] [4.2/4.3 regression] ICE in iv_analyze_expr, at loop-iv.c:934

[pinskia at gcc dot gnu dot org]

-- 

pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|4.2.3                       |4.2.4


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

[Bug rtl-optimization/33410] [4.2/4.3 regression] ICE in iv_analyze_expr, at loop-iv.c:934

[belyshev at depni dot sinp dot msu dot ru]

------- Comment #17 from belyshev at depni dot sinp dot msu dot ru  2008-02-02 12:22 -------
And here are clean results for the same revision:
http://gcc.gnu.org/ml/gcc-testresults/2008-02/msg00099.html , which confirms
that patch from comment 13 causes many new failures.


-- 


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

[Bug rtl-optimization/33410] [4.2/4.3 regression] ICE in iv_analyze_expr, at loop-iv.c:934

[tbm at cyrius dot com]

------- Comment #18 from tbm at cyrius dot com  2008-02-02 20:08 -------
I see regressions with the patch too.


-- 


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

[Bug rtl-optimization/33410] [4.2/4.3 regression] ICE in iv_analyze_expr, at loop-iv.c:934

[rth at gcc dot gnu dot org]

------- Comment #19 from rth at gcc dot gnu dot org  2008-02-05 20:17 -------
I'm confused about the #16 report that appears to say there is one less error,
and the subsequent reports that there are "many new failures".  Please give
more precise feedback.


-- 


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

[Bug rtl-optimization/33410] [4.2/4.3 regression] ICE in iv_analyze_expr, at loop-iv.c:934

[belyshev at depni dot sinp dot msu dot ru]

------- Comment #20 from belyshev at depni dot sinp dot msu dot ru  2008-02-05 21:00 -------
(In reply to comment #19)

clean r131983 BOOT_CFLAGS=-O2: 35 FAILs [1]
patched r131983 BOOT_CFLAGS=-O2: 104 FAILs
patched r131983 BOOT_CFLAGS=-O3: 105 FAILs [2]

[1] http://gcc.gnu.org/ml/gcc-testresults/2008-02/msg00099.html
[2] http://gcc.gnu.org/ml/gcc-testresults/2008-02/msg00014.html


-- 


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

[Bug rtl-optimization/33410] [4.2/4.3 regression] ICE in iv_analyze_expr, at loop-iv.c:934

[rth at gcc dot gnu dot org]

------- Comment #21 from rth at gcc dot gnu dot org  2008-02-06 17:38 -------
Created an attachment (id=15109)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=15109&action=view)
fix, try 2

"I see," said the blind man.

It turns out that the emission of the libcall had been responsible for
copying the result from the hard register into the target pseudo.  Well,
it turns out there's an easy way to retain the libcall, but use a 
different expression; one that ought not confuse the loop optimizer.


-- 

rth at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
  Attachment #15066|0                           |1
        is obsolete|                            |


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

[Bug rtl-optimization/33410] [4.2/4.3 regression] ICE in iv_analyze_expr, at loop-iv.c:934

[belyshev at depni dot sinp dot msu dot ru]

------- Comment #22 from belyshev at depni dot sinp dot msu dot ru  2008-02-07 11:36 -------
(In reply to comment #21)
No new failures with this patch and two tests failed previously
(gcc.c-torture/compile/pr33855.c and gcc.dg/torture/fp-int-convert-timode.c)
did PASS:

http://gcc.gnu.org/ml/gcc-testresults/2008-02/msg00454.html


-- 


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

[Bug rtl-optimization/33410] [4.2/4.3 regression] ICE in iv_analyze_expr, at loop-iv.c:934

[rth at gcc dot gnu dot org]

------- Comment #23 from rth at gcc dot gnu dot org  2008-02-07 17:46 -------
Subject: Bug 33410

Author: rth
Date: Thu Feb  7 17:45:24 2008
New Revision: 132171

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=132171
Log:
        PR rtl-opt/33410
        * config/alpha/alpha.c (alpha_emit_xfloating_compare): Use an
        EXPR_LIST for the REG_EQUAL instead of a comparison with a
        funny mode.

Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/config/alpha/alpha.c


-- 


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

[Bug rtl-optimization/33410] [4.2/4.3 regression] ICE in iv_analyze_expr, at loop-iv.c:934

[rth at gcc dot gnu dot org]

------- Comment #24 from rth at gcc dot gnu dot org  2008-02-07 21:59 -------
Subject: Bug 33410

Author: rth
Date: Thu Feb  7 21:58:42 2008
New Revision: 132176

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=132176
Log:
        PR rtl-opt/33410
        * config/alpha/alpha.c (alpha_emit_xfloating_compare): Use an
        EXPR_LIST for the REG_EQUAL instead of a comparison with a 
        funny mode.

Modified:
    branches/gcc-4_2-branch/gcc/ChangeLog
    branches/gcc-4_2-branch/gcc/config/alpha/alpha.c


-- 


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

[Bug rtl-optimization/33410] [4.2/4.3 regression] ICE in iv_analyze_expr, at loop-iv.c:934

[belyshev at depni dot sinp dot msu dot ru]

------- Comment #25 from belyshev at depni dot sinp dot msu dot ru  2008-02-08 11:22 -------
Fixed.


-- 

belyshev at depni dot sinp dot msu dot ru changed:

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


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