int loop_iteration2 = 0;
int loop_iteration3 = 0;
int stackpos = 0;
+ int startingStackpos = 0;
+ int startingStackpos1 = 0;
ReadOnlySpan<char> slice = inputSpan.Slice(pos);
// Match if at the beginning of the string.
goto LoopIterationNoMatch1;
}
- // Optional (greedy).
- //{
- pos++;
- slice = inputSpan.Slice(pos);
- loop_iteration2 = 0;
+ // Atomic group.
+ {
+ int atomic_stackpos = stackpos;
- LoopBody2:
- Utilities.StackPush(ref base.runstack!, ref stackpos, pos);
-
- loop_iteration2++;
-
- // Match a character in the set [\-0-9A-Za-z\u212A] greedily any number of times.
+ // Optional (greedy).
//{
- charloop_starting_pos1 = pos;
+ pos++;
+ slice = inputSpan.Slice(pos);
+ startingStackpos = stackpos;
+ loop_iteration2 = 0;
- int iteration2 = slice.IndexOfAnyExcept(Utilities.s_asciiLettersAndDigitsAndDashKelvinSign);
- if (iteration2 < 0)
+ LoopBody2:
+ Utilities.StackPush(ref base.runstack!, ref stackpos, pos);
+
+ loop_iteration2++;
+
+ // Match a character in the set [\-0-9A-Za-z\u212A] greedily any number of times.
+ //{
+ charloop_starting_pos1 = pos;
+
+ int iteration2 = slice.IndexOfAnyExcept(Utilities.s_asciiLettersAndDigitsAndDashKelvinSign);
+ if (iteration2 < 0)
+ {
+ iteration2 = slice.Length;
+ }
+
+ slice = slice.Slice(iteration2);
+ pos += iteration2;
+
+ charloop_ending_pos1 = pos;
+ goto CharLoopEnd1;
+
+ CharLoopBacktrack1:
+ Utilities.StackPop(base.runstack!, ref stackpos, out charloop_ending_pos1, out charloop_starting_pos1);
+
+ if (Utilities.s_hasTimeout)
+ {
+ base.CheckTimeout();
+ }
+
+ if (charloop_starting_pos1 >= charloop_ending_pos1 ||
+ (charloop_ending_pos1 = inputSpan.Slice(charloop_starting_pos1, charloop_ending_pos1 - charloop_starting_pos1).LastIndexOfAny(Utilities.s_asciiLettersAndDigitsAndKelvinSign)) < 0)
+ {
+ goto LoopIterationNoMatch2;
+ }
+ charloop_ending_pos1 += charloop_starting_pos1;
+ pos = charloop_ending_pos1;
+ slice = inputSpan.Slice(pos);
+
+ CharLoopEnd1:
+ Utilities.StackPush(ref base.runstack!, ref stackpos, charloop_starting_pos1, charloop_ending_pos1);
+ //}
+
+ // Match a character in the set [0-9A-Za-z\u212A].
+ if (slice.IsEmpty || ((ch = slice[0]) < 128 ? !char.IsAsciiLetterOrDigit(ch) : !RegexRunner.CharInClass((char)ch, "\0\b\00:A[a{KÅ")))
{
- iteration2 = slice.Length;
+ goto CharLoopBacktrack1;
}
- slice = slice.Slice(iteration2);
- pos += iteration2;
-
- charloop_ending_pos1 = pos;
- goto CharLoopEnd1;
-
- CharLoopBacktrack1:
- Utilities.StackPop(base.runstack!, ref stackpos, out charloop_ending_pos1, out charloop_starting_pos1);
-
- if (Utilities.s_hasTimeout)
- {
- base.CheckTimeout();
- }
-
- if (charloop_starting_pos1 >= charloop_ending_pos1 ||
- (charloop_ending_pos1 = inputSpan.Slice(charloop_starting_pos1, charloop_ending_pos1 - charloop_starting_pos1).LastIndexOfAny(Utilities.s_asciiLettersAndDigitsAndKelvinSign)) < 0)
- {
- goto LoopIterationNoMatch2;
- }
- charloop_ending_pos1 += charloop_starting_pos1;
- pos = charloop_ending_pos1;
+ pos++;
slice = inputSpan.Slice(pos);
- CharLoopEnd1:
- Utilities.StackPush(ref base.runstack!, ref stackpos, charloop_starting_pos1, charloop_ending_pos1);
+ // The loop has an upper bound of 1. Continue iterating greedily if it hasn't yet been reached.
+ if (loop_iteration2 == 0)
+ {
+ goto LoopBody2;
+ }
+ goto LoopEnd2;
+
+ // The loop iteration failed. Put state back to the way it was before the iteration.
+ LoopIterationNoMatch2:
+ if (--loop_iteration2 < 0)
+ {
+ // Unable to match the remainder of the expression after exhausting the loop.
+ goto LoopIterationNoMatch1;
+ }
+ pos = base.runstack![--stackpos];
+ slice = inputSpan.Slice(pos);
+ LoopEnd2:
+ stackpos = startingStackpos; // Ensure any remaining backtracking state is removed.
//}
- // Match a character in the set [0-9A-Za-z\u212A].
- if (slice.IsEmpty || ((ch = slice[0]) < 128 ? !char.IsAsciiLetterOrDigit(ch) : !RegexRunner.CharInClass((char)ch, "\0\b\00:A[a{KÅ")))
- {
- goto CharLoopBacktrack1;
- }
-
- pos++;
- slice = inputSpan.Slice(pos);
-
- // The loop has an upper bound of 1. Continue iterating greedily if it hasn't yet been reached.
- if (loop_iteration2 == 0)
- {
- goto LoopBody2;
- }
- goto LoopEnd2;
-
- // The loop iteration failed. Put state back to the way it was before the iteration.
- LoopIterationNoMatch2:
- if (--loop_iteration2 < 0)
- {
- // Unable to match the remainder of the expression after exhausting the loop.
- goto LoopIterationNoMatch1;
- }
- pos = base.runstack![--stackpos];
- slice = inputSpan.Slice(pos);
- goto LoopEnd2;
-
- LoopBacktrack:
- if (Utilities.s_hasTimeout)
- {
- base.CheckTimeout();
- }
-
- if (loop_iteration2 == 0)
- {
- // No iterations of the loop remain to backtrack into. Fail the loop.
- goto LoopIterationNoMatch1;
- }
- goto CharLoopBacktrack1;
- LoopEnd2:
-
- Utilities.StackPush(ref base.runstack!, ref stackpos, loop_iteration2);
- goto LoopSkipBacktrack;
-
- LoopBacktrack1:
- loop_iteration2 = base.runstack![--stackpos];
- if (Utilities.s_hasTimeout)
- {
- base.CheckTimeout();
- }
-
- goto LoopBacktrack;
-
- LoopSkipBacktrack:;
- //}
+ stackpos = atomic_stackpos;
+ }
// Match '.'.
if (slice.IsEmpty || slice[0] != '.')
{
- goto LoopBacktrack1;
+ goto LoopIterationNoMatch1;
}
pos++;
slice = inputSpan.Slice(pos);
if (loop_iteration1 == 0)
{
- // No iterations have been matched to backtrack into. Fail the loop.
+ // All possible iterations have matched, but it's below the required minimum of 1. Fail the loop.
goto LoopIterationNoMatch;
}
- goto LoopEnd1;
-
- LoopBacktrack2:
- if (Utilities.s_hasTimeout)
- {
- base.CheckTimeout();
- }
-
- if (loop_iteration1 == 0)
- {
- // No iterations of the loop remain to backtrack into. Fail the loop.
- goto LoopIterationNoMatch;
- }
- goto LoopBacktrack1;
LoopEnd1:;
//}
// Match a character in the set [0-9A-Za-z\u212A].
if (slice.IsEmpty || ((ch = slice[0]) < 128 ? !char.IsAsciiLetterOrDigit(ch) : !RegexRunner.CharInClass((char)ch, "\0\b\00:A[a{KÅ")))
{
- goto LoopBacktrack2;
+ goto LoopIterationNoMatch1;
}
- // Optional (greedy).
- //{
- pos++;
- slice = inputSpan.Slice(pos);
- loop_iteration3 = 0;
+ // Atomic group.
+ {
+ int atomic_stackpos1 = stackpos;
- LoopBody3:
- Utilities.StackPush(ref base.runstack!, ref stackpos, pos);
-
- loop_iteration3++;
-
- // Match a character in the set [\-0-9A-Za-z\u212A] greedily any number of times.
+ // Optional (greedy).
//{
- charloop_starting_pos2 = pos;
+ pos++;
+ slice = inputSpan.Slice(pos);
+ startingStackpos1 = stackpos;
+ loop_iteration3 = 0;
- int iteration3 = slice.IndexOfAnyExcept(Utilities.s_asciiLettersAndDigitsAndDashKelvinSign);
- if (iteration3 < 0)
+ LoopBody3:
+ Utilities.StackPush(ref base.runstack!, ref stackpos, pos);
+
+ loop_iteration3++;
+
+ // Match a character in the set [\-0-9A-Za-z\u212A] greedily any number of times.
+ //{
+ charloop_starting_pos2 = pos;
+
+ int iteration3 = slice.IndexOfAnyExcept(Utilities.s_asciiLettersAndDigitsAndDashKelvinSign);
+ if (iteration3 < 0)
+ {
+ iteration3 = slice.Length;
+ }
+
+ slice = slice.Slice(iteration3);
+ pos += iteration3;
+
+ charloop_ending_pos2 = pos;
+ goto CharLoopEnd2;
+
+ CharLoopBacktrack2:
+ Utilities.StackPop(base.runstack!, ref stackpos, out charloop_ending_pos2, out charloop_starting_pos2);
+
+ if (Utilities.s_hasTimeout)
+ {
+ base.CheckTimeout();
+ }
+
+ if (charloop_starting_pos2 >= charloop_ending_pos2 ||
+ (charloop_ending_pos2 = inputSpan.Slice(charloop_starting_pos2, charloop_ending_pos2 - charloop_starting_pos2).LastIndexOfAny(Utilities.s_asciiLettersAndDigitsAndKelvinSign)) < 0)
+ {
+ goto LoopIterationNoMatch3;
+ }
+ charloop_ending_pos2 += charloop_starting_pos2;
+ pos = charloop_ending_pos2;
+ slice = inputSpan.Slice(pos);
+
+ CharLoopEnd2:
+ Utilities.StackPush(ref base.runstack!, ref stackpos, charloop_starting_pos2, charloop_ending_pos2);
+ //}
+
+ // Match a character in the set [0-9A-Za-z\u212A].
+ if (slice.IsEmpty || ((ch = slice[0]) < 128 ? !char.IsAsciiLetterOrDigit(ch) : !RegexRunner.CharInClass((char)ch, "\0\b\00:A[a{KÅ")))
{
- iteration3 = slice.Length;
+ goto CharLoopBacktrack2;
}
- slice = slice.Slice(iteration3);
- pos += iteration3;
-
- charloop_ending_pos2 = pos;
- goto CharLoopEnd2;
-
- CharLoopBacktrack2:
- Utilities.StackPop(base.runstack!, ref stackpos, out charloop_ending_pos2, out charloop_starting_pos2);
-
- if (Utilities.s_hasTimeout)
- {
- base.CheckTimeout();
- }
-
- if (charloop_starting_pos2 >= charloop_ending_pos2 ||
- (charloop_ending_pos2 = inputSpan.Slice(charloop_starting_pos2, charloop_ending_pos2 - charloop_starting_pos2).LastIndexOfAny(Utilities.s_asciiLettersAndDigitsAndKelvinSign)) < 0)
- {
- goto LoopIterationNoMatch3;
- }
- charloop_ending_pos2 += charloop_starting_pos2;
- pos = charloop_ending_pos2;
+ pos++;
slice = inputSpan.Slice(pos);
- CharLoopEnd2:
- Utilities.StackPush(ref base.runstack!, ref stackpos, charloop_starting_pos2, charloop_ending_pos2);
+ // The loop has an upper bound of 1. Continue iterating greedily if it hasn't yet been reached.
+ if (loop_iteration3 == 0)
+ {
+ goto LoopBody3;
+ }
+ goto LoopEnd3;
+
+ // The loop iteration failed. Put state back to the way it was before the iteration.
+ LoopIterationNoMatch3:
+ if (--loop_iteration3 < 0)
+ {
+ // Unable to match the remainder of the expression after exhausting the loop.
+ goto LoopIterationNoMatch1;
+ }
+ pos = base.runstack![--stackpos];
+ slice = inputSpan.Slice(pos);
+ LoopEnd3:
+ stackpos = startingStackpos1; // Ensure any remaining backtracking state is removed.
//}
- // Match a character in the set [0-9A-Za-z\u212A].
- if (slice.IsEmpty || ((ch = slice[0]) < 128 ? !char.IsAsciiLetterOrDigit(ch) : !RegexRunner.CharInClass((char)ch, "\0\b\00:A[a{KÅ")))
- {
- goto CharLoopBacktrack2;
- }
-
- pos++;
- slice = inputSpan.Slice(pos);
-
- // The loop has an upper bound of 1. Continue iterating greedily if it hasn't yet been reached.
- if (loop_iteration3 == 0)
- {
- goto LoopBody3;
- }
- goto LoopEnd3;
-
- // The loop iteration failed. Put state back to the way it was before the iteration.
- LoopIterationNoMatch3:
- if (--loop_iteration3 < 0)
- {
- // Unable to match the remainder of the expression after exhausting the loop.
- goto LoopBacktrack2;
- }
- pos = base.runstack![--stackpos];
- slice = inputSpan.Slice(pos);
- goto LoopEnd3;
-
- LoopBacktrack3:
- if (Utilities.s_hasTimeout)
- {
- base.CheckTimeout();
- }
-
- if (loop_iteration3 == 0)
- {
- // No iterations of the loop remain to backtrack into. Fail the loop.
- goto LoopBacktrack2;
- }
- goto CharLoopBacktrack2;
- LoopEnd3:;
- //}
+ stackpos = atomic_stackpos1;
+ }
// Match if at the end of the string or if before an ending newline.
if (pos < inputSpan.Length - 1 || ((uint)pos < (uint)inputSpan.Length && inputSpan[pos] != '\n'))
{
- goto LoopBacktrack3;
+ goto LoopIterationNoMatch1;
}
// The input matched.
Job completed in 18 minutes 36 seconds (remote runner delay: 1 minute 6 seconds).
dotnet/runtime#117943
Using arguments:
regexdiff1464 out of 18857 patterns have generated source code changes.
Examples of GeneratedRegex source diffs
"^\\s*(((?<ORIGIN>(((\\d+>)?[a-zA-Z]?:[^:]*)| ..." (7826 uses)
"\\A(?:[a-z0-9!#$%&'*+/=?^_`{|}~-]+(?:\\.[a-z ..." (5703 uses)
"^!([0-9A-Za-z_\\-]*!)?$" (3395 uses)
"AssemblyFileVersion(Attribute)?\\s*\\(.*\\)\\s*" (2417 uses)
For more diff examples, see https://gist.github.com/MihuBot/890f4991a1798fc6e523c034b42d8950
For a list of JIT diff regressions, see Regressions.md
For a list of JIT diff improvements, see Improvements.md
Sample source code for further analysis
Artifacts: