gcc/gimple-range-tests.cc

   1 /* Unit tests for GIMPLE range related routines.
   2    Copyright (C) 2021-2023 Free Software Foundation, Inc.
   3
   4 This file is part of GCC.
   5
   6 GCC is free software; you can redistribute it and/or modify
   7 it under the terms of the GNU General Public License as published by
   8 the Free Software Foundation; either version 3, or (at your option)
   9 any later version.
  10
  11 GCC is distributed in the hope that it will be useful,
  12 but WITHOUT ANY WARRANTY; without even the implied warranty of
  13 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
  14 GNU General Public License for more details.
  15
  16 You should have received a copy of the GNU General Public License
  17 along with GCC; see the file COPYING3.  If not see
  18 <http://www.gnu.org/licenses/>.  */
  19
  20 #if CHECKING_P
  21
  22 #include "selftest.h"
  23
  24 namespace selftest {
  25
  26 // Test ranges of tree expressions.
  27 class test_expr_eval : public gimple_ranger
  28 {
  29 public:
  30   test_expr_eval ()
  31   {
  32     type = integer_type_node;
  33     op0 = make_ssa_name (type);
  34     op1 = make_ssa_name (type);
  35
  36     // [5,10] + [15,20] => [20, 30]
  37     tree expr = fold_build2 (PLUS_EXPR, type, op0, op1);
  38     int_range<1> expect (type,
  39                          wi::shwi (20, TYPE_PRECISION (type)),
  40                          wi::shwi (30, TYPE_PRECISION (type)));
  41     int_range_max r;
  42
  43     ASSERT_TRUE (range_of_expr (r, expr));
  44     ASSERT_TRUE (r == expect);
  45   }
  46
  47   virtual bool range_of_expr (vrange &v, tree expr, gimple * = NULL) override
  48   {
  49     irange &r = as_a <irange> (v);
  50     unsigned prec = TYPE_PRECISION (type);
  51     if (expr == op0)
  52       {
  53         r.set (type, wi::shwi (5, prec), wi::shwi (10, prec));
  54         return true;
  55       }
  56     if (expr == op1)
  57       {
  58         r.set (type, wi::shwi (15, prec), wi::shwi (20, prec));
  59         return true;
  60       }
  61     return gimple_ranger::range_of_expr (r, expr);
  62   }
  63
  64 private:
  65   tree op0, op1, type;
  66 };
  67
  68 void
  69 gimple_range_tests ()
  70 {
  71   test_expr_eval e;
  72 }
  73
  74 } // namespace selftest
  75
  76 #endif // CHECKING_P