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__ >= 129
9 foo (unsigned _BitInt (128) a
, _BitInt (129) b
)
15 #if __BITINT_MAXWIDTH__ >= 192
17 bar (unsigned _BitInt (128) a
, _BitInt (192) b
)
26 #if __BITINT_MAXWIDTH__ >= 129
27 if (foo (336225022742818342628768636932743029911uwb
,
28 -336225022742818342628768636932743029911wb
) != -1
29 || foo (336225022742818342628768636932743029912uwb
,
30 -336225022742818342628768636932743029911wb
) != -1
31 || foo (336225022742818342628768636932743029911uwb
,
32 -336225022742818342628768636932743029912wb
) != 0)
35 #if __BITINT_MAXWIDTH__ >= 192
36 if (bar (336225022742818342628768636932743029911uwb
,
37 -336225022742818342628768636932743029911wb
) != -1
38 || bar (336225022742818342628768636932743029912uwb
,
39 -336225022742818342628768636932743029911wb
) != -1
40 || bar (336225022742818342628768636932743029911uwb
,
41 -336225022742818342628768636932743029912wb
) != 0)