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.