1  /* { dg-do compile } */
       2  /* { dg-options "-O2 -fdump-tree-sccp-details" } */
       3  
       4  int
       5  foo (unsigned int n)
       6  {
       7    int i, r = 1;
       8    if (n > 0)
       9      {
      10        asm ("");
      11        if (n < 10)
      12  	{
      13  	  asm ("");
      14  	  do
      15  	    {
      16  	      --n;
      17  	      r *= 2;
      18  	    }
      19  	  while (n > 0);
      20  	}
      21      }
      22    return r + n;
      23  }
      24  
      25  /* { dg-final { scan-tree-dump "# of iterations \[^\n\r]*, bounded by 8" "sccp" } } */