gcc/tree-scalar-evolution.h

   1 /* Scalar evolution detector.
   2    Copyright (C) 2003, 2004, 2005, 2007 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 (struct loop *);
  25 extern tree number_of_exit_cond_executions (struct loop *);
  26 extern tree get_loop_exit_condition (const struct loop *);
  27
  28 extern void scev_initialize (void);
  29 extern void scev_reset (void);
  30 extern void scev_reset_except_niters (void);
  31 extern void scev_finalize (void);
  32 extern tree analyze_scalar_evolution (struct loop *, tree);
  33 extern tree instantiate_scev (struct loop *, struct loop *, tree);
  34 extern tree resolve_mixers (struct loop *, tree);
  35 extern void gather_stats_on_scev_database (void);
  36 extern void scev_analysis (void);
  37 unsigned int scev_const_prop (void);
  38
  39 extern bool simple_iv (struct loop *, tree, tree, affine_iv *, bool);
  40
  41 /* Analyze all the parameters of the chrec that were left under a
  42    symbolic form.  LOOP is the loop in which symbolic names have to
  43    be analyzed and instantiated.  */
  44
  45 static inline tree
  46 instantiate_parameters (struct loop *loop, tree chrec)
  47 {
  48   return instantiate_scev (loop, loop, chrec);
  49 }
  50
  51 /* Returns the loop of the polynomial chrec CHREC.  */
  52
  53 static inline struct loop *
  54 get_chrec_loop (const_tree chrec)
  55 {
  56   return get_loop (CHREC_VARIABLE (chrec));
  57 }
  58
  59 #endif  /* GCC_TREE_SCALAR_EVOLUTION_H  */