[Bug tree-optimization/45260] New: g++4.5: -prefetch-loop-arrays internal compiler error: in verify_expr, at tree-cfg.c:2541

[Bug tree-optimization/45260] New: g++4.5: -prefetch-loop-arrays internal compiler error: in verify_expr, at tree-cfg.c:2541

[edwintorok at gmail dot com]

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

See https://wwws.clamav.net/bugzilla/show_bug.cgi?id=2190

$ g++-4.5 -fprefetch-loop-arrays TargetLowering.ii -c -O2
../../../../clamav-devel/libclamav/c++/llvm/lib/CodeGen/SelectionDAG/TargetLowering.cpp:
In member function ‘void llvm::TargetLowering::computeRegisterProperties()’:
../../../../clamav-devel/libclamav/c++/llvm/lib/CodeGen/SelectionDAG/TargetLowering.cpp:608:6:
internal compiler error: in verify_expr, at tree-cfg.c:2541
Please submit a full bug report,
with preprocessed source if appropriate.
See <file:///usr/share/doc/gcc-4.5/README.Bugs> for instructions.

g++-4.4 works:
$ g++-4.4 -fprefetch-loop-arrays TargetLowering.ii -c -O2

$ g++-4.5 -v
Using built-in specs.
COLLECT_GCC=/usr/bin/g++-4.5
COLLECT_LTO_WRAPPER=/usr/lib/gcc/x86_64-linux-gnu/4.5.1/lto-wrapper
Target: x86_64-linux-gnu
Configured with: ../src/configure -v --with-pkgversion='Debian 4.5.1-1'
--with-bugurl=file:///usr/share/doc/gcc-4.5/README.Bugs
--enable-languages=c,c++,fortran,objc,obj-c++ --prefix=/usr --enable-shared
--enable-multiarch --enable-linker-build-id --with-system-zlib
--libexecdir=/usr/lib --without-included-gettext --enable-threads=posix
--with-gxx-include-dir=/usr/include/c++/4.5 --program-suffix=-4.5 --enable-nls
--enable-clocale=gnu --enable-libstdcxx-debug --enable-libstdcxx-time=yes
--enable-plugin --enable-gold --with-plugin-ld=ld.gold --enable-objc-gc
--with-arch-32=i586 --with-tune=generic --enable-checking=yes
--build=x86_64-linux-gnu --host=x86_64-linux-gnu --target=x86_64-linux-gnu
Thread model: posix
gcc version 4.5.1 (Debian 4.5.1-1)


-- 
           Summary: g++4.5: -prefetch-loop-arrays internal compiler error:
                    in verify_expr, at tree-cfg.c:2541
           Product: gcc
           Version: 4.5.1
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: tree-optimization
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: edwintorok at gmail dot com
 GCC build triplet: x86_64-linux-gnu
  GCC host triplet: x86_64-linux-gnu
GCC target triplet: x86_64-linux-gnu


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

[Bug tree-optimization/45260] g++4.5: -prefetch-loop-arrays internal compiler error: in verify_expr, at tree-cfg.c:2541

[edwintorok at gmail dot com]

------- Comment #1 from edwintorok at gmail dot com  2010-08-11 20:27 -------
Created an attachment (id=21457)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=21457&action=view)
TargetLowering.ii


-- 


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

[Bug tree-optimization/45260] [4.5/4.6 Regression] g++4.5: -prefetch-loop-arrays internal compiler error: in verify_expr, at tree-cfg.c:2541

[rguenth at gcc dot gnu dot org]

-- 

rguenth at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
            Summary|g++4.5: -prefetch-loop-     |[4.5/4.6 Regression] g++4.5:
                   |arrays internal compiler    |-prefetch-loop-arrays
                   |error: in verify_expr, at   |internal compiler error: in
                   |tree-cfg.c:2541             |verify_expr, at tree-
                   |                            |cfg.c:2541
   Target Milestone|---                         |4.5.2


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

[Bug tree-optimization/45260] [4.5/4.6 Regression] g++4.5: -prefetch-loop-arrays internal compiler error: in verify_expr, at tree-cfg.c:2541

[hjl dot tools at gmail dot com]

------- Comment #2 from hjl dot tools at gmail dot com  2010-08-11 23:58 -------
It was caused by revision 153878:

http://gcc.gnu.org/ml/gcc-cvs/2009-11/msg00094.html

and disappeared with revision 159514:

http://gcc.gnu.org/ml/gcc-cvs/2010-05/msg00566.html

I am not if it really fixed the bug.


-- 

hjl dot tools at gmail dot com changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |jason at redhat dot com,
                   |                            |changpeng dot fang at amd
                   |                            |dot com
             Status|UNCONFIRMED                 |NEW
     Ever Confirmed|0                           |1
   Last reconfirmed|0000-00-00 00:00:00         |2010-08-11 23:58:42
               date|                            |


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

[Bug tree-optimization/45260] [4.5/4.6 Regression] g++4.5: -prefetch-loop-arrays internal compiler error: in verify_expr, at tree-cfg.c:2541

[changpeng dot fang at amd dot com]

------- Comment #3 from changpeng dot fang at amd dot com  2010-08-12 00:38 -------
(In reply to comment #2)
> It was caused by revision 153878:
> 
> http://gcc.gnu.org/ml/gcc-cvs/2009-11/msg00094.html
> 

I think the same patch was also committed to 4.4 branch.
Maybe some prefetch work(s) in 4.5 triggered the bug.  

> and disappeared with revision 159514:
> 
> http://gcc.gnu.org/ml/gcc-cvs/2010-05/msg00566.html
> 
> I am not if it really fixed the bug.
> 

This could not be a valid fix, because it just disable some prefetches
based on performance concern.


-- 


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

[Bug tree-optimization/45260] [4.5/4.6 Regression] g++4.5: -prefetch-loop-arrays internal compiler error: in verify_expr, at tree-cfg.c:2541

[changpeng dot fang at amd dot com]

------- Comment #4 from changpeng dot fang at amd dot com  2010-08-16 22:39 -------
This bug should be related to VIEW_CONVERT_EXPR.

If I use the following statement to filter the prefetch, the bug will go away:

if (contains_view_convert_expr_p (ref))
    return false;


Otherwise, the prefetch pass will generate "ref + offset" as the prefetching
address.



-- 


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

[Bug tree-optimization/45260] [4.5/4.6 Regression] g++4.5: -prefetch-loop-arrays internal compiler error: in verify_expr, at tree-cfg.c:2541

[changpeng dot fang at amd dot com]

------- Comment #5 from changpeng dot fang at amd dot com  2010-08-20 22:48 -------
I have a fix:
http://gcc.gnu.org/ml/gcc-patches/2010-08/msg01625.html


-- 


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

[Bug tree-optimization/45260] [4.5/4.6 Regression] g++4.5: -prefetch-loop-arrays internal compiler error: in verify_expr, at tree-cfg.c:2541

[changpeng dot fang at amd dot com]

------- Comment #6 from changpeng dot fang at amd dot com  2010-08-23 18:59 -------
Committed to trunk as Revision: 163475:
http://gcc.gnu.org/ml/gcc-cvs/2010-08/msg00688.html

Committed to 4.5 branch as Revision: 163483
http://gcc.gnu.org/ml/gcc-cvs/2010-08/msg00696.html


-- 


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

[Bug tree-optimization/45260] [4.5/4.6 Regression] g++4.5: -prefetch-loop-arrays internal compiler error: in verify_expr, at tree-cfg.c:2541

[rguenth at gcc dot gnu dot org]

------- Comment #7 from rguenth at gcc dot gnu dot org  2010-08-30 15:55 -------
Fixed.  Changpeng, please remember to add PR tree-optimization/45260 to commit
messages (well, paste aggregated changelog entries there).


-- 

rguenth at gcc dot gnu dot org changed:

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


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