gcc/config/riscv/sync-rvwmo.md

   1 ;; Machine description for RISC-V atomic operations.
   2 ;; Copyright (C) 2011-2024 Free Software Foundation, Inc.
   3 ;; Contributed by Andrew Waterman (andrew@sifive.com).
   4 ;; Based on MIPS target for GNU compiler.
   5
   6 ;; This file is part of GCC.
   7
   8 ;; GCC is free software; you can redistribute it and/or modify
   9 ;; it under the terms of the GNU General Public License as published by
  10 ;; the Free Software Foundation; either version 3, or (at your option)
  11 ;; any later version.
  12
  13 ;; GCC is distributed in the hope that it will be useful,
  14 ;; but WITHOUT ANY WARRANTY; without even the implied warranty of
  15 ;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
  16 ;; GNU General Public License for more details.
  17
  18 ;; You should have received a copy of the GNU General Public License
  19 ;; along with GCC; see the file COPYING3.  If not see
  20 ;; <http://www.gnu.org/licenses/>.
  21
  22 ;; Memory barrier.
  23
  24 (define_insn "mem_thread_fence_rvwmo"
  25   [(set (match_operand:BLK 0 "" "")
  26         (unspec:BLK [(match_dup 0)] UNSPEC_MEMORY_BARRIER))
  27    (match_operand:SI 1 "const_int_operand" "")]  ;; model
  28   "!TARGET_ZTSO"
  29   {
  30     enum memmodel model = (enum memmodel) INTVAL (operands[1]);
  31     model = memmodel_base (model);
  32
  33     if (model == MEMMODEL_SEQ_CST)
  34         return "fence\trw,rw";
  35     else if (model == MEMMODEL_ACQ_REL)
  36         return TARGET_FENCE_TSO ? "fence.tso" : "fence\trw,rw";
  37     else if (model == MEMMODEL_ACQUIRE)
  38         return "fence\tr,rw";
  39     else if (model == MEMMODEL_RELEASE)
  40         return "fence\trw,w";
  41     else
  42         gcc_unreachable ();
  43   }
  44   [(set_attr "type" "atomic")
  45    (set (attr "length") (const_int 4))])
  46
  47 ;; Atomic memory operations.
  48
  49 (define_insn "atomic_load_rvwmo<mode>"
  50   [(set (match_operand:ANYI 0 "register_operand" "=r")
  51         (unspec_volatile:ANYI
  52             [(match_operand:ANYI 1 "memory_operand" "A")
  53              (match_operand:SI 2 "const_int_operand")]  ;; model
  54          UNSPEC_ATOMIC_LOAD))]
  55   "!TARGET_ZTSO"
  56   {
  57     enum memmodel model = (enum memmodel) INTVAL (operands[2]);
  58     model = memmodel_base (model);
  59
  60     if (model == MEMMODEL_SEQ_CST)
  61       return "fence\trw,rw\;"
  62              "<load>\t%0,%1\;"
  63              "fence\tr,rw";
  64     if (model == MEMMODEL_ACQUIRE)
  65       return "<load>\t%0,%1\;"
  66              "fence\tr,rw";
  67     else
  68       return "<load>\t%0,%1";
  69   }
  70   [(set_attr "type" "multi")
  71    (set (attr "length")
  72         (symbol_ref "(is_mm_seq_cst (memmodel_from_int (INTVAL (operands[2]))) ? 12
  73                       : is_mm_acquire (memmodel_from_int (INTVAL (operands[2]))) ? 8
  74                       : 4)"))])
  75
  76 ;; Implement atomic stores with conservative fences.
  77 ;; This allows us to be compatible with the ISA manual Table A.6 and Table A.7.
  78 (define_insn "atomic_store_rvwmo<mode>"
  79   [(set (match_operand:ANYI 0 "memory_operand" "=A")
  80         (unspec_volatile:ANYI
  81             [(match_operand:ANYI 1 "reg_or_0_operand" "rJ")
  82              (match_operand:SI 2 "const_int_operand")]  ;; model
  83          UNSPEC_ATOMIC_STORE))]
  84   "!TARGET_ZTSO"
  85   {
  86     enum memmodel model = (enum memmodel) INTVAL (operands[2]);
  87     model = memmodel_base (model);
  88
  89     if (model == MEMMODEL_SEQ_CST)
  90       return "fence\trw,w\;"
  91              "<store>\t%z1,%0\;"
  92              "fence\trw,rw";
  93     if (model == MEMMODEL_RELEASE)
  94       return "fence\trw,w\;"
  95              "<store>\t%z1,%0";
  96     else
  97       return "<store>\t%z1,%0";
  98   }
  99   [(set_attr "type" "multi")
 100    (set (attr "length")
 101         (symbol_ref "(is_mm_seq_cst (memmodel_from_int (INTVAL (operands[2]))) ? 12
 102                       : is_mm_release (memmodel_from_int (INTVAL (operands[2]))) ? 8
 103                       : 4)"))])