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

   1 /* { dg-do link } */
   2 /* { dg-options "-O2 -fdump-tree-vrp1" } */
   3
   4 #include "vrp.h"
   5
   6 void test1(int i, int j)
   7 {
   8   RANGE(i, 1, 5);
   9   RANGE(j, 7, 10);
  10   CHECK_RANGE(i + j, 8, 15);
  11 }
  12
  13 #define UINT_MAX 2*(unsigned)__INT_MAX__ + 1
  14 void test2(unsigned int i)
  15 {
  16   RANGE(i, UINT_MAX - 0x4, UINT_MAX - 0x1);
  17   CHECK_ANTI_RANGE(i + 0x2, 0x1, UINT_MAX - 0x3);
  18 }
  19 void test3(unsigned int i)
  20 {
  21   RANGE(i, UINT_MAX - 0x4, UINT_MAX - 0x1);
  22   CHECK_RANGE(i + 0x5, 0x0, 0x3);
  23 }
  24 void test4(unsigned int i)
  25 {
  26   RANGE(i, 2, 4);
  27   CHECK_ANTI_RANGE(i - 4, 1, UINT_MAX - 2);
  28 }
  29 void test5(unsigned int i)
  30 {
  31   RANGE(i, 2, 4);
  32   CHECK_RANGE(i - 8, UINT_MAX - 5, UINT_MAX - 3);
  33 }
  34
  35 int main() {}
  36
  37 /* { dg-final { scan-tree-dump-times "link_error" 0 "vrp1" } } */
  38 /* { dg-final { cleanup-tree-dump "vrp1" } } */