/* { dg-do compile } */
/* { dg-options "-O1 -fdump-tree-sccp-details" } */
/* { dg-final { scan-tree-dump-times {final value replacement} 8 "sccp" } } */

unsigned int
__attribute__((noipa))
foo (unsigned int tmp)
{
  for (int bit = 0; bit < 64; bit++)
    tmp &= 11304;
  return tmp;
}

unsigned int
__attribute__((noipa))
foo1 (unsigned int tmp)
{
  for (int bit = 63; bit >= 0; bit -=3)
    tmp &= 11304;
  return tmp;
}

unsigned int
__attribute__((noipa))
foo2 (unsigned int tmp)
{
  for (int bit = 0; bit < 64; bit++)
    tmp |= 11304;
  return tmp;
}

unsigned int
__attribute__((noipa))
foo3 (unsigned int tmp)
{
  for (int bit = 63; bit >= 0; bit -=3)
    tmp |= 11304;
  return tmp;
}

unsigned int
__attribute__((noipa))
foo4 (unsigned int tmp)
{
  for (int bit = 0; bit < 64; bit++)
    tmp ^= 11304;
  return tmp;
}

unsigned int
__attribute__((noipa))
foo5 (unsigned int tmp)
{
  for (int bit = 0; bit < 63; bit++)
    tmp ^= 11304;
  return tmp;
}

unsigned int
__attribute__((noipa))
f (unsigned int tmp, int bit)
{
  unsigned int res = tmp;
  for (int i = 0; i < bit; i++)
    res &= 11304;
  return res;
}

unsigned int
__attribute__((noipa))
f1 (unsigned int tmp, int bit)
{
  unsigned int res = tmp;
  for (int i = 0; i < bit; i++)
    res |= 11304;
  return res;
}

unsigned int
__attribute__((noipa))
f2 (unsigned int tmp, int bit)
{
  unsigned int res = tmp;
  for (int i = 0; i < bit; i++)
    res ^= 11304;
  return res;
}