From c4a18992ac16c7468abe3b701979dc8d19f47a5d Mon Sep 17 00:00:00 2001 From: Jim Wilson Date: Mon, 8 Jul 1996 16:19:51 -0700 Subject: [PATCH] (true_dependence, anti_dependence, output_dependence): Likewise. From-SVN: r12416 --- gcc/sched.c | 13 +++++++++++-- 1 file changed, 11 insertions(+), 2 deletions(-) diff --git a/gcc/sched.c b/gcc/sched.c index aea307f8eff..82acf33277f 100644 --- a/gcc/sched.c +++ b/gcc/sched.c @@ -807,11 +807,14 @@ memrefs_conflict_p (xsize, x, ysize, y, c) changed. A volatile and non-volatile reference can be interchanged though. - A MEM_IN_STRUCT reference at a non-QImode varying address can never + A MEM_IN_STRUCT reference at a non-QImode non-AND varying address can never conflict with a non-MEM_IN_STRUCT reference at a fixed address. We must allow QImode aliasing because the ANSI C standard allows character pointers to alias anything. We are assuming that characters are - always QImode here. */ + always QImode here. We also must allow AND addresses, because they may + generate accesses outside the object being referenced. This is used to + generate aligned addresses from unaligned addresses, for instance, the + alpha storeqi_unaligned pattern. */ /* Read dependence: X is read after read in MEM takes place. There can only be a dependence here if both reads are volatile. */ @@ -848,9 +851,11 @@ true_dependence (mem, x) SIZE_FOR_MODE (x), XEXP (x, 0), 0) && ! (MEM_IN_STRUCT_P (mem) && rtx_addr_varies_p (mem) && GET_MODE (mem) != QImode + && GET_CODE (XEXP (mem, 0)) != AND && ! MEM_IN_STRUCT_P (x) && ! rtx_addr_varies_p (x)) && ! (MEM_IN_STRUCT_P (x) && rtx_addr_varies_p (x) && GET_MODE (x) != QImode + && GET_CODE (XEXP (x, 0)) != AND && ! MEM_IN_STRUCT_P (mem) && ! rtx_addr_varies_p (mem)))); } @@ -874,9 +879,11 @@ anti_dependence (mem, x) SIZE_FOR_MODE (x), XEXP (x, 0), 0) && ! (MEM_IN_STRUCT_P (mem) && rtx_addr_varies_p (mem) && GET_MODE (mem) != QImode + && GET_CODE (XEXP (mem, 0)) != AND && ! MEM_IN_STRUCT_P (x) && ! rtx_addr_varies_p (x)) && ! (MEM_IN_STRUCT_P (x) && rtx_addr_varies_p (x) && GET_MODE (x) != QImode + && GET_CODE (XEXP (x, 0)) != AND && ! MEM_IN_STRUCT_P (mem) && ! rtx_addr_varies_p (mem)))); } @@ -894,9 +901,11 @@ output_dependence (mem, x) SIZE_FOR_MODE (x), XEXP (x, 0), 0) && ! (MEM_IN_STRUCT_P (mem) && rtx_addr_varies_p (mem) && GET_MODE (mem) != QImode + && GET_CODE (XEXP (mem, 0)) != AND && ! MEM_IN_STRUCT_P (x) && ! rtx_addr_varies_p (x)) && ! (MEM_IN_STRUCT_P (x) && rtx_addr_varies_p (x) && GET_MODE (x) != QImode + && GET_CODE (XEXP (x, 0)) != AND && ! MEM_IN_STRUCT_P (mem) && ! rtx_addr_varies_p (mem)))); } -- 2.30.2