Re: fix latent compare-debug problem in cprop

2011-06-05 Thread Alexandre Oliva
On Jun 4, 2011, Steven Bosscher wrote: > I'm curious, though: What CFG changes or other transformations are > performed without this patch? It could be a sign of a missed > optimization before CPROP. Have you looked at that too? IIRC the transformation that was possible but that hadn't been per

Re: fix latent compare-debug problem in cprop

2011-06-05 Thread Eric Botcazou
> This patch fixes the problem, disregarding changes to debug insns as > “changed”. Regstrapped on x86_64-linux-gnu and i686-linux-gnu. Ok to > install? Yes, thanks. -- Eric Botcazou

Re: fix latent compare-debug problem in cprop

2011-06-04 Thread Steven Bosscher
On Sat, Jun 4, 2011 at 2:50 PM, Alexandre Oliva wrote: > If cprop regards changes to debug insns as “changed”, it will perform > cfg optimizations and more, even if no non-debug insns were changed, > causing divergence between -g and -g0 compilations. > > This was observed during bootstrap-debug-l

fix latent compare-debug problem in cprop

2011-06-04 Thread Alexandre Oliva
If cprop regards changes to debug insns as “changed”, it will perform cfg optimizations and more, even if no non-debug insns were changed, causing divergence between -g and -g0 compilations. This was observed during bootstrap-debug-lib of the SSA coalesce patch, building a-strsea.adb with -fcompar