https://gcc.gnu.org/bugzilla/show_bug.cgi?id=93171
--- Comment #2 from Kishan Parmar <kishan at gcc dot gnu.org> --- Perhaps we can write a define_insn_and_split patterns like above, since the bits 25 to 56 of r149, are going to be zero anyway.. we can insert mask, 0x7fffffff80 to r150.
