]> git.ipfire.org Git - thirdparty/gcc.git/blame - gcc/tree-ssa-loop-niter.h
* doc/extend.texi (Common Function Attributes): Clarify
[thirdparty/gcc.git] / gcc / tree-ssa-loop-niter.h
CommitLineData
f86b328b 1/* Header file for loop interation estimates.
fbd26352 2 Copyright (C) 2013-2019 Free Software Foundation, Inc.
f86b328b 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
02acb8f3 23extern tree expand_simple_operations (tree, tree = NULL);
6723abf5 24extern tree simplify_using_initial_conditions (struct loop *, tree);
f86b328b 25extern bool loop_only_exit_p (const struct loop *, const_edge);
26extern bool number_of_iterations_exit (struct loop *, edge,
27 struct tree_niter_desc *niter, bool,
28 bool every_iteration = true);
a4d34e5e 29extern bool number_of_iterations_exit_assumptions (struct loop *, edge,
30 struct tree_niter_desc *,
1b793819 31 gcond **, bool = true);
f86b328b 32extern tree find_loop_niter (struct loop *, edge *);
33extern bool finite_loop_p (struct loop *);
34extern tree loop_niter_by_eval (struct loop *, edge);
35extern tree find_loop_niter_by_eval (struct loop *, edge *);
5de9d3ed 36extern bool estimated_loop_iterations (struct loop *, widest_int *);
4e948f5a 37extern HOST_WIDE_INT estimated_loop_iterations_int (struct loop *);
5de9d3ed 38extern bool max_loop_iterations (struct loop *, widest_int *);
4e948f5a 39extern HOST_WIDE_INT max_loop_iterations_int (struct loop *);
8e3ffe30 40extern bool likely_max_loop_iterations (struct loop *, widest_int *);
41extern HOST_WIDE_INT likely_max_loop_iterations_int (struct loop *);
f86b328b 42extern HOST_WIDE_INT max_stmt_executions_int (struct loop *);
8e3ffe30 43extern HOST_WIDE_INT likely_max_stmt_executions_int (struct loop *);
f86b328b 44extern HOST_WIDE_INT estimated_stmt_executions_int (struct loop *);
5de9d3ed 45extern bool max_stmt_executions (struct loop *, widest_int *);
8e3ffe30 46extern bool likely_max_stmt_executions (struct loop *, widest_int *);
5de9d3ed 47extern bool estimated_stmt_executions (struct loop *, widest_int *);
46480a95 48extern void estimate_numbers_of_iterations (function *);
49extern void estimate_numbers_of_iterations (struct loop *);
42acab1c 50extern bool stmt_dominates_stmt_p (gimple *, gimple *);
f86b328b 51extern bool nowrap_type_p (tree);
90261646 52extern bool scev_probably_wraps_p (tree, tree, tree, gimple *,
53 struct loop *, bool);
46480a95 54extern void free_numbers_of_iterations_estimates (struct loop *);
d4f078b5 55extern void free_numbers_of_iterations_estimates (function *);
b51523c4 56extern tree simplify_replace_tree (tree, tree, tree, tree (*)(tree) = NULL);
f86b328b 57extern void substitute_in_loop_info (struct loop *, tree, tree);
58
59#endif /* GCC_TREE_SSA_LOOP_NITER_H */