COND_EXPR lowering patch

Zdenek Dvorak rakdver@atrey.karlin.mff.cuni.cz
Mon Aug 25 18:56:00 GMT 2003


Hello,

>  >The main showstopper seems to be the tree-ssa-dce; after this change
>  >it cannot work in the current form (resp. it could, but since most
>  > of the interesting control flow will then be expressed by explicit
>  > gotos, it would be useless).
> Actually, as I've stated before, I believe the existing tree-ssa-dce
> should continue to work, even after you've lowered COND_EXPRs because
> we mark the parents of an incoming GOTO_EXPR as being necessary.

yes, it will work, but it will be completely useless.  Consider

if (a)
 {
 }
else
 {
 },

written as

if (a)
  goto _then;
else
  goto _else;

_then:
goto _end;

_else:
_end:

as the code works now all statements here including the condition
will be marked as useful.

Zdenek



More information about the Gcc mailing list