diff options
| author | Jan Hubicka <jh@suse.cz> | 2004-02-07 17:53:44 +0000 |
|---|---|---|
| committer | Jan Hubicka <jh@suse.cz> | 2004-02-07 17:53:44 +0000 |
| commit | 84d463dd21cf7e4ff1a83aac6be3778561a74513 (patch) | |
| tree | 59215c0944e7d80025d884907196865c13a3bd91 /gcc/genrecog.c | |
| parent | 10fef73a07c2852ba76f81a070f4c97483c4b29e (diff) | |
* genrecog.c (find_operand): add extra argument stop.
(validate_pattern): Verify that mach_dup is duplicating operand
defined lexically earlier.
git-svn-id: https://gcc.gnu.org/svn/gcc/trunk@77461 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'gcc/genrecog.c')
| -rw-r--r-- | gcc/genrecog.c | 30 |
1 files changed, 22 insertions, 8 deletions
diff --git a/gcc/genrecog.c b/gcc/genrecog.c index 8673de39a39..7bdc52659ce 100644 --- a/gcc/genrecog.c +++ b/gcc/genrecog.c @@ -232,7 +232,7 @@ static struct decision *new_decision static struct decision_test *new_decision_test (enum decision_type, struct decision_test ***); static rtx find_operand - (rtx, int); + (rtx, int, rtx); static rtx find_matching_operand (rtx, int); static void validate_pattern @@ -346,16 +346,19 @@ new_decision_test (enum decision_type type, struct decision_test ***pplace) return test; } -/* Search for and return operand N. */ +/* Search for and return operand N, stop when reaching node STOP. */ static rtx -find_operand (rtx pattern, int n) +find_operand (rtx pattern, int n, rtx stop) { const char *fmt; RTX_CODE code; int i, j, len; rtx r; + if (pattern == stop) + return stop; + code = GET_CODE (pattern); if ((code == MATCH_SCRATCH || code == MATCH_INSN @@ -372,7 +375,7 @@ find_operand (rtx pattern, int n) switch (fmt[i]) { case 'e': case 'u': - if ((r = find_operand (XEXP (pattern, i), n)) != NULL_RTX) + if ((r = find_operand (XEXP (pattern, i), n, stop)) != NULL_RTX) return r; break; @@ -383,7 +386,8 @@ find_operand (rtx pattern, int n) case 'E': for (j = 0; j < XVECLEN (pattern, i); j++) - if ((r = find_operand (XVECEXP (pattern, i, j), n)) != NULL_RTX) + if ((r = find_operand (XVECEXP (pattern, i, j), n, stop)) + != NULL_RTX) return r; break; @@ -467,7 +471,17 @@ validate_pattern (rtx pattern, rtx insn, rtx set, int set_code) { case MATCH_SCRATCH: return; - + case MATCH_DUP: + case MATCH_OP_DUP: + case MATCH_PAR_DUP: + if (find_operand (insn, XINT (pattern, 0), pattern) == pattern) + { + message_with_line (pattern_lineno, + "operand %i duplicated before defined", + XINT (pattern, 0)); + error_count++; + } + break; case MATCH_INSN: case MATCH_OPERAND: case MATCH_OPERATOR: @@ -639,12 +653,12 @@ validate_pattern (rtx pattern, rtx insn, rtx set, int set_code) if (GET_CODE (dest) == MATCH_DUP || GET_CODE (dest) == MATCH_OP_DUP || GET_CODE (dest) == MATCH_PAR_DUP) - dest = find_operand (insn, XINT (dest, 0)); + dest = find_operand (insn, XINT (dest, 0), NULL); if (GET_CODE (src) == MATCH_DUP || GET_CODE (src) == MATCH_OP_DUP || GET_CODE (src) == MATCH_PAR_DUP) - src = find_operand (insn, XINT (src, 0)); + src = find_operand (insn, XINT (src, 0), NULL); dmode = GET_MODE (dest); smode = GET_MODE (src); |