summaryrefslogtreecommitdiffstats
path: root/js/src/jit/AtomicOp.h
blob: ed9a6dd74c9442c5cc00f036e2e59582a9c83bc6 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
/* -*- Mode: C++; tab-width: 8; indent-tabs-mode: nil; c-basic-offset: 2 -*-
 * vim: set ts=8 sts=2 et sw=2 tw=80:
 * This Source Code Form is subject to the terms of the Mozilla Public
 * License, v. 2.0. If a copy of the MPL was not distributed with this
 * file, You can obtain one at http://mozilla.org/MPL/2.0/. */

#ifndef jit_AtomicOp_h
#define jit_AtomicOp_h

#include <stdint.h>

namespace js {
namespace jit {

// Types of atomic operation, shared by MIR and LIR.

enum class AtomicOp {
  Add,
  Sub,
  And,
  Or,
  Xor,
};

// Memory barrier types, shared by MIR and LIR.
//
// MembarSynchronizing is here because some platforms can make the
// distinction (DSB vs DMB on ARM, SYNC vs parameterized SYNC on MIPS)
// but there's been no reason to use it yet.

enum MemoryBarrierBits : uint8_t {
  MembarLoadLoad = 1,
  MembarLoadStore = 2,
  MembarStoreStore = 4,
  MembarStoreLoad = 8,

  MembarSynchronizing = 16,

  // For validity testing
  MembarNobits = 0,
  MembarAllbits = 31,
};

static inline constexpr MemoryBarrierBits operator|(MemoryBarrierBits a,
                                                    MemoryBarrierBits b) {
  return MemoryBarrierBits(static_cast<uint8_t>(a) | static_cast<uint8_t>(b));
}

static inline constexpr MemoryBarrierBits operator&(MemoryBarrierBits a,
                                                    MemoryBarrierBits b) {
  return MemoryBarrierBits(static_cast<uint8_t>(a) & static_cast<uint8_t>(b));
}

static inline constexpr MemoryBarrierBits operator~(MemoryBarrierBits a) {
  return MemoryBarrierBits(~static_cast<uint8_t>(a));
}

// Standard barrier bits for a full barrier.
static constexpr MemoryBarrierBits MembarFull =
    MembarLoadLoad | MembarLoadStore | MembarStoreLoad | MembarStoreStore;

// Standard sets of barrier bits for atomic loads and stores.
// See http://gee.cs.oswego.edu/dl/jmm/cookbook.html for more.
static constexpr MemoryBarrierBits MembarBeforeLoad = MembarNobits;
static constexpr MemoryBarrierBits MembarAfterLoad =
    MembarLoadLoad | MembarLoadStore;
static constexpr MemoryBarrierBits MembarBeforeStore = MembarStoreStore;
static constexpr MemoryBarrierBits MembarAfterStore = MembarStoreLoad;

struct Synchronization {
  const MemoryBarrierBits barrierBefore;
  const MemoryBarrierBits barrierAfter;

  constexpr Synchronization(MemoryBarrierBits before, MemoryBarrierBits after)
      : barrierBefore(before), barrierAfter(after) {}

  static Synchronization None() {
    return Synchronization(MemoryBarrierBits(MembarNobits),
                           MemoryBarrierBits(MembarNobits));
  }

  static Synchronization Full() {
    return Synchronization(MembarFull, MembarFull);
  }

  static Synchronization Load() {
    return Synchronization(MembarBeforeLoad, MembarAfterLoad);
  }

  static Synchronization Store() {
    return Synchronization(MembarBeforeStore, MembarAfterStore);
  }

  bool isNone() const { return (barrierBefore | barrierAfter) == MembarNobits; }
};

}  // namespace jit
}  // namespace js

#endif /* jit_AtomicOp_h */