prop-src/dataflow.pcc

   1 ///////////////////////////////////////////////////////////////////////////////
   2 //
   3 //  This file implements the dataflow analyzer generator.
   4 //
   5 ///////////////////////////////////////////////////////////////////////////////
   6 #include <iostream.h>
   7 #include "basics.ph"
   8 #include "dataflow.ph"
   9 #include "type.h"
  10 #include "ir.ph"
  11
  12 ///////////////////////////////////////////////////////////////////////////////
  13 //
  14 //  Instantiate the Prop datatypes.
  15 //
  16 ///////////////////////////////////////////////////////////////////////////////
  17 instantiate datatype Domain, List<Domain>;
  18
  19 ///////////////////////////////////////////////////////////////////////////////
  20 //
  21 //  Pretty printer for a sequence of domains.
  22 //
  23 ///////////////////////////////////////////////////////////////////////////////
  24 ostream& print_domains (ostream& f, Id sep, Domains d)
  25 {  match while (d) of
  26       #[ ]:              { return f; }
  27    |  #[ one ]:          { return f << one; }
  28    |  #[ one ... rest ]: { f << one << sep; d = rest; }
  29    end match;
  30 }
  31
  32 ///////////////////////////////////////////////////////////////////////////////
  33 //
  34 //  Pretty printer for domains.
  35 //
  36 ///////////////////////////////////////////////////////////////////////////////
  37 ostream& operator << (ostream& f, Domain d)
  38 {  match (d) of
  39       UNITdom:        { f << "unit"; }
  40    |  FINSETdom ty:   { f << "setof<" << ty << ">"; }
  41    |  LIFTdom d:      { f << "lift<" << d << ">"; }
  42    |  SUMdom d:       { print_domains(f," + ",d); }
  43    |  PRODUCTdom d:   { print_domains(f," * ",d); }
  44    end match;
  45    return f;
  46 }
  47
  48 ///////////////////////////////////////////////////////////////////////////////
  49 //
  50 //  The dataflow class
  51 //
  52 ///////////////////////////////////////////////////////////////////////////////
  53 DataflowClass::DataflowClass(Id id, Inherits i, TyQual q, Decls d)
  54    : ClassDefinition(DATAFLOW_CLASS,
  55                      id,#[],add_inherit("DataflowBase",#[],i),q,d) {}
  56 DataflowClass::~DataflowClass() {}
  57
  58 void DataflowClass::gen_class_interface(CodeGen& C)
  59 {
  60 }
  61
  62 ///////////////////////////////////////////////////////////////////////////////
  63 //
  64 //  Constructor and destructor for the dataflow compiler.
  65 //
  66 ///////////////////////////////////////////////////////////////////////////////
  67 DataflowCompiler:: DataflowCompiler () {}
  68 DataflowCompiler::~DataflowCompiler () {}
  69