Hi, On Thu, Nov 01, 2012 at 11:11:13AM -0700, Xinliang David Li wrote: >
... > The TREE_ADDRESSABLE check seems redundant -- if the var_decl (instead > of ssa name) appears in the assignment, why would it not be > 'addressable'? There are other reason beside being TREE_ADDRESSABLE that may cause a "gimple scalar" type variable not to be in SSA form. Usually this means that there is a write access to only a part of it. This happens often with vector or complex types which are deemed scalar types by gimple but are obviously quite special. Such decls have their DECL_GIMPLE_REG_P cleared. Martin
