[Bug tree-optimization/34244] [4.3 Regression] VRP/SCEV miscompiles Firefox

2008-06-06 Thread rguenth at gcc dot gnu dot org
--- Comment #15 from rguenth at gcc dot gnu dot org 2008-06-06 20:07 --- Subject: Bug 34244 Author: rguenth Date: Fri Jun 6 20:06:40 2008 New Revision: 136501 URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=136501 Log: 2008-06-06 Richard Guenther <[EMAIL PROTECTED]>

[Bug tree-optimization/34244] [4.3 Regression] VRP/SCEV miscompiles Firefox

2008-05-31 Thread rguenth at gcc dot gnu dot org
--- Comment #14 from rguenth at gcc dot gnu dot org 2008-05-31 13:01 --- Subject: Bug 34244 Author: rguenth Date: Sat May 31 13:01:10 2008 New Revision: 136237 URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=136237 Log: 2008-05-31 Richard Guenther <[EMAIL PROTECTED]>

[Bug tree-optimization/34244] [4.3 Regression] VRP/SCEV miscompiles Firefox

2007-11-30 Thread jakub at gcc dot gnu dot org
--- Comment #13 from jakub at gcc dot gnu dot org 2007-11-30 13:24 --- Zdenek fixed that. -- jakub at gcc dot gnu dot org changed: What|Removed |Added Status|

[Bug tree-optimization/34244] [4.3 Regression] VRP/SCEV miscompiles Firefox

2007-11-30 Thread hjl at lucon dot org
--- Comment #12 from hjl at lucon dot org 2007-11-30 08:56 --- gcc.dg/tree-ssa/pr34244.c in http://gcc.gnu.org/viewcvs?view=rev&revision=130527 has duplicated content. -- hjl at lucon dot org changed: What|Removed |Added -

[Bug tree-optimization/34244] [4.3 Regression] VRP/SCEV miscompiles Firefox

2007-11-29 Thread jakub at gcc dot gnu dot org
--- Comment #11 from jakub at gcc dot gnu dot org 2007-11-30 07:20 --- Fixed, thanks. -- jakub at gcc dot gnu dot org changed: What|Removed |Added Status|ASSI

[Bug tree-optimization/34244] [4.3 Regression] VRP/SCEV miscompiles Firefox

2007-11-29 Thread rakdver at gcc dot gnu dot org
--- Comment #10 from rakdver at gcc dot gnu dot org 2007-11-30 00:32 --- Subject: Bug 34244 Author: rakdver Date: Fri Nov 30 00:32:04 2007 New Revision: 130527 URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=130527 Log: PR tree-optimization/34244 * tree-vrp.c (ad

[Bug tree-optimization/34244] [4.3 Regression] VRP/SCEV miscompiles Firefox

2007-11-28 Thread rakdver at gcc dot gnu dot org
--- Comment #9 from rakdver at gcc dot gnu dot org 2007-11-29 04:29 --- Patch: http://gcc.gnu.org/ml/gcc-patches/2007-11/msg01607.html -- rakdver at gcc dot gnu dot org changed: What|Removed |Added --

[Bug tree-optimization/34244] [4.3 Regression] VRP/SCEV miscompiles Firefox

2007-11-28 Thread rguenther at suse dot de
--- Comment #8 from rguenther at suse dot de 2007-11-28 16:13 --- Subject: Re: [4.3 Regression] VRP/SCEV miscompiles Firefox On Wed, 28 Nov 2007, rakdver at kam dot mff dot cuni dot cz wrote: > > --- Comment #6 from rguenth at gcc dot gnu dot org 2007-11-28 15:47 > > --- >

[Bug tree-optimization/34244] [4.3 Regression] VRP/SCEV miscompiles Firefox

2007-11-28 Thread rakdver at kam dot mff dot cuni dot cz
--- Comment #7 from rakdver at kam dot mff dot cuni dot cz 2007-11-28 16:05 --- Subject: Re: [4.3 Regression] VRP/SCEV miscompiles Firefox > --- Comment #6 from rguenth at gcc dot gnu dot org 2007-11-28 15:47 > --- > We could clear the SCEV cache for an SSA_NAME we set a new

[Bug tree-optimization/34244] [4.3 Regression] VRP/SCEV miscompiles Firefox

2007-11-28 Thread rguenth at gcc dot gnu dot org
--- Comment #6 from rguenth at gcc dot gnu dot org 2007-11-28 15:47 --- We could clear the SCEV cache for an SSA_NAME we set a new value range (in set_value_range and set_value_range_to_varying), but I see that SCEV also caches loop->nb_iterations which we probably would need to clear un

[Bug tree-optimization/34244] [4.3 Regression] VRP/SCEV miscompiles Firefox

2007-11-27 Thread mmitchel at gcc dot gnu dot org
-- mmitchel at gcc dot gnu dot org changed: What|Removed |Added Priority|P3 |P1 http://gcc.gnu.org/bugzilla/show_bug.cgi?id=34244

[Bug tree-optimization/34244] [4.3 Regression] VRP/SCEV miscompiles Firefox

2007-11-27 Thread rakdver at gcc dot gnu dot org
--- Comment #5 from rakdver at gcc dot gnu dot org 2007-11-27 17:00 --- > # of iteration analysis records an assumption that offset_46 >= 0. However, > this is simplified to true, as the value range of offset_46 is set to [0,0] by > vrp (which seems to be wrong); so the problem is proba

[Bug tree-optimization/34244] [4.3 Regression] VRP/SCEV miscompiles Firefox

2007-11-27 Thread rakdver at gcc dot gnu dot org
--- Comment #4 from rakdver at gcc dot gnu dot org 2007-11-27 16:48 --- > as it may be zero, in case offset_46 is <= 0. > > Sebastian, Zdenek - any idea what goes wrong here? # of iteration analysis records an assumption that offset_46 >= 0. However, this is simplified to true, as the

[Bug tree-optimization/34244] [4.3 Regression] VRP/SCEV miscompiles Firefox

2007-11-27 Thread rguenther at suse dot de
--- Comment #3 from rguenther at suse dot de 2007-11-27 14:04 --- Subject: Re: [4.3 Regression] VRP/SCEV miscompiles Firefox On Tue, 27 Nov 2007, rakdver at gcc dot gnu dot org wrote: > --- Comment #2 from rakdver at gcc dot gnu dot org 2007-11-27 13:57 > --- > I will have

[Bug tree-optimization/34244] [4.3 Regression] VRP/SCEV miscompiles Firefox

2007-11-27 Thread rakdver at gcc dot gnu dot org
--- Comment #2 from rakdver at gcc dot gnu dot org 2007-11-27 13:57 --- I will have a look. What target is this on, and what flags are used for compilation? -- rakdver at gcc dot gnu dot org changed: What|Removed |Added ---

[Bug tree-optimization/34244] [4.3 Regression] VRP/SCEV miscompiles Firefox

2007-11-27 Thread pinskia at gcc dot gnu dot org
-- pinskia at gcc dot gnu dot org changed: What|Removed |Added CC||pinskia at gcc dot gnu dot |

[Bug tree-optimization/34244] [4.3 Regression] VRP/SCEV miscompiles Firefox

2007-11-27 Thread rguenth at gcc dot gnu dot org
--- Comment #1 from rguenth at gcc dot gnu dot org 2007-11-27 11:30 --- Runtime testcase: int __attribute__((noinline)) GetParent(void) { static int count = 0; count++; switch (count) { case 1: case 3: case 4: return 1; default: return 0; }