1 /* { dg-do compile } */
2 /* { dg-options "-O2 -fdump-tree-sccp-details" } */
3 
4 int
foo(unsigned int n)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" } } */
26