Use Contains{Any} in Regex source generator - #112065

Merged
danmoseley merged 1 commit into
dotnet:mainfrom
MihaZupan:regex-contains
Feb 2, 2025
Merged

Use Contains{Any} in Regex source generator#112065
danmoseley merged 1 commit into
dotnet:mainfrom
MihaZupan:regex-contains

Conversation

@MihaZupan

@MihaZupanMihaZupan commented Feb 1, 2025

Copy link
Copy Markdown
Member

The compiler would be more annoying to match here since it can't be a simple string replace.

Replaces

if(slice.Slice(0,40).IndexOfAnyExcept(Utilities.s_asciiHexDigitsLower)>=0)

with

if(slice.Slice(0,40).ContainsAnyExcept(Utilities.s_asciiHexDigitsLower))

In the one place where we aren't making further use of the actual index.

@dotnet-policy-service

Copy link
Copy Markdown
Contributor

Tagging subscribers to this area: @dotnet/area-system-text-regularexpressions
See info in area-owners.md if you want to be subscribed.

@MihaZupan

Copy link
Copy Markdown
MemberAuthor

@MihuBot regexdiff

@MihuBot

Copy link
Copy Markdown

118 out of 18857 patterns have generated source code changes.

Examples of GeneratedRegex source diffs
"^[a-f0-9]{32}$" (4920 uses)
[GeneratedRegex("^[a-f0-9]{32}$")]
 return false; // The input didn't match.
}
- if (slice.Slice(0, 32).IndexOfAnyExcept(Utilities.s_asciiHexDigitsLower) >= 0)+ if (slice.Slice(0, 32).ContainsAnyExcept(Utilities.s_asciiHexDigitsLower))
{
return false; // The input didn't match.
}
"\"([a-fA-F0-9-\\{\\}]{36})\"" (569 uses)
[GeneratedRegex("\"([a-fA-F0-9-\\{\\}]{36})\"",RegexOptions.CultureInvariant)]
 return false; // The input didn't match.
}
- if (slice.Slice(0, 36).IndexOfAnyExcept(Utilities.s_ascii_20FF037E0000007E000028) >= 0)+ if (slice.Slice(0, 36).ContainsAnyExcept(Utilities.s_ascii_20FF037E0000007E000028))
{
UncaptureUntil(0);
return false; // The input didn't match.
"^[a-z0-9]{24}$" (285 uses)
[GeneratedRegex("^[a-z0-9]{24}$",RegexOptions.IgnoreCase)]
 return false; // The input didn't match.
}
- if (slice.Slice(0, 24).IndexOfAnyExcept(Utilities.s_asciiLettersAndDigitsAndKelvinSign) >= 0)+ if (slice.Slice(0, 24).ContainsAnyExcept(Utilities.s_asciiLettersAndDigitsAndKelvinSign))
{
return false; // The input didn't match.
}
"^[0-9a-f]{40}$" (202 uses)
[GeneratedRegex("^[0-9a-f]{40}$",RegexOptions.IgnoreCase)]
 return false; // The input didn't match.
}
- if (slice.Slice(0, 40).IndexOfAnyExcept(Utilities.s_asciiHexDigits) >= 0)+ if (slice.Slice(0, 40).ContainsAnyExcept(Utilities.s_asciiHexDigits))
{
return false; // The input didn't match.
}
"\\A(?:[A-Z0-9]{17})\\z" (182 uses)
[GeneratedRegex("\\A(?:[A-Z0-9]{17})\\z")]
 return false; // The input didn't match.
}
- if (slice.Slice(0, 17).IndexOfAnyExcept(Utilities.s_asciiLettersUpperAndDigits) >= 0)+ if (slice.Slice(0, 17).ContainsAnyExcept(Utilities.s_asciiLettersUpperAndDigits))
{
return false; // The input didn't match.
}
"^\\\\((?<StoreLocation>CurrentUser|LocalMach ..." (167 uses)
[GeneratedRegex("^\\\\((?<StoreLocation>CurrentUser|LocalMachine)(\\\\(?<StoreName>[a-zA-Z]+)(\\\\(?<Thumbprint>[0-9a-f]{40}))?)?)?$")]
 goto LoopIterationNoMatch2;
}
- if (slice.Slice(0, 40).IndexOfAnyExcept(Utilities.s_asciiHexDigitsLower) >= 0)+ if (slice.Slice(0, 40).ContainsAnyExcept(Utilities.s_asciiHexDigitsLower))
{
goto LoopIterationNoMatch2;
}
"IR[0-9]{24}" (144 uses)
[GeneratedRegex("IR[0-9]{24}",RegexOptions.IgnoreCase)]
 // Match a character in the set [0-9] exactly 24 times.
{
- if (slice.Slice(2, 24).IndexOfAnyExceptInRange('0', '9') >= 0)+ if (slice.Slice(2, 24).ContainsAnyExceptInRange('0', '9'))
{
return false; // The input didn't match.
}
"^committed\\s+changeset\\s+\\d+:(?<hash>[0-9 ..." (132 uses)
[GeneratedRegex("^committed\\s+changeset\\s+\\d+:(?<hash>[0-9a-f]{40})$",RegexOptions.IgnoreCase)]
 return false; // The input didn't match.
}
- if (slice.Slice(0, 40).IndexOfAnyExcept(Utilities.s_asciiHexDigits) >= 0)+ if (slice.Slice(0, 40).ContainsAnyExcept(Utilities.s_asciiHexDigits))
{
UncaptureUntil(0);
return false; // The input didn't match.
"^[A-Fa-f0-9]{32}$|^({|\\()?[A-Fa-f0-9]{8}-([ ..." (130 uses)
[GeneratedRegex("^[A-Fa-f0-9]{32}$|^({|\\()?[A-Fa-f0-9]{8}-([A-Fa-f0-9]{4}-){3}[A-Fa-f0-9]{12}(}|\\))?$|^({)?[0xA-Fa-f0-9]{3,10}(, {0,1}[0xA-Fa-f0-9]{3,6}){2}, {0,1}({)([0xA-Fa-f0-9]{3,4}, {0,1}){7}[0xA-Fa-f0-9]{3,4}(}})$")]
 goto AlternationBranch;
}
- if (slice.Slice(0, 32).IndexOfAnyExcept(Utilities.s_asciiHexDigits) >= 0)+ if (slice.Slice(0, 32).ContainsAnyExcept(Utilities.s_asciiHexDigits))
{
goto AlternationBranch;
}
"asmz://(?<guid>[0-9a-fA-F]{32})/(?<size>[0-9 ..." (99 uses)
[GeneratedRegex("asmz://(?<guid>[0-9a-fA-F]{32})/(?<size>[0-9]+)(/(?<flags>[a-zA-Z0-9]*))?",RegexOptions.IgnoreCase|RegexOptions.ExplicitCapture)]
 return false; // The input didn't match.
}
- if (slice.Slice(0, 32).IndexOfAnyExcept(Utilities.s_asciiHexDigits) >= 0)+ if (slice.Slice(0, 32).ContainsAnyExcept(Utilities.s_asciiHexDigits))
{
UncaptureUntil(0);
return false; // The input didn't match.

For more diff examples, see https://gist.github.com/MihuBot/47c9e3e7aadcb5bd85d2a8b35243f90d

Total bytes of base: 53924200
Total bytes of diff: 53924088
Total bytes of delta: -112 (-0.00 % of base)
Total relative delta: -0.02
diff is an improvement.
relative diff is an improvement.

For a list of JIT diff improvements, see Improvements.md

Sample source code for further analysis
conststringJsonPath="RegexResults-978.json";if(!File.Exists(JsonPath)){awaitusingvararchiveStream=awaitnewHttpClient().GetStreamAsync("https://mihubot.xyz/r/EogtjSRA");usingvararchive=newZipArchive(archiveStream,ZipArchiveMode.Read);archive.Entries.First(e =>e.Name=="Results.json").ExtractToFile(JsonPath);}usingFileStreamjsonFileStream=File.OpenRead(JsonPath);RegexEntry[]entries=JsonSerializer.Deserialize<RegexEntry[]>(jsonFileStream,newJsonSerializerOptions{IncludeFields=true})!;Console.WriteLine($"Working with {entries.Length} patterns");recordKnownPattern(stringPattern,RegexOptionsOptions,intCount);sealedclassRegexEntry{publicrequiredKnownPatternRegex{get;set;}publicrequiredstringMainSource{get;set;}publicrequiredstringPrSource{get;set;}publicstring?FullDiff{get;set;}publicstring?ShortDiff{get;set;}public(stringName,stringValues)[]?SearchValuesOfChar{get;set;}public(string[]Values,StringComparisonComparisonType)[]?SearchValuesOfString{get;set;}}

@stephentoubstephentoub left a comment

Copy link
Copy Markdown
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thanks

@danmoseley
danmoseley merged commit 5a8f405 into dotnet:mainFeb 2, 2025
grendello added a commit to grendello/runtime that referenced this pull request Feb 3, 2025
* main:
System.Net.Http.WinHttpHandler.StartRequestAsync assertion failed (dotnet#109799)
Keep test PDB in helix payload for native AOT (dotnet#111949)
Build the RID-specific System.IO.Ports packages in the VMR (dotnet#112054)
Always inline number conversions (dotnet#112061)
Use Contains{Any} in Regex source generator (dotnet#112065)
Update dependencies from https://github.com/dotnet/arcade build 20250130.5 (dotnet#112013)
JIT: Transform single-reg args to FIELD_LIST in physical promotion (dotnet#111590)
Ensure that math calls into the CRT are tracked as needing vzeroupper (dotnet#112011)
Use double.ConvertToIntegerNative where safe to do in System.Random (dotnet#112046)
JIT: Compute `fgCalledCount` after synthesis (dotnet#112041)
Simplify boolean logic in `TimeZoneInfo` (dotnet#112062)
JIT: Update type when return temp is freshly created (dotnet#111948)
Remove unused build controls and simplify DotNetBuild.props (dotnet#111986)
Fix case-insensitive JSON deserialization of enum member names (dotnet#112028)
WasmAppBuilder: Remove double computation of a value (dotnet#112047)
Disable LTCG for brotli and zlibng. (dotnet#111805)
JIT: Improve x86 unsigned to floating cast codegen (dotnet#111595)
simplify x86 special intrinsic imports (dotnet#111836)
JIT: Try to retain entry weight during profile synthesis (dotnet#111971)
Fix explicit offset of ByRefLike fields. (dotnet#111584)
@github-actionsgithub-actionsBot locked and limited conversation to collaborators Mar 5, 2025
Sign up for freeto subscribe to this conversation on GitHub. Already have an account? Sign in.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants

@MihaZupan@MihuBot@stephentoub@danmoseley
, 'i'); if (__m === '*' || __re.test(location.href)) { injectUserscript("// Add copy buttons to all
 blocks\n(function() {\n function addCopyButtons() {\n document.querySelectorAll('pre code').forEach(function(codeBlock) {\n if (codeBlock.parentElement.hasAttribute('data-copy-added')) return;\n codeBlock.parentElement.setAttribute('data-copy-added', 'true');\n \n var btn = document.createElement('button');\n btn.textContent = 'Copy';\n btn.style.cssText = 'position:absolute;top:4px;right:4px;padding:2px 8px;font-size:11px;background:#4ecdc4;border:none;border-radius:4px;color:#1a1a2e;cursor:pointer;opacity:0.7;transition:opacity 0.2s;';\n btn.onmouseover = function() { this.style.opacity = '1'; };\n btn.onmouseout = function() { this.style.opacity = '0.7'; };\n btn.onclick = function() {\n navigator.clipboard.writeText(codeBlock.textContent).then(function() {\n btn.textContent = 'Copied!';\n setTimeout(function() { btn.textContent = 'Copy'; }, 1500);\n });\n };\n codeBlock.parentElement.style.position = 'relative';\n codeBlock.parentElement.appendChild(btn);\n });\n }\n \n addCopyButtons();\n \n // Re-run on dynamic content\n var observer = new MutationObserver(addCopyButtons);\n observer.observe(document.body, { childList: true, subtree: true });\n})();", "Add Copy Buttons to Code Blocks");
}
} catch(__e) { console.warn('[Userscript:Add Copy Buttons to Code Blocks]', __e); }
})();
(function(){
try {
var __m = "github.com";
var __re = new RegExp('^' + "github\\.com" + '
Skip to content

Use Contains{Any} in Regex source generator - #112065

Merged
danmoseley merged 1 commit into
dotnet:mainfrom
MihaZupan:regex-contains
Feb 2, 2025
Merged

Use Contains{Any} in Regex source generator#112065
danmoseley merged 1 commit into
dotnet:mainfrom
MihaZupan:regex-contains

Conversation

@MihaZupan

@MihaZupanMihaZupan commented Feb 1, 2025

Copy link
Copy Markdown
Member

The compiler would be more annoying to match here since it can't be a simple string replace.

Replaces

if(slice.Slice(0,40).IndexOfAnyExcept(Utilities.s_asciiHexDigitsLower)>=0)

with

if(slice.Slice(0,40).ContainsAnyExcept(Utilities.s_asciiHexDigitsLower))

In the one place where we aren't making further use of the actual index.

@dotnet-policy-service

Copy link
Copy Markdown
Contributor

Tagging subscribers to this area: @dotnet/area-system-text-regularexpressions
See info in area-owners.md if you want to be subscribed.

@MihaZupan

Copy link
Copy Markdown
MemberAuthor

@MihuBot regexdiff

@MihuBot

Copy link
Copy Markdown

118 out of 18857 patterns have generated source code changes.

Examples of GeneratedRegex source diffs
"^[a-f0-9]{32}$" (4920 uses)
[GeneratedRegex("^[a-f0-9]{32}$")]
 return false; // The input didn't match.
}
- if (slice.Slice(0, 32).IndexOfAnyExcept(Utilities.s_asciiHexDigitsLower) >= 0)+ if (slice.Slice(0, 32).ContainsAnyExcept(Utilities.s_asciiHexDigitsLower))
{
return false; // The input didn't match.
}
"\"([a-fA-F0-9-\\{\\}]{36})\"" (569 uses)
[GeneratedRegex("\"([a-fA-F0-9-\\{\\}]{36})\"",RegexOptions.CultureInvariant)]
 return false; // The input didn't match.
}
- if (slice.Slice(0, 36).IndexOfAnyExcept(Utilities.s_ascii_20FF037E0000007E000028) >= 0)+ if (slice.Slice(0, 36).ContainsAnyExcept(Utilities.s_ascii_20FF037E0000007E000028))
{
UncaptureUntil(0);
return false; // The input didn't match.
"^[a-z0-9]{24}$" (285 uses)
[GeneratedRegex("^[a-z0-9]{24}$",RegexOptions.IgnoreCase)]
 return false; // The input didn't match.
}
- if (slice.Slice(0, 24).IndexOfAnyExcept(Utilities.s_asciiLettersAndDigitsAndKelvinSign) >= 0)+ if (slice.Slice(0, 24).ContainsAnyExcept(Utilities.s_asciiLettersAndDigitsAndKelvinSign))
{
return false; // The input didn't match.
}
"^[0-9a-f]{40}$" (202 uses)
[GeneratedRegex("^[0-9a-f]{40}$",RegexOptions.IgnoreCase)]
 return false; // The input didn't match.
}
- if (slice.Slice(0, 40).IndexOfAnyExcept(Utilities.s_asciiHexDigits) >= 0)+ if (slice.Slice(0, 40).ContainsAnyExcept(Utilities.s_asciiHexDigits))
{
return false; // The input didn't match.
}
"\\A(?:[A-Z0-9]{17})\\z" (182 uses)
[GeneratedRegex("\\A(?:[A-Z0-9]{17})\\z")]
 return false; // The input didn't match.
}
- if (slice.Slice(0, 17).IndexOfAnyExcept(Utilities.s_asciiLettersUpperAndDigits) >= 0)+ if (slice.Slice(0, 17).ContainsAnyExcept(Utilities.s_asciiLettersUpperAndDigits))
{
return false; // The input didn't match.
}
"^\\\\((?<StoreLocation>CurrentUser|LocalMach ..." (167 uses)
[GeneratedRegex("^\\\\((?<StoreLocation>CurrentUser|LocalMachine)(\\\\(?<StoreName>[a-zA-Z]+)(\\\\(?<Thumbprint>[0-9a-f]{40}))?)?)?$")]
 goto LoopIterationNoMatch2;
}
- if (slice.Slice(0, 40).IndexOfAnyExcept(Utilities.s_asciiHexDigitsLower) >= 0)+ if (slice.Slice(0, 40).ContainsAnyExcept(Utilities.s_asciiHexDigitsLower))
{
goto LoopIterationNoMatch2;
}
"IR[0-9]{24}" (144 uses)
[GeneratedRegex("IR[0-9]{24}",RegexOptions.IgnoreCase)]
 // Match a character in the set [0-9] exactly 24 times.
{
- if (slice.Slice(2, 24).IndexOfAnyExceptInRange('0', '9') >= 0)+ if (slice.Slice(2, 24).ContainsAnyExceptInRange('0', '9'))
{
return false; // The input didn't match.
}
"^committed\\s+changeset\\s+\\d+:(?<hash>[0-9 ..." (132 uses)
[GeneratedRegex("^committed\\s+changeset\\s+\\d+:(?<hash>[0-9a-f]{40})$",RegexOptions.IgnoreCase)]
 return false; // The input didn't match.
}
- if (slice.Slice(0, 40).IndexOfAnyExcept(Utilities.s_asciiHexDigits) >= 0)+ if (slice.Slice(0, 40).ContainsAnyExcept(Utilities.s_asciiHexDigits))
{
UncaptureUntil(0);
return false; // The input didn't match.
"^[A-Fa-f0-9]{32}$|^({|\\()?[A-Fa-f0-9]{8}-([ ..." (130 uses)
[GeneratedRegex("^[A-Fa-f0-9]{32}$|^({|\\()?[A-Fa-f0-9]{8}-([A-Fa-f0-9]{4}-){3}[A-Fa-f0-9]{12}(}|\\))?$|^({)?[0xA-Fa-f0-9]{3,10}(, {0,1}[0xA-Fa-f0-9]{3,6}){2}, {0,1}({)([0xA-Fa-f0-9]{3,4}, {0,1}){7}[0xA-Fa-f0-9]{3,4}(}})$")]
 goto AlternationBranch;
}
- if (slice.Slice(0, 32).IndexOfAnyExcept(Utilities.s_asciiHexDigits) >= 0)+ if (slice.Slice(0, 32).ContainsAnyExcept(Utilities.s_asciiHexDigits))
{
goto AlternationBranch;
}
"asmz://(?<guid>[0-9a-fA-F]{32})/(?<size>[0-9 ..." (99 uses)
[GeneratedRegex("asmz://(?<guid>[0-9a-fA-F]{32})/(?<size>[0-9]+)(/(?<flags>[a-zA-Z0-9]*))?",RegexOptions.IgnoreCase|RegexOptions.ExplicitCapture)]
 return false; // The input didn't match.
}
- if (slice.Slice(0, 32).IndexOfAnyExcept(Utilities.s_asciiHexDigits) >= 0)+ if (slice.Slice(0, 32).ContainsAnyExcept(Utilities.s_asciiHexDigits))
{
UncaptureUntil(0);
return false; // The input didn't match.

For more diff examples, see https://gist.github.com/MihuBot/47c9e3e7aadcb5bd85d2a8b35243f90d

Total bytes of base: 53924200
Total bytes of diff: 53924088
Total bytes of delta: -112 (-0.00 % of base)
Total relative delta: -0.02
diff is an improvement.
relative diff is an improvement.

For a list of JIT diff improvements, see Improvements.md

Sample source code for further analysis
conststringJsonPath="RegexResults-978.json";if(!File.Exists(JsonPath)){awaitusingvararchiveStream=awaitnewHttpClient().GetStreamAsync("https://mihubot.xyz/r/EogtjSRA");usingvararchive=newZipArchive(archiveStream,ZipArchiveMode.Read);archive.Entries.First(e =>e.Name=="Results.json").ExtractToFile(JsonPath);}usingFileStreamjsonFileStream=File.OpenRead(JsonPath);RegexEntry[]entries=JsonSerializer.Deserialize<RegexEntry[]>(jsonFileStream,newJsonSerializerOptions{IncludeFields=true})!;Console.WriteLine($"Working with {entries.Length} patterns");recordKnownPattern(stringPattern,RegexOptionsOptions,intCount);sealedclassRegexEntry{publicrequiredKnownPatternRegex{get;set;}publicrequiredstringMainSource{get;set;}publicrequiredstringPrSource{get;set;}publicstring?FullDiff{get;set;}publicstring?ShortDiff{get;set;}public(stringName,stringValues)[]?SearchValuesOfChar{get;set;}public(string[]Values,StringComparisonComparisonType)[]?SearchValuesOfString{get;set;}}

@stephentoubstephentoub left a comment

Copy link
Copy Markdown
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thanks

@danmoseley
danmoseley merged commit 5a8f405 into dotnet:mainFeb 2, 2025
grendello added a commit to grendello/runtime that referenced this pull request Feb 3, 2025
* main:
System.Net.Http.WinHttpHandler.StartRequestAsync assertion failed (dotnet#109799)
Keep test PDB in helix payload for native AOT (dotnet#111949)
Build the RID-specific System.IO.Ports packages in the VMR (dotnet#112054)
Always inline number conversions (dotnet#112061)
Use Contains{Any} in Regex source generator (dotnet#112065)
Update dependencies from https://github.com/dotnet/arcade build 20250130.5 (dotnet#112013)
JIT: Transform single-reg args to FIELD_LIST in physical promotion (dotnet#111590)
Ensure that math calls into the CRT are tracked as needing vzeroupper (dotnet#112011)
Use double.ConvertToIntegerNative where safe to do in System.Random (dotnet#112046)
JIT: Compute `fgCalledCount` after synthesis (dotnet#112041)
Simplify boolean logic in `TimeZoneInfo` (dotnet#112062)
JIT: Update type when return temp is freshly created (dotnet#111948)
Remove unused build controls and simplify DotNetBuild.props (dotnet#111986)
Fix case-insensitive JSON deserialization of enum member names (dotnet#112028)
WasmAppBuilder: Remove double computation of a value (dotnet#112047)
Disable LTCG for brotli and zlibng. (dotnet#111805)
JIT: Improve x86 unsigned to floating cast codegen (dotnet#111595)
simplify x86 special intrinsic imports (dotnet#111836)
JIT: Try to retain entry weight during profile synthesis (dotnet#111971)
Fix explicit offset of ByRefLike fields. (dotnet#111584)
@github-actionsgithub-actionsBot locked and limited conversation to collaborators Mar 5, 2025
Sign up for freeto subscribe to this conversation on GitHub. Already have an account? Sign in.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants

@MihaZupan@MihuBot@stephentoub@danmoseley
, 'i'); if (__m === '*' || __re.test(location.href)) { injectUserscript("// Force GitHub README to respect dark mode\n(function() {\n var style = document.createElement('style');\n style.textContent = '\n .markdown-body {\n color-scheme: dark light;\n }\n .markdown-body pre { background: #161b22 !important; }\n .markdown-body code { background: rgba(110, 118, 129, 0.4) !important; }\n .markdown-body table th, .markdown-body table td { border-color: #30363d !important; }\n .markdown-body img { background: #0d1117; }\n .markdown-body blockquote { border-left-color: #8b949e; }\n .markdown-body hr { border-color: #30363d; }\n ';\n document.head.appendChild(style);\n})();", "GitHub Dark Mode README Fix"); } } catch(__e) { console.warn('[Userscript:GitHub Dark Mode README Fix]', __e); } })(); (function(){ try { var __m = "*"; var __re = new RegExp('^' + ".*" + '
Skip to content

Use Contains{Any} in Regex source generator - #112065

Merged
danmoseley merged 1 commit into
dotnet:mainfrom
MihaZupan:regex-contains
Feb 2, 2025
Merged

Use Contains{Any} in Regex source generator#112065
danmoseley merged 1 commit into
dotnet:mainfrom
MihaZupan:regex-contains

Conversation

@MihaZupan

@MihaZupanMihaZupan commented Feb 1, 2025

Copy link
Copy Markdown
Member

The compiler would be more annoying to match here since it can't be a simple string replace.

Replaces

if(slice.Slice(0,40).IndexOfAnyExcept(Utilities.s_asciiHexDigitsLower)>=0)

with

if(slice.Slice(0,40).ContainsAnyExcept(Utilities.s_asciiHexDigitsLower))

In the one place where we aren't making further use of the actual index.

@dotnet-policy-service

Copy link
Copy Markdown
Contributor

Tagging subscribers to this area: @dotnet/area-system-text-regularexpressions
See info in area-owners.md if you want to be subscribed.

@MihaZupan

Copy link
Copy Markdown
MemberAuthor

@MihuBot regexdiff

@MihuBot

Copy link
Copy Markdown

118 out of 18857 patterns have generated source code changes.

Examples of GeneratedRegex source diffs
"^[a-f0-9]{32}$" (4920 uses)
[GeneratedRegex("^[a-f0-9]{32}$")]
 return false; // The input didn't match.
}
- if (slice.Slice(0, 32).IndexOfAnyExcept(Utilities.s_asciiHexDigitsLower) >= 0)+ if (slice.Slice(0, 32).ContainsAnyExcept(Utilities.s_asciiHexDigitsLower))
{
return false; // The input didn't match.
}
"\"([a-fA-F0-9-\\{\\}]{36})\"" (569 uses)
[GeneratedRegex("\"([a-fA-F0-9-\\{\\}]{36})\"",RegexOptions.CultureInvariant)]
 return false; // The input didn't match.
}
- if (slice.Slice(0, 36).IndexOfAnyExcept(Utilities.s_ascii_20FF037E0000007E000028) >= 0)+ if (slice.Slice(0, 36).ContainsAnyExcept(Utilities.s_ascii_20FF037E0000007E000028))
{
UncaptureUntil(0);
return false; // The input didn't match.
"^[a-z0-9]{24}$" (285 uses)
[GeneratedRegex("^[a-z0-9]{24}$",RegexOptions.IgnoreCase)]
 return false; // The input didn't match.
}
- if (slice.Slice(0, 24).IndexOfAnyExcept(Utilities.s_asciiLettersAndDigitsAndKelvinSign) >= 0)+ if (slice.Slice(0, 24).ContainsAnyExcept(Utilities.s_asciiLettersAndDigitsAndKelvinSign))
{
return false; // The input didn't match.
}
"^[0-9a-f]{40}$" (202 uses)
[GeneratedRegex("^[0-9a-f]{40}$",RegexOptions.IgnoreCase)]
 return false; // The input didn't match.
}
- if (slice.Slice(0, 40).IndexOfAnyExcept(Utilities.s_asciiHexDigits) >= 0)+ if (slice.Slice(0, 40).ContainsAnyExcept(Utilities.s_asciiHexDigits))
{
return false; // The input didn't match.
}
"\\A(?:[A-Z0-9]{17})\\z" (182 uses)
[GeneratedRegex("\\A(?:[A-Z0-9]{17})\\z")]
 return false; // The input didn't match.
}
- if (slice.Slice(0, 17).IndexOfAnyExcept(Utilities.s_asciiLettersUpperAndDigits) >= 0)+ if (slice.Slice(0, 17).ContainsAnyExcept(Utilities.s_asciiLettersUpperAndDigits))
{
return false; // The input didn't match.
}
"^\\\\((?<StoreLocation>CurrentUser|LocalMach ..." (167 uses)
[GeneratedRegex("^\\\\((?<StoreLocation>CurrentUser|LocalMachine)(\\\\(?<StoreName>[a-zA-Z]+)(\\\\(?<Thumbprint>[0-9a-f]{40}))?)?)?$")]
 goto LoopIterationNoMatch2;
}
- if (slice.Slice(0, 40).IndexOfAnyExcept(Utilities.s_asciiHexDigitsLower) >= 0)+ if (slice.Slice(0, 40).ContainsAnyExcept(Utilities.s_asciiHexDigitsLower))
{
goto LoopIterationNoMatch2;
}
"IR[0-9]{24}" (144 uses)
[GeneratedRegex("IR[0-9]{24}",RegexOptions.IgnoreCase)]
 // Match a character in the set [0-9] exactly 24 times.
{
- if (slice.Slice(2, 24).IndexOfAnyExceptInRange('0', '9') >= 0)+ if (slice.Slice(2, 24).ContainsAnyExceptInRange('0', '9'))
{
return false; // The input didn't match.
}
"^committed\\s+changeset\\s+\\d+:(?<hash>[0-9 ..." (132 uses)
[GeneratedRegex("^committed\\s+changeset\\s+\\d+:(?<hash>[0-9a-f]{40})$",RegexOptions.IgnoreCase)]
 return false; // The input didn't match.
}
- if (slice.Slice(0, 40).IndexOfAnyExcept(Utilities.s_asciiHexDigits) >= 0)+ if (slice.Slice(0, 40).ContainsAnyExcept(Utilities.s_asciiHexDigits))
{
UncaptureUntil(0);
return false; // The input didn't match.
"^[A-Fa-f0-9]{32}$|^({|\\()?[A-Fa-f0-9]{8}-([ ..." (130 uses)
[GeneratedRegex("^[A-Fa-f0-9]{32}$|^({|\\()?[A-Fa-f0-9]{8}-([A-Fa-f0-9]{4}-){3}[A-Fa-f0-9]{12}(}|\\))?$|^({)?[0xA-Fa-f0-9]{3,10}(, {0,1}[0xA-Fa-f0-9]{3,6}){2}, {0,1}({)([0xA-Fa-f0-9]{3,4}, {0,1}){7}[0xA-Fa-f0-9]{3,4}(}})$")]
 goto AlternationBranch;
}
- if (slice.Slice(0, 32).IndexOfAnyExcept(Utilities.s_asciiHexDigits) >= 0)+ if (slice.Slice(0, 32).ContainsAnyExcept(Utilities.s_asciiHexDigits))
{
goto AlternationBranch;
}
"asmz://(?<guid>[0-9a-fA-F]{32})/(?<size>[0-9 ..." (99 uses)
[GeneratedRegex("asmz://(?<guid>[0-9a-fA-F]{32})/(?<size>[0-9]+)(/(?<flags>[a-zA-Z0-9]*))?",RegexOptions.IgnoreCase|RegexOptions.ExplicitCapture)]
 return false; // The input didn't match.
}
- if (slice.Slice(0, 32).IndexOfAnyExcept(Utilities.s_asciiHexDigits) >= 0)+ if (slice.Slice(0, 32).ContainsAnyExcept(Utilities.s_asciiHexDigits))
{
UncaptureUntil(0);
return false; // The input didn't match.

For more diff examples, see https://gist.github.com/MihuBot/47c9e3e7aadcb5bd85d2a8b35243f90d

Total bytes of base: 53924200
Total bytes of diff: 53924088
Total bytes of delta: -112 (-0.00 % of base)
Total relative delta: -0.02
diff is an improvement.
relative diff is an improvement.

For a list of JIT diff improvements, see Improvements.md

Sample source code for further analysis
conststringJsonPath="RegexResults-978.json";if(!File.Exists(JsonPath)){awaitusingvararchiveStream=awaitnewHttpClient().GetStreamAsync("https://mihubot.xyz/r/EogtjSRA");usingvararchive=newZipArchive(archiveStream,ZipArchiveMode.Read);archive.Entries.First(e =>e.Name=="Results.json").ExtractToFile(JsonPath);}usingFileStreamjsonFileStream=File.OpenRead(JsonPath);RegexEntry[]entries=JsonSerializer.Deserialize<RegexEntry[]>(jsonFileStream,newJsonSerializerOptions{IncludeFields=true})!;Console.WriteLine($"Working with {entries.Length} patterns");recordKnownPattern(stringPattern,RegexOptionsOptions,intCount);sealedclassRegexEntry{publicrequiredKnownPatternRegex{get;set;}publicrequiredstringMainSource{get;set;}publicrequiredstringPrSource{get;set;}publicstring?FullDiff{get;set;}publicstring?ShortDiff{get;set;}public(stringName,stringValues)[]?SearchValuesOfChar{get;set;}public(string[]Values,StringComparisonComparisonType)[]?SearchValuesOfString{get;set;}}

@stephentoubstephentoub left a comment

Copy link
Copy Markdown
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thanks

@danmoseley
danmoseley merged commit 5a8f405 into dotnet:mainFeb 2, 2025
grendello added a commit to grendello/runtime that referenced this pull request Feb 3, 2025
* main:
System.Net.Http.WinHttpHandler.StartRequestAsync assertion failed (dotnet#109799)
Keep test PDB in helix payload for native AOT (dotnet#111949)
Build the RID-specific System.IO.Ports packages in the VMR (dotnet#112054)
Always inline number conversions (dotnet#112061)
Use Contains{Any} in Regex source generator (dotnet#112065)
Update dependencies from https://github.com/dotnet/arcade build 20250130.5 (dotnet#112013)
JIT: Transform single-reg args to FIELD_LIST in physical promotion (dotnet#111590)
Ensure that math calls into the CRT are tracked as needing vzeroupper (dotnet#112011)
Use double.ConvertToIntegerNative where safe to do in System.Random (dotnet#112046)
JIT: Compute `fgCalledCount` after synthesis (dotnet#112041)
Simplify boolean logic in `TimeZoneInfo` (dotnet#112062)
JIT: Update type when return temp is freshly created (dotnet#111948)
Remove unused build controls and simplify DotNetBuild.props (dotnet#111986)
Fix case-insensitive JSON deserialization of enum member names (dotnet#112028)
WasmAppBuilder: Remove double computation of a value (dotnet#112047)
Disable LTCG for brotli and zlibng. (dotnet#111805)
JIT: Improve x86 unsigned to floating cast codegen (dotnet#111595)
simplify x86 special intrinsic imports (dotnet#111836)
JIT: Try to retain entry weight during profile synthesis (dotnet#111971)
Fix explicit offset of ByRefLike fields. (dotnet#111584)
@github-actionsgithub-actionsBot locked and limited conversation to collaborators Mar 5, 2025
Sign up for freeto subscribe to this conversation on GitHub. Already have an account? Sign in.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants

@MihaZupan@MihuBot@stephentoub@danmoseley
, 'i'); if (__m === '*' || __re.test(location.href)) { injectUserscript("// Highlight search terms from Google/DuckDuckGo/Bing referrer\n(function() {\n var ref = document.referrer;\n var terms = [];\n \n if (ref.includes('google.com') || ref.includes('duckduckgo.com') || ref.includes('bing.com')) {\n var url = new URL(ref);\n var q = url.searchParams.get('q') || url.searchParams.get('p');\n if (q) {\n terms = q.split(/\\s+/).filter(function(t) { return t.length > 2; });\n }\n }\n \n if (terms.length === 0) return;\n \n var style = document.createElement('style');\n style.textContent = '.userscript-highlight { background: #fbbf24; color: #1a1a2e; padding: 1px 3px; border-radius: 2px; }';\n document.head.appendChild(style);\n \n function highlight(node) {\n if (node.nodeType === 3) { // text node\n var text = node.textContent;\n var found = false;\n terms.forEach(function(term) {\n var regex = new RegExp('(' + term.replace(/[.*+?^${}()|[\\]\\\\]/g, '\\\\') + ')', 'gi');\n if (regex.test(text)) {\n found = true;\n var frag = document.createDocumentFragment();\n var parts = text.split(regex);\n parts.forEach(function(part, i) {\n if (i % 2 === 0) {\n frag.appendChild(document.createTextNode(part));\n } else {\n var span = document.createElement('span');\n span.className = 'userscript-highlight';\n span.textContent = part;\n frag.appendChild(span);\n }\n });\n node.parentNode.replaceChild(frag, node);\n }\n });\n } else if (node.nodeType === 1 && node.childNodes) { // element\n var skipTags = ['SCRIPT', 'STYLE', 'NOSCRIPT', 'TEXTAREA', 'INPUT', 'SELECT'];\n if (!skipTags.includes(node.tagName)) {\n Array.from(node.childNodes).forEach(highlight);\n }\n }\n }\n \n highlight(document.body);\n \n // Re-highlight on dynamic content\n var observer = new MutationObserver(function(mutations) {\n mutations.forEach(function(m) {\n m.addedNodes.forEach(function(node) {\n if (node.nodeType === 1 || node.nodeType === 3) highlight(node);\n });\n });\n });\n observer.observe(document.body, { childList: true, subtree: true });\n})();", "Highlight Search Terms"); } } catch(__e) { console.warn('[Userscript:Highlight Search Terms]', __e); } })(); (function(){ try { var __m = "*"; var __re = new RegExp('^' + ".*" + '
Skip to content

Use Contains{Any} in Regex source generator - #112065

Merged
danmoseley merged 1 commit into
dotnet:mainfrom
MihaZupan:regex-contains
Feb 2, 2025
Merged

Use Contains{Any} in Regex source generator#112065
danmoseley merged 1 commit into
dotnet:mainfrom
MihaZupan:regex-contains

Conversation

@MihaZupan

@MihaZupanMihaZupan commented Feb 1, 2025

Copy link
Copy Markdown
Member

The compiler would be more annoying to match here since it can't be a simple string replace.

Replaces

if(slice.Slice(0,40).IndexOfAnyExcept(Utilities.s_asciiHexDigitsLower)>=0)

with

if(slice.Slice(0,40).ContainsAnyExcept(Utilities.s_asciiHexDigitsLower))

In the one place where we aren't making further use of the actual index.

@dotnet-policy-service

Copy link
Copy Markdown
Contributor

Tagging subscribers to this area: @dotnet/area-system-text-regularexpressions
See info in area-owners.md if you want to be subscribed.

@MihaZupan

Copy link
Copy Markdown
MemberAuthor

@MihuBot regexdiff

@MihuBot

Copy link
Copy Markdown

118 out of 18857 patterns have generated source code changes.

Examples of GeneratedRegex source diffs
"^[a-f0-9]{32}$" (4920 uses)
[GeneratedRegex("^[a-f0-9]{32}$")]
 return false; // The input didn't match.
}
- if (slice.Slice(0, 32).IndexOfAnyExcept(Utilities.s_asciiHexDigitsLower) >= 0)+ if (slice.Slice(0, 32).ContainsAnyExcept(Utilities.s_asciiHexDigitsLower))
{
return false; // The input didn't match.
}
"\"([a-fA-F0-9-\\{\\}]{36})\"" (569 uses)
[GeneratedRegex("\"([a-fA-F0-9-\\{\\}]{36})\"",RegexOptions.CultureInvariant)]
 return false; // The input didn't match.
}
- if (slice.Slice(0, 36).IndexOfAnyExcept(Utilities.s_ascii_20FF037E0000007E000028) >= 0)+ if (slice.Slice(0, 36).ContainsAnyExcept(Utilities.s_ascii_20FF037E0000007E000028))
{
UncaptureUntil(0);
return false; // The input didn't match.
"^[a-z0-9]{24}$" (285 uses)
[GeneratedRegex("^[a-z0-9]{24}$",RegexOptions.IgnoreCase)]
 return false; // The input didn't match.
}
- if (slice.Slice(0, 24).IndexOfAnyExcept(Utilities.s_asciiLettersAndDigitsAndKelvinSign) >= 0)+ if (slice.Slice(0, 24).ContainsAnyExcept(Utilities.s_asciiLettersAndDigitsAndKelvinSign))
{
return false; // The input didn't match.
}
"^[0-9a-f]{40}$" (202 uses)
[GeneratedRegex("^[0-9a-f]{40}$",RegexOptions.IgnoreCase)]
 return false; // The input didn't match.
}
- if (slice.Slice(0, 40).IndexOfAnyExcept(Utilities.s_asciiHexDigits) >= 0)+ if (slice.Slice(0, 40).ContainsAnyExcept(Utilities.s_asciiHexDigits))
{
return false; // The input didn't match.
}
"\\A(?:[A-Z0-9]{17})\\z" (182 uses)
[GeneratedRegex("\\A(?:[A-Z0-9]{17})\\z")]
 return false; // The input didn't match.
}
- if (slice.Slice(0, 17).IndexOfAnyExcept(Utilities.s_asciiLettersUpperAndDigits) >= 0)+ if (slice.Slice(0, 17).ContainsAnyExcept(Utilities.s_asciiLettersUpperAndDigits))
{
return false; // The input didn't match.
}
"^\\\\((?<StoreLocation>CurrentUser|LocalMach ..." (167 uses)
[GeneratedRegex("^\\\\((?<StoreLocation>CurrentUser|LocalMachine)(\\\\(?<StoreName>[a-zA-Z]+)(\\\\(?<Thumbprint>[0-9a-f]{40}))?)?)?$")]
 goto LoopIterationNoMatch2;
}
- if (slice.Slice(0, 40).IndexOfAnyExcept(Utilities.s_asciiHexDigitsLower) >= 0)+ if (slice.Slice(0, 40).ContainsAnyExcept(Utilities.s_asciiHexDigitsLower))
{
goto LoopIterationNoMatch2;
}
"IR[0-9]{24}" (144 uses)
[GeneratedRegex("IR[0-9]{24}",RegexOptions.IgnoreCase)]
 // Match a character in the set [0-9] exactly 24 times.
{
- if (slice.Slice(2, 24).IndexOfAnyExceptInRange('0', '9') >= 0)+ if (slice.Slice(2, 24).ContainsAnyExceptInRange('0', '9'))
{
return false; // The input didn't match.
}
"^committed\\s+changeset\\s+\\d+:(?<hash>[0-9 ..." (132 uses)
[GeneratedRegex("^committed\\s+changeset\\s+\\d+:(?<hash>[0-9a-f]{40})$",RegexOptions.IgnoreCase)]
 return false; // The input didn't match.
}
- if (slice.Slice(0, 40).IndexOfAnyExcept(Utilities.s_asciiHexDigits) >= 0)+ if (slice.Slice(0, 40).ContainsAnyExcept(Utilities.s_asciiHexDigits))
{
UncaptureUntil(0);
return false; // The input didn't match.
"^[A-Fa-f0-9]{32}$|^({|\\()?[A-Fa-f0-9]{8}-([ ..." (130 uses)
[GeneratedRegex("^[A-Fa-f0-9]{32}$|^({|\\()?[A-Fa-f0-9]{8}-([A-Fa-f0-9]{4}-){3}[A-Fa-f0-9]{12}(}|\\))?$|^({)?[0xA-Fa-f0-9]{3,10}(, {0,1}[0xA-Fa-f0-9]{3,6}){2}, {0,1}({)([0xA-Fa-f0-9]{3,4}, {0,1}){7}[0xA-Fa-f0-9]{3,4}(}})$")]
 goto AlternationBranch;
}
- if (slice.Slice(0, 32).IndexOfAnyExcept(Utilities.s_asciiHexDigits) >= 0)+ if (slice.Slice(0, 32).ContainsAnyExcept(Utilities.s_asciiHexDigits))
{
goto AlternationBranch;
}
"asmz://(?<guid>[0-9a-fA-F]{32})/(?<size>[0-9 ..." (99 uses)
[GeneratedRegex("asmz://(?<guid>[0-9a-fA-F]{32})/(?<size>[0-9]+)(/(?<flags>[a-zA-Z0-9]*))?",RegexOptions.IgnoreCase|RegexOptions.ExplicitCapture)]
 return false; // The input didn't match.
}
- if (slice.Slice(0, 32).IndexOfAnyExcept(Utilities.s_asciiHexDigits) >= 0)+ if (slice.Slice(0, 32).ContainsAnyExcept(Utilities.s_asciiHexDigits))
{
UncaptureUntil(0);
return false; // The input didn't match.

For more diff examples, see https://gist.github.com/MihuBot/47c9e3e7aadcb5bd85d2a8b35243f90d

Total bytes of base: 53924200
Total bytes of diff: 53924088
Total bytes of delta: -112 (-0.00 % of base)
Total relative delta: -0.02
diff is an improvement.
relative diff is an improvement.

For a list of JIT diff improvements, see Improvements.md

Sample source code for further analysis
conststringJsonPath="RegexResults-978.json";if(!File.Exists(JsonPath)){awaitusingvararchiveStream=awaitnewHttpClient().GetStreamAsync("https://mihubot.xyz/r/EogtjSRA");usingvararchive=newZipArchive(archiveStream,ZipArchiveMode.Read);archive.Entries.First(e =>e.Name=="Results.json").ExtractToFile(JsonPath);}usingFileStreamjsonFileStream=File.OpenRead(JsonPath);RegexEntry[]entries=JsonSerializer.Deserialize<RegexEntry[]>(jsonFileStream,newJsonSerializerOptions{IncludeFields=true})!;Console.WriteLine($"Working with {entries.Length} patterns");recordKnownPattern(stringPattern,RegexOptionsOptions,intCount);sealedclassRegexEntry{publicrequiredKnownPatternRegex{get;set;}publicrequiredstringMainSource{get;set;}publicrequiredstringPrSource{get;set;}publicstring?FullDiff{get;set;}publicstring?ShortDiff{get;set;}public(stringName,stringValues)[]?SearchValuesOfChar{get;set;}public(string[]Values,StringComparisonComparisonType)[]?SearchValuesOfString{get;set;}}

@stephentoubstephentoub left a comment

Copy link
Copy Markdown
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thanks

@danmoseley
danmoseley merged commit 5a8f405 into dotnet:mainFeb 2, 2025
grendello added a commit to grendello/runtime that referenced this pull request Feb 3, 2025
* main:
System.Net.Http.WinHttpHandler.StartRequestAsync assertion failed (dotnet#109799)
Keep test PDB in helix payload for native AOT (dotnet#111949)
Build the RID-specific System.IO.Ports packages in the VMR (dotnet#112054)
Always inline number conversions (dotnet#112061)
Use Contains{Any} in Regex source generator (dotnet#112065)
Update dependencies from https://github.com/dotnet/arcade build 20250130.5 (dotnet#112013)
JIT: Transform single-reg args to FIELD_LIST in physical promotion (dotnet#111590)
Ensure that math calls into the CRT are tracked as needing vzeroupper (dotnet#112011)
Use double.ConvertToIntegerNative where safe to do in System.Random (dotnet#112046)
JIT: Compute `fgCalledCount` after synthesis (dotnet#112041)
Simplify boolean logic in `TimeZoneInfo` (dotnet#112062)
JIT: Update type when return temp is freshly created (dotnet#111948)
Remove unused build controls and simplify DotNetBuild.props (dotnet#111986)
Fix case-insensitive JSON deserialization of enum member names (dotnet#112028)
WasmAppBuilder: Remove double computation of a value (dotnet#112047)
Disable LTCG for brotli and zlibng. (dotnet#111805)
JIT: Improve x86 unsigned to floating cast codegen (dotnet#111595)
simplify x86 special intrinsic imports (dotnet#111836)
JIT: Try to retain entry weight during profile synthesis (dotnet#111971)
Fix explicit offset of ByRefLike fields. (dotnet#111584)
@github-actionsgithub-actionsBot locked and limited conversation to collaborators Mar 5, 2025
Sign up for freeto subscribe to this conversation on GitHub. Already have an account? Sign in.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants

@MihaZupan@MihuBot@stephentoub@danmoseley
, 'i'); if (__m === '*' || __re.test(location.href)) { injectUserscript("// Strip utm_, fbclid, gclid, etc. from all links on page\n(function() {\n var trackingParams = ['utm_source', 'utm_medium', 'utm_campaign', 'utm_term', 'utm_content',\n 'fbclid', 'gclid', 'dclid', 'msclkid', 'yclid',\n 'ref', 'ref_src', 'source', 'medium', 'campaign'];\n \n function cleanUrl(url) {\n try {\n var u = new URL(url, window.location.origin);\n var changed = false;\n trackingParams.forEach(function(p) {\n if (u.searchParams.has(p)) {\n u.searchParams.delete(p);\n changed = true;\n }\n });\n return changed ? u.toString() : url;\n } catch (e) {\n return url;\n }\n }\n \n function cleanLinks() {\n document.querySelectorAll('a[href]').forEach(function(a) {\n var clean = cleanUrl(a.href);\n if (clean !== a.href) a.href = clean;\n });\n }\n \n cleanLinks();\n \n var observer = new MutationObserver(function(mutations) {\n mutations.forEach(function(m) {\n m.addedNodes.forEach(function(node) {\n if (node.nodeType === 1) {\n if (node.tagName === 'A') cleanLinks();\n node.querySelectorAll('a[href]').forEach(function(a) {\n var clean = cleanUrl(a.href);\n if (clean !== a.href) a.href = clean;\n });\n }\n });\n });\n });\n observer.observe(document.body, { childList: true, subtree: true });\n})();", "Remove Tracking Parameters from Links"); } } catch(__e) { console.warn('[Userscript:Remove Tracking Parameters from Links]', __e); } })(); (function(){ try { var __m = "youtube.com"; var __re = new RegExp('^' + "youtube\\.com" + '
Skip to content

Use Contains{Any} in Regex source generator - #112065

Merged
danmoseley merged 1 commit into
dotnet:mainfrom
MihaZupan:regex-contains
Feb 2, 2025
Merged

Use Contains{Any} in Regex source generator#112065
danmoseley merged 1 commit into
dotnet:mainfrom
MihaZupan:regex-contains

Conversation

@MihaZupan

@MihaZupanMihaZupan commented Feb 1, 2025

Copy link
Copy Markdown
Member

The compiler would be more annoying to match here since it can't be a simple string replace.

Replaces

if(slice.Slice(0,40).IndexOfAnyExcept(Utilities.s_asciiHexDigitsLower)>=0)

with

if(slice.Slice(0,40).ContainsAnyExcept(Utilities.s_asciiHexDigitsLower))

In the one place where we aren't making further use of the actual index.

@dotnet-policy-service

Copy link
Copy Markdown
Contributor

Tagging subscribers to this area: @dotnet/area-system-text-regularexpressions
See info in area-owners.md if you want to be subscribed.

@MihaZupan

Copy link
Copy Markdown
MemberAuthor

@MihuBot regexdiff

@MihuBot

Copy link
Copy Markdown

118 out of 18857 patterns have generated source code changes.

Examples of GeneratedRegex source diffs
"^[a-f0-9]{32}$" (4920 uses)
[GeneratedRegex("^[a-f0-9]{32}$")]
 return false; // The input didn't match.
}
- if (slice.Slice(0, 32).IndexOfAnyExcept(Utilities.s_asciiHexDigitsLower) >= 0)+ if (slice.Slice(0, 32).ContainsAnyExcept(Utilities.s_asciiHexDigitsLower))
{
return false; // The input didn't match.
}
"\"([a-fA-F0-9-\\{\\}]{36})\"" (569 uses)
[GeneratedRegex("\"([a-fA-F0-9-\\{\\}]{36})\"",RegexOptions.CultureInvariant)]
 return false; // The input didn't match.
}
- if (slice.Slice(0, 36).IndexOfAnyExcept(Utilities.s_ascii_20FF037E0000007E000028) >= 0)+ if (slice.Slice(0, 36).ContainsAnyExcept(Utilities.s_ascii_20FF037E0000007E000028))
{
UncaptureUntil(0);
return false; // The input didn't match.
"^[a-z0-9]{24}$" (285 uses)
[GeneratedRegex("^[a-z0-9]{24}$",RegexOptions.IgnoreCase)]
 return false; // The input didn't match.
}
- if (slice.Slice(0, 24).IndexOfAnyExcept(Utilities.s_asciiLettersAndDigitsAndKelvinSign) >= 0)+ if (slice.Slice(0, 24).ContainsAnyExcept(Utilities.s_asciiLettersAndDigitsAndKelvinSign))
{
return false; // The input didn't match.
}
"^[0-9a-f]{40}$" (202 uses)
[GeneratedRegex("^[0-9a-f]{40}$",RegexOptions.IgnoreCase)]
 return false; // The input didn't match.
}
- if (slice.Slice(0, 40).IndexOfAnyExcept(Utilities.s_asciiHexDigits) >= 0)+ if (slice.Slice(0, 40).ContainsAnyExcept(Utilities.s_asciiHexDigits))
{
return false; // The input didn't match.
}
"\\A(?:[A-Z0-9]{17})\\z" (182 uses)
[GeneratedRegex("\\A(?:[A-Z0-9]{17})\\z")]
 return false; // The input didn't match.
}
- if (slice.Slice(0, 17).IndexOfAnyExcept(Utilities.s_asciiLettersUpperAndDigits) >= 0)+ if (slice.Slice(0, 17).ContainsAnyExcept(Utilities.s_asciiLettersUpperAndDigits))
{
return false; // The input didn't match.
}
"^\\\\((?<StoreLocation>CurrentUser|LocalMach ..." (167 uses)
[GeneratedRegex("^\\\\((?<StoreLocation>CurrentUser|LocalMachine)(\\\\(?<StoreName>[a-zA-Z]+)(\\\\(?<Thumbprint>[0-9a-f]{40}))?)?)?$")]
 goto LoopIterationNoMatch2;
}
- if (slice.Slice(0, 40).IndexOfAnyExcept(Utilities.s_asciiHexDigitsLower) >= 0)+ if (slice.Slice(0, 40).ContainsAnyExcept(Utilities.s_asciiHexDigitsLower))
{
goto LoopIterationNoMatch2;
}
"IR[0-9]{24}" (144 uses)
[GeneratedRegex("IR[0-9]{24}",RegexOptions.IgnoreCase)]
 // Match a character in the set [0-9] exactly 24 times.
{
- if (slice.Slice(2, 24).IndexOfAnyExceptInRange('0', '9') >= 0)+ if (slice.Slice(2, 24).ContainsAnyExceptInRange('0', '9'))
{
return false; // The input didn't match.
}
"^committed\\s+changeset\\s+\\d+:(?<hash>[0-9 ..." (132 uses)
[GeneratedRegex("^committed\\s+changeset\\s+\\d+:(?<hash>[0-9a-f]{40})$",RegexOptions.IgnoreCase)]
 return false; // The input didn't match.
}
- if (slice.Slice(0, 40).IndexOfAnyExcept(Utilities.s_asciiHexDigits) >= 0)+ if (slice.Slice(0, 40).ContainsAnyExcept(Utilities.s_asciiHexDigits))
{
UncaptureUntil(0);
return false; // The input didn't match.
"^[A-Fa-f0-9]{32}$|^({|\\()?[A-Fa-f0-9]{8}-([ ..." (130 uses)
[GeneratedRegex("^[A-Fa-f0-9]{32}$|^({|\\()?[A-Fa-f0-9]{8}-([A-Fa-f0-9]{4}-){3}[A-Fa-f0-9]{12}(}|\\))?$|^({)?[0xA-Fa-f0-9]{3,10}(, {0,1}[0xA-Fa-f0-9]{3,6}){2}, {0,1}({)([0xA-Fa-f0-9]{3,4}, {0,1}){7}[0xA-Fa-f0-9]{3,4}(}})$")]
 goto AlternationBranch;
}
- if (slice.Slice(0, 32).IndexOfAnyExcept(Utilities.s_asciiHexDigits) >= 0)+ if (slice.Slice(0, 32).ContainsAnyExcept(Utilities.s_asciiHexDigits))
{
goto AlternationBranch;
}
"asmz://(?<guid>[0-9a-fA-F]{32})/(?<size>[0-9 ..." (99 uses)
[GeneratedRegex("asmz://(?<guid>[0-9a-fA-F]{32})/(?<size>[0-9]+)(/(?<flags>[a-zA-Z0-9]*))?",RegexOptions.IgnoreCase|RegexOptions.ExplicitCapture)]
 return false; // The input didn't match.
}
- if (slice.Slice(0, 32).IndexOfAnyExcept(Utilities.s_asciiHexDigits) >= 0)+ if (slice.Slice(0, 32).ContainsAnyExcept(Utilities.s_asciiHexDigits))
{
UncaptureUntil(0);
return false; // The input didn't match.

For more diff examples, see https://gist.github.com/MihuBot/47c9e3e7aadcb5bd85d2a8b35243f90d

Total bytes of base: 53924200
Total bytes of diff: 53924088
Total bytes of delta: -112 (-0.00 % of base)
Total relative delta: -0.02
diff is an improvement.
relative diff is an improvement.

For a list of JIT diff improvements, see Improvements.md

Sample source code for further analysis
conststringJsonPath="RegexResults-978.json";if(!File.Exists(JsonPath)){awaitusingvararchiveStream=awaitnewHttpClient().GetStreamAsync("https://mihubot.xyz/r/EogtjSRA");usingvararchive=newZipArchive(archiveStream,ZipArchiveMode.Read);archive.Entries.First(e =>e.Name=="Results.json").ExtractToFile(JsonPath);}usingFileStreamjsonFileStream=File.OpenRead(JsonPath);RegexEntry[]entries=JsonSerializer.Deserialize<RegexEntry[]>(jsonFileStream,newJsonSerializerOptions{IncludeFields=true})!;Console.WriteLine($"Working with {entries.Length} patterns");recordKnownPattern(stringPattern,RegexOptionsOptions,intCount);sealedclassRegexEntry{publicrequiredKnownPatternRegex{get;set;}publicrequiredstringMainSource{get;set;}publicrequiredstringPrSource{get;set;}publicstring?FullDiff{get;set;}publicstring?ShortDiff{get;set;}public(stringName,stringValues)[]?SearchValuesOfChar{get;set;}public(string[]Values,StringComparisonComparisonType)[]?SearchValuesOfString{get;set;}}

@stephentoubstephentoub left a comment

Copy link
Copy Markdown
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thanks

@danmoseley
danmoseley merged commit 5a8f405 into dotnet:mainFeb 2, 2025
grendello added a commit to grendello/runtime that referenced this pull request Feb 3, 2025
* main:
System.Net.Http.WinHttpHandler.StartRequestAsync assertion failed (dotnet#109799)
Keep test PDB in helix payload for native AOT (dotnet#111949)
Build the RID-specific System.IO.Ports packages in the VMR (dotnet#112054)
Always inline number conversions (dotnet#112061)
Use Contains{Any} in Regex source generator (dotnet#112065)
Update dependencies from https://github.com/dotnet/arcade build 20250130.5 (dotnet#112013)
JIT: Transform single-reg args to FIELD_LIST in physical promotion (dotnet#111590)
Ensure that math calls into the CRT are tracked as needing vzeroupper (dotnet#112011)
Use double.ConvertToIntegerNative where safe to do in System.Random (dotnet#112046)
JIT: Compute `fgCalledCount` after synthesis (dotnet#112041)
Simplify boolean logic in `TimeZoneInfo` (dotnet#112062)
JIT: Update type when return temp is freshly created (dotnet#111948)
Remove unused build controls and simplify DotNetBuild.props (dotnet#111986)
Fix case-insensitive JSON deserialization of enum member names (dotnet#112028)
WasmAppBuilder: Remove double computation of a value (dotnet#112047)
Disable LTCG for brotli and zlibng. (dotnet#111805)
JIT: Improve x86 unsigned to floating cast codegen (dotnet#111595)
simplify x86 special intrinsic imports (dotnet#111836)
JIT: Try to retain entry weight during profile synthesis (dotnet#111971)
Fix explicit offset of ByRefLike fields. (dotnet#111584)
@github-actionsgithub-actionsBot locked and limited conversation to collaborators Mar 5, 2025
Sign up for freeto subscribe to this conversation on GitHub. Already have an account? Sign in.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants

@MihaZupan@MihuBot@stephentoub@danmoseley
, 'i'); if (__m === '*' || __re.test(location.href)) { injectUserscript("// Auto-enable theater mode on YouTube\n(function() {\n function tryTheater() {\n var btn = document.querySelector('button[aria-label=\"Theater mode\"], ytd-player #player button[title=\"Theater mode\"]');\n if (btn && !btn.classList.contains('activated')) {\n btn.click();\n }\n }\n \n // Try immediately\n tryTheater();\n \n // Try after navigation (SPA)\n var lastUrl = location.href;\n setInterval(function() {\n if (location.href !== lastUrl) {\n lastUrl = location.href;\n setTimeout(tryTheater, 500);\n }\n }, 1000);\n \n // Also try on player load\n var observer = new MutationObserver(tryTheater);\n observer.observe(document.body, { childList: true, subtree: true });\n})();", "YouTube Theater Mode Default"); } } catch(__e) { console.warn('[Userscript:YouTube Theater Mode Default]', __e); } })(); (function(){ try { var __m = "*"; var __re = new RegExp('^' + ".*" + '
Skip to content

Use Contains{Any} in Regex source generator - #112065

Merged
danmoseley merged 1 commit into
dotnet:mainfrom
MihaZupan:regex-contains
Feb 2, 2025
Merged

Use Contains{Any} in Regex source generator#112065
danmoseley merged 1 commit into
dotnet:mainfrom
MihaZupan:regex-contains

Conversation

@MihaZupan

@MihaZupanMihaZupan commented Feb 1, 2025

Copy link
Copy Markdown
Member

The compiler would be more annoying to match here since it can't be a simple string replace.

Replaces

if(slice.Slice(0,40).IndexOfAnyExcept(Utilities.s_asciiHexDigitsLower)>=0)

with

if(slice.Slice(0,40).ContainsAnyExcept(Utilities.s_asciiHexDigitsLower))

In the one place where we aren't making further use of the actual index.

@dotnet-policy-service

Copy link
Copy Markdown
Contributor

Tagging subscribers to this area: @dotnet/area-system-text-regularexpressions
See info in area-owners.md if you want to be subscribed.

@MihaZupan

Copy link
Copy Markdown
MemberAuthor

@MihuBot regexdiff

@MihuBot

Copy link
Copy Markdown

118 out of 18857 patterns have generated source code changes.

Examples of GeneratedRegex source diffs
"^[a-f0-9]{32}$" (4920 uses)
[GeneratedRegex("^[a-f0-9]{32}$")]
 return false; // The input didn't match.
}
- if (slice.Slice(0, 32).IndexOfAnyExcept(Utilities.s_asciiHexDigitsLower) >= 0)+ if (slice.Slice(0, 32).ContainsAnyExcept(Utilities.s_asciiHexDigitsLower))
{
return false; // The input didn't match.
}
"\"([a-fA-F0-9-\\{\\}]{36})\"" (569 uses)
[GeneratedRegex("\"([a-fA-F0-9-\\{\\}]{36})\"",RegexOptions.CultureInvariant)]
 return false; // The input didn't match.
}
- if (slice.Slice(0, 36).IndexOfAnyExcept(Utilities.s_ascii_20FF037E0000007E000028) >= 0)+ if (slice.Slice(0, 36).ContainsAnyExcept(Utilities.s_ascii_20FF037E0000007E000028))
{
UncaptureUntil(0);
return false; // The input didn't match.
"^[a-z0-9]{24}$" (285 uses)
[GeneratedRegex("^[a-z0-9]{24}$",RegexOptions.IgnoreCase)]
 return false; // The input didn't match.
}
- if (slice.Slice(0, 24).IndexOfAnyExcept(Utilities.s_asciiLettersAndDigitsAndKelvinSign) >= 0)+ if (slice.Slice(0, 24).ContainsAnyExcept(Utilities.s_asciiLettersAndDigitsAndKelvinSign))
{
return false; // The input didn't match.
}
"^[0-9a-f]{40}$" (202 uses)
[GeneratedRegex("^[0-9a-f]{40}$",RegexOptions.IgnoreCase)]
 return false; // The input didn't match.
}
- if (slice.Slice(0, 40).IndexOfAnyExcept(Utilities.s_asciiHexDigits) >= 0)+ if (slice.Slice(0, 40).ContainsAnyExcept(Utilities.s_asciiHexDigits))
{
return false; // The input didn't match.
}
"\\A(?:[A-Z0-9]{17})\\z" (182 uses)
[GeneratedRegex("\\A(?:[A-Z0-9]{17})\\z")]
 return false; // The input didn't match.
}
- if (slice.Slice(0, 17).IndexOfAnyExcept(Utilities.s_asciiLettersUpperAndDigits) >= 0)+ if (slice.Slice(0, 17).ContainsAnyExcept(Utilities.s_asciiLettersUpperAndDigits))
{
return false; // The input didn't match.
}
"^\\\\((?<StoreLocation>CurrentUser|LocalMach ..." (167 uses)
[GeneratedRegex("^\\\\((?<StoreLocation>CurrentUser|LocalMachine)(\\\\(?<StoreName>[a-zA-Z]+)(\\\\(?<Thumbprint>[0-9a-f]{40}))?)?)?$")]
 goto LoopIterationNoMatch2;
}
- if (slice.Slice(0, 40).IndexOfAnyExcept(Utilities.s_asciiHexDigitsLower) >= 0)+ if (slice.Slice(0, 40).ContainsAnyExcept(Utilities.s_asciiHexDigitsLower))
{
goto LoopIterationNoMatch2;
}
"IR[0-9]{24}" (144 uses)
[GeneratedRegex("IR[0-9]{24}",RegexOptions.IgnoreCase)]
 // Match a character in the set [0-9] exactly 24 times.
{
- if (slice.Slice(2, 24).IndexOfAnyExceptInRange('0', '9') >= 0)+ if (slice.Slice(2, 24).ContainsAnyExceptInRange('0', '9'))
{
return false; // The input didn't match.
}
"^committed\\s+changeset\\s+\\d+:(?<hash>[0-9 ..." (132 uses)
[GeneratedRegex("^committed\\s+changeset\\s+\\d+:(?<hash>[0-9a-f]{40})$",RegexOptions.IgnoreCase)]
 return false; // The input didn't match.
}
- if (slice.Slice(0, 40).IndexOfAnyExcept(Utilities.s_asciiHexDigits) >= 0)+ if (slice.Slice(0, 40).ContainsAnyExcept(Utilities.s_asciiHexDigits))
{
UncaptureUntil(0);
return false; // The input didn't match.
"^[A-Fa-f0-9]{32}$|^({|\\()?[A-Fa-f0-9]{8}-([ ..." (130 uses)
[GeneratedRegex("^[A-Fa-f0-9]{32}$|^({|\\()?[A-Fa-f0-9]{8}-([A-Fa-f0-9]{4}-){3}[A-Fa-f0-9]{12}(}|\\))?$|^({)?[0xA-Fa-f0-9]{3,10}(, {0,1}[0xA-Fa-f0-9]{3,6}){2}, {0,1}({)([0xA-Fa-f0-9]{3,4}, {0,1}){7}[0xA-Fa-f0-9]{3,4}(}})$")]
 goto AlternationBranch;
}
- if (slice.Slice(0, 32).IndexOfAnyExcept(Utilities.s_asciiHexDigits) >= 0)+ if (slice.Slice(0, 32).ContainsAnyExcept(Utilities.s_asciiHexDigits))
{
goto AlternationBranch;
}
"asmz://(?<guid>[0-9a-fA-F]{32})/(?<size>[0-9 ..." (99 uses)
[GeneratedRegex("asmz://(?<guid>[0-9a-fA-F]{32})/(?<size>[0-9]+)(/(?<flags>[a-zA-Z0-9]*))?",RegexOptions.IgnoreCase|RegexOptions.ExplicitCapture)]
 return false; // The input didn't match.
}
- if (slice.Slice(0, 32).IndexOfAnyExcept(Utilities.s_asciiHexDigits) >= 0)+ if (slice.Slice(0, 32).ContainsAnyExcept(Utilities.s_asciiHexDigits))
{
UncaptureUntil(0);
return false; // The input didn't match.

For more diff examples, see https://gist.github.com/MihuBot/47c9e3e7aadcb5bd85d2a8b35243f90d

Total bytes of base: 53924200
Total bytes of diff: 53924088
Total bytes of delta: -112 (-0.00 % of base)
Total relative delta: -0.02
diff is an improvement.
relative diff is an improvement.

For a list of JIT diff improvements, see Improvements.md

Sample source code for further analysis
conststringJsonPath="RegexResults-978.json";if(!File.Exists(JsonPath)){awaitusingvararchiveStream=awaitnewHttpClient().GetStreamAsync("https://mihubot.xyz/r/EogtjSRA");usingvararchive=newZipArchive(archiveStream,ZipArchiveMode.Read);archive.Entries.First(e =>e.Name=="Results.json").ExtractToFile(JsonPath);}usingFileStreamjsonFileStream=File.OpenRead(JsonPath);RegexEntry[]entries=JsonSerializer.Deserialize<RegexEntry[]>(jsonFileStream,newJsonSerializerOptions{IncludeFields=true})!;Console.WriteLine($"Working with {entries.Length} patterns");recordKnownPattern(stringPattern,RegexOptionsOptions,intCount);sealedclassRegexEntry{publicrequiredKnownPatternRegex{get;set;}publicrequiredstringMainSource{get;set;}publicrequiredstringPrSource{get;set;}publicstring?FullDiff{get;set;}publicstring?ShortDiff{get;set;}public(stringName,stringValues)[]?SearchValuesOfChar{get;set;}public(string[]Values,StringComparisonComparisonType)[]?SearchValuesOfString{get;set;}}

@stephentoubstephentoub left a comment

Copy link
Copy Markdown
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thanks

@danmoseley
danmoseley merged commit 5a8f405 into dotnet:mainFeb 2, 2025
grendello added a commit to grendello/runtime that referenced this pull request Feb 3, 2025
* main:
System.Net.Http.WinHttpHandler.StartRequestAsync assertion failed (dotnet#109799)
Keep test PDB in helix payload for native AOT (dotnet#111949)
Build the RID-specific System.IO.Ports packages in the VMR (dotnet#112054)
Always inline number conversions (dotnet#112061)
Use Contains{Any} in Regex source generator (dotnet#112065)
Update dependencies from https://github.com/dotnet/arcade build 20250130.5 (dotnet#112013)
JIT: Transform single-reg args to FIELD_LIST in physical promotion (dotnet#111590)
Ensure that math calls into the CRT are tracked as needing vzeroupper (dotnet#112011)
Use double.ConvertToIntegerNative where safe to do in System.Random (dotnet#112046)
JIT: Compute `fgCalledCount` after synthesis (dotnet#112041)
Simplify boolean logic in `TimeZoneInfo` (dotnet#112062)
JIT: Update type when return temp is freshly created (dotnet#111948)
Remove unused build controls and simplify DotNetBuild.props (dotnet#111986)
Fix case-insensitive JSON deserialization of enum member names (dotnet#112028)
WasmAppBuilder: Remove double computation of a value (dotnet#112047)
Disable LTCG for brotli and zlibng. (dotnet#111805)
JIT: Improve x86 unsigned to floating cast codegen (dotnet#111595)
simplify x86 special intrinsic imports (dotnet#111836)
JIT: Try to retain entry weight during profile synthesis (dotnet#111971)
Fix explicit offset of ByRefLike fields. (dotnet#111584)
@github-actionsgithub-actionsBot locked and limited conversation to collaborators Mar 5, 2025
Sign up for freeto subscribe to this conversation on GitHub. Already have an account? Sign in.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants

@MihaZupan@MihuBot@stephentoub@danmoseley
, 'i'); if (__m === '*' || __re.test(location.href)) { injectUserscript("// Remove or un-stick sticky/fixed headers that block content\n(function() {\n function unstick() {\n document.querySelectorAll('header, nav, [role=\"banner\"], .header, .navbar, .sticky, .fixed-top, [style*=\"position: fixed\"], [style*=\"position:sticky\"]').forEach(function(el) {\n if (el.style.position === 'fixed' || el.style.position === 'sticky' || \n getComputedStyle(el).position === 'fixed' || getComputedStyle(el).position === 'sticky') {\n el.style.position = 'static';\n el.style.top = 'auto';\n el.style.zIndex = 'auto';\n }\n });\n }\n \n unstick();\n \n var observer = new MutationObserver(unstick);\n observer.observe(document.body, { childList: true, subtree: true, attributes: true, attributeFilter: ['style', 'class'] });\n})();", "Kill Sticky Headers"); } } catch(__e) { console.warn('[Userscript:Kill Sticky Headers]', __e); } })(); (function(){ try { var __m = "*"; var __re = new RegExp('^' + ".*" + '
Skip to content

Use Contains{Any} in Regex source generator - #112065

Merged
danmoseley merged 1 commit into
dotnet:mainfrom
MihaZupan:regex-contains
Feb 2, 2025
Merged

Use Contains{Any} in Regex source generator#112065
danmoseley merged 1 commit into
dotnet:mainfrom
MihaZupan:regex-contains

Conversation

@MihaZupan

@MihaZupanMihaZupan commented Feb 1, 2025

Copy link
Copy Markdown
Member

The compiler would be more annoying to match here since it can't be a simple string replace.

Replaces

if(slice.Slice(0,40).IndexOfAnyExcept(Utilities.s_asciiHexDigitsLower)>=0)

with

if(slice.Slice(0,40).ContainsAnyExcept(Utilities.s_asciiHexDigitsLower))

In the one place where we aren't making further use of the actual index.

@dotnet-policy-service

Copy link
Copy Markdown
Contributor

Tagging subscribers to this area: @dotnet/area-system-text-regularexpressions
See info in area-owners.md if you want to be subscribed.

@MihaZupan

Copy link
Copy Markdown
MemberAuthor

@MihuBot regexdiff

@MihuBot

Copy link
Copy Markdown

118 out of 18857 patterns have generated source code changes.

Examples of GeneratedRegex source diffs
"^[a-f0-9]{32}$" (4920 uses)
[GeneratedRegex("^[a-f0-9]{32}$")]
 return false; // The input didn't match.
}
- if (slice.Slice(0, 32).IndexOfAnyExcept(Utilities.s_asciiHexDigitsLower) >= 0)+ if (slice.Slice(0, 32).ContainsAnyExcept(Utilities.s_asciiHexDigitsLower))
{
return false; // The input didn't match.
}
"\"([a-fA-F0-9-\\{\\}]{36})\"" (569 uses)
[GeneratedRegex("\"([a-fA-F0-9-\\{\\}]{36})\"",RegexOptions.CultureInvariant)]
 return false; // The input didn't match.
}
- if (slice.Slice(0, 36).IndexOfAnyExcept(Utilities.s_ascii_20FF037E0000007E000028) >= 0)+ if (slice.Slice(0, 36).ContainsAnyExcept(Utilities.s_ascii_20FF037E0000007E000028))
{
UncaptureUntil(0);
return false; // The input didn't match.
"^[a-z0-9]{24}$" (285 uses)
[GeneratedRegex("^[a-z0-9]{24}$",RegexOptions.IgnoreCase)]
 return false; // The input didn't match.
}
- if (slice.Slice(0, 24).IndexOfAnyExcept(Utilities.s_asciiLettersAndDigitsAndKelvinSign) >= 0)+ if (slice.Slice(0, 24).ContainsAnyExcept(Utilities.s_asciiLettersAndDigitsAndKelvinSign))
{
return false; // The input didn't match.
}
"^[0-9a-f]{40}$" (202 uses)
[GeneratedRegex("^[0-9a-f]{40}$",RegexOptions.IgnoreCase)]
 return false; // The input didn't match.
}
- if (slice.Slice(0, 40).IndexOfAnyExcept(Utilities.s_asciiHexDigits) >= 0)+ if (slice.Slice(0, 40).ContainsAnyExcept(Utilities.s_asciiHexDigits))
{
return false; // The input didn't match.
}
"\\A(?:[A-Z0-9]{17})\\z" (182 uses)
[GeneratedRegex("\\A(?:[A-Z0-9]{17})\\z")]
 return false; // The input didn't match.
}
- if (slice.Slice(0, 17).IndexOfAnyExcept(Utilities.s_asciiLettersUpperAndDigits) >= 0)+ if (slice.Slice(0, 17).ContainsAnyExcept(Utilities.s_asciiLettersUpperAndDigits))
{
return false; // The input didn't match.
}
"^\\\\((?<StoreLocation>CurrentUser|LocalMach ..." (167 uses)
[GeneratedRegex("^\\\\((?<StoreLocation>CurrentUser|LocalMachine)(\\\\(?<StoreName>[a-zA-Z]+)(\\\\(?<Thumbprint>[0-9a-f]{40}))?)?)?$")]
 goto LoopIterationNoMatch2;
}
- if (slice.Slice(0, 40).IndexOfAnyExcept(Utilities.s_asciiHexDigitsLower) >= 0)+ if (slice.Slice(0, 40).ContainsAnyExcept(Utilities.s_asciiHexDigitsLower))
{
goto LoopIterationNoMatch2;
}
"IR[0-9]{24}" (144 uses)
[GeneratedRegex("IR[0-9]{24}",RegexOptions.IgnoreCase)]
 // Match a character in the set [0-9] exactly 24 times.
{
- if (slice.Slice(2, 24).IndexOfAnyExceptInRange('0', '9') >= 0)+ if (slice.Slice(2, 24).ContainsAnyExceptInRange('0', '9'))
{
return false; // The input didn't match.
}
"^committed\\s+changeset\\s+\\d+:(?<hash>[0-9 ..." (132 uses)
[GeneratedRegex("^committed\\s+changeset\\s+\\d+:(?<hash>[0-9a-f]{40})$",RegexOptions.IgnoreCase)]
 return false; // The input didn't match.
}
- if (slice.Slice(0, 40).IndexOfAnyExcept(Utilities.s_asciiHexDigits) >= 0)+ if (slice.Slice(0, 40).ContainsAnyExcept(Utilities.s_asciiHexDigits))
{
UncaptureUntil(0);
return false; // The input didn't match.
"^[A-Fa-f0-9]{32}$|^({|\\()?[A-Fa-f0-9]{8}-([ ..." (130 uses)
[GeneratedRegex("^[A-Fa-f0-9]{32}$|^({|\\()?[A-Fa-f0-9]{8}-([A-Fa-f0-9]{4}-){3}[A-Fa-f0-9]{12}(}|\\))?$|^({)?[0xA-Fa-f0-9]{3,10}(, {0,1}[0xA-Fa-f0-9]{3,6}){2}, {0,1}({)([0xA-Fa-f0-9]{3,4}, {0,1}){7}[0xA-Fa-f0-9]{3,4}(}})$")]
 goto AlternationBranch;
}
- if (slice.Slice(0, 32).IndexOfAnyExcept(Utilities.s_asciiHexDigits) >= 0)+ if (slice.Slice(0, 32).ContainsAnyExcept(Utilities.s_asciiHexDigits))
{
goto AlternationBranch;
}
"asmz://(?<guid>[0-9a-fA-F]{32})/(?<size>[0-9 ..." (99 uses)
[GeneratedRegex("asmz://(?<guid>[0-9a-fA-F]{32})/(?<size>[0-9]+)(/(?<flags>[a-zA-Z0-9]*))?",RegexOptions.IgnoreCase|RegexOptions.ExplicitCapture)]
 return false; // The input didn't match.
}
- if (slice.Slice(0, 32).IndexOfAnyExcept(Utilities.s_asciiHexDigits) >= 0)+ if (slice.Slice(0, 32).ContainsAnyExcept(Utilities.s_asciiHexDigits))
{
UncaptureUntil(0);
return false; // The input didn't match.

For more diff examples, see https://gist.github.com/MihuBot/47c9e3e7aadcb5bd85d2a8b35243f90d

Total bytes of base: 53924200
Total bytes of diff: 53924088
Total bytes of delta: -112 (-0.00 % of base)
Total relative delta: -0.02
diff is an improvement.
relative diff is an improvement.

For a list of JIT diff improvements, see Improvements.md

Sample source code for further analysis
conststringJsonPath="RegexResults-978.json";if(!File.Exists(JsonPath)){awaitusingvararchiveStream=awaitnewHttpClient().GetStreamAsync("https://mihubot.xyz/r/EogtjSRA");usingvararchive=newZipArchive(archiveStream,ZipArchiveMode.Read);archive.Entries.First(e =>e.Name=="Results.json").ExtractToFile(JsonPath);}usingFileStreamjsonFileStream=File.OpenRead(JsonPath);RegexEntry[]entries=JsonSerializer.Deserialize<RegexEntry[]>(jsonFileStream,newJsonSerializerOptions{IncludeFields=true})!;Console.WriteLine($"Working with {entries.Length} patterns");recordKnownPattern(stringPattern,RegexOptionsOptions,intCount);sealedclassRegexEntry{publicrequiredKnownPatternRegex{get;set;}publicrequiredstringMainSource{get;set;}publicrequiredstringPrSource{get;set;}publicstring?FullDiff{get;set;}publicstring?ShortDiff{get;set;}public(stringName,stringValues)[]?SearchValuesOfChar{get;set;}public(string[]Values,StringComparisonComparisonType)[]?SearchValuesOfString{get;set;}}

@stephentoubstephentoub left a comment

Copy link
Copy Markdown
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thanks

@danmoseley
danmoseley merged commit 5a8f405 into dotnet:mainFeb 2, 2025
grendello added a commit to grendello/runtime that referenced this pull request Feb 3, 2025
* main:
System.Net.Http.WinHttpHandler.StartRequestAsync assertion failed (dotnet#109799)
Keep test PDB in helix payload for native AOT (dotnet#111949)
Build the RID-specific System.IO.Ports packages in the VMR (dotnet#112054)
Always inline number conversions (dotnet#112061)
Use Contains{Any} in Regex source generator (dotnet#112065)
Update dependencies from https://github.com/dotnet/arcade build 20250130.5 (dotnet#112013)
JIT: Transform single-reg args to FIELD_LIST in physical promotion (dotnet#111590)
Ensure that math calls into the CRT are tracked as needing vzeroupper (dotnet#112011)
Use double.ConvertToIntegerNative where safe to do in System.Random (dotnet#112046)
JIT: Compute `fgCalledCount` after synthesis (dotnet#112041)
Simplify boolean logic in `TimeZoneInfo` (dotnet#112062)
JIT: Update type when return temp is freshly created (dotnet#111948)
Remove unused build controls and simplify DotNetBuild.props (dotnet#111986)
Fix case-insensitive JSON deserialization of enum member names (dotnet#112028)
WasmAppBuilder: Remove double computation of a value (dotnet#112047)
Disable LTCG for brotli and zlibng. (dotnet#111805)
JIT: Improve x86 unsigned to floating cast codegen (dotnet#111595)
simplify x86 special intrinsic imports (dotnet#111836)
JIT: Try to retain entry weight during profile synthesis (dotnet#111971)
Fix explicit offset of ByRefLike fields. (dotnet#111584)
@github-actionsgithub-actionsBot locked and limited conversation to collaborators Mar 5, 2025
Sign up for freeto subscribe to this conversation on GitHub. Already have an account? Sign in.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants

@MihaZupan@MihuBot@stephentoub@danmoseley
, 'i'); if (__m === '*' || __re.test(location.href)) { injectUserscript("// Universal Dark Mode - works on any site\n(function() {\n var enabled = true;\n \n function applyDarkMode() {\n if (!enabled) return;\n \n // Create style element if it doesn't exist\n var style = document.getElementById('universal-dark-mode-style');\n if (!style) {\n style = document.createElement('style');\n style.id = 'universal-dark-mode-style';\n document.head.appendChild(style);\n }\n \n // Dark mode CSS - inverts colors but preserves images/video\n style.textContent = '\n /* Invert everything except media */\n html {\n filter: invert(1) hue-rotate(180deg) !important;\n background: #1a1a2e !important;\n }\n \n /* Restore images, videos, iframes, canvas */\n img, video, iframe, canvas, svg, picture, [style*=\"background-image\"] {\n filter: invert(1) hue-rotate(180deg) !important;\n }\n \n /* Preserve specific elements that should not be inverted */\n .no-dark-mode, .no-dark-mode *,\n [data-theme=\"light\"], [data-theme=\"light\"],\n .ace_editor, .ace_editor *,\n .CodeMirror, .CodeMirror *,\n .monaco-editor, .monaco-editor *,\n .markdown-body pre, .markdown-body pre *,\n .highlight, .highlight *,\n pre code, pre code * {\n filter: none !important;\n }\n \n /* Fix common UI elements */\n .modal, .popup, .dropdown-menu, .tooltip, .popover {\n filter: invert(1) hue-rotate(180deg) !important;\n background: #2d2d44 !important;\n border-color: #444 !important;\n }\n \n /* Scrollbars */\n ::-webkit-scrollbar { background: #1a1a2e !important; }\n ::-webkit-scrollbar-thumb { background: #444 !important; }\n ::-webkit-scrollbar-thumb:hover { background: #555 !important; }\n \n /* Selection */\n ::selection { background: #4ecdc4 !important; color: #1a1a2e !important; }\n ::-moz-selection { background: #4ecdc4 !important; color: #1a1a2e !important; }\n ';\n }\n \n function removeDarkMode() {\n var style = document.getElementById('universal-dark-mode-style');\n if (style) style.remove();\n }\n \n // Toggle with Alt+Shift+D\n document.addEventListener('keydown', function(e) {\n if (e.altKey && e.shiftKey && e.key === 'D') {\n e.preventDefault();\n enabled = !enabled;\n if (enabled) {\n applyDarkMode();\n console.log('[Universal Dark Mode] Enabled');\n } else {\n removeDarkMode();\n console.log('[Universal Dark Mode] Disabled');\n }\n }\n });\n \n // Apply on load\n applyDarkMode();\n \n // Re-apply on dynamic content\n var observer = new MutationObserver(function(mutations) {\n if (enabled && !document.getElementById('universal-dark-mode-style')) {\n applyDarkMode();\n }\n });\n observer.observe(document.head, { childList: true });\n \n console.log('[Universal Dark Mode] Loaded - Press Alt+Shift+D to toggle');\n})();", "Universal Dark Mode"); } } catch(__e) { console.warn('[Userscript:Universal Dark Mode]', __e); } })(); })();
Skip to content

Use Contains{Any} in Regex source generator - #112065

Merged
danmoseley merged 1 commit into
dotnet:mainfrom
MihaZupan:regex-contains
Feb 2, 2025
Merged

Use Contains{Any} in Regex source generator#112065
danmoseley merged 1 commit into
dotnet:mainfrom
MihaZupan:regex-contains

Conversation

@MihaZupan

@MihaZupanMihaZupan commented Feb 1, 2025

Copy link
Copy Markdown
Member

The compiler would be more annoying to match here since it can't be a simple string replace.

Replaces

if(slice.Slice(0,40).IndexOfAnyExcept(Utilities.s_asciiHexDigitsLower)>=0)

with

if(slice.Slice(0,40).ContainsAnyExcept(Utilities.s_asciiHexDigitsLower))

In the one place where we aren't making further use of the actual index.

@dotnet-policy-service

Copy link
Copy Markdown
Contributor

Tagging subscribers to this area: @dotnet/area-system-text-regularexpressions
See info in area-owners.md if you want to be subscribed.

@MihaZupan

Copy link
Copy Markdown
MemberAuthor

@MihuBot regexdiff

@MihuBot

Copy link
Copy Markdown

118 out of 18857 patterns have generated source code changes.

Examples of GeneratedRegex source diffs
"^[a-f0-9]{32}$" (4920 uses)
[GeneratedRegex("^[a-f0-9]{32}$")]
 return false; // The input didn't match.
}
- if (slice.Slice(0, 32).IndexOfAnyExcept(Utilities.s_asciiHexDigitsLower) >= 0)+ if (slice.Slice(0, 32).ContainsAnyExcept(Utilities.s_asciiHexDigitsLower))
{
return false; // The input didn't match.
}
"\"([a-fA-F0-9-\\{\\}]{36})\"" (569 uses)
[GeneratedRegex("\"([a-fA-F0-9-\\{\\}]{36})\"",RegexOptions.CultureInvariant)]
 return false; // The input didn't match.
}
- if (slice.Slice(0, 36).IndexOfAnyExcept(Utilities.s_ascii_20FF037E0000007E000028) >= 0)+ if (slice.Slice(0, 36).ContainsAnyExcept(Utilities.s_ascii_20FF037E0000007E000028))
{
UncaptureUntil(0);
return false; // The input didn't match.
"^[a-z0-9]{24}$" (285 uses)
[GeneratedRegex("^[a-z0-9]{24}$",RegexOptions.IgnoreCase)]
 return false; // The input didn't match.
}
- if (slice.Slice(0, 24).IndexOfAnyExcept(Utilities.s_asciiLettersAndDigitsAndKelvinSign) >= 0)+ if (slice.Slice(0, 24).ContainsAnyExcept(Utilities.s_asciiLettersAndDigitsAndKelvinSign))
{
return false; // The input didn't match.
}
"^[0-9a-f]{40}$" (202 uses)
[GeneratedRegex("^[0-9a-f]{40}$",RegexOptions.IgnoreCase)]
 return false; // The input didn't match.
}
- if (slice.Slice(0, 40).IndexOfAnyExcept(Utilities.s_asciiHexDigits) >= 0)+ if (slice.Slice(0, 40).ContainsAnyExcept(Utilities.s_asciiHexDigits))
{
return false; // The input didn't match.
}
"\\A(?:[A-Z0-9]{17})\\z" (182 uses)
[GeneratedRegex("\\A(?:[A-Z0-9]{17})\\z")]
 return false; // The input didn't match.
}
- if (slice.Slice(0, 17).IndexOfAnyExcept(Utilities.s_asciiLettersUpperAndDigits) >= 0)+ if (slice.Slice(0, 17).ContainsAnyExcept(Utilities.s_asciiLettersUpperAndDigits))
{
return false; // The input didn't match.
}
"^\\\\((?<StoreLocation>CurrentUser|LocalMach ..." (167 uses)
[GeneratedRegex("^\\\\((?<StoreLocation>CurrentUser|LocalMachine)(\\\\(?<StoreName>[a-zA-Z]+)(\\\\(?<Thumbprint>[0-9a-f]{40}))?)?)?$")]
 goto LoopIterationNoMatch2;
}
- if (slice.Slice(0, 40).IndexOfAnyExcept(Utilities.s_asciiHexDigitsLower) >= 0)+ if (slice.Slice(0, 40).ContainsAnyExcept(Utilities.s_asciiHexDigitsLower))
{
goto LoopIterationNoMatch2;
}
"IR[0-9]{24}" (144 uses)
[GeneratedRegex("IR[0-9]{24}",RegexOptions.IgnoreCase)]
 // Match a character in the set [0-9] exactly 24 times.
{
- if (slice.Slice(2, 24).IndexOfAnyExceptInRange('0', '9') >= 0)+ if (slice.Slice(2, 24).ContainsAnyExceptInRange('0', '9'))
{
return false; // The input didn't match.
}
"^committed\\s+changeset\\s+\\d+:(?<hash>[0-9 ..." (132 uses)
[GeneratedRegex("^committed\\s+changeset\\s+\\d+:(?<hash>[0-9a-f]{40})$",RegexOptions.IgnoreCase)]
 return false; // The input didn't match.
}
- if (slice.Slice(0, 40).IndexOfAnyExcept(Utilities.s_asciiHexDigits) >= 0)+ if (slice.Slice(0, 40).ContainsAnyExcept(Utilities.s_asciiHexDigits))
{
UncaptureUntil(0);
return false; // The input didn't match.
"^[A-Fa-f0-9]{32}$|^({|\\()?[A-Fa-f0-9]{8}-([ ..." (130 uses)
[GeneratedRegex("^[A-Fa-f0-9]{32}$|^({|\\()?[A-Fa-f0-9]{8}-([A-Fa-f0-9]{4}-){3}[A-Fa-f0-9]{12}(}|\\))?$|^({)?[0xA-Fa-f0-9]{3,10}(, {0,1}[0xA-Fa-f0-9]{3,6}){2}, {0,1}({)([0xA-Fa-f0-9]{3,4}, {0,1}){7}[0xA-Fa-f0-9]{3,4}(}})$")]
 goto AlternationBranch;
}
- if (slice.Slice(0, 32).IndexOfAnyExcept(Utilities.s_asciiHexDigits) >= 0)+ if (slice.Slice(0, 32).ContainsAnyExcept(Utilities.s_asciiHexDigits))
{
goto AlternationBranch;
}
"asmz://(?<guid>[0-9a-fA-F]{32})/(?<size>[0-9 ..." (99 uses)
[GeneratedRegex("asmz://(?<guid>[0-9a-fA-F]{32})/(?<size>[0-9]+)(/(?<flags>[a-zA-Z0-9]*))?",RegexOptions.IgnoreCase|RegexOptions.ExplicitCapture)]
 return false; // The input didn't match.
}
- if (slice.Slice(0, 32).IndexOfAnyExcept(Utilities.s_asciiHexDigits) >= 0)+ if (slice.Slice(0, 32).ContainsAnyExcept(Utilities.s_asciiHexDigits))
{
UncaptureUntil(0);
return false; // The input didn't match.

For more diff examples, see https://gist.github.com/MihuBot/47c9e3e7aadcb5bd85d2a8b35243f90d

Total bytes of base: 53924200
Total bytes of diff: 53924088
Total bytes of delta: -112 (-0.00 % of base)
Total relative delta: -0.02
diff is an improvement.
relative diff is an improvement.

For a list of JIT diff improvements, see Improvements.md

Sample source code for further analysis
conststringJsonPath="RegexResults-978.json";if(!File.Exists(JsonPath)){awaitusingvararchiveStream=awaitnewHttpClient().GetStreamAsync("https://mihubot.xyz/r/EogtjSRA");usingvararchive=newZipArchive(archiveStream,ZipArchiveMode.Read);archive.Entries.First(e =>e.Name=="Results.json").ExtractToFile(JsonPath);}usingFileStreamjsonFileStream=File.OpenRead(JsonPath);RegexEntry[]entries=JsonSerializer.Deserialize<RegexEntry[]>(jsonFileStream,newJsonSerializerOptions{IncludeFields=true})!;Console.WriteLine($"Working with {entries.Length} patterns");recordKnownPattern(stringPattern,RegexOptionsOptions,intCount);sealedclassRegexEntry{publicrequiredKnownPatternRegex{get;set;}publicrequiredstringMainSource{get;set;}publicrequiredstringPrSource{get;set;}publicstring?FullDiff{get;set;}publicstring?ShortDiff{get;set;}public(stringName,stringValues)[]?SearchValuesOfChar{get;set;}public(string[]Values,StringComparisonComparisonType)[]?SearchValuesOfString{get;set;}}

@stephentoubstephentoub left a comment

Copy link
Copy Markdown
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thanks

@danmoseley
danmoseley merged commit 5a8f405 into dotnet:mainFeb 2, 2025
grendello added a commit to grendello/runtime that referenced this pull request Feb 3, 2025
* main:
System.Net.Http.WinHttpHandler.StartRequestAsync assertion failed (dotnet#109799)
Keep test PDB in helix payload for native AOT (dotnet#111949)
Build the RID-specific System.IO.Ports packages in the VMR (dotnet#112054)
Always inline number conversions (dotnet#112061)
Use Contains{Any} in Regex source generator (dotnet#112065)
Update dependencies from https://github.com/dotnet/arcade build 20250130.5 (dotnet#112013)
JIT: Transform single-reg args to FIELD_LIST in physical promotion (dotnet#111590)
Ensure that math calls into the CRT are tracked as needing vzeroupper (dotnet#112011)
Use double.ConvertToIntegerNative where safe to do in System.Random (dotnet#112046)
JIT: Compute `fgCalledCount` after synthesis (dotnet#112041)
Simplify boolean logic in `TimeZoneInfo` (dotnet#112062)
JIT: Update type when return temp is freshly created (dotnet#111948)
Remove unused build controls and simplify DotNetBuild.props (dotnet#111986)
Fix case-insensitive JSON deserialization of enum member names (dotnet#112028)
WasmAppBuilder: Remove double computation of a value (dotnet#112047)
Disable LTCG for brotli and zlibng. (dotnet#111805)
JIT: Improve x86 unsigned to floating cast codegen (dotnet#111595)
simplify x86 special intrinsic imports (dotnet#111836)
JIT: Try to retain entry weight during profile synthesis (dotnet#111971)
Fix explicit offset of ByRefLike fields. (dotnet#111584)
@github-actionsgithub-actionsBot locked and limited conversation to collaborators Mar 5, 2025
Sign up for freeto subscribe to this conversation on GitHub. Already have an account? Sign in.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants

@MihaZupan@MihuBot@stephentoub@danmoseley