On Fri, 2 Oct 2015, Eric Botcazou wrote: > > Yeah, though we don't have conversions of aggregates. We use the > > predicate to tell whether an aggregate assignment is valid GIMPLE. > > LHS and RHS alignment do not have to match AFAIK. > > So it doesn't control whether VIEW_CONVERT_EXPRs are preserved or not?
Not on memory references (we don't simplify anything within them), on registers yes. On memory references GENERIC folding will contract VIEW_CONVERT <t1, VIEW_CONVERT <t2, X> > to VIEW_CONVERT <t1, X> regardless of t2 having TYPE_ALIGN_OK. Richard.