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<2> expect (build_int_cst (type, 20), build_int_cst (type, 30));
  39     int_range_max r;
  40
  41     ASSERT_TRUE (range_of_expr (r, expr));
  42     ASSERT_TRUE (r == expect);
  43   }
  44
  45   virtual bool range_of_expr (vrange &v, tree expr, gimple * = NULL) override
  46   {
  47     irange &r = as_a <irange> (v);
  48     if (expr == op0)
  49       {
  50         r.set (build_int_cst (type, 5), build_int_cst (type, 10));
  51         return true;
  52       }
  53     if (expr == op1)
  54       {
  55         r.set (build_int_cst (type, 15), build_int_cst (type, 20));
  56         return true;
  57       }
  58     return gimple_ranger::range_of_expr (r, expr);
  59   }
  60
  61 private:
  62   tree op0, op1, type;
  63 };
  64
  65 void
  66 gimple_range_tests ()
  67 {
  68   test_expr_eval e;
  69 }
  70
  71 } // namespace selftest
  72
  73 #endif // CHECKING_P