> 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? -- Eric Botcazou
