Branch data     Line data    Source code

       1                 :             : /* Header file for High-level loop manipulation functions.
       2                 :             :    Copyright (C) 2013-2025 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                 :        1944 : checking_verify_loop_closed_ssa (bool verify_ssa_p, class loop *loop = NULL)
      33                 :             : {
      34                 :        1944 :   if (flag_checking)
      35                 :        1944 :     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 */