On Thu, 1 Oct 2015, Eric Botcazou wrote: > > Do we require that to match? I don't remember that we do. > > For scalar types (and arrays of scalars), the alignment is essentially > encoded > in the size/mode pair but that's not the case for non-array aggregate types, > so declaring a conversion that changes the alignment as useless seems weird.
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. Richard.
