sparc: Convert to atomic_exchange.

        * config/sparc/sync.md (I124MODE): New mode iterator.
        (memory_barrier): Remove.
        (atomic_exchangesi): New.
        (swapsi): Rename from *swapsi.
        (atomic_test_and_set<I124MODE>): New.
        (ldstubqi): Rename from *ldstubqi, merge with expander.
        (ldstub<I24MODE>): Rename from *ldstub<I24MODE>, merge with expander.
        (sync_lock_test_and_setsi): Remove.
        (sync_lock_test_and_set<I12MODE>): Remove.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@181852 138bc75d-0d04-0410-961f-82ee72b054a4

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 6271096..37dce30 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,5 +1,17 @@
 2011-11-30  Richard Henderson  <rth@redhat.com>
 
 2011-11-30  Richard Henderson  <rth@redhat.com>
 

+       * config/sparc/sync.md (I124MODE): New mode iterator.
+       (memory_barrier): Remove.
+       (atomic_exchangesi): New.
+       (swapsi): Rename from *swapsi.
+       (atomic_test_and_set<I124MODE>): New.
+       (ldstubqi): Rename from *ldstubqi, merge with expander.
+       (ldstub<I24MODE>): Rename from *ldstub<I24MODE>, merge with expander.
+       (sync_lock_test_and_setsi): Remove.
+       (sync_lock_test_and_set<I12MODE>): Remove.
+
+2011-11-30  Richard Henderson  <rth@redhat.com>
+

        * config/sparc/constraints.md ("w"): New.
        * config/sparc/predicates.md (mem_noofs_operand): New.
        * config/sparc/sparc.c (sparc_expand_compare_and_swap_12): Make static.
        * config/sparc/constraints.md ("w"): New.
        * config/sparc/predicates.md (mem_noofs_operand): New.
        * config/sparc/sparc.c (sparc_expand_compare_and_swap_12): Make static.

diff --git a/gcc/config/sparc/sync.md b/gcc/config/sparc/sync.md
index d7066b0..be8c4c4 100644 (file)
--- a/gcc/config/sparc/sync.md
+++ b/gcc/config/sparc/sync.md
@@ -19,6 +19,7 @@
 ;; <http://www.gnu.org/licenses/>.
 
 (define_mode_iterator I12MODE [QI HI])
 ;; <http://www.gnu.org/licenses/>.
 
 (define_mode_iterator I12MODE [QI HI])

+(define_mode_iterator I124MODE [QI HI SI])

 (define_mode_iterator I24MODE [HI SI])
 (define_mode_iterator I48MODE [SI (DI "TARGET_ARCH64 || TARGET_V8PLUS")])
 (define_mode_attr modesuffix [(SI "") (DI "x")])
 (define_mode_iterator I24MODE [HI SI])
 (define_mode_iterator I48MODE [SI (DI "TARGET_ARCH64 || TARGET_V8PLUS")])
 (define_mode_attr modesuffix [(SI "") (DI "x")])


@@ -32,14 +33,6 @@
   DONE;
 })
 
   DONE;
 })
 

-(define_expand "memory_barrier"
-  [(const_int 0)]
-  "TARGET_V8 || TARGET_V9"
-{
-  sparc_emit_membar_for_model (MEMMODEL_SEQ_CST, 3, 3);
-  DONE;
-})
-

 (define_expand "membar"
   [(set (match_dup 1)
        (unspec:BLK [(match_dup 1)
 (define_expand "membar"
   [(set (match_dup 1)
        (unspec:BLK [(match_dup 1)


@@ -224,46 +217,22 @@
   [(set_attr "type" "multi")
    (set_attr "length" "8")])
 
   [(set_attr "type" "multi")
    (set_attr "length" "8")])
 

-;;;;;;;;
-
-(define_expand "sync_lock_test_and_set<mode>"
-  [(match_operand:I12MODE 0 "register_operand" "")
-   (match_operand:I12MODE 1 "memory_operand" "")
-   (match_operand:I12MODE 2 "arith_operand" "")]
-  "!TARGET_V9"
+(define_expand "atomic_exchangesi"
+  [(match_operand:SI 0 "register_operand" "")
+   (match_operand:SI 1 "memory_operand" "")
+   (match_operand:SI 2 "register_operand" "")
+   (match_operand:SI 3 "const_int_operand" "")]
+  "TARGET_V8 || TARGET_V9"

 {
 {

-  if (operands[2] != const1_rtx)
-    FAIL;
-  if (TARGET_V8)
-    emit_insn (gen_memory_barrier ());
-  if (<MODE>mode != QImode)
-    operands[1] = adjust_address (operands[1], QImode, 0);
-  emit_insn (gen_ldstub<mode> (operands[0], operands[1]));
-  DONE;
-})
+  enum memmodel model = (enum memmodel) INTVAL (operands[3]);

 
 

-(define_expand "sync_lock_test_and_setsi"
-  [(parallel
-     [(set (match_operand:SI 0 "register_operand" "")
-          (unspec_volatile:SI [(match_operand:SI 1 "memory_operand" "")]
-                              UNSPECV_SWAP))
-      (set (match_dup 1)
-          (match_operand:SI 2 "arith_operand" ""))])]
-  ""
-{
-  if (! TARGET_V8 && ! TARGET_V9)
-    {
-      if (operands[2] != const1_rtx)
-       FAIL;
-      operands[1] = adjust_address (operands[1], QImode, 0);
-      emit_insn (gen_ldstubsi (operands[0], operands[1]));
-      DONE;
-    }
-  emit_insn (gen_memory_barrier ());
-  operands[2] = force_reg (SImode, operands[2]);
+  sparc_emit_membar_for_model (model, 3, 1);
+  emit_insn (gen_swapsi (operands[0], operands[1], operands[2]));
+  sparc_emit_membar_for_model (model, 3, 2);
+  DONE;

 })
 
 })
 

-(define_insn "*swapsi"
+(define_insn "swapsi"

   [(set (match_operand:SI 0 "register_operand" "=r")
        (unspec_volatile:SI [(match_operand:SI 1 "memory_operand" "+m")]
                            UNSPECV_SWAP))
   [(set (match_operand:SI 0 "register_operand" "=r")
        (unspec_volatile:SI [(match_operand:SI 1 "memory_operand" "+m")]
                            UNSPECV_SWAP))


@@ -273,24 +242,25 @@
   "swap\t%1, %0"
   [(set_attr "type" "multi")])
 
   "swap\t%1, %0"
   [(set_attr "type" "multi")])
 

-(define_expand "ldstubqi"
-  [(parallel [(set (match_operand:QI 0 "register_operand" "")
-                  (unspec_volatile:QI [(match_operand:QI 1 "memory_operand" "")]
-                                      UNSPECV_LDSTUB))
-             (set (match_dup 1) (const_int -1))])]
+(define_expand "atomic_test_and_set<mode>"
+  [(match_operand:I124MODE 0 "register_operand" "")
+   (match_operand:I124MODE 1 "memory_operand" "")
+   (match_operand:SI 2 "const_int_operand" "")]

   ""
   ""

-  "")
+{
+  enum memmodel model = (enum memmodel) INTVAL (operands[2]);

 
 

-(define_expand "ldstub<mode>"
-  [(parallel [(set (match_operand:I24MODE 0 "register_operand" "")
-                  (zero_extend:I24MODE
-                     (unspec_volatile:QI [(match_operand:QI 1 "memory_operand" "")]
-                                         UNSPECV_LDSTUB)))
-             (set (match_dup 1) (const_int -1))])]
-  ""
-  "")
+  sparc_emit_membar_for_model (model, 3, 1);
+
+  if (<MODE>mode != QImode)
+    operands[1] = adjust_address (operands[1], QImode, 0);
+  emit_insn (gen_ldstub<mode> (operands[0], operands[1]));
+
+  sparc_emit_membar_for_model (model, 3, 2);
+  DONE;
+})

 
 

-(define_insn "*ldstubqi"
+(define_insn "ldstubqi"

   [(set (match_operand:QI 0 "register_operand" "=r")
        (unspec_volatile:QI [(match_operand:QI 1 "memory_operand" "+m")]
                            UNSPECV_LDSTUB))
   [(set (match_operand:QI 0 "register_operand" "=r")
        (unspec_volatile:QI [(match_operand:QI 1 "memory_operand" "+m")]
                            UNSPECV_LDSTUB))


@@ -299,7 +269,7 @@
   "ldstub\t%1, %0"
   [(set_attr "type" "multi")])
 
   "ldstub\t%1, %0"
   [(set_attr "type" "multi")])
 

-(define_insn "*ldstub<mode>"
+(define_insn "ldstub<mode>"

   [(set (match_operand:I24MODE 0 "register_operand" "=r")
        (zero_extend:I24MODE
          (unspec_volatile:QI [(match_operand:QI 1 "memory_operand" "+m")]
   [(set (match_operand:I24MODE 0 "register_operand" "=r")
        (zero_extend:I24MODE
          (unspec_volatile:QI [(match_operand:QI 1 "memory_operand" "+m")]