2 /* { dg-do run { target bitint } } */
3 /* { dg-options "-std=c23" } */
4 /* { dg-skip-if "" { ! run_expensive_tests } { "*" } { "-O0" "-O2" } } */
5 /* { dg-skip-if "" { ! run_expensive_tests } { "-flto" } { "" } } */
7 #if __BITINT_MAXWIDTH__ >= 255
11 _BitInt(255) a
= 0x040404040404040404040404wb
;
12 _BitInt(65) b
= -0xffffffffffffffffwb
;
13 _BitInt(65) r
= a
% b
;
21 #if __BITINT_MAXWIDTH__ >= 255
22 _BitInt(65) x
= foo ();
23 if (x
!= 0x0404040408080808wb
)