From 13ec0527eae61e42c9b0356a9752d6fa4702c2c3 Mon Sep 17 00:00:00 2001 From: Eric Botcazou Date: Fri, 2 Aug 2013 21:41:58 +0000 Subject: [PATCH] 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) : Add the implied StoreLoad barrier for atomic operations if before. From-SVN: r201450 --- gcc/ChangeLog | 5 +++++ gcc/config/sparc/sparc.c | 5 +++++ 2 files changed, 10 insertions(+) diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 9e0e253745f..85ef86bc594 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,8 @@ +2013-08-02 Eric Botcazou + + * config/sparc/sparc.c (sparc_emit_membar_for_model) : Add + the implied StoreLoad barrier for atomic operations if before. + 2013-08-02 Jan Hubicka Martin Liska diff --git a/gcc/config/sparc/sparc.c b/gcc/config/sparc/sparc.c index 48c25dcd5cd..87cfacaa72c 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: -- 2.30.2