[Bug tree-optimization/45633] New: [4.6 regression] internal compiler error: verify_stmts failed

[Bug tree-optimization/45633] New: [4.6 regression] internal compiler error: verify_stmts failed

[jojelino at gmail dot com]

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

gcc: warning: -pipe ignored because -save-temps specified
Using built-in specs.
COLLECT_GCC=gcc
COLLECT_LTO_WRAPPER=/usr/libexec/gcc/i686-pc-cygwin/4.6.0/lto-wrapper.exe
Target: i686-pc-cygwin
Configured with: ./configure --prefix=/usr --disable-win32-registry
--enable-threads=posix --enable-languages=c,c++,lto --with-win32-nlsapi=unicode
--enable-tls --disable-bootstrap --enable-shared --disable-sjlj-exceptions
--enable-gomp
Thread model: posix
gcc version 4.6.0 20100910 (experimental) (GCC) 
COLLECT_GCC_OPTIONS='-MMD' '-MF' 'libmpcodecs/vd_ffmpeg.d' '-MT'
'libmpcodecs/vd_ffmpeg.o' '-Wstrict-prototypes' '-Wmissing-prototypes'
'-Wundef' '-Wdisabled-optimization' '-Wno-pointer-sign'
'-Wdeclaration-after-statement' '-std=gnu99' '-Wall' '-Wno-switch'
'-Wno-parentheses' '-Wpointer-arith' '-Wredundant-decls' '-O4'   '-pipe'
'-ffast-math' '-fomit-frame-pointer' '-D' '_LARGEFILE_SOURCE' '-D'
'_FILE_OFFSET_BITS=64' '-D' '_LARGEFILE64_SOURCE' '-I' 'libdvdread4' '-I' '.'
'-march=core2' '-mfpmath=sse' '-fno-common' '-I' '/usr/include/freetype2' '-c'
'-o' 'libmpcodecs/vd_ffmpeg.o' '-v' '-save-temps'
 /usr/libexec/gcc/i686-pc-cygwin/4.6.0/cc1.exe -E -quiet -v -I libdvdread4 -I .
-I /usr/include/freetype2 -MMD libmpcodecs/vd_ffmpeg.d -MF
libmpcodecs/vd_ffmpeg.d -MT libmpcodecs/vd_ffmpeg.o -D__CYGWIN32__ -D__CYGWIN__
-Dunix -D__unix__ -D__unix -idirafter
/usr/lib/gcc/i686-pc-cygwin/4.6.0/../../../../i686-pc-cygwin/lib/../include/w32api
-idirafter
/usr/lib/gcc/i686-pc-cygwin/4.6.0/../../../../i686-pc-cygwin/lib/../../include/w32api
-D _LARGEFILE_SOURCE -D _FILE_OFFSET_BITS=64 -D _LARGEFILE64_SOURCE
libmpcodecs/vd_ffmpeg.c -march=core2 -mcx16 -msahf -msse4.1 --param
l1-cache-size=32 --param l1-cache-line-size=64 --param l2-cache-size=2048
-mtune=core2 -march=core2 -mfpmath=sse -std=gnu99 -Wstrict-prototypes
-Wmissing-prototypes -Wundef -Wdisabled-optimization -Wno-pointer-sign
-Wdeclaration-after-statement -Wall -Wno-switch -Wno-parentheses
-Wpointer-arith -Wredundant-decls -ffast-math -fomit-frame-pointer -fno-common
-O4 -fpch-preprocess -o vd_ffmpeg.i
ignoring duplicate directory "/usr/include"
ignoring duplicate directory
"/usr/lib/gcc/i686-pc-cygwin/4.6.0/../../../../i686-pc-cygwin/lib/../../include/w32api"
#include "..." search starts here:
#include <...> search starts here:
 libdvdread4
 .
 /usr/include/freetype2
 /usr/lib/gcc/i686-pc-cygwin/4.6.0/include
 /usr/local/include
 /usr/lib/gcc/i686-pc-cygwin/4.6.0/include-fixed
 /usr/lib/gcc/i686-pc-cygwin/4.6.0/../../../../i686-pc-cygwin/include

/usr/lib/gcc/i686-pc-cygwin/4.6.0/../../../../i686-pc-cygwin/lib/../include/w32api
End of search list.
COLLECT_GCC_OPTIONS='-MMD' '-MF' 'libmpcodecs/vd_ffmpeg.d' '-MT'
'libmpcodecs/vd_ffmpeg.o' '-Wstrict-prototypes' '-Wmissing-prototypes'
'-Wundef' '-Wdisabled-optimization' '-Wno-pointer-sign'
'-Wdeclaration-after-statement' '-std=gnu99' '-Wall' '-Wno-switch'
'-Wno-parentheses' '-Wpointer-arith' '-Wredundant-decls' '-O4'   '-pipe'
'-ffast-math' '-fomit-frame-pointer' '-D' '_LARGEFILE_SOURCE' '-D'
'_FILE_OFFSET_BITS=64' '-D' '_LARGEFILE64_SOURCE' '-I' 'libdvdread4' '-I' '.'
'-march=core2' '-mfpmath=sse' '-fno-common' '-I' '/usr/include/freetype2' '-c'
'-o' 'libmpcodecs/vd_ffmpeg.o' '-v' '-save-temps'
 /usr/libexec/gcc/i686-pc-cygwin/4.6.0/cc1.exe -fpreprocessed vd_ffmpeg.i
-march=core2 -mcx16 -msahf -msse4.1 --param l1-cache-size=32 --param
l1-cache-line-size=64 --param l2-cache-size=2048 -mtune=core2 -quiet -dumpbase
vd_ffmpeg.c -march=core2 -mfpmath=sse -auxbase-strip libmpcodecs/vd_ffmpeg.o
-O4 -Wstrict-prototypes -Wmissing-prototypes -Wundef -Wdisabled-optimization
-Wno-pointer-sign -Wdeclaration-after-statement -Wall -Wno-switch
-Wno-parentheses -Wpointer-arith -Wredundant-decls -std=gnu99 -version
-ffast-math -fomit-frame-pointer -fno-common -o vd_ffmpeg.s
GNU C (GCC) version 4.6.0 20100910 (experimental) (i686-pc-cygwin)
        compiled by GNU C version 4.6.0 20100825 (experimental), GMP version
5.0.0, MPFR version 2.4.2, MPC version 0.8.1
GGC heuristics: --param ggc-min-expand=30 --param ggc-min-heapsize=4096
GNU C (GCC) version 4.6.0 20100910 (experimental) (i686-pc-cygwin)
        compiled by GNU C version 4.6.0 20100825 (experimental), GMP version
5.0.0, MPFR version 2.4.2, MPC version 0.8.1
GGC heuristics: --param ggc-min-expand=30 --param ggc-min-heapsize=4096
Compiler executable checksum: 4bea862be3a27aad0f75be2c3cad166f
libmpcodecs/vd_ffmpeg.c: In function ‘init’:
libmpcodecs/vd_ffmpeg.c:428:9: warning: ‘AVPaletteControl’ is deprecated
(declared at ./libavcodec/avcodec.h:2879) [-Wdeprecated-declarations]
libmpcodecs/vd_ffmpeg.c: In function ‘decode’:
libmpcodecs/vd_ffmpeg.c:917:6: warning: return discards ‘const’ qualifier from
pointer target type [enabled by default]
libmpcodecs/vd_ffmpeg.c: At top level:
libmpcodecs/vd_ffmpeg.c:84:25: warning: ‘get_format’ declared ‘static’ but
never defined [-Wunused-function]
libmpcodecs/vd_ffmpeg.c: In function ‘draw_slice’:
libmpcodecs/vd_ffmpeg.c:489:13: error: type mismatch in binary expression
vector(4) uint8_t *

vector(4) uint8_t *

vector(4) unsigned int

vect_var_.106_83 = vect_var_.103_80 - vect_var_.104_81;

libmpcodecs/vd_ffmpeg.c:489:13: internal compiler error: verify_stmts failed
Please submit a full bug report,
with preprocessed source if appropriate.
See <http://gcc.gnu.org/bugs.html> for instructions.


-- 
           Summary: [4.6 regression] internal compiler error: verify_stmts
                    failed
           Product: gcc
           Version: 4.6.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: tree-optimization
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: jojelino at gmail dot com


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

[Bug tree-optimization/45633] [4.6 regression] internal compiler error: verify_stmts failed

[jojelino at gmail dot com]

------- Comment #1 from jojelino at gmail dot com  2010-09-10 11:19 -------
Created an attachment (id=21764)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=21764&action=view)
preprocessed source


-- 


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

[Bug tree-optimization/45633] [4.6 regression] internal compiler error: verify_stmts failed

[rguenth at gcc dot gnu dot org]

------- Comment #2 from rguenth at gcc dot gnu dot org  2010-09-10 11:29 -------
Are you really using the fortran-dev branch?


-- 

rguenth at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|---                         |4.6.0
            Version|fortran-dev                 |4.6.0


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

[Bug tree-optimization/45633] [4.6 regression] internal compiler error: verify_stmts failed

[jojelino at gmail dot com]

------- Comment #3 from jojelino at gmail dot com  2010-09-10 12:13 -------
(In reply to comment #2)
> Are you really using the fortran-dev branch?
> 

$ git branch
* trunk

it is trunk.
i don't recognize how fortran-dev version have been selected. maybe i've
mistaken.


-- 


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

[Bug tree-optimization/45633] [4.6 regression] internal compiler error: verify_stmts failed

[jojelino at gmail dot com]

------- Comment #4 from jojelino at gmail dot com  2010-09-11 20:59 -------
this causes ICE
confirmed with gcc -O3 -msse2  -std=gnu99
reduced testcase 

typedef unsigned char uint8_t;
typedef struct foo2
{
  int offset[4];
  uint8_t* ref[4];
} foo2;
int
foo(const foo2 *fooval)
{
  uint8_t *source[4] =
    { fooval->ref[0], fooval->ref[1], fooval->ref[2] };
  int strides[4] =
    { fooval->offset[0], fooval->offset[1], fooval->offset[2] };
  for (int i = 0; i < 4; i++)
    {
      strides[i] = -strides[i];
      source[i] -= strides[i];
    }
  return source[0];
}
int
main()
{
  foo2 fool;
  int ret = foo(&fool);
  return ret;
}


-- 


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

[Bug tree-optimization/45633] [4.6 regression] internal compiler error: verify_stmts failed

[jakub at gcc dot gnu dot org]

------- Comment #5 from jakub at gcc dot gnu dot org  2010-09-14 15:24 -------
Simplified testcase that ICEs the same way on x86_64-linux (-O3) and i686-linux
(-O3 -msse2):

int s[4];
unsigned char *t[4];

void
foo (void)
{
  int i;
  for (i = 0; i < 4; i++)
    {
      s[i] = -s[i];
      t[i] -= s[i];
    }
}


-- 

jakub at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
     Ever Confirmed|0                           |1
  GCC build triplet|i686-pc-cygwin              |
   GCC host triplet|i686-pc-cygwin              |
 GCC target triplet|i686-pc-cygwin              |
   Last reconfirmed|0000-00-00 00:00:00         |2010-09-14 15:24:04
               date|                            |


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

[Bug tree-optimization/45633] [4.6 regression] internal compiler error: verify_stmts failed

[jakub at gcc dot gnu dot org]

------- Comment #6 from jakub at gcc dot gnu dot org  2010-09-14 16:18 -------
Created an attachment (id=21794)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=21794&action=view)
gcc46-pr45633-1.patch

The s[i] = -s[i]; line is also unnecessary in the testcase.

One possible patch attached, allows also MINUS_EXPR with vector pointer on
lhs/rhs1 and vector sizetype on rhs2.


-- 


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

[Bug tree-optimization/45633] [4.6 regression] internal compiler error: verify_stmts failed

[jakub at gcc dot gnu dot org]

------- Comment #7 from jakub at gcc dot gnu dot org  2010-09-14 16:20 -------
Created an attachment (id=21795)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=21795&action=view)
gcc46-pr45633-2.patch

Another fix, this one keeps disallowing such MINUS_EXPR.  Unfortunately the
generated code is worse, apparently no RTL pass is able to do that
tmp1 = -b
r = a + tmp1
into
r = a - b
transformation for vector modes.


-- 


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

[Bug tree-optimization/45633] [4.6 regression] internal compiler error: verify_stmts failed

[jakub at gcc dot gnu dot org]

------- Comment #8 from jakub at gcc dot gnu dot org  2010-09-14 17:15 -------
I've looked at the combiner with the second patch, but I'm afraid this isn't
fixable in the combiner easily.  While combiner is able for i3
(set (reg:V2DI res) (plus:V2DI (reg:V2DI temp) (mem:V2DI (symbol_ref:P t))))
, i2
(set (reg:V2DI temp) (minus:V2DI zero) (mem:V2DI (reg:V2DI a)))
and i1
(set (reg:V2DI zero) (const_vector:V2DI [0 0]))
to figure this is
(set (reg:V2DI res) (minus:V2DI (mem:V2DI (symbol_ref:P t)) (reg:V2DI a))
(plus repeating i1, as its result is not dead), this pattern doesn't match
as minus obviously isn't commutative and combiner doesn't try to make 3 insns
out of 3.  So I'd prefer if we could either apply the first patch, or try TER
on the PLUS_EXPR to see if the second operand isn't negation and expand it as
MINUS_EXPR, even when MINUS_EXPR isn't allowed on such arguments in GIMPLE.


-- 


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

[Bug tree-optimization/45633] [4.6 regression] internal compiler error: verify_stmts failed

[jakub at gcc dot gnu dot org]

------- Comment #9 from jakub at gcc dot gnu dot org  2010-09-14 18:43 -------
Created an attachment (id=21796)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=21796&action=view)
gcc46-pr45633-3.patch

Patch that uses TER to expand PLUS_EXPR/POINTER_PLUS_EXPR as MINUS_EXPR if it
is really pointer subtraction.


-- 


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

[Bug tree-optimization/45633] [4.6 regression] internal compiler error: verify_stmts failed

[jakub at gcc dot gnu dot org]

------- Comment #10 from jakub at gcc dot gnu dot org  2010-09-15 15:43 -------
Subject: Bug 45633

Author: jakub
Date: Wed Sep 15 15:42:41 2010
New Revision: 164312

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=164312
Log:
        PR tree-optimization/45633
        * tree-cfg.c (verify_gimple_assign_binary): Allow
        MINUS_EXPR with lhs and rhs1 pointer vector and
        rhs2 sizetype vector.
        * expr.c (expand_expr_real_2) <case PLUS_EXPR>: For pointer
        or vector pointer use TER to optimize pointer subtraction.

        * gcc.dg/vect/pr45633.c: New test.

Added:
    trunk/gcc/testsuite/gcc.dg/vect/pr45633.c
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/expr.c
    trunk/gcc/testsuite/ChangeLog
    trunk/gcc/tree-cfg.c


-- 


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

[Bug tree-optimization/45633] [4.6 regression] internal compiler error: verify_stmts failed

[jakub at gcc dot gnu dot org]

------- Comment #11 from jakub at gcc dot gnu dot org  2010-09-15 16:06 -------
Fixed.


-- 

jakub at gcc dot gnu dot org changed:

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


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

[Bug tree-optimization/45633] [4.6 regression] internal compiler error: verify_stmts failed

[law at redhat dot com]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=45633

Jeffrey A. Law <law at redhat dot com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |ysato at users dot sourceforge.jp

--- Comment #12 from Jeffrey A. Law <law at redhat dot com> ---
*** Bug 47998 has been marked as a duplicate of this bug. ***