diff options
| author | Richard Henderson <rth@redhat.com> | 2001-05-20 13:03:15 -0700 |
|---|---|---|
| committer | Richard Henderson <rth@gcc.gnu.org> | 2001-05-20 13:03:15 -0700 |
| commit | d9214e537de1b3251676c568012d1eedc69ccc2f (patch) | |
| tree | ef588464921b3bbf64f226e7bea4390a4d198e50 | |
| parent | b161c5059b749a24d085a924260b7fe0a8cc9ee9 (diff) | |
| download | gcc-d9214e537de1b3251676c568012d1eedc69ccc2f.zip gcc-d9214e537de1b3251676c568012d1eedc69ccc2f.tar.gz gcc-d9214e537de1b3251676c568012d1eedc69ccc2f.tar.bz2 | |
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
| -rw-r--r-- | gcc/ChangeLog | 5 | ||||
| -rw-r--r-- | gcc/sched-deps.c | 13 |
2 files changed, 18 insertions, 0 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 7843db4..1ed2011 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,5 +1,10 @@ 2001-05-20 Richard Henderson <rth@redhat.com> + * sched-deps.c (sched_analyze_insn): Force volatile memory reads + to be output before a branch. + +2001-05-20 Richard Henderson <rth@redhat.com> + * Makefile.in (dwarf2asm.o): Depend on $(TREE_H). 2001-05-20 Richard Henderson <rth@redhat.com> 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); } |