From: Jakub Jelinek <jakub@redhat.com>
To: Joseph Myers <joseph@codesourcery.com>
Cc: gcc-patches@gcc.gnu.org, Florian Weimer <fweimer@redhat.com>
Subject: Re: [PATCH] c: Add __builtin_stdc_bit_{width,floor,ceil} builtins
Date: Mon, 20 Nov 2023 16:03:07 +0100 [thread overview]
Message-ID: <ZVt1KWoZxoRrv9sa@tucnak> (raw)
In-Reply-To: <c664e0cd-ce8-1d99-353-a6e12e91d95@codesourcery.com>
On Mon, Nov 20, 2023 at 02:55:33PM +0000, Joseph Myers wrote:
> On Sat, 18 Nov 2023, Jakub Jelinek wrote:
>
> > +@defbuiltin{@var{type} __builtin_stdc_bit_ceil (@var{type} @var{arg})}
> > +The @code{__builtin_stdc_bit_ceil} function is available only
> > +in C. It is type-generic, the argument can be any unsigned integer
> > +(standard, extended or bit-precise). No integral argument promotions are
> > +performed on the argument. It is equivalent to
> > +@code{@var{arg} <= 1 ? (@var{type}) 1
> > +: (@var{type}) 1 << (@var{prec} - __builtin_clzg ((@var{type}) (@var{arg} - 1)))}
> > +where @var{prec} is bit width of @var{type}, except that side-effects
> > +in @var{arg} are evaluated just once.
> > +@enddefbuiltin
>
> Note that stdc_bit_ceil now has defined behavior (return 0) on overflow:
> CD2 comment FR-135 was accepted for the DIS at the June WG14 meeting.
> This affects both the documentation and the implementation, as they need
> to avoid an undefined shift by the width of the type. That's why my
> stdbit.h implementations have two shifts (not claiming that's necessarily
> the optimal way of ensuring the correct result in the overflow case).
>
> return __x <= 1 ? 1 : ((uint64_t) 1) << (__bw64_inline (__x - 1) - 1) << 1;
Given the feedback from Richi I've in the meantime reworked the patch to
add all 14 builtins (but because the enum rid is very close to 256 values
and with 14 new ones was already 7 too many, used one RID value for all 14
builtins (different spellings)).
Will need to rework it for CD2 FR-135 then...
2023-11-20 Jakub Jelinek <jakub@redhat.com>
gcc/
* doc/extend.texi (__builtin_stdc_bit_ceil, __builtin_stdc_bit_floor,
__builtin_stdc_bit_width, __builtin_stdc_count_ones,
__builtin_stdc_count_zeros, __builtin_stdc_first_leading_one,
__builtin_stdc_first_leading_zero, __builtin_stdc_first_trailing_one,
__builtin_stdc_first_trailing_zero, __builtin_stdc_has_single_bit,
__builtin_stdc_leading_ones, __builtin_stdc_leading_zeros,
__builtin_stdc_trailing_ones, __builtin_stdc_trailing_zeros): Document.
gcc/c-family/
* c-common.h (enum rid): Add RID_BUILTIN_STDC: New.
* c-common.cc (c_common_reswords): Add __builtin_stdc_bit_ceil,
__builtin_stdc_bit_floor, __builtin_stdc_bit_width,
__builtin_stdc_count_ones, __builtin_stdc_count_zeros,
__builtin_stdc_first_leading_one, __builtin_stdc_first_leading_zero,
__builtin_stdc_first_trailing_one, __builtin_stdc_first_trailing_zero,
__builtin_stdc_has_single_bit, __builtin_stdc_leading_ones,
__builtin_stdc_leading_zeros, __builtin_stdc_trailing_ones and
__builtin_stdc_trailing_zeros. Move __builtin_assoc_barrier
alphabetically earlier.
gcc/c/
* c-parser.cc (c_parser_postfix_expression): Handle RID_BUILTIN_STDC.
* c-decl.cc (names_builtin_p): Likewise.
gcc/testsuite/
* gcc.dg/builtin-stdc-bit-1.c: New test.
* gcc.dg/builtin-stdc-bit-2.c: New test.
--- gcc/c-family/c-common.h.jj 2023-11-20 09:49:34.760674813 +0100
+++ gcc/c-family/c-common.h 2023-11-20 13:55:50.691612365 +0100
@@ -106,10 +106,10 @@ enum rid
/* C extensions */
RID_ASM, RID_TYPEOF, RID_TYPEOF_UNQUAL, RID_ALIGNOF, RID_ATTRIBUTE,
RID_VA_ARG,
- RID_EXTENSION, RID_IMAGPART, RID_REALPART, RID_LABEL, RID_CHOOSE_EXPR,
- RID_TYPES_COMPATIBLE_P, RID_BUILTIN_COMPLEX, RID_BUILTIN_SHUFFLE,
- RID_BUILTIN_SHUFFLEVECTOR, RID_BUILTIN_CONVERTVECTOR, RID_BUILTIN_TGMATH,
- RID_BUILTIN_HAS_ATTRIBUTE, RID_BUILTIN_ASSOC_BARRIER,
+ RID_EXTENSION, RID_IMAGPART, RID_REALPART, RID_LABEL, RID_CHOOSE_EXPR,
+ RID_TYPES_COMPATIBLE_P, RID_BUILTIN_COMPLEX, RID_BUILTIN_SHUFFLE,
+ RID_BUILTIN_SHUFFLEVECTOR, RID_BUILTIN_CONVERTVECTOR, RID_BUILTIN_TGMATH,
+ RID_BUILTIN_HAS_ATTRIBUTE, RID_BUILTIN_ASSOC_BARRIER, RID_BUILTIN_STDC,
RID_DFLOAT32, RID_DFLOAT64, RID_DFLOAT128,
/* TS 18661-3 keywords, in the same sequence as the TI_* values. */
--- gcc/c-family/c-common.cc.jj 2023-11-20 09:49:34.691675777 +0100
+++ gcc/c-family/c-common.cc 2023-11-20 13:55:40.104758727 +0100
@@ -380,6 +380,7 @@ const struct c_common_resword c_common_r
{ "__attribute__", RID_ATTRIBUTE, 0 },
{ "__auto_type", RID_AUTO_TYPE, D_CONLY },
{ "__builtin_addressof", RID_ADDRESSOF, D_CXXONLY },
+ { "__builtin_assoc_barrier", RID_BUILTIN_ASSOC_BARRIER, 0 },
{ "__builtin_bit_cast", RID_BUILTIN_BIT_CAST, D_CXXONLY },
{ "__builtin_call_with_static_chain",
RID_BUILTIN_CALL_WITH_STATIC_CHAIN, D_CONLY },
@@ -388,9 +389,22 @@ const struct c_common_resword c_common_r
{ "__builtin_convertvector", RID_BUILTIN_CONVERTVECTOR, 0 },
{ "__builtin_has_attribute", RID_BUILTIN_HAS_ATTRIBUTE, 0 },
{ "__builtin_launder", RID_BUILTIN_LAUNDER, D_CXXONLY },
- { "__builtin_assoc_barrier", RID_BUILTIN_ASSOC_BARRIER, 0 },
{ "__builtin_shuffle", RID_BUILTIN_SHUFFLE, 0 },
{ "__builtin_shufflevector", RID_BUILTIN_SHUFFLEVECTOR, 0 },
+ { "__builtin_stdc_bit_ceil", RID_BUILTIN_STDC, D_CONLY },
+ { "__builtin_stdc_bit_floor", RID_BUILTIN_STDC, D_CONLY },
+ { "__builtin_stdc_bit_width", RID_BUILTIN_STDC, D_CONLY },
+ { "__builtin_stdc_count_ones", RID_BUILTIN_STDC, D_CONLY },
+ { "__builtin_stdc_count_zeros", RID_BUILTIN_STDC, D_CONLY },
+ { "__builtin_stdc_first_leading_one", RID_BUILTIN_STDC, D_CONLY },
+ { "__builtin_stdc_first_leading_zero", RID_BUILTIN_STDC, D_CONLY },
+ { "__builtin_stdc_first_trailing_one", RID_BUILTIN_STDC, D_CONLY },
+ { "__builtin_stdc_first_trailing_zero", RID_BUILTIN_STDC, D_CONLY },
+ { "__builtin_stdc_has_single_bit", RID_BUILTIN_STDC, D_CONLY },
+ { "__builtin_stdc_leading_ones", RID_BUILTIN_STDC, D_CONLY },
+ { "__builtin_stdc_leading_zeros", RID_BUILTIN_STDC, D_CONLY },
+ { "__builtin_stdc_trailing_ones", RID_BUILTIN_STDC, D_CONLY },
+ { "__builtin_stdc_trailing_zeros", RID_BUILTIN_STDC, D_CONLY },
{ "__builtin_tgmath", RID_BUILTIN_TGMATH, D_CONLY },
{ "__builtin_offsetof", RID_OFFSETOF, 0 },
{ "__builtin_types_compatible_p", RID_TYPES_COMPATIBLE_P, D_CONLY },
--- gcc/doc/extend.texi.jj 2023-11-20 10:37:47.181394361 +0100
+++ gcc/doc/extend.texi 2023-11-20 12:23:04.218820519 +0100
@@ -15075,6 +15075,125 @@ unsigned integer (standard, extended or
promotions are performed on the argument.
@enddefbuiltin
+@defbuiltin{@var{type} __builtin_stdc_bit_ceil (@var{type} @var{arg})}
+The @code{__builtin_stdc_bit_ceil} function is available only
+in C. It is type-generic, the argument can be any unsigned integer
+(standard, extended or bit-precise). No integral argument promotions are
+performed on the argument. It is equivalent to
+@code{@var{arg} <= 1 ? (@var{type}) 1
+: (@var{type}) 1 << (@var{prec} - __builtin_clzg ((@var{type}) (@var{arg} - 1)))}
+where @var{prec} is bit width of @var{type}, except that side-effects
+in @var{arg} are evaluated just once.
+@enddefbuiltin
+
+@defbuiltin{@var{type} __builtin_stdc_bit_floor (@var{type} @var{arg})}
+The @code{__builtin_stdc_bit_floor} function is available only
+in C. It is type-generic, the argument can be any unsigned integer
+(standard, extended or bit-precise). No integral argument promotions are
+performed on the argument. It is equivalent to
+@code{@var{arg} == 0 ? (@var{type}) 0
+: (@var{type}) 1 << (@var{prec} - 1 - __builtin_clzg (@var{arg}))}
+where @var{prec} is bit width of @var{type}, except that side-effects
+in @var{arg} are evaluated just once.
+@enddefbuiltin
+
+@defbuiltin{unsigned int __builtin_stdc_bit_width (@var{type} @var{arg})}
+The @code{__builtin_stdc_bit_width} function is available only
+in C. It is type-generic, the argument can be any unsigned integer
+(standard, extended or bit-precise). No integral argument promotions are
+performed on the argument. It is equivalent to
+@code{(unsigned int) (@var{prec} - __builtin_clzg (@var{arg}, @var{prec}))}
+where @var{prec} is bit width of @var{type}.
+@enddefbuiltin
+
+@defbuiltin{unsigned int __builtin_stdc_count_ones (@var{type} @var{arg})}
+The @code{__builtin_stdc_count_ones} function is available only
+in C. It is type-generic, the argument can be any unsigned integer
+(standard, extended or bit-precise). No integral argument promotions are
+performed on the argument. It is equivalent to
+@code{(unsigned int) __builtin_popcountg (@var{arg})}
+@enddefbuiltin
+
+@defbuiltin{unsigned int __builtin_stdc_count_zeros (@var{type} @var{arg})}
+The @code{__builtin_stdc_count_zeros} function is available only
+in C. It is type-generic, the argument can be any unsigned integer
+(standard, extended or bit-precise). No integral argument promotions are
+performed on the argument. It is equivalent to
+@code{(unsigned int) __builtin_popcountg ((@var{type}) ~@var{arg})}
+@enddefbuiltin
+
+@defbuiltin{unsigned int __builtin_stdc_first_leading_one (@var{type} @var{arg})}
+The @code{__builtin_stdc_first_leading_one} function is available only
+in C. It is type-generic, the argument can be any unsigned integer
+(standard, extended or bit-precise). No integral argument promotions are
+performed on the argument. It is equivalent to
+@code{__builtin_clzg (@var{arg}, -1) + 1U}
+@enddefbuiltin
+
+@defbuiltin{unsigned int __builtin_stdc_first_leading_zero (@var{type} @var{arg})}
+The @code{__builtin_stdc_first_leading_zero} function is available only
+in C. It is type-generic, the argument can be any unsigned integer
+(standard, extended or bit-precise). No integral argument promotions are
+performed on the argument. It is equivalent to
+@code{__builtin_clzg ((@var{type}) ~@var{arg}, -1) + 1U}
+@enddefbuiltin
+
+@defbuiltin{unsigned int __builtin_stdc_first_trailing_one (@var{type} @var{arg})}
+The @code{__builtin_stdc_first_trailing_one} function is available only
+in C. It is type-generic, the argument can be any unsigned integer
+(standard, extended or bit-precise). No integral argument promotions are
+performed on the argument. It is equivalent to
+@code{__builtin_ctzg (@var{arg}, -1) + 1U}
+@enddefbuiltin
+
+@defbuiltin{unsigned int __builtin_stdc_first_trailing_zero (@var{type} @var{arg})}
+The @code{__builtin_stdc_first_trailing_zero} function is available only
+in C. It is type-generic, the argument can be any unsigned integer
+(standard, extended or bit-precise). No integral argument promotions are
+performed on the argument. It is equivalent to
+@code{__builtin_ctzg ((@var{type}) ~@var{arg}, -1) + 1U}
+@enddefbuiltin
+
+@defbuiltin{unsigned int __builtin_stdc_has_single_bit (@var{type} @var{arg})}
+The @code{__builtin_stdc_has_single_bit} function is available only
+in C. It is type-generic, the argument can be any unsigned integer
+(standard, extended or bit-precise). No integral argument promotions are
+performed on the argument. It is equivalent to
+@code{(_Bool) (__builtin_popcountg (@var{arg}) == 1)}
+@enddefbuiltin
+
+@defbuiltin{unsigned int __builtin_stdc_leading_ones (@var{type} @var{arg})}
+The @code{__builtin_stdc_leading_ones} function is available only
+in C. It is type-generic, the argument can be any unsigned integer
+(standard, extended or bit-precise). No integral argument promotions are
+performed on the argument. It is equivalent to
+@code{(unsigned int) __builtin_clzg ((@var{type}) ~@var{arg}, @var{prec})}
+@enddefbuiltin
+
+@defbuiltin{unsigned int __builtin_stdc_leading_zeros (@var{type} @var{arg})}
+The @code{__builtin_stdc_leading_zeros} function is available only
+in C. It is type-generic, the argument can be any unsigned integer
+(standard, extended or bit-precise). No integral argument promotions are
+performed on the argument. It is equivalent to
+@code{(unsigned int) __builtin_clzg (@var{arg}, @var{prec})}
+@enddefbuiltin
+
+@defbuiltin{unsigned int __builtin_stdc_trailing_ones (@var{type} @var{arg})}
+The @code{__builtin_stdc_trailing_ones} function is available only
+in C. It is type-generic, the argument can be any unsigned integer
+(standard, extended or bit-precise). No integral argument promotions are
+performed on the argument. It is equivalent to
+@code{(unsigned int) __builtin_ctzg ((@var{type}) ~@var{arg}, @var{prec})}
+@enddefbuiltin
+
+@defbuiltin{unsigned int __builtin_stdc_trailing_zeros (@var{type} @var{arg})}
+The @code{__builtin_stdc_trailing_zeros} function is available only
+in C. It is type-generic, the argument can be any unsigned integer
+(standard, extended or bit-precise). No integral argument promotions are
+performed on the argument. It is equivalent to
+@code{(unsigned int) __builtin_ctzg (@var{arg}, @var{prec})}
+@enddefbuiltin
+
@defbuiltin{double __builtin_powi (double, int)}
@defbuiltinx{float __builtin_powif (float, int)}
@defbuiltinx{{long double} __builtin_powil (long double, int)}
--- gcc/c/c-parser.cc.jj 2023-11-20 09:49:34.778674562 +0100
+++ gcc/c/c-parser.cc 2023-11-20 14:39:36.457423933 +0100
@@ -11743,6 +11743,292 @@ c_parser_postfix_expression (c_parser *p
set_c_expr_source_range (&expr, start_loc, end_loc);
}
break;
+ case RID_BUILTIN_STDC:
+ {
+ vec<c_expr_t, va_gc> *cexpr_list;
+ c_expr_t *arg_p;
+ location_t close_paren_loc;
+ enum c_builtin_stdc {
+ C_BUILTIN_STDC_BIT_CEIL,
+ C_BUILTIN_STDC_BIT_FLOOR,
+ C_BUILTIN_STDC_BIT_WIDTH,
+ C_BUILTIN_STDC_COUNT_ONES,
+ C_BUILTIN_STDC_COUNT_ZEROS,
+ C_BUILTIN_STDC_FIRST_LEADING_ONE,
+ C_BUILTIN_STDC_FIRST_LEADING_ZERO,
+ C_BUILTIN_STDC_FIRST_TRAILING_ONE,
+ C_BUILTIN_STDC_FIRST_TRAILING_ZERO,
+ C_BUILTIN_STDC_HAS_SINGLE_BIT,
+ C_BUILTIN_STDC_LEADING_ONES,
+ C_BUILTIN_STDC_LEADING_ZEROS,
+ C_BUILTIN_STDC_TRAILING_ONES,
+ C_BUILTIN_STDC_TRAILING_ZEROS,
+ C_BUILTIN_STDC_MAX
+ } stdc_rid = C_BUILTIN_STDC_MAX;
+ const char *name
+ = IDENTIFIER_POINTER (c_parser_peek_token (parser)->value);
+ switch (name[sizeof ("__builtin_stdc_") - 1])
+ {
+ case 'b':
+ switch (name[sizeof ("__builtin_stdc_bit_") - 1])
+ {
+ case 'c':
+ stdc_rid = C_BUILTIN_STDC_BIT_CEIL;
+ break;
+ case 'f':
+ stdc_rid = C_BUILTIN_STDC_BIT_FLOOR;
+ break;
+ default:
+ stdc_rid = C_BUILTIN_STDC_BIT_WIDTH;
+ break;
+ }
+ break;
+ case 'c':
+ if (name[sizeof ("__builtin_stdc_count_") - 1] == 'o')
+ stdc_rid = C_BUILTIN_STDC_COUNT_ONES;
+ else
+ stdc_rid = C_BUILTIN_STDC_COUNT_ZEROS;
+ break;
+ case 'f':
+ switch (name[sizeof ("__builtin_stdc_first_trailing_") - 1])
+ {
+ case 'n':
+ stdc_rid = C_BUILTIN_STDC_FIRST_LEADING_ONE;
+ break;
+ case 'e':
+ stdc_rid = C_BUILTIN_STDC_FIRST_LEADING_ZERO;
+ break;
+ case 'o':
+ stdc_rid = C_BUILTIN_STDC_FIRST_TRAILING_ONE;
+ break;
+ default:
+ stdc_rid = C_BUILTIN_STDC_FIRST_TRAILING_ZERO;
+ break;
+ }
+ break;
+ case 'h':
+ stdc_rid = C_BUILTIN_STDC_HAS_SINGLE_BIT;
+ break;
+ case 'l':
+ if (name[sizeof ("__builtin_stdc_leading_") - 1] == 'o')
+ stdc_rid = C_BUILTIN_STDC_LEADING_ONES;
+ else
+ stdc_rid = C_BUILTIN_STDC_LEADING_ZEROS;
+ break;
+ case 't':
+ if (name[sizeof ("__builtin_stdc_trailing_") - 1] == 'o')
+ stdc_rid = C_BUILTIN_STDC_TRAILING_ONES;
+ else
+ stdc_rid = C_BUILTIN_STDC_TRAILING_ZEROS;
+ break;
+ }
+ gcc_checking_assert (stdc_rid != C_BUILTIN_STDC_MAX);
+
+ c_parser_consume_token (parser);
+ if (!c_parser_get_builtin_args (parser, name,
+ &cexpr_list, false,
+ &close_paren_loc))
+ {
+ expr.set_error ();
+ break;
+ }
+
+ if (vec_safe_length (cexpr_list) != 1)
+ {
+ error_at (loc, "wrong number of arguments to %qs", name);
+ expr.set_error ();
+ break;
+ }
+
+ arg_p = &(*cexpr_list)[0];
+ *arg_p = convert_lvalue_to_rvalue (loc, *arg_p, true, true);
+ if (!INTEGRAL_TYPE_P (TREE_TYPE (arg_p->value)))
+ {
+ error_at (loc, "%qs operand not an integral type", name);
+ expr.set_error ();
+ break;
+ }
+ tree arg = arg_p->value;
+ tree type = TYPE_MAIN_VARIANT (TREE_TYPE (arg));
+ /* Expand (without evaluating arg multiple times, type
+ being __typeof (arg) and prec __builtin_popcountg ((type) ~0)):
+ __builtin_stdc_leading_zeros (arg) as
+ (unsigned int) __builtin_clzg (arg, prec)
+ __builtin_stdc_leading_ones (arg) as
+ (unsigned int) __builtin_clzg ((type) ~arg, prec)
+ __builtin_stdc_trailing_zeros (arg) as
+ (unsigned int) __builtin_ctzg (arg, prec)
+ __builtin_stdc_trailing_ones (arg) as
+ (unsigned int) __builtin_ctzg ((type) ~arg, prec)
+ __builtin_stdc_first_leading_zero (arg) as
+ __builtin_clzg ((type) ~arg, -1) + 1U
+ __builtin_stdc_first_leading_one (arg) as
+ __builtin_clzg (arg, -1) + 1U
+ __builtin_stdc_first_trailing_zero (arg) as
+ __builtin_ctzg ((type) ~arg, -1) + 1U
+ __builtin_stdc_first_trailing_one (arg) as
+ __builtin_ctzg (arg, -1) + 1U
+ __builtin_stdc_count_zeros (arg) as
+ (unsigned int) __builtin_popcountg ((type) ~arg)
+ __builtin_stdc_count_ones (arg) as
+ (unsigned int) __builtin_popcountg (arg)
+ __builtin_stdc_has_single_bit (arg) as
+ (_Bool) (__builtin_popcountg (arg) == 1)
+ __builtin_stdc_bit_width (arg) as
+ (unsigned int) (prec - __builtin_clzg (arg, prec))
+ __builtin_stdc_bit_floor (arg) as
+ arg == 0 ? (type) 0
+ : (type) 1 << (prec - 1 - __builtin_clzg (arg))
+ __builtin_stdc_bit_ceil (arg) as
+ arg <= 1 ? (type) 1
+ : (type) 1 << (prec - __builtin_clzg (arg - 1)) */
+ int prec = TYPE_PRECISION (type);
+ tree barg1 = arg;
+ switch (stdc_rid)
+ {
+ case C_BUILTIN_STDC_BIT_CEIL:
+ arg = save_expr (arg);
+ barg1 = build2_loc (loc, PLUS_EXPR, type, arg,
+ build_int_cst (type, -1));
+ break;
+ case C_BUILTIN_STDC_BIT_FLOOR:
+ barg1 = arg = save_expr (arg);
+ break;
+ case C_BUILTIN_STDC_COUNT_ZEROS:
+ case C_BUILTIN_STDC_FIRST_LEADING_ZERO:
+ case C_BUILTIN_STDC_FIRST_TRAILING_ZERO:
+ case C_BUILTIN_STDC_LEADING_ONES:
+ case C_BUILTIN_STDC_TRAILING_ONES:
+ barg1 = build1_loc (loc, BIT_NOT_EXPR, type, arg);
+ break;
+ default:
+ break;
+ }
+ tree barg2 = NULL_TREE;
+ switch (stdc_rid)
+ {
+ case C_BUILTIN_STDC_BIT_WIDTH:
+ case C_BUILTIN_STDC_LEADING_ONES:
+ case C_BUILTIN_STDC_LEADING_ZEROS:
+ case C_BUILTIN_STDC_TRAILING_ONES:
+ case C_BUILTIN_STDC_TRAILING_ZEROS:
+ barg2 = build_int_cst (integer_type_node, prec);
+ break;
+ case C_BUILTIN_STDC_FIRST_LEADING_ONE:
+ case C_BUILTIN_STDC_FIRST_LEADING_ZERO:
+ case C_BUILTIN_STDC_FIRST_TRAILING_ONE:
+ case C_BUILTIN_STDC_FIRST_TRAILING_ZERO:
+ barg2 = integer_minus_one_node;
+ break;
+ default:
+ break;
+ }
+ tree fndecl = NULL_TREE;
+ switch (stdc_rid)
+ {
+ case C_BUILTIN_STDC_BIT_CEIL:
+ case C_BUILTIN_STDC_BIT_FLOOR:
+ case C_BUILTIN_STDC_BIT_WIDTH:
+ case C_BUILTIN_STDC_FIRST_LEADING_ONE:
+ case C_BUILTIN_STDC_FIRST_LEADING_ZERO:
+ case C_BUILTIN_STDC_LEADING_ONES:
+ case C_BUILTIN_STDC_LEADING_ZEROS:
+ fndecl = builtin_decl_explicit (BUILT_IN_CLZG);
+ break;
+ case C_BUILTIN_STDC_FIRST_TRAILING_ONE:
+ case C_BUILTIN_STDC_FIRST_TRAILING_ZERO:
+ case C_BUILTIN_STDC_TRAILING_ONES:
+ case C_BUILTIN_STDC_TRAILING_ZEROS:
+ fndecl = builtin_decl_explicit (BUILT_IN_CTZG);
+ break;
+ case C_BUILTIN_STDC_COUNT_ONES:
+ case C_BUILTIN_STDC_COUNT_ZEROS:
+ case C_BUILTIN_STDC_HAS_SINGLE_BIT:
+ fndecl = builtin_decl_explicit (BUILT_IN_POPCOUNTG);
+ break;
+ default:
+ gcc_unreachable ();
+ }
+ /* Construct a call to __builtin_{clz,ctz,popcount}g. */
+ int nargs = barg2 != NULL_TREE ? 2 : 1;
+ vec<tree, va_gc> *args;
+ vec_alloc (args, nargs);
+ vec<tree, va_gc> *origtypes;
+ vec_alloc (origtypes, nargs);
+ auto_vec<location_t> arg_loc (nargs);
+ args->quick_push (barg1);
+ arg_loc.quick_push (arg_p->get_location ());
+ origtypes->quick_push (arg_p->original_type);
+ if (nargs == 2)
+ {
+ args->quick_push (barg2);
+ arg_loc.quick_push (loc);
+ origtypes->quick_push (integer_type_node);
+ }
+ expr.value = c_build_function_call_vec (loc, arg_loc, fndecl,
+ args, origtypes);
+ set_c_expr_source_range (&expr, loc, close_paren_loc);
+ if (expr.value == error_mark_node)
+ break;
+ switch (stdc_rid)
+ {
+ case C_BUILTIN_STDC_BIT_FLOOR:
+ --prec;
+ /* FALLTHRU */
+ case C_BUILTIN_STDC_BIT_CEIL:
+ case C_BUILTIN_STDC_BIT_WIDTH:
+ expr.value = build2_loc (loc, MINUS_EXPR, integer_type_node,
+ build_int_cst (integer_type_node,
+ prec), expr.value);
+ break;
+ case C_BUILTIN_STDC_FIRST_LEADING_ONE:
+ case C_BUILTIN_STDC_FIRST_LEADING_ZERO:
+ case C_BUILTIN_STDC_FIRST_TRAILING_ONE:
+ case C_BUILTIN_STDC_FIRST_TRAILING_ZERO:
+ expr.value = build2_loc (loc, PLUS_EXPR, integer_type_node,
+ expr.value, integer_one_node);
+ break;
+ case C_BUILTIN_STDC_HAS_SINGLE_BIT:
+ expr.value = build2_loc (loc, EQ_EXPR, boolean_type_node,
+ expr.value, integer_one_node);
+ break;
+ default:
+ break;
+ }
+
+ if (stdc_rid != C_BUILTIN_STDC_BIT_CEIL
+ && stdc_rid != C_BUILTIN_STDC_BIT_FLOOR)
+ {
+ if (stdc_rid != C_BUILTIN_STDC_HAS_SINGLE_BIT)
+ expr.value = fold_convert_loc (loc, unsigned_type_node,
+ expr.value);
+ break;
+ }
+ /* For __builtin_stdc_bit_ceil (0U) or __builtin_stdc_bit_ceil (1U)
+ or __builtin_stdc_bit_floor (0U) avoid bogus -Wshift-count-*
+ warnings. The LSHIFT_EXPR is in dead code in that case. */
+ if (integer_zerop (arg)
+ || (stdc_rid == C_BUILTIN_STDC_BIT_CEIL && integer_onep (arg)))
+ expr.value = build_int_cst (type, 1);
+ else
+ expr.value = build2_loc (loc, LSHIFT_EXPR, type,
+ build_int_cst (type, 1), expr.value);
+ if (stdc_rid == C_BUILTIN_STDC_BIT_CEIL)
+ expr.value = build3_loc (loc, COND_EXPR, type,
+ build2_loc (loc, LE_EXPR,
+ boolean_type_node, arg,
+ build_int_cst (type, 1)),
+ build_int_cst (type, 1),
+ expr.value);
+ else
+ expr.value = build3_loc (loc, COND_EXPR, type,
+ build2_loc (loc, EQ_EXPR,
+ boolean_type_node, arg,
+ build_int_cst (type, 0)),
+ build_int_cst (type, 0),
+ expr.value);
+ break;
+ }
case RID_AT_SELECTOR:
{
gcc_assert (c_dialect_objc ());
--- gcc/c/c-decl.cc.jj 2023-11-20 09:49:34.767674716 +0100
+++ gcc/c/c-decl.cc 2023-11-20 14:21:23.460450475 +0100
@@ -11370,11 +11370,12 @@ names_builtin_p (const char *name)
functions. */
switch (C_RID_CODE (id))
{
+ case RID_BUILTIN_ASSOC_BARRIER:
case RID_BUILTIN_CONVERTVECTOR:
case RID_BUILTIN_HAS_ATTRIBUTE:
case RID_BUILTIN_SHUFFLE:
case RID_BUILTIN_SHUFFLEVECTOR:
- case RID_BUILTIN_ASSOC_BARRIER:
+ case RID_BUILTIN_STDC:
case RID_CHOOSE_EXPR:
case RID_OFFSETOF:
case RID_TYPES_COMPATIBLE_P:
--- gcc/testsuite/gcc.dg/builtin-stdc-bit-1.c.jj 2023-11-20 11:18:55.757125910 +0100
+++ gcc/testsuite/gcc.dg/builtin-stdc-bit-1.c 2023-11-20 15:47:31.135895834 +0100
@@ -0,0 +1,834 @@
+/* { dg-do run } */
+/* { dg-options "-std=c11" } */
+
+unsigned int
+leading_zeros (unsigned char a, unsigned short b, unsigned int c,
+ unsigned long d, unsigned long long e)
+{
+ return (__builtin_stdc_leading_zeros (a)
+ + __builtin_stdc_leading_zeros (b)
+ + __builtin_stdc_leading_zeros (c)
+ + __builtin_stdc_leading_zeros (d)
+ + __builtin_stdc_leading_zeros (e));
+}
+
+unsigned int
+leading_ones (unsigned char a, unsigned short b, unsigned int c,
+ unsigned long d, unsigned long long e)
+{
+ return (__builtin_stdc_leading_ones (a)
+ + __builtin_stdc_leading_ones (b)
+ + __builtin_stdc_leading_ones (c)
+ + __builtin_stdc_leading_ones (d)
+ + __builtin_stdc_leading_ones (e));
+}
+
+unsigned int
+trailing_zeros (unsigned char a, unsigned short b, unsigned int c,
+ unsigned long d, unsigned long long e)
+{
+ return (__builtin_stdc_trailing_zeros (a)
+ + __builtin_stdc_trailing_zeros (b)
+ + __builtin_stdc_trailing_zeros (c)
+ + __builtin_stdc_trailing_zeros (d)
+ + __builtin_stdc_trailing_zeros (e));
+}
+
+unsigned int
+trailing_ones (unsigned char a, unsigned short b, unsigned int c,
+ unsigned long d, unsigned long long e)
+{
+ return (__builtin_stdc_trailing_ones (a)
+ + __builtin_stdc_trailing_ones (b)
+ + __builtin_stdc_trailing_ones (c)
+ + __builtin_stdc_trailing_ones (d)
+ + __builtin_stdc_trailing_ones (e));
+}
+
+unsigned int
+first_leading_zero (unsigned char a, unsigned short b, unsigned int c,
+ unsigned long d, unsigned long long e)
+{
+ return (__builtin_stdc_first_leading_zero (a)
+ + __builtin_stdc_first_leading_zero (b)
+ + __builtin_stdc_first_leading_zero (c)
+ + __builtin_stdc_first_leading_zero (d)
+ + __builtin_stdc_first_leading_zero (e));
+}
+
+unsigned int
+first_leading_one (unsigned char a, unsigned short b, unsigned int c,
+ unsigned long d, unsigned long long e)
+{
+ return (__builtin_stdc_first_leading_one (a)
+ + __builtin_stdc_first_leading_one (b)
+ + __builtin_stdc_first_leading_one (c)
+ + __builtin_stdc_first_leading_one (d)
+ + __builtin_stdc_first_leading_one (e));
+}
+
+unsigned int
+first_trailing_zero (unsigned char a, unsigned short b, unsigned int c,
+ unsigned long d, unsigned long long e)
+{
+ return (__builtin_stdc_first_trailing_zero (a)
+ + __builtin_stdc_first_trailing_zero (b)
+ + __builtin_stdc_first_trailing_zero (c)
+ + __builtin_stdc_first_trailing_zero (d)
+ + __builtin_stdc_first_trailing_zero (e));
+}
+
+unsigned int
+first_trailing_one (unsigned char a, unsigned short b, unsigned int c,
+ unsigned long d, unsigned long long e)
+{
+ return (__builtin_stdc_first_trailing_one (a)
+ + __builtin_stdc_first_trailing_one (b)
+ + __builtin_stdc_first_trailing_one (c)
+ + __builtin_stdc_first_trailing_one (d)
+ + __builtin_stdc_first_trailing_one (e));
+}
+
+unsigned int
+count_zeros (unsigned char a, unsigned short b, unsigned int c,
+ unsigned long d, unsigned long long e)
+{
+ return (__builtin_stdc_count_zeros (a)
+ + __builtin_stdc_count_zeros (b)
+ + __builtin_stdc_count_zeros (c)
+ + __builtin_stdc_count_zeros (d)
+ + __builtin_stdc_count_zeros (e));
+}
+
+unsigned int
+count_ones (unsigned char a, unsigned short b, unsigned int c,
+ unsigned long d, unsigned long long e)
+{
+ return (__builtin_stdc_count_ones (a)
+ + __builtin_stdc_count_ones (b)
+ + __builtin_stdc_count_ones (c)
+ + __builtin_stdc_count_ones (d)
+ + __builtin_stdc_count_ones (e));
+}
+
+unsigned int
+has_single_bit (unsigned char a, unsigned short b, unsigned int c,
+ unsigned long d, unsigned long long e)
+{
+ return (__builtin_stdc_has_single_bit (a)
+ || __builtin_stdc_has_single_bit (b)
+ || __builtin_stdc_has_single_bit (c)
+ || __builtin_stdc_has_single_bit (d)
+ || __builtin_stdc_has_single_bit (e));
+}
+
+unsigned int
+bit_width (unsigned char a, unsigned short b, unsigned int c,
+ unsigned long d, unsigned long long e)
+{
+ return (__builtin_stdc_bit_width (a)
+ + __builtin_stdc_bit_width (b)
+ + __builtin_stdc_bit_width (c)
+ + __builtin_stdc_bit_width (d)
+ + __builtin_stdc_bit_width (e));
+}
+
+unsigned long long
+bit_floor (unsigned char a, unsigned short b, unsigned int c,
+ unsigned long d, unsigned long long e)
+{
+ return (__builtin_stdc_bit_floor (a)
+ + __builtin_stdc_bit_floor (b)
+ + __builtin_stdc_bit_floor (c)
+ + __builtin_stdc_bit_floor (d)
+ + __builtin_stdc_bit_floor (e));
+}
+
+unsigned long long
+bit_ceil (unsigned char a, unsigned short b, unsigned int c,
+ unsigned long d, unsigned long long e)
+{
+ return (__builtin_stdc_bit_ceil (a)
+ + __builtin_stdc_bit_ceil (b)
+ + __builtin_stdc_bit_ceil (c)
+ + __builtin_stdc_bit_ceil (d)
+ + __builtin_stdc_bit_ceil (e));
+}
+
+#define expr_has_type(e, t) _Generic (e, default : 0, t : 1)
+
+int
+main ()
+{
+ if (__builtin_stdc_leading_zeros ((unsigned char) 0) != __CHAR_BIT__
+ || !expr_has_type (__builtin_stdc_leading_zeros ((unsigned char) 0), unsigned int)
+ || __builtin_stdc_leading_zeros ((unsigned short) 0) != __SIZEOF_SHORT__ * __CHAR_BIT__
+ || !expr_has_type (__builtin_stdc_leading_zeros ((unsigned short) 0), unsigned int)
+ || __builtin_stdc_leading_zeros (0U) != __SIZEOF_INT__ * __CHAR_BIT__
+ || !expr_has_type (__builtin_stdc_leading_zeros (0U), unsigned int)
+ || __builtin_stdc_leading_zeros (0UL) != __SIZEOF_LONG__ * __CHAR_BIT__
+ || !expr_has_type (__builtin_stdc_leading_zeros (0UL), unsigned int)
+ || __builtin_stdc_leading_zeros (0ULL) != __SIZEOF_LONG_LONG__ * __CHAR_BIT__
+ || !expr_has_type (__builtin_stdc_leading_zeros (0ULL), unsigned int))
+ __builtin_abort ();
+ if (__builtin_stdc_leading_zeros ((unsigned char) ~0U) != 0
+ || __builtin_stdc_leading_zeros ((unsigned short) ~0U) != 0
+ || __builtin_stdc_leading_zeros (~0U) != 0
+ || __builtin_stdc_leading_zeros (~0UL) != 0
+ || __builtin_stdc_leading_zeros (~0ULL) != 0)
+ __builtin_abort ();
+ if (__builtin_stdc_leading_zeros ((unsigned char) 3) != __CHAR_BIT__ - 2
+ || __builtin_stdc_leading_zeros ((unsigned short) 9) != __SIZEOF_SHORT__ * __CHAR_BIT__ - 4
+ || __builtin_stdc_leading_zeros (34U) != __SIZEOF_INT__ * __CHAR_BIT__ - 6
+ || __builtin_stdc_leading_zeros (130UL) != __SIZEOF_LONG__ * __CHAR_BIT__ - 8
+ || __builtin_stdc_leading_zeros (512ULL) != __SIZEOF_LONG_LONG__ * __CHAR_BIT__ - 10)
+ __builtin_abort ();
+ if (__builtin_stdc_leading_ones ((unsigned char) 0) != 0
+ || !expr_has_type (__builtin_stdc_leading_ones ((unsigned char) 0), unsigned int)
+ || __builtin_stdc_leading_ones ((unsigned short) 0) != 0
+ || !expr_has_type (__builtin_stdc_leading_ones ((unsigned short) 0), unsigned int)
+ || __builtin_stdc_leading_ones (0U) != 0
+ || !expr_has_type (__builtin_stdc_leading_ones (0U), unsigned int)
+ || __builtin_stdc_leading_ones (0UL) != 0
+ || !expr_has_type (__builtin_stdc_leading_ones (0UL), unsigned int)
+ || __builtin_stdc_leading_ones (0ULL) != 0
+ || !expr_has_type (__builtin_stdc_leading_ones (0ULL), unsigned int))
+ __builtin_abort ();
+ if (__builtin_stdc_leading_ones ((unsigned char) ~0U) != __CHAR_BIT__
+ || __builtin_stdc_leading_ones ((unsigned short) ~0U) != __SIZEOF_SHORT__ * __CHAR_BIT__
+ || __builtin_stdc_leading_ones (~0U) != __SIZEOF_INT__ * __CHAR_BIT__
+ || __builtin_stdc_leading_ones (~0UL) != __SIZEOF_LONG__ * __CHAR_BIT__
+ || __builtin_stdc_leading_ones (~0ULL) != __SIZEOF_LONG_LONG__ * __CHAR_BIT__)
+ __builtin_abort ();
+ if (__builtin_stdc_leading_ones ((unsigned char) ~3) != __CHAR_BIT__ - 2
+ || __builtin_stdc_leading_ones ((unsigned short) ~9) != __SIZEOF_SHORT__ * __CHAR_BIT__ - 4
+ || __builtin_stdc_leading_ones (~34U) != __SIZEOF_INT__ * __CHAR_BIT__ - 6
+ || __builtin_stdc_leading_ones (~130UL) != __SIZEOF_LONG__ * __CHAR_BIT__ - 8
+ || __builtin_stdc_leading_ones (~512ULL) != __SIZEOF_LONG_LONG__ * __CHAR_BIT__ - 10)
+ __builtin_abort ();
+ if (__builtin_stdc_trailing_zeros ((unsigned char) 0) != __CHAR_BIT__
+ || !expr_has_type (__builtin_stdc_trailing_zeros ((unsigned char) 0), unsigned int)
+ || __builtin_stdc_trailing_zeros ((unsigned short) 0) != __SIZEOF_SHORT__ * __CHAR_BIT__
+ || !expr_has_type (__builtin_stdc_trailing_zeros ((unsigned short) 0), unsigned int)
+ || __builtin_stdc_trailing_zeros (0U) != __SIZEOF_INT__ * __CHAR_BIT__
+ || !expr_has_type (__builtin_stdc_trailing_zeros (0U), unsigned int)
+ || __builtin_stdc_trailing_zeros (0UL) != __SIZEOF_LONG__ * __CHAR_BIT__
+ || !expr_has_type (__builtin_stdc_trailing_zeros (0UL), unsigned int)
+ || __builtin_stdc_trailing_zeros (0ULL) != __SIZEOF_LONG_LONG__ * __CHAR_BIT__
+ || !expr_has_type (__builtin_stdc_trailing_zeros (0ULL), unsigned int))
+ __builtin_abort ();
+ if (__builtin_stdc_trailing_zeros ((unsigned char) ~0U) != 0
+ || __builtin_stdc_trailing_zeros ((unsigned short) ~0U) != 0
+ || __builtin_stdc_trailing_zeros (~0U) != 0
+ || __builtin_stdc_trailing_zeros (~0UL) != 0
+ || __builtin_stdc_trailing_zeros (~0ULL) != 0)
+ __builtin_abort ();
+ if (__builtin_stdc_trailing_zeros ((unsigned char) 2) != 1
+ || __builtin_stdc_trailing_zeros ((unsigned short) 24) != 3
+ || __builtin_stdc_trailing_zeros (32U) != 5
+ || __builtin_stdc_trailing_zeros (128UL) != 7
+ || __builtin_stdc_trailing_zeros (512ULL) != 9)
+ __builtin_abort ();
+ if (__builtin_stdc_trailing_ones ((unsigned char) 0) != 0
+ || !expr_has_type (__builtin_stdc_trailing_ones ((unsigned char) 0), unsigned int)
+ || __builtin_stdc_trailing_ones ((unsigned short) 0) != 0
+ || !expr_has_type (__builtin_stdc_trailing_ones ((unsigned short) 0), unsigned int)
+ || __builtin_stdc_trailing_ones (0U) != 0
+ || !expr_has_type (__builtin_stdc_trailing_ones (0U), unsigned int)
+ || __builtin_stdc_trailing_ones (0UL) != 0
+ || !expr_has_type (__builtin_stdc_trailing_ones (0UL), unsigned int)
+ || __builtin_stdc_trailing_ones (0ULL) != 0
+ || !expr_has_type (__builtin_stdc_trailing_ones (0ULL), unsigned int))
+ __builtin_abort ();
+ if (__builtin_stdc_trailing_ones ((unsigned char) ~0U) != __CHAR_BIT__
+ || __builtin_stdc_trailing_ones ((unsigned short) ~0U) != __SIZEOF_SHORT__ * __CHAR_BIT__
+ || __builtin_stdc_trailing_ones (~0U) != __SIZEOF_INT__ * __CHAR_BIT__
+ || __builtin_stdc_trailing_ones (~0UL) != __SIZEOF_LONG__ * __CHAR_BIT__
+ || __builtin_stdc_trailing_ones (~0ULL) != __SIZEOF_LONG_LONG__ * __CHAR_BIT__)
+ __builtin_abort ();
+ if (__builtin_stdc_trailing_ones ((unsigned char) 5) != 1
+ || __builtin_stdc_trailing_ones ((unsigned short) 15) != 4
+ || __builtin_stdc_trailing_ones (127U) != 7
+ || __builtin_stdc_trailing_ones (511UL) != 9
+ || __builtin_stdc_trailing_ones (~0ULL >> 2) != __SIZEOF_LONG_LONG__ * __CHAR_BIT__ - 2)
+ __builtin_abort ();
+ if (__builtin_stdc_first_leading_zero ((unsigned char) 0) != 1
+ || !expr_has_type (__builtin_stdc_first_leading_zero ((unsigned char) 0), unsigned int)
+ || __builtin_stdc_first_leading_zero ((unsigned short) 0) != 1
+ || !expr_has_type (__builtin_stdc_first_leading_zero ((unsigned short) 0), unsigned int)
+ || __builtin_stdc_first_leading_zero (0U) != 1
+ || !expr_has_type (__builtin_stdc_first_leading_zero (0U), unsigned int)
+ || __builtin_stdc_first_leading_zero (0UL) != 1
+ || !expr_has_type (__builtin_stdc_first_leading_zero (0UL), unsigned int)
+ || __builtin_stdc_first_leading_zero (0ULL) != 1
+ || !expr_has_type (__builtin_stdc_first_leading_zero (0ULL), unsigned int))
+ __builtin_abort ();
+ if (__builtin_stdc_first_leading_zero ((unsigned char) ~0U) != 0
+ || __builtin_stdc_first_leading_zero ((unsigned short) ~0U) != 0
+ || __builtin_stdc_first_leading_zero (~0U) != 0
+ || __builtin_stdc_first_leading_zero (~0UL) != 0
+ || __builtin_stdc_first_leading_zero (~0ULL) != 0)
+ __builtin_abort ();
+ if (__builtin_stdc_first_leading_zero ((unsigned char) ~3U) != __CHAR_BIT__ - 1
+ || __builtin_stdc_first_leading_zero ((unsigned short) ~15U) != __SIZEOF_SHORT__ * __CHAR_BIT__ - 3
+ || __builtin_stdc_first_leading_zero (~63U) != __SIZEOF_INT__ * __CHAR_BIT__ - 5
+ || __builtin_stdc_first_leading_zero (~255UL) != __SIZEOF_LONG__ * __CHAR_BIT__ - 7
+ || __builtin_stdc_first_leading_zero (~1023ULL) != __SIZEOF_LONG_LONG__ * __CHAR_BIT__ - 9)
+ __builtin_abort ();
+ if (__builtin_stdc_first_leading_one ((unsigned char) 0) != 0
+ || !expr_has_type (__builtin_stdc_first_leading_one ((unsigned char) 0), unsigned int)
+ || __builtin_stdc_first_leading_one ((unsigned short) 0) != 0
+ || !expr_has_type (__builtin_stdc_first_leading_one ((unsigned short) 0), unsigned int)
+ || __builtin_stdc_first_leading_one (0U) != 0
+ || !expr_has_type (__builtin_stdc_first_leading_one (0U), unsigned int)
+ || __builtin_stdc_first_leading_one (0UL) != 0
+ || !expr_has_type (__builtin_stdc_first_leading_one (0UL), unsigned int)
+ || __builtin_stdc_first_leading_one (0ULL) != 0
+ || !expr_has_type (__builtin_stdc_first_leading_one (0ULL), unsigned int))
+ __builtin_abort ();
+ if (__builtin_stdc_first_leading_one ((unsigned char) ~0U) != 1
+ || __builtin_stdc_first_leading_one ((unsigned short) ~0U) != 1
+ || __builtin_stdc_first_leading_one (~0U) != 1
+ || __builtin_stdc_first_leading_one (~0UL) != 1
+ || __builtin_stdc_first_leading_one (~0ULL) != 1)
+ __builtin_abort ();
+ if (__builtin_stdc_first_leading_one ((unsigned char) 3) != __CHAR_BIT__ - 1
+ || __builtin_stdc_first_leading_one ((unsigned short) 9) != __SIZEOF_SHORT__ * __CHAR_BIT__ - 3
+ || __builtin_stdc_first_leading_one (34U) != __SIZEOF_INT__ * __CHAR_BIT__ - 5
+ || __builtin_stdc_first_leading_one (130UL) != __SIZEOF_LONG__ * __CHAR_BIT__ - 7
+ || __builtin_stdc_first_leading_one (512ULL) != __SIZEOF_LONG_LONG__ * __CHAR_BIT__ - 9)
+ __builtin_abort ();
+ if (__builtin_stdc_first_trailing_zero ((unsigned char) 0) != 1
+ || !expr_has_type (__builtin_stdc_first_trailing_zero ((unsigned char) 0), unsigned int)
+ || __builtin_stdc_first_trailing_zero ((unsigned short) 0) != 1
+ || !expr_has_type (__builtin_stdc_first_trailing_zero ((unsigned short) 0), unsigned int)
+ || __builtin_stdc_first_trailing_zero (0U) != 1
+ || !expr_has_type (__builtin_stdc_first_trailing_zero (0U), unsigned int)
+ || __builtin_stdc_first_trailing_zero (0UL) != 1
+ || !expr_has_type (__builtin_stdc_first_trailing_zero (0UL), unsigned int)
+ || __builtin_stdc_first_trailing_zero (0ULL) != 1
+ || !expr_has_type (__builtin_stdc_first_trailing_zero (0ULL), unsigned int))
+ __builtin_abort ();
+ if (__builtin_stdc_first_trailing_zero ((unsigned char) ~0U) != 0
+ || __builtin_stdc_first_trailing_zero ((unsigned short) ~0U) != 0
+ || __builtin_stdc_first_trailing_zero (~0U) != 0
+ || __builtin_stdc_first_trailing_zero (~0UL) != 0
+ || __builtin_stdc_first_trailing_zero (~0ULL) != 0)
+ __builtin_abort ();
+ if (__builtin_stdc_first_trailing_zero ((unsigned char) 2) != 1
+ || __builtin_stdc_first_trailing_zero ((unsigned short) 15) != 5
+ || __builtin_stdc_first_trailing_zero (63U) != 7
+ || __builtin_stdc_first_trailing_zero (128UL) != 1
+ || __builtin_stdc_first_trailing_zero (511ULL) != 10)
+ __builtin_abort ();
+ if (__builtin_stdc_first_trailing_one ((unsigned char) 0) != 0
+ || !expr_has_type (__builtin_stdc_first_trailing_one ((unsigned char) 0), unsigned int)
+ || __builtin_stdc_first_trailing_one ((unsigned short) 0) != 0
+ || !expr_has_type (__builtin_stdc_first_trailing_one ((unsigned short) 0), unsigned int)
+ || __builtin_stdc_first_trailing_one (0U) != 0
+ || !expr_has_type (__builtin_stdc_first_trailing_one (0U), unsigned int)
+ || __builtin_stdc_first_trailing_one (0UL) != 0
+ || !expr_has_type (__builtin_stdc_first_trailing_one (0UL), unsigned int)
+ || __builtin_stdc_first_trailing_one (0ULL) != 0
+ || !expr_has_type (__builtin_stdc_first_trailing_one (0ULL), unsigned int))
+ __builtin_abort ();
+ if (__builtin_stdc_first_trailing_one ((unsigned char) ~0U) != 1
+ || __builtin_stdc_first_trailing_one ((unsigned short) ~0U) != 1
+ || __builtin_stdc_first_trailing_one (~0U) != 1
+ || __builtin_stdc_first_trailing_one (~0UL) != 1
+ || __builtin_stdc_first_trailing_one (~0ULL) != 1)
+ __builtin_abort ();
+ if (__builtin_stdc_first_trailing_one ((unsigned char) 4) != 3
+ || __builtin_stdc_first_trailing_one ((unsigned short) 96) != 6
+ || __builtin_stdc_first_trailing_one (127U) != 1
+ || __builtin_stdc_first_trailing_one (511UL) != 1
+ || __builtin_stdc_first_trailing_one (~0ULL << 12) != 13)
+ __builtin_abort ();
+ if (__builtin_stdc_count_zeros ((unsigned char) 0) != __CHAR_BIT__
+ || !expr_has_type (__builtin_stdc_count_zeros ((unsigned char) 0), unsigned int)
+ || __builtin_stdc_count_zeros ((unsigned short) 0) != __SIZEOF_SHORT__ * __CHAR_BIT__
+ || !expr_has_type (__builtin_stdc_count_zeros ((unsigned short) 0), unsigned int)
+ || __builtin_stdc_count_zeros (0U) != __SIZEOF_INT__ * __CHAR_BIT__
+ || !expr_has_type (__builtin_stdc_count_zeros (0U), unsigned int)
+ || __builtin_stdc_count_zeros (0UL) != __SIZEOF_LONG__ * __CHAR_BIT__
+ || !expr_has_type (__builtin_stdc_count_zeros (0UL), unsigned int)
+ || __builtin_stdc_count_zeros (0ULL) != __SIZEOF_LONG_LONG__ * __CHAR_BIT__
+ || !expr_has_type (__builtin_stdc_count_zeros (0ULL), unsigned int))
+ __builtin_abort ();
+ if (__builtin_stdc_count_zeros ((unsigned char) ~0U) != 0
+ || __builtin_stdc_count_zeros ((unsigned short) ~0U) != 0
+ || __builtin_stdc_count_zeros (~0U) != 0
+ || __builtin_stdc_count_zeros (~0UL) != 0
+ || __builtin_stdc_count_zeros (~0ULL) != 0)
+ __builtin_abort ();
+ if (__builtin_stdc_count_zeros ((unsigned char) 1U) != __CHAR_BIT__ - 1
+ || __builtin_stdc_count_zeros ((unsigned short) 42) != __SIZEOF_SHORT__ * __CHAR_BIT__ - 3
+ || __builtin_stdc_count_zeros (291U) != __SIZEOF_INT__ * __CHAR_BIT__ - 4
+ || __builtin_stdc_count_zeros (~1315UL) != 5
+ || __builtin_stdc_count_zeros (3363ULL) != __SIZEOF_LONG_LONG__ * __CHAR_BIT__ - 6)
+ __builtin_abort ();
+ if (__builtin_stdc_count_ones ((unsigned char) 0) != 0
+ || !expr_has_type (__builtin_stdc_count_ones ((unsigned char) 0), unsigned int)
+ || __builtin_stdc_count_ones ((unsigned short) 0) != 0
+ || !expr_has_type (__builtin_stdc_count_ones ((unsigned short) 0), unsigned int)
+ || __builtin_stdc_count_ones (0U) != 0
+ || !expr_has_type (__builtin_stdc_count_ones (0U), unsigned int)
+ || __builtin_stdc_count_ones (0UL) != 0
+ || !expr_has_type (__builtin_stdc_count_ones (0UL), unsigned int)
+ || __builtin_stdc_count_ones (0ULL) != 0
+ || !expr_has_type (__builtin_stdc_count_ones (0ULL), unsigned int))
+ __builtin_abort ();
+ if (__builtin_stdc_count_ones ((unsigned char) ~0U) != __CHAR_BIT__
+ || __builtin_stdc_count_ones ((unsigned short) ~0U) != __SIZEOF_SHORT__ * __CHAR_BIT__
+ || __builtin_stdc_count_ones (~0U) != __SIZEOF_INT__ * __CHAR_BIT__
+ || __builtin_stdc_count_ones (~0UL) != __SIZEOF_LONG__ * __CHAR_BIT__
+ || __builtin_stdc_count_ones (~0ULL) != __SIZEOF_LONG_LONG__ * __CHAR_BIT__)
+ __builtin_abort ();
+ if (__builtin_stdc_count_ones ((unsigned char) ~1U) != __CHAR_BIT__ - 1
+ || __builtin_stdc_count_ones ((unsigned short) ~42) != __SIZEOF_SHORT__ * __CHAR_BIT__ - 3
+ || __builtin_stdc_count_ones (~291U) != __SIZEOF_INT__ * __CHAR_BIT__ - 4
+ || __builtin_stdc_count_ones (1315UL) != 5
+ || __builtin_stdc_count_ones (~3363ULL) != __SIZEOF_LONG_LONG__ * __CHAR_BIT__ - 6)
+ __builtin_abort ();
+ if (__builtin_stdc_has_single_bit ((unsigned char) 0)
+ || !expr_has_type (__builtin_stdc_has_single_bit ((unsigned char) 0), _Bool)
+ || __builtin_stdc_has_single_bit ((unsigned short) 0)
+ || !expr_has_type (__builtin_stdc_has_single_bit ((unsigned short) 0), _Bool)
+ || __builtin_stdc_has_single_bit (0U)
+ || !expr_has_type (__builtin_stdc_has_single_bit (0U), _Bool)
+ || __builtin_stdc_has_single_bit (0UL)
+ || !expr_has_type (__builtin_stdc_has_single_bit (0UL), _Bool)
+ || __builtin_stdc_has_single_bit (0ULL)
+ || !expr_has_type (__builtin_stdc_has_single_bit (0ULL), _Bool))
+ __builtin_abort ();
+ if (!__builtin_stdc_has_single_bit ((unsigned char) 2)
+ || !__builtin_stdc_has_single_bit ((unsigned short) 8)
+ || !__builtin_stdc_has_single_bit (32U)
+ || !__builtin_stdc_has_single_bit (128UL)
+ || !__builtin_stdc_has_single_bit (512ULL))
+ __builtin_abort ();
+ if (__builtin_stdc_has_single_bit ((unsigned char) 7)
+ || __builtin_stdc_has_single_bit ((unsigned short) 96)
+ || __builtin_stdc_has_single_bit (513U)
+ || __builtin_stdc_has_single_bit (1022UL)
+ || __builtin_stdc_has_single_bit (12ULL))
+ __builtin_abort ();
+ if (__builtin_stdc_bit_width ((unsigned char) 0) != 0
+ || !expr_has_type (__builtin_stdc_bit_width ((unsigned char) 0), unsigned int)
+ || __builtin_stdc_bit_width ((unsigned short) 0) != 0
+ || !expr_has_type (__builtin_stdc_bit_width ((unsigned short) 0), unsigned int)
+ || __builtin_stdc_bit_width (0U) != 0
+ || !expr_has_type (__builtin_stdc_bit_width (0U), unsigned int)
+ || __builtin_stdc_bit_width (0UL) != 0
+ || !expr_has_type (__builtin_stdc_bit_width (0UL), unsigned int)
+ || __builtin_stdc_bit_width (0ULL) != 0
+ || !expr_has_type (__builtin_stdc_bit_width (0ULL), unsigned int))
+ __builtin_abort ();
+ if (__builtin_stdc_bit_width ((unsigned char) ~0U) != __CHAR_BIT__
+ || __builtin_stdc_bit_width ((unsigned short) ~0U) != __SIZEOF_SHORT__ * __CHAR_BIT__
+ || __builtin_stdc_bit_width (~0U) != __SIZEOF_INT__ * __CHAR_BIT__
+ || __builtin_stdc_bit_width (~0UL) != __SIZEOF_LONG__ * __CHAR_BIT__
+ || __builtin_stdc_bit_width (~0ULL) != __SIZEOF_LONG_LONG__ * __CHAR_BIT__)
+ __builtin_abort ();
+ if (__builtin_stdc_bit_width ((unsigned char) ((unsigned char) ~0U >> 1)) != __CHAR_BIT__ - 1
+ || __builtin_stdc_bit_width ((unsigned char) 6) != 3
+ || __builtin_stdc_bit_width ((unsigned short) 12U) != 4
+ || __builtin_stdc_bit_width ((unsigned short) ((unsigned short) ~0U >> 5)) != __SIZEOF_SHORT__ * __CHAR_BIT__ - 5
+ || __builtin_stdc_bit_width (137U) != 8
+ || __builtin_stdc_bit_width (269U) != 9
+ || __builtin_stdc_bit_width (39UL) != 6
+ || __builtin_stdc_bit_width (~0UL >> 2) != __SIZEOF_LONG__ * __CHAR_BIT__ - 2
+ || __builtin_stdc_bit_width (1023ULL) != 10
+ || __builtin_stdc_bit_width (1024ULL) != 11)
+ __builtin_abort ();
+ if (__builtin_stdc_bit_floor ((unsigned char) 0) != 0
+ || !expr_has_type (__builtin_stdc_bit_floor ((unsigned char) 0), unsigned char)
+ || __builtin_stdc_bit_floor ((unsigned short) 0) != 0
+ || !expr_has_type (__builtin_stdc_bit_floor ((unsigned short) 0), unsigned short)
+ || __builtin_stdc_bit_floor (0U) != 0U
+ || !expr_has_type (__builtin_stdc_bit_floor (0U), unsigned int)
+ || __builtin_stdc_bit_floor (0UL) != 0UL
+ || !expr_has_type (__builtin_stdc_bit_floor (0UL), unsigned long)
+ || __builtin_stdc_bit_floor (0ULL) != 0ULL
+ || !expr_has_type (__builtin_stdc_bit_floor (0ULL), unsigned long long))
+ __builtin_abort ();
+ if (__builtin_stdc_bit_floor ((unsigned char) ~0U) != (1U << (__CHAR_BIT__ - 1))
+ || __builtin_stdc_bit_floor ((unsigned short) ~0U) != (1U << (__SIZEOF_SHORT__ * __CHAR_BIT__ - 1))
+ || __builtin_stdc_bit_floor (~0U) != (1U << (__SIZEOF_INT__ * __CHAR_BIT__ - 1))
+ || __builtin_stdc_bit_floor (~0UL) != (1UL << (__SIZEOF_LONG__ * __CHAR_BIT__ - 1))
+ || __builtin_stdc_bit_floor (~0ULL) != (1ULL << (__SIZEOF_LONG_LONG__ * __CHAR_BIT__ - 1)))
+ __builtin_abort ();
+ if (__builtin_stdc_bit_floor ((unsigned char) 4) != 4
+ || __builtin_stdc_bit_floor ((unsigned char) 7) != 4
+ || __builtin_stdc_bit_floor ((unsigned short) 8U) != 8
+ || __builtin_stdc_bit_floor ((unsigned short) 31U) != 16
+ || __builtin_stdc_bit_floor (137U) != 128U
+ || __builtin_stdc_bit_floor (269U) != 256U
+ || __builtin_stdc_bit_floor (511UL) != 256UL
+ || __builtin_stdc_bit_floor (512UL) != 512UL
+ || __builtin_stdc_bit_floor (513UL) != 512ULL
+ || __builtin_stdc_bit_floor (1024ULL) != 1024ULL)
+ __builtin_abort ();
+ if (__builtin_stdc_bit_ceil ((unsigned char) 0) != 1
+ || !expr_has_type (__builtin_stdc_bit_ceil ((unsigned char) 0), unsigned char)
+ || __builtin_stdc_bit_ceil ((unsigned short) 0) != 1
+ || !expr_has_type (__builtin_stdc_bit_ceil ((unsigned short) 0), unsigned short)
+ || __builtin_stdc_bit_ceil (0U) != 1U
+ || !expr_has_type (__builtin_stdc_bit_ceil (0U), unsigned int)
+ || __builtin_stdc_bit_ceil (0UL) != 1UL
+ || !expr_has_type (__builtin_stdc_bit_ceil (0UL), unsigned long)
+ || __builtin_stdc_bit_ceil (0ULL) != 1ULL
+ || !expr_has_type (__builtin_stdc_bit_ceil (0ULL), unsigned long long))
+ __builtin_abort ();
+ if (__builtin_stdc_bit_ceil ((unsigned char) ((unsigned char) ~0U >> 1)) != (1U << (__CHAR_BIT__ - 1))
+ || __builtin_stdc_bit_ceil ((unsigned char) ((unsigned char) ~0U >> 1)) != (1U << (__CHAR_BIT__ - 1))
+ || __builtin_stdc_bit_ceil ((unsigned short) ((unsigned short) ~0U >> 1)) != (1U << (__SIZEOF_SHORT__ * __CHAR_BIT__ - 1))
+ || __builtin_stdc_bit_ceil ((unsigned short) ((unsigned short) ~0U >> 1)) != (1U << (__SIZEOF_SHORT__ * __CHAR_BIT__ - 1))
+ || __builtin_stdc_bit_ceil (~0U >> 1) != (1U << (__SIZEOF_INT__ * __CHAR_BIT__ - 1))
+ || __builtin_stdc_bit_ceil (1U << (__SIZEOF_INT__ * __CHAR_BIT__ - 1)) != (1U << (__SIZEOF_INT__ * __CHAR_BIT__ - 1))
+ || __builtin_stdc_bit_ceil (~0UL >> 1) != (1UL << (__SIZEOF_LONG__ * __CHAR_BIT__ - 1))
+ || __builtin_stdc_bit_ceil (~0UL >> 1) != (1UL << (__SIZEOF_LONG__ * __CHAR_BIT__ - 1))
+ || __builtin_stdc_bit_ceil (1ULL << (__SIZEOF_LONG_LONG__ * __CHAR_BIT__ - 1)) != (1ULL << (__SIZEOF_LONG_LONG__ * __CHAR_BIT__ - 1))
+ || __builtin_stdc_bit_ceil (~0ULL >> 1) != (1ULL << (__SIZEOF_LONG_LONG__ * __CHAR_BIT__ - 1)))
+ __builtin_abort ();
+ if (__builtin_stdc_bit_ceil ((unsigned char) 1) != 1
+ || __builtin_stdc_bit_ceil ((unsigned char) 2) != 2
+ || __builtin_stdc_bit_ceil ((unsigned short) 3U) != 4
+ || __builtin_stdc_bit_ceil ((unsigned short) 4U) != 4
+ || __builtin_stdc_bit_ceil (5U) != 8U
+ || __builtin_stdc_bit_ceil (269U) != 512U
+ || __builtin_stdc_bit_ceil (511UL) != 512UL
+ || __builtin_stdc_bit_ceil (512UL) != 512UL
+ || __builtin_stdc_bit_ceil (513ULL) != 1024ULL
+ || __builtin_stdc_bit_ceil (1025ULL) != 2048ULL)
+ __builtin_abort ();
+#ifdef __SIZEOF_INT128__
+ if (__builtin_stdc_leading_zeros ((unsigned __int128) 0) != __SIZEOF_INT128__ * __CHAR_BIT__
+ || !expr_has_type (__builtin_stdc_leading_zeros ((unsigned __int128) 0), unsigned int)
+ || __builtin_stdc_leading_zeros (~(unsigned __int128) 0) != 0)
+ __builtin_abort ();
+ if (__builtin_stdc_leading_ones ((unsigned __int128) 0) != 0
+ || !expr_has_type (__builtin_stdc_leading_ones ((unsigned __int128) 0), unsigned int)
+ || __builtin_stdc_leading_ones (~(unsigned __int128) 0) != __SIZEOF_INT128__ * __CHAR_BIT__)
+ __builtin_abort ();
+ if (__builtin_stdc_trailing_zeros ((unsigned __int128) 0) != __SIZEOF_INT128__ * __CHAR_BIT__
+ || !expr_has_type (__builtin_stdc_trailing_zeros ((unsigned __int128) 0), unsigned int)
+ || __builtin_stdc_trailing_zeros (~(unsigned __int128) 0) != 0)
+ __builtin_abort ();
+ if (__builtin_stdc_trailing_ones ((unsigned __int128) 0) != 0
+ || !expr_has_type (__builtin_stdc_trailing_ones ((unsigned __int128) 0), unsigned int)
+ || __builtin_stdc_trailing_ones (~(unsigned __int128) 0) != __SIZEOF_INT128__ * __CHAR_BIT__)
+ __builtin_abort ();
+ if (__builtin_stdc_first_leading_zero ((unsigned __int128) 0) != 1
+ || !expr_has_type (__builtin_stdc_first_leading_zero ((unsigned __int128) 0), unsigned int)
+ || __builtin_stdc_first_leading_zero (~(unsigned __int128) 0) != 0)
+ __builtin_abort ();
+ if (__builtin_stdc_first_leading_one ((unsigned __int128) 0) != 0
+ || !expr_has_type (__builtin_stdc_first_leading_one ((unsigned __int128) 0), unsigned int)
+ || __builtin_stdc_first_leading_one (~(unsigned __int128) 0) != 1)
+ __builtin_abort ();
+ if (__builtin_stdc_first_trailing_zero ((unsigned __int128) 0) != 1
+ || !expr_has_type (__builtin_stdc_first_trailing_zero ((unsigned __int128) 0), unsigned int)
+ || __builtin_stdc_first_trailing_zero (~(unsigned __int128) 0) != 0)
+ __builtin_abort ();
+ if (__builtin_stdc_first_trailing_one ((unsigned __int128) 0) != 0
+ || !expr_has_type (__builtin_stdc_first_trailing_one ((unsigned __int128) 0), unsigned int)
+ || __builtin_stdc_first_trailing_one (~(unsigned __int128) 0) != 1)
+ __builtin_abort ();
+ if (__builtin_stdc_count_zeros ((unsigned __int128) 0) != __SIZEOF_INT128__ * __CHAR_BIT__
+ || !expr_has_type (__builtin_stdc_count_zeros ((unsigned __int128) 0), unsigned int)
+ || __builtin_stdc_count_zeros (~(unsigned __int128) 0) != 0)
+ __builtin_abort ();
+ if (__builtin_stdc_count_ones ((unsigned __int128) 0) != 0
+ || !expr_has_type (__builtin_stdc_count_ones ((unsigned __int128) 0), unsigned int)
+ || __builtin_stdc_count_ones (~(unsigned __int128) 0) != __SIZEOF_INT128__ * __CHAR_BIT__)
+ __builtin_abort ();
+ if (__builtin_stdc_has_single_bit ((unsigned __int128) 0)
+ || !expr_has_type (__builtin_stdc_has_single_bit ((unsigned __int128) 0), _Bool)
+ || __builtin_stdc_has_single_bit (~(unsigned __int128) 0))
+ __builtin_abort ();
+ if (__builtin_stdc_bit_width ((unsigned __int128) 0) != 0
+ || !expr_has_type (__builtin_stdc_bit_width ((unsigned __int128) 0), unsigned int)
+ || __builtin_stdc_bit_width (~(unsigned __int128) 0) != __SIZEOF_INT128__ * __CHAR_BIT__)
+ __builtin_abort ();
+ if (__builtin_stdc_bit_floor ((unsigned __int128) 0) != 0
+ || !expr_has_type (__builtin_stdc_bit_floor ((unsigned __int128) 0), unsigned __int128)
+ || __builtin_stdc_bit_floor (~(unsigned __int128) 0) != ((unsigned __int128) 1) << (__SIZEOF_INT128__ * __CHAR_BIT__ - 1))
+ __builtin_abort ();
+ if (__builtin_stdc_bit_ceil ((unsigned __int128) 0) != 1
+ || !expr_has_type (__builtin_stdc_bit_ceil ((unsigned __int128) 0), unsigned __int128)
+ || __builtin_stdc_bit_ceil ((unsigned __int128) 1) != 1
+ || __builtin_stdc_bit_ceil ((~(unsigned __int128) 0) >> 1) != ((unsigned __int128) 1) << (__SIZEOF_INT128__ * __CHAR_BIT__ - 1))
+ __builtin_abort ();
+#endif
+#if __has_builtin (__builtin_stdc_leading_zeros) != 1
+#error __builtin_stdc_leading_zeros not implemented
+#endif
+#if __has_builtin (__builtin_stdc_leading_ones) != 1
+#error __builtin_stdc_leading_ones not implemented
+#endif
+#if __has_builtin (__builtin_stdc_trailing_zeros) != 1
+#error __builtin_stdc_trailing_zeros not implemented
+#endif
+#if __has_builtin (__builtin_stdc_trailing_ones) != 1
+#error __builtin_stdc_trailing_ones not implemented
+#endif
+#if __has_builtin (__builtin_stdc_first_leading_zero) != 1
+#error __builtin_stdc_first_leading_zero not implemented
+#endif
+#if __has_builtin (__builtin_stdc_first_leading_one) != 1
+#error __builtin_stdc_first_leading_one not implemented
+#endif
+#if __has_builtin (__builtin_stdc_first_trailing_zero) != 1
+#error __builtin_stdc_first_trailing_zero not implemented
+#endif
+#if __has_builtin (__builtin_stdc_first_trailing_one) != 1
+#error __builtin_stdc_first_trailing_one not implemented
+#endif
+#if __has_builtin (__builtin_stdc_count_zeros) != 1
+#error __builtin_stdc_count_zeros not implemented
+#endif
+#if __has_builtin (__builtin_stdc_count_ones) != 1
+#error __builtin_stdc_count_ones not implemented
+#endif
+#if __has_builtin (__builtin_stdc_has_single_bit) != 1
+#error __builtin_stdc_single_bit not implemented
+#endif
+#if __has_builtin (__builtin_stdc_bit_width) != 1
+#error __builtin_stdc_bit_width not implemented
+#endif
+#if __has_builtin (__builtin_stdc_bit_floor) != 1
+#error __builtin_stdc_bit_floor not implemented
+#endif
+#if __has_builtin (__builtin_stdc_bit_ceil) != 1
+#error __builtin_stdc_bit_ceil not implemented
+#endif
+ unsigned char a = 0;
+ if (__builtin_stdc_bit_width (a++) != 0 || a != 1)
+ __builtin_abort ();
+ unsigned long long b = 0;
+ if (__builtin_stdc_bit_width (b++) != 0 || b != 1)
+ __builtin_abort ();
+ if (__builtin_stdc_bit_floor (a++) != 1 || a != 2)
+ __builtin_abort ();
+ if (__builtin_stdc_bit_floor (b++) != 1 || b != 2)
+ __builtin_abort ();
+ if (__builtin_stdc_bit_ceil (a++) != 2 || a != 3)
+ __builtin_abort ();
+ if (__builtin_stdc_bit_ceil (b++) != 2 || b != 3)
+ __builtin_abort ();
+ if (__builtin_stdc_leading_zeros (a++) != __CHAR_BIT__ - 2 || a != 4)
+ __builtin_abort ();
+ if (__builtin_stdc_leading_zeros (b++) != __SIZEOF_LONG_LONG__ * __CHAR_BIT__ - 2 || b != 4)
+ __builtin_abort ();
+ if (__builtin_stdc_leading_ones (a++) != 0 || a != 5)
+ __builtin_abort ();
+ if (__builtin_stdc_leading_ones (b++) != 0 || b != 5)
+ __builtin_abort ();
+ if (__builtin_stdc_trailing_zeros (a++) != 0 || a != 6)
+ __builtin_abort ();
+ if (__builtin_stdc_trailing_zeros (b++) != 0 || b != 6)
+ __builtin_abort ();
+ if (__builtin_stdc_trailing_ones (a++) != 0 || a != 7)
+ __builtin_abort ();
+ if (__builtin_stdc_trailing_ones (b++) != 0 || b != 7)
+ __builtin_abort ();
+ if (__builtin_stdc_first_leading_zero (a++) != 1 || a != 8)
+ __builtin_abort ();
+ if (__builtin_stdc_first_leading_zero (b++) != 1 || b != 8)
+ __builtin_abort ();
+ if (__builtin_stdc_first_leading_one (a++) != __CHAR_BIT__ - 3 || a != 9)
+ __builtin_abort ();
+ if (__builtin_stdc_first_leading_one (b++) != __SIZEOF_LONG_LONG__ * __CHAR_BIT__ - 3 || b != 9)
+ __builtin_abort ();
+ if (__builtin_stdc_first_trailing_zero (a++) != 2 || a != 10)
+ __builtin_abort ();
+ if (__builtin_stdc_first_trailing_zero (b++) != 2 || b != 10)
+ __builtin_abort ();
+ if (__builtin_stdc_first_trailing_one (a++) != 2 || a != 11)
+ __builtin_abort ();
+ if (__builtin_stdc_first_trailing_one (b++) != 2 || b != 11)
+ __builtin_abort ();
+ if (__builtin_stdc_count_zeros (a++) != __CHAR_BIT__ - 3 || a != 12)
+ __builtin_abort ();
+ if (__builtin_stdc_count_zeros (b++) != __SIZEOF_LONG_LONG__ * __CHAR_BIT__ - 3 || b != 12)
+ __builtin_abort ();
+ if (__builtin_stdc_count_ones (a++) != 2 || a != 13)
+ __builtin_abort ();
+ if (__builtin_stdc_count_ones (b++) != 2 || b != 13)
+ __builtin_abort ();
+ if (__builtin_stdc_has_single_bit (a++) || a != 14)
+ __builtin_abort ();
+ if (__builtin_stdc_has_single_bit (b++) || b != 14)
+ __builtin_abort ();
+#if __BITINT_MAXWIDTH__ >= 512
+ if (__builtin_stdc_leading_zeros ((unsigned _BitInt(512)) 0) != 512
+ || !expr_has_type (__builtin_stdc_leading_zeros ((unsigned _BitInt(512)) 0), unsigned int)
+ || __builtin_stdc_leading_zeros ((unsigned _BitInt(373)) 0) != 373
+ || !expr_has_type (__builtin_stdc_leading_zeros ((unsigned _BitInt(373)) 0), unsigned int))
+ __builtin_abort ();
+ if (__builtin_stdc_leading_zeros (~(unsigned _BitInt(512)) 0) != 0
+ || __builtin_stdc_leading_zeros (~(unsigned _BitInt(373)) 0) != 0)
+ __builtin_abort ();
+ if (__builtin_stdc_leading_zeros ((unsigned _BitInt(512)) 275) != 512 - 9
+ || __builtin_stdc_leading_zeros ((unsigned _BitInt(373)) 512) != 373 - 10)
+ __builtin_abort ();
+ if (__builtin_stdc_leading_ones ((unsigned _BitInt(512)) 0) != 0
+ || !expr_has_type (__builtin_stdc_leading_ones ((unsigned _BitInt(512)) 0), unsigned int)
+ || __builtin_stdc_leading_ones ((unsigned _BitInt(373)) 0) != 0
+ || !expr_has_type (__builtin_stdc_leading_ones ((unsigned _BitInt(373)) 0), unsigned int))
+ __builtin_abort ();
+ if (__builtin_stdc_leading_ones (~(unsigned _BitInt(512)) 0) != 512
+ || __builtin_stdc_leading_ones (~(unsigned _BitInt(373)) 0) != 373)
+ __builtin_abort ();
+ if (__builtin_stdc_leading_ones (~(unsigned _BitInt(512)) 275) != 512 - 9
+ || __builtin_stdc_leading_ones (~(unsigned _BitInt(373)) 512) != 373 - 10)
+ __builtin_abort ();
+ if (__builtin_stdc_trailing_zeros ((unsigned _BitInt(512)) 0) != 512
+ || !expr_has_type (__builtin_stdc_trailing_zeros ((unsigned _BitInt(512)) 0), unsigned int)
+ || __builtin_stdc_trailing_zeros ((unsigned _BitInt(373)) 0) != 373
+ || !expr_has_type (__builtin_stdc_trailing_zeros ((unsigned _BitInt(373)) 0), unsigned int))
+ __builtin_abort ();
+ if (__builtin_stdc_trailing_zeros (~(unsigned _BitInt(512)) 0) != 0
+ || __builtin_stdc_trailing_zeros (~(unsigned _BitInt(373)) 0) != 0)
+ __builtin_abort ();
+ if (__builtin_stdc_trailing_zeros ((unsigned _BitInt(512)) 256) != 8
+ || __builtin_stdc_trailing_zeros ((unsigned _BitInt(373)) 512) != 9)
+ __builtin_abort ();
+ if (__builtin_stdc_trailing_ones ((unsigned _BitInt(512)) 0) != 0
+ || !expr_has_type (__builtin_stdc_trailing_ones ((unsigned _BitInt(512)) 0), unsigned int)
+ || __builtin_stdc_trailing_ones ((unsigned _BitInt(373)) 0) != 0
+ || !expr_has_type (__builtin_stdc_trailing_ones ((unsigned _BitInt(373)) 0), unsigned int))
+ __builtin_abort ();
+ if (__builtin_stdc_trailing_ones (~(unsigned _BitInt(512)) 0) != 512
+ || __builtin_stdc_trailing_ones (~(unsigned _BitInt(373)) 0) != 373)
+ __builtin_abort ();
+ if (__builtin_stdc_trailing_ones ((unsigned _BitInt(512)) 255) != 8
+ || __builtin_stdc_trailing_ones ((~(unsigned _BitInt(373)) 0) >> 2) != 373 - 2)
+ __builtin_abort ();
+ if (__builtin_stdc_first_leading_zero ((unsigned _BitInt(512)) 0) != 1
+ || !expr_has_type (__builtin_stdc_first_leading_zero ((unsigned _BitInt(512)) 0), unsigned int)
+ || __builtin_stdc_first_leading_zero ((unsigned _BitInt(373)) 0) != 1
+ || !expr_has_type (__builtin_stdc_first_leading_zero ((unsigned _BitInt(373)) 0), unsigned int))
+ __builtin_abort ();
+ if (__builtin_stdc_first_leading_zero (~(unsigned _BitInt(512)) 0) != 0
+ || __builtin_stdc_first_leading_zero (~(unsigned _BitInt(373)) 0) != 0)
+ __builtin_abort ();
+ if (__builtin_stdc_first_leading_zero (~(unsigned _BitInt(512)) 511) != 512 - 8
+ || __builtin_stdc_first_leading_zero (~(unsigned _BitInt(373)) 1023) != 373 - 9)
+ __builtin_abort ();
+ if (__builtin_stdc_first_leading_one ((unsigned _BitInt(512)) 0) != 0
+ || !expr_has_type (__builtin_stdc_first_leading_one ((unsigned _BitInt(512)) 0), unsigned int)
+ || __builtin_stdc_first_leading_one ((unsigned _BitInt(373)) 0) != 0
+ || !expr_has_type (__builtin_stdc_first_leading_one ((unsigned _BitInt(373)) 0), unsigned int))
+ __builtin_abort ();
+ if (__builtin_stdc_first_leading_one (~(unsigned _BitInt(512)) 0) != 1
+ || __builtin_stdc_first_leading_one (~(unsigned _BitInt(373)) 0) != 1)
+ __builtin_abort ();
+ if (__builtin_stdc_first_leading_one ((unsigned _BitInt(512)) 275) != 512 - 8
+ || __builtin_stdc_first_leading_one ((unsigned _BitInt(373)) 512) != 373 - 9)
+ __builtin_abort ();
+ if (__builtin_stdc_first_trailing_zero ((unsigned _BitInt(512)) 0) != 1
+ || !expr_has_type (__builtin_stdc_first_trailing_zero ((unsigned _BitInt(512)) 0), unsigned int)
+ || __builtin_stdc_first_trailing_zero ((unsigned _BitInt(373)) 0) != 1
+ || !expr_has_type (__builtin_stdc_first_trailing_zero ((unsigned _BitInt(373)) 0), unsigned int))
+ __builtin_abort ();
+ if (__builtin_stdc_first_trailing_zero (~(unsigned _BitInt(512)) 0) != 0
+ || __builtin_stdc_first_trailing_zero (~(unsigned _BitInt(373)) 0) != 0)
+ __builtin_abort ();
+ if (__builtin_stdc_first_trailing_zero ((unsigned _BitInt(512)) 255) != 9
+ || __builtin_stdc_first_trailing_zero ((unsigned _BitInt(373)) 511) != 10)
+ __builtin_abort ();
+ if (__builtin_stdc_first_trailing_one ((unsigned _BitInt(512)) 0) != 0
+ || !expr_has_type (__builtin_stdc_first_trailing_one ((unsigned _BitInt(512)) 0), unsigned int)
+ || __builtin_stdc_first_trailing_one ((unsigned _BitInt(373)) 0) != 0
+ || !expr_has_type (__builtin_stdc_first_trailing_one ((unsigned _BitInt(373)) 0), unsigned int))
+ __builtin_abort ();
+ if (__builtin_stdc_first_trailing_one (~(unsigned _BitInt(512)) 0) != 1
+ || __builtin_stdc_first_trailing_one (~(unsigned _BitInt(373)) 0) != 1)
+ __builtin_abort ();
+ if (__builtin_stdc_first_trailing_one (((unsigned _BitInt(512)) 255) << 175) != 176
+ || __builtin_stdc_first_trailing_one ((~(unsigned _BitInt(373)) 0) << 311) != 312)
+ __builtin_abort ();
+ if (__builtin_stdc_count_zeros ((unsigned _BitInt(512)) 0) != 512
+ || !expr_has_type (__builtin_stdc_count_zeros ((unsigned _BitInt(512)) 0), unsigned int)
+ || __builtin_stdc_count_zeros ((unsigned _BitInt(373)) 0) != 373
+ || !expr_has_type (__builtin_stdc_count_zeros ((unsigned _BitInt(373)) 0), unsigned int))
+ __builtin_abort ();
+ if (__builtin_stdc_count_zeros (~(unsigned _BitInt(512)) 0) != 0
+ || __builtin_stdc_count_zeros (~(unsigned _BitInt(373)) 0) != 0)
+ __builtin_abort ();
+ if (__builtin_stdc_count_zeros ((unsigned _BitInt(512)) 1315) != 512 - 5
+ || __builtin_stdc_count_zeros ((unsigned _BitInt(373)) 3363) != 373 - 6)
+ __builtin_abort ();
+ if (__builtin_stdc_count_ones ((unsigned _BitInt(512)) 0) != 0
+ || !expr_has_type (__builtin_stdc_count_ones ((unsigned _BitInt(512)) 0), unsigned int)
+ || __builtin_stdc_count_ones ((unsigned _BitInt(373)) 0) != 0
+ || !expr_has_type (__builtin_stdc_count_ones ((unsigned _BitInt(373)) 0), unsigned int))
+ __builtin_abort ();
+ if (__builtin_stdc_count_ones (~(unsigned _BitInt(512)) 0) != 512
+ || __builtin_stdc_count_ones (~(unsigned _BitInt(373)) 0) != 373)
+ __builtin_abort ();
+ if (__builtin_stdc_count_ones (~(unsigned _BitInt(512)) 1315) != 512 - 5
+ || __builtin_stdc_count_ones (~(unsigned _BitInt(373)) 3363) != 373 - 6)
+ __builtin_abort ();
+ if (__builtin_stdc_has_single_bit ((unsigned _BitInt(512)) 0)
+ || !expr_has_type (__builtin_stdc_has_single_bit ((unsigned _BitInt(512)) 0), _Bool)
+ || __builtin_stdc_has_single_bit ((unsigned _BitInt(373)) 0)
+ || !expr_has_type (__builtin_stdc_has_single_bit ((unsigned _BitInt(373)) 0), _Bool))
+ __builtin_abort ();
+ if (__builtin_stdc_has_single_bit (~(unsigned _BitInt(512)) 0)
+ || __builtin_stdc_has_single_bit (~(unsigned _BitInt(373)) 0))
+ __builtin_abort ();
+ if (__builtin_stdc_has_single_bit (((unsigned _BitInt(512)) 1022) << 279)
+ || __builtin_stdc_has_single_bit (((unsigned _BitInt(373)) 12) << 305))
+ __builtin_abort ();
+ if (__builtin_stdc_bit_width ((unsigned _BitInt(512)) 0) != 0
+ || !expr_has_type (__builtin_stdc_bit_width ((unsigned _BitInt(512)) 0), unsigned int)
+ || __builtin_stdc_bit_width ((unsigned _BitInt(373)) 0) != 0
+ || !expr_has_type (__builtin_stdc_bit_width ((unsigned _BitInt(373)) 0), unsigned int))
+ __builtin_abort ();
+ if (__builtin_stdc_bit_width (~(unsigned _BitInt(512)) 0) != 512
+ || __builtin_stdc_bit_width (~(unsigned _BitInt(373)) 0) != 373)
+ __builtin_abort ();
+ if (__builtin_stdc_bit_width (((unsigned _BitInt(512)) 1023) << 405) != 405 + 10
+ || __builtin_stdc_bit_width (((unsigned _BitInt(373)) 1024) << 242) != 242 + 11)
+ __builtin_abort ();
+ if (__builtin_stdc_bit_floor ((unsigned _BitInt(512)) 0) != 0
+ || !expr_has_type (__builtin_stdc_bit_floor ((unsigned _BitInt(512)) 0), unsigned _BitInt(512))
+ || __builtin_stdc_bit_floor ((unsigned _BitInt(373)) 0) != 0
+ || !expr_has_type (__builtin_stdc_bit_floor ((unsigned _BitInt(373)) 0), unsigned _BitInt(373)))
+ __builtin_abort ();
+ if (__builtin_stdc_bit_floor (~(unsigned _BitInt(512)) 0) != ((unsigned _BitInt(512)) 1) << (512 - 1)
+ || __builtin_stdc_bit_floor (~(unsigned _BitInt(373)) 0) != ((unsigned _BitInt(373)) 1) << (373 - 1))
+ __builtin_abort ();
+ if (__builtin_stdc_bit_floor (((unsigned _BitInt(512)) 511) << 405) != (((unsigned _BitInt(512)) 256) << 405)
+ || __builtin_stdc_bit_floor (((unsigned _BitInt(373)) 512) << 242) != (((unsigned _BitInt(512)) 512) << 242))
+ __builtin_abort ();
+ if (__builtin_stdc_bit_ceil ((unsigned _BitInt(512)) 0) != 1
+ || !expr_has_type (__builtin_stdc_bit_ceil ((unsigned _BitInt(512)) 0), unsigned _BitInt(512))
+ || __builtin_stdc_bit_ceil ((unsigned _BitInt(373)) 0) != 1
+ || !expr_has_type (__builtin_stdc_bit_ceil ((unsigned _BitInt(373)) 0), unsigned _BitInt(373)))
+ __builtin_abort ();
+ if (__builtin_stdc_bit_ceil (((unsigned _BitInt(512)) 1) << (512 - 1)) != ((unsigned _BitInt(512)) 1) << (512 - 1)
+ || __builtin_stdc_bit_ceil ((~(unsigned _BitInt(373)) 0) >> 1) != ((unsigned _BitInt(373)) 1) << (373 - 1))
+ __builtin_abort ();
+ if (__builtin_stdc_bit_ceil (((unsigned _BitInt(512)) 512) << 405) != (((unsigned _BitInt(512)) 512) << 405)
+ || __builtin_stdc_bit_ceil (((unsigned _BitInt(373)) 513) << 242) != (((unsigned _BitInt(512)) 1024) << 242))
+ __builtin_abort ();
+ if (__builtin_stdc_bit_floor ((unsigned _BitInt(__BITINT_MAXWIDTH__)) 0) != 0)
+ __builtin_abort ();
+ if (__builtin_stdc_bit_floor (~(unsigned _BitInt(__BITINT_MAXWIDTH__)) 0) != ((unsigned _BitInt(__BITINT_MAXWIDTH__)) 1) << (__BITINT_MAXWIDTH__ - 1))
+ __builtin_abort ();
+ if (__builtin_stdc_bit_floor (((unsigned _BitInt(__BITINT_MAXWIDTH__)) 511) << 405) != (((unsigned _BitInt(__BITINT_MAXWIDTH__)) 256) << 405)
+ || __builtin_stdc_bit_floor (((unsigned _BitInt(__BITINT_MAXWIDTH__)) 512) << 405) != (((unsigned _BitInt(__BITINT_MAXWIDTH__)) 512) << 405))
+ __builtin_abort ();
+ if (__builtin_stdc_bit_ceil ((unsigned _BitInt(__BITINT_MAXWIDTH__)) 0) != 1)
+ __builtin_abort ();
+ if (__builtin_stdc_bit_ceil (((unsigned _BitInt(__BITINT_MAXWIDTH__)) 1) << (__BITINT_MAXWIDTH__ - 1)) != ((unsigned _BitInt(__BITINT_MAXWIDTH__)) 1) << (__BITINT_MAXWIDTH__ - 1))
+ __builtin_abort ();
+ if (__builtin_stdc_bit_ceil (((unsigned _BitInt(__BITINT_MAXWIDTH__)) 512) << 405) != (((unsigned _BitInt(__BITINT_MAXWIDTH__)) 512) << 405)
+ || __builtin_stdc_bit_ceil (((unsigned _BitInt(__BITINT_MAXWIDTH__)) 513) << 405) != (((unsigned _BitInt(__BITINT_MAXWIDTH__)) 1024) << 405))
+ __builtin_abort ();
+#endif
+}
--- gcc/testsuite/gcc.dg/builtin-stdc-bit-2.c.jj 2023-11-20 11:18:55.758125897 +0100
+++ gcc/testsuite/gcc.dg/builtin-stdc-bit-2.c 2023-11-20 15:04:20.126724395 +0100
@@ -0,0 +1,150 @@
+/* { dg-do compile } */
+/* { dg-options "" } */
+
+void
+foo (void)
+{
+ typedef int V __attribute__ ((vector_size (4 * sizeof (int))));
+ struct S { int s; };
+ enum E { E0, E1 };
+ __builtin_stdc_leading_zeros (0.0f); /* { dg-error "'__builtin_stdc_leading_zeros' operand not an integral type" } */
+ __builtin_stdc_leading_zeros (0.0); /* { dg-error "'__builtin_stdc_leading_zeros' operand not an integral type" } */
+ __builtin_stdc_leading_zeros (0.0L); /* { dg-error "'__builtin_stdc_leading_zeros' operand not an integral type" } */
+ __builtin_stdc_leading_zeros ((V) {}); /* { dg-error "'__builtin_stdc_leading_zeros' operand not an integral type" } */
+ __builtin_stdc_leading_zeros ((struct S) { 0 }); /* { dg-error "'__builtin_stdc_leading_zeros' operand not an integral type" } */
+ __builtin_stdc_leading_zeros (); /* { dg-error "wrong number of arguments to '__builtin_stdc_leading_zeros'" } */
+ __builtin_stdc_leading_zeros (0U, 0U); /* { dg-error "wrong number of arguments to '__builtin_stdc_leading_zeros'" } */
+ __builtin_stdc_leading_zeros ((_Bool) 0); /* { dg-error "argument 1 in call to function '__builtin_clzg' has boolean type" } */
+ __builtin_stdc_leading_zeros ((enum E) E0); /* { dg-error "argument 1 in call to function '__builtin_clzg' has enumerated type" } */
+ __builtin_stdc_leading_zeros (0); /* { dg-error "argument 1 in call to function '__builtin_clzg' has signed type" } */
+ __builtin_stdc_leading_ones (0.0f); /* { dg-error "'__builtin_stdc_leading_ones' operand not an integral type" } */
+ __builtin_stdc_leading_ones (0.0); /* { dg-error "'__builtin_stdc_leading_ones' operand not an integral type" } */
+ __builtin_stdc_leading_ones (0.0L); /* { dg-error "'__builtin_stdc_leading_ones' operand not an integral type" } */
+ __builtin_stdc_leading_ones ((V) {}); /* { dg-error "'__builtin_stdc_leading_ones' operand not an integral type" } */
+ __builtin_stdc_leading_ones ((struct S) { 0 }); /* { dg-error "'__builtin_stdc_leading_ones' operand not an integral type" } */
+ __builtin_stdc_leading_ones (); /* { dg-error "wrong number of arguments to '__builtin_stdc_leading_ones'" } */
+ __builtin_stdc_leading_ones (0U, 0U); /* { dg-error "wrong number of arguments to '__builtin_stdc_leading_ones'" } */
+ __builtin_stdc_leading_ones ((_Bool) 0); /* { dg-error "argument 1 in call to function '__builtin_clzg' has boolean type" } */
+ __builtin_stdc_leading_ones ((enum E) E0); /* { dg-error "argument 1 in call to function '__builtin_clzg' has enumerated type" } */
+ __builtin_stdc_leading_ones (0); /* { dg-error "argument 1 in call to function '__builtin_clzg' has signed type" } */
+ __builtin_stdc_trailing_zeros (0.0f); /* { dg-error "'__builtin_stdc_trailing_zeros' operand not an integral type" } */
+ __builtin_stdc_trailing_zeros (0.0); /* { dg-error "'__builtin_stdc_trailing_zeros' operand not an integral type" } */
+ __builtin_stdc_trailing_zeros (0.0L); /* { dg-error "'__builtin_stdc_trailing_zeros' operand not an integral type" } */
+ __builtin_stdc_trailing_zeros ((V) {}); /* { dg-error "'__builtin_stdc_trailing_zeros' operand not an integral type" } */
+ __builtin_stdc_trailing_zeros ((struct S) { 0 }); /* { dg-error "'__builtin_stdc_trailing_zeros' operand not an integral type" } */
+ __builtin_stdc_trailing_zeros (); /* { dg-error "wrong number of arguments to '__builtin_stdc_trailing_zeros'" } */
+ __builtin_stdc_trailing_zeros (0U, 0U); /* { dg-error "wrong number of arguments to '__builtin_stdc_trailing_zeros'" } */
+ __builtin_stdc_trailing_zeros ((_Bool) 0); /* { dg-error "argument 1 in call to function '__builtin_ctzg' has boolean type" } */
+ __builtin_stdc_trailing_zeros ((enum E) E0); /* { dg-error "argument 1 in call to function '__builtin_ctzg' has enumerated type" } */
+ __builtin_stdc_trailing_zeros (0); /* { dg-error "argument 1 in call to function '__builtin_ctzg' has signed type" } */
+ __builtin_stdc_trailing_ones (0.0f); /* { dg-error "'__builtin_stdc_trailing_ones' operand not an integral type" } */
+ __builtin_stdc_trailing_ones (0.0); /* { dg-error "'__builtin_stdc_trailing_ones' operand not an integral type" } */
+ __builtin_stdc_trailing_ones (0.0L); /* { dg-error "'__builtin_stdc_trailing_ones' operand not an integral type" } */
+ __builtin_stdc_trailing_ones ((V) {}); /* { dg-error "'__builtin_stdc_trailing_ones' operand not an integral type" } */
+ __builtin_stdc_trailing_ones ((struct S) { 0 }); /* { dg-error "'__builtin_stdc_trailing_ones' operand not an integral type" } */
+ __builtin_stdc_trailing_ones (); /* { dg-error "wrong number of arguments to '__builtin_stdc_trailing_ones'" } */
+ __builtin_stdc_trailing_ones (0U, 0U); /* { dg-error "wrong number of arguments to '__builtin_stdc_trailing_ones'" } */
+ __builtin_stdc_trailing_ones ((_Bool) 0); /* { dg-error "argument 1 in call to function '__builtin_ctzg' has boolean type" } */
+ __builtin_stdc_trailing_ones ((enum E) E0); /* { dg-error "argument 1 in call to function '__builtin_ctzg' has enumerated type" } */
+ __builtin_stdc_trailing_ones (0); /* { dg-error "argument 1 in call to function '__builtin_ctzg' has signed type" } */
+ __builtin_stdc_first_leading_zero (0.0f); /* { dg-error "'__builtin_stdc_first_leading_zero' operand not an integral type" } */
+ __builtin_stdc_first_leading_zero (0.0); /* { dg-error "'__builtin_stdc_first_leading_zero' operand not an integral type" } */
+ __builtin_stdc_first_leading_zero (0.0L); /* { dg-error "'__builtin_stdc_first_leading_zero' operand not an integral type" } */
+ __builtin_stdc_first_leading_zero ((V) {}); /* { dg-error "'__builtin_stdc_first_leading_zero' operand not an integral type" } */
+ __builtin_stdc_first_leading_zero ((struct S) { 0 }); /* { dg-error "'__builtin_stdc_first_leading_zero' operand not an integral type" } */
+ __builtin_stdc_first_leading_zero (); /* { dg-error "wrong number of arguments to '__builtin_stdc_first_leading_zero'" } */
+ __builtin_stdc_first_leading_zero (0U, 0U); /* { dg-error "wrong number of arguments to '__builtin_stdc_first_leading_zero'" } */
+ __builtin_stdc_first_leading_zero ((_Bool) 0); /* { dg-error "argument 1 in call to function '__builtin_clzg' has boolean type" } */
+ __builtin_stdc_first_leading_zero ((enum E) E0); /* { dg-error "argument 1 in call to function '__builtin_clzg' has enumerated type" } */
+ __builtin_stdc_first_leading_zero (0); /* { dg-error "argument 1 in call to function '__builtin_clzg' has signed type" } */
+ __builtin_stdc_first_leading_one (0.0f); /* { dg-error "'__builtin_stdc_first_leading_one' operand not an integral type" } */
+ __builtin_stdc_first_leading_one (0.0); /* { dg-error "'__builtin_stdc_first_leading_one' operand not an integral type" } */
+ __builtin_stdc_first_leading_one (0.0L); /* { dg-error "'__builtin_stdc_first_leading_one' operand not an integral type" } */
+ __builtin_stdc_first_leading_one ((V) {}); /* { dg-error "'__builtin_stdc_first_leading_one' operand not an integral type" } */
+ __builtin_stdc_first_leading_one ((struct S) { 0 }); /* { dg-error "'__builtin_stdc_first_leading_one' operand not an integral type" } */
+ __builtin_stdc_first_leading_one (); /* { dg-error "wrong number of arguments to '__builtin_stdc_first_leading_one'" } */
+ __builtin_stdc_first_leading_one (0U, 0U); /* { dg-error "wrong number of arguments to '__builtin_stdc_first_leading_one'" } */
+ __builtin_stdc_first_leading_one ((_Bool) 0); /* { dg-error "argument 1 in call to function '__builtin_clzg' has boolean type" } */
+ __builtin_stdc_first_leading_one ((enum E) E0); /* { dg-error "argument 1 in call to function '__builtin_clzg' has enumerated type" } */
+ __builtin_stdc_first_leading_one (0); /* { dg-error "argument 1 in call to function '__builtin_clzg' has signed type" } */
+ __builtin_stdc_first_trailing_zero (0.0f); /* { dg-error "'__builtin_stdc_first_trailing_zero' operand not an integral type" } */
+ __builtin_stdc_first_trailing_zero (0.0); /* { dg-error "'__builtin_stdc_first_trailing_zero' operand not an integral type" } */
+ __builtin_stdc_first_trailing_zero (0.0L); /* { dg-error "'__builtin_stdc_first_trailing_zero' operand not an integral type" } */
+ __builtin_stdc_first_trailing_zero ((V) {}); /* { dg-error "'__builtin_stdc_first_trailing_zero' operand not an integral type" } */
+ __builtin_stdc_first_trailing_zero ((struct S) { 0 }); /* { dg-error "'__builtin_stdc_first_trailing_zero' operand not an integral type" } */
+ __builtin_stdc_first_trailing_zero (); /* { dg-error "wrong number of arguments to '__builtin_stdc_first_trailing_zero'" } */
+ __builtin_stdc_first_trailing_zero (0U, 0U); /* { dg-error "wrong number of arguments to '__builtin_stdc_first_trailing_zero'" } */
+ __builtin_stdc_first_trailing_zero ((_Bool) 0); /* { dg-error "argument 1 in call to function '__builtin_ctzg' has boolean type" } */
+ __builtin_stdc_first_trailing_zero ((enum E) E0); /* { dg-error "argument 1 in call to function '__builtin_ctzg' has enumerated type" } */
+ __builtin_stdc_first_trailing_zero (0); /* { dg-error "argument 1 in call to function '__builtin_ctzg' has signed type" } */
+ __builtin_stdc_first_trailing_one (0.0f); /* { dg-error "'__builtin_stdc_first_trailing_one' operand not an integral type" } */
+ __builtin_stdc_first_trailing_one (0.0); /* { dg-error "'__builtin_stdc_first_trailing_one' operand not an integral type" } */
+ __builtin_stdc_first_trailing_one (0.0L); /* { dg-error "'__builtin_stdc_first_trailing_one' operand not an integral type" } */
+ __builtin_stdc_first_trailing_one ((V) {}); /* { dg-error "'__builtin_stdc_first_trailing_one' operand not an integral type" } */
+ __builtin_stdc_first_trailing_one ((struct S) { 0 }); /* { dg-error "'__builtin_stdc_first_trailing_one' operand not an integral type" } */
+ __builtin_stdc_first_trailing_one (); /* { dg-error "wrong number of arguments to '__builtin_stdc_first_trailing_one'" } */
+ __builtin_stdc_first_trailing_one (0U, 0U); /* { dg-error "wrong number of arguments to '__builtin_stdc_first_trailing_one'" } */
+ __builtin_stdc_first_trailing_one ((_Bool) 0); /* { dg-error "argument 1 in call to function '__builtin_ctzg' has boolean type" } */
+ __builtin_stdc_first_trailing_one ((enum E) E0); /* { dg-error "argument 1 in call to function '__builtin_ctzg' has enumerated type" } */
+ __builtin_stdc_first_trailing_one (0); /* { dg-error "argument 1 in call to function '__builtin_ctzg' has signed type" } */
+ __builtin_stdc_count_zeros (0.0f); /* { dg-error "'__builtin_stdc_count_zeros' operand not an integral type" } */
+ __builtin_stdc_count_zeros (0.0); /* { dg-error "'__builtin_stdc_count_zeros' operand not an integral type" } */
+ __builtin_stdc_count_zeros (0.0L); /* { dg-error "'__builtin_stdc_count_zeros' operand not an integral type" } */
+ __builtin_stdc_count_zeros ((V) {}); /* { dg-error "'__builtin_stdc_count_zeros' operand not an integral type" } */
+ __builtin_stdc_count_zeros ((struct S) { 0 }); /* { dg-error "'__builtin_stdc_count_zeros' operand not an integral type" } */
+ __builtin_stdc_count_zeros (); /* { dg-error "wrong number of arguments to '__builtin_stdc_count_zeros'" } */
+ __builtin_stdc_count_zeros (0U, 0U); /* { dg-error "wrong number of arguments to '__builtin_stdc_count_zeros'" } */
+ __builtin_stdc_count_zeros ((_Bool) 0); /* { dg-error "argument 1 in call to function '__builtin_popcountg' has boolean type" } */
+ __builtin_stdc_count_zeros ((enum E) E0); /* { dg-error "argument 1 in call to function '__builtin_popcountg' has enumerated type" } */
+ __builtin_stdc_count_zeros (0); /* { dg-error "argument 1 in call to function '__builtin_popcountg' has signed type" } */
+ __builtin_stdc_count_ones (0.0f); /* { dg-error "'__builtin_stdc_count_ones' operand not an integral type" } */
+ __builtin_stdc_count_ones (0.0); /* { dg-error "'__builtin_stdc_count_ones' operand not an integral type" } */
+ __builtin_stdc_count_ones (0.0L); /* { dg-error "'__builtin_stdc_count_ones' operand not an integral type" } */
+ __builtin_stdc_count_ones ((V) {}); /* { dg-error "'__builtin_stdc_count_ones' operand not an integral type" } */
+ __builtin_stdc_count_ones ((struct S) { 0 }); /* { dg-error "'__builtin_stdc_count_ones' operand not an integral type" } */
+ __builtin_stdc_count_ones (); /* { dg-error "wrong number of arguments to '__builtin_stdc_count_ones'" } */
+ __builtin_stdc_count_ones (0U, 0U); /* { dg-error "wrong number of arguments to '__builtin_stdc_count_ones'" } */
+ __builtin_stdc_count_ones ((_Bool) 0); /* { dg-error "argument 1 in call to function '__builtin_popcountg' has boolean type" } */
+ __builtin_stdc_count_ones ((enum E) E0); /* { dg-error "argument 1 in call to function '__builtin_popcountg' has enumerated type" } */
+ __builtin_stdc_count_ones (0); /* { dg-error "argument 1 in call to function '__builtin_popcountg' has signed type" } */
+ __builtin_stdc_has_single_bit (0.0f); /* { dg-error "'__builtin_stdc_has_single_bit' operand not an integral type" } */
+ __builtin_stdc_has_single_bit (0.0); /* { dg-error "'__builtin_stdc_has_single_bit' operand not an integral type" } */
+ __builtin_stdc_has_single_bit (0.0L); /* { dg-error "'__builtin_stdc_has_single_bit' operand not an integral type" } */
+ __builtin_stdc_has_single_bit ((V) {}); /* { dg-error "'__builtin_stdc_has_single_bit' operand not an integral type" } */
+ __builtin_stdc_has_single_bit ((struct S) { 0 }); /* { dg-error "'__builtin_stdc_has_single_bit' operand not an integral type" } */
+ __builtin_stdc_has_single_bit (); /* { dg-error "wrong number of arguments to '__builtin_stdc_has_single_bit'" } */
+ __builtin_stdc_has_single_bit (0U, 0U); /* { dg-error "wrong number of arguments to '__builtin_stdc_has_single_bit'" } */
+ __builtin_stdc_has_single_bit ((_Bool) 0); /* { dg-error "argument 1 in call to function '__builtin_popcountg' has boolean type" } */
+ __builtin_stdc_has_single_bit ((enum E) E0); /* { dg-error "argument 1 in call to function '__builtin_popcountg' has enumerated type" } */
+ __builtin_stdc_has_single_bit (0); /* { dg-error "argument 1 in call to function '__builtin_popcountg' has signed type" } */
+ __builtin_stdc_bit_width (0.0f); /* { dg-error "'__builtin_stdc_bit_width' operand not an integral type" } */
+ __builtin_stdc_bit_width (0.0); /* { dg-error "'__builtin_stdc_bit_width' operand not an integral type" } */
+ __builtin_stdc_bit_width (0.0L); /* { dg-error "'__builtin_stdc_bit_width' operand not an integral type" } */
+ __builtin_stdc_bit_width ((V) {}); /* { dg-error "'__builtin_stdc_bit_width' operand not an integral type" } */
+ __builtin_stdc_bit_width ((struct S) { 0 }); /* { dg-error "'__builtin_stdc_bit_width' operand not an integral type" } */
+ __builtin_stdc_bit_width (); /* { dg-error "wrong number of arguments to '__builtin_stdc_bit_width'" } */
+ __builtin_stdc_bit_width (0U, 0U); /* { dg-error "wrong number of arguments to '__builtin_stdc_bit_width'" } */
+ __builtin_stdc_bit_width ((_Bool) 0); /* { dg-error "argument 1 in call to function '__builtin_clzg' has boolean type" } */
+ __builtin_stdc_bit_width ((enum E) E0); /* { dg-error "argument 1 in call to function '__builtin_clzg' has enumerated type" } */
+ __builtin_stdc_bit_width (0); /* { dg-error "argument 1 in call to function '__builtin_clzg' has signed type" } */
+ __builtin_stdc_bit_floor (0.0f); /* { dg-error "'__builtin_stdc_bit_floor' operand not an integral type" } */
+ __builtin_stdc_bit_floor (0.0); /* { dg-error "'__builtin_stdc_bit_floor' operand not an integral type" } */
+ __builtin_stdc_bit_floor (0.0L); /* { dg-error "'__builtin_stdc_bit_floor' operand not an integral type" } */
+ __builtin_stdc_bit_floor ((V) {}); /* { dg-error "'__builtin_stdc_bit_floor' operand not an integral type" } */
+ __builtin_stdc_bit_floor ((struct S) { 0 }); /* { dg-error "'__builtin_stdc_bit_floor' operand not an integral type" } */
+ __builtin_stdc_bit_floor (); /* { dg-error "wrong number of arguments to '__builtin_stdc_bit_floor'" } */
+ __builtin_stdc_bit_floor (0U, 0U); /* { dg-error "wrong number of arguments to '__builtin_stdc_bit_floor'" } */
+ __builtin_stdc_bit_floor ((_Bool) 0); /* { dg-error "argument 1 in call to function '__builtin_clzg' has boolean type" } */
+ __builtin_stdc_bit_floor ((enum E) E0); /* { dg-error "argument 1 in call to function '__builtin_clzg' has enumerated type" } */
+ __builtin_stdc_bit_floor (0); /* { dg-error "argument 1 in call to function '__builtin_clzg' has signed type" } */
+ __builtin_stdc_bit_ceil (0.0f); /* { dg-error "'__builtin_stdc_bit_ceil' operand not an integral type" } */
+ __builtin_stdc_bit_ceil (0.0); /* { dg-error "'__builtin_stdc_bit_ceil' operand not an integral type" } */
+ __builtin_stdc_bit_ceil (0.0L); /* { dg-error "'__builtin_stdc_bit_ceil' operand not an integral type" } */
+ __builtin_stdc_bit_ceil ((V) {}); /* { dg-error "'__builtin_stdc_bit_ceil' operand not an integral type" } */
+ __builtin_stdc_bit_ceil ((struct S) { 0 }); /* { dg-error "'__builtin_stdc_bit_ceil' operand not an integral type" } */
+ __builtin_stdc_bit_ceil (); /* { dg-error "wrong number of arguments to '__builtin_stdc_bit_ceil'" } */
+ __builtin_stdc_bit_ceil (0U, 0U); /* { dg-error "wrong number of arguments to '__builtin_stdc_bit_ceil'" } */
+ __builtin_stdc_bit_ceil ((_Bool) 0); /* { dg-error "argument 1 in call to function '__builtin_clzg' has boolean type" } */
+ __builtin_stdc_bit_ceil ((enum E) E0); /* { dg-error "argument 1 in call to function '__builtin_clzg' has enumerated type" } */
+ __builtin_stdc_bit_ceil (0); /* { dg-error "argument 1 in call to function '__builtin_clzg' has signed type" } */
+}
Jakub
next prev parent reply other threads:[~2023-11-21 8:22 UTC|newest]
Thread overview: 9+ messages / expand[flat|nested] mbox.gz Atom feed top
2023-11-18 19:42 Jakub Jelinek
2023-11-20 14:55 ` Joseph Myers
2023-11-20 15:03 ` Jakub Jelinek [this message]
2023-11-20 15:29 ` Jakub Jelinek
2023-11-21 8:24 ` Jakub Jelinek
2023-11-23 0:09 ` Joseph Myers
2023-11-23 10:05 ` Jakub Jelinek
2023-11-20 15:12 ` Jakub Jelinek
2023-11-21 23:35 ` Joseph Myers
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=ZVt1KWoZxoRrv9sa@tucnak \
--to=jakub@redhat.com \
--cc=fweimer@redhat.com \
--cc=gcc-patches@gcc.gnu.org \
--cc=joseph@codesourcery.com \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).