[Bug tree-optimization/69760] [4.9/5 Regression] Wrong 64-bit memory address caused by an unneeded overflowing 32-bit integer multiplication on x86_64 under -O2 and -O3 code optimization

[rguenth at gcc dot gnu.org]

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

--- Comment #15 from Richard Biener  ---
Author: rguenth
Date: Wed Apr  6 08:09:40 2016
New Revision: 234775

URL: https://gcc.gnu.org/viewcvs?rev=234775=gcc=rev
Log:
2016-04-06  Richard Biener  

Backport from mainline
2016-02-24  Richard Biener  
Jakub Jelinek  

PR middle-end/69760
* tree-scalar-evolution.c (interpret_rhs_expr): Re-write
conditionally executed ops to well-defined overflow behavior.

* gcc.dg/torture/pr69760.c: New testcase.

2016-03-01  Richard Biener  

PR tree-optimization/69983
* tree-chrec.c (eq_evolutions_p): Handle conversions, compare
types and fall back to operand_equal_p.

* gcc.dg/graphite/isl-codegen-loop-dumping.c: Adjust.

Added:
branches/gcc-5-branch/gcc/testsuite/gcc.dg/torture/pr69760.c
Modified:
branches/gcc-5-branch/gcc/ChangeLog
branches/gcc-5-branch/gcc/testsuite/ChangeLog
   
branches/gcc-5-branch/gcc/testsuite/gcc.dg/graphite/isl-codegen-loop-dumping.c
branches/gcc-5-branch/gcc/tree-chrec.c
branches/gcc-5-branch/gcc/tree-scalar-evolution.c

[Bug tree-optimization/69760] [4.9/5 Regression] Wrong 64-bit memory address caused by an unneeded overflowing 32-bit integer multiplication on x86_64 under -O2 and -O3 code optimization

[vogt at linux dot vnet.ibm.com]

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

--- Comment #14 from Dominik Vogt  ---
The regression is fixed with the latest patch for
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=69983

[Bug tree-optimization/69760] [4.9/5 Regression] Wrong 64-bit memory address caused by an unneeded overflowing 32-bit integer multiplication on x86_64 under -O2 and -O3 code optimization

[vogt at linux dot vnet.ibm.com]

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

Dominik Vogt  changed:

   What|Removed |Added

 CC||vogt at linux dot vnet.ibm.com

--- Comment #13 from Dominik Vogt  ---
Created attachment 37824
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=37824=edit
Dump file of reassoc_6.f

This commit introduces a regression on s390x (-m64):

FAIL: gfortran.dg/reassoc_6.f   -O   scan-tree-dump-not optimized "~" 

(Dump file of the test attached.)

[Bug tree-optimization/69760] [4.9/5 Regression] Wrong 64-bit memory address caused by an unneeded overflowing 32-bit integer multiplication on x86_64 under -O2 and -O3 code optimization

[rguenth at gcc dot gnu.org]

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

Richard Biener  changed:

   What|Removed |Added

  Known to work||6.0
Summary|[4.9/5/6 Regression] Wrong  |[4.9/5 Regression] Wrong
   |64-bit memory address   |64-bit memory address
   |caused by an unneeded   |caused by an unneeded
   |overflowing 32-bit integer  |overflowing 32-bit integer
   |multiplication on x86_64|multiplication on x86_64
   |under -O2 and -O3 code  |under -O2 and -O3 code
   |optimization|optimization

--- Comment #12 from Richard Biener  ---
Fixed on trunk sofar.