2 __extension__
typedef __UINT32_TYPE__
uint32_t;
3 __extension__
typedef __INT32_TYPE__
int32_t;
5 typedef unsigned uint32_t;
9 extern void abort (void);
11 __attribute__ ((noinline
, noclone
)) unsigned long long f1 (int32_t x
)
13 return ((unsigned long long) x
) << 4;
16 __attribute__ ((noinline
, noclone
)) long long f2 (uint32_t x
)
18 return ((long long) x
) << 4;
21 __attribute__ ((noinline
, noclone
)) unsigned long long f3 (uint32_t x
)
23 return ((unsigned long long) x
) << 4;
26 __attribute__ ((noinline
, noclone
)) long long f4 (int32_t x
)
28 return ((long long) x
) << 4;
33 if (f1 (0xf0000000) != 0xffffffff00000000)
35 if (f2 (0xf0000000) != 0xf00000000)
37 if (f3 (0xf0000000) != 0xf00000000)
39 if (f4 (0xf0000000) != 0xffffffff00000000)