https://gcc.gnu.org/bugzilla/show_bug.cgi?id=69535
--- Comment #7 from Richard Henderson <rth at gcc dot gnu.org> --- (In reply to Segher Boessenkool from comment #6) > But are the SCALAR_INT_MODE_P checks necessary? I don't know. I wondered if we'd ever see something like (and:DI (subreg:DI (reg:SF X) 0) (const_int 0xffffffff)) which isn't too far off of the DI/SI mode pair seen here. I thought about asserting SCALAR_INT, but then thought better and just made them normal checks so that we'd just fail the operation. I suppose, since this is make_compound_operation, that we can take the SCALAR_INT_MODE_P-ness of the outer mode for granted. I could take away that half of the check.