https://gcc.gnu.org/bugzilla/show_bug.cgi?id=106101
--- Comment #8 from Segher Boessenkool <segher at gcc dot gnu.org> --- There is structural RTL checking in rtl.h (see RTL_CHECK{1,2,C1,C2,C3} and the various ELT and INT accessors). This would be easier to use here if we used some STRICT_LOW_PART_P everywhere :-)