From 5fbf8260b9ec0d8bb2e085c2a14f716b02a040d2 Mon Sep 17 00:00:00 2001
From: chriseth <chris@ethereum.org>
Date: Thu, 6 Jan 2022 18:01:19 +0100
Subject: [PATCH] Update tests.

---
 test/libyul/yulOptimizerTests/fullSuite/extcodelength.yul    | 5 +----
 .../yulOptimizerTests/fullSuite/stack_compressor_msize.yul   | 1 +
 .../fullSuite/unusedFunctionParameterPruner_loop.yul         | 1 +
 .../fullSuite/unusedFunctionParameterPruner_simple.yul       | 1 +
 .../yulOptimizerTests/unusedStoreEliminator/overflow.yul     | 4 +++-
 .../unusedStoreEliminator/unknown_length2.yul                | 4 +++-
 6 files changed, 10 insertions(+), 6 deletions(-)

diff --git a/test/libyul/yulOptimizerTests/fullSuite/extcodelength.yul b/test/libyul/yulOptimizerTests/fullSuite/extcodelength.yul
index 436f5d5fa..1278091f3 100644
--- a/test/libyul/yulOptimizerTests/fullSuite/extcodelength.yul
+++ b/test/libyul/yulOptimizerTests/fullSuite/extcodelength.yul
@@ -32,9 +32,6 @@
 //         let _2 := not(31)
 //         let newFreePtr := add(memPtr, and(add(and(add(length, 31), _2), 63), _2))
 //         if or(gt(newFreePtr, _1), lt(newFreePtr, memPtr)) { revert(0, 0) }
-//         mstore(64, newFreePtr)
-//         mstore(memPtr, length)
-//         extcodecopy(value, add(memPtr, 32), 0, length)
-//         sstore(0, mload(memPtr))
+//         sstore(0, length)
 //     }
 // }
diff --git a/test/libyul/yulOptimizerTests/fullSuite/stack_compressor_msize.yul b/test/libyul/yulOptimizerTests/fullSuite/stack_compressor_msize.yul
index 51e09a8ca..75e2ff4c2 100644
--- a/test/libyul/yulOptimizerTests/fullSuite/stack_compressor_msize.yul
+++ b/test/libyul/yulOptimizerTests/fullSuite/stack_compressor_msize.yul
@@ -54,6 +54,7 @@
 //         sstore(not(gcd(_3, _2)), _1)
 //         sstore(2, _1)
 //         extcodecopy(_1, msize(), _1, _1)
+//         sstore(0, 0)
 //         sstore(3, _1)
 //     }
 //     function gcd(_a, _b) -> out
diff --git a/test/libyul/yulOptimizerTests/fullSuite/unusedFunctionParameterPruner_loop.yul b/test/libyul/yulOptimizerTests/fullSuite/unusedFunctionParameterPruner_loop.yul
index a5cd366e2..7955ee12e 100644
--- a/test/libyul/yulOptimizerTests/fullSuite/unusedFunctionParameterPruner_loop.yul
+++ b/test/libyul/yulOptimizerTests/fullSuite/unusedFunctionParameterPruner_loop.yul
@@ -20,6 +20,7 @@
 //         f()
 //         f()
 //         f()
+//         sstore(0, 1)
 //     }
 //     function f()
 //     {
diff --git a/test/libyul/yulOptimizerTests/fullSuite/unusedFunctionParameterPruner_simple.yul b/test/libyul/yulOptimizerTests/fullSuite/unusedFunctionParameterPruner_simple.yul
index 9e945f23d..785840baa 100644
--- a/test/libyul/yulOptimizerTests/fullSuite/unusedFunctionParameterPruner_simple.yul
+++ b/test/libyul/yulOptimizerTests/fullSuite/unusedFunctionParameterPruner_simple.yul
@@ -18,6 +18,7 @@
 //         f()
 //         f()
 //         f()
+//         sstore(0, 1)
 //     }
 //     function f()
 //     {
diff --git a/test/libyul/yulOptimizerTests/unusedStoreEliminator/overflow.yul b/test/libyul/yulOptimizerTests/unusedStoreEliminator/overflow.yul
index dda59873c..02a6961af 100644
--- a/test/libyul/yulOptimizerTests/unusedStoreEliminator/overflow.yul
+++ b/test/libyul/yulOptimizerTests/unusedStoreEliminator/overflow.yul
@@ -11,7 +11,9 @@
 // {
 //     {
 //         let x := 0
-//         calldatacopy(0, 0, 115792089237316195423570985008687907853269984665640564039457584007913129639935)
+//         let _1 := 115792089237316195423570985008687907853269984665640564039457584007913129639935
+//         let _2 := 0
+//         let _3 := 0
 //         mstore(x, 20)
 //         return(0, 32)
 //     }
diff --git a/test/libyul/yulOptimizerTests/unusedStoreEliminator/unknown_length2.yul b/test/libyul/yulOptimizerTests/unusedStoreEliminator/unknown_length2.yul
index 43987fc44..db5f060a6 100644
--- a/test/libyul/yulOptimizerTests/unusedStoreEliminator/unknown_length2.yul
+++ b/test/libyul/yulOptimizerTests/unusedStoreEliminator/unknown_length2.yul
@@ -25,7 +25,9 @@
 //             a := calldataload(10)
 //             let a_11 := a
 //         }
-//         calldatacopy(0x20, 0, a)
+//         let a_13 := a
+//         let _5 := 0
+//         let _6 := 0x20
 //         sstore(0, mload(0))
 //     }
 // }