Re: [patch tree-optimization]: Fix for PR 45397 part 1 of 2

2012-03-16 Thread Richard Guenther
On Thu, Mar 15, 2012 at 3:34 PM, Kai Tietz wrote: > 2012/3/15 Richard Guenther : >> On Thu, Mar 15, 2012 at 3:00 PM, Jakub Jelinek wrote: >>> On Thu, Mar 15, 2012 at 02:53:10PM +0100, Kai Tietz wrote: > This looks like to match unbound pattern sizes and thus does not fit > into the forw

Re: [patch tree-optimization]: Fix for PR 45397 part 1 of 2

2012-03-15 Thread Michael Matz
Hi, On Thu, 15 Mar 2012, Richard Guenther wrote: > > The type demotion is PR45397/PR47477 among other PRs. I'd just walk > > from the narrowing integer conversion stmts recursively through the > > def stmts, see if they can be narrowed, note it, and finally if > > everything or significant por

Re: [patch tree-optimization]: Fix for PR 45397 part 1 of 2

2012-03-15 Thread Kai Tietz
2012/3/15 Richard Guenther : > On Thu, Mar 15, 2012 at 3:00 PM, Jakub Jelinek wrote: >> On Thu, Mar 15, 2012 at 02:53:10PM +0100, Kai Tietz wrote: >>> > This looks like to match unbound pattern sizes and thus does not fit >>> > into the forwprop machinery.  Instead it was suggested elsewhere >>> >

Re: [patch tree-optimization]: Fix for PR 45397 part 1 of 2

2012-03-15 Thread Richard Guenther
On Thu, Mar 15, 2012 at 3:00 PM, Jakub Jelinek wrote: > On Thu, Mar 15, 2012 at 02:53:10PM +0100, Kai Tietz wrote: >> > This looks like to match unbound pattern sizes and thus does not fit >> > into the forwprop machinery.  Instead it was suggested elsewhere >> > that promoting / demoting register

Re: [patch tree-optimization]: Fix for PR 45397 part 1 of 2

2012-03-15 Thread Jakub Jelinek
On Thu, Mar 15, 2012 at 02:53:10PM +0100, Kai Tietz wrote: > > This looks like to match unbound pattern sizes and thus does not fit > > into the forwprop machinery.  Instead it was suggested elsewhere > > that promoting / demoting registers should be done in a separate pass > > where you can comput

Re: [patch tree-optimization]: Fix for PR 45397 part 1 of 2

2012-03-15 Thread Kai Tietz
2012/3/15 Richard Guenther : > On Thu, Mar 15, 2012 at 2:08 PM, Kai Tietz wrote >> Hi, >> >> The solution for this PR is a mix out of different issues.  First is >> of course the type-hoisting, but also >> it shows some lacks in simplifications on integer-values, and on equal >> and none-equal >>

Re: [patch tree-optimization]: Fix for PR 45397 part 1 of 2

2012-03-15 Thread Richard Guenther
On Thu, Mar 15, 2012 at 2:08 PM, Kai Tietz wrote > Hi, > > The solution for this PR is a mix out of different issues.  First is > of course the type-hoisting, but also > it shows some lacks in simplifications on integer-values, and on equal > and none-equal > comparisons. > The first patch adds to