/* { dg-do compile } */
/* { dg-options "-O2 -fdump-tree-optimized" } */


void bar (void);

void
foo(unsigned int abc123)
{
  unsigned int xyzpdq = (1 << abc123);
  if ((xyzpdq & 0x800) != 0)
    bar();
}

void
baz(unsigned int abc123)
{
  unsigned int xyzpdq = (1 << abc123);
  if ((xyzpdq & 0x800) == 0)
    bar();
}

/* What we want to verify is that the bit test against xyzpdq is
   replaced with a test against abc123 which avoids the shifting
   and bit ops.  */
/* { dg-final { scan-tree-dump-not "xyzpdq" "optimized"} } */
/* { dg-final { scan-tree-dump-times "if .abc123" 2 "optimized"} } */