From: Eddie Hung <eddieh@ece.ubc.ca>
Date: Fri, 8 Feb 2019 15:31:04 +0000 (-0800)
Subject: Stub for binary AIGER
X-Git-Tag: yosys-0.9~232^2~33
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=791f93181df091877e0b233fa21ee5fa34b24b27;p=yosys.git

Stub for binary AIGER
---

diff --git a/frontends/aiger/aigerparse.cc b/frontends/aiger/aigerparse.cc
index 7f9feee4a..a33110ed0 100644
--- a/frontends/aiger/aigerparse.cc
+++ b/frontends/aiger/aigerparse.cc
@@ -31,6 +31,7 @@ YOSYS_NAMESPACE_BEGIN
 #define log_debug log
 
 static void parse_aiger_ascii(RTLIL::Design *design, std::istream &f, std::string clk_name);
+static void parse_aiger_binary(RTLIL::Design *design, std::istream &f, std::string clk_name);
 
 void parse_aiger(RTLIL::Design *design, std::istream &f, std::string clk_name)
 {
@@ -38,10 +39,10 @@ void parse_aiger(RTLIL::Design *design, std::istream &f, std::string clk_name)
     f >> header;
     if (header == "aag")
         return parse_aiger_ascii(design, f, clk_name);
-    else {
+    else if (header == "aig")
+        return parse_aiger_binary(design, f, clk_name);
+    else
         log_error("Unsupported AIGER file!\n");
-        return;
-    }
 }
 
 static void parse_aiger_ascii(RTLIL::Design *design, std::istream &f, std::string clk_name)
@@ -191,6 +192,10 @@ static void parse_aiger_ascii(RTLIL::Design *design, std::istream &f, std::strin
     module->fixup_ports();
 }
 
+static void parse_aiger_binary(RTLIL::Design *design, std::istream &f, std::string clk_name)
+{
+}
+
 struct AigerFrontend : public Frontend {
 	AigerFrontend() : Frontend("aiger", "read AIGER file") { }
 	void help() YS_OVERRIDE