Re: Question on tree-ssa-loop-im.c:for_each_index

2005-03-20 Thread Richard Kenner
however, avoiding possibly a large amount of bugs in code that does not expect this corner case. I would certainly consider it much cleaner solution than adding hacks to for_each_index and possibly other places that do not expect something as weird. But there are a *huge* number o

Re: Question on tree-ssa-loop-im.c:for_each_index

2005-03-20 Thread Zdenek Dvorak
Hello, > > Depends what the type is. If it's an array type, then there's no > > simple equivalent expression. > > using CONSTRUCTOR node? > > What I mean by "simple" is something that's easy to derive. Suppose I have > a record with numerous fields of various sizes and I unchecked

Re: Question on tree-ssa-loop-im.c:for_each_index

2005-03-20 Thread Richard Kenner
> Depends what the type is. If it's an array type, then there's no > simple equivalent expression. using CONSTRUCTOR node? What I mean by "simple" is something that's easy to derive. Suppose I have a record with numerous fields of various sizes and I unchecked convert a constant to

Re: Question on tree-ssa-loop-im.c:for_each_index

2005-03-20 Thread Richard Henderson
On Sat, Mar 19, 2005 at 09:59:32PM +0100, Zdenek Dvorak wrote: > > x = 22; > > what is the semantics of this expression? Should not this rather be > > x = 22 > > (or just INTEGER_CST:some_type 22)? The semantics are, exactly, union { some_type st; int_type it

Re: Question on tree-ssa-loop-im.c:for_each_index

2005-03-20 Thread Zdenek Dvorak
Hello, > > x = 22; > > what is the semantics of this expression? Should not this rather be > > x = 22 > > (or just INTEGER_CST:some_type 22)? > > Depends what the type is. If it's an array type, then there's no > simple equivalent expression. using CONSTRUCTOR n

Re: Question on tree-ssa-loop-im.c:for_each_index

2005-03-20 Thread Richard Kenner
> x = 22; what is the semantics of this expression? Should not this rather be x = 22 (or just INTEGER_CST:some_type 22)? Depends what the type is. If it's an array type, then there's no simple equivalent expression.

Re: Question on tree-ssa-loop-im.c:for_each_index

2005-03-19 Thread Zdenek Dvorak
Hello, > VIEW_CONVERT_EXPR is tcc_reference, but we can have a statement like: > > x = 22; what is the semantics of this expression? Should not this rather be x = 22 (or just INTEGER_CST:some_type 22)? Zdenek > What ends up happening here is that find_interesting_uses_stmt calls > f