// Copyright 2022 the V8 project authors. All rights reserved.
// Use of this source code is governed by a BSD-style license that can be
// found in the LICENSE file.
//
// Flags: --shared-string-table --harmony-struct

"use strict";

let S = new SharedStructType(['field', '2']);

(function TestPrimitivesUsingAtomics() {
  // All primitives can be stored in fields.
  let s = new S();
  const prims = [42, -0, undefined, null, true, false, "foo"];

  for (let prim of prims) {
    Atomics.store(s, 'field', prim);
    Atomics.store(s, '2', prim);
    assertEquals(Atomics.load(s, 'field'), prim);
    assertEquals(Atomics.load(s, '2'), prim);
  }

  for (let prim1 of prims) {
    for (let prim2 of prims) {
      s.field = prim1;
      s[2] = prim1;
      assertEquals(Atomics.exchange(s, 'field', prim2), prim1);
      assertEquals(s.field, prim2);
      assertEquals(Atomics.exchange(s, '2', prim2), prim1);
      assertEquals(s[2], prim2);
    }
  }
})();

(function TestObjectsUsingAtomics() {
  let s = new S();
  // Shared objects cannot point to non-shared objects.
  assertThrows(() => { Atomics.store(s, 'field', []); });
  assertThrows(() => { Atomics.store(s, 'field', {}); });
  // Shared objects can point to other shared objects.
  let shared_rhs = new SharedArray(10);
  Atomics.store(s, 'field', shared_rhs);
  assertEquals(Atomics.load(s, 'field'), shared_rhs);

  shared_rhs = new S();
  Atomics.store(s, 'field', shared_rhs);
  assertEquals(Atomics.load(s, 'field'), shared_rhs);

  let shared_rhs2 = new S();
  assertEquals(Atomics.exchange(s, 'field', shared_rhs2), shared_rhs);
  assertEquals(s.field, shared_rhs2);
})();

(function TestNotExtensibleUsingAtomics() {
  let s = new S();
  // Shared structs are non-extensible.
  assertThrows(() => { Atomics.store(s, 'nonExistent', 42); });
})();