Questions about the SSA reversion for formal parameters

Diego Novillo
Mon Apr 13 16:55:00 GMT 2009

On Sat, Apr 11, 2009 at 01:26, QiangHuang <> wrote:

>    Why does the compiler not rewirte the scalar parameters into new
> SSA vars this time ? Is that contradictory to the definition of SSA ?

You are taking the address of 'b'.  This turns 'b' into a memory
symbol, so it's put into memory SSA form (use -fdump-tree-all-vops to
see the memory SSA web).


More information about the Gcc-help mailing list