Question on GIMPLE semantics and EH (with possible easy long-term solution)

Daniel Jacobowitz drow@false.org
Sat Aug 14 01:11:00 GMT 2004


On Fri, Aug 13, 2004 at 09:03:49PM -0400, Nathanael Nerode wrote:
> --
> However, in fact, is .constant_flag/TREE_CONSTANT, or perhaps
> .invariant_flag/TREE_INVARIANT appropriate enough?  Does one of these
> perhaps (when used on a VAR_DECL) guarantee enough behavior that
> any other temporary variable with it can just be treated as an SSA temporary?

No, because they have existing conficting meanings.  CONSTANT means
compile-time constant and INVARIANT means constant within a function
invocation - but a SSA-form variable can be constant just within a
block or set of blocks, that are executed multiple times.

-- 
Daniel Jacobowitz



More information about the Gcc mailing list