Re: Gimplification and simplification

[Jan Hubicka <jh at suse dot cz>]

> On Wed, 2003-11-05 at 10:18, Jan Hubicka wrote:
> > Hi,
> > My RTL expansion code requires conditional jumps to be expanded to
> > conditional jumps.  Unforutnately we seem to be maintaining some of
> > obviously unconditional jumps, like if (0==0).
> > 
> > These may get constructed at gimplfication time via simplfying builtins.
> > Like if (strlen("")).  We end up not folding this to constant at all.
> > 
> This is not produced by CCP or DOM?  The call to fold_stmt() typically

Not, actually already gimplifier is smart enought to fold builtins but
it is not smart enought to fold resulting expressions.

> takes care of these cases.  I had started adding hooks into CCP to deal
> with some builtins.  That may be a good place to start looking.
> 
> Or is this coming directly from the gimplifier?

Yes, I guess we want fold_stmt for each stmt produced by gimplfier,
right?

Honza
> 
> 
> Diego.
>