gcc/testsuite/gcc.dg/tree-ssa/vrp59.c

   1 /* { dg-do compile } */\r
   2 /* { dg-options "-O2 -fno-tree-ccp -fdump-tree-vrp1" } */\r
   3 \r
   4 int f(int x)\r
   5 {\r
   6   if (x >= 0 && x <= 3)\r
   7     {\r
   8       x = x ^ 3;\r
   9       x = x & 3;\r
  10     }\r
  11   return x;\r
  12 }\r
  13 \r
  14 int g(int x)\r
  15 {\r
  16   if (x >= 0 && x <= 3)\r
  17     {\r
  18       x = x ^ 2;\r
  19       x = x & 3;\r
  20     }\r
  21   return x;\r
  22 }\r
  23 \r
  24 int h(int x)\r
  25 {\r
  26   if (x >= 0 && x <= 3)\r
  27     {\r
  28       x = x ^ 1;\r
  29       x = x & 3;\r
  30     }\r
  31   return x;\r
  32 }\r
  33 \r
  34 /* { dg-final { scan-tree-dump-not " & 3;" "vrp1" } } */\r
  35 /* { dg-final { cleanup-tree-dump "vrp1" } } */\r