https://gcc.gnu.org/bugzilla/show_bug.cgi?id=87763
--- Comment #26 from Richard Earnshaw <rearnsha at gcc dot gnu.org> --- (In reply to Jakub Jelinek from comment #25) > We have BIT_INSERT_EXPR on GIMPLE, which in the end is a quarternary > operation previous value, value to insert, bit position and bit size (the > last one is implicit in this GIMPLE op), so you're arguing we should have a > similar expression in RTL, right? Say BIT_INSERT or INSV? Yes, something like that. I know new RTL codes can be problematic, but clearly zero_extract on a SET_DEST isn't cutting it any more, if it ever really did.