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 (var: type); |
34 | op1 = make_ssa_name (var: 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 (val: 20, TYPE_PRECISION (type)), |
40 | wi::shwi (val: 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 (val: 5, precision: prec), wi::shwi (val: 10, precision: prec)); |
54 | return true; |
55 | } |
56 | if (expr == op1) |
57 | { |
58 | r.set (type, wi::shwi (val: 15, precision: prec), wi::shwi (val: 20, precision: prec)); |
59 | return true; |
60 | } |
61 | return gimple_ranger::range_of_expr (r, name: 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 |
77 | |