1  /* { dg-do compile } */
       2  /* { dg-options "-O2 -funswitch-loops -fdump-tree-unswitch-optimized" } */
       3  
       4  int
       5  foo(double *a, double *b, double *c, double *d, double *r, int size, int order)
       6  {
       7    for (int i = 0; i < size; i++)
       8    {
       9      double tmp, tmp2;
      10  
      11      switch(order)
      12      {
      13        case 5 ... 6:
      14        case 9:
      15          tmp = -8 * a[i];
      16          tmp2 = 2 * b[i];
      17          break;
      18        case 11: 
      19          tmp = 3 * a[i] -  2 * b[i];
      20          tmp2 = 5 * b[i] - 2 * c[i];
      21          break;
      22        case 22:
      23          tmp = 9 * a[i] +  2 * b[i] + c[i];
      24          tmp2 = 4 * b[i] + 2 * c[i] + 8 * d[i];
      25          break;
      26        case 33:
      27          tmp = 3 * a[i] +  2 * b[i] - c[i];
      28          tmp2 = b[i] - 2 * c[i] + 8 * d[i];
      29          break;
      30        default:
      31          __builtin_unreachable ();
      32      }
      33  
      34      double x = 3 * tmp + d[i] + tmp;
      35      double y = 3.4f * tmp + d[i] + tmp2;
      36      r[i] = x + y;
      37    }
      38  
      39    return 0;
      40  }
      41  
      42  /* { dg-final { scan-tree-dump-times "unswitching loop . on .switch. with condition: order.* \\+ 4294967291.*order.* == 9" 1 "unswitch" } } */
      43  /* { dg-final { scan-tree-dump-times "unswitching loop . on .switch. with condition: order.* == 1" 1 "unswitch" } } */
      44  /* { dg-final { scan-tree-dump-times "unswitching loop . on .switch. with condition: order.* == 2" 1 "unswitch" } } */
      45  /* { dg-final { scan-tree-dump-times "unswitching loop . on .switch. with condition: order.* == 3" 1 "unswitch" } } */