From 5a0f561d9c6dd35e42a3ee0f0d5162ded6276f2b Mon Sep 17 00:00:00 2001
From: Clifford Wolf <clifford@clifford.at>
Date: Thu, 2 Jan 2014 20:35:37 +0100
Subject: [PATCH] Now */ is optional in */<mode>:<arg> selections
---
passes/cmds/select.cc | 5 ++++-
1 file changed, 4 insertions(+), 1 deletion(-)
diff --git a/passes/cmds/select.cc b/passes/cmds/select.cc
index 5712a023e..ec560772e 100644
--- a/passes/cmds/select.cc
+++ b/passes/cmds/select.cc
@@ -529,7 +529,10 @@ static void select_stmt(RTLIL::Design *design, std::string arg)
} else {
size_t pos = arg.find('/');
if (pos == std::string::npos) {
- arg_mod = arg;
+ if (arg.find(':') == std::string::npos)
+ arg_mod = arg;
+ else
+ arg_mod = "*", arg_memb = arg;
} else {
arg_mod = arg.substr(0, pos);
arg_memb = arg.substr(pos+1);