Messages in this thread | | | From | Vincent MAILHOL <> | Date | Thu, 1 Sep 2022 19:30:10 +0900 | Subject | Re: [PATCH v6 0/2] x86/asm/bitops: optimize ff{s,z} functions for constant expressions |
| |
On Tue. 1 sept. 2022 at 12:49, Yury Norov <yury.norov@gmail.com> wrote: > On Wed, Aug 31, 2022 at 01:54:01AM -0700, Yury Norov wrote: > > On Wed, Aug 31, 2022 at 04:57:40PM +0900, Vincent Mailhol wrote: > > > The compilers provide some builtin expression equivalent to the ffs(), > > > __ffs() and ffz() functions of the kernel. The kernel uses optimized > > > assembly which produces better code than the builtin > > > functions. However, such assembly code can not be folded when used > > > with constant expressions. > > > > > > This series relies on __builtin_constant_p to select the optimal solution: > > > > > > * use kernel assembly for non constant expressions > > > > > > * use compiler's __builtin function for constant expressions. > > > > > > > > > ** Statistics ** > > > > > > Patch 1/2 optimizes 26.7% of ffs() calls and patch 2/2 optimizes 27.9% > > > of __ffs() and ffz() calls (details of the calculation in each patch). > > > > Hi Vincent, > > > > Can you please add a test for this? We've recently added a very similar > > test_bitmap_const_eval() in lib/test_bitmap.c. > > > > dc34d5036692c ("lib: test_bitmap: add compile-time optimization/evaluations > > assertions") > > > > Would be nice to have something like this for ffs() and ffz() in > > lib/test_bitops.c. > > > > Please keep me in loop in case of new versions.
Hi Yury,
My patch only takes care of the x86 architecture. Assuming some other architectures are not optimized yet, adding such a test might break some builds. I am fine with adding the test, however, I will not write patches for the other architecture because I do not have the environment to compile and test it.
Does it still make sense to add the test before fixing all the architectures?
> Also, what about fls? Is there any difference with ffs/ffz wrt compile > time optimizations? If not, would be great if the series will take > care of it too.
Agree. The fls() and fls64() can use __builtin_ctz() and __builtin_ctzll(). However, those two functions are a bit less trivial. I wanted to have this first series approved first before working on *fls*().
Yours sincerely, Vincent Mailhol
| |