See <URL:http://gcc.gnu.org/ml/gcc-patches/2005-04/msg02223.html> #3 and for example cris_bdap_sign_extend_operand, where this could be used instead of the match_tests and nested XEXPs. The name "op" and "mode" would refer to the toplevel of the predicate, while different levels would refer to its own by TBD. At least opN, modeN would intuitive for numbered predicates. Perhaps xop, xmode for the "current" level.
-- Summary: Method and apparatus to refer to inner XEXPs in define_predicate Product: gcc Version: 4.1.0 Status: UNCONFIRMED Severity: enhancement Priority: P3 Component: middle-end AssignedTo: unassigned at gcc dot gnu dot org ReportedBy: hp at gcc dot gnu dot org CC: gcc-bugs at gcc dot gnu dot org GCC target triplet: cris-* http://gcc.gnu.org/bugzilla/show_bug.cgi?id=21133