eof: Update yulOptimizerTests tests.

ethereum · Dec 13, 2024 · 658f91a · 658f91a
1 parent 8d02ea2
commit 658f91a
Show file tree

Hide file tree

Showing 47 changed files with 81 additions and 0 deletions.
diff --git a/test/libyul/yulOptimizerTests/commonSubexpressionEliminator/branches_for.yul b/test/libyul/yulOptimizerTests/commonSubexpressionEliminator/branches_for.yul
@@ -6,6 +6,8 @@
 	}
 	mstore(1, codesize())
 }
+// ====
+// bytecodeFormat: legacy
 // ----
 // step: commonSubexpressionEliminator
 //

diff --git a/.../libyul/yulOptimizerTests/commonSubexpressionEliminator/long_literals_as_builtin_args.yul b/.../libyul/yulOptimizerTests/commonSubexpressionEliminator/long_literals_as_builtin_args.yul
@@ -10,6 +10,8 @@ object "AccessControlDefaultAdminRules4233_14" {
     data "AccessControlDefaultAdminRules4233_14_deployed" "AccessControlDefaultAdminRules4233_14_deployed"
 
 }
+// ====
+// bytecodeFormat: legacy
 // ----
 // step: commonSubexpressionEliminator
 //

diff --git a/test/libyul/yulOptimizerTests/commonSubexpressionEliminator/non_movable_instr2.yul b/test/libyul/yulOptimizerTests/commonSubexpressionEliminator/non_movable_instr2.yul
@@ -2,6 +2,8 @@
     let a := gas()
     let b := gas()
 }
+// ====
+// bytecodeFormat: legacy
 // ----
 // step: commonSubexpressionEliminator
 //

diff --git a/test/libyul/yulOptimizerTests/commonSubexpressionEliminator/object_access.yul b/test/libyul/yulOptimizerTests/commonSubexpressionEliminator/object_access.yul
@@ -14,6 +14,8 @@ object "main" {
     }
     data "abc" "Hello, World!"
 }
+// ====
+// bytecodeFormat: legacy
 // ----
 // step: commonSubexpressionEliminator
 //

diff --git a/test/libyul/yulOptimizerTests/commonSubexpressionEliminator/trivial.yul b/test/libyul/yulOptimizerTests/commonSubexpressionEliminator/trivial.yul
@@ -2,6 +2,8 @@
     let a := mul(1, codesize())
     let b := mul(1, codesize())
 }
+// ====
+// bytecodeFormat: legacy
 // ----
 // step: commonSubexpressionEliminator
 //

diff --git a/test/libyul/yulOptimizerTests/disambiguator/string_as_hex_and_hex_as_string.yul b/test/libyul/yulOptimizerTests/disambiguator/string_as_hex_and_hex_as_string.yul
@@ -4,6 +4,8 @@ object "A" {
     }
     data 'abc' "1234"
 }
+// ====
+// bytecodeFormat: legacy
 // ----
 // step: disambiguator
 //

diff --git a/test/libyul/yulOptimizerTests/equalStoreEliminator/branching.yul b/test/libyul/yulOptimizerTests/equalStoreEliminator/branching.yul
@@ -11,6 +11,7 @@
 }
 // ====
 // EVMVersion: >=byzantium
+// bytecodeFormat: legacy
 // ----
 // step: equalStoreEliminator
 //

diff --git a/test/libyul/yulOptimizerTests/equalStoreEliminator/functionbody.yul b/test/libyul/yulOptimizerTests/equalStoreEliminator/functionbody.yul
@@ -28,6 +28,7 @@
 }
 // ====
 // EVMVersion: >=byzantium
+// bytecodeFormat: legacy
 // ----
 // step: equalStoreEliminator
 //

diff --git a/test/libyul/yulOptimizerTests/equalStoreEliminator/verbatim.yul b/test/libyul/yulOptimizerTests/equalStoreEliminator/verbatim.yul
@@ -11,6 +11,7 @@
 }
 // ====
 // EVMVersion: >=byzantium
+// bytecodeFormat: legacy
 // ----
 // step: equalStoreEliminator
 //

diff --git a/.../libyul/yulOptimizerTests/equivalentFunctionCombiner/constant_representation_datasize.yul b/.../libyul/yulOptimizerTests/equivalentFunctionCombiner/constant_representation_datasize.yul
@@ -26,6 +26,8 @@ object "test"
   data 'A' "A"
 }
 
+// ====
+// bytecodeFormat: legacy
 // ----
 // step: equivalentFunctionCombiner
 //

diff --git a/test/libyul/yulOptimizerTests/expressionSimplifier/create2_and_mask.yul b/test/libyul/yulOptimizerTests/expressionSimplifier/create2_and_mask.yul
@@ -8,6 +8,7 @@
 }
 // ====
 // EVMVersion: >=constantinople
+// bytecodeFormat: legacy
 // ----
 // step: expressionSimplifier
 //

diff --git a/test/libyul/yulOptimizerTests/expressionSimplifier/create_and_mask.yul b/test/libyul/yulOptimizerTests/expressionSimplifier/create_and_mask.yul
@@ -7,6 +7,8 @@
     let b := and(0xffffffffffffffffffffffffffffffffffffffff, create(0, 0, 0x20))
     sstore(a, b)
 }
+// ====
+// bytecodeFormat: legacy
 // ----
 // step: expressionSimplifier
 //

diff --git a/test/libyul/yulOptimizerTests/expressionSimplifier/large_byte_access.yul b/test/libyul/yulOptimizerTests/expressionSimplifier/large_byte_access.yul
@@ -9,6 +9,8 @@
     sstore(9, c)
     sstore(10, d)
 }
+// ====
+// bytecodeFormat: legacy
 // ----
 // step: expressionSimplifier
 //

diff --git a/test/libyul/yulOptimizerTests/expressionSimplifier/pop_byte_shr_call.yul b/test/libyul/yulOptimizerTests/expressionSimplifier/pop_byte_shr_call.yul
@@ -3,6 +3,7 @@
 }
 // ====
 // EVMVersion: >=constantinople
+// bytecodeFormat: legacy
 // ----
 // step: expressionSimplifier
 //

diff --git a/test/libyul/yulOptimizerTests/expressionSimplifier/side_effects_in_for_condition.yul b/test/libyul/yulOptimizerTests/expressionSimplifier/side_effects_in_for_condition.yul
@@ -5,6 +5,7 @@
 }
 // ====
 // EVMVersion: >byzantium
+// bytecodeFormat: legacy
 // ----
 // step: expressionSimplifier
 //

diff --git a/test/libyul/yulOptimizerTests/expressionSimplifier/zero_length_read.yul b/test/libyul/yulOptimizerTests/expressionSimplifier/zero_length_read.yul
@@ -5,6 +5,8 @@
 	return(calldataload(3), 0)
 	codecopy(calldataload(4), calldataload(5), sub(42,42))
 }
+// ====
+// bytecodeFormat: legacy
 // ----
 // step: expressionSimplifier
 //

diff --git a/test/libyul/yulOptimizerTests/expressionSplitter/object_access.yul b/test/libyul/yulOptimizerTests/expressionSplitter/object_access.yul
@@ -9,6 +9,8 @@ object "main" {
     }
     data "abc" "Hello, World!"
 }
+// ====
+// bytecodeFormat: legacy
 // ----
 // step: expressionSplitter
 //

diff --git a/...ibyul/yulOptimizerTests/fullSimplify/not_applied_removes_non_constant_and_not_movable.yul b/...ibyul/yulOptimizerTests/fullSimplify/not_applied_removes_non_constant_and_not_movable.yul
@@ -3,6 +3,8 @@
 	let a := div(create(0, 0, 0), 0)
 	mstore(0, a)
 }
+// ====
+// bytecodeFormat: legacy
 // ----
 // step: fullSimplify
 //

diff --git a/test/libyul/yulOptimizerTests/fullSimplify/scoped_var_ref_in_function_call.yul b/test/libyul/yulOptimizerTests/fullSimplify/scoped_var_ref_in_function_call.yul
@@ -6,6 +6,8 @@
     }
     f(call(2, 0, 1, mod(x, 8), 1, 1, 1))
 }
+// ====
+// bytecodeFormat: legacy
 // ----
 // step: fullSimplify
 //

diff --git a/test/libyul/yulOptimizerTests/fullSuite/aztec.yul b/test/libyul/yulOptimizerTests/fullSuite/aztec.yul
@@ -230,6 +230,7 @@
 }
 // ====
 // EVMVersion: >=istanbul
+// bytecodeFormat: legacy
 // ----
 // step: fullSuite
 //

diff --git a/test/libyul/yulOptimizerTests/fullSuite/create2_and_mask.yul b/test/libyul/yulOptimizerTests/fullSuite/create2_and_mask.yul
@@ -8,6 +8,7 @@
 }
 // ====
 // EVMVersion: >=shanghai
+// bytecodeFormat: legacy
 // ----
 // step: fullSuite
 //

diff --git a/test/libyul/yulOptimizerTests/fullSuite/create_and_mask.yul b/test/libyul/yulOptimizerTests/fullSuite/create_and_mask.yul
@@ -8,6 +8,7 @@
 }
 // ====
 // EVMVersion: >=istanbul
+// bytecodeFormat: legacy
 // ----
 // step: fullSuite
 //

diff --git a/test/libyul/yulOptimizerTests/fullSuite/extcodelength.yul b/test/libyul/yulOptimizerTests/fullSuite/extcodelength.yul
@@ -18,6 +18,7 @@
 }
 // ====
 // EVMVersion: >byzantium
+// bytecodeFormat: legacy
 // ----
 // step: fullSuite
 //

diff --git a/test/libyul/yulOptimizerTests/fullSuite/stack_compressor_msize.yul b/test/libyul/yulOptimizerTests/fullSuite/stack_compressor_msize.yul
@@ -35,6 +35,7 @@
 }
 // ====
 // EVMVersion: >homestead
+// bytecodeFormat: legacy
 // ----
 // step: fullSuite
 //

diff --git a/test/libyul/yulOptimizerTests/fullSuite/unusedFunctionParameterPruner.yul b/test/libyul/yulOptimizerTests/fullSuite/unusedFunctionParameterPruner.yul
@@ -14,6 +14,8 @@
         if iszero(out1) { leave }
     }
 }
+// ====
+// bytecodeFormat: legacy
 // ----
 // step: fullSuite
 //

diff --git a/test/libyul/yulOptimizerTests/loadResolver/keccak_crash.yul b/test/libyul/yulOptimizerTests/loadResolver/keccak_crash.yul
@@ -2,6 +2,8 @@
 {
   for {} addmod(keccak256(0x0,create(0x0, 0x0, 0x0)), 0x0, 0x0) {} {}
 }
+// ====
+// bytecodeFormat: legacy
 // ----
 // step: loadResolver
 //

diff --git a/test/libyul/yulOptimizerTests/loadResolver/memory_with_different_kinds_of_invalidation.yul b/test/libyul/yulOptimizerTests/loadResolver/memory_with_different_kinds_of_invalidation.yul
@@ -14,6 +14,8 @@
 
     function g() {}
 }
+// ====
+// bytecodeFormat: legacy
 // ----
 // step: loadResolver
 //

diff --git a/test/libyul/yulOptimizerTests/loadResolver/staticcall.yul b/test/libyul/yulOptimizerTests/loadResolver/staticcall.yul
@@ -11,6 +11,7 @@
 }
 // ====
 // EVMVersion: >=byzantium
+// bytecodeFormat: legacy
 // ----
 // step: loadResolver
 //

diff --git a/test/libyul/yulOptimizerTests/loadResolver/zero_length_reads.yul b/test/libyul/yulOptimizerTests/loadResolver/zero_length_reads.yul
@@ -18,6 +18,7 @@
 }
 // ====
 // EVMVersion: >=constantinople
+// bytecodeFormat: legacy
 // ----
 // step: loadResolver
 //

diff --git a/test/libyul/yulOptimizerTests/loopInvariantCodeMotion/complex_move.yul b/test/libyul/yulOptimizerTests/loopInvariantCodeMotion/complex_move.yul
@@ -7,6 +7,8 @@
     sstore(a, inv)
   }
 }
+// ====
+// bytecodeFormat: legacy
 // ----
 // step: loopInvariantCodeMotion
 //

diff --git a/test/libyul/yulOptimizerTests/loopInvariantCodeMotion/create_sload.yul b/test/libyul/yulOptimizerTests/loopInvariantCodeMotion/create_sload.yul
@@ -11,6 +11,8 @@
     let z := f()
   }
 }
+// ====
+// bytecodeFormat: legacy
 // ----
 // step: loopInvariantCodeMotion
 //

diff --git a/test/libyul/yulOptimizerTests/loopInvariantCodeMotion/move_state_function.yul b/test/libyul/yulOptimizerTests/loopInvariantCodeMotion/move_state_function.yul
@@ -8,6 +8,8 @@
     let q := g()
   }
 }
+// ====
+// bytecodeFormat: legacy
 // ----
 // step: loopInvariantCodeMotion
 //

diff --git a/test/libyul/yulOptimizerTests/loopInvariantCodeMotion/no_move_immovables.yul b/test/libyul/yulOptimizerTests/loopInvariantCodeMotion/no_move_immovables.yul
@@ -9,6 +9,8 @@
     let e := sload(g())
   }
 }
+// ====
+// bytecodeFormat: legacy
 // ----
 // step: loopInvariantCodeMotion
 //

diff --git a/test/libyul/yulOptimizerTests/loopInvariantCodeMotion/no_move_memory.yul b/test/libyul/yulOptimizerTests/loopInvariantCodeMotion/no_move_memory.yul
@@ -14,6 +14,8 @@
     mstore(a, inv)
   }
 }
+// ====
+// bytecodeFormat: legacy
 // ----
 // step: loopInvariantCodeMotion
 //

diff --git a/test/libyul/yulOptimizerTests/loopInvariantCodeMotion/no_move_memory_msize.yul b/test/libyul/yulOptimizerTests/loopInvariantCodeMotion/no_move_memory_msize.yul
@@ -12,6 +12,8 @@
     a := add(x, 1)
   }
 }
+// ====
+// bytecodeFormat: legacy
 // ----
 // step: loopInvariantCodeMotion
 //

diff --git a/test/libyul/yulOptimizerTests/loopInvariantCodeMotion/no_move_state.yul b/test/libyul/yulOptimizerTests/loopInvariantCodeMotion/no_move_state.yul
@@ -25,6 +25,8 @@
   }
 
 }
+// ====
+// bytecodeFormat: legacy
 // ----
 // step: loopInvariantCodeMotion
 //

diff --git a/test/libyul/yulOptimizerTests/loopInvariantCodeMotion/no_move_state_function.yul b/test/libyul/yulOptimizerTests/loopInvariantCodeMotion/no_move_state_function.yul
@@ -11,6 +11,8 @@
     let q := sload(g())
   }
 }
+// ====
+// bytecodeFormat: legacy
 // ----
 // step: loopInvariantCodeMotion
 //

diff --git a/test/libyul/yulOptimizerTests/loopInvariantCodeMotion/no_move_state_loop.yul b/test/libyul/yulOptimizerTests/loopInvariantCodeMotion/no_move_state_loop.yul
@@ -8,6 +8,8 @@
     let q := g()
   }
 }
+// ====
+// bytecodeFormat: legacy
 // ----
 // step: loopInvariantCodeMotion
 //

diff --git a/test/libyul/yulOptimizerTests/loopInvariantCodeMotion/no_move_state_recursive_function.yul b/test/libyul/yulOptimizerTests/loopInvariantCodeMotion/no_move_state_recursive_function.yul
@@ -8,6 +8,8 @@
     let q := sload(g())
   }
 }
+// ====
+// bytecodeFormat: legacy
 // ----
 // step: loopInvariantCodeMotion
 //

diff --git a/test/libyul/yulOptimizerTests/loopInvariantCodeMotion/no_move_staticall_returndatasize.yul b/test/libyul/yulOptimizerTests/loopInvariantCodeMotion/no_move_staticall_returndatasize.yul
@@ -10,6 +10,8 @@
   }
 }
 // ====
+// bytecodeFormat: legacy
+// ====
 // EVMVersion: >=byzantium
 // ----
 // step: loopInvariantCodeMotion

diff --git a/test/libyul/yulOptimizerTests/loopInvariantCodeMotion/no_move_storage.yul b/test/libyul/yulOptimizerTests/loopInvariantCodeMotion/no_move_storage.yul
@@ -25,6 +25,8 @@
   }
 
 }
+// ====
+// bytecodeFormat: legacy
 // ----
 // step: loopInvariantCodeMotion
 //

diff --git a/test/libyul/yulOptimizerTests/loopInvariantCodeMotion/simple_state.yul b/test/libyul/yulOptimizerTests/loopInvariantCodeMotion/simple_state.yul
@@ -7,6 +7,8 @@
     mstore(a, inv)
   }
 }
+// ====
+// bytecodeFormat: legacy
 // ----
 // step: loopInvariantCodeMotion
 //

diff --git a/test/libyul/yulOptimizerTests/rematerialiser/reassign.yul b/test/libyul/yulOptimizerTests/rematerialiser/reassign.yul
@@ -6,6 +6,8 @@
     let d := add(b, c)
     pop(a) pop(b) pop(c) pop(d)
 }
+// ====
+// bytecodeFormat: legacy
 // ----
 // step: rematerialiser
 //

diff --git a/test/libyul/yulOptimizerTests/rematerialiser/update_asignment_remat.yul b/test/libyul/yulOptimizerTests/rematerialiser/update_asignment_remat.yul
@@ -4,6 +4,8 @@
 	a := mul(a, 2)
 	let b := a
 }
+// ====
+// bytecodeFormat: legacy
 // ----
 // step: rematerialiser
 //

diff --git a/test/libyul/yulOptimizerTests/unusedStoreEliminator/call_does_not_need_to_write.yul b/test/libyul/yulOptimizerTests/unusedStoreEliminator/call_does_not_need_to_write.yul
@@ -12,6 +12,8 @@
   sstore(0, mload(0))
 }
 
+// ====
+// bytecodeFormat: legacy
 // ----
 // step: unusedStoreEliminator
 //
-Original file line number
+Diff line change
@@ Expand Up / @@ -6,6 +6,8 @@ @@
     	}
     	mstore(1, codesize())
     }
+    // ====
+    // bytecodeFormat: legacy
     // ----
     // step: commonSubexpressionEliminator
     //
@@ Expand Down @@