linux-kernel - Re: [PATCH 1/2] x86/bitops: implement __test

lists.openwall.net		lists / announce owl-users owl-dev john-users john-dev passwdqc-users yescrypt popa3d-users / oss-security kernel-hardening musl sabotage tlsify passwords / crypt-dev xvendor / Bugtraq Full-Disclosure linux-kernel linux-netdev linux-ext4 linux-hardening linux-cve-announce PHC
Open Source and information security mailing list archives

Hash Suite: Windows password security audit tool. GUI, reports in PDF.

[<prev] [next>] [<thread-prev] [thread-next>] [day] [month] [year] [list]

Message-Id: <663BA998-C2EF-4FEA-964A-72BA2521E62D@gmail.com>
Date:	Mon, 31 Aug 2015 16:15:02 +0800
From:	yalin wang <yalin.wang2010@...il.com>
To:	Ingo Molnar <mingo@...nel.org>
Cc:	"Michael S. Tsirkin" <mst@...hat.com>,
	"H. Peter Anvin" <hpa@...or.com>,
	lkml <linux-kernel@...r.kernel.org>,
	Thomas Gleixner <tglx@...utronix.de>,
	Ingo Molnar <mingo@...hat.com>, x86@...nel.org,
	Rusty Russell <rusty@...tcorp.com.au>,
	Linus Torvalds <torvalds@...ux-foundation.org>
Subject: Re: [PATCH 1/2] x86/bitops: implement __test_bit


> On Aug 31, 2015, at 15:59, Ingo Molnar <mingo@...nel.org> wrote:
> 
> 
> * Michael S. Tsirkin <mst@...hat.com> wrote:
> 
>> On Sun, Aug 30, 2015 at 11:13:20PM -0700, H. Peter Anvin wrote:
>>> Presumably because gcc can't generate bt... whether or not it is worth it is another matter.
>>> 
>>> On August 30, 2015 11:05:49 PM PDT, Ingo Molnar <mingo@...nel.org> wrote:
>>>> 
>>>> * Michael S. Tsirkin <mst@...hat.com> wrote:
>>>> 
>>>>> +static __always_inline int __constant_test_bit(long nr, const
>>>> unsigned long *addr)
>>>>> +{
>>>>> +	return ((1UL << (nr & (BITS_PER_LONG-1))) &
>>>>> +		(addr[nr >> _BITOPS_LONG_SHIFT])) != 0;
>>>>> +}
>>>>> +
>>>>> +static inline int __variable_test_bit(long nr, const unsigned long
>>>> *addr)
>>>>> +{
>>>>> +	int oldbit;
>>>>> +
>>>>> +	asm volatile("bt %2,%1\n\t"
>>>>> +		     "sbb %0,%0"
>>>>> +		     : "=r" (oldbit)
>>>>> +		     : "m" (*addr), "Ir" (nr));
>>>>> +
>>>>> +	return oldbit;
>>>>> +}
>>>> 
>>>> Color me confused, why use assembly for this at all?
>>>> 
>>>> Why not just use C for testing the bit (i.e. turn __constant_test_bit()
>>>> into 
>>>> __test_bit()) - that would also allow the compiler to propagate the
>>>> result, 
>>>> potentially more optimally than we can do it via SBB...
>>>> 
>>>> Thanks,
>>>> 
>>>> 	Ingo
>> 
>> Exactly:
>> 
>> 
>> Disassembly of section .text:
>> 
>> 00000000 <__variable_test_bit>:
>> __variable_test_bit():
>>   0:   8b 54 24 08             mov    0x8(%esp),%edx
>>   4:   8b 44 24 04             mov    0x4(%esp),%eax
>>   8:   0f a3 02                bt     %eax,(%edx)
>>   b:   19 c0                   sbb    %eax,%eax
>>   d:   c3                      ret    
>>   e:   66 90                   xchg   %ax,%ax
>> 
>> 00000010 <__constant_test_bit>:
>> __constant_test_bit():
>>  10:   8b 4c 24 04             mov    0x4(%esp),%ecx
>>  14:   8b 44 24 08             mov    0x8(%esp),%eax
>>  18:   89 ca                   mov    %ecx,%edx
>>  1a:   c1 fa 04                sar    $0x4,%edx
>>  1d:   8b 04 90                mov    (%eax,%edx,4),%eax
>>  20:   d3 e8                   shr    %cl,%eax
>>  22:   83 e0 01                and    $0x1,%eax
>>  25:   c3                      ret    
> 
> But that's due to the forced interface of generating a return code. Please compare 
> it at an inlined usage site, where GCC is free to do the comparison directly and 
> use the result in flags.
just curious :
it seems __variable_test_bit()  use less instructions,
why not always use __variable_test_bit() , remove __constant_test_bit() version ?

Thanks




--
To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a message to majordomo@...r.kernel.org
More majordomo info at  http://vger.kernel.org/majordomo-info.html
Please read the FAQ at  http://www.tux.org/lkml/