1 files changed, 219 insertions, 0 deletions
diff --git a/js/src/jit-test/tests/atomics/cross-compartment-nukeccw.js b/js/src/jit-test/tests/atomics/cross-compartment-nukeccw.js
new file mode 100644
index 0000000000..2ef9030923
--- /dev/null
+++ b/js/src/jit-test/tests/atomics/cross-compartment-nukeccw.js
@@ -0,0 +1,219 @@
+load(libdir + "asserts.js");
+
+const otherGlobal = newGlobal({newCompartment: true});
+
+function nukeValue(wrapper, value) {
+  return {
+    valueOf() {
+      nukeCCW(wrapper);
+      return value;
+    }
+  };
+};
+
+function assertIsDeadWrapper(value) {
+  assertTypeErrorMessage(() => value.foo, "can't access dead object");
+}
+
+// Atomics.load
+{
+  let sab = new otherGlobal.SharedArrayBuffer(4);
+  let ta = new otherGlobal.Int32Array(sab);
+  ta[0] = 1;
+
+  let val = Atomics.load(ta, nukeValue(ta, 0));
+
+  assertEq(val, 1);
+  assertIsDeadWrapper(ta);
+}
+{
+  let sab = new otherGlobal.SharedArrayBuffer(4);
+  let ta = new otherGlobal.Int32Array(sab);
+  ta[0] = 1;
+
+  let val = Atomics.load(ta, nukeValue(sab, 0));
+
+  assertEq(val, 1);
+  assertEq(ta[0], 1);
+  assertIsDeadWrapper(sab);
+}
+
+// Atomics.store
+{
+  let sab = new otherGlobal.SharedArrayBuffer(4);
+  let ta = new otherGlobal.Int32Array(sab);
+
+  Atomics.store(ta, 0, nukeValue(ta, 1));
+
+  assertIsDeadWrapper(ta);
+}
+{
+  let sab = new otherGlobal.SharedArrayBuffer(4);
+  let ta = new otherGlobal.Int32Array(sab);
+
+  Atomics.store(ta, 0, nukeValue(sab, 1));
+
+  assertEq(ta[0], 1);
+  assertIsDeadWrapper(sab);
+}
+
+// Atomics.compareExchange
+{
+  let sab = new otherGlobal.SharedArrayBuffer(4);
+  let ta = new otherGlobal.Int32Array(sab);
+  ta[0] = 1;
+
+  let val = Atomics.compareExchange(ta, 0, 1, nukeValue(ta, 2));
+
+  assertEq(val, 1);
+  assertIsDeadWrapper(ta);
+}
+{
+  let sab = new otherGlobal.SharedArrayBuffer(4);
+  let ta = new otherGlobal.Int32Array(sab);
+  ta[0] = 1;
+
+  let val = Atomics.compareExchange(ta, 0, 1, nukeValue(sab, 2));
+
+  assertEq(val, 1);
+  assertEq(ta[0], 2);
+  assertIsDeadWrapper(sab);
+}
+
+// Atomics.exchange
+{
+  let sab = new otherGlobal.SharedArrayBuffer(4);
+  let ta = new otherGlobal.Int32Array(sab);
+  ta[0] = 1;
+
+  let val = Atomics.exchange(ta, 0, nukeValue(ta, 2));
+
+  assertEq(val, 1);
+  assertIsDeadWrapper(ta);
+}
+{
+  let sab = new otherGlobal.SharedArrayBuffer(4);
+  let ta = new otherGlobal.Int32Array(sab);
+  ta[0] = 1;
+
+  let val = Atomics.exchange(ta, 0, nukeValue(sab, 2));
+
+  assertEq(val, 1);
+  assertEq(ta[0], 2);
+  assertIsDeadWrapper(sab);
+}
+
+// Atomics.add
+{
+  let sab = new otherGlobal.SharedArrayBuffer(4);
+  let ta = new otherGlobal.Int32Array(sab);
+  ta[0] = 1;
+
+  let val = Atomics.add(ta, 0, nukeValue(ta, 2));
+
+  assertEq(val, 1);
+  assertIsDeadWrapper(ta);
+}
+{
+  let sab = new otherGlobal.SharedArrayBuffer(4);
+  let ta = new otherGlobal.Int32Array(sab);
+  ta[0] = 1;
+
+  let val = Atomics.add(ta, 0, nukeValue(sab, 2));
+
+  assertEq(val, 1);
+  assertEq(ta[0], 3);
+  assertIsDeadWrapper(sab);
+}
+
+// Atomics.sub
+{
+  let sab = new otherGlobal.SharedArrayBuffer(4);
+  let ta = new otherGlobal.Int32Array(sab);
+  ta[0] = 3;
+
+  let val = Atomics.sub(ta, 0, nukeValue(ta, 2));
+
+  assertEq(val, 3);
+  assertIsDeadWrapper(ta);
+}
+{
+  let sab = new otherGlobal.SharedArrayBuffer(4);
+  let ta = new otherGlobal.Int32Array(sab);
+  ta[0] = 3;
+
+  let val = Atomics.sub(ta, 0, nukeValue(sab, 2));
+
+  assertEq(val, 3);
+  assertEq(ta[0], 1);
+  assertIsDeadWrapper(sab);
+}
+
+// Atomics.and
+{
+  let sab = new otherGlobal.SharedArrayBuffer(4);
+  let ta = new otherGlobal.Int32Array(sab);
+  ta[0] = 3;
+
+  let val = Atomics.and(ta, 0, nukeValue(ta, 1));
+
+  assertEq(val, 3);
+  assertIsDeadWrapper(ta);
+}
+{
+  let sab = new otherGlobal.SharedArrayBuffer(4);
+  let ta = new otherGlobal.Int32Array(sab);
+  ta[0] = 3;
+
+  let val = Atomics.and(ta, 0, nukeValue(sab, 1));
+
+  assertEq(val, 3);
+  assertEq(ta[0], 1);
+  assertIsDeadWrapper(sab);
+}
+
+// Atomics.or
+{
+  let sab = new otherGlobal.SharedArrayBuffer(4);
+  let ta = new otherGlobal.Int32Array(sab);
+  ta[0] = 2;
+
+  let val = Atomics.or(ta, 0, nukeValue(ta, 1));
+
+  assertEq(val, 2);
+  assertIsDeadWrapper(ta);
+}
+{
+  let sab = new otherGlobal.SharedArrayBuffer(4);
+  let ta = new otherGlobal.Int32Array(sab);
+  ta[0] = 2;
+
+  let val = Atomics.or(ta, 0, nukeValue(sab, 1));
+
+  assertEq(val, 2);
+  assertEq(ta[0], 3);
+  assertIsDeadWrapper(sab);
+}
+
+// Atomics.xor
+{
+  let sab = new otherGlobal.SharedArrayBuffer(4);
+  let ta = new otherGlobal.Int32Array(sab);
+  ta[0] = 3;
+
+  let val = Atomics.xor(ta, 0, nukeValue(ta, 1));
+
+  assertEq(val, 3);
+  assertIsDeadWrapper(ta);
+}
+{
+  let sab = new otherGlobal.SharedArrayBuffer(4);
+  let ta = new otherGlobal.Int32Array(sab);
+  ta[0] = 3;
+
+  let val = Atomics.xor(ta, 0, nukeValue(sab, 1));
+
+  assertEq(val, 3);
+  assertEq(ta[0], 2);
+  assertIsDeadWrapper(sab);
+}