This is the mail archive of the gcc-patches@gcc.gnu.org mailing list for the GCC project.

Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]
Other format: [Raw text]

Re: [tree-ssa] patch suggestion: def_op vs vdef_ops

On Wed, 29 Jan 2003, Jose Renau wrote:

>  Something like:
> 
>  	*x = k;	<-- dead store to *x.
>  	...
>  	*x = y;
>  	...
>  	z = *x + k;
> 
Oh, would you look at that?  That's a bug.  Variable *x should
not be aliased with anything, but we considered it alias with
itself and proceed to put it in virtual operands everywhere.
That's why we're not detecting the dead store.

I'll work on a fix.


Diego.
Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]