Merge pull request #1162 from whitequark/rtlil-case-attrs

Allow attributes on individual switch cases in RTLIL

diff --git a/backends/ilang/ilang_backend.cc b/backends/ilang/ilang_backend.cc
index b4ba2b03f2d403ea6ca9b80d6de9b0ca19934ae0..313af7d5c60b1732169bd34bbb0b5d260dd19793 100644 (file)
--- a/backends/ilang/ilang_backend.cc
+++ b/backends/ilang/ilang_backend.cc
@@ -204,6 +204,11 @@ void ILANG_BACKEND::dump_proc_switch(std::ostream &f, std::string indent, const
 
        for (auto it = sw->cases.begin(); it != sw->cases.end(); ++it)
        {
+               for (auto ait = (*it)->attributes.begin(); ait != (*it)->attributes.end(); ++ait) {
+                       f << stringf("%s  attribute %s ", indent.c_str(), ait->first.c_str());
+                       dump_const(f, ait->second);
+                       f << stringf("\n");
+               }
                f << stringf("%s  case ", indent.c_str());
                for (size_t i = 0; i < (*it)->compare.size(); i++) {
                        if (i > 0)

diff --git a/frontends/ilang/ilang_parser.y b/frontends/ilang/ilang_parser.y
index 44c99906a0a5188fbfca2f069f42879bdc301f7b..b4b9693dafb030db3c1839139332de2b049360bc 100644 (file)
--- a/frontends/ilang/ilang_parser.y
+++ b/frontends/ilang/ilang_parser.y
@@ -282,14 +282,14 @@ proc_stmt:
        } case_body sync_list TOK_END EOL;
 
 switch_stmt:
-       attr_list TOK_SWITCH sigspec EOL {
+       TOK_SWITCH sigspec EOL {
                RTLIL::SwitchRule *rule = new RTLIL::SwitchRule;
-               rule->signal = *$3;
+               rule->signal = *$2;
                rule->attributes = attrbuf;
                switch_stack.back()->push_back(rule);
                attrbuf.clear();
-               delete $3;
-       } switch_body TOK_END EOL;
+               delete $2;
+       } attr_list switch_body TOK_END EOL;
 
 attr_list:
        /* empty */ |
@@ -298,9 +298,11 @@ attr_list:
 switch_body:
        switch_body TOK_CASE {
                RTLIL::CaseRule *rule = new RTLIL::CaseRule;
+               rule->attributes = attrbuf;
                switch_stack.back()->back()->cases.push_back(rule);
                switch_stack.push_back(&rule->switches);
                case_stack.push_back(rule);
+               attrbuf.clear();
        } compare_list EOL case_body {
                switch_stack.pop_back();
                case_stack.pop_back();
@@ -319,12 +321,15 @@ compare_list:
        /* empty */;
 
 case_body:
+       case_body attr_stmt |
        case_body switch_stmt |
        case_body assign_stmt |
        /* empty */;
 
 assign_stmt:
        TOK_ASSIGN sigspec sigspec EOL {
+               if (attrbuf.size() != 0)
+                       rtlil_frontend_ilang_yyerror("dangling attribute");
                case_stack.back()->actions.push_back(RTLIL::SigSig(*$2, *$3));
                delete $2;
                delete $3;

diff --git a/kernel/rtlil.h b/kernel/rtlil.h
index 8509670ff4b2580361c8cb3a01555a718a01e441..7b7367fbae8a04e9ff5312bfa4a1dd99c2c4d200 100644 (file)
--- a/kernel/rtlil.h
+++ b/kernel/rtlil.h
@@ -1315,7 +1315,7 @@ public:
 #endif
 };
 
-struct RTLIL::CaseRule
+struct RTLIL::CaseRule : public RTLIL::AttrObject
 {
        std::vector<RTLIL::SigSpec> compare;
        std::vector<RTLIL::SigSig> actions;