http://gcc.gnu.org/bugzilla/show_bug.cgi?id=50762

--- Comment #25 from Uros Bizjak <ubizjak at gmail dot com> 2011-11-11 13:17:41 
UTC ---
(In reply to comment #24)

> In fact, except for the address_operand case, the mode checks seem
> to be correct in their actual effect: we either call a standard operator
> and omit the mode check, or else we have the genpred-generated mode check,
> but in conjunction with some match_code test that excludes CONST_INT 
> and CONST_DOUBLE anyway.

address_operand is declared as special in std_preds[] table in gensupport.c, so
it doesn't check mode checks. genpreds figures this out and adds mode checks at
the end of non-special predicate that uses address_operand.

All in all, if we want to omit mode checks, we have to declare
lea_address_operand as a special predicate.

Reply via email to