public inbox for gcc-bugs@sourceware.org
help / color / mirror / Atom feed
* [Bug tree-optimization/45578] New: [4.6 Regression] The polyhedron test mdbx is miscompiled with -O2 -ftree-vectorize at revision 163940
@ 2010-09-07 10:27 dominiq at lps dot ens dot fr
2010-09-07 12:08 ` [Bug tree-optimization/45578] " dominiq at lps dot ens dot fr
` (9 more replies)
0 siblings, 10 replies; 11+ messages in thread
From: dominiq at lps dot ens dot fr @ 2010-09-07 10:27 UTC (permalink / raw)
To: gcc-bugs
The polyhedron test mdbx is miscompiled with revision -O2 -ftree-vectorize at
163940:
[macbook] lin/test% gfc mdbx.f90 -O2 -ftree-vectorize -v
Driving: gfc -mmacosx-version-min=10.6.4 mdbx.f90 -O2 -ftree-vectorize -v -l
gfortran -shared-libgcc
Using built-in specs.
COLLECT_GCC=gfc
COLLECT_LTO_WRAPPER=/opt/gcc/gcc4.6w/libexec/gcc/x86_64-apple-darwin10.4.0/4.6.0/lto-wrapper
Target: x86_64-apple-darwin10.4.0
Configured with: ../work/configure --prefix=/opt/gcc/gcc4.6w
--enable-languages=c,c++,fortran,objc,obj-c++,java,lto --with-gmp=/opt/sw64
--with-libiconv-prefix=/opt/sw64 --with-system-zlib --with-cloog=/opt/sw64
Thread model: posix
gcc version 4.6.0 20100907 (experimental) [trunk revision 163940p4] (GCC)
COLLECT_GCC_OPTIONS='-mmacosx-version-min=10.6.4' '-O2' '-ftree-vectorize' '-v'
'-shared-libgcc' '-mtune=generic'
/opt/gcc/gcc4.6w/libexec/gcc/x86_64-apple-darwin10.4.0/4.6.0/f951 mdbx.f90
-fPIC -quiet -dumpbase mdbx.f90 -mmacosx-version-min=10.6.4 -mtune=generic
-auxbase mdbx -O2 -version -ftree-vectorize -fintrinsic-modules-path
/opt/gcc/gcc4.6w/lib/gcc/x86_64-apple-darwin10.4.0/4.6.0/finclude -o
/var/folders/LW/LW1oufkMGIqlLpjYn45fBU+++TI/-Tmp-//cceUTsb5.s
GNU Fortran (GCC) version 4.6.0 20100907 (experimental) [trunk revision
163940p4] (x86_64-apple-darwin10.4.0)
compiled by GNU C version 4.6.0 20100907 (experimental) [trunk revision
163940p4], GMP version 5.0.1, MPFR version 3.0.0, MPC version 0.8.2
GGC heuristics: --param ggc-min-expand=30 --param ggc-min-heapsize=4096
GNU Fortran (GCC) version 4.6.0 20100907 (experimental) [trunk revision
163940p4] (x86_64-apple-darwin10.4.0)
compiled by GNU C version 4.6.0 20100907 (experimental) [trunk revision
163940p4], GMP version 5.0.1, MPFR version 3.0.0, MPC version 0.8.2
GGC heuristics: --param ggc-min-expand=30 --param ggc-min-heapsize=4096
COLLECT_GCC_OPTIONS='-mmacosx-version-min=10.6.4' '-O2' '-ftree-vectorize' '-v'
'-shared-libgcc' '-mtune=generic'
as -arch x86_64 -force_cpusubtype_ALL -o
/var/folders/LW/LW1oufkMGIqlLpjYn45fBU+++TI/-Tmp-//ccBHSNwY.o
/var/folders/LW/LW1oufkMGIqlLpjYn45fBU+++TI/-Tmp-//cceUTsb5.s
COMPILER_PATH=/opt/gcc/gcc4.6w/libexec/gcc/x86_64-apple-darwin10.4.0/4.6.0/:/opt/gcc/gcc4.6w/libexec/gcc/x86_64-apple-darwin10.4.0/4.6.0/:/opt/gcc/gcc4.6w/libexec/gcc/x86_64-apple-darwin10.4.0/:/opt/gcc/gcc4.6w/lib/gcc/x86_64-apple-darwin10.4.0/4.6.0/:/opt/gcc/gcc4.6w/lib/gcc/x86_64-apple-darwin10.4.0/
LIBRARY_PATH=/opt/gcc/gcc4.6w/lib/gcc/x86_64-apple-darwin10.4.0/4.6.0/:/opt/gcc/gcc4.6w/lib/gcc/x86_64-apple-darwin10.4.0/4.6.0/../../../:/usr/lib/
COLLECT_GCC_OPTIONS='-mmacosx-version-min=10.6.4' '-O2' '-ftree-vectorize' '-v'
'-shared-libgcc' '-mtune=generic'
/opt/gcc/gcc4.6w/libexec/gcc/x86_64-apple-darwin10.4.0/4.6.0/collect2 -dynamic
-arch x86_64 -macosx_version_min 10.6.4 -weak_reference_mismatches non-weak -o
a.out -lcrt1.10.5.o -L/opt/gcc/gcc4.6w/lib/gcc/x86_64-apple-darwin10.4.0/4.6.0
-L/opt/gcc/gcc4.6w/lib/gcc/x86_64-apple-darwin10.4.0/4.6.0/../../..
/var/folders/LW/LW1oufkMGIqlLpjYn45fBU+++TI/-Tmp-//ccBHSNwY.o -lgfortran
-lgcc_ext.10.5 -lgcc -no_compact_unwind -lSystem
COLLECT_GCC_OPTIONS='-mmacosx-version-min=10.6.4' '-O2' '-ftree-vectorize' '-v'
'-shared-libgcc' '-mtune=generic'
[macbook] lin/test% a.out
MDBNCH: A MOLECULAR DYNAMICS BENCHMARK, VERSION OF DECEMBER 17, 1988
Segmentation fault
Backtrace
Program received signal EXC_BAD_ACCESS, Could not access memory.
Reason: 13 at address: 0x0000000000000000
0x0000000100007d40 in centcm_ ()
(gdb) bt
#0 0x0000000100007d40 in centcm_ ()
#1 0x00000001000086f1 in mte_ ()
The Segmentation fault occurs within the loop (lines 2073 to 2080):
DO i = 1 , MOLsa
X0(1,i) = X0(1,i) - cm1
X0(2,i) = X0(2,i) - cm2
X0(3,i) = X0(3,i) - cm3
XIN(1,i) = XIN(1,i) - cm1
XIN(2,i) = XIN(2,i) - cm2
XIN(3,i) = XIN(3,i) - cm3
ENDDO
and disappears with -fbounds-check.
Revision 163913 works. It may be due to revision 163915.
--
Summary: [4.6 Regression] The polyhedron test mdbx is miscompiled
with -O2 -ftree-vectorize at revision 163940
Product: gcc
Version: 4.6.0
Status: UNCONFIRMED
Severity: normal
Priority: P3
Component: tree-optimization
AssignedTo: unassigned at gcc dot gnu dot org
ReportedBy: dominiq at lps dot ens dot fr
GCC build triplet: x86_64-apple-darwin10
GCC host triplet: x86_64-apple-darwin10
GCC target triplet: x86_64-apple-darwin10
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=45578
^ permalink raw reply [flat|nested] 11+ messages in thread
* [Bug tree-optimization/45578] [4.6 Regression] The polyhedron test mdbx is miscompiled with -O2 -ftree-vectorize at revision 163940
2010-09-07 10:27 [Bug tree-optimization/45578] New: [4.6 Regression] The polyhedron test mdbx is miscompiled with -O2 -ftree-vectorize at revision 163940 dominiq at lps dot ens dot fr
@ 2010-09-07 12:08 ` dominiq at lps dot ens dot fr
2010-09-07 12:14 ` dominiq at lps dot ens dot fr
` (8 subsequent siblings)
9 siblings, 0 replies; 11+ messages in thread
From: dominiq at lps dot ens dot fr @ 2010-09-07 12:08 UTC (permalink / raw)
To: gcc-bugs
------- Comment #1 from dominiq at lps dot ens dot fr 2010-09-07 12:07 -------
Created an attachment (id=21726)
--> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=21726&action=view)
Split code for mdbx and good and bad assembly files.
> It may be due to revision 163915.
mdbx is miscompiled at revision 163915. The attached file contains the original
code minus the subroutine CENTCM, the source file for this subroutine, and the
assembly files from revisions 163913 (centcm_g.s) and 163913 (centcm_b.s) using
-O2 -ftree-vectorize.
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=45578
^ permalink raw reply [flat|nested] 11+ messages in thread
* [Bug tree-optimization/45578] [4.6 Regression] The polyhedron test mdbx is miscompiled with -O2 -ftree-vectorize at revision 163940
2010-09-07 10:27 [Bug tree-optimization/45578] New: [4.6 Regression] The polyhedron test mdbx is miscompiled with -O2 -ftree-vectorize at revision 163940 dominiq at lps dot ens dot fr
2010-09-07 12:08 ` [Bug tree-optimization/45578] " dominiq at lps dot ens dot fr
@ 2010-09-07 12:14 ` dominiq at lps dot ens dot fr
2010-09-07 14:30 ` [Bug tree-optimization/45578] [4.6 Regression] The polyhedron test mdbx is miscompiled with -O2 -ftree-vectorize at revision 163915 dominiq at lps dot ens dot fr
` (7 subsequent siblings)
9 siblings, 0 replies; 11+ messages in thread
From: dominiq at lps dot ens dot fr @ 2010-09-07 12:14 UTC (permalink / raw)
To: gcc-bugs
------- Comment #2 from dominiq at lps dot ens dot fr 2010-09-07 12:13 -------
> 163913 (centcm_b.s)
Pasto!-(centcm_b.s is for 163915).
--
dominiq at lps dot ens dot fr changed:
What |Removed |Added
----------------------------------------------------------------------------
Summary|[4.6 Regression] The |[4.6 Regression] The
|polyhedron test mdbx is |polyhedron test mdbx is
|miscompiled with -O2 -ftree-|miscompiled with -O2 -ftree-
|vectorize at revision 163940|vectorize at revision 163940
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=45578
^ permalink raw reply [flat|nested] 11+ messages in thread
* [Bug tree-optimization/45578] [4.6 Regression] The polyhedron test mdbx is miscompiled with -O2 -ftree-vectorize at revision 163915
2010-09-07 10:27 [Bug tree-optimization/45578] New: [4.6 Regression] The polyhedron test mdbx is miscompiled with -O2 -ftree-vectorize at revision 163940 dominiq at lps dot ens dot fr
2010-09-07 12:08 ` [Bug tree-optimization/45578] " dominiq at lps dot ens dot fr
2010-09-07 12:14 ` dominiq at lps dot ens dot fr
@ 2010-09-07 14:30 ` dominiq at lps dot ens dot fr
2010-09-07 15:07 ` rguenth at gcc dot gnu dot org
` (6 subsequent siblings)
9 siblings, 0 replies; 11+ messages in thread
From: dominiq at lps dot ens dot fr @ 2010-09-07 14:30 UTC (permalink / raw)
To: gcc-bugs
------- Comment #3 from dominiq at lps dot ens dot fr 2010-09-07 14:25 -------
If I replace the loop
DO i = 1 , MOLsa
X0(1,i) = X0(1,i) - cm1
X0(2,i) = X0(2,i) - cm2
X0(3,i) = X0(3,i) - cm3
XIN(1,i) = XIN(1,i) - cm1
XIN(2,i) = XIN(2,i) - cm2
XIN(3,i) = XIN(3,i) - cm3
ENDDO
with
X0(1,1) = X0(1,1) - cm1
X0(2,1) = X0(2,1) - cm2
X0(3,1) = X0(3,1) - cm3
XIN(1,1) = XIN(1,1) - cm1
XIN(2,1) = XIN(2,1) - cm2
XIN(3,1) = XIN(3,1) - cm3
DO i = 2 , MOLsa
X0(1,i) = X0(1,i) - cm1
X0(2,i) = X0(2,i) - cm2
X0(3,i) = X0(3,i) - cm3
XIN(1,i) = XIN(1,i) - cm1
XIN(2,i) = XIN(2,i) - cm2
XIN(3,i) = XIN(3,i) - cm3
ENDDO
the code is correctly compiled.
--
dominiq at lps dot ens dot fr changed:
What |Removed |Added
----------------------------------------------------------------------------
Summary|[4.6 Regression] The |[4.6 Regression] The
|polyhedron test mdbx is |polyhedron test mdbx is
|miscompiled with -O2 -ftree-|miscompiled with -O2 -ftree-
|vectorize at revision 163940|vectorize at revision 163915
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=45578
^ permalink raw reply [flat|nested] 11+ messages in thread
* [Bug tree-optimization/45578] [4.6 Regression] The polyhedron test mdbx is miscompiled with -O2 -ftree-vectorize at revision 163915
2010-09-07 10:27 [Bug tree-optimization/45578] New: [4.6 Regression] The polyhedron test mdbx is miscompiled with -O2 -ftree-vectorize at revision 163940 dominiq at lps dot ens dot fr
` (2 preceding siblings ...)
2010-09-07 14:30 ` [Bug tree-optimization/45578] [4.6 Regression] The polyhedron test mdbx is miscompiled with -O2 -ftree-vectorize at revision 163915 dominiq at lps dot ens dot fr
@ 2010-09-07 15:07 ` rguenth at gcc dot gnu dot org
2010-09-07 15:20 ` rguenth at gcc dot gnu dot org
` (5 subsequent siblings)
9 siblings, 0 replies; 11+ messages in thread
From: rguenth at gcc dot gnu dot org @ 2010-09-07 15:07 UTC (permalink / raw)
To: gcc-bugs
------- Comment #4 from rguenth at gcc dot gnu dot org 2010-09-07 15:02 -------
Confirmed.
--
rguenth at gcc dot gnu dot org changed:
What |Removed |Added
----------------------------------------------------------------------------
CC|rguenther at suse dot de |
AssignedTo|unassigned at gcc dot gnu |rguenth at gcc dot gnu dot
|dot org |org
Status|UNCONFIRMED |ASSIGNED
Ever Confirmed|0 |1
Last reconfirmed|0000-00-00 00:00:00 |2010-09-07 15:02:12
date| |
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=45578
^ permalink raw reply [flat|nested] 11+ messages in thread
* [Bug tree-optimization/45578] [4.6 Regression] The polyhedron test mdbx is miscompiled with -O2 -ftree-vectorize at revision 163915
2010-09-07 10:27 [Bug tree-optimization/45578] New: [4.6 Regression] The polyhedron test mdbx is miscompiled with -O2 -ftree-vectorize at revision 163940 dominiq at lps dot ens dot fr
` (3 preceding siblings ...)
2010-09-07 15:07 ` rguenth at gcc dot gnu dot org
@ 2010-09-07 15:20 ` rguenth at gcc dot gnu dot org
2010-09-08 6:56 ` dominiq at lps dot ens dot fr
` (4 subsequent siblings)
9 siblings, 0 replies; 11+ messages in thread
From: rguenth at gcc dot gnu dot org @ 2010-09-07 15:20 UTC (permalink / raw)
To: gcc-bugs
------- Comment #5 from rguenth at gcc dot gnu dot org 2010-09-07 15:13 -------
IVOPTs is causing this - when we retain points-to info there we also copy
alignment information, but that is of course bogus.
--
rguenth at gcc dot gnu dot org changed:
What |Removed |Added
----------------------------------------------------------------------------
Target Milestone|--- |4.6.0
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=45578
^ permalink raw reply [flat|nested] 11+ messages in thread
* [Bug tree-optimization/45578] [4.6 Regression] The polyhedron test mdbx is miscompiled with -O2 -ftree-vectorize at revision 163915
2010-09-07 10:27 [Bug tree-optimization/45578] New: [4.6 Regression] The polyhedron test mdbx is miscompiled with -O2 -ftree-vectorize at revision 163940 dominiq at lps dot ens dot fr
` (4 preceding siblings ...)
2010-09-07 15:20 ` rguenth at gcc dot gnu dot org
@ 2010-09-08 6:56 ` dominiq at lps dot ens dot fr
2010-09-08 11:18 ` rguenth at gcc dot gnu dot org
` (3 subsequent siblings)
9 siblings, 0 replies; 11+ messages in thread
From: dominiq at lps dot ens dot fr @ 2010-09-08 6:56 UTC (permalink / raw)
To: gcc-bugs
------- Comment #6 from dominiq at lps dot ens dot fr 2010-09-08 06:56 -------
pr45589 could be a duplicate of this pr.
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=45578
^ permalink raw reply [flat|nested] 11+ messages in thread
* [Bug tree-optimization/45578] [4.6 Regression] The polyhedron test mdbx is miscompiled with -O2 -ftree-vectorize at revision 163915
2010-09-07 10:27 [Bug tree-optimization/45578] New: [4.6 Regression] The polyhedron test mdbx is miscompiled with -O2 -ftree-vectorize at revision 163940 dominiq at lps dot ens dot fr
` (5 preceding siblings ...)
2010-09-08 6:56 ` dominiq at lps dot ens dot fr
@ 2010-09-08 11:18 ` rguenth at gcc dot gnu dot org
2010-09-08 11:21 ` rguenth at gcc dot gnu dot org
` (2 subsequent siblings)
9 siblings, 0 replies; 11+ messages in thread
From: rguenth at gcc dot gnu dot org @ 2010-09-08 11:18 UTC (permalink / raw)
To: gcc-bugs
------- Comment #7 from rguenth at gcc dot gnu dot org 2010-09-08 11:17 -------
Subject: Bug 45578
Author: rguenth
Date: Wed Sep 8 11:17:31 2010
New Revision: 163997
URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=163997
Log:
2010-09-08 Richard Guenther <rguenther@suse.de>
PR tree-optimization/45578
* tree-ssa-loop-ivopts.c (rewrite_use_nonlinear_expr):
Be more careful when transfering alignment information to
the new induction variable.
(copy_ref_info): Likewise.
* gfortran.dg/pr45578.f90: New testcase.
Added:
trunk/gcc/testsuite/gfortran.dg/pr45578.f90
Modified:
trunk/gcc/ChangeLog
trunk/gcc/testsuite/ChangeLog
trunk/gcc/tree-ssa-loop-ivopts.c
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=45578
^ permalink raw reply [flat|nested] 11+ messages in thread
* [Bug tree-optimization/45578] [4.6 Regression] The polyhedron test mdbx is miscompiled with -O2 -ftree-vectorize at revision 163915
2010-09-07 10:27 [Bug tree-optimization/45578] New: [4.6 Regression] The polyhedron test mdbx is miscompiled with -O2 -ftree-vectorize at revision 163940 dominiq at lps dot ens dot fr
` (6 preceding siblings ...)
2010-09-08 11:18 ` rguenth at gcc dot gnu dot org
@ 2010-09-08 11:21 ` rguenth at gcc dot gnu dot org
2010-09-08 12:54 ` ebotcazou at gcc dot gnu dot org
2010-09-09 9:53 ` rguenth at gcc dot gnu dot org
9 siblings, 0 replies; 11+ messages in thread
From: rguenth at gcc dot gnu dot org @ 2010-09-08 11:21 UTC (permalink / raw)
To: gcc-bugs
------- Comment #8 from rguenth at gcc dot gnu dot org 2010-09-08 11:21 -------
Fixed.
--
rguenth at gcc dot gnu dot org changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|ASSIGNED |RESOLVED
Resolution| |FIXED
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=45578
^ permalink raw reply [flat|nested] 11+ messages in thread
* [Bug tree-optimization/45578] [4.6 Regression] The polyhedron test mdbx is miscompiled with -O2 -ftree-vectorize at revision 163915
2010-09-07 10:27 [Bug tree-optimization/45578] New: [4.6 Regression] The polyhedron test mdbx is miscompiled with -O2 -ftree-vectorize at revision 163940 dominiq at lps dot ens dot fr
` (7 preceding siblings ...)
2010-09-08 11:21 ` rguenth at gcc dot gnu dot org
@ 2010-09-08 12:54 ` ebotcazou at gcc dot gnu dot org
2010-09-09 9:53 ` rguenth at gcc dot gnu dot org
9 siblings, 0 replies; 11+ messages in thread
From: ebotcazou at gcc dot gnu dot org @ 2010-09-08 12:54 UTC (permalink / raw)
To: gcc-bugs
------- Comment #9 from ebotcazou at gcc dot gnu dot org 2010-09-08 12:54 -------
*** Bug 45421 has been marked as a duplicate of this bug. ***
--
ebotcazou at gcc dot gnu dot org changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |ro at gcc dot gnu dot org
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=45578
^ permalink raw reply [flat|nested] 11+ messages in thread
* [Bug tree-optimization/45578] [4.6 Regression] The polyhedron test mdbx is miscompiled with -O2 -ftree-vectorize at revision 163915
2010-09-07 10:27 [Bug tree-optimization/45578] New: [4.6 Regression] The polyhedron test mdbx is miscompiled with -O2 -ftree-vectorize at revision 163940 dominiq at lps dot ens dot fr
` (8 preceding siblings ...)
2010-09-08 12:54 ` ebotcazou at gcc dot gnu dot org
@ 2010-09-09 9:53 ` rguenth at gcc dot gnu dot org
9 siblings, 0 replies; 11+ messages in thread
From: rguenth at gcc dot gnu dot org @ 2010-09-09 9:53 UTC (permalink / raw)
To: gcc-bugs
------- Comment #10 from rguenth at gcc dot gnu dot org 2010-09-09 09:52 -------
*** Bug 45589 has been marked as a duplicate of this bug. ***
--
rguenth at gcc dot gnu dot org changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |hjl dot tools at gmail dot
| |com
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=45578
^ permalink raw reply [flat|nested] 11+ messages in thread
end of thread, other threads:[~2010-09-09 9:53 UTC | newest]
Thread overview: 11+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2010-09-07 10:27 [Bug tree-optimization/45578] New: [4.6 Regression] The polyhedron test mdbx is miscompiled with -O2 -ftree-vectorize at revision 163940 dominiq at lps dot ens dot fr
2010-09-07 12:08 ` [Bug tree-optimization/45578] " dominiq at lps dot ens dot fr
2010-09-07 12:14 ` dominiq at lps dot ens dot fr
2010-09-07 14:30 ` [Bug tree-optimization/45578] [4.6 Regression] The polyhedron test mdbx is miscompiled with -O2 -ftree-vectorize at revision 163915 dominiq at lps dot ens dot fr
2010-09-07 15:07 ` rguenth at gcc dot gnu dot org
2010-09-07 15:20 ` rguenth at gcc dot gnu dot org
2010-09-08 6:56 ` dominiq at lps dot ens dot fr
2010-09-08 11:18 ` rguenth at gcc dot gnu dot org
2010-09-08 11:21 ` rguenth at gcc dot gnu dot org
2010-09-08 12:54 ` ebotcazou at gcc dot gnu dot org
2010-09-09 9:53 ` rguenth at gcc dot gnu dot org
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).