diff options
author | Vladimir N. Makarov <vmakarov@redhat.com> | 2021-03-08 09:24:57 -0500 |
---|---|---|
committer | Vladimir N. Makarov <vmakarov@redhat.com> | 2021-03-08 09:26:04 -0500 |
commit | 04b4828c6dd215385fde6964a5e13da8a01a78ba (patch) | |
tree | 939932ed5bab93bbe9c876ddd896a4e0a669bd3a | |
parent | e95554dac8284a75c13f4650ef40eea76227282e (diff) | |
download | gcc-04b4828c6dd215385fde6964a5e13da8a01a78ba.zip gcc-04b4828c6dd215385fde6964a5e13da8a01a78ba.tar.gz gcc-04b4828c6dd215385fde6964a5e13da8a01a78ba.tar.bz2 |
[PR99422] LRA: Skip modifiers when processing memory address.
Function process_address_1 can wrongly look at constraint modifiers
instead of the 1st constraint itself. The patch solves the problem.
gcc/ChangeLog:
PR target/99422
* lra-constraints.c (skip_contraint_modifiers): New function.
(process_address_1): Use it before lookup_constraint call.
-rw-r--r-- | gcc/lra-constraints.c | 22 |
1 files changed, 20 insertions, 2 deletions
diff --git a/gcc/lra-constraints.c b/gcc/lra-constraints.c index 9253690..76e3ff7 100644 --- a/gcc/lra-constraints.c +++ b/gcc/lra-constraints.c @@ -3392,6 +3392,21 @@ equiv_address_substitution (struct address_info *ad) return change_p; } +/* Skip all modifiers and whitespaces in constraint STR and return the + result. */ +static const char * +skip_contraint_modifiers (const char *str) +{ + for (;;str++) + switch (*str) + { + case '+' : case '&' : case '=': case '*': case ' ': case '\t': + case '$': case '^' : case '%': case '?': case '!': + break; + default: return str; + } +} + /* Major function to make reloads for an address in operand NOP or check its correctness (If CHECK_ONLY_P is true). The supported cases are: @@ -3426,8 +3441,8 @@ process_address_1 (int nop, bool check_only_p, HOST_WIDE_INT scale; rtx op = *curr_id->operand_loc[nop]; rtx mem = extract_mem_from_operand (op); - const char *constraint = curr_static_id->operand[nop].constraint; - enum constraint_num cn = lookup_constraint (constraint); + const char *constraint; + enum constraint_num cn; bool change_p = false; if (MEM_P (mem) @@ -3435,6 +3450,9 @@ process_address_1 (int nop, bool check_only_p, && GET_CODE (XEXP (mem, 0)) == SCRATCH) return false; + constraint + = skip_contraint_modifiers (curr_static_id->operand[nop].constraint); + cn = lookup_constraint (constraint); if (insn_extra_address_constraint (cn) /* When we find an asm operand with an address constraint that doesn't satisfy address_operand to begin with, we clear |