https://gcc.gnu.org/bugzilla/show_bug.cgi?id=93081
--- Comment #3 from Andrew Pinski <pinskia at gcc dot gnu.org> --- (In reply to Richard Biener from comment #2) > OK for trunk. Except it is wrong if the size(@1) != size(@3). I Noticed that after I created this bug report. I have a better fix; though I combined it with something which really belongs in reassociate rather than in match.pd so I am working towards that first to remove the reassociate part. I am going to submit it when stage 1 starts. I have many BIT_INSERT_EXPR/BIT_FIELD_REF improves which I want to submit together.