From d9214e537de1b3251676c568012d1eedc69ccc2f Mon Sep 17 00:00:00 2001 From: Richard Henderson Date: Sun, 20 May 2001 13:03:15 -0700 Subject: sched-deps.c (sched_analyze_insn): Force volatile memory reads to be output before a branch. * sched-deps.c (sched_analyze_insn): Force volatile memory reads to be output before a branch. From-SVN: r42358 --- gcc/sched-deps.c | 13 +++++++++++++ 1 file changed, 13 insertions(+) (limited to 'gcc/sched-deps.c') diff --git a/gcc/sched-deps.c b/gcc/sched-deps.c index ecdf2821..d303e7a 100644 --- a/gcc/sched-deps.c +++ b/gcc/sched-deps.c @@ -1044,12 +1044,25 @@ sched_analyze_insn (deps, x, insn, loop_notes) CLEAR_REG_SET (&tmp); + /* All memory writes and volatile reads must happen before the + jump. Non-volatile reads must happen before the jump iff + the result is needed by the above register used mask. */ + pending = deps->pending_write_insns; pending_mem = deps->pending_write_mems; while (pending) { add_dependence (insn, XEXP (pending, 0), REG_DEP_OUTPUT); + pending = XEXP (pending, 1); + pending_mem = XEXP (pending_mem, 1); + } + pending = deps->pending_read_insns; + pending_mem = deps->pending_read_mems; + while (pending) + { + if (MEM_VOLATILE_P (XEXP (pending_mem, 0))) + add_dependence (insn, XEXP (pending, 0), REG_DEP_OUTPUT); pending = XEXP (pending, 1); pending_mem = XEXP (pending_mem, 1); } -- cgit v1.1