add graph modif, progress on vhdl generation

[blast.git] / BlockImplementation.cpp

diff --git a/BlockImplementation.cpp b/BlockImplementation.cpp
index af06ef357c778739ec58a2d6f16d6b856863318d..f71297f1440f8a82845469d9ed9b84126dba3d06 100644 (file)
--- a/BlockImplementation.cpp
+++ b/BlockImplementation.cpp
@@ -5,10 +5,13 @@
 #include "ReferenceInterface.h"\r
 #include "FunctionalInterface.h"\r
 #include "BlockParameter.h"\r
 #include "ReferenceInterface.h"\r
 #include "FunctionalInterface.h"\r
 #include "BlockParameter.h"\r

+#include <QHashIterator>\r

 \r
 \r
 BlockImplementation::BlockImplementation(const QString& _xmlFile) {\r
 \r
 \r
 BlockImplementation::BlockImplementation(const QString& _xmlFile) {\r

-  xmlFile = _xmlFile;  \r
+  xmlFile = _xmlFile;\r
+  productionCounter = "";\r
+  delta = "";\r

 \r
   evaluator = new ArithmeticEvaluator;\r
   evaluator->setVariableMarkers("@$");\r
 \r
   evaluator = new ArithmeticEvaluator;\r
   evaluator->setVariableMarkers("@$");\r


@@ -16,32 +19,87 @@ BlockImplementation::BlockImplementation(const QString& _xmlFile) {
 \r
 BlockImplementation::BlockImplementation(const QString& _xmlFile, const QString &_referenceXml, const QString &_referenceMd5) {\r
   xmlFile = _xmlFile;  \r
 \r
 BlockImplementation::BlockImplementation(const QString& _xmlFile, const QString &_referenceXml, const QString &_referenceMd5) {\r
   xmlFile = _xmlFile;  \r

+  productionCounter = "";\r
+  delta = "";\r

   referenceXml = _referenceXml;\r
   referenceMd5 = _referenceMd5;\r
 }\r
 \r
   referenceXml = _referenceXml;\r
   referenceMd5 = _referenceMd5;\r
 }\r
 \r

-void BlockImplementation::assignPatterns(FunctionalBlock *_block) throw(Exception) {\r
+void BlockImplementation::loadPatterns(QDomElement& root) throw(Exception) {\r
+    \r
+  QDomNodeList patternNode = root.elementsByTagName("patterns");\r

   \r
   \r

-  block = _block;\r
+  if (patternNode.isEmpty()) {\r
+    cout << "impl has no patterns" << endl;\r
+    return;\r
+  }\r
+  \r
+  QDomElement patternElt = patternNode.at(0).toElement();\r
+  \r
+  QDomElement eltDelta  = patternElt.firstChildElement("delta");\r
+  delta = eltDelta.attribute("value","none");\r
+  \r
+  QDomElement eltCons  = eltDelta.nextSiblingElement("consumption");\r
+  \r
+  QDomNodeList listNodeInput = eltCons.elementsByTagName("input");\r
+  for(int i=0; i<listNodeInput.size(); i++) {\r
+    QDomNode node = listNodeInput.at(i);    \r
+    QDomElement elt = node.toElement();    \r
+    QString nameStr = elt.attribute("name","none");\r
+    if (nameStr == "none") throw(Exception(IMPLFILE_CORRUPTED));\r
+    QString patternStr = elt.attribute("pattern","none");    \r
+    consumptionPattern.insert(nameStr,patternStr);\r
+  }\r
+  \r
+  QDomElement eltProd  = eltCons.nextSiblingElement("production");\r
+  \r
+  productionCounter = eltProd.attribute("counter","none");\r
+  QDomNodeList listNodeOutput = eltProd.elementsByTagName("output");\r
+  for(int i=0; i<listNodeOutput.size(); i++) {\r
+    QDomNode node = listNodeOutput.at(i);    \r
+    QDomElement elt = node.toElement();        \r
+    QString nameStr = elt.attribute("name","none");\r
+    if (nameStr == "none") throw(Exception(IMPLFILE_CORRUPTED));\r
+    QString patternStr = elt.attribute("pattern","none");    \r
+    productionPattern.insert(nameStr,patternStr);    \r
+  }\r
+  cout << "patterns summary:" << endl;\r
+  QHashIterator<QString,QString> iterP(productionPattern);\r
+  while (iterP.hasNext()) {\r
+    iterP.next();\r
+    cout << qPrintable(iterP.key()) << " -> " << qPrintable(iterP.value()) << endl;\r
+  }\r
+  cout << "impls patterns read correctly" << endl;\r
+}\r

 \r
 \r

-  QFile implFile(xmlFile);\r
+bool BlockImplementation::checkPatterns() {\r

 \r
 \r

-  // reading in into QDomDocument\r
-  QDomDocument document("implFile");\r

 \r
 \r

-  if (!implFile.open(QIODevice::ReadOnly)) {\r
-    throw(Exception(IMPLFILE_NOACCESS));\r
+  if (reference == NULL) {\r
+    cout << "no ref. while checking patterns of implementation " << endl;\r
+    return false;\r

   }\r
   }\r

-  if (!document.setContent(&implFile)) {\r
-    implFile.close();\r
-    throw(Exception(IMPLFILE_NOACCESS));\r
-  }\r
-  implFile.close();\r
-  QDomElement impl = document.documentElement();\r
-  QDomNodeList patternNode = impl.elementsByTagName("patterns");\r
-  if (patternNode.isEmpty()) return;\r
-  QDomElement patternElt = patternNode.at(0).toElement();\r

   \r
   \r

+  AbstractInterface* iface;  \r
+  QHashIterator<QString,QString> iterI(consumptionPattern);\r
+  while (iterI.hasNext()) {\r
+    iterI.next();\r
+    iface = reference->getIfaceFromName(iterI.key());\r
+    if (iface == NULL) {\r
+      cout << "cannot found an input  ref. iface for impl. iface " << qPrintable(iterI.key()) << endl;\r
+      return false;\r
+    }\r
+  }\r
+  QHashIterator<QString,QString> iterO(productionPattern);\r
+  while (iterO.hasNext()) {\r
+    iterO.next();\r
+    iface = reference->getIfaceFromName(iterO.key());\r
+    if (iface == NULL) {\r
+      cout << "cannot found an output  ref. iface for impl. iface " << qPrintable(iterI.key()) << endl;\r
+      return false;\r
+    }\r
+  }  \r
+  return true;  \r

 }\r
 \r
 void BlockImplementation::generateVHDL(FunctionalBlock* _block, const QString &path) throw(Exception) {\r
 }\r
 \r
 void BlockImplementation::generateVHDL(FunctionalBlock* _block, const QString &path) throw(Exception) {\r


@@ -168,17 +226,17 @@ void BlockImplementation::generateLibraries(QDomElement &elt, QTextStream& out)
   for(int i = 0; i < listLib.length(); i++) {\r
     QDomNode nodeLib = listLib.item(i);\r
     QDomElement eltLib = nodeLib.toElement();\r
   for(int i = 0; i < listLib.length(); i++) {\r
     QDomNode nodeLib = listLib.item(i);\r
     QDomElement eltLib = nodeLib.toElement();\r

-    QString nameLib = eltLib.attribute("name", "");\r
+    QString nameLib = eltLib.attribute("name","none");\r

     out << "library " << nameLib << ";\n";\r
     QDomNodeList listPack = eltLib.elementsByTagName("package");\r
     for(int j = 0; j < listPack.length(); j++) {\r
       QDomNode nodePack = listPack.item(j);\r
       QDomElement eltPack = nodePack.toElement();\r
     out << "library " << nameLib << ";\n";\r
     QDomNodeList listPack = eltLib.elementsByTagName("package");\r
     for(int j = 0; j < listPack.length(); j++) {\r
       QDomNode nodePack = listPack.item(j);\r
       QDomElement eltPack = nodePack.toElement();\r

-      QString namePack = eltPack.attribute("name", "");\r
-      QString usePack = elt.attribute("use","");\r
-      out << "use " << nameLib << "." << namePack << "." << usePack << ";\n";\r
+      QString namePack = eltPack.attribute("name","none");\r
+      QString usePack = eltPack.attribute("use","none");\r
+      out << "use " << nameLib << "." << namePack << "." << usePack << endl;\r

     }\r
     }\r

-    out << "\n";\r
+    out << endl;\r

   }\r
 }\r
 \r
   }\r
 }\r
 \r


@@ -186,11 +244,11 @@ void BlockImplementation::generateLibraries(QDomElement &elt, QTextStream& out)
 void BlockImplementation::generateEntity(QTextStream& out, bool hasController) throw(Exception) {\r
 \r
   int i=0;\r
 void BlockImplementation::generateEntity(QTextStream& out, bool hasController) throw(Exception) {\r
 \r
   int i=0;\r

-  nameEnt = reference->getName();\r
+  nameEnt = block->getName();\r

   //QList<BlockParameter*> listParams = reference->getParameters();\r
   //QList<BlockParameter*> listParams = reference->getParameters();\r

-  QList<AbstractInterface*> listInputs = reference->getInputs();\r
-  QList<AbstractInterface*> listOutputs = reference->getOutputs();\r
-  QList<AbstractInterface*> listBidirs = reference->getBidirs();\r
+  QList<AbstractInterface*> listInputs = block->getInputs();\r
+  QList<AbstractInterface*> listOutputs = block->getOutputs();\r
+  QList<AbstractInterface*> listBidirs = block->getBidirs();\r

   QString typePort, namePort;\r
 \r
   out << "entity " << nameEnt << " is\n";\r
   QString typePort, namePort;\r
 \r
   out << "entity " << nameEnt << " is\n";\r


@@ -199,7 +257,7 @@ void BlockImplementation::generateEntity(QTextStream& out, bool hasController) t
   /* TODO : rewrite the generation to take into acocunt the new object hierarchy */\r
 \r
   // Generation of the generics\r
   /* TODO : rewrite the generation to take into acocunt the new object hierarchy */\r
 \r
   // Generation of the generics\r

-  QList<BlockParameter*> listGenerics = reference->getGenericParameters();\r
+  QList<BlockParameter*> listGenerics = block->getGenericParameters();\r

   if ((!listGenerics.isEmpty()) || (hasController)) {\r
     out << "  generic (" << endl;\r
     if (hasController) {\r
   if ((!listGenerics.isEmpty()) || (hasController)) {\r
     out << "  generic (" << endl;\r
     if (hasController) {\r


@@ -209,9 +267,9 @@ void BlockImplementation::generateEntity(QTextStream& out, bool hasController) t
       out << endl;\r
     }\r
     for(i=0;i<listGenerics.size()-1;i++) {\r
       out << endl;\r
     }\r
     for(i=0;i<listGenerics.size()-1;i++) {\r

-      out << "    " << listGenerics.at(i)->toVHDL(BlockParameter::Entity, 0);\r
+      out << "    " << listGenerics.at(i)->toVHDL(BlockParameter::Entity, 0) << endl;\r

     }\r
     }\r

-    out << "    " << listGenerics.at(i)->toVHDL(BlockParameter::Entity,BlockParameter::NoComma);\r
+    out << "    " << listGenerics.at(i)->toVHDL(BlockParameter::Entity,BlockParameter::NoComma) << endl;\r

 \r
     out << "    );" << endl;\r
   }\r
 \r
     out << "    );" << endl;\r
   }\r


@@ -220,9 +278,9 @@ void BlockImplementation::generateEntity(QTextStream& out, bool hasController) t
 \r
   // Generation of the clk & rst signals\r
   out << "    -- clk/rst" << endl;\r
 \r
   // Generation of the clk & rst signals\r
   out << "    -- clk/rst" << endl;\r

-  for(int i = 0; i < listInputs.size(); i++) {\r
-    if(listInputs.at(i)->getPurpose() == AbstractInterface::Clock || listInputs.at(i)->getPurpose() == AbstractInterface::Reset) {\r
-      out << "    " << listInputs.at(i)->getName() << " : in std_logic;" << endl;\r
+  foreach(AbstractInterface* iface, listInputs) {\r
+    if(iface->getPurpose() == AbstractInterface::Clock || iface->getPurpose() == AbstractInterface::Reset) {\r
+      out << "    " << iface->getName() << " : in std_logic;" << endl;\r

     }\r
   }\r
 \r
     }\r
   }\r
 \r


@@ -231,55 +289,98 @@ void BlockImplementation::generateEntity(QTextStream& out, bool hasController) t
     out << "    -- registers r/w via wishbone" << endl;\r
     QList<BlockParameter*> listWB = reference->getWishboneParameters();\r
     for(i=0;i<listWB.size()-1;i++) {\r
     out << "    -- registers r/w via wishbone" << endl;\r
     QList<BlockParameter*> listWB = reference->getWishboneParameters();\r
     for(i=0;i<listWB.size()-1;i++) {\r

-      out << "    " << listWB.at(i)->toVHDL(BlockParameter::Entity, 0);\r
+      out << "    " << listWB.at(i)->toVHDL(BlockParameter::Entity, 0) << endl;\r

     }\r
     }\r

-    out << "    " << listWB.at(i)->toVHDL(BlockParameter::Entity,BlockParameter::NoComma);\r
+    out << "    " << listWB.at(i)->toVHDL(BlockParameter::Entity,BlockParameter::NoComma) << endl;\r

   }\r
 \r
 \r
   }\r
 \r
 \r

-  // Generation of the data signals\r
-  out << "-- data ports\n";\r
-  for(int i = 0; i < listInputs.size(); i++) {\r
-    namePort = getIfaceUserName(reference->AbstractBlock::getIfaceFromName(listInputs.at(i)->getName()));\r
-    if(listInputs.at(i)->getWidth().compare("1"))\r
-      typePort = "std_logic";\r
-    else\r
-      typePort = calculateWidth(listInputs.at(i)->getWidth());\r
-    if(listInputs.at(i)->getPurpose() == 1)\r
-      out << namePort << " : in std_logic_vector(" << typePort << " -1 downto 0) ;\n";\r
+  int count = 0;\r
+  foreach(AbstractInterface* iface, block->getInterfaces()) {\r
+    if((iface->getPurpose() == AbstractInterface::Data)||(iface->getPurpose() == AbstractInterface::Control)) count++;\r

   }\r
   }\r

+  // Generation of the data/control signals\r

 \r
 \r

-  for(int i = 0; i < listOutputs.size(); i++) {\r
-    namePort = getIfaceUserName(reference->AbstractBlock::getIfaceFromName(listOutputs.at(i)->getName()));\r
-    if(listOutputs.at(i)->getWidth().compare("1"))\r
-      typePort = "std_logic";\r
-    else\r
-      typePort = calculateWidth(listOutputs.at(i)->getWidth());\r
-    if(listOutputs.at(i)->getPurpose() == 1)\r
-      out << namePort << " : out std_logic_vector(" << typePort << " -1 downto 0) ;\n";\r
-  }\r
+  int flag = 0;\r
+  bool first = true;\r

 \r
 \r

-  for(int i = 0; i < listBidirs.size(); i++) {\r
-    namePort = getIfaceUserName(reference->AbstractBlock::getIfaceFromName(listBidirs.at(i)->getName()));\r
-    if(listBidirs.at(i)->getWidth().compare(("1")))\r
-      typePort = "std_logic";\r
-    else\r
-      typePort = calculateWidth((listBidirs.at(i)->getWidth()));\r
-    if(listBidirs.at(i)->getPurpose() == 1)\r
-      out << namePort << " : inout std_logic_vector(" << typePort << " -1 downto 0) ;\n";\r
+  foreach(AbstractInterface* iface, listInputs) {\r
+    if(iface->getPurpose() == AbstractInterface::Data) {\r
+      if (first) {\r
+        out << "    -- input data ports" << endl;\r
+        first = false;\r
+      }\r
+      count--;\r
+      if (count == 0) flag = AbstractInterface::NoComma;\r
+      out << "    " << iface->toVHDL(AbstractInterface::Entity, flag) << endl;\r
+    }\r
+  }\r
+  first = true;\r
+  foreach(AbstractInterface* iface, listInputs) {\r
+    if(iface->getPurpose() == AbstractInterface::Control) {\r
+      if (first) {\r
+        out << "    -- input control ports" << endl;\r
+        first = false;\r
+      }\r
+      count--;\r
+      if (count == 0) flag = AbstractInterface::NoComma;\r
+      out << "    " << iface->toVHDL(AbstractInterface::Entity, flag) << endl;\r
+    }\r
+  }\r
+  first = true;\r
+  foreach(AbstractInterface* iface, listOutputs) {\r
+    if(iface->getPurpose() == AbstractInterface::Data) {\r
+      if (first) {\r
+        out << "    -- output data ports" << endl;\r
+        first = false;\r
+      }\r
+      count--;\r
+      if (count == 0) flag = AbstractInterface::NoComma;\r
+      out << "    " << iface->toVHDL(AbstractInterface::Entity, flag) << endl;\r
+    }\r

   }\r
   }\r

+  first = true;\r
+  foreach(AbstractInterface* iface, listOutputs) {\r
+    if(iface->getPurpose() == AbstractInterface::Control) {\r
+      if (first) {\r
+        out << "    -- output control ports" << endl;\r
+        first = false;\r
+      }\r
+      count--;\r
+      if (count == 0) flag = AbstractInterface::NoComma;\r
+      out << "    " << iface->toVHDL(AbstractInterface::Entity, flag) << endl;\r
+    }\r
+  }\r
+  first = true;\r
+  foreach(AbstractInterface* iface, listBidirs) {\r
+    if(iface->getPurpose() == AbstractInterface::Data) {\r
+      if (first) {\r
+        out << "    -- bidirs data ports" << endl;\r
+        first = false;\r
+      }\r
+      count--;\r
+      if (count == 0) flag = AbstractInterface::NoComma;\r
+      out << "    " << iface->toVHDL(AbstractInterface::Entity, flag) << endl;\r
+    }\r
+  }\r
+  out << "    );" << endl << endl;\r
+  out << "end " << nameEnt << ";" << endl << endl;\r

 }\r
 \r
 // This function generates the architecture part of the VHDL document\r
 void BlockImplementation::generateArchitecture(QDomElement &elt, QTextStream& out) throw(Exception) {\r
 \r
   QString expr;\r
 }\r
 \r
 // This function generates the architecture part of the VHDL document\r
 void BlockImplementation::generateArchitecture(QDomElement &elt, QTextStream& out) throw(Exception) {\r
 \r
   QString expr;\r

-  QDomElement eltArch = elt.nextSiblingElement("architecture");\r
-  out << "architecture " << nameEnt <<"_1 of " << nameEnt << "is\n";\r
-  QString implText = eltArch.text();\r
-  QStringList listLine = implText.split("\n");\r
+  QString code = elt.text();\r
+  cout << qPrintable(code) << endl;\r
+  out << "architecture rtl of " << nameEnt << " is" << endl;\r
+\r
+  QStringList listLine = code.split("\n");\r

   for(int i =0; i < listLine.size(); i++) {\r
   for(int i =0; i < listLine.size(); i++) {\r

-    if(listLine.at(i).contains(QRegularExpression("@foreach{")) != -1) {\r
+    QString line = listLine.at(i).simplified();\r
+\r
+    /*\r
+    if(listLine.at(i).contains(QRegularExpression("@foreach{"))) {\r

       while(listLine.at(i).compare("@endforeach") != -1) {\r
         expr = expr + listLine.at(i) + '\n';\r
         i++;\r
       while(listLine.at(i).compare("@endforeach") != -1) {\r
         expr = expr + listLine.at(i) + '\n';\r
         i++;\r


@@ -287,7 +388,7 @@ void BlockImplementation::generateArchitecture(QDomElement &elt, QTextStream& ou
       expr = expr + listLine.at(i);\r
       out << evalComplex(expr, 1) << '\n';\r
     }\r
       expr = expr + listLine.at(i);\r
       out << evalComplex(expr, 1) << '\n';\r
     }\r

-    if(listLine.at(i).contains(QRegularExpression("@caseeach{")) != -1) {\r
+    if(listLine.at(i).contains(QRegularExpression("@caseeach{"))) {\r

       while(listLine.at(i).compare("@endcaseeach") != -1) {\r
         expr = expr + listLine.at(i) + '\n';\r
         i++;\r
       while(listLine.at(i).compare("@endcaseeach") != -1) {\r
         expr = expr + listLine.at(i) + '\n';\r
         i++;\r


@@ -295,11 +396,10 @@ void BlockImplementation::generateArchitecture(QDomElement &elt, QTextStream& ou
       expr = expr + listLine.at(i);\r
       out << evalComplex(expr, 2) << '\n';\r
     }\r
       expr = expr + listLine.at(i);\r
       out << evalComplex(expr, 2) << '\n';\r
     }\r

-\r
-    if(listLine.at(i).contains('@') == -1)\r
-      out << listLine.at(i) << "\n";\r
-    else\r
-      out << eval(listLine.at(i), out) << "\n";\r
+*/\r
+    if(line.contains("@{")) {\r
+      out << line << endl;\r
+    }\r

   }\r
 }\r
 \r
   }\r
 }\r
 \r


@@ -527,7 +627,12 @@ QDataStream& operator<<(QDataStream &out, const BlockImplementation &impl) {
   toWrite << impl.xmlFile;\r
   toWrite << impl.referenceXml;\r
   toWrite << impl.referenceMd5;\r
   toWrite << impl.xmlFile;\r
   toWrite << impl.referenceXml;\r
   toWrite << impl.referenceMd5;\r

-\r
+  // saving patterns\r
+  toWrite << impl.delta;\r
+  toWrite << impl.consumptionPattern;\r
+  toWrite << impl.productionPattern;\r
+  toWrite << impl.productionCounter;\r
+  \r

   out << blockData;\r
 \r
   return out;\r
   out << blockData;\r
 \r
   return out;\r


@@ -544,6 +649,11 @@ QDataStream& operator>>(QDataStream &in, BlockImplementation &impl) {
   in >> impl.xmlFile;\r
   in >> impl.referenceXml;\r
   in >> impl.referenceMd5;\r
   in >> impl.xmlFile;\r
   in >> impl.referenceXml;\r
   in >> impl.referenceMd5;\r

+  // loading patterns\r
+  in >> impl.delta;\r
+  in >> impl.consumptionPattern;\r
+  in >> impl.productionPattern;\r
+  in >> impl.productionCounter;\r

 \r
   return in;\r
 }\r
 \r
   return in;\r
 }\r