diff options
| author | Daniel Cederman <cederman@gaisler.com> | 2020-10-12 08:50:35 +0200 |
|---|---|---|
| committer | Daniel Hellstrom <daniel@gaisler.com> | 2021-09-16 13:05:50 +0200 |
| commit | d4aa16699d4bcf9d335a206d3d8f6c1a80142aab (patch) | |
| tree | 4ac78e2b3e4b0d41c3e005138a7bc2525c0a3528 | |
| parent | 6d0c97b19a306cf192ef9e8d0222635192dbc710 (diff) | |
| download | gcc-d4aa16699d4bcf9d335a206d3d8f6c1a80142aab.zip gcc-d4aa16699d4bcf9d335a206d3d8f6c1a80142aab.tar.gz gcc-d4aa16699d4bcf9d335a206d3d8f6c1a80142aab.tar.bz2 | |
sparc: Prevent atomic instructions in beginning of functions for UT700
A call to the function might have a load instruction in the delay slot
and a load followed by an atomic function could cause a deadlock.
gcc/ChangeLog:
* config/sparc/sparc.c (sparc_do_work_around_errata): Do not begin
functions with atomic instruction in the UT700 errata workaround.
| -rw-r--r-- | gcc/config/sparc/sparc.c | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/gcc/config/sparc/sparc.c b/gcc/config/sparc/sparc.c index 94061e1..7c9b347 100644 --- a/gcc/config/sparc/sparc.c +++ b/gcc/config/sparc/sparc.c @@ -1116,6 +1116,7 @@ static unsigned int sparc_do_work_around_errata (void) { rtx_insn *insn, *next; + bool find_first_useful = true; /* Force all instructions to be split into their final form. */ split_all_insns_noflow (); @@ -1140,6 +1141,16 @@ sparc_do_work_around_errata (void) else jump = NULL; + /* Do not begin function with atomic instruction. */ + if (sparc_fix_ut700 + && find_first_useful + && USEFUL_INSN_P (insn)) + { + find_first_useful = false; + if (atomic_insn_for_leon3_p (insn)) + emit_insn_before (gen_nop (), insn); + } + /* Place a NOP at the branch target of an integer branch if it is a floating-point operation or a floating-point branch. */ if (sparc_fix_gr712rc |