[regexp] parse RegExpUnicodeEscapeSequence according to spec.

test/mjsunit/harmony/unicode-escapes-in-regexps.js

Index: test/mjsunit/harmony/unicode-escapes-in-regexps.js
diff --git a/test/mjsunit/harmony/unicode-escapes-in-regexps.js b/test/mjsunit/harmony/unicode-escapes-in-regexps.js
index 10187412aa9ca2a3c8e2ae26a2a1b20ab29e10c8..895e0c6722e8aae7d94a2abdaee201f632293ee2 100644
--- a/test/mjsunit/harmony/unicode-escapes-in-regexps.js
+++ b/test/mjsunit/harmony/unicode-escapes-in-regexps.js
@@ -257,25 +257,31 @@ assertTrue(/\ud808\udf45{3}/u.test("\u{12345}\u{12345}\u{12345}"));
 assertFalse(new RegExp("\u{12345}{3}", "u").test("\u{12345}\udf45\udf45"));
 assertFalse(/\u{12345}{3}/u.test("\u{12345}\udf45\udf45"));
 
-// Mixed escapes and literal surrogates.
+// Literal surrogates.
 assertEquals(["\u{10000}\u{10000}"],
              new RegExp("\ud800\udc00+", "u").exec("\u{10000}\u{10000}"));
 assertEquals(["\u{10000}\u{10000}"],
              new RegExp("\\ud800\\udc00+", "u").exec("\u{10000}\u{10000}"));
-assertEquals(["\u{10000}\u{10000}"],
-             new RegExp("\\ud800\udc00+", "u").exec("\u{10000}\u{10000}"));
-assertEquals(["\u{10000}\u{10000}"],
-             new RegExp("\ud800\\udc00+", "u").exec("\u{10000}\u{10000}"));
 
 assertEquals(["\u{10003}\u{50001}"],
              new RegExp("[\\ud800\\udc03-\\ud900\\udc01\]+", "u").exec(
                  "\u{10003}\u{50001}"));
 assertEquals(["\u{10003}\u{50001}"],
-             new RegExp("[\\ud800\udc03-\ud900\\udc01\]+", "u").exec(
-                 "\u{10003}\u{50001}"));
-assertEquals(["\u{50001}"],
-             new RegExp("[\\ud800\udc03-\ud900\\udc01\]+", "u").exec(
-                 "\u{10002}\u{50001}"));
-assertEquals(["\u{10003}\u{50001}"],
              new RegExp("[\ud800\udc03-\u{50001}\]+", "u").exec(
                  "\u{10003}\u{50001}"));
+
+// Unicode escape sequences to represent a non-BMP character cannot have
+// mixed notation, and must follow the rules for RegExpUnicodeEscapeSequence.
+assertThrows(() => new RegExp("[\\ud800\udc03-\ud900\\udc01\]+", "u"));
+assertThrows(() => new RegExp("[\\ud800\udc03-\ud900\\udc01\]+", "u"));
+assertNull(new RegExp("\\ud800\udc00+", "u").exec("\u{10000}\u{10000}"));
+assertNull(new RegExp("\ud800\\udc00+", "u").exec("\u{10000}\u{10000}"));
+
+assertNull(new RegExp("[\\ud800\udc00]", "u").exec("\u{10000}"));
+assertNull(new RegExp("[\\{ud800}\udc00]", "u").exec("\u{10000}"));
+assertNull(new RegExp("[\ud800\\udc00]", "u").exec("\u{10000}"));
+assertNull(new RegExp("[\ud800\\{udc00}]", "u").exec("\u{10000}"));
+
+assertNull(/\u{d800}\u{dc00}+/u.exec("\ud800\udc00\udc00"));
+assertNull(/\ud800\u{dc00}+/u.exec("\ud800\udc00\udc00"));
+assertNull(/\u{d800}\udc00+/u.exec("\ud800\udc00\udc00"));