https://gcc.gnu.org/bugzilla/show_bug.cgi?id=88739
--- Comment #7 from Richard Biener <rguenth at gcc dot gnu.org> --- So FRE tries to match up a store with (possibly bit-precision) type T with a load of (possibly bit-precision) type U. The load and store are analyzed by get_ref_base_and_extent to a common base object hand happen at bit-position offset/offset2 with bitsize size/size2. Since they are memory ops all the *_BIG_ENDIAN "matter" (since they are typed even FLOAT_WORDS_BIG_ENDIAN might matter). In the end we are BIT_FIELD_REFing the stored _register_ though...