1  /* { dg-do compile } */
       2  /* { dg-options "-O2 -fdump-tree-lim2-details" } */
       3  
       4  volatile int x;
       5  void
       6  bar (int, char *, char *);
       7  void
       8  foo (int *a, int n, int m, int s, int t)
       9  {
      10    int i;
      11    int j;
      12    int k;
      13  
      14    for (i = 0; i < m; i++) // Loop 1
      15      {
      16        if (__builtin_expect (x, 0))
      17  	for (j = 0; j < n; j++) // Loop 2
      18  	  for (k = 0; k < n; k++) // Loop 3
      19  	    {
      20  	      bar (s / 5, "one", "two");
      21  	      a[t] = s;
      22  	    }
      23        a[t] = t;
      24      }
      25  }
      26  
      27  /* { dg-final { scan-tree-dump-times "out of loop 2" 4 "lim2" } } */
      28  /* { dg-final { scan-tree-dump-times "out of loop 1" 3 "lim2" } } */
      29