GCC Middle and Back End API Reference
gimple-range-tests.cc
Go to the documentation of this file.
1/* Unit tests for GIMPLE range related routines.
2 Copyright (C) 2021-2024 Free Software Foundation, Inc.
3
4This file is part of GCC.
5
6GCC is free software; you can redistribute it and/or modify
7it under the terms of the GNU General Public License as published by
8the Free Software Foundation; either version 3, or (at your option)
9any later version.
10
11GCC is distributed in the hope that it will be useful,
12but WITHOUT ANY WARRANTY; without even the implied warranty of
13MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
14GNU General Public License for more details.
15
16You should have received a copy of the GNU General Public License
17along 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
24namespace selftest {
25
26// Test ranges of tree expressions.
27class test_expr_eval : public gimple_ranger
28{
29public:
31 {
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,
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 }
62 }
63
64private:
65 tree op0, op1, type;
66};
67
68void
70{
72}
73
74} // namespace selftest
75
76#endif // CHECKING_P
Definition genmatch.cc:845
Definition gimple-range.h:48
virtual bool range_of_expr(vrange &r, tree name, gimple *=NULL) override
Definition gimple-range.cc:82
Definition value-range.h:377
Definition value-range.h:276
Definition value-range.h:76
union tree_node * tree
Definition coretypes.h:97
#define fold_build2(c, t1, t2, t3)
Definition fold-const.h:72
static type_p type(options_p *optsp, bool nested)
Definition gengtype-parse.cc:883
T * ggc_alloc(ALONE_CXX_MEM_STAT_INFO)
Definition ggc.h:184
Definition dump-context.h:31
poly_int< N, hwi_with_prec > shwi(const poly_int< N, HOST_WIDE_INT > &a, unsigned int precision)
Definition poly-int.h:717
poly_int< N, C > r
Definition poly-int.h:770
Definition gimple.h:225
Definition gengtype.h:252
#define NULL
Definition system.h:50
tree make_ssa_name(tree var, gimple *stmt=NULL)
Definition tree-ssanames.h:96
#define TYPE_PRECISION(NODE)
Definition tree.h:2245
#define integer_type_node
Definition tree.h:4636