111
|
1 /* PR middle-end/24003 */
|
|
2 /* Contributed by Eric Botcazou <ebotcazou@adacore.com> */
|
|
3
|
|
4 /* { dg-do run } */
|
|
5 /* { dg-options "-std=c99 -O -fno-inline" } */
|
|
6 /* { dg-options "-std=c99 -O -fno-inline -mtune=i686" { target { { i?86-*-* x86_64-*-* } && ia32 } } } */
|
|
7
|
|
8 #include <limits.h>
|
|
9
|
|
10 typedef unsigned long uns32_t;
|
|
11 typedef unsigned long long uns64_t;
|
|
12
|
|
13 extern void abort(void);
|
|
14
|
|
15 uns32_t lo (uns64_t p)
|
|
16 {
|
|
17 return (uns32_t)p;
|
|
18 }
|
|
19
|
|
20 uns64_t concat (uns32_t p1, uns32_t p2)
|
|
21 {
|
|
22 #if LLONG_MAX > 2147483647L
|
|
23 return ((uns64_t)p1 << 32) | p2;
|
|
24 #else
|
|
25 return 0;
|
|
26 #endif
|
|
27 }
|
|
28
|
|
29 uns64_t lshift32 (uns64_t p1, uns32_t p2)
|
|
30 {
|
|
31 return concat (lo (p1), p2);
|
|
32 }
|
|
33
|
|
34 int main(void)
|
|
35 {
|
|
36 #if LLONG_MAX > 2147483647L
|
|
37 if (lshift32 (0xFFFFFFFF12345678ULL, 0x90ABCDEFUL) != 0x1234567890ABCDEFULL)
|
|
38 abort ();
|
|
39 #endif
|
|
40
|
|
41 return 0;
|
|
42 }
|