From 60f047f13606554cf800603580fd464d5764a174 Mon Sep 17 00:00:00 2001
From: whitequark <whitequark@whitequark.org>
Date: Wed, 1 Jan 2020 07:04:37 +0000
Subject: [PATCH] memory_bram: add `attr_icase` option.

Some vendor toolchains use case insensitive matching for values of
attributes that control BRAM inference.
---
 passes/memory/memory_bram.cc | 42 ++++++++++++++++++++++++++++++------
 1 file changed, 35 insertions(+), 7 deletions(-)

diff --git a/passes/memory/memory_bram.cc b/passes/memory/memory_bram.cc
index 24478f2ee..e7394ac29 100644
--- a/passes/memory/memory_bram.cc
+++ b/passes/memory/memory_bram.cc
@@ -137,9 +137,26 @@ struct rules_t
 		vector<vector<std::tuple<bool,IdString,Const>>> attributes;
 	};
 
+	bool attr_icase;
 	dict<IdString, vector<bram_t>> brams;
 	vector<match_t> matches;
 
+	std::string map_case(std::string value) const
+	{
+		if (attr_icase) {
+			for (char &c : value)
+				c = tolower(c);
+		}
+		return value;
+	}
+
+	RTLIL::Const map_case(RTLIL::Const value) const
+	{
+		if (value.flags & RTLIL::CONST_FLAG_STRING)
+			return map_case(value.decode_string());
+		return value;
+	}
+
 	std::ifstream infile;
 	vector<string> tokens;
 	vector<string> labels;
@@ -337,7 +354,7 @@ struct rules_t
 					IdString key = RTLIL::escape_id(tokens[idx].substr(c1, c2));
 					Const val = c2 != std::string::npos ? tokens[idx].substr(c2+1) : RTLIL::Const(1);
 
-					data.attributes.back().emplace_back(exists, key, val);
+					data.attributes.back().emplace_back(exists, key, map_case(val));
 				}
 				continue;
 			}
@@ -351,6 +368,7 @@ struct rules_t
 		rewrite_filename(filename);
 		infile.open(filename);
 		linecount = 0;
+		attr_icase = false;
 
 		if (infile.fail())
 			log_error("Can't open rules file `%s'.\n", filename.c_str());
@@ -360,6 +378,11 @@ struct rules_t
 			if (!labels.empty())
 				syntax_error();
 
+			if (GetSize(tokens) == 2 && tokens[0] == "attr_icase") {
+				attr_icase = atoi(tokens[1].c_str());
+				continue;
+			}
+
 			if (tokens[0] == "bram") {
 				parse_bram();
 				continue;
@@ -843,7 +866,7 @@ grow_read_ports:;
 				}
 				else if (!exists)
 					continue;
-				if (it->second != value)
+				if (rules.map_case(it->second) != value)
 					continue;
 				found = true;
 				break;
@@ -855,7 +878,7 @@ grow_read_ports:;
 					ss << "!";
 				IdString key = std::get<1>(sums.front());
 				ss << log_id(key);
-				const Const &value = std::get<2>(sums.front());
+				const Const &value = rules.map_case(std::get<2>(sums.front()));
 				if (exists && value != Const(1))
 					ss << "=\"" << value.decode_string() << "\"";
 
@@ -1167,7 +1190,7 @@ void handle_cell(Cell *cell, const rules_t &rules)
 					}
 					else if (!exists)
 						continue;
-					if (it->second != value)
+					if (rules.map_case(it->second) != value)
 						continue;
 					found = true;
 					break;
@@ -1179,7 +1202,7 @@ void handle_cell(Cell *cell, const rules_t &rules)
 						ss << "!";
 					IdString key = std::get<1>(sums.front());
 					ss << log_id(key);
-					const Const &value = std::get<2>(sums.front());
+					const Const &value = rules.map_case(std::get<2>(sums.front()));
 					if (exists && value != Const(1))
 						ss << "=\"" << value.decode_string() << "\"";
 
@@ -1252,8 +1275,13 @@ struct MemoryBramPass : public Pass {
 		log("The given rules file describes the available resources and how they should be\n");
 		log("used.\n");
 		log("\n");
-		log("The rules file contains a set of block ram description and a sequence of match\n");
-		log("rules. A block ram description looks like this:\n");
+		log("The rules file contains configuration options, a set of block ram description\n");
+		log("and a sequence of match rules.\n");
+		log("\n");
+		log("The option 'attr_icase' configures how attribute values are matched. The value 0\n");
+		log("means case-sensitive, 1 means case-insensitive.\n");
+		log("\n");
+		log("A block ram description looks like this:\n");
 		log("\n");
 		log("    bram RAMB1024X32     # name of BRAM cell\n");
 		log("      init 1             # set to '1' if BRAM can be initialized\n");