https://gcc.gnu.org/bugzilla/show_bug.cgi?id=65342
--- Comment #5 from Iain Sandoe <iains at gcc dot gnu.org> --- (In reply to Alan Modra from comment #4) > Here's another failing powerpc-darwin testcase due to movdi_low > (movdf_low_di and their store counterparts have the same problem of course). > > /* -m64 -O1 -S -fno-pic */ for Darwin, -mdynamic-no-pic ^ would be a real-life User case. > struct { > char c; > long l; > } __attribute__ ((__packed__)) x; > > long get_x (void) > { > return x.l; > } Thanks, Alan. I took a quick look over the weekend (out of the office last week). So, do you think I need to split things up so that the d-mode and ds-mode insn fragments can have different match conditions? - or is the issue that these patterns have no reload constraints (in which case I could at least investigate adding Y to the relevant cases)?