Add tests

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/dependency_reassigned_prevents_elimination.yul

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

test/libyul/yulOptimizerTests/unusedStoreEliminatorNoSsaTransform/function_parameter_as_mstore_location_covering.yul

@@ -0,0 +1,25 @@
+{
+    function f(arg)
+    {
+        let a := add(arg, 1)
+        let b := arg
+        let outLen := 32
+        mstore(a, 0xAA)
+        return(b, outLen)
+    }
+}
+
+// ----
+// step: unusedStoreEliminatorNoSsaTransform
+//
+// {
+//     { }
+//     function f(arg)
+//     {
+//         let a := add(arg, 1)
+//         let b := arg
+//         let outLen := 32
+//         mstore(a, 0xAA)
+//         return(b, outLen)
+//     }
+// }

test/libyul/yulOptimizerTests/unusedStoreEliminatorNoSsaTransform/function_parameter_as_mstore_location_unrelated.yul

@@ -0,0 +1,25 @@
+{
+    function f(arg)
+    {
+        let a := add(arg, 32)
+        let b := arg
+        let outLen := 32
+        mstore(a, 0xAA)
+        return(b, outLen)
+    }
+}
+
+// ----
+// step: unusedStoreEliminatorNoSsaTransform
+//
+// {
+//     { }
+//     function f(arg)
+//     {
+//         let a := add(arg, 32)
+//         let b := arg
+//         let outLen := 32
+//         let _2 := 0xAA
+//         return(b, outLen)
+//     }
+// }

test/libyul/yulOptimizerTests/unusedStoreEliminatorNoSsaTransform/function_parameter_reassinged_as_mstore_location_covering.yul

@@ -0,0 +1,25 @@
+{
+    function f(arg)
+    {
+        let b := arg
+        arg:= add(arg, 1)
+        let outLen := 32
+        mstore(arg, 0xAA)
+        return(b, outLen)
+    }
+}
+
+// ----
+// step: unusedStoreEliminatorNoSsaTransform
+//
+// {
+//     { }
+//     function f(arg)
+//     {
+//         let b := arg
+//         arg := add(arg, 1)
+//         let outLen := 32
+//         mstore(arg, 0xAA)
+//         return(b, outLen)
+//     }
+// }

test/libyul/yulOptimizerTests/unusedStoreEliminatorNoSsaTransform/function_parameter_reassinged_as_mstore_location_unrelated.yul

@@ -0,0 +1,25 @@
+{
+    function f(arg)
+    {
+        let b := arg
+        arg := add(arg, 32)
+        let outLen := 32
+        mstore(arg, 0xAA)
+        return(b, outLen)
+    }
+}
+
+// ----
+// step: unusedStoreEliminatorNoSsaTransform
+//
+// {
+//     { }
+//     function f(arg)
+//     {
+//         let b := arg
+//         arg := add(arg, 32)
+//         let outLen := 32
+//         mstore(arg, 0xAA)
+//         return(b, outLen)
+//     }
+// }

test/libyul/yulOptimizerTests/unusedStoreEliminatorNoSsaTransform/mstore_location_reassigned.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)
+//     }
+// }

test/libyul/yulOptimizerTests/unusedStoreEliminatorNoSsaTransform/multi_return_var_not_tracked.yul

@@ -0,0 +1,27 @@
+{
+    function g() -> r1, r2
+    {
+        r1 := calldataload(0)
+        r2 := calldataload(32)
+    }
+    let a, b := g()
+    let c := add(a, 32)
+    mstore(c, 0xAA)
+    return(a, b)
+}
+// ----
+// step: unusedStoreEliminatorNoSsaTransform
+//
+// {
+//     {
+//         let a, b := g()
+//         let c := add(a, 32)
+//         mstore(c, 0xAA)
+//         return(a, b)
+//     }
+//     function g() -> r1, r2
+//     {
+//         r1 := calldataload(0)
+//         r2 := calldataload(32)
+//     }
+// }

test/libyul/yulOptimizerTests/unusedStoreEliminatorNoSsaTransform/ssa_dependency_chain_allows_elimination.yul

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

test/libyul/yulOptimizerTests/unusedStoreEliminatorNoSsaTransform/sstore_dependency_as_function_reassigned_argument.yul

@@ -0,0 +1,22 @@
+{
+    function f(arg)
+    {
+        let x := arg
+        x := calldataload(32)
+        sstore(x, 0xAA)
+        sstore(arg, 0xBB)
+    }
+}
+// ----
+// step: unusedStoreEliminatorNoSsaTransform
+//
+// {
+//     { }
+//     function f(arg)
+//     {
+//         let x := arg
+//         x := calldataload(32)
+//         sstore(x, 0xAA)
+//         sstore(arg, 0xBB)
+//     }
+// }