http://gcc.gnu.org/bugzilla/show_bug.cgi?id=46088
Jakub Jelinek <jakub at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|NEW |ASSIGNED
AssignedTo|unassigned at gcc dot |jakub at gcc dot gnu.org
|gnu.org |
--- Comment #5 from Jakub Jelinek <jakub at gcc dot gnu.org> 2010-11-11
10:59:32 UTC ---
That's normal before reload is completed. Recog can be called either with
pnum_clobbers NULL, then it will only try to match if all the clobbers are
there, or if pnum_clobbers is non-NULL, it tries to match the insn without the
clobbers and tell the caller how many clobbers would be needed to make the insn
valid, then
add_clobbers may be called to actually add those clobbers.
Unfortunately, the
*ashl<mode>3_cconly
*<shiftrt_insn><mode>3_cconly
patterns (the only two I could find in config/i386/i386.md) reference this
clobber through ix86_binary_operator_ok, which is of course a big no no if the
clobber does not exist.
I guess the easiest fix would be just not to call ix86_binary_operator_ok here,
but some different predicate, like ix86_binary_operator_ok, but which would not
look at operands[0] aka dst, instead assume it is something matching
scratch_operand predicate.
