Branch data     Line data    Source code

       1                 :             : /* Scalar evolution detector.
       2                 :             :    Copyright (C) 2003-2024 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                 :   205919690 : block_before_loop (loop_p loop)
      54                 :             : {
      55                 :   205919690 :   edge preheader = loop_preheader_edge (loop);
      56                 :   205919690 :   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                 :    71593287 : instantiate_parameters (class loop *loop, tree chrec)
      65                 :             : {
      66                 :    71593287 :   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                 :   148356697 : get_chrec_loop (const_tree chrec)
      73                 :             : {
      74                 :   148356697 :   return get_loop (cfun, CHREC_VARIABLE (chrec));
      75                 :             : }
      76                 :             : 
      77                 :             : #endif  /* GCC_TREE_SCALAR_EVOLUTION_H  */