This is the mail archive of the
gcc@gcc.gnu.org
mailing list for the GCC project.
Re: Notes toward re-implementing EH in gimple
Hi,
On Mon, 10 Aug 2009, Richard Guenther wrote:
> >> No and no. ÂThey will eventually resolve to pseudos generated during
> >> rtl eh expansion. ÂBut to avoid silliness at the gimple level I don't
> >> want to allow them to appear at random.
> >
> > Shouldn't it be enough to have EXC_PTR_EXPR/FILTER_EXPR simply be
> > builtin functions with proper attributes. ÂThey wouldn't be moved
> > upwards over the EH edge because that would introduce effects after
> > the throwing stmt, and they wouldn't be moved downwards due to use-def
> > relationships on exc_ptr.1/filter.1 in the EH_DISPATCH/RESX uses.
>
> What would these attributes be? If you want to have the builtin having
> side-effects it can't be pure or const.
Ah, you got me, I conciously wrote 'proper' :) Theoretically these
functions are pure, with the EH edges clobbering global state. The latter
might possibly be modeled with PHI nodes on .MEM. But that would probably
prevent the below CSEing again :-/
Hmm.
Ciao,
Michael.