prop-src/datagen.cc

   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 "datagen.pcc".
   5 ///////////////////////////////////////////////////////////////////////////////
   6
   7 #line 1 "datagen.pcc"
   8 ///////////////////////////////////////////////////////////////////////////////
   9 //
  10 //  This file implements the datatype compiler of Prop.
  11 //
  12 ///////////////////////////////////////////////////////////////////////////////
  13
  14 #include <iostream>
  15 #include <AD/strings/quark.h>
  16 #include "ir.h"
  17 #include "ast.h"
  18 #include "type.h"
  19 #include "datagen.h"
  20 #include "options.h"
  21 #include "datatype.h"
  22 #include "list.h"
  23
  24 ///////////////////////////////////////////////////////////////////////////////
  25 //
  26 //  Constructor and destructors for datatype compiler
  27 //
  28 ///////////////////////////////////////////////////////////////////////////////
  29 int DatatypeCompiler::max_embedded_tags = 0;
  30 int DatatypeCompiler::max_embedded_bits = 0;
  31 LabelGen DatatypeCompiler::temp_vars("_T");
  32
  33 DatatypeCompiler:: DatatypeCompiler(TyOpt opt, int embedded_tags)
  34    : optimizations(opt)
  35      {  max_embedded_tags = embedded_tags;
  36         max_embedded_bits = 0;
  37         for (int i = embedded_tags - 1; i > 0; i >>= 1)
  38            max_embedded_bits++;
  39      }
  40 DatatypeCompiler::~DatatypeCompiler() {}
  41
  42 ///////////////////////////////////////////////////////////////////////////////
  43 //
  44 //  Method to create a datatype hierarchy
  45 //
  46 ///////////////////////////////////////////////////////////////////////////////
  47 static DatatypeHierarchy * create_datatype_hierarchy
  48    (Id name, TyVars parameters, Inherits inhs, TyQual qual,
  49     TermDefs terms, Decls body)
  50 {
  51
  52 #line 44 "datagen.pcc"
  53 #line 47 "datagen.pcc"
  54 {
  55    Ty _V1 = lookup_ty(name);
  56    if (_V1) {
  57       switch (_V1->tag__) {
  58          case a_Ty::tag_TYCONty: {
  59             if (boxed(((Ty_TYCONty *)_V1)->_1)) {
  60                switch (((Ty_TYCONty *)_V1)->_1->tag__) {
  61                   case a_TyCon::tag_DATATYPEtycon: {
  62 #line 45 "datagen.pcc"
  63                     return ((TyCon_DATATYPEtycon *)((Ty_TYCONty *)_V1)->_1)->hierarchy;
  64 #line 45 "datagen.pcc"
  65                      } break;
  66                   default: {
  67                      L1:;
  68 #line 47 "datagen.pcc"
  69                     return new DatatypeHierarchy(name,parameters,inhs,qual,terms,body);
  70 #line 47 "datagen.pcc"
  71                      } break;
  72                }
  73             } else { goto L1; }
  74             } break;
  75          default: { goto L1; } break;
  76       }
  77    } else { goto L1; }
  78 }
  79 #line 48 "datagen.pcc"
  80 #line 48 "datagen.pcc"
  81
  82 }
  83
  84 ///////////////////////////////////////////////////////////////////////////////
  85 //
  86 //  Top level method to map datatype and type definitions into
  87 //  a C++ class hierarchy.
  88 //
  89 ///////////////////////////////////////////////////////////////////////////////
  90 void DatatypeCompiler::gen_datatype
  91    ( DatatypeDefs data_defs,   // datatype definitions
  92      ViewDefs     view_defs,   // view definitions
  93      LawDefs      law_defs,    // law definitions
  94      TyDefs       ty_defs      // type definitions
  95    )
  96 {
  97    // Build the classes hierarchies
  98    int N = length(data_defs);
  99    DatatypeHierarchy ** H = new DatatypeHierarchy * [N];
 100    {  int i = 0;
 101       for_each (DatatypeDef, d, data_defs)
 102       {
 103 #line 69 "datagen.pcc"
 104 #line 73 "datagen.pcc"
 105 {
 106 #line 71 "datagen.pcc"
 107  H[i] = create_datatype_hierarchy(d->_1,d->_2,d->_3,d->_4,d->_5,d->_6);
 108                i++;
 109
 110 #line 73 "datagen.pcc"
 111 }
 112 #line 74 "datagen.pcc"
 113 #line 74 "datagen.pcc"
 114
 115       }
 116    }
 117
 118    // Generate forward datatype definitions
 119    {  for (int i = 0; i < N; i++)
 120          if (H[i]) H[i]->generate_forward_declarations(*this);
 121    }
 122
 123    //  Generate type definitions
 124    {  for_each (TyDef, t, ty_defs) gen_type_def(t); }
 125
 126    //  Generate the class hierarchies
 127    {  for (int i = 0; i < N; i++)
 128          if (H[i]) H[i]->generate_datatype_definitions(*this);
 129    }
 130
 131    //  Compile the pattern laws
 132    gen_law_defs(law_defs);
 133 }
 134
 135 ///////////////////////////////////////////////////////////////////////////////
 136 //
 137 //  Method to generate a type definition
 138 //
 139 ///////////////////////////////////////////////////////////////////////////////
 140 void DatatypeCompiler::gen_type_def (TyDef ty_def)
 141 {
 142 #line 101 "datagen.pcc"
 143 #line 109 "datagen.pcc"
 144 {
 145    if (
 146 #line 102 "datagen.pcc"
 147    ty_def->_4
 148 #line 102 "datagen.pcc"
 149 ) {
 150
 151 #line 103 "datagen.pcc"
 152     pr ("%^%/%^// Definition of type %s%V%^%/"
 153       "%#"
 154       "%^%^typedef %t;\n\n",
 155       ty_def->_1, ty_def->_2, ty_def->begin_line, ty_def->file_name, ty_def->_3, ty_def->_1);
 156
 157 #line 107 "datagen.pcc"
 158    } else {
 159       }
 160 }
 161 #line 109 "datagen.pcc"
 162 #line 109 "datagen.pcc"
 163 /* skip */
 164 }
 165
 166 ///////////////////////////////////////////////////////////////////////////////
 167 //
 168 //  Method to preprocess a datatype (for constraints)
 169 //
 170 ///////////////////////////////////////////////////////////////////////////////
 171 void DatatypeCompiler::preprocess_def (DatatypeDef def)
 172 {
 173 #line 118 "datagen.pcc"
 174 #line 129 "datagen.pcc"
 175 {
 176    if (
 177 #line 119 "datagen.pcc"
 178    (def->_4 & QUALunifiable)
 179 #line 119 "datagen.pcc"
 180 ) {
 181
 182 #line 120 "datagen.pcc"
 183     Id      var_term_name = Quark(def->_1,"_var");
 184       TermDef var_term =
 185 #line 121 "datagen.pcc"
 186 #line 121 "datagen.pcc"
 187       TERMdef(var_term_name, mkidvarty(def->_1,def->_2), nil_1_, nil_1_, NOpat, nil_1_, OPTnone, QUALvariable, NOexp)
 188 #line 124 "datagen.pcc"
 189 #line 124 "datagen.pcc"
 190       ;
 191       def->_5 =
 192 #line 125 "datagen.pcc"
 193 #line 125 "datagen.pcc"
 194       list_1_(var_term,def->_5)
 195 #line 125 "datagen.pcc"
 196 #line 125 "datagen.pcc"
 197       ;
 198       // msg("[Unifiable datatype %s]\n", id);
 199
 200 #line 127 "datagen.pcc"
 201    } else {
 202       }
 203 }
 204 #line 129 "datagen.pcc"
 205 #line 129 "datagen.pcc"
 206
 207 }
 208 #line 131 "datagen.pcc"
 209 /*
 210 ------------------------------- Statistics -------------------------------
 211 Merge matching rules         = yes
 212 Number of DFA nodes merged   = 25
 213 Number of ifs generated      = 4
 214 Number of switches generated = 2
 215 Number of labels             = 1
 216 Number of gotos              = 3
 217 Adaptive matching            = enabled
 218 Fast string matching         = disabled
 219 Inline downcasts             = enabled
 220 --------------------------------------------------------------------------
 221 */