TRegex: multiple fixes for look-behind merging across main expression

boundary.

Author: djoooooe

regex/src/com.oracle.truffle.regex.test/src/com/oracle/truffle/regex/tregex/test/InputStringGeneratorTests.java

@@ -1,5 +1,5 @@
 /*
- * Copyright (c) 2018, 2024, Oracle and/or its affiliates. All rights reserved.
+ * Copyright (c) 2018, 2025, Oracle and/or its affiliates. All rights reserved.
  * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
  *
  * The Universal Permissive License (UPL), Version 1.0
@@ -42,7 +42,6 @@
 
 import java.util.Random;
 
-import com.oracle.truffle.api.strings.TruffleString;
 import org.graalvm.polyglot.Value;
 import org.junit.Assert;
 import org.junit.Test;
@@ -86,7 +85,7 @@ public void testBenchmarkRegexes() {
         testInputStringGenerator("(?<=(a))\\1");
     }
 
-    private TruffleString generateInputString(String pattern, String flags, String options, Encodings.Encoding encoding, long rngSeed) {
+    private InputStringGenerator.InputString generateInputString(String pattern, String flags, String options, Encodings.Encoding encoding, long rngSeed) {
         String sourceString = createSourceString(pattern, flags, options, encoding);
         Source source = Source.newBuilder("regex", sourceString, "regexSource").build();
         RegexSource regexSource = RegexLanguage.createRegexSource(source);
@@ -105,10 +104,12 @@ void testInputStringGenerator(String pattern, String flags, String options, Enco
 
     private void testInputStringGenerator(String pattern, String flags, String options, Encodings.Encoding encoding, long rngSeed, Value compiledRegex) {
         for (int i = 0; i < 20; i++) {
-            TruffleString input = generateInputString(pattern, flags, options, encoding, rngSeed);
+            InputStringGenerator.InputString input = generateInputString(pattern, flags, options, encoding, rngSeed + i);
             Assert.assertNotNull(input);
-            Value result = execRegex(compiledRegex, encoding, input, 0);
-            Assert.assertTrue(result.getMember("isMatch").asBoolean());
+            Value result = execRegex(compiledRegex, encoding, input.input(), input.fromIndex());
+            if (!result.getMember("isMatch").asBoolean()) {
+                Assert.assertTrue(execRegex(compiledRegex, encoding, input.input(), input.matchStart()).getMember("isMatch").asBoolean());
+            }
         }
     }
 }

regex/src/com.oracle.truffle.regex.test/src/com/oracle/truffle/regex/tregex/test/JsTests.java

@@ -1,5 +1,5 @@
 /*
- * Copyright (c) 2018, 2024, Oracle and/or its affiliates. All rights reserved.
+ * Copyright (c) 2018, 2025, Oracle and/or its affiliates. All rights reserved.
  * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
  *
  * The Universal Permissive License (UPL), Version 1.0
@@ -319,6 +319,12 @@ public void emptyTransitionMergedWithLookAhead() {
         test("a?(?=b(?<=ab)()|)", "", "a", 0, true, 0, 1, -1, -1);
     }
 
+    @Test
+    public void gr60222() {
+        test("(?<=a)b|", "m", "aaabaaa", 3, true, 3, 4);
+        test("(?=^(?:[^])+){3}|(?:(^)+(?!\\b(([^]))+))*", "m", "\u00ea\u9bbb\n\n\n\u00ea\u9bbb\n\n\n\u00ea\u9bbb\n\n\n\u00ea\u9bbb\n\n\n", 10, true, 10, 10, -1, -1, -1, -1, -1, -1);
+    }
+
     @Test
     public void generatedTests() {
         /* GENERATED CODE BEGIN - KEEP THIS MARKER FOR AUTOMATIC UPDATES */
@@ -544,6 +550,13 @@ public void generatedTests() {
         test("a(?:|[0-9]+?a|[0-9a]){11,13}?[ab]", "", "a372a466a109585878b", 0, true, 0, 5);
         test("(?<=ab(?:c|$){8,8})", "", "abccccc", 0, true, 7, 7);
         test("(?:^a|$){1,72}a", "", "aaaaaaaa", 0, true, 0, 2);
+        test("(?<=a)b|", "", "aaabaaa", 3, true, 3, 4);
+        test("^a|(?:^)*", "m", "aa\n\n\naa\n\n\naa\n\n\naa\n\n\n", 10, true, 10, 11);
+        test("(?<=[ab][a])", "", "ababab", 2, true, 3, 3);
+        test("[ab]*(?<=a)$", "", "bbabaa", 1, true, 1, 6);
+        test("[\u7514-\ua3e3\ub107]*(?<=\\S)$", "", "\u76a3\u782b\u782b\ub107\u782b\u9950\u76a3\ub107\u9950\u76a3\u9a36", 3, true, 3, 11);
+        test("$(?<=a)", "y", "aaaaa", 5, true, 5, 5);
+        test("^abc[^]", "m", "abcdabc", 1, false);
 
         /* GENERATED CODE END - KEEP THIS MARKER FOR AUTOMATIC UPDATES */
     }

regex/src/com.oracle.truffle.regex.test/src/com/oracle/truffle/regex/tregex/test/OracleDBTests.java

@@ -1,5 +1,5 @@
 /*
- * Copyright (c) 2021, 2024, Oracle and/or its affiliates. All rights reserved.
+ * Copyright (c) 2021, 2025, Oracle and/or its affiliates. All rights reserved.
  * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
  *
  * The Universal Permissive License (UPL), Version 1.0
@@ -1620,6 +1620,7 @@ public void generatedTests() {
         test("(?:a()|b??){22,26}c", "", "aabbbaabaaaaaabaaaac", 0, true, 19, 20, 19, 19, -1, -1);
         test("b()(a\\1|){4,4}\\2c", "", "baaaac", 0, false);
         test("a((?=b()|)[a-d])+", "", "abbbcbd", 0, true, 0, 7, 6, 7, 6, 6, -1, -1);
+        test("[[.\ue09f.][=\ud800\udc00=]]", "", "\ud800\udc00", 0, true, 0, 4);
         test("(a{1100,1100})\\1", "i", "a".repeat(2400), 0, true, 0, 2200, 0, 1100);
 
         /* GENERATED CODE END - KEEP THIS MARKER FOR AUTOMATIC UPDATES */