substituter.h

   1 #ifndef PET_SUBSTITUTER_H
   2 #define PET_SUBSTITUTER_H
   3
   4 #include <map>
   5
   6 #include "expr.h"
   7 #include "tree.h"
   8
   9 /* Keep track of substitutions that need to be performed in "subs",
  10  * where the isl_id is replaced by the pet_expr, which is either
  11  * an access expression or the address of an access expression.
  12  * "substitute" performs the actual substitution.
  13  */
  14 struct pet_substituter {
  15         std::map<isl_id *, pet_expr *> subs;
  16
  17         void add_sub(__isl_take isl_id *id, __isl_take pet_expr *expr);
  18
  19         __isl_give pet_tree *substitute(__isl_take pet_tree *tree);
  20
  21         ~pet_substituter();
  22 };
  23
  24 #endif