Line data    Source code

       1              : /* Header file for High-level loop manipulation functions.
       2              :    Copyright (C) 2013-2026 Free Software Foundation, Inc.
       3              : 
       4              : This file is part of GCC.
       5              : 
       6              : GCC is free software; you can redistribute it and/or modify it under
       7              : the terms of the GNU General Public License as published by the Free
       8              : Software Foundation; either version 3, or (at your option) any later
       9              : version.
      10              : 
      11              : GCC is distributed in the hope that it will be useful, but WITHOUT ANY
      12              : WARRANTY; without even the implied warranty of MERCHANTABILITY or
      13              : FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
      14              :  for more details.
      15              : 
      16              : You should have received a copy of the GNU General Public License
      17              : along 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              : 
      23              : typedef void (*transform_callback)(class loop *, void *);
      24              : 
      25              : extern void insert_iv_increment (gimple_stmt_iterator *, bool, gimple_seq);
      26              : extern void create_iv (tree, tree_code, tree, tree, class loop *,
      27              :                        gimple_stmt_iterator *, bool, tree *, tree *);
      28              : extern void rewrite_into_loop_closed_ssa (bitmap, unsigned);
      29              : extern void verify_loop_closed_ssa (bool, class loop * = NULL);
      30              : 
      31              : inline void
      32         2140 : checking_verify_loop_closed_ssa (bool verify_ssa_p, class loop *loop = NULL)
      33              : {
      34         2140 :   if (flag_checking)
      35         2140 :     verify_loop_closed_ssa (verify_ssa_p, loop);
      36              : }
      37              : 
      38              : extern basic_block split_loop_exit_edge (edge, bool = false);
      39              : extern basic_block ip_end_pos (class loop *);
      40              : extern basic_block ip_normal_pos (class loop *);
      41              : extern void standard_iv_increment_position (class loop *,
      42              :                                             gimple_stmt_iterator *, bool *);
      43              : extern bool
      44              : gimple_duplicate_loop_body_to_header_edge (class loop *, edge, unsigned int,
      45              :                                            sbitmap, edge, vec<edge> *, int);
      46              : extern bool can_unroll_loop_p (class loop *loop, unsigned factor,
      47              :                                class tree_niter_desc *niter);
      48              : extern gcov_type niter_for_unrolled_loop (class loop *, unsigned);
      49              : extern void tree_transform_and_unroll_loop (class loop *, unsigned,
      50              :                                             tree_niter_desc *,
      51              :                                             transform_callback, void *);
      52              : extern void tree_unroll_loop (class loop *, unsigned, tree_niter_desc *);
      53              : extern tree canonicalize_loop_ivs (class loop *, tree *, bool);
      54              : extern unsigned int loop_invariant_motion_in_fun (function *, bool);
      55              : 
      56              : 
      57              : #endif /* GCC_TREE_SSA_LOOP_MANIP_H */