From: Noah Goldstein Date: Wed, 23 Jun 2021 23:19:34 +0000 (-0400) Subject: x86: Remove unnecessary overflow check from wcsnlen-sse4_1.S X-Git-Tag: glibc-2.34~219 X-Git-Url: http://git.ipfire.org/?a=commitdiff_plain;h=08cbcd4dbc686bb38ec3093aff2f919fbff5ec17;p=thirdparty%2Fglibc.git x86: Remove unnecessary overflow check from wcsnlen-sse4_1.S No bug. The way wcsnlen will check if near the end of maxlen is the following macro: mov %r11, %rsi; \ subq %rax, %rsi; \ andq $-64, %rax; \ testq $-64, %rsi; \ je L(strnlen_ret) Which words independently of s + maxlen overflowing. So the second overflow check is unnecissary for correctness and just extra overhead in the common no overflow case. test-strlen.c, test-wcslen.c, test-strnlen.c and test-wcsnlen.c are all passing Signed-off-by: Noah Goldstein Reviewed-by: H.J. Lu --- diff --git a/sysdeps/x86_64/multiarch/strlen-vec.S b/sysdeps/x86_64/multiarch/strlen-vec.S index 439e486a431..b7657282bd2 100644 --- a/sysdeps/x86_64/multiarch/strlen-vec.S +++ b/sysdeps/x86_64/multiarch/strlen-vec.S @@ -71,19 +71,12 @@ L(n_nonzero): suffice. */ mov %RSI_LP, %R10_LP sar $62, %R10_LP - test %R10_LP, %R10_LP jnz __wcslen_sse4_1 sal $2, %RSI_LP # endif - /* Initialize long lived registers. */ - add %RDI_LP, %RSI_LP -# ifdef AS_WCSLEN -/* Check for overflow again from s + maxlen * sizeof(wchar_t). */ - jbe __wcslen_sse4_1 -# endif mov %RSI_LP, %R10_LP and $-64, %R10_LP mov %RSI_LP, %R11_LP