hppa: Fix REG+D address support before reload
[official-gcc.git] / gcc / gimple-range.cc
blobc16b776c1e3a2c6c2758a790aded1161c9394bf5
1 /* Code for GIMPLE range related routines.
2 Copyright (C) 2019-2024 Free Software Foundation, Inc.
3 Contributed by Andrew MacLeod <amacleod@redhat.com>
4 and Aldy Hernandez <aldyh@redhat.com>.
6 This file is part of GCC.
8 GCC is free software; you can redistribute it and/or modify
9 it under the terms of the GNU General Public License as published by
10 the Free Software Foundation; either version 3, or (at your option)
11 any later version.
13 GCC is distributed in the hope that it will be useful,
14 but WITHOUT ANY WARRANTY; without even the implied warranty of
15 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
16 GNU General Public License for more details.
18 You should have received a copy of the GNU General Public License
19 along with GCC; see the file COPYING3. If not see
20 <http://www.gnu.org/licenses/>. */
22 #include "config.h"
23 #include "system.h"
24 #include "coretypes.h"
25 #include "backend.h"
26 #include "tree.h"
27 #include "gimple.h"
28 #include "ssa.h"
29 #include "gimple-pretty-print.h"
30 #include "gimple-iterator.h"
31 #include "tree-cfg.h"
32 #include "fold-const.h"
33 #include "tree-cfg.h"
34 #include "cfgloop.h"
35 #include "tree-scalar-evolution.h"
36 #include "gimple-range.h"
37 #include "gimple-fold.h"
38 #include "gimple-walk.h"
40 gimple_ranger::gimple_ranger (bool use_imm_uses) :
41 non_executable_edge_flag (cfun),
42 m_cache (non_executable_edge_flag, use_imm_uses),
43 tracer (""),
44 current_bb (NULL)
46 // If the cache has a relation oracle, use it.
47 m_oracle = m_cache.oracle ();
48 if (dump_file && (param_ranger_debug & RANGER_DEBUG_TRACE))
49 tracer.enable_trace ();
50 m_stmt_list.create (0);
51 m_stmt_list.safe_grow (num_ssa_names);
52 m_stmt_list.truncate (0);
54 // Ensure the not_executable flag is clear everywhere.
55 if (flag_checking)
57 basic_block bb;
58 FOR_ALL_BB_FN (bb, cfun)
60 edge_iterator ei;
61 edge e;
62 FOR_EACH_EDGE (e, ei, bb->succs)
63 gcc_checking_assert ((e->flags & non_executable_edge_flag) == 0);
68 gimple_ranger::~gimple_ranger ()
70 m_stmt_list.release ();
73 // Return a range_query which accesses just the known global values.
75 range_query &
76 gimple_ranger::const_query ()
78 return m_cache.const_query ();
81 bool
82 gimple_ranger::range_of_expr (vrange &r, tree expr, gimple *stmt)
84 unsigned idx;
85 if (!gimple_range_ssa_p (expr))
86 return get_tree_range (r, expr, stmt);
88 if ((idx = tracer.header ("range_of_expr(")))
90 print_generic_expr (dump_file, expr, TDF_SLIM);
91 fputs (")", dump_file);
92 if (stmt)
94 fputs (" at stmt ", dump_file);
95 print_gimple_stmt (dump_file, stmt, 0, TDF_SLIM);
97 else
98 fputs ("\n", dump_file);
101 // If there is no statement, just get the global value.
102 if (!stmt)
104 Value_Range tmp (TREE_TYPE (expr));
105 m_cache.get_global_range (r, expr);
106 // Pick up implied context information from the on-entry cache
107 // if current_bb is set. Do not attempt any new calculations.
108 if (current_bb && m_cache.block_range (tmp, current_bb, expr, false))
110 r.intersect (tmp);
111 char str[80];
112 sprintf (str, "picked up range from bb %d\n",current_bb->index);
113 if (idx)
114 tracer.print (idx, str);
117 // For a debug stmt, pick the best value currently available, do not
118 // trigger new value calculations. PR 100781.
119 else if (is_gimple_debug (stmt))
120 m_cache.range_of_expr (r, expr, stmt);
121 else
123 basic_block bb = gimple_bb (stmt);
124 gimple *def_stmt = SSA_NAME_DEF_STMT (expr);
126 // If name is defined in this block, try to get an range from S.
127 if (def_stmt && gimple_bb (def_stmt) == bb)
129 // Declared in this block, if it has a global set, check for an
130 // override from a block walk, otherwise calculate it.
131 if (m_cache.get_global_range (r, expr))
132 m_cache.block_range (r, bb, expr, false);
133 else
134 range_of_stmt (r, def_stmt, expr);
136 // Otherwise OP comes from outside this block, use range on entry.
137 else
138 range_on_entry (r, bb, expr);
140 if (idx)
141 tracer.trailer (idx, "range_of_expr", true, expr, r);
142 return true;
145 // Return the range of NAME on entry to block BB in R.
147 void
148 gimple_ranger::range_on_entry (vrange &r, basic_block bb, tree name)
150 Value_Range entry_range (TREE_TYPE (name));
151 gcc_checking_assert (gimple_range_ssa_p (name));
153 unsigned idx;
154 if ((idx = tracer.header ("range_on_entry (")))
156 print_generic_expr (dump_file, name, TDF_SLIM);
157 fprintf (dump_file, ") to BB %d\n", bb->index);
160 // Start with any known range
161 range_of_stmt (r, SSA_NAME_DEF_STMT (name), name);
163 // Now see if there is any on_entry value which may refine it.
164 if (m_cache.block_range (entry_range, bb, name))
165 r.intersect (entry_range);
167 if (idx)
168 tracer.trailer (idx, "range_on_entry", true, name, r);
171 // Calculate the range for NAME at the end of block BB and return it in R.
172 // Return false if no range can be calculated.
174 void
175 gimple_ranger::range_on_exit (vrange &r, basic_block bb, tree name)
177 // on-exit from the exit block?
178 gcc_checking_assert (gimple_range_ssa_p (name));
180 unsigned idx;
181 if ((idx = tracer.header ("range_on_exit (")))
183 print_generic_expr (dump_file, name, TDF_SLIM);
184 fprintf (dump_file, ") from BB %d\n", bb->index);
187 gimple *s = SSA_NAME_DEF_STMT (name);
188 basic_block def_bb = gimple_bb (s);
189 // If this is not the definition block, get the range on the last stmt in
190 // the block... if there is one.
191 if (def_bb != bb)
192 s = last_nondebug_stmt (bb);
193 // If there is no statement provided, get the range_on_entry for this block.
194 if (s)
195 range_of_expr (r, name, s);
196 else
197 range_on_entry (r, bb, name);
198 gcc_checking_assert (r.undefined_p ()
199 || range_compatible_p (r.type (), TREE_TYPE (name)));
201 if (idx)
202 tracer.trailer (idx, "range_on_exit", true, name, r);
205 // Calculate a range for NAME on edge E and return it in R.
207 bool
208 gimple_ranger::range_on_edge (vrange &r, edge e, tree name)
210 Value_Range edge_range (TREE_TYPE (name));
212 if (!r.supports_type_p (TREE_TYPE (name)))
213 return false;
215 // Do not process values along abnormal edges.
216 if (e->flags & EDGE_ABNORMAL)
217 return get_tree_range (r, name, NULL);
219 unsigned idx;
220 if ((idx = tracer.header ("range_on_edge (")))
222 print_generic_expr (dump_file, name, TDF_SLIM);
223 fprintf (dump_file, ") on edge %d->%d\n", e->src->index, e->dest->index);
226 // Check to see if the edge is executable.
227 if ((e->flags & non_executable_edge_flag))
229 r.set_undefined ();
230 if (idx)
231 tracer.trailer (idx, "range_on_edge [Unexecutable] ", true,
232 name, r);
233 return true;
236 bool res = true;
237 if (!gimple_range_ssa_p (name))
238 res = get_tree_range (r, name, NULL);
239 else
241 range_on_exit (r, e->src, name);
242 // If this is not an abnormal edge, check for a non-null exit .
243 if ((e->flags & (EDGE_EH | EDGE_ABNORMAL)) == 0)
244 m_cache.m_exit.maybe_adjust_range (r, name, e->src);
245 gcc_checking_assert (r.undefined_p ()
246 || range_compatible_p (r.type(), TREE_TYPE (name)));
248 // Check to see if NAME is defined on edge e.
249 if (m_cache.range_on_edge (edge_range, e, name))
250 r.intersect (edge_range);
253 if (idx)
254 tracer.trailer (idx, "range_on_edge", res, name, r);
255 return res;
258 // fold_range wrapper for range_of_stmt to use as an internal client.
260 bool
261 gimple_ranger::fold_range_internal (vrange &r, gimple *s, tree name)
263 fold_using_range f;
264 fur_depend src (s, &(gori ()), this);
265 return f.fold_stmt (r, s, src, name);
268 // Calculate a range for statement S and return it in R. If NAME is
269 // provided it represents the SSA_NAME on the LHS of the statement.
270 // It is only required if there is more than one lhs/output. Check
271 // the global cache for NAME first to see if the evaluation can be
272 // avoided. If a range cannot be calculated, return false and UNDEFINED.
274 bool
275 gimple_ranger::range_of_stmt (vrange &r, gimple *s, tree name)
277 bool res;
278 r.set_undefined ();
280 unsigned idx;
281 if ((idx = tracer.header ("range_of_stmt (")))
283 if (name)
284 print_generic_expr (dump_file, name, TDF_SLIM);
285 fputs (") at stmt ", dump_file);
286 print_gimple_stmt (dump_file, s, 0, TDF_SLIM);
289 if (!name)
290 name = gimple_get_lhs (s);
292 // If no name, simply call the base routine.
293 if (!name)
295 res = fold_range_internal (r, s, NULL_TREE);
296 if (res && is_a <gcond *> (s))
298 // Update any exports in the cache if this is a gimple cond statement.
299 tree exp;
300 basic_block bb = gimple_bb (s);
301 FOR_EACH_GORI_EXPORT_NAME (m_cache.m_gori, bb, exp)
302 m_cache.propagate_updated_value (exp, bb);
305 else if (!gimple_range_ssa_p (name))
306 res = get_tree_range (r, name, NULL);
307 else
309 bool current;
310 // Check if the stmt has already been processed.
311 if (m_cache.get_global_range (r, name, current))
313 // If it isn't stale, use this cached value.
314 if (current)
316 if (idx)
317 tracer.trailer (idx, " cached", true, name, r);
318 return true;
321 else
322 prefill_stmt_dependencies (name);
324 // Calculate a new value.
325 Value_Range tmp (TREE_TYPE (name));
326 fold_range_internal (tmp, s, name);
328 // Combine the new value with the old value. This is required because
329 // the way value propagation works, when the IL changes on the fly we
330 // can sometimes get different results. See PR 97741.
331 bool changed = r.intersect (tmp);
332 m_cache.set_global_range (name, r, changed);
333 res = true;
336 if (idx)
337 tracer.trailer (idx, "range_of_stmt", res, name, r);
338 return res;
342 // Check if NAME is a dependency that needs resolving, and push it on the
343 // stack if so. R is a scratch range.
345 inline void
346 gimple_ranger::prefill_name (vrange &r, tree name)
348 if (!gimple_range_ssa_p (name))
349 return;
350 gimple *stmt = SSA_NAME_DEF_STMT (name);
351 if (!gimple_range_op_handler::supported_p (stmt) && !is_a<gphi *> (stmt))
352 return;
354 // If this op has not been processed yet, then push it on the stack
355 if (!m_cache.get_global_range (r, name))
357 bool current;
358 // Set the global cache value and mark as alway_current.
359 m_cache.get_global_range (r, name, current);
360 m_stmt_list.safe_push (name);
364 // This routine will seed the global cache with most of the dependencies of
365 // NAME. This prevents excessive call depth through the normal API.
367 void
368 gimple_ranger::prefill_stmt_dependencies (tree ssa)
370 if (SSA_NAME_IS_DEFAULT_DEF (ssa))
371 return;
373 unsigned idx;
374 gimple *stmt = SSA_NAME_DEF_STMT (ssa);
375 gcc_checking_assert (stmt && gimple_bb (stmt));
377 // Only pre-process range-ops and phis.
378 if (!gimple_range_op_handler::supported_p (stmt) && !is_a<gphi *> (stmt))
379 return;
381 // Mark where on the stack we are starting.
382 unsigned start = m_stmt_list.length ();
383 m_stmt_list.safe_push (ssa);
385 idx = tracer.header ("ROS dependence fill\n");
387 // Loop until back at the start point.
388 while (m_stmt_list.length () > start)
390 tree name = m_stmt_list.last ();
391 // NULL is a marker which indicates the next name in the stack has now
392 // been fully resolved, so we can fold it.
393 if (!name)
395 // Pop the NULL, then pop the name.
396 m_stmt_list.pop ();
397 name = m_stmt_list.pop ();
398 // Don't fold initial request, it will be calculated upon return.
399 if (m_stmt_list.length () > start)
401 // Fold and save the value for NAME.
402 stmt = SSA_NAME_DEF_STMT (name);
403 Value_Range r (TREE_TYPE (name));
404 fold_range_internal (r, stmt, name);
405 // Make sure we don't lose any current global info.
406 Value_Range tmp (TREE_TYPE (name));
407 m_cache.get_global_range (tmp, name);
408 bool changed = tmp.intersect (r);
409 m_cache.set_global_range (name, tmp, changed);
411 continue;
414 // Add marker indicating previous NAME in list should be folded
415 // when we get to this NULL.
416 m_stmt_list.safe_push (NULL_TREE);
417 stmt = SSA_NAME_DEF_STMT (name);
419 if (idx)
421 tracer.print (idx, "ROS dep fill (");
422 print_generic_expr (dump_file, name, TDF_SLIM);
423 fputs (") at stmt ", dump_file);
424 print_gimple_stmt (dump_file, stmt, 0, TDF_SLIM);
427 gphi *phi = dyn_cast <gphi *> (stmt);
428 if (phi)
430 Value_Range r (TREE_TYPE (gimple_phi_result (phi)));
431 for (unsigned x = 0; x < gimple_phi_num_args (phi); x++)
432 prefill_name (r, gimple_phi_arg_def (phi, x));
434 else
436 gimple_range_op_handler handler (stmt);
437 if (handler)
439 tree op = handler.operand2 ();
440 if (op)
442 Value_Range r (TREE_TYPE (op));
443 prefill_name (r, op);
445 op = handler.operand1 ();
446 if (op)
448 Value_Range r (TREE_TYPE (op));
449 prefill_name (r, op);
454 if (idx)
456 unsupported_range r;
457 tracer.trailer (idx, "ROS ", false, ssa, r);
462 // This routine will invoke the gimple fold_stmt routine, providing context to
463 // range_of_expr calls via an private internal API.
465 bool
466 gimple_ranger::fold_stmt (gimple_stmt_iterator *gsi, tree (*valueize) (tree))
468 gimple *stmt = gsi_stmt (*gsi);
469 current_bb = gimple_bb (stmt);
470 bool ret = ::fold_stmt (gsi, valueize);
471 current_bb = NULL;
472 return ret;
475 // Called during dominator walks to register any inferred ranges that take
476 // effect from this point forward.
478 void
479 gimple_ranger::register_inferred_ranges (gimple *s)
481 // First, export the LHS if it is a new global range.
482 tree lhs = gimple_get_lhs (s);
483 if (lhs)
485 Value_Range tmp (TREE_TYPE (lhs));
486 if (range_of_stmt (tmp, s, lhs) && !tmp.varying_p ()
487 && set_range_info (lhs, tmp) && dump_file)
489 fprintf (dump_file, "Global Exported: ");
490 print_generic_expr (dump_file, lhs, TDF_SLIM);
491 fprintf (dump_file, " = ");
492 tmp.dump (dump_file);
493 fputc ('\n', dump_file);
496 m_cache.apply_inferred_ranges (s);
499 // This function will walk the statements in BB to determine if any
500 // discovered inferred ranges in the block have any transitive effects,
501 // and if so, register those effects in BB.
503 void
504 gimple_ranger::register_transitive_inferred_ranges (basic_block bb)
506 // Return if there are no inferred ranges in BB.
507 infer_range_manager &infer = m_cache.m_exit;
508 if (!infer.has_range_p (bb))
509 return;
511 if (dump_file && (dump_flags & TDF_DETAILS))
512 fprintf (dump_file, "Checking for transitive inferred ranges in BB %d\n",
513 bb->index);
515 for (gimple_stmt_iterator si = gsi_start_bb (bb); !gsi_end_p (si);
516 gsi_next (&si))
518 gimple *s = gsi_stmt (si);
519 tree lhs = gimple_get_lhs (s);
520 // If the LHS already has an inferred effect, leave it be.
521 if (!gimple_range_ssa_p (lhs) || infer.has_range_p (lhs, bb))
522 continue;
523 // Pick up global value.
524 Value_Range g (TREE_TYPE (lhs));
525 range_of_expr (g, lhs);
527 // If either dependency has an inferred range, check if recalculating
528 // the LHS is different than the global value. If so, register it as
529 // an inferred range as well.
530 Value_Range r (TREE_TYPE (lhs));
531 r.set_undefined ();
532 tree name1 = gori ().depend1 (lhs);
533 tree name2 = gori ().depend2 (lhs);
534 if ((name1 && infer.has_range_p (name1, bb))
535 || (name2 && infer.has_range_p (name2, bb)))
537 // Check if folding S produces a different result.
538 if (fold_range (r, s, this) && g != r)
540 infer.add_range (lhs, bb, r);
541 m_cache.register_inferred_value (r, lhs, bb);
547 // This routine will export whatever global ranges are known to GCC
548 // SSA_RANGE_NAME_INFO and SSA_NAME_PTR_INFO fields.
550 void
551 gimple_ranger::export_global_ranges ()
553 /* Cleared after the table header has been printed. */
554 bool print_header = true;
555 for (unsigned x = 1; x < num_ssa_names; x++)
557 tree name = ssa_name (x);
558 if (!name)
559 continue;
560 Value_Range r (TREE_TYPE (name));
561 if (name && !SSA_NAME_IN_FREE_LIST (name)
562 && gimple_range_ssa_p (name)
563 && m_cache.get_global_range (r, name)
564 && !r.varying_p())
566 bool updated = set_range_info (name, r);
567 if (!updated || !dump_file)
568 continue;
570 if (print_header)
572 /* Print the header only when there's something else
573 to print below. */
574 fprintf (dump_file, "Exported global range table:\n");
575 fprintf (dump_file, "============================\n");
576 print_header = false;
579 print_generic_expr (dump_file, name , TDF_SLIM);
580 fprintf (dump_file, " : ");
581 r.dump (dump_file);
582 fprintf (dump_file, "\n");
587 // Print the known table values to file F.
589 void
590 gimple_ranger::dump_bb (FILE *f, basic_block bb)
592 unsigned x;
593 edge_iterator ei;
594 edge e;
595 fprintf (f, "\n=========== BB %d ============\n", bb->index);
596 m_cache.dump_bb (f, bb);
598 ::dump_bb (f, bb, 4, TDF_NONE);
600 // Now find any globals defined in this block.
601 for (x = 1; x < num_ssa_names; x++)
603 tree name = ssa_name (x);
604 if (!gimple_range_ssa_p (name) || !SSA_NAME_DEF_STMT (name))
605 continue;
606 Value_Range range (TREE_TYPE (name));
607 if (gimple_bb (SSA_NAME_DEF_STMT (name)) == bb
608 && m_cache.get_global_range (range, name))
610 if (!range.varying_p ())
612 print_generic_expr (f, name, TDF_SLIM);
613 fprintf (f, " : ");
614 range.dump (f);
615 fprintf (f, "\n");
621 // And now outgoing edges, if they define anything.
622 FOR_EACH_EDGE (e, ei, bb->succs)
624 for (x = 1; x < num_ssa_names; x++)
626 tree name = gimple_range_ssa_p (ssa_name (x));
627 if (!name || !gori ().has_edge_range_p (name, e))
628 continue;
630 Value_Range range (TREE_TYPE (name));
631 if (m_cache.range_on_edge (range, e, name))
633 gimple *s = SSA_NAME_DEF_STMT (name);
634 Value_Range tmp_range (TREE_TYPE (name));
635 // Only print the range if this is the def block, or
636 // the on entry cache for either end of the edge is
637 // set.
638 if ((s && bb == gimple_bb (s)) ||
639 m_cache.block_range (tmp_range, bb, name, false) ||
640 m_cache.block_range (tmp_range, e->dest, name, false))
642 if (!range.varying_p ())
644 fprintf (f, "%d->%d ", e->src->index,
645 e->dest->index);
646 char c = ' ';
647 if (e->flags & EDGE_TRUE_VALUE)
648 fprintf (f, " (T)%c", c);
649 else if (e->flags & EDGE_FALSE_VALUE)
650 fprintf (f, " (F)%c", c);
651 else
652 fprintf (f, " ");
653 print_generic_expr (f, name, TDF_SLIM);
654 fprintf(f, " : \t");
655 range.dump(f);
656 fprintf (f, "\n");
664 // Print the known table values to file F.
666 void
667 gimple_ranger::dump (FILE *f)
669 basic_block bb;
671 FOR_EACH_BB_FN (bb, cfun)
672 dump_bb (f, bb);
674 m_cache.dump (f);
677 void
678 gimple_ranger::debug ()
680 dump (stderr);
683 /* Create a new ranger instance and associate it with function FUN.
684 Each call must be paired with a call to disable_ranger to release
685 resources. */
687 gimple_ranger *
688 enable_ranger (struct function *fun, bool use_imm_uses)
690 gimple_ranger *r;
692 gcc_checking_assert (!fun->x_range_query);
693 r = new gimple_ranger (use_imm_uses);
694 fun->x_range_query = r;
696 return r;
699 /* Destroy and release the ranger instance associated with function FUN
700 and replace it the global ranger. */
702 void
703 disable_ranger (struct function *fun)
705 gcc_checking_assert (fun->x_range_query);
706 delete fun->x_range_query;
707 fun->x_range_query = NULL;
710 // ------------------------------------------------------------------------
712 // If there is a non-varying value associated with NAME, return true and the
713 // range in R.
715 bool
716 assume_query::assume_range_p (vrange &r, tree name)
718 if (global.get_range (r, name))
719 return !r.varying_p ();
720 return false;
723 // Query used by GORI to pick up any known value on entry to a block.
725 bool
726 assume_query::range_of_expr (vrange &r, tree expr, gimple *stmt)
728 if (!gimple_range_ssa_p (expr))
729 return get_tree_range (r, expr, stmt);
731 if (!global.get_range (r, expr))
732 r.set_varying (TREE_TYPE (expr));
733 return true;
736 // If the current function returns an integral value, and has a single return
737 // statement, it will calculate any SSA_NAMES it can determine ranges for
738 // assuming the function returns 1.
740 assume_query::assume_query ()
742 basic_block exit_bb = EXIT_BLOCK_PTR_FOR_FN (cfun);
743 if (single_pred_p (exit_bb))
745 basic_block bb = single_pred (exit_bb);
746 gimple_stmt_iterator gsi = gsi_last_nondebug_bb (bb);
747 if (gsi_end_p (gsi))
748 return;
749 gimple *s = gsi_stmt (gsi);
750 if (!is_a<greturn *> (s))
751 return;
752 greturn *gret = as_a<greturn *> (s);
753 tree op = gimple_return_retval (gret);
754 if (!gimple_range_ssa_p (op))
755 return;
756 tree lhs_type = TREE_TYPE (op);
757 if (!irange::supports_p (lhs_type))
758 return;
760 unsigned prec = TYPE_PRECISION (lhs_type);
761 int_range<2> lhs_range (lhs_type, wi::one (prec), wi::one (prec));
762 global.set_range (op, lhs_range);
764 gimple *def = SSA_NAME_DEF_STMT (op);
765 if (!def || gimple_get_lhs (def) != op)
766 return;
767 fur_stmt src (gret, this);
768 calculate_stmt (def, lhs_range, src);
772 // Evaluate operand OP on statement S, using the provided LHS range.
773 // If successful, set the range in the global table, then visit OP's def stmt.
775 void
776 assume_query::calculate_op (tree op, gimple *s, vrange &lhs, fur_source &src)
778 Value_Range op_range (TREE_TYPE (op));
779 if (m_gori.compute_operand_range (op_range, s, lhs, op, src)
780 && !op_range.varying_p ())
782 // Set the global range, merging if there is already a range.
783 global.merge_range (op, op_range);
784 gimple *def_stmt = SSA_NAME_DEF_STMT (op);
785 if (def_stmt && gimple_get_lhs (def_stmt) == op)
786 calculate_stmt (def_stmt, op_range, src);
790 // Evaluate PHI statement, using the provided LHS range.
791 // Check each constant argument predecessor if it can be taken
792 // provide LHS to any symbolic arguments, and process their def statements.
794 void
795 assume_query::calculate_phi (gphi *phi, vrange &lhs_range, fur_source &src)
797 for (unsigned x= 0; x < gimple_phi_num_args (phi); x++)
799 tree arg = gimple_phi_arg_def (phi, x);
800 Value_Range arg_range (TREE_TYPE (arg));
801 if (gimple_range_ssa_p (arg))
803 // A symbol arg will be the LHS value.
804 arg_range = lhs_range;
805 range_cast (arg_range, TREE_TYPE (arg));
806 if (!global.get_range (arg_range, arg))
808 global.set_range (arg, arg_range);
809 gimple *def_stmt = SSA_NAME_DEF_STMT (arg);
810 if (def_stmt && gimple_get_lhs (def_stmt) == arg)
811 calculate_stmt (def_stmt, arg_range, src);
814 else if (get_tree_range (arg_range, arg, NULL))
816 // If this is a constant value that differs from LHS, this
817 // edge cannot be taken.
818 arg_range.intersect (lhs_range);
819 if (arg_range.undefined_p ())
820 continue;
821 // Otherwise check the condition feeding this edge.
822 edge e = gimple_phi_arg_edge (phi, x);
823 check_taken_edge (e, src);
828 // If an edge is known to be taken, examine the outgoing edge to see
829 // if it carries any range information that can also be evaluated.
831 void
832 assume_query::check_taken_edge (edge e, fur_source &src)
834 gimple *stmt = gimple_outgoing_range_stmt_p (e->src);
835 if (stmt && is_a<gcond *> (stmt))
837 int_range<2> cond;
838 gcond_edge_range (cond, e);
839 calculate_stmt (stmt, cond, src);
843 // Evaluate statement S which produces range LHS_RANGE.
845 void
846 assume_query::calculate_stmt (gimple *s, vrange &lhs_range, fur_source &src)
848 gimple_range_op_handler handler (s);
849 if (handler)
851 tree op = gimple_range_ssa_p (handler.operand1 ());
852 if (op)
853 calculate_op (op, s, lhs_range, src);
854 op = gimple_range_ssa_p (handler.operand2 ());
855 if (op)
856 calculate_op (op, s, lhs_range, src);
858 else if (is_a<gphi *> (s))
860 calculate_phi (as_a<gphi *> (s), lhs_range, src);
861 // Don't further check predecessors of blocks with PHIs.
862 return;
865 // Even if the walk back terminates before the top, if this is a single
866 // predecessor block, see if the predecessor provided any ranges to get here.
867 if (single_pred_p (gimple_bb (s)))
868 check_taken_edge (single_pred_edge (gimple_bb (s)), src);
871 // Show everything that was calculated.
873 void
874 assume_query::dump (FILE *f)
876 fprintf (f, "Assumption details calculated:\n");
877 for (unsigned i = 0; i < num_ssa_names; i++)
879 tree name = ssa_name (i);
880 if (!name || !gimple_range_ssa_p (name))
881 continue;
882 tree type = TREE_TYPE (name);
883 if (!Value_Range::supports_type_p (type))
884 continue;
886 Value_Range assume_range (type);
887 if (assume_range_p (assume_range, name))
889 print_generic_expr (f, name, TDF_SLIM);
890 fprintf (f, " -> ");
891 assume_range.dump (f);
892 fputc ('\n', f);
895 fprintf (f, "------------------------------\n");
898 // ---------------------------------------------------------------------------
901 // Create a DOM based ranger for use by a DOM walk pass.
903 dom_ranger::dom_ranger () : m_global (), m_out ()
905 m_freelist.create (0);
906 m_freelist.truncate (0);
907 m_e0.create (0);
908 m_e0.safe_grow_cleared (last_basic_block_for_fn (cfun));
909 m_e1.create (0);
910 m_e1.safe_grow_cleared (last_basic_block_for_fn (cfun));
911 m_pop_list = BITMAP_ALLOC (NULL);
912 if (dump_file && (param_ranger_debug & RANGER_DEBUG_TRACE))
913 tracer.enable_trace ();
916 // Dispose of a DOM ranger.
918 dom_ranger::~dom_ranger ()
920 if (dump_file && (dump_flags & TDF_DETAILS))
922 fprintf (dump_file, "Non-varying global ranges:\n");
923 fprintf (dump_file, "=========================:\n");
924 m_global.dump (dump_file);
926 BITMAP_FREE (m_pop_list);
927 m_e1.release ();
928 m_e0.release ();
929 m_freelist.release ();
932 // Implement range of EXPR on stmt S, and return it in R.
933 // Return false if no range can be calculated.
935 bool
936 dom_ranger::range_of_expr (vrange &r, tree expr, gimple *s)
938 unsigned idx;
939 if (!gimple_range_ssa_p (expr))
940 return get_tree_range (r, expr, s);
942 if ((idx = tracer.header ("range_of_expr ")))
944 print_generic_expr (dump_file, expr, TDF_SLIM);
945 if (s)
947 fprintf (dump_file, " at ");
948 print_gimple_stmt (dump_file, s, 0, TDF_SLIM);
950 else
951 fprintf (dump_file, "\n");
954 if (s)
955 range_in_bb (r, gimple_bb (s), expr);
956 else
957 m_global.range_of_expr (r, expr, s);
959 if (idx)
960 tracer.trailer (idx, " ", true, expr, r);
961 return true;
965 // Return TRUE and the range if edge E has a range set for NAME in
966 // block E->src.
968 bool
969 dom_ranger::edge_range (vrange &r, edge e, tree name)
971 bool ret = false;
972 basic_block bb = e->src;
974 // Check if BB has any outgoing ranges on edge E.
975 ssa_lazy_cache *out = NULL;
976 if (EDGE_SUCC (bb, 0) == e)
977 out = m_e0[bb->index];
978 else if (EDGE_SUCC (bb, 1) == e)
979 out = m_e1[bb->index];
981 // If there is an edge vector and it has a range, pick it up.
982 if (out && out->has_range (name))
983 ret = out->get_range (r, name);
985 return ret;
989 // Return the range of EXPR on edge E in R.
990 // Return false if no range can be calculated.
992 bool
993 dom_ranger::range_on_edge (vrange &r, edge e, tree expr)
995 basic_block bb = e->src;
996 unsigned idx;
997 if ((idx = tracer.header ("range_on_edge ")))
999 fprintf (dump_file, "%d->%d for ",e->src->index, e->dest->index);
1000 print_generic_expr (dump_file, expr, TDF_SLIM);
1001 fputc ('\n',dump_file);
1004 if (!gimple_range_ssa_p (expr))
1005 return get_tree_range (r, expr, NULL);
1007 if (!edge_range (r, e, expr))
1008 range_in_bb (r, bb, expr);
1010 if (idx)
1011 tracer.trailer (idx, " ", true, expr, r);
1012 return true;
1015 // Return the range of NAME as it exists at the end of block BB in R.
1017 void
1018 dom_ranger::range_in_bb (vrange &r, basic_block bb, tree name)
1020 basic_block def_bb = gimple_bb (SSA_NAME_DEF_STMT (name));
1021 // Loop through dominators until we get to the entry block, or we find
1022 // either the defintion block for NAME, or a single pred edge with a range.
1023 while (bb != ENTRY_BLOCK_PTR_FOR_FN (cfun))
1025 // If we hit the deifntion block, pick up the global value.
1026 if (bb == def_bb)
1028 m_global.range_of_expr (r, name);
1029 return;
1031 // If its a single pred, check the outgoing range of the edge.
1032 if (EDGE_COUNT (bb->preds) == 1
1033 && edge_range (r, EDGE_PRED (bb, 0), name))
1034 return;
1035 // Otherwise move up to the dominator, and check again.
1036 bb = get_immediate_dominator (CDI_DOMINATORS, bb);
1038 m_global.range_of_expr (r, name);
1042 // Calculate the range of NAME, as the def of stmt S and return it in R.
1043 // Return FALSE if no range cqn be calculated.
1044 // Also set the global range for NAME as this should only be called within
1045 // the def block during a DOM walk.
1046 // Outgoing edges were pre-calculated, so when we establish a global defintion
1047 // check if any outgoing edges hav ranges that can be combined with the
1048 // global.
1050 bool
1051 dom_ranger::range_of_stmt (vrange &r, gimple *s, tree name)
1053 unsigned idx;
1054 bool ret;
1055 if (!name)
1056 name = gimple_range_ssa_p (gimple_get_lhs (s));
1058 gcc_checking_assert (!name || name == gimple_get_lhs (s));
1060 if ((idx = tracer.header ("range_of_stmt ")))
1061 print_gimple_stmt (dump_file, s, 0, TDF_SLIM);
1063 // Its already been calculated.
1064 if (name && m_global.has_range (name))
1066 ret = m_global.range_of_expr (r, name, s);
1067 if (idx)
1068 tracer.trailer (idx, " Already had value ", ret, name, r);
1069 return ret;
1072 // If there is a new calculated range and it is not varying, set
1073 // a global range.
1074 ret = fold_range (r, s, this);
1075 if (ret && name && m_global.merge_range (name, r) && !r.varying_p ())
1077 if (set_range_info (name, r) && dump_file)
1079 fprintf (dump_file, "Global Exported: ");
1080 print_generic_expr (dump_file, name, TDF_SLIM);
1081 fprintf (dump_file, " = ");
1082 r.dump (dump_file);
1083 fputc ('\n', dump_file);
1085 basic_block bb = gimple_bb (s);
1086 unsigned bbi = bb->index;
1087 Value_Range vr (TREE_TYPE (name));
1088 // If there is a range on edge 0, update it.
1089 if (m_e0[bbi] && m_e0[bbi]->has_range (name))
1091 if (m_e0[bbi]->merge_range (name, r) && dump_file
1092 && (dump_flags & TDF_DETAILS))
1094 fprintf (dump_file, "Outgoing range for ");
1095 print_generic_expr (dump_file, name, TDF_SLIM);
1096 fprintf (dump_file, " updated on edge %d->%d : ", bbi,
1097 EDGE_SUCC (bb, 0)->dest->index);
1098 if (m_e0[bbi]->get_range (vr, name))
1099 vr.dump (dump_file);
1100 fputc ('\n', dump_file);
1103 // If there is a range on edge 1, update it.
1104 if (m_e1[bbi] && m_e1[bbi]->has_range (name))
1106 if (m_e1[bbi]->merge_range (name, r) && dump_file
1107 && (dump_flags & TDF_DETAILS))
1109 fprintf (dump_file, "Outgoing range for ");
1110 print_generic_expr (dump_file, name, TDF_SLIM);
1111 fprintf (dump_file, " updated on edge %d->%d : ", bbi,
1112 EDGE_SUCC (bb, 1)->dest->index);
1113 if (m_e1[bbi]->get_range (vr, name))
1114 vr.dump (dump_file);
1115 fputc ('\n', dump_file);
1119 if (idx)
1120 tracer.trailer (idx, " ", ret, name, r);
1121 return ret;
1124 // Check if GORI has an ranges on edge E. If there re, store them in
1125 // either the E0 or E1 vector based on EDGE_0.
1126 // If there are no ranges, put the empty lazy_cache entry on the freelist
1127 // for use next time.
1129 void
1130 dom_ranger::maybe_push_edge (edge e, bool edge_0)
1132 ssa_lazy_cache *e_cache;
1133 if (!m_freelist.is_empty ())
1134 e_cache = m_freelist.pop ();
1135 else
1136 e_cache = new ssa_lazy_cache;
1137 gori_on_edge (*e_cache, e, this, &m_out);
1138 if (e_cache->empty_p ())
1139 m_freelist.safe_push (e_cache);
1140 else
1142 if (edge_0)
1143 m_e0[e->src->index] = e_cache;
1144 else
1145 m_e1[e->src->index] = e_cache;
1149 // Preprocess block BB. If there are any outgoing edges, precalculate
1150 // the outgoing ranges and store them. Note these are done before
1151 // we process the block, so global values have not been set yet.
1152 // These are "pure" outgoing ranges inflicted by the condition.
1154 void
1155 dom_ranger::pre_bb (basic_block bb)
1157 if (dump_file && (dump_flags & TDF_DETAILS))
1158 fprintf (dump_file, "#FVRP entering BB %d\n", bb->index);
1160 // Next, see if this block needs outgoing edges calculated.
1161 gimple_stmt_iterator gsi = gsi_last_nondebug_bb (bb);
1162 if (!gsi_end_p (gsi))
1164 gimple *s = gsi_stmt (gsi);
1165 if (is_a<gcond *> (s) && gimple_range_op_handler::supported_p (s))
1167 maybe_push_edge (EDGE_SUCC (bb, 0), true);
1168 maybe_push_edge (EDGE_SUCC (bb, 1), false);
1170 if (dump_file && (dump_flags & TDF_DETAILS))
1172 if (m_e0[bb->index])
1174 fprintf (dump_file, "\nEdge ranges BB %d->%d\n",
1175 bb->index, EDGE_SUCC (bb, 0)->dest->index);
1176 m_e0[bb->index]->dump(dump_file);
1178 if (m_e1[bb->index])
1180 fprintf (dump_file, "\nEdge ranges BB %d->%d\n",
1181 bb->index, EDGE_SUCC (bb, 1)->dest->index);
1182 m_e1[bb->index]->dump(dump_file);
1187 if (dump_file && (dump_flags & TDF_DETAILS))
1188 fprintf (dump_file, "#FVRP DONE entering BB %d\n", bb->index);
1191 // Perform any post block processing.
1193 void
1194 dom_ranger::post_bb (basic_block)