Skip to content

Unroll String.Equals for constant input [0..16] length #64821

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Closed
EgorBo wants to merge 21 commits into from
Closed

Unroll String.Equals for constant input [0..16] length #64821

Changes from 1 commit
Commits
Show all changes
21 commits
Select commit Hold shift + click to select a range
65d29fb
Unroll Equals too
EgorBo Feb 5, 2022
11941a4
remove irrelevant comment
EgorBo Feb 5, 2022
aef78ef
formatting
EgorBo Feb 5, 2022
60fb02f
better codegen
EgorBo Feb 5, 2022
23f5a29
Reformat
EgorBo Feb 5, 2022
6bdd6b0
Inliner's friendly version
EgorBo Feb 5, 2022
3257a51
Clean up
EgorBo Feb 5, 2022
fb9b881
Fix SIMD impl, clean up. Remove StartsWith for now - leaving it up-fo…
EgorBo Feb 5, 2022
3097c5b
Clean up again
EgorBo Feb 5, 2022
05ccb49
Address feedback
EgorBo Feb 5, 2022
b838215
Update src/libraries/System.Private.CoreLib/src/System/String.Compari…
EgorBo Feb 5, 2022
9817514
Add a comment
EgorBo Feb 5, 2022
3def0ac
Merge branch 'unroll-startswith' of https://github.com/EgorBo/runtime…
EgorBo Feb 5, 2022
49871fd
simple change, big codegen diff O_o
EgorBo Feb 5, 2022
147647d
Update src/libraries/System.Private.CoreLib/src/System/String.Compari…
EgorBo Feb 5, 2022
6f82123
address feedback
EgorBo Feb 5, 2022
4b7b810
Clean up
EgorBo Feb 5, 2022
8cc4dc2
only fold index expression in global morph
EgorBo Feb 5, 2022
d195951
Merge branch 'main' of https://github.com/dotnet/runtime into unroll-…
EgorBo Feb 9, 2022
e0bd4ba
Add tests
EgorBo Feb 10, 2022
a27a975
do 8-char longs strings via SIMD path - it's smaller
EgorBo Feb 10, 2022
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Prev Previous commit
do 8-char longs strings via SIMD path - it's smaller
  • Loading branch information
@EgorBo
EgorBo committed Feb 10, 2022
commit a27a975f34228c6c1ed9a1e2f5bbc25d85814e6f
8 changes: 4 additions & 4 deletions src/libraries/System.Private.CoreLib/src/System/String.Comparison.cs
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -689,9 +689,9 @@ public static bool Equals(string? a, string? b)
if (RuntimeHelpers.IsKnownConstant(b) && !RuntimeHelpers.IsKnownConstant(a) && b != null)
{
// Unroll using SWAR
if (b.Length <= 8)
if (b.Length <= 7)
{
return EqualsUnrolled_0_to_8(a, b);
return EqualsUnrolled_0_to_7(a, b);
}
// Unroll using two Vector128s
else if (b.Length <= 16 && Vector128.IsHardwareAccelerated)
Expand All @@ -704,7 +704,7 @@ public static bool Equals(string? a, string? b)
}

[MethodImpl(MethodImplOptions.AggressiveInlining)]
static bool EqualsUnrolled_0_to_8(string? a, string b)
static bool EqualsUnrolled_0_to_7(string? a, string b)
{
if (a != null)
{
Expand Down Expand Up @@ -746,7 +746,7 @@ static bool EqualsUnrolled_0_to_8(string? a, string b)
return a.Length == 4 && v1 == cns1;
}

// Handle Length [5..8] via two ulong (overlapped)
// Handle Length [5..7] via two ulong (overlapped)
return a.Length == b.Length && v1 == cns1 &&
ReadUInt64(a, b.Length - 4) == (((ulong)b[b.Length - 1] << 48) |
((ulong)b[b.Length - 2] << 32) |
Expand Down