1 /* PR middle-end/24003 */
2 /* Contributed by Eric Botcazou <ebotcazou@adacore.com> */
5 /* { dg-options "-std=c99 -O -fno-inline" } */
6 /* { dg-options "-std=c99 -O -fno-inline -mtune=i686" { target { { i?86-*-* x86_64-*-* } && ia32 } } } */
10 typedef unsigned long uns32_t
;
11 typedef unsigned long long uns64_t
;
13 extern void abort(void);
15 uns32_t
lo (uns64_t p
)
20 uns64_t
concat (uns32_t p1
, uns32_t p2
)
22 #if LLONG_MAX > 2147483647L
23 return ((uns64_t
)p1
<< 32) | p2
;
29 uns64_t
lshift32 (uns64_t p1
, uns32_t p2
)
31 return concat (lo (p1
), p2
);
36 #if LLONG_MAX > 2147483647L
37 if (lshift32 (0xFFFFFFFF12345678ULL
, 0x90ABCDEFUL
) != 0x1234567890ABCDEFULL
)