http://gcc.gnu.org/bugzilla/show_bug.cgi?id=50325
--- Comment #14 from Andreas Krebbel <krebbel at gcc dot gnu.org> 2011-11-17 15:23:26 UTC --- As the tests from Ian Sandoe and Dominique d'Humieres show, the Darwin/AIX regressions disappear when limiting the extract_bit_field invocation to fieldmode == BLKmode (as it was in the "Experimental fix" attached to the bugzilla). But I'm not sure this is the right fix. In general also the other modes need correct handling here. If the correct extraction of the source operand really depends on things like function arg padding the handling in store_bit_field is doomed to be incomplete. Richard, could you please have a look!