Re: new sign/zero extension elimination pass

2012-08-20 Thread Tom de Vries
On 11/07/12 12:30, Tom de Vries wrote: > On 13/11/10 10:50, Eric Botcazou wrote: >>> I profiled the pass on spec2000: >>> >>> -mabi=32 -mabi=64 >>> ee-pass (usr time): 0.70 1.16 >>> total (usr time): 919.30 879.26 >>> ee-pass(%): 0.08

Re: new sign/zero extension elimination pass

2012-07-17 Thread Kenneth Zadeck
the pass does not handle induction variables, i.e. variables that feed into themselves. kenny On 07/13/2012 03:53 AM, Tom de Vries wrote: On 12/07/12 14:04, Kenneth Zadeck wrote: you are on the right track with the example but combine will not get this unless everything is in the same bb. the

Re: new sign/zero extension elimination pass

2012-07-13 Thread Kenneth Zadeck
it really is not. the problem is that sign extension removal is just a more difficult problem than what you are considering. You have attacked a small part of the problem and have a good start but you really should consider the whole problem. kenny On 07/13/2012 03:53 AM, Tom de Vries wro

Re: new sign/zero extension elimination pass

2012-07-13 Thread Tom de Vries
On 12/07/12 14:04, Kenneth Zadeck wrote: > you are on the right track with the example but combine will not get > this unless everything is in the same bb. > the whole point of having a separate pass for doing extension > elimination is that it needs to be done over the entire function. > There

Re: new sign/zero extension elimination pass

2012-07-12 Thread Kenneth Zadeck
sorry about the two messages. i mis spelled the gcc-patches on the first try. you are on the right track with the example but combine will not get this unless everything is in the same bb. the whole point of having a separate pass for doing extension elimination is that it needs to be done ove

Re: new sign/zero extension elimination pass

2012-07-12 Thread Tom de Vries
Kenneth, I see I replied to your original message that had the wrong CC, I'm now CC-ing gcc-patches@gcc.gnu.org. Thanks, - Tom On 12/07/12 11:05, Tom de Vries wrote: > On 12/07/12 03:39, Kenneth Zadeck wrote: >> Tom, >> >> I have a problem with the approach that you have taken here. I believe

Re: new sign/zero extension elimination pass

2012-07-11 Thread Kenneth Zadeck
Tom, I have a problem with the approach that you have taken here. I believe that this could be a very useful addition to gcc so I am in general very supportive, but i think you are missing an important case. My problem is that it the pass does not actually look at the target and make any d

Re: new sign/zero extension elimination pass

2012-07-11 Thread Tom de Vries
On 11/07/12 13:41, Jakub Jelinek wrote: > On Wed, Jul 11, 2012 at 12:30:12PM +0200, Tom de Vries wrote: >> I've done the following: >> - refactored the pass such that it now scans at most twice over all >> instructions. >> - updated the patch to be applicable to current trunk >> - updated the mot

Re: new sign/zero extension elimination pass

2012-07-11 Thread Jakub Jelinek
On Wed, Jul 11, 2012 at 12:30:12PM +0200, Tom de Vries wrote: > I've done the following: > - refactored the pass such that it now scans at most twice over all > instructions. > - updated the patch to be applicable to current trunk > - updated the motivating example to a more applicable one (as di

Re: new sign/zero extension elimination pass

2012-07-11 Thread Tom de Vries
On 13/11/10 10:50, Eric Botcazou wrote: >> I profiled the pass on spec2000: >> >> -mabi=32 -mabi=64 >> ee-pass (usr time): 0.70 1.16 >> total (usr time): 919.30 879.26 >> ee-pass(%): 0.08 0.13 >> >> The pass takes 0.13% or less of th