GCC Middle and Back End API Reference
tree-ssa-loop-niter.h
Go to the documentation of this file.
1/* Header file for loop interation estimates.
2 Copyright (C) 2013-2024 Free Software Foundation, Inc.
3
4This file is part of GCC.
5
6GCC is free software; you can redistribute it and/or modify it under
7the terms of the GNU General Public License as published by the Free
8Software Foundation; either version 3, or (at your option) any later
9version.
10
11GCC is distributed in the hope that it will be useful, but WITHOUT ANY
12WARRANTY; without even the implied warranty of MERCHANTABILITY or
13FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
14 for more details.
15
16You should have received a copy of the GNU General Public License
17along with GCC; see the file COPYING3. If not see
18<http://www.gnu.org/licenses/>. */
19
20#ifndef GCC_TREE_SSA_LOOP_NITER_H
21#define GCC_TREE_SSA_LOOP_NITER_H
22
25extern bool loop_only_exit_p (const class loop *, basic_block *body,
27extern bool number_of_iterations_exit (class loop *, edge,
28 class tree_niter_desc *niter, bool,
29 bool every_iteration = true,
30 basic_block * = NULL);
32 class tree_niter_desc *,
33 gcond **, bool = true,
34 basic_block * = NULL);
35extern tree find_loop_niter (class loop *, edge *);
36extern bool finite_loop_p (class loop *);
37extern tree loop_niter_by_eval (class loop *, edge);
38extern tree find_loop_niter_by_eval (class loop *, edge *);
39extern bool estimated_loop_iterations (class loop *, widest_int *);
40extern HOST_WIDE_INT estimated_loop_iterations_int (class loop *);
41extern bool max_loop_iterations (class loop *, widest_int *);
42extern HOST_WIDE_INT max_loop_iterations_int (class loop *);
43extern bool likely_max_loop_iterations (class loop *, widest_int *);
44extern HOST_WIDE_INT likely_max_loop_iterations_int (class loop *);
45extern HOST_WIDE_INT max_stmt_executions_int (class loop *);
46extern HOST_WIDE_INT likely_max_stmt_executions_int (class loop *);
47extern HOST_WIDE_INT estimated_stmt_executions_int (class loop *);
48extern bool max_stmt_executions (class loop *, widest_int *);
49extern bool likely_max_stmt_executions (class loop *, widest_int *);
50extern bool estimated_stmt_executions (class loop *, widest_int *);
52extern void estimate_numbers_of_iterations (class loop *);
53extern bool stmt_dominates_stmt_p (gimple *, gimple *);
54extern bool nowrap_type_p (tree);
55extern bool scev_probably_wraps_p (tree, tree, tree, gimple *,
56 class loop *, bool);
57extern void free_numbers_of_iterations_estimates (class loop *);
60 tree, tree (*)(tree, void *) = NULL,
61 void * = NULL, bool do_fold = true);
62extern void substitute_in_loop_info (class loop *, tree, tree);
63
64#endif /* GCC_TREE_SSA_LOOP_NITER_H */
Definition cfgloop.h:120
Definition tree-ssa-loop.h:40
class edge_def * edge
Definition coretypes.h:352
const class edge_def * const_edge
Definition coretypes.h:353
union tree_node * tree
Definition coretypes.h:97
Definition basic-block.h:117
Definition function.h:249
Definition gimple.h:857
Definition gimple.h:221
#define NULL
Definition system.h:50
void free_numbers_of_iterations_estimates(class loop *)
Definition tree-ssa-loop-niter.cc:5537
bool number_of_iterations_exit_assumptions(class loop *, edge, class tree_niter_desc *, gcond **, bool=true, basic_block *=NULL)
Definition tree-ssa-loop-niter.cc:3111
void substitute_in_loop_info(class loop *, tree, tree)
Definition tree-ssa-loop-niter.cc:5574
tree simplify_using_initial_conditions(class loop *, tree)
Definition tree-ssa-loop-niter.cc:2981
HOST_WIDE_INT max_stmt_executions_int(class loop *)
Definition cfgloop.cc:1971
bool number_of_iterations_exit(class loop *, edge, class tree_niter_desc *niter, bool, bool every_iteration=true, basic_block *=NULL)
Definition tree-ssa-loop-niter.cc:3262
bool scev_probably_wraps_p(tree, tree, tree, gimple *, class loop *, bool)
Definition tree-ssa-loop-niter.cc:5479
HOST_WIDE_INT max_loop_iterations_int(class loop *)
Definition tree-ssa-loop-niter.cc:4960
bool loop_only_exit_p(const class loop *, basic_block *body, const_edge)
Definition tree-ssa-loop-niter.cc:3085
HOST_WIDE_INT estimated_loop_iterations_int(class loop *)
Definition tree-ssa-loop-niter.cc:4924
bool max_loop_iterations(class loop *, widest_int *)
Definition tree-ssa-loop-niter.cc:4945
bool likely_max_stmt_executions(class loop *, widest_int *)
Definition tree-ssa-loop-niter.cc:5053
bool estimated_loop_iterations(class loop *, widest_int *)
Definition tree-ssa-loop-niter.cc:4909
tree find_loop_niter(class loop *, edge *)
Definition tree-ssa-loop-niter.cc:3289
tree expand_simple_operations(tree, tree=NULL)
Definition tree-ssa-loop-niter.cc:2849
bool finite_loop_p(class loop *)
Definition tree-ssa-loop-niter.cc:3350
tree simplify_replace_tree(tree, tree, tree, tree(*)(tree, void *)=NULL, void *=NULL, bool do_fold=true)
Definition tree-ssa-loop-niter.cc:2648
tree find_loop_niter_by_eval(class loop *, edge *)
Definition tree-ssa-loop-niter.cc:3653
bool likely_max_loop_iterations(class loop *, widest_int *)
Definition tree-ssa-loop-niter.cc:4980
void estimate_numbers_of_iterations(function *)
Definition tree-ssa-loop-niter.cc:5089
bool max_stmt_executions(class loop *, widest_int *)
Definition tree-ssa-loop-niter.cc:5034
bool estimated_stmt_executions(class loop *, widest_int *)
Definition tree-ssa-loop-niter.cc:5072
bool stmt_dominates_stmt_p(gimple *, gimple *)
Definition tree-ssa-loop-niter.cc:5104
HOST_WIDE_INT likely_max_loop_iterations_int(class loop *)
Definition tree-ssa-loop-niter.cc:4995
HOST_WIDE_INT likely_max_stmt_executions_int(class loop *)
Definition cfgloop.cc:1990
HOST_WIDE_INT estimated_stmt_executions_int(class loop *)
Definition tree-ssa-loop-niter.cc:5015
tree loop_niter_by_eval(class loop *, edge)
Definition tree-ssa-loop-niter.cc:3553
bool nowrap_type_p(tree)
Definition tree-ssa-loop-niter.cc:5217