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.

Reply via email to