[GR-37242] Support atomic groups in TRegex's backtracker.

PullRequest: truffleruby/3232

Author: jirkamarsik

spec/truffle/options/warn_truffle_regex_compile_fallback_spec.rb

@@ -10,10 +10,10 @@
 
 describe "The --warn-truffle-regex-compile-fallback option" do
   it "works" do
-    out = ruby_exe('2.times { /a*+/ =~ "a" }', options: "--experimental-options --warn-truffle-regex-compile-fallback", args: "2>&1")
+    out = ruby_exe('2.times { /(?<loop>a\g<loop>|)/ =~ "aaa" }', options: "--experimental-options --warn-truffle-regex-compile-fallback", args: "2>&1")
     out = out.gsub(/^.+: warning/, 'warning')
     out.should == <<~OUT
-      warning: Regexp /a*+/ at_start=false encoding=US-ASCII cannot be compiled to a Truffle regexp and fell back to Joni
+      warning: Regexp /(?<loop>a\\g<loop>|)/ at_start=false encoding=US-ASCII cannot be compiled to a Truffle regexp and fell back to Joni
     OUT
   end
 end

spec/truffle/options/warn_truffle_regex_match_fallback_spec.rb

@@ -10,11 +10,11 @@
 
 describe "The --warn-truffle-regex-match-fallback option" do
   it "works" do
-    out = ruby_exe('2.times { /a*+/ =~ "a" }', options: "--experimental-options --warn-truffle-regex-match-fallback", args: "2>&1")
+    out = ruby_exe('2.times { /(?<loop>a\g<loop>|)/ =~ "aaa" }', options: "--experimental-options --warn-truffle-regex-match-fallback", args: "2>&1")
     out = out.gsub(/^.+: warning/, 'warning')
     out.should == <<~OUT
-      warning: match_in_region(/a*+/, "a"@UTF-8, 0, 1, false, 0) enc=US-ASCII cannot be run as a Truffle regexp and fell back to Joni
-      warning: match_in_region(/a*+/, "a"@UTF-8, 0, 1, false, 0) enc=US-ASCII cannot be run as a Truffle regexp and fell back to Joni
+      warning: match_in_region(/(?<loop>a\\g<loop>|)/, "aaa"@UTF-8, 0, 3, false, 0) enc=US-ASCII cannot be run as a Truffle regexp and fell back to Joni
+      warning: match_in_region(/(?<loop>a\\g<loop>|)/, "aaa"@UTF-8, 0, 3, false, 0) enc=US-ASCII cannot be run as a Truffle regexp and fell back to Joni
     OUT
   end
 end