| /* { dg-do run } */ |
| /* { dg-options "-O3" } */ |
| /* { dg-require-effective-target ilp32 } */ |
| |
| typedef unsigned int u32; |
| typedef unsigned long long u64; |
| |
| u64 __attribute__((noinline)) |
| foo (u32 high, u32 low) |
| { |
| return ((u64)high << 32) | low; |
| } |
| |
| u32 __attribute__((noinline)) |
| right (u64 t) |
| { |
| return (u32)(t >> 32); |
| } |
| |
| u64 __attribute__((noinline)) |
| left (u32 t) |
| { |
| return (u64)t << 32; |
| } |
| |
| u32 __attribute__((noinline)) |
| right2 (u64 t) |
| { |
| return (u32)(t >> 40); |
| } |
| |
| u64 __attribute__((noinline)) |
| left2 (u32 t) |
| { |
| return (u64)t << 40; |
| } |
| |
| u64 __attribute__((noinline)) |
| zeroextend (u32 t) |
| { |
| return (u64)t; |
| } |
| |
| extern void abort (); |
| |
| int |
| main () |
| { |
| if (foo (13000, 12000) != 55834574860000ULL) |
| abort (); |
| |
| if (right (55834574860000ULL) != 13000) |
| abort (); |
| |
| if (left (13000) != 55834574848000ULL) |
| abort (); |
| |
| if (right2 (55834574860000ULL) != 50) |
| abort (); |
| |
| if (left2 (13000) != 14293651161088000ULL) |
| abort (); |
| |
| if (zeroextend (13000) != 13000ULL) |
| abort (); |
| |
| return 0; |
| } |