-
Notifications
You must be signed in to change notification settings - Fork 12.8k
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Auto merge of #76971 - bugadani:issue-75659, r=Amanieu
Refactor memchr to allow optimization Closes #75659 The implementation already uses naive search if the slice if short enough, but the case is complicated enough to not be optimized away. This PR refactors memchr so that it exists early when the slice is short enough. Codegen-wise, as shown in #75659, memchr was not inlined previously so the only way I could find to test this is to check if there is no memchr call. Let me know if there is a more robust solution here.
- Loading branch information
Showing
4 changed files
with
90 additions
and
16 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,63 @@ | ||
// This test checks that the call to memchr/slice_contains is optimized away | ||
// when searching in small slices. | ||
|
||
// compile-flags: -O | ||
// only-x86_64 | ||
|
||
#![crate_type = "lib"] | ||
|
||
// CHECK-LABEL: @foo1 | ||
#[no_mangle] | ||
pub fn foo1(x: u8, data: &[u8; 1]) -> bool { | ||
// CHECK-NOT: memchr | ||
// CHECK-NOT: slice_contains | ||
data.contains(&x) | ||
} | ||
|
||
// CHECK-LABEL: @foo2 | ||
#[no_mangle] | ||
pub fn foo2(x: u8, data: &[u8; 2]) -> bool { | ||
// CHECK-NOT: memchr | ||
// CHECK-NOT: slice_contains | ||
data.contains(&x) | ||
} | ||
|
||
// CHECK-LABEL: @foo3 | ||
#[no_mangle] | ||
pub fn foo3(x: u8, data: &[u8; 3]) -> bool { | ||
// CHECK-NOT: memchr | ||
// CHECK-NOT: slice_contains | ||
data.contains(&x) | ||
} | ||
|
||
// CHECK-LABEL: @foo4 | ||
#[no_mangle] | ||
pub fn foo4(x: u8, data: &[u8; 4]) -> bool { | ||
// CHECK-NOT: memchr | ||
// CHECK-NOT: slice_contains | ||
data.contains(&x) | ||
} | ||
|
||
// CHECK-LABEL: @foo8 | ||
#[no_mangle] | ||
pub fn foo8(x: u8, data: &[u8; 8]) -> bool { | ||
// CHECK-NOT: memchr | ||
// CHECK-NOT: slice_contains | ||
data.contains(&x) | ||
} | ||
|
||
// CHECK-LABEL: @foo8_i8 | ||
#[no_mangle] | ||
pub fn foo8_i8(x: i8, data: &[i8; 8]) -> bool { | ||
// CHECK-NOT: memchr | ||
// CHECK-NOT: slice_contains | ||
!data.contains(&x) | ||
} | ||
|
||
// Check that the general case isn't inlined | ||
// CHECK-LABEL: @foo80 | ||
#[no_mangle] | ||
pub fn foo80(x: u8, data: &[u8; 80]) -> bool { | ||
// CHECK: call core::slice::memchr | ||
data.contains(&x) | ||
} |