Thanks, good to know that. David
On Fri, Nov 2, 2012 at 6:31 AM, Martin Jambor <mjam...@suse.cz> wrote: > 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