diff options
| author | zack <zack@138bc75d-0d04-0410-961f-82ee72b054a4> | 2006-01-23 15:16:19 +0000 |
|---|---|---|
| committer | zack <zack@138bc75d-0d04-0410-961f-82ee72b054a4> | 2006-01-23 15:16:19 +0000 |
| commit | 6c9ff2793c7c1875b1a2db026ea01b46cf9e4ad1 (patch) | |
| tree | ffc73708bd6be59b11ab8a71a9537d0d6289dced /gcc/rtl.def | |
| parent | aab72a2c39963a7afc2537bd2ed9d91ab58a0cfb (diff) | |
| download | gcc-6c9ff2793c7c1875b1a2db026ea01b46cf9e4ad1.tar.gz | |
r110130@banpei: zack | 2006-01-22 14:52:43 -0800
* rtl.def (match_code): Add second argument.
* genpreds.c (write_extract_subexp): New function.
(write_match_code): Add path argument. Use write_extract_subexp.
(write_predicate_expr): Pass path to write_match_code.
(mark_mode_tests): MATCH_CODE applied to a subexpression does
not perform a mode test.
* genrecog.c (compute_predicate_codes): MATCH_CODE applied to
a subexpression does not constrain the top-level code set.
* read-rtl.c (read_rtx_variadic): New function.
(read_rtx_1): Use it; allow AND and IOR to be variadic.
* doc/md.texi: Document new notation.
* config/i386/predicates.md (cmpsi_operand_1): Fold into ...
(cmpsi_operand): ... here, using new notation.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@110126 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'gcc/rtl.def')
| -rw-r--r-- | gcc/rtl.def | 9 |
1 files changed, 7 insertions, 2 deletions
diff --git a/gcc/rtl.def b/gcc/rtl.def index f9dd11e4b0f..8710f54890f 100644 --- a/gcc/rtl.def +++ b/gcc/rtl.def @@ -727,8 +727,13 @@ DEF_RTL_EXPR(MATCH_PAR_DUP, "match_par_dup", "iE", RTX_MATCH) /* Appears only in define_predicate/define_special_predicate expressions. Evaluates true only if the operand has an RTX code - from the set given by the argument (a comma-separated list). */ -DEF_RTL_EXPR(MATCH_CODE, "match_code", "s", RTX_MATCH) + from the set given by the argument (a comma-separated list). If the + second argument is present and nonempty, it is a sequence of digits + and/or letters which indicates the subexpression to test, using the + same syntax as genextract/genrecog's location strings: 0-9 for + XEXP (op, n), a-z for XVECEXP (op, 0, n); each character applies to + the result of the one before it. */ +DEF_RTL_EXPR(MATCH_CODE, "match_code", "ss", RTX_MATCH) /* Appears only in define_predicate/define_special_predicate expressions. The argument is a C expression to be injected at this |