Add test

Author: rodiazet

test/libyul/YulOptimizerTestCommon.cpp

@@ -311,6 +311,16 @@ YulOptimizerTestCommon::YulOptimizerTestCommon(std::shared_ptr<Object const> _ob
 			ExpressionJoiner::run(*m_context, block);
 			return block;
 		}},
+		{"unusedStoreEliminatorNoSsaTransform", [&]() {
+			auto block = disambiguate();
+			updateContext(block);
+			ForLoopInitRewriter::run(*m_context, block);
+			ExpressionSplitter::run(*m_context, block);
+			UnusedStoreEliminator::run(*m_context, block);
+			SSAReverser::run(*m_context, block);
+			ExpressionJoiner::run(*m_context, block);
+			return block;
+		}},
 		{"equalStoreEliminator", [&]() {
 			auto block = disambiguate();
 			updateContext(block);

test/libyul/yulOptimizerTests/unusedStoreEliminatorNoSsaTransform/no_ssa_transform_before.yul

@@ -0,0 +1,26 @@
+{
+    let x := calldataload(4)
+    let x_5 := x
+    let a := add(x_5, 32)
+    x := add(x_5, 32)
+    let b := x
+    let outLen := 32
+    mstore(a, 0xAA)
+    return(b, outLen)
+}
+
+// ----
+// step: unusedStoreEliminatorNoSsaTransform
+//
+// {
+//     {
+//         let x := calldataload(4)
+//         let x_5 := x
+//         let a := add(x_5, 32)
+//         x := add(x_5, 32)
+//         let b := x
+//         let outLen := 32
+//         mstore(a, 0xAA)
+//         return(b, outLen)
+//     }
+// }