tree-ssa: a weird (mis)optimization

[Richard Henderson]

On Wed, Dec 01, 2004 at 05:35:09PM +0000, Andrew Haley wrote:
> Well, okay.  What I need is something that gets treated as
> 
>       (p ? *p : throw)
>   
> ... I don't want to make every load volatile, because it will cause
> unnecessary loads.  Once we've determined that a read from p won't
> trap we don't want to read it again.  So how could a front end express
> such a thing?

I don't know, off hand.  Lemme think about it.


r~