prop-src/rwmix.ph.old

   1 ///////////////////////////////////////////////////////////////////////////////
   2 //
   3 //  This file defines the rewriting partial evaluator
   4 //
   5 ///////////////////////////////////////////////////////////////////////////////
   6 #ifndef rewriting_mix_h
   7 #define rewriting_mix_h
   8
   9 #include "ast.h"
  10 #include "ir.h"
  11 #include "rwgen.h"
  12
  13 ///////////////////////////////////////////////////////////////////////////////
  14 //
  15 //  The rewriting partial evaluator
  16 //
  17 ///////////////////////////////////////////////////////////////////////////////
  18 class RewriteMix : public virtual RewritingCompiler
  19 {  RewriteMix (const RewriteMix&);     // no copy constructor
  20    void operator = (const RewriteMix&);  // no assignment
  21 private:
  22    int reduction_limit;
  23 public:
  24             RewriteMix();
  25    virtual ~RewriteMix();
  26
  27    virtual MatchRules optimize_rewrite (Id, MatchRules);
  28
  29 private:
  30    ////////////////////////////////////////////////////////////////////////////
  31    //
  32    //  Private methods
  33    //
  34    ////////////////////////////////////////////////////////////////////////////
  35    enum Result { SUCCESS, FAILURE, UNKNOWN };
  36
  37    MatchRules mix (MatchRules);
  38
  39    ////////////////////////////////////////////////////////////////////////////
  40    //
  41    //  Pattern matching methods.
  42    //
  43    ////////////////////////////////////////////////////////////////////////////
  44    Result pmatch (Pat, Exp);
  45    Result pmatch (Pats, Exps);
  46    Result pmatch (LabPats, LabExps);
  47    Result pmatch (Exp, MatchRule);
  48
  49    ////////////////////////////////////////////////////////////////////////////
  50    //
  51    //  Normalization methods.
  52    //
  53    ////////////////////////////////////////////////////////////////////////////
  54    Exp normalize (Exp, MatchRules, Bool&);
  55    Result reduce (Exp, MatchRules, Exp&);
  56
  57    ////////////////////////////////////////////////////////////////////////////
  58    //
  59    //  Simplication methods.
  60    //
  61    ////////////////////////////////////////////////////////////////////////////
  62    Exp simplify  (Exp, Exp = NOexp);
  63 };
  64
  65 #endif