From 1edcd60b0d337c40cf85a9889d8f289347332608 Mon Sep 17 00:00:00 2001 From: Richard Kenner Date: Mon, 12 Nov 2001 10:15:03 +0000 Subject: [PATCH] * alias.c (nonoverlapping_memrefs_p): Handle DECL_RTL being a CONCAT. From-SVN: r46938 --- gcc/ChangeLog | 4 ++++ gcc/alias.c | 17 +++++++++-------- 2 files changed, 13 insertions(+), 8 deletions(-) diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 7b641c45288..60f3e46fbb4 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,7 @@ +Mon Nov 12 05:18:42 2001 Richard Kenner + + * alias.c (nonoverlapping_memrefs_p): Handle DECL_RTL being a CONCAT. + 2001-11-12 Kazu Hirata * config/h8300/h8300.c (shift_alg_qi): New. diff --git a/gcc/alias.c b/gcc/alias.c index 2e03a068a55..45e82643ad7 100644 --- a/gcc/alias.c +++ b/gcc/alias.c @@ -1780,21 +1780,22 @@ nonoverlapping_memrefs_p (x, y) rtlx = DECL_RTL (MEM_DECL (x)); rtly = DECL_RTL (MEM_DECL (y)); - /* If either RTL is a REG, they can't overlap unless they are the same - because we never reuse that part of the stack frame used for locals for - spilled pseudos. */ - if ((REG_P (rtlx) || REG_P (rtly)) && ! rtx_equal_p (rtlx, rtly)) + /* If either RTL is not a MEM, it must be a REG or CONCAT, meaning they + can't overlap unless they are the same because we never reuse that part + of the stack frame used for locals for spilled pseudos. */ + if ((GET_CODE (rtlx) != MEM || GET_CODE (rtly) != MEM) + && ! rtx_equal_p (rtlx, rtly)) return 1; /* Get the base and offsets of both decls. If either is a register, we know both are and are the same, so use that as the base. The only we can avoid overlap is if we can deduce that they are nonoverlapping pieces of that decl, which is very rare. */ - basex = REG_P (rtlx) ? rtlx : XEXP (rtlx, 0); + basex = GET_CODE (rtlx) == MEM ? XEXP (rtlx, 0) : rtlx; if (GET_CODE (basex) == PLUS && GET_CODE (XEXP (basex, 1)) == CONST_INT) offsetx = INTVAL (XEXP (basex, 1)), basex = XEXP (basex, 0); - basey = REG_P (rtly) ? rtly : XEXP (rtly, 0); + basey = GET_CODE (rtly) == MEM ? XEXP (rtly, 0) : rtly; if (GET_CODE (basey) == PLUS && GET_CODE (XEXP (basey, 1)) == CONST_INT) offsety = INTVAL (XEXP (basey, 1)), basey = XEXP (basey, 0); @@ -1809,10 +1810,10 @@ nonoverlapping_memrefs_p (x, y) || (CONSTANT_P (basey) && REG_P (basex) && REGNO (basex) <= LAST_VIRTUAL_REGISTER)); - sizex = (REG_P (rtlx) ? GET_MODE_SIZE (GET_MODE (rtlx)) + sizex = (GET_CODE (rtlx) != MEM ? GET_MODE_SIZE (GET_MODE (rtlx)) : MEM_SIZE (rtlx) ? INTVAL (MEM_SIZE (rtlx)) : -1); - sizey = (REG_P (rtly) ? GET_MODE_SIZE (GET_MODE (rtly)) + sizey = (GET_CODE (rtly) != MEM ? GET_MODE_SIZE (GET_MODE (rtly)) : MEM_SIZE (rtly) ? INTVAL (MEM_SIZE (rtly)) : -1); -- 2.30.2