gcc/testsuite/gcc.dg/tree-ssa/overflow-2.c

   1 /* { dg-do compile } */
   2 /* { dg-options "-O2 -fdump-tree-optimized-raw" } */
   3
   4 int carry;
   5 int f(unsigned a, unsigned b) {
   6   unsigned r;
   7   carry = __builtin_sub_overflow(a, b, &r);
   8   return r > a;
   9 }
  10 int g(unsigned a, unsigned b) {
  11   unsigned r;
  12   carry = __builtin_sub_overflow(a, b, &r);
  13   return a < r;
  14 }
  15 int h(unsigned a, unsigned b) {
  16   unsigned r;
  17   carry = __builtin_sub_overflow(a, b, &r);
  18   return r <= a;
  19 }
  20 int i(unsigned a, unsigned b) {
  21   unsigned r;
  22   carry = __builtin_sub_overflow(a, b, &r);
  23   return a >= r;
  24 }
  25 int j(unsigned a, unsigned b) {
  26   unsigned r;
  27   carry = __builtin_add_overflow(a, b, &r);
  28   return r < a;
  29 }
  30 int j2(unsigned a, unsigned b) {
  31   unsigned r;
  32   carry = __builtin_add_overflow(a, b, &r);
  33   return r < b;
  34 }
  35 int k(unsigned a, unsigned b) {
  36   unsigned r;
  37   carry = __builtin_add_overflow(a, b, &r);
  38   return a > r;
  39 }
  40 int k2(unsigned a, unsigned b) {
  41   unsigned r;
  42   carry = __builtin_add_overflow(a, b, &r);
  43   return b > r;
  44 }
  45 int l(unsigned a, unsigned b) {
  46   unsigned r;
  47   carry = __builtin_add_overflow(a, b, &r);
  48   return r >= a;
  49 }
  50 int l2(unsigned a, unsigned b) {
  51   unsigned r;
  52   carry = __builtin_add_overflow(a, b, &r);
  53   return r >= b;
  54 }
  55 int m(unsigned a, unsigned b) {
  56   unsigned r;
  57   carry = __builtin_add_overflow(a, b, &r);
  58   return a <= r;
  59 }
  60 int m2(unsigned a, unsigned b) {
  61   unsigned r;
  62   carry = __builtin_add_overflow(a, b, &r);
  63   return b <= r;
  64 }
  65
  66 /* { dg-final { scan-tree-dump-not "(le|lt|ge|gt)_expr" "optimized" } } */
  67 /* { dg-final { scan-tree-dump-times "ADD_OVERFLOW" 8 "optimized" } } */
  68 /* { dg-final { scan-tree-dump-times "SUB_OVERFLOW" 4 "optimized" } } */