On Fri, 6 Mar 2009, Paolo Bonzini wrote: > Joseph S. Myers wrote: > > On Fri, 6 Mar 2009, Paolo Bonzini wrote: > > > >> I don't think you need to introduce trapping tree codes. You can > >> introduce them directly in the front-end as > > > > Multiple front ends want the same thing. This is why it would be better > > to introduce the codes in GENERIC and have the language-independent > > gimplifier contain the code to lower them, even if they don't become part > > of GIMPLE. > > I see your point. What I'm worried of, is that this codes would be > tested more lightly and, until folding is a middle-end thing only, the > risk of unwanted optimization on -ftrapv code would be high.
The risk (and fact) of unwanted optimization is there at present. Simply using new codes and not teaching fold about them will reduce the risk over the present state where many bits of code have to check flag_trapv. -- Joseph S. Myers jos...@codesourcery.com
