GCC Middle and Back End API Reference
range-op-mixed.h
Go to the documentation of this file.
1/* Header file for mixed range operator class.
2 Copyright (C) 2017-2025 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_RANGE_OP_MIXED_H
23#define GCC_RANGE_OP_MIXED_H
24
25void update_known_bitmask (vrange &, tree_code, const vrange &, const vrange &);
27 const irange &, const irange &,
28 relation_kind rel);
29
30
31// Return TRUE if 0 is within [WMIN, WMAX].
32
33inline bool
34wi_includes_zero_p (tree type, const wide_int &wmin, const wide_int &wmax)
35{
36 signop sign = TYPE_SIGN (type);
37 return wi::le_p (wmin, 0, sign) && wi::ge_p (wmax, 0, sign);
38}
39
40// Return TRUE if [WMIN, WMAX] is the singleton 0.
41
42inline bool
43wi_zero_p (tree type, const wide_int &wmin, const wide_int &wmax)
44{
45 unsigned prec = TYPE_PRECISION (type);
46 return wmin == wmax && wi::eq_p (wmin, wi::zero (prec));
47}
48
49
51bool_range_state get_bool_state (vrange &r, const vrange &lhs, tree val_type);
52
53// If the range of either op1 or op2 is undefined, set the result to
54// varying and return TRUE. If the caller truly cares about a result,
55// they should pass in a varying if it has an undefined that it wants
56// treated as a varying.
57
58inline bool
60 const vrange &op1, const vrange & op2)
61{
62 if (op1.undefined_p () || op2.undefined_p ())
63 {
64 r.set_varying (type);
65 return true;
66 }
67 else
68 return false;
69}
70
71// For relation opcodes, first try to see if the supplied relation
72// forces a true or false result, and return that.
73// Then check for undefined operands. If none of this applies,
74// return false.
75
76inline bool
78 const vrange &op2, relation_trio trio,
79 relation_kind my_rel)
80{
81 relation_kind rel = trio.op1_op2 ();
82 // If known relation is a complete subset of this relation, always true.
83 if (relation_union (rel, my_rel) == my_rel)
84 {
85 r = range_true (type);
86 return true;
87 }
88
89 // If known relation has no subset of this relation, always false.
90 if (relation_intersect (rel, my_rel) == VREL_UNDEFINED)
91 {
92 r = range_false (type);
93 return true;
94 }
95
96 // If either operand is undefined, return VARYING.
97 if (empty_range_varying (r, type, op1, op2))
98 return true;
99
100 return false;
101}
102
103// ----------------------------------------------------------------------
104// Mixed Mode Operators.
105// ----------------------------------------------------------------------
106
108{
109public:
115 bool fold_range (irange &r, tree type,
116 const irange &op1, const irange &op2,
117 relation_trio = TRIO_VARYING) const final override;
118 bool fold_range (irange &r, tree type,
119 const prange &op1, const prange &op2,
120 relation_trio = TRIO_VARYING) const final override;
121 bool fold_range (irange &r, tree type,
122 const frange &op1, const frange &op2,
123 relation_trio = TRIO_VARYING) const final override;
124
125 bool op1_range (irange &r, tree type,
126 const irange &lhs, const irange &val,
127 relation_trio = TRIO_VARYING) const final override;
128 bool op1_range (prange &r, tree type,
129 const irange &lhs, const prange &val,
130 relation_trio = TRIO_VARYING) const final override;
131 bool op1_range (frange &r, tree type,
132 const irange &lhs, const frange &op2,
133 relation_trio = TRIO_VARYING) const final override;
134
135 bool op2_range (irange &r, tree type,
136 const irange &lhs, const irange &val,
137 relation_trio = TRIO_VARYING) const final override;
138 bool op2_range (prange &r, tree type,
139 const irange &lhs, const prange &val,
140 relation_trio = TRIO_VARYING) const final override;
141 bool op2_range (frange &r, tree type,
142 const irange &lhs, const frange &op1,
143 relation_trio rel = TRIO_VARYING) const final override;
144
145 relation_kind op1_op2_relation (const irange &lhs, const irange &,
146 const irange &) const final override;
147 relation_kind op1_op2_relation (const irange &lhs, const prange &,
148 const prange &) const final override;
149 relation_kind op1_op2_relation (const irange &lhs, const frange &,
150 const frange &) const final override;
151 void update_bitmask (irange &r, const irange &lh,
152 const irange &rh) const final override;
153 // Check op1 and op2 for compatibility.
154 bool operand_check_p (tree t1, tree t2, tree t3) const final override
155 { return range_compatible_p (t2, t3) && INTEGRAL_TYPE_P (t1); }
156};
157
159{
160public:
166 bool fold_range (irange &r, tree type,
167 const irange &op1, const irange &op2,
168 relation_trio = TRIO_VARYING) const final override;
169 bool fold_range (irange &r, tree type,
170 const prange &op1, const prange &op2,
171 relation_trio rel = TRIO_VARYING) const final override;
172 bool fold_range (irange &r, tree type,
173 const frange &op1, const frange &op2,
174 relation_trio rel = TRIO_VARYING) const final override;
175
176 bool op1_range (irange &r, tree type,
177 const irange &lhs, const irange &op2,
178 relation_trio = TRIO_VARYING) const final override;
179 bool op1_range (prange &r, tree type,
180 const irange &lhs, const prange &op2,
181 relation_trio = TRIO_VARYING) const final override;
182 bool op1_range (frange &r, tree type,
183 const irange &lhs, const frange &op2,
184 relation_trio = TRIO_VARYING) const final override;
185
186 bool op2_range (irange &r, tree type,
187 const irange &lhs, const irange &op1,
188 relation_trio = TRIO_VARYING) const final override;
189 bool op2_range (prange &r, tree type,
190 const irange &lhs, const prange &op1,
191 relation_trio = TRIO_VARYING) const final override;
192 bool op2_range (frange &r, tree type,
193 const irange &lhs, const frange &op1,
194 relation_trio = TRIO_VARYING) const final override;
195
196 relation_kind op1_op2_relation (const irange &lhs, const irange &,
197 const irange &) const final override;
198 relation_kind op1_op2_relation (const irange &lhs, const prange &,
199 const prange &) const final override;
200 relation_kind op1_op2_relation (const irange &lhs, const frange &,
201 const frange &) const final override;
202 void update_bitmask (irange &r, const irange &lh,
203 const irange &rh) const final override;
204 // Check op1 and op2 for compatibility.
205 bool operand_check_p (tree t0, tree t1, tree t2) const final override
206 { return range_compatible_p (t1, t2) && INTEGRAL_TYPE_P (t0); }
207};
208
210{
211public:
217 bool fold_range (irange &r, tree type,
218 const irange &op1, const irange &op2,
219 relation_trio = TRIO_VARYING) const final override;
220 bool fold_range (irange &r, tree type,
221 const prange &op1, const prange &op2,
222 relation_trio = TRIO_VARYING) const final override;
223 bool fold_range (irange &r, tree type,
224 const frange &op1, const frange &op2,
225 relation_trio = TRIO_VARYING) const final override;
226 bool op1_range (irange &r, tree type,
227 const irange &lhs, const irange &op2,
228 relation_trio = TRIO_VARYING) const final override;
229 bool op1_range (prange &r, tree type,
230 const irange &lhs, const prange &op2,
231 relation_trio = TRIO_VARYING) const final override;
232 bool op1_range (frange &r, tree type,
233 const irange &lhs, const frange &op2,
234 relation_trio = TRIO_VARYING) const final override;
235 bool op2_range (irange &r, tree type,
236 const irange &lhs, const irange &op1,
237 relation_trio = TRIO_VARYING) const final override;
238 bool op2_range (prange &r, tree type,
239 const irange &lhs, const prange &op1,
240 relation_trio = TRIO_VARYING) const final override;
241 bool op2_range (frange &r, tree type,
242 const irange &lhs, const frange &op1,
243 relation_trio = TRIO_VARYING) const final override;
244 relation_kind op1_op2_relation (const irange &lhs, const irange &,
245 const irange &) const final override;
246 relation_kind op1_op2_relation (const irange &lhs, const prange &,
247 const prange &) const final override;
248 relation_kind op1_op2_relation (const irange &lhs, const frange &,
249 const frange &) const final override;
250 void update_bitmask (irange &r, const irange &lh,
251 const irange &rh) const final override;
252 // Check op1 and op2 for compatibility.
253 bool operand_check_p (tree t1, tree t2, tree t3) const final override
254 { return range_compatible_p (t2, t3) && INTEGRAL_TYPE_P (t1); }
255};
256
258{
259public:
265 bool fold_range (irange &r, tree type,
266 const irange &op1, const irange &op2,
267 relation_trio = TRIO_VARYING) const final override;
268 bool fold_range (irange &r, tree type,
269 const prange &op1, const prange &op2,
270 relation_trio = TRIO_VARYING) const final override;
271 bool fold_range (irange &r, tree type,
272 const frange &op1, const frange &op2,
273 relation_trio rel = TRIO_VARYING) const final override;
274
275 bool op1_range (irange &r, tree type,
276 const irange &lhs, const irange &op2,
277 relation_trio = TRIO_VARYING) const final override;
278 bool op1_range (prange &r, tree type,
279 const irange &lhs, const prange &op2,
280 relation_trio = TRIO_VARYING) const final override;
281 bool op1_range (frange &r, tree type,
282 const irange &lhs, const frange &op2,
283 relation_trio rel = TRIO_VARYING) const final override;
284
285 bool op2_range (irange &r, tree type,
286 const irange &lhs, const irange &op1,
287 relation_trio = TRIO_VARYING) const final override;
288 bool op2_range (prange &r, tree type,
289 const irange &lhs, const prange &op1,
290 relation_trio = TRIO_VARYING) const final override;
291 bool op2_range (frange &r, tree type,
292 const irange &lhs, const frange &op1,
293 relation_trio rel = TRIO_VARYING) const final override;
294
295 relation_kind op1_op2_relation (const irange &lhs, const irange &,
296 const irange &) const final override;
297 relation_kind op1_op2_relation (const irange &lhs, const prange &,
298 const prange &) const final override;
299 relation_kind op1_op2_relation (const irange &lhs, const frange &,
300 const frange &) const final override;
301 void update_bitmask (irange &r, const irange &lh,
302 const irange &rh) const final override;
303 // Check op1 and op2 for compatibility.
304 bool operand_check_p (tree t1, tree t2, tree t3) const final override
305 { return range_compatible_p (t2, t3) && INTEGRAL_TYPE_P (t1); }
306};
307
309{
310public:
316 bool fold_range (irange &r, tree type,
317 const irange &op1, const irange &op2,
318 relation_trio = TRIO_VARYING) const final override;
319 bool fold_range (irange &r, tree type,
320 const prange &op1, const prange &op2,
321 relation_trio = TRIO_VARYING) const final override;
322 bool fold_range (irange &r, tree type,
323 const frange &op1, const frange &op2,
324 relation_trio = TRIO_VARYING) const final override;
325
326 bool op1_range (irange &r, tree type,
327 const irange &lhs, const irange &op2,
328 relation_trio = TRIO_VARYING) const final override;
329 bool op1_range (prange &r, tree type,
330 const irange &lhs, const prange &op2,
331 relation_trio = TRIO_VARYING) const final override;
332 bool op1_range (frange &r, tree type,
333 const irange &lhs, const frange &op2,
334 relation_trio = TRIO_VARYING) const final override;
335
336 bool op2_range (irange &r, tree type,
337 const irange &lhs, const irange &op1,
338 relation_trio = TRIO_VARYING) const final override;
339 bool op2_range (prange &r, tree type,
340 const irange &lhs, const prange &op1,
341 relation_trio = TRIO_VARYING) const final override;
342 bool op2_range (frange &r, tree type,
343 const irange &lhs, const frange &op1,
344 relation_trio = TRIO_VARYING) const final override;
345 relation_kind op1_op2_relation (const irange &lhs, const irange &,
346 const irange &) const final override;
347 relation_kind op1_op2_relation (const irange &lhs, const prange &,
348 const prange &) const final override;
349 relation_kind op1_op2_relation (const irange &lhs, const frange &,
350 const frange &) const final override;
351 void update_bitmask (irange &r, const irange &lh,
352 const irange &rh) const final override;
353 // Check op1 and op2 for compatibility.
354 bool operand_check_p (tree t1, tree t2, tree t3) const final override
355 { return range_compatible_p (t2, t3) && INTEGRAL_TYPE_P (t1); }
356};
357
359{
360public:
366 bool fold_range (irange &r, tree type,
367 const irange &op1, const irange &op2,
368 relation_trio = TRIO_VARYING) const final override;
369 bool fold_range (irange &r, tree type,
370 const prange &op1, const prange &op2,
371 relation_trio = TRIO_VARYING) const final override;
372 bool fold_range (irange &r, tree type,
373 const frange &op1, const frange &op2,
374 relation_trio = TRIO_VARYING) const final override;
375
376 bool op1_range (irange &r, tree type,
377 const irange &lhs, const irange &op2,
378 relation_trio = TRIO_VARYING) const final override;
379 bool op1_range (prange &r, tree type,
380 const irange &lhs, const prange &op2,
381 relation_trio = TRIO_VARYING) const final override;
382 bool op1_range (frange &r, tree type,
383 const irange &lhs, const frange &op2,
384 relation_trio = TRIO_VARYING) const final override;
385
386 bool op2_range (irange &r, tree type,
387 const irange &lhs, const irange &op1,
388 relation_trio = TRIO_VARYING) const final override;
389 bool op2_range (prange &r, tree type,
390 const irange &lhs, const prange &op1,
391 relation_trio = TRIO_VARYING) const final override;
392 bool op2_range (frange &r, tree type,
393 const irange &lhs, const frange &op1,
394 relation_trio = TRIO_VARYING) const final override;
395
396 relation_kind op1_op2_relation (const irange &lhs, const irange &,
397 const irange &) const final override;
398 relation_kind op1_op2_relation (const irange &lhs, const prange &,
399 const prange &) const final override;
400 relation_kind op1_op2_relation (const irange &lhs, const frange &,
401 const frange &) const final override;
402 void update_bitmask (irange &r, const irange &lh,
403 const irange &rh) const final override;
404 // Check op1 and op2 for compatibility.
405 bool operand_check_p (tree t1, tree t2, tree t3) const final override
406 { return range_compatible_p (t2, t3) && INTEGRAL_TYPE_P (t1); }
407};
408
410{
411public:
415 bool fold_range (irange &r, tree type,
416 const irange &op1, const irange &op2,
417 relation_trio rel = TRIO_VARYING) const final override;
418 bool fold_range (prange &r, tree type,
419 const prange &op1, const prange &op2,
420 relation_trio rel = TRIO_VARYING) const final override;
421 bool fold_range (frange &r, tree type ATTRIBUTE_UNUSED,
422 const frange &op1, const frange &op2 ATTRIBUTE_UNUSED,
423 relation_trio = TRIO_VARYING) const final override;
424 bool op1_range (irange &r, tree type,
425 const irange &lhs, const irange &op2,
426 relation_trio rel = TRIO_VARYING) const final override;
427 bool op1_range (prange &r, tree type,
428 const prange &lhs, const prange &op2,
429 relation_trio rel = TRIO_VARYING) const final override;
430 bool op1_range (frange &r, tree type ATTRIBUTE_UNUSED,
431 const frange &lhs, const frange &op2 ATTRIBUTE_UNUSED,
432 relation_trio = TRIO_VARYING) const final override;
434 const irange &op1, const irange &op2,
435 relation_kind rel) const final override;
437 const prange &op1, const prange &op2,
438 relation_kind rel) const final override;
439};
440
442{
443public:
445 bool fold_range (irange &r, tree type,
446 const irange &op1, const irange &op2,
447 relation_trio rel = TRIO_VARYING) const final override;
448 bool fold_range (prange &r, tree type,
449 const prange &op1, const prange &op2,
450 relation_trio rel = TRIO_VARYING) const final override;
451 bool fold_range (frange &r, tree type,
452 const frange &op1, const frange &op2,
453 relation_trio = TRIO_VARYING) const final override;
454};
455
456
458{
459public:
464 bool fold_range (irange &r, tree type,
465 const irange &op1, const irange &op2,
466 relation_trio rel = TRIO_VARYING) const final override;
467 bool fold_range (prange &r, tree type,
468 const prange &op1, const prange &op2,
469 relation_trio rel = TRIO_VARYING) const final override;
470 bool fold_range (irange &r, tree type,
471 const prange &op1, const irange &op2,
472 relation_trio rel = TRIO_VARYING) const final override;
473 bool fold_range (prange &r, tree type,
474 const irange &op1, const prange &op2,
475 relation_trio rel = TRIO_VARYING) const final override;
476 bool fold_range (frange &r, tree type,
477 const frange &op1, const frange &op2,
478 relation_trio = TRIO_VARYING) const final override;
479 bool fold_range (irange &r, tree type,
480 const frange &op1, const irange &op2,
481 relation_trio = TRIO_VARYING) const final override;
482 bool fold_range (frange &r, tree type,
483 const irange &op1, const frange &op2,
484 relation_trio = TRIO_VARYING) const final override;
485
486 bool op1_range (irange &r, tree type,
487 const irange &lhs, const irange &op2,
488 relation_trio rel = TRIO_VARYING) const final override;
489 bool op1_range (prange &r, tree type,
490 const prange &lhs, const prange &op2,
491 relation_trio rel = TRIO_VARYING) const final override;
492 bool op1_range (irange &r, tree type,
493 const prange &lhs, const irange &op2,
494 relation_trio rel = TRIO_VARYING) const final override;
495 bool op1_range (prange &r, tree type,
496 const irange &lhs, const prange &op2,
497 relation_trio rel = TRIO_VARYING) const final override;
498 bool op1_range (frange &r, tree type,
499 const frange &lhs, const frange &op2,
500 relation_trio = TRIO_VARYING) const final override;
501 bool op1_range (frange &r, tree type,
502 const irange &lhs, const frange &op2,
503 relation_trio = TRIO_VARYING) const final override;
504 bool op1_range (irange &r, tree type,
505 const frange &lhs, const irange &op2,
506 relation_trio = TRIO_VARYING) const final override;
507
509 const irange &op1, const irange &op2,
510 relation_kind) const final override;
512 const prange &op1, const prange &op2,
513 relation_kind) const final override;
515 const irange &op1, const irange &op2,
516 relation_kind) const final override;
518 const prange &op1, const prange &op2,
519 relation_kind) const final override;
520 void update_bitmask (irange &r, const irange &lh,
521 const irange &rh) const final override;
522private:
523 bool truncating_cast_p (const irange &inner, const irange &outer) const;
524 bool inside_domain_p (const wide_int &min, const wide_int &max,
525 const irange &outer) const;
526 void fold_pair (irange &r, unsigned index, const irange &inner,
527 const irange &outer) const;
528};
529
531{
532public:
538 bool op1_range (irange &r, tree type,
539 const irange &lhs, const irange &op2,
540 relation_trio) const final override;
541 bool op1_range (frange &r, tree type,
542 const frange &lhs, const frange &op2,
543 relation_trio = TRIO_VARYING) const final override;
544
545 bool op2_range (irange &r, tree type,
546 const irange &lhs, const irange &op1,
547 relation_trio) const final override;
548 bool op2_range (frange &r, tree type,
549 const frange &lhs, const frange &op1,
550 relation_trio = TRIO_VARYING) const final override;
551
552 relation_kind lhs_op1_relation (const irange &lhs, const irange &op1,
553 const irange &op2,
554 relation_kind rel) const final override;
555 relation_kind lhs_op2_relation (const irange &lhs, const irange &op1,
556 const irange &op2,
557 relation_kind rel) const final override;
558 void update_bitmask (irange &r, const irange &lh,
559 const irange &rh) const final override;
560
561 virtual bool overflow_free_p (const irange &lh, const irange &rh,
563 // Check compatibility of all operands.
564 bool operand_check_p (tree t1, tree t2, tree t3) const final override
565 { return range_compatible_p (t1, t2) && range_compatible_p (t1, t3); }
566private:
567 void wi_fold (irange &r, tree type, const wide_int &lh_lb,
568 const wide_int &lh_ub, const wide_int &rh_lb,
569 const wide_int &rh_ub) const final override;
570 void rv_fold (frange &r, tree type,
571 const REAL_VALUE_TYPE &lh_lb, const REAL_VALUE_TYPE &lh_ub,
572 const REAL_VALUE_TYPE &rh_lb, const REAL_VALUE_TYPE &rh_ub,
573 relation_kind) const final override;
574};
575
577{
578 public:
582 bool fold_range (frange &r, tree type,
583 const frange &op1, const frange &,
584 relation_trio = TRIO_VARYING) const final override;
585
586 bool op1_range (irange &r, tree type, const irange &lhs,
587 const irange &op2, relation_trio) const final override;
588 bool op1_range (frange &r, tree type,
589 const frange &lhs, const frange &op2,
590 relation_trio rel = TRIO_VARYING) const final override;
591 void update_bitmask (irange &r, const irange &lh,
592 const irange &rh) const final override;
593 // Check compatibility of LHS and op1.
594 bool operand_check_p (tree t1, tree t2, tree) const final override
595 { return range_compatible_p (t1, t2); }
596private:
597 void wi_fold (irange &r, tree type, const wide_int &lh_lb,
598 const wide_int &lh_ub, const wide_int &rh_lb,
599 const wide_int &rh_ub) const final override;
600
601};
602
604{
605public:
612 bool op1_range (irange &r, tree type,
613 const irange &lhs, const irange &op2,
614 relation_trio) const final override;
615 bool op1_range (frange &r, tree type,
616 const frange &lhs, const frange &op2,
617 relation_trio = TRIO_VARYING) const final override;
618
619 bool op2_range (irange &r, tree type,
620 const irange &lhs, const irange &op1,
621 relation_trio) const final override;
622 bool op2_range (frange &r, tree type,
623 const frange &lhs,
624 const frange &op1,
625 relation_trio = TRIO_VARYING) const final override;
626
628 const irange &op1, const irange &op2,
629 relation_kind rel) const final override;
630 bool op1_op2_relation_effect (irange &lhs_range, tree type,
631 const irange &op1_range,
632 const irange &op2_range,
633 relation_kind rel) const final override;
634 void update_bitmask (irange &r, const irange &lh,
635 const irange &rh) const final override;
636
637 virtual bool overflow_free_p (const irange &lh, const irange &rh,
639 // Check compatibility of all operands.
640 bool operand_check_p (tree t1, tree t2, tree t3) const final override
641 { return range_compatible_p (t1, t2) && range_compatible_p (t1, t3); }
642private:
643 void wi_fold (irange &r, tree type, const wide_int &lh_lb,
644 const wide_int &lh_ub, const wide_int &rh_lb,
645 const wide_int &rh_ub) const final override;
646 void rv_fold (frange &r, tree type,
647 const REAL_VALUE_TYPE &lh_lb, const REAL_VALUE_TYPE &lh_ub,
648 const REAL_VALUE_TYPE &rh_lb, const REAL_VALUE_TYPE &rh_ub,
649 relation_kind) const final override;
650};
651
653{
654 public:
657 bool fold_range (irange &r, tree type,
658 const irange &op1, const irange &op2,
659 relation_trio rel = TRIO_VARYING) const final override;
660 bool fold_range (frange &r, tree type,
661 const frange &op1, const frange &op2,
662 relation_trio = TRIO_VARYING) const final override;
663
664 bool op1_range (irange &r, tree type,
665 const irange &lhs, const irange &op2,
666 relation_trio rel = TRIO_VARYING) const final override;
667 bool op1_range (frange &r, tree type,
668 const frange &lhs, const frange &op2,
669 relation_trio rel = TRIO_VARYING) const final override;
670 // Check compatibility of LHS and op1.
671 bool operand_check_p (tree t1, tree t2, tree) const final override
672 { return range_compatible_p (t1, t2); }
673};
674
675
677{
678public:
679 virtual bool wi_op_overflows (wide_int &r,
680 tree type,
681 const wide_int &,
682 const wide_int &) const = 0;
684 const wide_int &lh_lb,
685 const wide_int &lh_ub,
686 const wide_int &rh_lb,
687 const wide_int &rh_ub) const;
688};
689
691{
692public:
696 bool op1_range (irange &r, tree type,
697 const irange &lhs, const irange &op2,
698 relation_trio) const final override;
699 bool op1_range (frange &r, tree type,
700 const frange &lhs, const frange &op2,
701 relation_trio = TRIO_VARYING) const final override;
702
703 bool op2_range (irange &r, tree type,
704 const irange &lhs, const irange &op1,
705 relation_trio) const final override;
706 bool op2_range (frange &r, tree type,
707 const frange &lhs, const frange &op1,
708 relation_trio = TRIO_VARYING) const final override;
709
710 void update_bitmask (irange &r, const irange &lh,
711 const irange &rh) const final override;
712
713 void wi_fold (irange &r, tree type, const wide_int &lh_lb,
714 const wide_int &lh_ub, const wide_int &rh_lb,
715 const wide_int &rh_ub) const final override;
716 bool wi_op_overflows (wide_int &res, tree type, const wide_int &w0,
717 const wide_int &w1) const final override;
718
719 void rv_fold (frange &r, tree type,
720 const REAL_VALUE_TYPE &lh_lb, const REAL_VALUE_TYPE &lh_ub,
721 const REAL_VALUE_TYPE &rh_lb, const REAL_VALUE_TYPE &rh_ub,
722 relation_kind kind) const final override;
723 virtual bool overflow_free_p (const irange &lh, const irange &rh,
725 // Check compatibility of all operands.
726 bool operand_check_p (tree t1, tree t2, tree t3) const final override
727 { return range_compatible_p (t1, t2) && range_compatible_p (t1, t3); }
728};
729
731{
732public:
735 bool fold_range (irange &r, tree type,
736 const irange &op1, const irange &op2,
737 relation_trio rel = TRIO_VARYING) const final override;
738 bool op1_range (irange &r, tree type,
739 const irange &lhs, const irange &op2,
740 relation_trio rel = TRIO_VARYING) const final override;
741 bool op1_range (prange &r, tree type,
742 const prange &lhs, const prange &op2,
743 relation_trio rel = TRIO_VARYING) const final override;
744};
745
747{
748public:
752 bool fold_range (irange &r, tree type,
753 const irange &lh, const irange &rh,
754 relation_trio rel = TRIO_VARYING) const final override;
755 bool op1_range (irange &r, tree type,
756 const irange &lhs, const irange &op2,
757 relation_trio rel = TRIO_VARYING) const final override;
758 void update_bitmask (irange &r, const irange &lh,
759 const irange &rh) const final override;
760 // Check compatibility of all operands.
761 bool operand_check_p (tree t1, tree t2, tree t3) const final override
762 { return range_compatible_p (t1, t2) && range_compatible_p (t1, t3); }
763};
764
766{
767public:
772 bool op1_range (irange &r, tree type,
773 const irange &lhs, const irange &op2,
774 relation_trio rel = TRIO_VARYING) const final override;
775 bool op2_range (irange &r, tree type,
776 const irange &lhs, const irange &op1,
777 relation_trio rel = TRIO_VARYING) const final override;
778 bool op1_op2_relation_effect (irange &lhs_range,
779 tree type,
780 const irange &op1_range,
781 const irange &op2_range,
782 relation_kind rel) const final override;
783 void update_bitmask (irange &r, const irange &lh,
784 const irange &rh) const final override;
785 // Check compatibility of all operands.
786 bool operand_check_p (tree t1, tree t2, tree t3) const final override
787 { return range_compatible_p (t1, t2) && range_compatible_p (t1, t3); }
788private:
789 void wi_fold (irange &r, tree type, const wide_int &lh_lb,
790 const wide_int &lh_ub, const wide_int &rh_lb,
791 const wide_int &rh_ub) const final override;
792};
793
795{
796public:
802 bool fold_range (prange &r, tree type,
803 const prange &op1,
804 const prange &op2,
805 relation_trio) const final override;
806 bool op1_range (irange &r, tree type,
807 const irange &lhs, const irange &op2,
808 relation_trio rel = TRIO_VARYING) const override;
809 bool op2_range (irange &r, tree type,
810 const irange &lhs, const irange &op1,
811 relation_trio rel = TRIO_VARYING) const override;
813 const irange &op1, const irange &op2,
814 relation_kind) const override;
815 void update_bitmask (irange &r, const irange &lh,
816 const irange &rh) const override;
817 // Check compatibility of all operands.
818 bool operand_check_p (tree t1, tree t2, tree t3) const final override
819 { return range_compatible_p (t1, t2) && range_compatible_p (t1, t3); }
820protected:
821 void wi_fold (irange &r, tree type, const wide_int &lh_lb,
822 const wide_int &lh_ub, const wide_int &rh_lb,
823 const wide_int &rh_ub) const override;
825 const irange &lhs,
826 const irange &op2) const;
827};
828
830{
831public:
836
837 bool fold_range (prange &r, tree type,
838 const prange &op1,
839 const prange &op2,
840 relation_trio) const final override;
841 bool op1_range (irange &r, tree type,
842 const irange &lhs, const irange &op2,
843 relation_trio rel = TRIO_VARYING) const override;
844 bool op2_range (irange &r, tree type,
845 const irange &lhs, const irange &op1,
846 relation_trio rel = TRIO_VARYING) const override;
847 void update_bitmask (irange &r, const irange &lh,
848 const irange &rh) const override;
849 // Check compatibility of all operands.
850 bool operand_check_p (tree t1, tree t2, tree t3) const final override
851 { return range_compatible_p (t1, t2) && range_compatible_p (t1, t3); }
852protected:
853 void wi_fold (irange &r, tree type, const wide_int &lh_lb,
854 const wide_int &lh_ub, const wide_int &rh_lb,
855 const wide_int &rh_ub) const override;
856};
857
859{
860public:
863 bool fold_range (prange &r, tree type,
864 const prange &op1,
865 const prange &op2,
866 relation_trio) const final override;
867 void update_bitmask (irange &r, const irange &lh,
868 const irange &rh) const override;
869 // Check compatibility of all operands.
870 bool operand_check_p (tree t1, tree t2, tree t3) const final override
871 { return range_compatible_p (t1, t2) && range_compatible_p (t1, t3); }
872protected:
873 void wi_fold (irange &r, tree type, const wide_int &lh_lb,
874 const wide_int &lh_ub, const wide_int &rh_lb,
875 const wide_int &rh_ub) const override;
876};
877
879{
880public:
883 bool fold_range (prange &r, tree type,
884 const prange &op1,
885 const prange &op2,
886 relation_trio) const final override;
887 void update_bitmask (irange &r, const irange &lh,
888 const irange &rh) const override;
889 // Check compatibility of all operands.
890 bool operand_check_p (tree t1, tree t2, tree t3) const final override
891 { return range_compatible_p (t1, t2) && range_compatible_p (t1, t3); }
892protected:
893 void wi_fold (irange &r, tree type, const wide_int &lh_lb,
894 const wide_int &lh_ub, const wide_int &rh_lb,
895 const wide_int &rh_ub) const override;
896};
897#endif // GCC_RANGE_OP_MIXED_H
Definition range-op-mixed.h:677
void wi_cross_product(irange &r, tree type, const wide_int &lh_lb, const wide_int &lh_ub, const wide_int &rh_lb, const wide_int &rh_ub) const
Definition range-op.cc:2194
virtual bool wi_op_overflows(wide_int &r, tree type, const wide_int &, const wide_int &) const =0
Definition value-range.h:530
Definition value-range.h:274
Definition range-op-mixed.h:577
void update_bitmask(irange &r, const irange &lh, const irange &rh) const final override
Definition range-op.cc:4475
bool fold_range(frange &r, tree type, const frange &op1, const frange &, relation_trio=TRIO_VARYING) const final override
Definition range-op-float.cc:1525
bool operand_check_p(tree t1, tree t2, tree) const final override
Definition range-op-mixed.h:594
bool op1_range(irange &r, tree type, const irange &lhs, const irange &op2, relation_trio) const final override
Definition range-op.cc:4443
void wi_fold(irange &r, tree type, const wide_int &lh_lb, const wide_int &lh_ub, const wide_int &rh_lb, const wide_int &rh_ub) const final override
Definition range-op.cc:4369
Definition range-op-mixed.h:731
bool fold_range(irange &r, tree type, const irange &op1, const irange &op2, relation_trio rel=TRIO_VARYING) const final override
Definition range-op.cc:4562
bool op1_range(irange &r, tree type, const irange &lhs, const irange &op2, relation_trio rel=TRIO_VARYING) const final override
Definition range-op.cc:4581
Definition range-op-mixed.h:795
void update_bitmask(irange &r, const irange &lh, const irange &rh) const override
Definition range-op.cc:3313
bool op2_range(irange &r, tree type, const irange &lhs, const irange &op1, relation_trio rel=TRIO_VARYING) const override
Definition range-op.cc:3745
bool op1_range(irange &r, tree type, const irange &lhs, const irange &op2, relation_trio rel=TRIO_VARYING) const override
Definition range-op.cc:3682
bool operand_check_p(tree t1, tree t2, tree t3) const final override
Definition range-op-mixed.h:818
bool fold_range(prange &r, tree type, const prange &op1, const prange &op2, relation_trio) const final override
Definition range-op-ptr.cc:850
relation_kind lhs_op1_relation(const irange &lhs, const irange &op1, const irange &op2, relation_kind) const override
Definition range-op.cc:3345
void wi_fold(irange &r, tree type, const wide_int &lh_lb, const wide_int &lh_ub, const wide_int &rh_lb, const wide_int &rh_ub) const override
Definition range-op.cc:3498
void simple_op1_range_solver(irange &r, tree type, const irange &lhs, const irange &op2) const
Definition range-op.cc:3603
Definition range-op-mixed.h:747
bool fold_range(irange &r, tree type, const irange &lh, const irange &rh, relation_trio rel=TRIO_VARYING) const final override
Definition range-op.cc:4261
bool operand_check_p(tree t1, tree t2, tree t3) const final override
Definition range-op-mixed.h:761
bool op1_range(irange &r, tree type, const irange &lhs, const irange &op2, relation_trio rel=TRIO_VARYING) const final override
Definition range-op.cc:4279
void update_bitmask(irange &r, const irange &lh, const irange &rh) const final override
Definition range-op.cc:4294
Definition range-op-mixed.h:830
bool op2_range(irange &r, tree type, const irange &lhs, const irange &op1, relation_trio rel=TRIO_VARYING) const override
Definition range-op.cc:3921
bool fold_range(prange &r, tree type, const prange &op1, const prange &op2, relation_trio) const final override
Definition range-op-ptr.cc:442
bool op1_range(irange &r, tree type, const irange &lhs, const irange &op2, relation_trio rel=TRIO_VARYING) const override
Definition range-op.cc:3887
void update_bitmask(irange &r, const irange &lh, const irange &rh) const override
Definition range-op.cc:3824
bool operand_check_p(tree t1, tree t2, tree t3) const final override
Definition range-op-mixed.h:850
void wi_fold(irange &r, tree type, const wide_int &lh_lb, const wide_int &lh_ub, const wide_int &rh_lb, const wide_int &rh_ub) const override
Definition range-op.cc:3831
Definition range-op-mixed.h:766
bool op1_op2_relation_effect(irange &lhs_range, tree type, const irange &op1_range, const irange &op2_range, relation_kind rel) const final override
Definition range-op.cc:3983
void update_bitmask(irange &r, const irange &lh, const irange &rh) const final override
Definition range-op.cc:3930
bool op1_range(irange &r, tree type, const irange &lhs, const irange &op2, relation_trio rel=TRIO_VARYING) const final override
Definition range-op.cc:4011
bool operand_check_p(tree t1, tree t2, tree t3) const final override
Definition range-op-mixed.h:786
void wi_fold(irange &r, tree type, const wide_int &lh_lb, const wide_int &lh_ub, const wide_int &rh_lb, const wide_int &rh_ub) const final override
Definition range-op.cc:3937
bool op2_range(irange &r, tree type, const irange &lhs, const irange &op1, relation_trio rel=TRIO_VARYING) const final override
Definition range-op.cc:4049
Definition range-op-mixed.h:458
bool op1_range(irange &r, tree type, const irange &lhs, const irange &op2, relation_trio rel=TRIO_VARYING) const final override
Definition range-op.cc:3121
bool inside_domain_p(const wide_int &min, const wide_int &max, const irange &outer) const
Definition range-op.cc:3030
void fold_pair(irange &r, unsigned index, const irange &inner, const irange &outer) const
Definition range-op.cc:3047
bool fold_range(irange &r, tree type, const irange &op1, const irange &op2, relation_trio rel=TRIO_VARYING) const final override
Definition range-op.cc:3085
bool truncating_cast_p(const irange &inner, const irange &outer) const
Definition range-op.cc:3021
relation_kind lhs_op1_relation(const irange &lhs, const irange &op1, const irange &op2, relation_kind) const final override
Definition range-op.cc:2992
void update_bitmask(irange &r, const irange &lh, const irange &rh) const final override
Definition range-op.cc:3114
Definition range-op-mixed.h:442
bool fold_range(irange &r, tree type, const irange &op1, const irange &op2, relation_trio rel=TRIO_VARYING) const final override
Definition range-op.cc:4302
Definition range-op-mixed.h:108
bool operand_check_p(tree t1, tree t2, tree t3) const final override
Definition range-op-mixed.h:154
bool op2_range(irange &r, tree type, const irange &lhs, const irange &val, relation_trio=TRIO_VARYING) const final override
Definition range-op.cc:1138
relation_kind op1_op2_relation(const irange &lhs, const irange &, const irange &) const final override
Definition range-op.cc:1050
void update_bitmask(irange &r, const irange &lh, const irange &rh) const final override
Definition range-op.cc:1041
bool fold_range(irange &r, tree type, const irange &op1, const irange &op2, relation_trio=TRIO_VARYING) const final override
Definition range-op.cc:1067
bool op1_range(irange &r, tree type, const irange &lhs, const irange &val, relation_trio=TRIO_VARYING) const final override
Definition range-op.cc:1106
Definition range-op-mixed.h:359
bool op1_range(irange &r, tree type, const irange &lhs, const irange &op2, relation_trio=TRIO_VARYING) const final override
Definition range-op.cc:1658
bool operand_check_p(tree t1, tree t2, tree t3) const final override
Definition range-op-mixed.h:405
bool fold_range(irange &r, tree type, const irange &op1, const irange &op2, relation_trio=TRIO_VARYING) const final override
Definition range-op.cc:1637
relation_kind op1_op2_relation(const irange &lhs, const irange &, const irange &) const final override
Definition range-op.cc:1620
bool op2_range(irange &r, tree type, const irange &lhs, const irange &op1, relation_trio=TRIO_VARYING) const final override
Definition range-op.cc:1683
void update_bitmask(irange &r, const irange &lh, const irange &rh) const final override
Definition range-op.cc:1611
Definition range-op-mixed.h:309
relation_kind op1_op2_relation(const irange &lhs, const irange &, const irange &) const final override
Definition range-op.cc:1524
void update_bitmask(irange &r, const irange &lh, const irange &rh) const final override
Definition range-op.cc:1515
bool fold_range(irange &r, tree type, const irange &op1, const irange &op2, relation_trio=TRIO_VARYING) const final override
Definition range-op.cc:1541
bool operand_check_p(tree t1, tree t2, tree t3) const final override
Definition range-op-mixed.h:354
bool op2_range(irange &r, tree type, const irange &lhs, const irange &op1, relation_trio=TRIO_VARYING) const final override
Definition range-op.cc:1585
bool op1_range(irange &r, tree type, const irange &lhs, const irange &op2, relation_trio=TRIO_VARYING) const final override
Definition range-op.cc:1561
Definition range-op-mixed.h:410
relation_kind lhs_op1_relation(const irange &lhs, const irange &op1, const irange &op2, relation_kind rel) const final override
Definition range-op.cc:4315
bool fold_range(irange &r, tree type, const irange &op1, const irange &op2, relation_trio rel=TRIO_VARYING) const final override
Definition range-op.cc:4327
bool op1_range(irange &r, tree type, const irange &lhs, const irange &op2, relation_trio rel=TRIO_VARYING) const final override
Definition range-op.cc:4337
Definition range-op-mixed.h:258
bool op2_range(irange &r, tree type, const irange &lhs, const irange &op1, relation_trio=TRIO_VARYING) const final override
Definition range-op.cc:1489
void update_bitmask(irange &r, const irange &lh, const irange &rh) const final override
Definition range-op.cc:1417
bool fold_range(irange &r, tree type, const irange &op1, const irange &op2, relation_trio=TRIO_VARYING) const final override
Definition range-op.cc:1443
bool op1_range(irange &r, tree type, const irange &lhs, const irange &op2, relation_trio=TRIO_VARYING) const final override
Definition range-op.cc:1464
bool operand_check_p(tree t1, tree t2, tree t3) const final override
Definition range-op-mixed.h:304
relation_kind op1_op2_relation(const irange &lhs, const irange &, const irange &) const final override
Definition range-op.cc:1426
Definition range-op-mixed.h:210
bool operand_check_p(tree t1, tree t2, tree t3) const final override
Definition range-op-mixed.h:253
bool op1_range(irange &r, tree type, const irange &lhs, const irange &op2, relation_trio=TRIO_VARYING) const final override
Definition range-op.cc:1366
bool op2_range(irange &r, tree type, const irange &lhs, const irange &op1, relation_trio=TRIO_VARYING) const final override
Definition range-op.cc:1391
void update_bitmask(irange &r, const irange &lh, const irange &rh) const final override
Definition range-op.cc:1316
bool fold_range(irange &r, tree type, const irange &op1, const irange &op2, relation_trio=TRIO_VARYING) const final override
Definition range-op.cc:1342
relation_kind op1_op2_relation(const irange &lhs, const irange &, const irange &) const final override
Definition range-op.cc:1325
Definition range-op-mixed.h:879
bool operand_check_p(tree t1, tree t2, tree t3) const final override
Definition range-op-mixed.h:890
void update_bitmask(irange &r, const irange &lh, const irange &rh) const override
Definition range-op.cc:2162
void wi_fold(irange &r, tree type, const wide_int &lh_lb, const wide_int &lh_ub, const wide_int &rh_lb, const wide_int &rh_ub) const override
Definition range-op.cc:2169
bool fold_range(prange &r, tree type, const prange &op1, const prange &op2, relation_trio) const final override
Definition range-op-ptr.cc:807
Definition range-op-mixed.h:859
bool fold_range(prange &r, tree type, const prange &op1, const prange &op2, relation_trio) const final override
Definition range-op-ptr.cc:785
bool operand_check_p(tree t1, tree t2, tree t3) const final override
Definition range-op-mixed.h:870
void wi_fold(irange &r, tree type, const wide_int &lh_lb, const wide_int &lh_ub, const wide_int &rh_lb, const wide_int &rh_ub) const override
Definition range-op.cc:2150
void update_bitmask(irange &r, const irange &lh, const irange &rh) const override
Definition range-op.cc:2143
Definition range-op-mixed.h:604
virtual bool overflow_free_p(const irange &lh, const irange &rh, relation_trio=TRIO_VARYING) const
Definition range-op.cc:4657
bool operand_check_p(tree t1, tree t2, tree t3) const final override
Definition range-op-mixed.h:640
relation_kind lhs_op1_relation(const irange &lhs, const irange &op1, const irange &op2, relation_kind rel) const final override
Definition range-op.cc:2016
bool op1_op2_relation_effect(irange &lhs_range, tree type, const irange &op1_range, const irange &op2_range, relation_kind rel) const final override
Definition range-op.cc:2102
void wi_fold(irange &r, tree type, const wide_int &lh_lb, const wide_int &lh_ub, const wide_int &rh_lb, const wide_int &rh_ub) const final override
Definition range-op.cc:2000
bool op1_range(irange &r, tree type, const irange &lhs, const irange &op2, relation_trio) const final override
Definition range-op.cc:2112
void rv_fold(frange &r, tree type, const REAL_VALUE_TYPE &lh_lb, const REAL_VALUE_TYPE &lh_ub, const REAL_VALUE_TYPE &rh_lb, const REAL_VALUE_TYPE &rh_ub, relation_kind) const final override
Definition range-op-float.cc:2510
void update_bitmask(irange &r, const irange &lh, const irange &rh) const final override
Definition range-op.cc:1993
bool op2_range(irange &r, tree type, const irange &lhs, const irange &op1, relation_trio) const final override
Definition range-op.cc:2132
Definition range-op-mixed.h:691
bool op2_range(irange &r, tree type, const irange &lhs, const irange &op1, relation_trio) const final override
Definition range-op.cc:2270
void update_bitmask(irange &r, const irange &lh, const irange &rh) const final override
Definition range-op.cc:2236
bool operand_check_p(tree t1, tree t2, tree t3) const final override
Definition range-op-mixed.h:726
void wi_fold(irange &r, tree type, const wide_int &lh_lb, const wide_int &lh_ub, const wide_int &rh_lb, const wide_int &rh_ub) const final override
Definition range-op.cc:2298
bool op1_range(irange &r, tree type, const irange &lhs, const irange &op2, relation_trio) const final override
Definition range-op.cc:2243
virtual bool overflow_free_p(const irange &lh, const irange &rh, relation_trio=TRIO_VARYING) const
Definition range-op.cc:4688
void rv_fold(frange &r, tree type, const REAL_VALUE_TYPE &lh_lb, const REAL_VALUE_TYPE &lh_ub, const REAL_VALUE_TYPE &rh_lb, const REAL_VALUE_TYPE &rh_ub, relation_kind kind) const final override
Definition range-op-float.cc:2618
bool wi_op_overflows(wide_int &res, tree type, const wide_int &w0, const wide_int &w1) const final override
Definition range-op.cc:2278
Definition range-op-mixed.h:653
bool operand_check_p(tree t1, tree t2, tree) const final override
Definition range-op-mixed.h:671
bool fold_range(irange &r, tree type, const irange &op1, const irange &op2, relation_trio rel=TRIO_VARYING) const final override
Definition range-op.cc:4536
bool op1_range(irange &r, tree type, const irange &lhs, const irange &op2, relation_trio rel=TRIO_VARYING) const final override
Definition range-op.cc:4551
Definition range-op-mixed.h:159
bool op1_range(irange &r, tree type, const irange &lhs, const irange &op2, relation_trio=TRIO_VARYING) const final override
Definition range-op.cc:1214
bool operand_check_p(tree t0, tree t1, tree t2) const final override
Definition range-op-mixed.h:205
void update_bitmask(irange &r, const irange &lh, const irange &rh) const final override
Definition range-op.cc:1149
bool op2_range(irange &r, tree type, const irange &lhs, const irange &op1, relation_trio=TRIO_VARYING) const final override
Definition range-op.cc:1247
bool fold_range(irange &r, tree type, const irange &op1, const irange &op2, relation_trio=TRIO_VARYING) const final override
Definition range-op.cc:1175
relation_kind op1_op2_relation(const irange &lhs, const irange &, const irange &) const final override
Definition range-op.cc:1158
Definition range-op-mixed.h:531
bool op2_range(irange &r, tree type, const irange &lhs, const irange &op1, relation_trio) const final override
Definition range-op.cc:1918
bool operand_check_p(tree t1, tree t2, tree t3) const final override
Definition range-op-mixed.h:564
void rv_fold(frange &r, tree type, const REAL_VALUE_TYPE &lh_lb, const REAL_VALUE_TYPE &lh_ub, const REAL_VALUE_TYPE &rh_lb, const REAL_VALUE_TYPE &rh_ub, relation_kind) const final override
Definition range-op-float.cc:2447
relation_kind lhs_op1_relation(const irange &lhs, const irange &op1, const irange &op2, relation_kind rel) const final override
Definition range-op.cc:1719
bool op1_range(irange &r, tree type, const irange &lhs, const irange &op2, relation_trio) const final override
Definition range-op.cc:1898
void wi_fold(irange &r, tree type, const wide_int &lh_lb, const wide_int &lh_ub, const wide_int &rh_lb, const wide_int &rh_ub) const final override
Definition range-op.cc:1793
relation_kind lhs_op2_relation(const irange &lhs, const irange &op1, const irange &op2, relation_kind rel) const final override
Definition range-op.cc:1786
virtual bool overflow_free_p(const irange &lh, const irange &rh, relation_trio=TRIO_VARYING) const
Definition range-op.cc:4626
void update_bitmask(irange &r, const irange &lh, const irange &rh) const final override
Definition range-op.cc:1709
Definition value-range.h:387
Definition range-op.h:65
virtual bool op1_range(irange &r, tree type, const irange &lhs, const irange &op2, relation_trio=TRIO_VARYING) const
Definition range-op.cc:796
virtual bool op2_range(irange &r, tree type, const irange &lhs, const irange &op1, relation_trio=TRIO_VARYING) const
Definition range-op.cc:808
virtual bool fold_range(irange &r, tree type, const irange &lh, const irange &rh, relation_trio=TRIO_VARYING) const
Definition range-op.cc:706
virtual void update_bitmask(irange &, const irange &, const irange &) const
Definition range-op.cc:870
virtual relation_kind lhs_op2_relation(const irange &lhs, const irange &op1, const irange &op2, relation_kind=VREL_VARYING) const
Definition range-op.cc:829
virtual relation_kind lhs_op1_relation(const irange &lhs, const irange &op1, const irange &op2, relation_kind=VREL_VARYING) const
Definition range-op.cc:820
virtual relation_kind op1_op2_relation(const irange &lhs, const irange &op1, const irange &op2) const
Definition range-op.cc:838
virtual bool op1_op2_relation_effect(irange &lhs_range, tree type, const irange &op1_range, const irange &op2_range, relation_kind rel) const
Definition range-op.cc:848
Definition value-relation.h:336
relation_kind op1_op2()
Definition value-relation.h:410
Definition value-range.h:78
bool undefined_p() const
Definition value-range.h:1019
union tree_node * tree
Definition coretypes.h:97
tree_code
Definition genmatch.cc:1002
BINARY_PREDICATE le_p(const T1 &, const T2 &, signop)
hwi_with_prec zero(unsigned int)
Definition wide-int.h:2018
BINARY_PREDICATE ge_p(const T1 &, const T2 &, signop)
BINARY_PREDICATE eq_p(const T1 &, const T2 &)
poly_int< N, C > r
Definition poly-int.h:774
bool wi_includes_zero_p(tree type, const wide_int &wmin, const wide_int &wmax)
Definition range-op-mixed.h:34
bool empty_range_varying(vrange &r, tree type, const vrange &op1, const vrange &op2)
Definition range-op-mixed.h:59
bool wi_zero_p(tree type, const wide_int &wmin, const wide_int &wmax)
Definition range-op-mixed.h:43
bool_range_state get_bool_state(vrange &r, const vrange &lhs, tree val_type)
Definition range-op.cc:1015
void update_known_bitmask(vrange &, tree_code, const vrange &, const vrange &)
Definition range-op.cc:514
bool relop_early_resolve(irange &r, tree type, const vrange &op1, const vrange &op2, relation_trio trio, relation_kind my_rel)
Definition range-op-mixed.h:77
bool minus_op1_op2_relation_effect(irange &lhs_range, tree type, const irange &, const irange &, relation_kind rel)
Definition range-op.cc:2036
bool_range_state
Definition range-op-mixed.h:50
@ BRS_FALSE
Definition range-op-mixed.h:50
@ BRS_EMPTY
Definition range-op-mixed.h:50
@ BRS_FULL
Definition range-op-mixed.h:50
@ BRS_TRUE
Definition range-op-mixed.h:50
int_range< 1 > range_false(tree type=boolean_type_node)
Definition range.h:39
int_range< 1 > range_true(tree type=boolean_type_node)
Definition range.h:30
#define REAL_VALUE_TYPE
Definition real.h:68
signop
Definition signop.h:28
Definition gengtype.h:252
#define TYPE_PRECISION(NODE)
Definition tree.h:2325
#define TYPE_SIGN(NODE)
Definition tree.h:952
#define INTEGRAL_TYPE_P(TYPE)
Definition tree.h:613
bool range_compatible_p(tree type1, tree type2)
Definition value-range.h:1794
relation_kind relation_intersect(relation_kind r1, relation_kind r2)
Definition value-relation.cc:105
relation_kind relation_union(relation_kind r1, relation_kind r2)
Definition value-relation.cc:142
enum relation_kind_t relation_kind
@ VREL_UNDEFINED
Definition value-relation.h:66
#define TRIO_VARYING
Definition value-relation.h:355
generic_wide_int< wide_int_storage > wide_int
Definition wide-int.h:343