prop-src/setlgen.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 "setlgen.pcc".
   5 ///////////////////////////////////////////////////////////////////////////////
   6
   7 #line 1 "setlgen.pcc"
   8 ///////////////////////////////////////////////////////////////////////////////
   9 //
  10 //  This file implements the data structure mapping component of the
  11 //  SETL sublanguage.
  12 //
  13 ///////////////////////////////////////////////////////////////////////////////
  14 #include "ir.h"
  15 #include "ast.h"
  16 #include "setl-ast.h"
  17 #include "setlgen.h"
  18 #include "type.h"
  19
  20 ///////////////////////////////////////////////////////////////////////////////
  21 //
  22 //  Constructor and destructor
  23 //
  24 ///////////////////////////////////////////////////////////////////////////////
  25 SETLCompiler:: SETLCompiler() {}
  26 SETLCompiler::~SETLCompiler() {}
  27
  28 ///////////////////////////////////////////////////////////////////////////////
  29 //
  30 //  Entry points of the SETL data structure mapping compiler
  31 //
  32 ///////////////////////////////////////////////////////////////////////////////
  33
  34 ///////////////////////////////////////////////////////////////////////////////
  35 //
  36 //  Generate a SETL statement
  37 //
  38 ///////////////////////////////////////////////////////////////////////////////
  39 void SETLCompiler::gen_setl (Stmt stmt)
  40 {
  41    bug("SETL sublanguage is not implemented");
  42    gen_stmt(stmt);
  43 }
  44
  45 ///////////////////////////////////////////////////////////////////////////////
  46 //
  47 //  Generate a SETL definition
  48 //
  49 ///////////////////////////////////////////////////////////////////////////////
  50 void SETLCompiler::gen_setl (Def def)
  51 {  pr ("%^/*\n");
  52    gen_def(def);
  53    pr ("%^*/\n");
  54 }
  55
  56 ///////////////////////////////////////////////////////////////////////////////
  57 //
  58 //  Code generation method for definitions
  59 //
  60 ///////////////////////////////////////////////////////////////////////////////
  61 void SETLCompiler::gen_def (Def def)
  62 {
  63 }
  64
  65 ///////////////////////////////////////////////////////////////////////////////
  66 //
  67 //  Code generation method for a list of definitions
  68 //
  69 ///////////////////////////////////////////////////////////////////////////////
  70 void SETLCompiler::gen_defs (Defs defs)
  71 {
  72 #line 64 "setlgen.pcc"
  73 #line 65 "setlgen.pcc"
  74 {
  75    for (;;) {
  76       if (defs) {
  77 #line 65 "setlgen.pcc"
  78         gen_def(defs->_1); defs = defs->_2;
  79 #line 65 "setlgen.pcc"
  80       } else { goto L1; }
  81    }
  82    L1:;
  83 }
  84 #line 66 "setlgen.pcc"
  85 #line 66 "setlgen.pcc"
  86
  87 }
  88
  89 ///////////////////////////////////////////////////////////////////////////////
  90 //
  91 //  Code generation method for statements
  92 //
  93 ///////////////////////////////////////////////////////////////////////////////
  94 void SETLCompiler::gen_stmt (Stmt stmt)
  95 {
  96 #line 75 "setlgen.pcc"
  97 #line 85 "setlgen.pcc"
  98 {
  99    if (stmt) {
 100       switch (stmt->tag__) {
 101          case a_Stmt::tag_ASSIGNstmt: {} break;
 102          case a_Stmt::tag_BLOCKstmt: {} break;
 103          case a_Stmt::tag_WHILEstmt: {} break;
 104          case a_Stmt::tag_IFstmt: {} break;
 105          case a_Stmt::tag_MATCHstmt: {
 106 #line 81 "setlgen.pcc"
 107             pr("%D",((Stmt_MATCHstmt *)stmt)->MATCHstmt);
 108 #line 81 "setlgen.pcc"
 109             } break;
 110          case a_Stmt::tag_REWRITEstmt: {
 111 #line 82 "setlgen.pcc"
 112             pr("%D",((Stmt_REWRITEstmt *)stmt)->REWRITEstmt);
 113 #line 82 "setlgen.pcc"
 114             } break;
 115          case a_Stmt::tag_REPLACEMENTstmt: {
 116 #line 83 "setlgen.pcc"
 117             pr("%D",((Stmt_REPLACEMENTstmt *)stmt)->REPLACEMENTstmt);
 118 #line 83 "setlgen.pcc"
 119             } break;
 120          case a_Stmt::tag_FORALLstmt: {} break;
 121          default: {
 122 #line 85 "setlgen.pcc"
 123             pr("return %e;",((Stmt_RETURNstmt *)stmt)->RETURNstmt);
 124 #line 85 "setlgen.pcc"
 125             } break;
 126       }
 127    } else {}
 128 }
 129 #line 86 "setlgen.pcc"
 130 #line 86 "setlgen.pcc"
 131
 132 }
 133
 134 ///////////////////////////////////////////////////////////////////////////////
 135 //
 136 //  Code generation method for a list of statements
 137 //
 138 ///////////////////////////////////////////////////////////////////////////////
 139 void SETLCompiler::gen_stmts (Stmts stmts)
 140 {
 141 #line 95 "setlgen.pcc"
 142 #line 96 "setlgen.pcc"
 143 {
 144    for (;;) {
 145       if (stmts) {
 146 #line 96 "setlgen.pcc"
 147         gen_stmt(stmts->_1); stmts = stmts->_2;
 148 #line 96 "setlgen.pcc"
 149       } else { goto L2; }
 150    }
 151    L2:;
 152 }
 153 #line 97 "setlgen.pcc"
 154 #line 97 "setlgen.pcc"
 155
 156 }
 157
 158 ///////////////////////////////////////////////////////////////////////////////
 159 //
 160 //  Code generation method for expressions
 161 //
 162 ///////////////////////////////////////////////////////////////////////////////
 163 void SETLCompiler::gen_exp (Exp exp)
 164 {
 165 }
 166
 167 ///////////////////////////////////////////////////////////////////////////////
 168 //
 169 //  Code generation method for an expression list
 170 //
 171 ///////////////////////////////////////////////////////////////////////////////
 172 void SETLCompiler::gen_exps (Exps exps)
 173 {
 174 #line 115 "setlgen.pcc"
 175 #line 117 "setlgen.pcc"
 176 {
 177    for (;;) {
 178       if (exps) {
 179          if (exps->_2) {
 180 #line 117 "setlgen.pcc"
 181            gen_exp(exps->_1); exps = exps->_2;
 182 #line 117 "setlgen.pcc"
 183          } else {
 184 #line 116 "setlgen.pcc"
 185            gen_exp(exps->_1); exps =
 186 #line 116 "setlgen.pcc"
 187 #line 116 "setlgen.pcc"
 188             nil_1_
 189 #line 116 "setlgen.pcc"
 190 #line 116 "setlgen.pcc"
 191             ;
 192 #line 116 "setlgen.pcc"
 193          }
 194       } else { goto L3; }
 195    }
 196    L3:;
 197 }
 198 #line 118 "setlgen.pcc"
 199 #line 118 "setlgen.pcc"
 200
 201 }
 202 #line 120 "setlgen.pcc"
 203 /*
 204 ------------------------------- Statistics -------------------------------
 205 Merge matching rules         = yes
 206 Number of DFA nodes merged   = 4
 207 Number of ifs generated      = 5
 208 Number of switches generated = 1
 209 Number of labels             = 0
 210 Number of gotos              = 0
 211 Adaptive matching            = enabled
 212 Fast string matching         = disabled
 213 Inline downcasts             = enabled
 214 --------------------------------------------------------------------------
 215 */