1/* PR tree-optimization/46309 */
2/* { dg-do compile { target { { ! logical_op_short_circuit } || { mips*-*-* avr*-*-* } } } } */
3/* { dg-options "-O2 -fdump-tree-reassoc-details" } */
4/* The transformation depends on BRANCH_COST being greater than 1
5   (see the notes in the PR), so try to force that.  */
6/* { dg-additional-options "-mtune=octeon2" { target mips*-*-* } } */
7/* { dg-additional-options "-mbranch-cost=2" { target avr*-*-* s390*-*-* i?86-*-* x86_64-*-* } } */
8
9int
10f1 (int a)
11{
12  int v1 = (a == 3);
13  int v2 = (a == 1);
14  int v3 = (a == 4);
15  int v4 = (a == 2);
16  return v1 || v2 || v3 || v4;
17}
18
19int
20f2 (int a)
21{
22  int v1 = (a == 1);
23  int v2 = (a == 2);
24  int v3 = (a == 3);
25  int v4 = (a == 4);
26  return v1 || v2 || v3 || v4;
27}
28
29int
30f3 (int a)
31{
32  int v1 = (a == 3);
33  int v2 = (a == 1);
34  return v1 || v2;
35}
36
37int
38f4 (int a)
39{
40  int v1 = (a == 1);
41  int v2 = (a == 2);
42  return v1 || v2;
43}
44
45int
46f5 (unsigned int a)
47{
48  int v1 = (a <= 31);
49  int v2 = (a >= 64 && a <= 95);
50  return v1 || v2;
51}
52
53int
54f6 (unsigned int a)
55{
56  int v1 = (a <= 31);
57  int v2 = (a >= 64 && a <= 95);
58  int v3 = (a >= 128 && a <= 159);
59  int v4 = (a >= 192 && a <= 223);
60  return v1 || v2 || v3 || v4;
61}
62
63/* { 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" } } */
64/* { dg-final { scan-tree-dump-times "Optimizing range tests a_\[0-9\]*.D. -.1, 1. and -.3, 3.\[\n\r\]* into" 1 "reassoc1" } } */
65/* { dg-final { scan-tree-dump-times "Optimizing range tests a_\[0-9\]*.D. -.1, 1. and -.2, 2.\[\n\r\]* into" 1 "reassoc1" } } */
66/* { dg-final { scan-tree-dump-times "Optimizing range tests a_\[0-9\]*.D. -.0, 31. and -.64, 95.\[\n\r\]* into" 2 "reassoc1" } } */
67/* { dg-final { scan-tree-dump-times "Optimizing range tests a_\[0-9\]*.D. -.128, 159. and -.192, 223.\[\n\r\]* into" 1 "reassoc1" } } */
68/* { dg-final { scan-tree-dump-times "Optimizing range tests \[^\r\n\]*_\[0-9\]* -.0, 31. and -.128, 159.\[\n\r\]* into" 1 "reassoc2" } } */
69/* { dg-final { cleanup-tree-dump "reassoc1" } } */
70/* { dg-final { cleanup-tree-dump "reassoc2" } } */
71