Add m-esr52 at 52.6.0

1 files changed, 309 insertions, 0 deletions

diff --git a/js/src/tests/ecma_6/RegExp/replace-trace.js b/js/src/tests/ecma_6/RegExp/replace-trace.js
new file mode 100644
index 000000000..73e623563
--- /dev/null
+++ b/js/src/tests/ecma_6/RegExp/replace-trace.js
@@ -0,0 +1,309 @@
+var BUGNUMBER = 887016;
+var summary = "Trace RegExp.prototype[@@replace] behavior.";
+
+print(BUGNUMBER + ": " + summary);
+
+var n;
+var log;
+var target;
+var global;
+var unicode;
+
+var execResult;
+var lastIndexResult;
+var lastIndexExpected;
+
+var arraySetterObserved = false;
+function startObserve() {
+  for (var i = 0; i < 10; i++) {
+    Object.defineProperty(Array.prototype, i, {
+      set: function(v) {
+        arraySetterObserved = true;
+      },
+      configurable: true,
+    });
+  }
+}
+function stopObserve() {
+  for (var i = 0; i < 10; i++)
+    delete Array.prototype[i]
+}
+
+startObserve();
+
+function P(A, index, matched2) {
+  var i = 0;
+  A.index = index;
+  return new Proxy(A, {
+    get(that, name) {
+      log += "get:result[" + name + "],";
+
+      // Return a different value for 2nd access to result[0].
+      if (matched2 !== undefined && name == 0) {
+        if (i == 1) {
+          return matched2;
+        }
+        i++;
+      }
+
+      return that[name];
+    }
+  });
+}
+
+var myRegExp = {
+  get global() {
+    log += "get:global,";
+    return global;
+  },
+  get lastIndex() {
+    log += "get:lastIndex,";
+    return lastIndexResult[n];
+  },
+  set lastIndex(v) {
+    log += "set:lastIndex,";
+    assertEq(v, lastIndexExpected[n]);
+  },
+  get unicode() {
+    log += "get:unicode,";
+    return unicode;
+  },
+  get exec() {
+    log += "get:exec,";
+    return function(S) {
+      log += "call:exec,";
+      assertEq(S, target);
+      return execResult[n++];
+    };
+  },
+};
+
+function reset() {
+  n = 0;
+  log = "";
+  target = "abcAbcABC";
+  global = true;
+  unicode = false;
+  arraySetterObserved = false;
+}
+
+// Trace global with non-empty match.
+reset();
+execResult        = [    P(["bc"], 1), null ];
+lastIndexResult   = [ ,  ,                  ];
+lastIndexExpected = [ 0, ,                  ];
+var ret = RegExp.prototype[Symbol.replace].call(myRegExp, target, "_XYZ_");
+assertEq(arraySetterObserved, false);
+assertEq(ret, "a_XYZ_AbcABC");
+assertEq(log,
+         "get:global," +
+         "get:unicode," +
+         "set:lastIndex," +
+         "get:exec,call:exec," +
+         "get:result[0]," +
+         "get:exec,call:exec," +
+         "get:result[length],get:result[0],get:result[index],");
+
+// Trace global with empty match.
+reset();
+execResult        = [    P([""], 1), null ];
+lastIndexResult   = [ ,  5,               ];
+lastIndexExpected = [ 0, 6,               ];
+ret = RegExp.prototype[Symbol.replace].call(myRegExp, target, "_XYZ_");
+assertEq(arraySetterObserved, false);
+assertEq(ret, "a_XYZ_bcAbcABC");
+assertEq(log,
+         "get:global," +
+         "get:unicode," +
+         "set:lastIndex," +
+         "get:exec,call:exec," +
+         "get:result[0]," +
+         "get:lastIndex,set:lastIndex," +
+         "get:exec,call:exec," +
+         "get:result[length],get:result[0],get:result[index],");
+
+// Trace global and unicode with empty match.
+// 1. not surrogate pair
+// 2. lead surrogate pair
+// 3. trail surrogate pair
+// 4. lead surrogate pair without trail surrogate pair
+// 5. index overflow
+reset();
+unicode = true;
+//        0123     4     5678
+target = "---\uD83D\uDC38---\uD83D";
+execResult        = [    P([""], 1), P([""], 2), P([""], 3), P([""], 4), P([""], 5), null ];
+lastIndexResult   = [ ,  2,          3,          4,          8,          9,               ];
+lastIndexExpected = [ 0, 3,          5,          5,          9,          10,              ];
+ret = RegExp.prototype[Symbol.replace].call(myRegExp, target, "_XYZ_");
+assertEq(arraySetterObserved, false);
+assertEq(ret, "-_XYZ_-_XYZ_-_XYZ_\uD83D_XYZ_\uDC38_XYZ_---\uD83D");
+assertEq(log,
+         "get:global," +
+         "get:unicode," +
+         "set:lastIndex," +
+         "get:exec,call:exec," +
+         "get:result[0]," +
+         "get:lastIndex,set:lastIndex," +
+         "get:exec,call:exec," +
+         "get:result[0]," +
+         "get:lastIndex,set:lastIndex," +
+         "get:exec,call:exec," +
+         "get:result[0]," +
+         "get:lastIndex,set:lastIndex," +
+         "get:exec,call:exec," +
+         "get:result[0]," +
+         "get:lastIndex,set:lastIndex," +
+         "get:exec,call:exec," +
+         "get:result[0]," +
+         "get:lastIndex,set:lastIndex," +
+         "get:exec,call:exec," +
+         "get:result[length],get:result[0],get:result[index]," +
+         "get:result[length],get:result[0],get:result[index]," +
+         "get:result[length],get:result[0],get:result[index]," +
+         "get:result[length],get:result[0],get:result[index]," +
+         "get:result[length],get:result[0],get:result[index],");
+
+// Trace global with captures and substitutions.
+reset();
+execResult        = [    P(["bc", "b", "c"], 1), null ];
+lastIndexResult   = [ ,  ,                            ];
+lastIndexExpected = [ 0, ,                            ];
+ret = RegExp.prototype[Symbol.replace].call(myRegExp, target, "[$&,$`,$',$1,$2,$3,$]");
+assertEq(arraySetterObserved, false);
+assertEq(ret, "a[bc,a,AbcABC,b,c,$3,$]AbcABC");
+assertEq(log,
+         "get:global," +
+         "get:unicode," +
+         "set:lastIndex," +
+         "get:exec,call:exec," +
+         "get:result[0]," +
+         "get:exec,call:exec," +
+         "get:result[length],get:result[0],get:result[index]," +
+         "get:result[1],get:result[2],");
+
+// Trace global with empty match and captures and substitutions,
+// with different matched.
+reset();
+execResult        = [    P(["", "b", "c"], 1, "BC"), null ];
+lastIndexResult   = [ ,  5,                               ];
+lastIndexExpected = [ 0, 6,                               ];
+ret = RegExp.prototype[Symbol.replace].call(myRegExp, target, "[$&,$`,$',$1,$2,$3,$]");
+assertEq(arraySetterObserved, false);
+assertEq(ret, "a[BC,a,AbcABC,b,c,$3,$]AbcABC");
+assertEq(log,
+         "get:global," +
+         "get:unicode," +
+         "set:lastIndex," +
+         "get:exec,call:exec," +
+         "get:result[0]," +
+         "get:lastIndex,set:lastIndex," +
+         "get:exec,call:exec," +
+         "get:result[length],get:result[0],get:result[index]," +
+         "get:result[1],get:result[2],");
+
+// Trace global with empty match and captures and function,
+// with different matched.
+reset();
+execResult        = [    P(["", "b", "c"], 1, "BC"), null ];
+lastIndexResult   = [ ,  5,                               ];
+lastIndexExpected = [ 0, 6,                               ];
+function replaceFunc(...args) {
+  log += "call:replaceFunc,";
+  assertEq(args.length, 5);
+  assertEq(args[0], "BC");
+  assertEq(args[1], "b");
+  assertEq(args[2], "c");
+  assertEq(args[3], 1);
+  assertEq(args[4], target);
+  return "_ret_";
+}
+// This also tests RegExpStatics save/restore with no match.
+ret = RegExp.prototype[Symbol.replace].call(myRegExp, target, replaceFunc);
+assertEq(arraySetterObserved, false);
+assertEq(ret, "a_ret_AbcABC");
+assertEq(log,
+         "get:global," +
+         "get:unicode," +
+         "set:lastIndex," +
+         "get:exec,call:exec," +
+         "get:result[0]," +
+         "get:lastIndex,set:lastIndex," +
+         "get:exec,call:exec," +
+         "get:result[length],get:result[0],get:result[index]," +
+         "get:result[1],get:result[2]," +
+         "call:replaceFunc,");
+
+// Trace global with non-empty match, move backwards.
+// 2nd match shouldn't be replaced.
+reset();
+execResult        = [    P(["X"], 5), P(["YZ"], 1), null ];
+lastIndexResult   = [ ,  ,            ,                  ];
+lastIndexExpected = [ 0, ,            ,                  ];
+ret = RegExp.prototype[Symbol.replace].call(myRegExp, target, "_XYZ_");
+assertEq(arraySetterObserved, false);
+assertEq(ret, "abcAb_XYZ_ABC");
+assertEq(log,
+         "get:global," +
+         "get:unicode," +
+         "set:lastIndex," +
+         "get:exec,call:exec," +
+         "get:result[0]," +
+         "get:exec,call:exec," +
+         "get:result[0]," +
+         "get:exec,call:exec," +
+         "get:result[length],get:result[0],get:result[index]," +
+         "get:result[length],get:result[0],get:result[index],");
+
+// Trace global with non-empty match, position + matchLength overflows.
+reset();
+execResult        = [    P(["fooooooo"], 7), null ];
+lastIndexResult   = [ ,  ,                        ];
+lastIndexExpected = [ 0, ,                        ];
+ret = RegExp.prototype[Symbol.replace].call(myRegExp, target, "_XYZ_");
+assertEq(arraySetterObserved, false);
+assertEq(ret, "abcAbcA_XYZ_");
+assertEq(log,
+         "get:global," +
+         "get:unicode," +
+         "set:lastIndex," +
+         "get:exec,call:exec," +
+         "get:result[0]," +
+         "get:exec,call:exec," +
+         "get:result[length],get:result[0],get:result[index],");
+
+// Trace global with non-empty match, position overflows.
+reset();
+execResult        = [    P(["fooooooo"], 12), null ];
+lastIndexResult   = [ ,  ,                         ];
+lastIndexExpected = [ 0, ,                         ];
+ret = RegExp.prototype[Symbol.replace].call(myRegExp, target, "_XYZ_");
+assertEq(arraySetterObserved, false);
+assertEq(ret, "abcAbcABC_XYZ_");
+assertEq(log,
+         "get:global," +
+         "get:unicode," +
+         "set:lastIndex," +
+         "get:exec,call:exec," +
+         "get:result[0]," +
+         "get:exec,call:exec," +
+         "get:result[length],get:result[0],get:result[index],");
+
+// Trace non-global.
+reset();
+global = false;
+execResult        = [    P(["bc"], 1) ];
+lastIndexResult   = [ ,  ,            ];
+lastIndexExpected = [ 0, ,            ];
+ret = RegExp.prototype[Symbol.replace].call(myRegExp, target, "_XYZ_");
+assertEq(arraySetterObserved, false);
+assertEq(ret, "a_XYZ_AbcABC");
+assertEq(log,
+         "get:global," +
+         "get:exec,call:exec," +
+         "get:result[length],get:result[0],get:result[index],");
+
+stopObserve();
+
+if (typeof reportCompare === "function")
+    reportCompare(true, true);