add graph modif, progress on vhdl generation

[blast.git] / BlockImplementation.cpp

diff --git a/BlockImplementation.cpp b/BlockImplementation.cpp
index b7510217a5cce885b85b5c522d381fa26ab50e39..f71297f1440f8a82845469d9ed9b84126dba3d06 100644 (file)
--- a/BlockImplementation.cpp
+++ b/BlockImplementation.cpp
@@ -73,20 +73,31 @@ void BlockImplementation::loadPatterns(QDomElement& root) throw(Exception) {
 }\r
 \r
 bool BlockImplementation::checkPatterns() {\r
 }\r
 \r
 bool BlockImplementation::checkPatterns() {\r

-  if (reference == NULL) return false;\r
+\r
+\r
+  if (reference == NULL) {\r
+    cout << "no ref. while checking patterns of implementation " << endl;\r
+    return false;\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
   \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) return false;\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
   }\r
   QHashIterator<QString,QString> iterO(productionPattern);\r
   while (iterO.hasNext()) {\r
     iterO.next();\r
     iface = reference->getIfaceFromName(iterO.key());\r

-    if (iface == NULL) return false;\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
   return true;  \r
 }\r


@@ -215,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


@@ -233,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


@@ -246,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


@@ -256,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


@@ -267,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


@@ -278,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
+  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
   }\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


@@ -334,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


@@ -342,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