prop-src/rwmix.h

   1 ///////////////////////////////////////////////////////////////////////////////
   2 //  This file is generated automatically using Prop (version 2.3.6),
   3 //  last updated on Nov 2, 1999.
   4 //  The original source file is "rwmix.ph".
   5 ///////////////////////////////////////////////////////////////////////////////
   6
   7 #line 1 "rwmix.ph"
   8 ///////////////////////////////////////////////////////////////////////////////
   9 //
  10 //  This file defines the rewriting partial evaluator
  11 //
  12 ///////////////////////////////////////////////////////////////////////////////
  13 #ifndef rewriting_mix_h
  14 #define rewriting_mix_h
  15
  16 #include "ast.h"
  17 #include "ir.h"
  18 #include "rwgen.h"
  19
  20 ///////////////////////////////////////////////////////////////////////////////
  21 //
  22 //  The rewriting partial evaluator
  23 //
  24 ///////////////////////////////////////////////////////////////////////////////
  25 class RewriteMix : public virtual RewritingCompiler
  26 {  RewriteMix (const RewriteMix&);     // no copy constructor
  27    void operator = (const RewriteMix&);  // no assignment
  28 private:
  29    int reduction_limit;
  30 public:
  31             RewriteMix();
  32    virtual ~RewriteMix();
  33
  34    virtual void optimize_rewrite ();
  35 };
  36
  37 #endif
  38 #line 31 "rwmix.ph"
  39 /*
  40 ------------------------------- Statistics -------------------------------
  41 Merge matching rules         = yes
  42 Number of DFA nodes merged   = 0
  43 Number of ifs generated      = 0
  44 Number of switches generated = 0
  45 Number of labels             = 0
  46 Number of gotos              = 0
  47 Adaptive matching            = enabled
  48 Fast string matching         = disabled
  49 Inline downcasts             = enabled
  50 --------------------------------------------------------------------------
  51 */