DXR is a code search and navigation tool aimed at making sense of large projects. It supports full-text and regex searches as well as structural queries.

Mercurial (b6d82b1a6b02)

VCS Links

Line Code
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
/* -*- 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

namespace js {
namespace jit {

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

enum AtomicOp {
  AtomicFetchAddOp,
  AtomicFetchSubOp,
  AtomicFetchAndOp,
  AtomicFetchOrOp,
  AtomicFetchXorOp
};

// 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 {
  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(int(a) | int(b));
}

static inline constexpr MemoryBarrierBits operator&(MemoryBarrierBits a,
                                                    MemoryBarrierBits b) {
  return MemoryBarrierBits(int(a) & int(b));
}

static inline constexpr MemoryBarrierBits operator~(MemoryBarrierBits a) {
  return MemoryBarrierBits(~int(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 */