Line data    Source code

       1              : /* Scalar evolution detector.
       2              :    Copyright (C) 2003-2026 Free Software Foundation, Inc.
       3              :    Contributed by Sebastian Pop <s.pop@laposte.net>
       4              : 
       5              : This file is part of GCC.
       6              : 
       7              : GCC is free software; you can redistribute it and/or modify it under
       8              : the terms of the GNU General Public License as published by the Free
       9              : Software Foundation; either version 3, or (at your option) any later
      10              : version.
      11              : 
      12              : GCC is distributed in the hope that it will be useful, but WITHOUT ANY
      13              : WARRANTY; without even the implied warranty of MERCHANTABILITY or
      14              : FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
      15              : for more details.
      16              : 
      17              : You should have received a copy of the GNU General Public License
      18              : along with GCC; see the file COPYING3.  If not see
      19              : <http://www.gnu.org/licenses/>.  */
      20              : 
      21              : #ifndef GCC_TREE_SCALAR_EVOLUTION_H
      22              : #define GCC_TREE_SCALAR_EVOLUTION_H
      23              : 
      24              : extern tree number_of_latch_executions (class loop *);
      25              : extern gcond *get_loop_exit_condition (const class loop *);
      26              : extern gcond *get_loop_exit_condition (const_edge);
      27              : 
      28              : extern void scev_initialize (void);
      29              : extern bool scev_initialized_p (void);
      30              : extern void scev_reset (void);
      31              : extern void scev_reset_htab (void);
      32              : extern void scev_finalize (void);
      33              : extern tree analyze_scalar_evolution (class loop *, tree);
      34              : extern tree instantiate_scev (edge, class loop *, tree);
      35              : extern tree resolve_mixers (class loop *, tree, bool *);
      36              : extern void gather_stats_on_scev_database (void);
      37              : extern bool final_value_replacement_loop (class loop *);
      38              : extern unsigned int scev_const_prop (void);
      39              : extern bool expression_expensive_p (tree, bool *);
      40              : extern bool simple_iv_with_niters (class loop *, class loop *, tree,
      41              :                                    struct affine_iv *, tree *, bool);
      42              : extern bool simple_iv (class loop *, class loop *, tree, struct affine_iv *,
      43              :                        bool);
      44              : extern bool iv_can_overflow_p (class loop *, tree, tree, tree);
      45              : extern tree compute_overall_effect_of_inner_loop (class loop *, tree);
      46              : extern void record_nonwrapping_chrec (tree);
      47              : extern bool nonwrapping_chrec_p (tree);
      48              : 
      49              : /* Returns the basic block preceding LOOP, or the CFG entry block when
      50              :    the loop is function's body.  */
      51              : 
      52              : inline basic_block
      53    243395588 : block_before_loop (loop_p loop)
      54              : {
      55    243395588 :   edge preheader = loop_preheader_edge (loop);
      56    243395588 :   return (preheader ? preheader->src : ENTRY_BLOCK_PTR_FOR_FN (cfun));
      57              : }
      58              : 
      59              : /* Analyze all the parameters of the chrec that were left under a
      60              :    symbolic form.  LOOP is the loop in which symbolic names have to
      61              :    be analyzed and instantiated.  */
      62              : 
      63              : inline tree
      64     83724684 : instantiate_parameters (class loop *loop, tree chrec)
      65              : {
      66     83724684 :   return instantiate_scev (loop_preheader_edge (loop), loop, chrec);
      67              : }
      68              : 
      69              : /* Returns the loop of the polynomial chrec CHREC.  */
      70              : 
      71              : inline class loop *
      72    171933801 : get_chrec_loop (const_tree chrec)
      73              : {
      74    171933801 :   return get_loop (cfun, CHREC_VARIABLE (chrec));
      75              : }
      76              : 
      77              : #endif  /* GCC_TREE_SCALAR_EVOLUTION_H  */