[Bug tree-optimization/27639] [4.1 regression] VRP miscompilation of simple loop

[pinskia at gcc dot gnu dot org]

--- Comment #32 from pinskia at gcc dot gnu dot org  2006-11-06 20:25 
---
*** Bug 29725 has been marked as a duplicate of this bug. ***


-- 

pinskia at gcc dot gnu dot org changed:

   What|Removed |Added

 CC||stian at nixia dot no


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

[Bug tree-optimization/27639] [4.1 regression] VRP miscompilation of simple loop

[rguenth at gcc dot gnu dot org]

--- Comment #30 from rguenth at gcc dot gnu dot org  2006-07-24 08:26 
---
Subject: Bug 27639

Author: rguenth
Date: Mon Jul 24 08:25:57 2006
New Revision: 115709

URL: http://gcc.gnu.org/viewcvs?root=gccview=revrev=115709
Log:
2006-07-21  Richard Guenther  [EMAIL PROTECTED]

PR tree-optimization/27795
PR tree-optimization/27639
PR tree-optimization/26719
Backport from mainline
2006-05-24  Zdenek Dvorak [EMAIL PROTECTED]

* tree-vrp.c (adjust_range_with_scev): Use scev_direction and adjust
call to scev_probably_wraps_p.
* tree-ssa-loop-niter.c (compare_trees, convert_step_widening,
used_in_pointer_arithmetic_p, convert_step): Removed.
(nowrap_type_p): New function.
(scev_probably_wraps_p): Rewritten.
* tree-scalar-evolution.c (instantiate_parameters_1): Do not call
chrec_convert if chrec_convert_aggressive might have been used.
* tree-chrec.c (convert_affine_scev, chrec_convert_1,
scev_direction): New functions.
(chrec_convert): Changed to a wrapper over chrec_convert_1.
* tree-ssa-loop-ivopts.c (idx_find_step): Use convert_affine_scev
instead of convert_step.
* tree-flow.h (scev_probably_wraps_p): Declaration changed.
(convert_step): Declaration removed.
(convert_affine_scev, nowrap_type_p, scev_direction): Declare.

* gcc.dg/pr27639.c: New test.
* gcc.dg/pr26719.c: New test.
* gcc.dg/tree-ssa/scev-cast.c: New test.

Added:
branches/gcc-4_1-branch/gcc/testsuite/gcc.dg/pr26719.c
  - copied unchanged from r114057, trunk/gcc/testsuite/gcc.dg/pr26719.c
branches/gcc-4_1-branch/gcc/testsuite/gcc.dg/pr27639.c
  - copied unchanged from r114057, trunk/gcc/testsuite/gcc.dg/pr27639.c
branches/gcc-4_1-branch/gcc/testsuite/gcc.dg/tree-ssa/scev-cast.c
  - copied unchanged from r114057,
trunk/gcc/testsuite/gcc.dg/tree-ssa/scev-cast.c
Modified:
branches/gcc-4_1-branch/gcc/ChangeLog
branches/gcc-4_1-branch/gcc/testsuite/ChangeLog
branches/gcc-4_1-branch/gcc/tree-chrec.c
branches/gcc-4_1-branch/gcc/tree-flow.h
branches/gcc-4_1-branch/gcc/tree-scalar-evolution.c
branches/gcc-4_1-branch/gcc/tree-ssa-loop-ivopts.c
branches/gcc-4_1-branch/gcc/tree-ssa-loop-niter.c
branches/gcc-4_1-branch/gcc/tree-vrp.c


-- 


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

[Bug tree-optimization/27639] [4.1 regression] VRP miscompilation of simple loop

[rguenth at gcc dot gnu dot org]

--- Comment #31 from rguenth at gcc dot gnu dot org  2006-07-24 08:29 
---
Fixed.


-- 

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=27639

[Bug tree-optimization/27639] [4.1 regression] VRP miscompilation of simple loop

[rguenth at gcc dot gnu dot org]

--- Comment #29 from rguenth at gcc dot gnu dot org  2006-07-21 12:31 
---
I have a backport to the branch in testing and can confirm it fixes 27795,
27639 and 26719.


-- 


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

[Bug tree-optimization/27639] [4.1 regression] VRP miscompilation of simple loop

[rguenth at gcc dot gnu dot org]

--- Comment #28 from rguenth at gcc dot gnu dot org  2006-05-30 15:38 
---
Zdenek, can you look at producing a patch for 4.1.2?  The mainline one doesn't
apply.


-- 


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

[Bug tree-optimization/27639] [4.1 regression] VRP miscompilation of simple loop

[pinskia at gcc dot gnu dot org]

--- Comment #27 from pinskia at gcc dot gnu dot org  2006-05-25 17:09 
---
Fixed on the mainline at least.


-- 

pinskia at gcc dot gnu dot org changed:

   What|Removed |Added

  Known to fail||4.1.1
  Known to work||4.0.3 4.2.0
Summary|[4.1/4.2 regression] VRP|[4.1 regression] VRP
   |miscompilation of simple|miscompilation of simple
   |loop|loop


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