]> git.ipfire.org Git - thirdparty/gcc.git/blame - gcc/gimple-range-fold.h
x86: Remove "%!" before ret
[thirdparty/gcc.git] / gcc / gimple-range-fold.h
CommitLineData
4c85ff75
AM
1/* Header file for the GIMPLE fold_using_range interface.
2 Copyright (C) 2019-2021 Free Software Foundation, Inc.
3 Contributed by Andrew MacLeod <amacleod@redhat.com>
4 and Aldy Hernandez <aldyh@redhat.com>.
5
6This file is part of GCC.
7
8GCC is free software; you can redistribute it and/or modify it under
9the terms of the GNU General Public License as published by the Free
10Software Foundation; either version 3, or (at your option) any later
11version.
12
13GCC is distributed in the hope that it will be useful, but WITHOUT ANY
14WARRANTY; without even the implied warranty of MERCHANTABILITY or
15FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
16 for more details.
17
18You should have received a copy of the GNU General Public License
19along with GCC; see the file COPYING3. If not see
20<http://www.gnu.org/licenses/>. */
21
22#ifndef GCC_GIMPLE_RANGE_FOLD_H
23#define GCC_GIMPLE_RANGE_FOLD_H
24
25// This file is the main include point for gimple range folding.
26// These routines will fold stmt S into the result irange R.
27// Any ssa_names on the stmt will be calculated using the range_query
28// parameter via a call to range_of_expr.
29// If no range_query is provided, current global range info will be used.
30// The second variation specifies an edge, and stmt S is recalculated as if
31// it appeared on that edge.
32
33// Fold stmt S into range R using range query Q.
34bool fold_range (irange &r, gimple *s, range_query *q = NULL);
35// Recalculate stmt S into R using range query Q as if it were on edge ON_EDGE.
36bool fold_range (irange &r, gimple *s, edge on_edge, range_query *q = NULL);
37
38// These routines the operands to be specified when manually folding.
39// Any excess queries will be drawn from the current range_query.
40bool fold_range (irange &r, gimple *s, irange &r1);
41bool fold_range (irange &r, gimple *s, irange &r1, irange &r2);
42bool fold_range (irange &r, gimple *s, unsigned num_elements, irange *vector);
43
44// Return the range_operator pointer for this statement. This routine
45// can also be used to gate whether a routine is range-ops enabled.
46
47static inline range_operator *
48gimple_range_handler (const gimple *s)
49{
50 if (const gassign *ass = dyn_cast<const gassign *> (s))
51 return range_op_handler (gimple_assign_rhs_code (ass),
52 TREE_TYPE (gimple_assign_lhs (ass)));
53 if (const gcond *cond = dyn_cast<const gcond *> (s))
54 return range_op_handler (gimple_cond_code (cond),
55 TREE_TYPE (gimple_cond_lhs (cond)));
56 return NULL;
57}
58
478cc962
AM
59// Return the type of range which statement S calculates. If the type is
60// unsupported or no type can be determined, return NULL_TREE.
61
62static inline tree
63gimple_range_type (const gimple *s)
64{
65 tree lhs = gimple_get_lhs (s);
66 tree type = NULL_TREE;
67 if (lhs)
68 type = TREE_TYPE (lhs);
69 else
70 {
71 enum gimple_code code = gimple_code (s);
72 if (code == GIMPLE_COND)
73 type = boolean_type_node;
74 else if (code == GIMPLE_PHI)
75 type = TREE_TYPE (gimple_phi_result (s));
76 else if (code == GIMPLE_CALL)
77 {
78 type = gimple_call_fntype (s);
79 // If it has a type, get the return type.
80 if (type)
81 type = TREE_TYPE (type);
82 }
83 }
84 if (irange::supports_type_p (type))
85 return type;
86 return NULL_TREE;
87}
88
4c85ff75
AM
89// Return EXP if it is an SSA_NAME with a type supported by gimple ranges.
90
91static inline tree
92gimple_range_ssa_p (tree exp)
93{
94 if (exp && TREE_CODE (exp) == SSA_NAME &&
95 !SSA_NAME_IS_VIRTUAL_OPERAND (exp) &&
93ac832f 96 !SSA_NAME_OCCURS_IN_ABNORMAL_PHI (exp) &&
4c85ff75
AM
97 irange::supports_type_p (TREE_TYPE (exp)))
98 return exp;
99 return NULL_TREE;
100}
101
102// Return true if TYPE1 and TYPE2 are compatible range types.
103
104static inline bool
105range_compatible_p (tree type1, tree type2)
106{
107 // types_compatible_p requires conversion in both directions to be useless.
108 // GIMPLE only requires a cast one way in order to be compatible.
109 // Ranges really only need the sign and precision to be the same.
110 return (TYPE_PRECISION (type1) == TYPE_PRECISION (type2)
111 && TYPE_SIGN (type1) == TYPE_SIGN (type2));
112}
113
114
115// Source of all operands for fold_using_range and gori_compute.
116// It abstracts out the source of an operand so it can come from a stmt or
117// and edge or anywhere a derived class of fur_source wants.
118// The default simply picks up ranges from the current range_query.
119
120class fur_source
121{
122public:
123 fur_source (range_query *q = NULL);
124 inline range_query *query () { return m_query; }
125 inline class gori_compute *gori () { return m_gori; };
126 virtual bool get_operand (irange &r, tree expr);
127 virtual bool get_phi_operand (irange &r, tree expr, edge e);
128 virtual relation_kind query_relation (tree op1, tree op2);
129 virtual void register_relation (gimple *stmt, relation_kind k, tree op1,
130 tree op2);
131 virtual void register_relation (edge e, relation_kind k, tree op1,
132 tree op2);
198bc5ec 133 void register_outgoing_edges (gcond *, irange &lhs_range, edge e0, edge e1);
4c85ff75
AM
134protected:
135 range_query *m_query;
136 gori_compute *m_gori;
137};
138
139// fur_stmt is the specification for drawing an operand from range_query Q
140// via a range_of_Expr call on stmt S.
141
142class fur_stmt : public fur_source
143{
144public:
145 fur_stmt (gimple *s, range_query *q = NULL);
146 virtual bool get_operand (irange &r, tree expr) OVERRIDE;
147 virtual bool get_phi_operand (irange &r, tree expr, edge e) OVERRIDE;
148 virtual relation_kind query_relation (tree op1, tree op2) OVERRIDE;
149private:
150 gimple *m_stmt;
151};
152
153// This version of fur_source will pick a range from a stmt, and also register
154// dependencies via a gori_compute object. This is mostly an internal API.
155
156class fur_depend : public fur_stmt
157{
158public:
159 fur_depend (gimple *s, gori_compute *gori, range_query *q = NULL);
160 virtual void register_relation (gimple *stmt, relation_kind k, tree op1,
161 tree op2) OVERRIDE;
162 virtual void register_relation (edge e, relation_kind k, tree op1,
163 tree op2) OVERRIDE;
f46d3363 164protected:
4c85ff75
AM
165 relation_oracle *m_oracle;
166};
167
168extern tree gimple_range_operand1 (const gimple *s);
169extern tree gimple_range_operand2 (const gimple *s);
170
171// This class uses ranges to fold a gimple statement producinf a range for
172// the LHS. The source of all operands is supplied via the fur_source class
173// which provides a range_query as well as a source location and any other
174// required information.
175
176class fold_using_range
177{
178public:
179 bool fold_stmt (irange &r, gimple *s, class fur_source &src,
180 tree name = NULL_TREE);
181protected:
182 bool range_of_range_op (irange &r, gimple *s, fur_source &src);
183 bool range_of_call (irange &r, gcall *call, fur_source &src);
184 bool range_of_cond_expr (irange &r, gassign* cond, fur_source &src);
185 bool range_of_address (irange &r, gimple *s, fur_source &src);
186 bool range_of_builtin_call (irange &r, gcall *call, fur_source &src);
187 void range_of_builtin_ubsan_call (irange &r, gcall *call, tree_code code,
188 fur_source &src);
189 bool range_of_phi (irange &r, gphi *phi, fur_source &src);
190 void range_of_ssa_name_with_loop_info (irange &, tree, class loop *, gphi *,
191 fur_source &src);
192 void relation_fold_and_or (irange& lhs_range, gimple *s, fur_source &src);
4c85ff75
AM
193};
194#endif // GCC_GIMPLE_RANGE_FOLD_H