diff options
| author | Eric Botcazou <ebotcazou@adacore.com> | 2013-08-02 21:41:58 +0000 |
|---|---|---|
| committer | Eric Botcazou <ebotcazou@gcc.gnu.org> | 2013-08-02 21:41:58 +0000 |
| commit | 13ec0527eae61e42c9b0356a9752d6fa4702c2c3 (patch) | |
| tree | bcb6148b7d9d28bb66be04f13d7efe19d28bfb32 | |
| parent | a572c4549742bb0876335f3be4c5a76fac555454 (diff) | |
| download | gcc-13ec0527eae61e42c9b0356a9752d6fa4702c2c3.zip gcc-13ec0527eae61e42c9b0356a9752d6fa4702c2c3.tar.gz gcc-13ec0527eae61e42c9b0356a9752d6fa4702c2c3.tar.bz2 | |
sparc.c (sparc_emit_membar_for_model): Add the implied StoreLoad barrier for atomic operations if before.
* config/sparc/sparc.c (sparc_emit_membar_for_model) <SMM_TSO>: Add
the implied StoreLoad barrier for atomic operations if before.
From-SVN: r201450
| -rw-r--r-- | gcc/ChangeLog | 5 | ||||
| -rw-r--r-- | gcc/config/sparc/sparc.c | 5 |
2 files changed, 10 insertions, 0 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 9e0e253..85ef86b 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,8 @@ +2013-08-02 Eric Botcazou <ebotcazou@adacore.com> + + * config/sparc/sparc.c (sparc_emit_membar_for_model) <SMM_TSO>: Add + the implied StoreLoad barrier for atomic operations if before. + 2013-08-02 Jan Hubicka <jh@suse.cz> Martin Liska <marxin.liska@gmail.com> diff --git a/gcc/config/sparc/sparc.c b/gcc/config/sparc/sparc.c index 48c25dc..87cfaca 100644 --- a/gcc/config/sparc/sparc.c +++ b/gcc/config/sparc/sparc.c @@ -11318,6 +11318,11 @@ sparc_emit_membar_for_model (enum memmodel model, /* Total Store Ordering: all memory transactions with store semantics are followed by an implied StoreStore. */ implied |= StoreStore; + + /* If we're not looking for a raw barrer (before+after), then atomic + operations get the benefit of being both load and store. */ + if (load_store == 3 && before_after == 1) + implied |= StoreLoad; /* FALLTHRU */ case SMM_PSO: |