Branch data Line data Source code
1 : : /* Defining test functions for value conversion via dyn_cast.
2 : : Copyright (C) 2022-2025 Free Software Foundation, Inc.
3 : : Contributed by Matevos Mehrabyan <matevosmehrabyan@gmail.com>
4 : :
5 : : This file is part of GCC.
6 : :
7 : : GCC is free software; you can redistribute it and/or modify it under
8 : : the terms of the GNU General Public License as published by the Free
9 : : Software Foundation; either version 3, or (at your option) any later
10 : : version.
11 : :
12 : : GCC is distributed in the hope that it will be useful, but WITHOUT ANY
13 : : WARRANTY; without even the implied warranty of MERCHANTABILITY or
14 : : FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
15 : : for more details.
16 : :
17 : : You should have received a copy of the GNU General Public License
18 : : along with GCC; see the file COPYING3. If not see
19 : : <http://www.gnu.org/licenses/>. */
20 : :
21 : :
22 : : #ifndef SYM_EXEC_EXPRESSION_IS_A_HELPER_H
23 : : #define SYM_EXEC_EXPRESSION_IS_A_HELPER_H
24 : :
25 : : #include "sym-exec-condition.h"
26 : :
27 : : /* Test function used by dyn_cast checks if the value_bit is of
28 : : the value_type::SYMBOLIC_BIT type. */
29 : :
30 : : template<>
31 : : template<>
32 : : inline bool
33 : 949801 : is_a_helper<symbolic_bit *>::test (value_bit *ptr)
34 : : {
35 : 949801 : return ptr->get_type () == value_type::SYMBOLIC_BIT;
36 : : }
37 : :
38 : :
39 : : /* Test function used by dyn_cast checks if the value_bit is of
40 : : the value_type::BIT type. */
41 : :
42 : : template<>
43 : : template<>
44 : : inline bool
45 : 19569701 : is_a_helper<bit *>::test (value_bit *ptr)
46 : : {
47 : 19569701 : return ptr->get_type () == value_type::BIT;
48 : : }
49 : :
50 : :
51 : : /* Test function used by dyn_cast checks if the value_bit
52 : : is a bit_expression. */
53 : :
54 : : template<>
55 : : template<>
56 : : inline bool
57 : 134357 : is_a_helper<bit_expression *>::test (value_bit *ptr)
58 : : {
59 : 134357 : value_type type = ptr->get_type ();
60 : 134357 : return type == value_type::BIT_AND_EXPRESSION
61 : : || type == value_type::BIT_OR_EXPRESSION
62 : : || type == value_type::BIT_XOR_EXPRESSION
63 : : || type == value_type::BIT_COMPLEMENT_EXPRESSION
64 : : || type == value_type::SHIFT_RIGHT_EXPRESSION
65 : : || type == value_type::SHIFT_LEFT_EXPRESSION
66 : : || type == value_type::ADD_EXPRESSION
67 : : || type == value_type::SUB_EXPRESSION
68 : 134357 : || type == value_type::BIT_CONDITION;
69 : : }
70 : :
71 : :
72 : : /* Test function used by dyn_cast checks if the value_bit
73 : : is a bit_and_expression. */
74 : :
75 : : template<>
76 : : template<>
77 : : inline bool
78 : : is_a_helper<bit_and_expression *>::test (value_bit *ptr)
79 : : {
80 : : return ptr->get_type () == value_type::BIT_AND_EXPRESSION;
81 : : }
82 : :
83 : :
84 : : /* Test function used by dyn_cast checks if the value_bit
85 : : is a bit_or_expression. */
86 : :
87 : : template<>
88 : : template<>
89 : : inline bool
90 : : is_a_helper<bit_or_expression *>::test (value_bit *ptr)
91 : : {
92 : : return ptr->get_type () == value_type::BIT_OR_EXPRESSION;
93 : : }
94 : :
95 : :
96 : : /* Test function used by dyn_cast checks if the value_bit
97 : : is a bit_xor_expression. */
98 : :
99 : : template<>
100 : : template<>
101 : : inline bool
102 : 361280 : is_a_helper<bit_xor_expression *>::test (value_bit *ptr)
103 : : {
104 : 361280 : return ptr->get_type () == value_type::BIT_XOR_EXPRESSION;
105 : : }
106 : :
107 : :
108 : : /* Test function used by dyn_cast checks if the value_bit
109 : : is a bit_complement_expression. */
110 : :
111 : : template<>
112 : : template<>
113 : : inline bool
114 : : is_a_helper<bit_complement_expression *>::test (value_bit *ptr)
115 : : {
116 : : return ptr->get_type () == value_type::BIT_COMPLEMENT_EXPRESSION;
117 : : }
118 : :
119 : :
120 : : /* Test function used by dyn_cast checks if the value_bit
121 : : is a shift_left_expression. */
122 : :
123 : : template<>
124 : : template<>
125 : : inline bool
126 : : is_a_helper<shift_left_expression *>::test (value_bit *ptr)
127 : : {
128 : : return ptr->get_type () == value_type::SHIFT_LEFT_EXPRESSION;
129 : : }
130 : :
131 : :
132 : : /* Test function used by dyn_cast checks if the value_bit
133 : : is a shift_right_expression. */
134 : :
135 : : template<>
136 : : template<>
137 : : inline bool
138 : : is_a_helper<shift_right_expression *>::test (value_bit *ptr)
139 : : {
140 : : return ptr->get_type () == value_type::SHIFT_RIGHT_EXPRESSION;
141 : : }
142 : :
143 : :
144 : : /* Test function used by dyn_cast checks if the value_bit
145 : : is an add_expression. */
146 : :
147 : : template<>
148 : : template<>
149 : : inline bool
150 : : is_a_helper<add_expression *>::test (value_bit *ptr)
151 : : {
152 : : return ptr->get_type () == value_type::ADD_EXPRESSION;
153 : : }
154 : :
155 : :
156 : : /* Test function used by dyn_cast checks if the value_bit
157 : : is a sub_expression. */
158 : :
159 : : template<>
160 : : template<>
161 : : inline bool
162 : : is_a_helper<sub_expression *>::test (value_bit *ptr)
163 : : {
164 : : return ptr->get_type () == value_type::SUB_EXPRESSION;
165 : : }
166 : :
167 : :
168 : : /* Test function used by dyn_cast checks if the value_bit
169 : : is a bit_condition. */
170 : :
171 : : template<>
172 : : template<>
173 : : inline bool
174 : : is_a_helper<bit_condition *>::test (value_bit *ptr)
175 : : {
176 : : return ptr->get_type () == value_type::BIT_CONDITION;
177 : : }
178 : :
179 : :
180 : : /* Test function used by dyn_cast checks if the bit_expression
181 : : is a bit_and_expression. */
182 : :
183 : : template<>
184 : : template<>
185 : : inline bool
186 : : is_a_helper<bit_and_expression *>::test (bit_expression *ptr)
187 : : {
188 : : return ptr->get_type () == value_type::BIT_AND_EXPRESSION;
189 : : }
190 : :
191 : :
192 : : /* Test function used by dyn_cast checks if the bit_expression
193 : : is a bit_or_expression. */
194 : :
195 : : template<>
196 : : template<>
197 : : inline bool
198 : : is_a_helper<bit_or_expression *>::test (bit_expression *ptr)
199 : : {
200 : : return ptr->get_type () == value_type::BIT_OR_EXPRESSION;
201 : : }
202 : :
203 : :
204 : : /* Test function used by dyn_cast checks if the bit_expression
205 : : is a bit_xor_expression. */
206 : :
207 : : template<>
208 : : template<>
209 : : inline bool
210 : : is_a_helper<bit_xor_expression *>::test (bit_expression *ptr)
211 : : {
212 : : return ptr->get_type () == value_type::BIT_XOR_EXPRESSION;
213 : : }
214 : :
215 : :
216 : : /* Test function used by dyn_cast checks if the bit_expression
217 : : is a bit_complement_expression. */
218 : :
219 : : template<>
220 : : template<>
221 : : inline bool
222 : 0 : is_a_helper<bit_complement_expression *>::test (bit_expression *ptr)
223 : : {
224 : 0 : return ptr->get_type () == value_type::BIT_COMPLEMENT_EXPRESSION;
225 : : }
226 : :
227 : :
228 : : /* Test function used by dyn_cast checks if the bit_expression
229 : : is a shift_left_expression. */
230 : :
231 : : template<>
232 : : template<>
233 : : inline bool
234 : : is_a_helper<shift_left_expression *>::test (bit_expression *ptr)
235 : : {
236 : : return ptr->get_type () == value_type::SHIFT_LEFT_EXPRESSION;
237 : : }
238 : :
239 : :
240 : : /* Test function used by dyn_cast checks if the bit_expression
241 : : is a shift_right_expression. */
242 : :
243 : : template<>
244 : : template<>
245 : : inline bool
246 : : is_a_helper<shift_right_expression *>::test (bit_expression *ptr)
247 : : {
248 : : return ptr->get_type () == value_type::SHIFT_RIGHT_EXPRESSION;
249 : : }
250 : :
251 : :
252 : : /* Test function used by dyn_cast checks if the bit_expression
253 : : is a add_expression. */
254 : :
255 : : template<>
256 : : template<>
257 : : inline bool
258 : : is_a_helper<add_expression *>::test (bit_expression *ptr)
259 : : {
260 : : return ptr->get_type () == value_type::ADD_EXPRESSION;
261 : : }
262 : :
263 : :
264 : : /* Test function used by dyn_cast checks if the bit_expression
265 : : is a sub_expression. */
266 : :
267 : : template<>
268 : : template<>
269 : : inline bool
270 : : is_a_helper<sub_expression *>::test (bit_expression *ptr)
271 : : {
272 : : return ptr->get_type () == value_type::SUB_EXPRESSION;
273 : : }
274 : :
275 : :
276 : : /* Test function used by dyn_cast checks if the bit_expression
277 : : is a bit_condition_expression. */
278 : :
279 : : template<>
280 : : template<>
281 : : inline bool
282 : 12614 : is_a_helper<bit_condition *>::test (bit_expression *ptr)
283 : : {
284 : 12614 : return ptr->get_type () == value_type::BIT_CONDITION;
285 : : }
286 : :
287 : : #endif /* SYM_EXEC_EXPRESSION_IS_A_HELPER_H. */
|
