This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
[PATCH 2/5] sparc: Convert to atomic_load/store.
- From: Richard Henderson <rth at redhat dot com>
- To: gcc-patches at gcc dot gnu dot org
- Cc: davem at davemloft dot net, ebotcazou at libertysurf dot fr
- Date: Thu, 17 Nov 2011 10:37:42 -1000
- Subject: [PATCH 2/5] sparc: Convert to atomic_load/store.
- References: <1321562265-12743-1-git-send-email-rth@redhat.com>
---
gcc/config/sparc/predicates.md | 5 +++
gcc/config/sparc/sparc.md | 1 +
gcc/config/sparc/sync.md | 59 ++++++++++++++++++++++++++++++++++++++++
3 files changed, 65 insertions(+), 0 deletions(-)
diff --git a/gcc/config/sparc/predicates.md b/gcc/config/sparc/predicates.md
index 4dd734f..43d7168 100644
--- a/gcc/config/sparc/predicates.md
+++ b/gcc/config/sparc/predicates.md
@@ -235,6 +235,11 @@
(ior (match_operand 0 "register_operand")
(match_operand 0 "const_zero_operand")))
+(define_predicate "register_or_v9_zero_operand"
+ (ior (match_operand 0 "register_operand")
+ (and (match_test "TARGET_V9")
+ (match_operand 0 "const_zero_operand"))))
+
;; Return true if OP is either the zero constant, the all-ones
;; constant, or a register.
(define_predicate "register_or_zero_or_all_ones_operand"
diff --git a/gcc/config/sparc/sparc.md b/gcc/config/sparc/sparc.md
index c059dc5..37ac170 100644
--- a/gcc/config/sparc/sparc.md
+++ b/gcc/config/sparc/sparc.md
@@ -41,6 +41,7 @@
(UNSPEC_MOVE_GOTDATA 19)
(UNSPEC_MEMBAR 20)
+ (UNSPEC_ATOMIC 21)
(UNSPEC_TLSGD 30)
(UNSPEC_TLSLDM 31)
diff --git a/gcc/config/sparc/sync.md b/gcc/config/sparc/sync.md
index f564fbf..7c151c1 100644
--- a/gcc/config/sparc/sync.md
+++ b/gcc/config/sparc/sync.md
@@ -88,6 +88,65 @@
"membar\t%1"
[(set_attr "type" "multi")])
+(define_expand "atomic_load<mode>"
+ [(match_operand:I 0 "register_operand" "")
+ (match_operand:I 1 "memory_operand" "")
+ (match_operand:SI 2 "const_int_operand" "")]
+ ""
+{
+ enum memmodel model = (enum memmodel) INTVAL (operands[2]);
+
+ sparc_emit_membar_for_model (model, 1, 1);
+
+ if (TARGET_ARCH64 || <MODE>mode != DImode)
+ emit_move_insn (operands[0], operands[1]);
+ else
+ emit_insn (gen_atomic_loaddi_1 (operands[0], operands[1]));
+
+ sparc_emit_membar_for_model (model, 1, 2);
+ DONE;
+})
+
+(define_insn "atomic_loaddi_1"
+ [(set (match_operand:DI 0 "register_operand" "=U,?*f")
+ (unspec:DI [(match_operand:DI 1 "memory_operand" "m,m")]
+ UNSPEC_ATOMIC))]
+ "!TARGET_ARCH64"
+ "ldd\t%1, %0"
+ [(set_attr "type" "load,fpload")])
+
+(define_expand "atomic_store<mode>"
+ [(match_operand:I 0 "register_operand" "")
+ (match_operand:I 1 "memory_operand" "")
+ (match_operand:SI 2 "const_int_operand" "")]
+ ""
+{
+ enum memmodel model = (enum memmodel) INTVAL (operands[2]);
+
+ sparc_emit_membar_for_model (model, 2, 1);
+
+ if (TARGET_ARCH64 || <MODE>mode != DImode)
+ emit_move_insn (operands[0], operands[1]);
+ else
+ emit_insn (gen_atomic_storedi_1 (operands[0], operands[1]));
+
+ sparc_emit_membar_for_model (model, 2, 2);
+ DONE;
+})
+
+(define_insn "atomic_storedi_1"
+ [(set (match_operand:DI 0 "memory_operand" "=m,m,m")
+ (unspec:DI
+ [(match_operand:DI 1 "register_or_v9_zero_operand" "J,U,?*f")]
+ UNSPEC_ATOMIC))]
+ "!TARGET_ARCH64"
+ "@
+ stx\t%r1, %0
+ std\t%1, %0
+ std\t%1, %0"
+ [(set_attr "type" "store,store,fpstore")
+ (set_attr "cpu_feature" "v9,*,*")])
+
;;;;;;;;
(define_expand "sync_compare_and_swap<mode>"
--
1.7.4.4