Fix O(n²) in VarNameCleaner::findCleanName using per-base-name counter

libyul/optimiser/VarNameCleaner.cpp

@@ -55,13 +55,16 @@ void VarNameCleaner::operator()(FunctionDefinition& _funDef)
 	m_usedNames = m_namesToKeep;
 	std::map<YulName, YulName> globalTranslatedNames;
 	swap(globalTranslatedNames, m_translatedNames);
+	std::map<YulName, size_t> globalNextSuffix;
+	swap(globalNextSuffix, m_nextSuffix);
 
 	renameVariables(_funDef.parameters);
 	renameVariables(_funDef.returnVariables);
 	ASTModifier::operator()(_funDef);
 
 	swap(globalUsedNames, m_usedNames);
 	swap(globalTranslatedNames, m_translatedNames);
+	swap(globalNextSuffix, m_nextSuffix);
 
 	m_insideFunction = false;
 }
@@ -99,12 +102,19 @@ YulName VarNameCleaner::findCleanName(YulName const& _name) const
 	if (!isUsedName(newName))
 		return newName;
 
-	// create new name with suffix (by finding a free identifier)
-	for (size_t i = 1; i < std::numeric_limits<decltype(i)>::max(); ++i)
+	// Use a per-base-name counter to avoid O(n²) probing when many
+	// variables share the same stripped base name.
+	size_t& nextSuffix = m_nextSuffix[newName];
+	if (nextSuffix == 0)
+		nextSuffix = 1;
+	for (; nextSuffix < std::numeric_limits<size_t>::max(); ++nextSuffix)
 	{
-		YulName newNameSuffixed = YulName{newName.str() + "_" + std::to_string(i)};
+		YulName newNameSuffixed = YulName{newName.str() + "_" + std::to_string(nextSuffix)};
 		if (!isUsedName(newNameSuffixed))
+		{
+			++nextSuffix;
 			return newNameSuffixed;
+		}
 	}
 	yulAssert(false, "Exhausted by attempting to find an available suffix.");
 }

libyul/optimiser/VarNameCleaner.h

@@ -89,6 +89,9 @@ class VarNameCleaner: public ASTModifier
 	/// Set of names that are in use.
 	std::set<YulName> m_usedNames;
 
+	/// Next suffix to try per stripped base name, avoids O(n²) probing.
+	mutable std::map<YulName, size_t> m_nextSuffix;
+
 	/// Maps old to new names.
 	std::map<YulName, YulName> m_translatedNames;
 

test/libyul/yulOptimizerTests/varNameCleaner/double_underscore_suffix.yul

@@ -0,0 +1,15 @@
+{
+	let x__1 := 1
+	let x__2 := 2
+	let x___3 := 3
+}
+// ----
+// step: varNameCleaner
+//
+// {
+//     {
+//         let x := 1
+//         let x_1 := 2
+//         let x_2 := 3
+//     }
+// }

test/libyul/yulOptimizerTests/varNameCleaner/interleaved_bases.yul

@@ -0,0 +1,25 @@
+{
+	let x_5 := 1
+	let y_3 := 2
+	let x_10 := 3
+	let y_7 := 4
+	let z_1 := 5
+	let x_20 := 6
+	let y_15 := 7
+	let z_8 := 8
+}
+// ----
+// step: varNameCleaner
+//
+// {
+//     {
+//         let x := 1
+//         let y := 2
+//         let x_1 := 3
+//         let y_1 := 4
+//         let z := 5
+//         let x_2 := 6
+//         let y_2 := 7
+//         let z_1 := 8
+//     }
+// }

test/libyul/yulOptimizerTests/varNameCleaner/many_same_base.yul

@@ -0,0 +1,25 @@
+{
+	let x_10 := 1
+	let x_20 := 2
+	let x_30 := 3
+	let x_40 := 4
+	let x_50 := 5
+	let x_60 := 6
+	let x_70 := 7
+	let x_80 := 8
+}
+// ----
+// step: varNameCleaner
+//
+// {
+//     {
+//         let x := 1
+//         let x_1 := 2
+//         let x_2 := 3
+//         let x_3 := 4
+//         let x_4 := 5
+//         let x_5 := 6
+//         let x_6 := 7
+//         let x_7 := 8
+//     }
+// }

test/libyul/yulOptimizerTests/varNameCleaner/many_same_base_in_function.yul

@@ -0,0 +1,29 @@
+{
+	let x_1 := 1
+	function f()
+	{
+		let x_10 := 1
+		let x_20 := 2
+		let x_30 := 3
+		let x_40 := 4
+		let x_50 := 5
+	}
+	let x_2 := 2
+}
+// ----
+// step: varNameCleaner
+//
+// {
+//     {
+//         let x := 1
+//         let x_1 := 2
+//     }
+//     function f()
+//     {
+//         let x := 1
+//         let x_1 := 2
+//         let x_2 := 3
+//         let x_3 := 4
+//         let x_4 := 5
+//     }
+// }

test/libyul/yulOptimizerTests/varNameCleaner/nested_suffixes.yul

@@ -0,0 +1,17 @@
+{
+	let x_1_2 := 1
+	let x_3_4_5 := 2
+	let x_6 := 3
+	let x_1_2_3_4 := 4
+}
+// ----
+// step: varNameCleaner
+//
+// {
+//     {
+//         let x := 1
+//         let x_1 := 2
+//         let x_2 := 3
+//         let x_3 := 4
+//     }
+// }

test/libyul/yulOptimizerTests/varNameCleaner/references_after_rename.yul

@@ -0,0 +1,15 @@
+{
+	let x_5 := 42
+	let y_3 := x_5
+	let z_1 := add(x_5, y_3)
+}
+// ----
+// step: varNameCleaner
+//
+// {
+//     {
+//         let x := 42
+//         let y := x
+//         let z := add(x, y)
+//     }
+// }

test/libyul/yulOptimizerTests/varNameCleaner/same_base_with_gap.yul

@@ -0,0 +1,19 @@
+{
+	let x := 1
+	let x_1 := 2
+	let x_5 := 3
+	let x_10 := 4
+	let x_20 := 5
+}
+// ----
+// step: varNameCleaner
+//
+// {
+//     {
+//         let x := 1
+//         let x_1 := 2
+//         let x_2 := 3
+//         let x_3 := 4
+//         let x_4 := 5
+//     }
+// }

test/libyul/yulOptimizerTests/varNameCleaner/suffix_skips_function_name.yul

@@ -0,0 +1,20 @@
+{
+	// x_1 is a function name, so the suffix counter must skip it
+	// when cleaning x_100 and x_200 which both strip to "x"
+	function x_1() {}
+	let x := 1
+	let x_100 := 2
+	let x_200 := 3
+}
+// ----
+// step: varNameCleaner
+//
+// {
+//     {
+//         let x := 1
+//         let x_2 := 2
+//         let x_3 := 3
+//     }
+//     function x_1()
+//     { }
+// }

test/libyul/yulOptimizerTests/varNameCleaner/suffix_skips_reserved.yul

@@ -0,0 +1,19 @@
+{
+	let x := 1
+	let x_2 := 2
+	let x_100 := 3
+	let x_200 := 4
+	let x_300 := 5
+}
+// ----
+// step: varNameCleaner
+//
+// {
+//     {
+//         let x := 1
+//         let x_1 := 2
+//         let x_2 := 3
+//         let x_3 := 4
+//         let x_4 := 5
+//     }
+// }

test/libyul/yulOptimizerTests/varNameCleaner/two_functions_same_base.yul

@@ -0,0 +1,32 @@
+{
+	function f()
+	{
+		let x_10 := 1
+		let x_20 := 2
+		let x_30 := 3
+	}
+	function g()
+	{
+		let x_40 := 4
+		let x_50 := 5
+		let x_60 := 6
+	}
+}
+// ----
+// step: varNameCleaner
+//
+// {
+//     { }
+//     function f()
+//     {
+//         let x := 1
+//         let x_1 := 2
+//         let x_2 := 3
+//     }
+//     function g()
+//     {
+//         let x := 4
+//         let x_1 := 5
+//         let x_2 := 6
+//     }
+// }