| /* PR middle-end/24003 */ |
| /* Contributed by Eric Botcazou <ebotcazou@adacore.com> */ |
| |
| /* { dg-do run } */ |
| /* { dg-options "-std=c99 -O -fno-inline" } */ |
| /* { dg-options "-std=c99 -O -fno-inline -mtune=i686" { target { { i?86-*-* x86_64-*-* } && ia32 } } } */ |
| |
| #include <limits.h> |
| |
| typedef unsigned long uns32_t; |
| typedef unsigned long long uns64_t; |
| |
| extern void abort(void); |
| |
| uns32_t lo (uns64_t p) |
| { |
| return (uns32_t)p; |
| } |
| |
| uns64_t concat (uns32_t p1, uns32_t p2) |
| { |
| #if LLONG_MAX > 2147483647L |
| return ((uns64_t)p1 << 32) | p2; |
| #else |
| return 0; |
| #endif |
| } |
| |
| uns64_t lshift32 (uns64_t p1, uns32_t p2) |
| { |
| return concat (lo (p1), p2); |
| } |
| |
| int main(void) |
| { |
| #if LLONG_MAX > 2147483647L |
| if (lshift32 (0xFFFFFFFF12345678ULL, 0x90ABCDEFUL) != 0x1234567890ABCDEFULL) |
| abort (); |
| #endif |
| |
| return 0; |
| } |
