[Bug c/46747] New: invalid first operand of MEM_REF errors and ICEs with -fgraphite-identity

[howarth at nitro dot med.uc.edu]

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

           Summary: invalid first operand of MEM_REF errors and ICEs with
                    -fgraphite-identity
           Product: gcc
           Version: 4.6.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c
        AssignedTo: unassigned@gcc.gnu.org
        ReportedBy: howarth@nitro.med.uc.edu


Using r167318 with the approved graphite patches from
http://gcc.gnu.org/ml/gcc-patches/2010-11/msg02915.html applied as well as...

Index: gcc/opts.c
===================================================================
--- gcc/opts.c    (revision 167318)
+++ gcc/opts.c    (working copy)
@@ -462,6 +462,9 @@
     { OPT_LEVELS_1_PLUS, OPT_fcombine_stack_adjustments, NULL, 1 },

     /* -O2 optimizations.  */
+#ifdef HAVE_cloog
+    { OPT_LEVELS_2_PLUS, OPT_fgraphite_identity, NULL, 1 },
+#endif
     { OPT_LEVELS_2_PLUS, OPT_finline_small_functions, NULL, 1 },
     { OPT_LEVELS_2_PLUS, OPT_findirect_inlining, NULL, 1 },
     { OPT_LEVELS_2_PLUS, OPT_fpartial_inlining, NULL, 1 },

...a set of ICEs are exposed in the gcc testsuite. These include...

FAIL: gcc.c-torture/execute/921013-1.c compilation,  -O2  (internal compiler
error)
UNRESOLVED: gcc.c-torture/execute/921013-1.c execution,  -O2 
FAIL: gcc.c-torture/execute/921013-1.c compilation,  -O2 -flto
-flto-partition=none  (internal compiler error)
UNRESOLVED: gcc.c-torture/execute/921013-1.c execution,  -O2 -flto
-flto-partition=none 
FAIL: gcc.c-torture/execute/921013-1.c compilation,  -O2 -flto  (internal
compiler error)
UNRESOLVED: gcc.c-torture/execute/921013-1.c execution,  -O2 -flto 
FAIL: gcc.c-torture/execute/990513-1.c compilation,  -Os  (internal compiler
error)
UNRESOLVED: gcc.c-torture/execute/990513-1.c execution,  -Os 
FAIL: gcc.c-torture/execute/pr27073.c compilation,  -Os  (internal compiler
error)
UNRESOLVED: gcc.c-torture/execute/pr27073.c execution,  -Os 
FAIL: gcc.c-torture/execute/strcmp-1.c compilation,  -Os  (internal compiler
error)
UNRESOLVED: gcc.c-torture/execute/strcmp-1.c execution,  -Os 
FAIL: gcc.c-torture/execute/strncmp-1.c compilation,  -Os  (internal compiler
error)
UNRESOLVED: gcc.c-torture/execute/strncmp-1.c execution,  -Os 

which are all of the form...

/sw/src/fink.build/gcc46-4.6.0-1000/darwin_objdir/gcc/xgcc
-B/sw/src/fink.build/gcc46-4.6.0-1000/darwin_objdir/gcc/
/sw/src/fink.build/gcc46-4.6.0-1000/gcc-4.6-20101130/gcc/testsuite/gcc.c-torture/execute/921013-1.c
-w -O2 -lm -m32 -o
/sw/src/fink.build/gcc46-4.6.0-1000/darwin_objdir/gcc/testsuite/gcc/921013-1.x2
/sw/src/fink.build/gcc46-4.6.0-1000/gcc-4.6-20101130/gcc/testsuite/gcc.c-torture/execute/921013-1.c:
In function 'main':
/sw/src/fink.build/gcc46-4.6.0-1000/gcc-4.6-20101130/gcc/testsuite/gcc.c-torture/execute/921013-1.c:9:1:
error: invalid first operand of MEM_REF
&r[3]
/sw/src/fink.build/gcc46-4.6.0-1000/gcc-4.6-20101130/gcc/testsuite/gcc.c-torture/execute/921013-1.c:6:18:
note: in statement
# .MEM_80 = VDEF <.MEM_63>
r[3] = D.2716_79;

/sw/src/fink.build/gcc46-4.6.0-1000/gcc-4.6-20101130/gcc/testsuite/gcc.c-torture/execute/921013-1.c:9:1:
internal compiler error: verify_stmts failed

and use of -fno-graphite-identity suppresses these failures.

Using built-in specs.
COLLECT_GCC=gcc-4
COLLECT_LTO_WRAPPER=/sw/lib/gcc4.6/libexec/gcc/x86_64-apple-darwin10.5.0/4.6.0/lto-wrapper
Target: x86_64-apple-darwin10.5.0
Configured with: ../gcc-4.6-20101130/configure --prefix=/sw
--prefix=/sw/lib/gcc4.6 --mandir=/sw/share/man --infodir=/sw/lib/gcc4.6/info
--enable-languages=c,c++,fortran,objc,obj-c++,java --with-gmp=/sw
--with-libiconv-prefix=/sw --with-ppl=/sw --with-cloog=/sw --with-mpc=/sw
--with-system-zlib --x-includes=/usr/X11R6/include --x-libraries=/usr/X11R6/lib
--program-suffix=-fsf-4.6 --enable-checking=yes --enable-cloog-backend=isl
Thread model: posix
gcc version 4.6.0 20101130 (experimental) (GCC)