1  /* PR tree-optimization/46309 */
       2  /* { dg-do compile } */
       3  /* { dg-options "-O2 -fdump-tree-reassoc-details --param logical-op-non-short-circuit=1" } */
       4  
       5  int
       6  f1 (int a)
       7  {
       8    int v1 = (a == 3);
       9    int v2 = (a == 1);
      10    int v3 = (a == 4);
      11    int v4 = (a == 2);
      12    return v1 || v2 || v3 || v4;
      13  }
      14  
      15  int
      16  f2 (int a)
      17  {
      18    int v1 = (a == 1);
      19    int v2 = (a == 2);
      20    int v3 = (a == 3);
      21    int v4 = (a == 4);
      22    return v1 || v2 || v3 || v4;
      23  }
      24  
      25  int
      26  f3 (int a)
      27  {
      28    int v1 = (a == 3);
      29    int v2 = (a == 1);
      30    return v1 || v2;
      31  }
      32  
      33  int
      34  f4 (int a)
      35  {
      36    int v1 = (a == 1);
      37    int v2 = (a == 2);
      38    return v1 || v2;
      39  }
      40  
      41  int
      42  f5 (unsigned int a)
      43  {
      44    int v1 = (a <= 31);
      45    int v2 = (a >= 64 && a <= 95);
      46    return v1 || v2;
      47  }
      48  
      49  int
      50  f6 (unsigned int a)
      51  {
      52    int v1 = (a <= 31);
      53    int v2 = (a >= 64 && a <= 95);
      54    int v3 = (a >= 128 && a <= 159);
      55    int v4 = (a >= 192 && a <= 223);
      56    return v1 || v2 || v3 || v4;
      57  }
      58  
      59  /* { dg-final { scan-tree-dump-times "Optimizing range tests a_\[0-9\]*.D. -.1, 1. and -.2, 2. and -.3, 3. and -.4, 4.\[\n\r\]* into" 2 "reassoc1" } } */
      60  /* { dg-final { scan-tree-dump-times "Optimizing range tests a_\[0-9\]*.D. -.1, 1. and -.3, 3.\[\n\r\]* into" 1 "reassoc1" } } */
      61  /* { dg-final { scan-tree-dump-times "Optimizing range tests a_\[0-9\]*.D. -.1, 1. and -.2, 2.\[\n\r\]* into" 1 "reassoc1" } } */
      62  /* { dg-final { scan-tree-dump-times "Optimizing range tests a_\[0-9\]*.D. -.0, 31. and -.64, 95.\[\n\r\]* into" 2 "reassoc1" } } */
      63  /* { dg-final { scan-tree-dump-times "Optimizing range tests a_\[0-9\]*.D. -.128, 159. and -.192, 223.\[\n\r\]* into" 1 "reassoc1" } } */
      64  /* { dg-final { scan-tree-dump-times "Optimizing range tests \[^\r\n\]*_\[0-9\]* -.0, 0. and -.128, 128.\[\n\r\]* into" 1 "reassoc2" } } */