1/* Header file for High-level loop manipulation functions.
2   Copyright (C) 2013-2020 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_MANIP_H
21#define GCC_TREE_SSA_LOOP_MANIP_H
22
23typedef void (*transform_callback)(class loop *, void *);
24
25extern void create_iv (tree, tree, tree, class loop *, gimple_stmt_iterator *,
26		       bool, tree *, tree *);
27extern void rewrite_into_loop_closed_ssa_1 (bitmap, unsigned, int,
28					    class loop *);
29extern void rewrite_into_loop_closed_ssa (bitmap, unsigned);
30extern void rewrite_virtuals_into_loop_closed_ssa (class loop *);
31extern void verify_loop_closed_ssa (bool, class loop * = NULL);
32
33static inline void
34checking_verify_loop_closed_ssa (bool verify_ssa_p, class loop *loop = NULL)
35{
36  if (flag_checking)
37    verify_loop_closed_ssa (verify_ssa_p, loop);
38}
39
40extern basic_block split_loop_exit_edge (edge, bool = false);
41extern basic_block ip_end_pos (class loop *);
42extern basic_block ip_normal_pos (class loop *);
43extern void standard_iv_increment_position (class loop *,
44					    gimple_stmt_iterator *, bool *);
45extern bool gimple_duplicate_loop_to_header_edge (class loop *, edge,
46						  unsigned int, sbitmap,
47						  edge, vec<edge> *,
48						  int);
49extern bool can_unroll_loop_p (class loop *loop, unsigned factor,
50			       class tree_niter_desc *niter);
51extern gcov_type niter_for_unrolled_loop (class loop *, unsigned);
52extern void tree_transform_and_unroll_loop (class loop *, unsigned,
53					    edge, class tree_niter_desc *,
54					    transform_callback, void *);
55extern void tree_unroll_loop (class loop *, unsigned,
56			      edge, class tree_niter_desc *);
57extern tree canonicalize_loop_ivs (class loop *, tree *, bool);
58
59
60
61#endif /* GCC_TREE_SSA_LOOP_MANIP_H */
62