Mercurial > hg > CbC > CbC_gcc
view gcc/testsuite/gcc.dg/tree-ssa/vrp20.c @ 131:84e7813d76e9
gcc-8.2
author | mir3636 |
---|---|
date | Thu, 25 Oct 2018 07:37:49 +0900 |
parents | 04ced10e8804 |
children |
line wrap: on
line source
/* { dg-do compile } */ /* { dg-options "-fwrapv -O1 -fno-tree-fre -fdisable-tree-evrp -ftree-vrp -fdump-tree-vrp1" } */ extern void abort (); extern void exit (int); int f (int a) { if (a != 0) { a = a > 0 ? a : -a; if (a == 0) return 1; return 0; } return 0; } int g (int b) { if (b != 0) { b = b > 0 ? b : -b; if (b != 0) return 0; } return 1; } /* { dg-final { scan-tree-dump "Folding predicate a_. == 0 to 0" "vrp1" } } */ /* { dg-final { scan-tree-dump "Folding predicate b_. != 0 to 1" "vrp1" } } */