re PR tree-optimization/33291 (a+=2; a+=2 not simplified to a+=4; with -O3 ...
[gcc.git] / gcc / testsuite / gcc.dg / tree-ssa / reassoc-12.c
1 /* { dg-do compile } */
2 /* { dg-options "-O2 -fdump-tree-reassoc1-details" } */
3 int f(int a, int b)
4 {
5 /* MAX_EXPR <a, a> should cause it to be equivalent to a. */
6 int c = a>=b?a:b;
7 int d = c>=a?c:a;
8 return d;
9 }
10 /* { dg-final { scan-tree-dump-times "Equivalence:" 1 "reassoc1"} } */
11 /* { dg-final { cleanup-tree-dump "reassoc1" } } */