https://gcc.gnu.org/g:da33ad53bcb57943fa671c745938a53f4de89a1b
commit r15-2700-gda33ad53bcb57943fa671c745938a53f4de89a1b
Author: Andrew Pinski <quic_apin...@quicinc.com>
Date: Thu Aug 1 14:22:36 2024 -0700
genemit: Fix handling of explicit parallels for clobbers [PR116058]
In a define_insn, you could use either an explicit parallel for
the insns or genrecog/genemit will add one for you.
The problem when genemit is processing the pattern for clobbers
(to create the function add_clobbers), genemit hadn't add the implicit
parallel yet but at the same time forgot to ignore that there
could be an explicit parallel there.
This means in some cases (like in the sh backend), add_clobbers
and recog had a different idea if there was clobbers on the insn.
This fixes the problem by looking through the explicit parallel
for the instruction in genemit.
Bootstrapped and tested on x86_64-linux-gnu.
PR middle-end/116058
gcc/ChangeLog:
* genemit.cc (struct clobber_pat): Change pattern to be rtvec.
Add code field.
(gen_insn): Look through an explicit parallel if there was one.
Update store to new clobber_pat.
(output_add_clobbers): Update call to gen_exp for the changed
clobber_pat.
Signed-off-by: Andrew Pinski <quic_apin...@quicinc.com>
Diff:
---
gcc/genemit.cc | 38 +++++++++++++++++++++++---------------
1 file changed, 23 insertions(+), 15 deletions(-)
diff --git a/gcc/genemit.cc b/gcc/genemit.cc
index 98d0477424b0..5d3d10f5061a 100644
--- a/gcc/genemit.cc
+++ b/gcc/genemit.cc
@@ -35,10 +35,11 @@ along with GCC; see the file COPYING3. If not see
struct clobber_pat
{
struct clobber_ent *insns;
- rtx pattern;
+ rtvec pattern;
int first_clobber;
struct clobber_pat *next;
int has_hard_reg;
+ rtx_code code;
} *clobber_list;
/* Records one insn that uses the clobber list. */
@@ -337,19 +338,25 @@ gen_insn (md_rtx_info *info, FILE *file)
if (XVEC (insn, 1))
{
int has_hard_reg = 0;
+ rtvec pattern = XVEC (insn, 1);
- for (i = XVECLEN (insn, 1) - 1; i > 0; i--)
+ /* Look though an explicit parallel. */
+ if (GET_NUM_ELEM (pattern) == 1
+ && GET_CODE (RTVEC_ELT (pattern, 0)) == PARALLEL)
+ pattern = XVEC (RTVEC_ELT (pattern, 0), 0);
+
+ for (i = GET_NUM_ELEM (pattern) - 1; i > 0; i--)
{
- if (GET_CODE (XVECEXP (insn, 1, i)) != CLOBBER)
+ if (GET_CODE (RTVEC_ELT (pattern, i)) != CLOBBER)
break;
- if (REG_P (XEXP (XVECEXP (insn, 1, i), 0)))
+ if (REG_P (XEXP (RTVEC_ELT (pattern, i), 0)))
has_hard_reg = 1;
- else if (GET_CODE (XEXP (XVECEXP (insn, 1, i), 0)) != MATCH_SCRATCH)
+ else if (GET_CODE (XEXP (RTVEC_ELT (pattern, i), 0)) != MATCH_SCRATCH)
break;
}
- if (i != XVECLEN (insn, 1) - 1)
+ if (i != GET_NUM_ELEM (pattern) - 1)
{
struct clobber_pat *p;
struct clobber_ent *link = XNEW (struct clobber_ent);
@@ -363,13 +370,13 @@ gen_insn (md_rtx_info *info, FILE *file)
for (p = clobber_list; p; p = p->next)
{
if (p->first_clobber != i + 1
- || XVECLEN (p->pattern, 1) != XVECLEN (insn, 1))
+ || GET_NUM_ELEM (p->pattern) != GET_NUM_ELEM (pattern))
continue;
- for (j = i + 1; j < XVECLEN (insn, 1); j++)
+ for (j = i + 1; j < GET_NUM_ELEM (pattern); j++)
{
- rtx old_rtx = XEXP (XVECEXP (p->pattern, 1, j), 0);
- rtx new_rtx = XEXP (XVECEXP (insn, 1, j), 0);
+ rtx old_rtx = XEXP (RTVEC_ELT (p->pattern, j), 0);
+ rtx new_rtx = XEXP (RTVEC_ELT (pattern, j), 0);
/* OLD and NEW_INSN are the same if both are to be a SCRATCH
of the same mode,
@@ -383,7 +390,7 @@ gen_insn (md_rtx_info *info, FILE *file)
break;
}
- if (j == XVECLEN (insn, 1))
+ if (j == GET_NUM_ELEM (pattern))
break;
}
@@ -392,10 +399,11 @@ gen_insn (md_rtx_info *info, FILE *file)
p = XNEW (struct clobber_pat);
p->insns = 0;
- p->pattern = insn;
+ p->pattern = pattern;
p->first_clobber = i + 1;
p->next = clobber_list;
p->has_hard_reg = has_hard_reg;
+ p->code = GET_CODE (insn);
clobber_list = p;
}
@@ -662,11 +670,11 @@ output_add_clobbers (md_rtx_info *info, FILE *file)
for (ent = clobber->insns; ent; ent = ent->next)
fprintf (file, " case %d:\n", ent->code_number);
- for (i = clobber->first_clobber; i < XVECLEN (clobber->pattern, 1); i++)
+ for (i = clobber->first_clobber; i < GET_NUM_ELEM (clobber->pattern);
i++)
{
fprintf (file, " XVECEXP (pattern, 0, %d) = ", i);
- gen_exp (XVECEXP (clobber->pattern, 1, i),
- GET_CODE (clobber->pattern), NULL, info, file);
+ gen_exp (RTVEC_ELT (clobber->pattern, i),
+ clobber->code, NULL, info, file);
fprintf (file, ";\n");
}
