gcc/testsuite/gcc.dg/tree-ssa/pr55157.c

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

void gg(void);
int f(unsigned t)
{
  unsigned g = t*16;
  if (g==0)  return 1;
  gg();
  gg();
  gg();
  gg();
  gg();
  gg();
  if (g<=4)  return 1;
  return 0;
}

// { dg-final { scan-tree-dump-times " if " 1 "evrp" } }