On Thu, 1 Oct 2015, Eric Botcazou wrote: > > After dropping the check I needed to solve two issues. First is that we need > > a definition of useless conversions for aggregates. As discussed earlier I > > made it to depend only on size. The basic idea is that only operations you > > can do on gimple with those are moves and field accesses. Field accesses > > have corresponding type into in COMPONENT_REF or MEM_REF, so we do not care > > about conversions of those. This caused three Ada failures on PPC64, > > because we can not move between structures of same size but different mode. > > Do you disregard the alignment on purpose here?
Do we require that to match? I don't remember that we do. Note the function only gets types. Richard.
