Mercurial > hg > CbC > CbC_gcc
view gcc/testsuite/gcc.dg/tree-ssa/pr49039.c @ 152:2b5abeee2509
update gcc11
author | anatofuz |
---|---|
date | Mon, 25 May 2020 07:50:57 +0900 |
parents | 04ced10e8804 |
children |
line wrap: on
line source
/* PR tree-optimization/49039 */ /* { dg-do compile } */ /* { dg-options "-O2 -fdisable-tree-evrp -fdump-tree-vrp1" } */ extern void bar (void); void foo (unsigned int x, unsigned int y) { unsigned int minv, maxv; if (x >= 3 && x <= 6) return; if (y >= 5 && y <= 8) return; minv = x < y ? x : y; maxv = x > y ? x : y; if (minv == 5) bar (); if (minv == 6) bar (); if (maxv == 5) bar (); if (maxv == 6) bar (); } /* { dg-final { scan-tree-dump "Folding predicate minv_\[0-9\]* == 5 to 0" "vrp1" } } */ /* { dg-final { scan-tree-dump "Folding predicate minv_\[0-9\]* == 6 to 0" "vrp1" } } */ /* { dg-final { scan-tree-dump "Folding predicate maxv_\[0-9\]* == 5 to 0" "vrp1" } } */ /* { dg-final { scan-tree-dump "Folding predicate maxv_\[0-9\]* == 6 to 0" "vrp1" } } */