Re: [PATCH v2 3/9] bitops: Introduce a more generic BITMASK macro

[Chen Gong]

On Wed, Oct 16, 2013 at 11:58:56PM -0700, Joe Perches wrote:
> Date: Wed, 16 Oct 2013 23:58:56 -0700
> From: Joe Perches <joe@xxxxxxxxxxx>
> To: Chen Gong <gong.chen@xxxxxxxxxxxxxxx>
> Cc: tony.luck@xxxxxxxxx, bp@xxxxxxxxx, naveen.n.rao@xxxxxxxxxxxxxxxxxx,
>  m.chehab@xxxxxxxxxxx, arozansk@xxxxxxxxxx, linux-acpi@xxxxxxxxxxxxxxx,
>  linux-kernel@xxxxxxxxxxxxxxx, Thomas Winischhofer
>  <thomas@xxxxxxxxxxxxxxxx>, Jean-Christophe Plagniol-Villard
>  <plagnioj@xxxxxxxxxxxx>, Tomi Valkeinen <tomi.valkeinen@xxxxxx>
> Subject: Re: [PATCH v2 3/9] bitops: Introduce a more generic BITMASK macro
> X-Mailer: Evolution 3.6.4-0ubuntu1 
> 
> On Thu, 2013-10-17 at 02:30 -0400, Chen Gong wrote:
> > On Wed, Oct 16, 2013 at 07:59:09PM -0700, Joe Perches wrote:
> []
> > > Maybe add a
> > > 
> > > BUILD_BUG_ON(__builtin_constant_p(l) && __builtin_constant_p(h) && \
> > > 	     (h) < (l))
> > > 
> > No, if so, users can't use variables for this macro.
> 
> __builtin_constant_p checks for constants
> 
> Built-in Function: int __builtin_constant_p (exp)
>         You can use the built-in function __builtin_constant_p to
>         determine if a value is known to be constant at compile-time and
>         hence that GCC can perform constant-folding on expressions
>         involving that value. The argument of the function is the value
>         to test. The function returns the integer 1 if the argument is
>         known to be a compile-time constant and 0 if it is not known to
>         be a compile-time constant. A return of 0 does not indicate that
>         the value is not a constant, but merely that GCC cannot prove it
>         is a constant with the specified value of the -O option. 
>         

Yes, even we have following codes __builtin_constant_p still can return 1,
so long as the value of variable can be identified.

int len = sizeof(int);
if (__builtin_constant_p(len)) {
        do_1;
} else {
        do_0;
}

but the point is we can use GENMASK like GENMASK(end_bit, start_bit) but
we don't know the value of end_bit/start_bit at compile-time.

Attachment: signature.asc
Description: Digital signature