blob: 280dda1a49fb08261f35569a4675265c6b6ea33f [file] [log] [blame]
/* { dg-do run } */
/* { dg-additional-options "-fweb" } */
typedef unsigned char u8;
#if __SIZEOF_INT__ < 4
__extension__ typedef __UINT32_TYPE__ u32;
#else
typedef unsigned int u32;
#endif
typedef unsigned long long u64;
int a;
static __attribute__ ((noinline, noclone)) u64
foo (u8 p1, u32 p2)
{
u64 b = a <= 0;
p2 = 4;
b >>= a == 0;
p1 %= 0xfffffffff;
p2 >>= b & 31;
p1 += b;
p2 <<= 31;
return p1 + p2 + b;
}
int
main (void)
{
u64 x = foo (0, 1);
if (x != 0)
__builtin_abort ();
return 0;
}