diff --git a/test/libyul/yulOptimizerTests/expressionSimplifier/combine_shift_and_and_2.yul b/test/libyul/yulOptimizerTests/expressionSimplifier/combine_shift_and_and_2.yul index 48724fd22..14976f364 100644 --- a/test/libyul/yulOptimizerTests/expressionSimplifier/combine_shift_and_and_2.yul +++ b/test/libyul/yulOptimizerTests/expressionSimplifier/combine_shift_and_and_2.yul @@ -19,7 +19,7 @@ sstore(16, g) } // ==== -// EVMVersion: >byzantium +// EVMVersion: >=shanghai // ---- // step: expressionSimplifier // diff --git a/test/libyul/yulOptimizerTests/expressionSimplifier/combine_shift_and_and_3.yul b/test/libyul/yulOptimizerTests/expressionSimplifier/combine_shift_and_and_3.yul index f99035937..46fc4f14b 100644 --- a/test/libyul/yulOptimizerTests/expressionSimplifier/combine_shift_and_and_3.yul +++ b/test/libyul/yulOptimizerTests/expressionSimplifier/combine_shift_and_and_3.yul @@ -16,7 +16,7 @@ sstore(20, e) } // ==== -// EVMVersion: >byzantium +// EVMVersion: >=shanghai // ---- // step: expressionSimplifier // diff --git a/test/libyul/yulOptimizerTests/expressionSimplifier/replace_too_large_shift.yul b/test/libyul/yulOptimizerTests/expressionSimplifier/replace_too_large_shift.yul index 1b1525677..bd23317b3 100644 --- a/test/libyul/yulOptimizerTests/expressionSimplifier/replace_too_large_shift.yul +++ b/test/libyul/yulOptimizerTests/expressionSimplifier/replace_too_large_shift.yul @@ -7,7 +7,7 @@ sstore(c, d) } // ==== -// EVMVersion: >=constantinople +// EVMVersion: >=shanghai // ---- // step: expressionSimplifier // diff --git a/test/libyul/yulOptimizerTests/expressionSplitter/control_flow.yul b/test/libyul/yulOptimizerTests/expressionSplitter/control_flow.yul index b5f452865..d2708e325 100644 --- a/test/libyul/yulOptimizerTests/expressionSplitter/control_flow.yul +++ b/test/libyul/yulOptimizerTests/expressionSplitter/control_flow.yul @@ -7,6 +7,8 @@ } } } +// ==== +// EVMVersion: >=shanghai // ---- // step: expressionSplitter // diff --git a/test/libyul/yulOptimizerTests/expressionSplitter/inside_function.yul b/test/libyul/yulOptimizerTests/expressionSplitter/inside_function.yul index 5c1825693..a89195380 100644 --- a/test/libyul/yulOptimizerTests/expressionSplitter/inside_function.yul +++ b/test/libyul/yulOptimizerTests/expressionSplitter/inside_function.yul @@ -5,6 +5,8 @@ } sstore(x, f(mload(2), mload(2))) } +// ==== +// EVMVersion: >=shanghai // ---- // step: expressionSplitter // diff --git a/test/libyul/yulOptimizerTests/expressionSplitter/object_access.yul b/test/libyul/yulOptimizerTests/expressionSplitter/object_access.yul index e44282614..3eec1e047 100644 --- 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!" } +// ==== +// EVMVersion: >=shanghai // ---- // step: expressionSplitter // diff --git a/test/libyul/yulOptimizerTests/expressionSplitter/switch.yul b/test/libyul/yulOptimizerTests/expressionSplitter/switch.yul index eaab6ff12..373dc7c24 100644 --- a/test/libyul/yulOptimizerTests/expressionSplitter/switch.yul +++ b/test/libyul/yulOptimizerTests/expressionSplitter/switch.yul @@ -5,6 +5,8 @@ default { mstore(0, mload(3)) } x := add(mload(3), 4) } +// ==== +// EVMVersion: >=shanghai // ---- // step: expressionSplitter // diff --git a/test/libyul/yulOptimizerTests/fullInliner/double_inline.yul b/test/libyul/yulOptimizerTests/fullInliner/double_inline.yul index d93f9298a..a4fd9a52d 100644 --- a/test/libyul/yulOptimizerTests/fullInliner/double_inline.yul +++ b/test/libyul/yulOptimizerTests/fullInliner/double_inline.yul @@ -4,6 +4,8 @@ let b3, c3 := f(a1) let b4, c4 := f(c3) } +// ==== +// EVMVersion: >=shanghai // ---- // step: fullInliner // diff --git a/test/libyul/yulOptimizerTests/fullInliner/inside_condition.yul b/test/libyul/yulOptimizerTests/fullInliner/inside_condition.yul index 714d18f6a..2a57083ba 100644 --- a/test/libyul/yulOptimizerTests/fullInliner/inside_condition.yul +++ b/test/libyul/yulOptimizerTests/fullInliner/inside_condition.yul @@ -8,6 +8,8 @@ r := add(a, calldatasize()) } } +// ==== +// EVMVersion: >=shanghai // ---- // step: fullInliner // diff --git a/test/libyul/yulOptimizerTests/fullInliner/long_names.yul b/test/libyul/yulOptimizerTests/fullInliner/long_names.yul index 1bd3b92ae..05fa0f917 100644 --- a/test/libyul/yulOptimizerTests/fullInliner/long_names.yul +++ b/test/libyul/yulOptimizerTests/fullInliner/long_names.yul @@ -7,6 +7,8 @@ mstore(0, verylongfunctionname(verylongvariablename2)) mstore(1, verylongvariablename2) } +// ==== +// EVMVersion: >=shanghai // ---- // step: fullInliner // diff --git a/test/libyul/yulOptimizerTests/fullInliner/multi_fun_callback.yul b/test/libyul/yulOptimizerTests/fullInliner/multi_fun_callback.yul index b9dad45e2..54e723882 100644 --- a/test/libyul/yulOptimizerTests/fullInliner/multi_fun_callback.yul +++ b/test/libyul/yulOptimizerTests/fullInliner/multi_fun_callback.yul @@ -22,6 +22,8 @@ f(100) } } +// ==== +// EVMVersion: >=shanghai // ---- // step: fullInliner // diff --git a/test/libyul/yulOptimizerTests/fullInliner/multi_return.yul b/test/libyul/yulOptimizerTests/fullInliner/multi_return.yul index a5fe5a703..9e04c6bb5 100644 --- a/test/libyul/yulOptimizerTests/fullInliner/multi_return.yul +++ b/test/libyul/yulOptimizerTests/fullInliner/multi_return.yul @@ -6,6 +6,8 @@ let r, s := f(mload(0)) mstore(r, s) } +// ==== +// EVMVersion: >=shanghai // ---- // step: fullInliner // diff --git a/test/libyul/yulOptimizerTests/fullInliner/no_inline_leave.yul b/test/libyul/yulOptimizerTests/fullInliner/no_inline_leave.yul index 58431428c..27d986402 100644 --- a/test/libyul/yulOptimizerTests/fullInliner/no_inline_leave.yul +++ b/test/libyul/yulOptimizerTests/fullInliner/no_inline_leave.yul @@ -4,6 +4,8 @@ let a1 := calldataload(0) f(a1) } +// ==== +// EVMVersion: >=shanghai // ---- // step: fullInliner // diff --git a/test/libyul/yulOptimizerTests/loadResolver/keccak_reuse_reassigned_branch.yul b/test/libyul/yulOptimizerTests/loadResolver/keccak_reuse_reassigned_branch.yul index 63d409043..18381b20b 100644 --- a/test/libyul/yulOptimizerTests/loadResolver/keccak_reuse_reassigned_branch.yul +++ b/test/libyul/yulOptimizerTests/loadResolver/keccak_reuse_reassigned_branch.yul @@ -18,6 +18,8 @@ let d := keccak256(x, y) sstore(d, 2) } +// ==== +// EVMVersion: >=shanghai // ---- // step: loadResolver // diff --git a/test/libyul/yulOptimizerTests/loadResolver/keccak_reuse_reassigned_value.yul b/test/libyul/yulOptimizerTests/loadResolver/keccak_reuse_reassigned_value.yul index ca23e6407..51a83736d 100644 --- a/test/libyul/yulOptimizerTests/loadResolver/keccak_reuse_reassigned_value.yul +++ b/test/libyul/yulOptimizerTests/loadResolver/keccak_reuse_reassigned_value.yul @@ -19,6 +19,8 @@ let e := keccak256(x, y) sstore(e, 6) } +// ==== +// EVMVersion: >=shanghai // ---- // step: loadResolver // diff --git a/test/libyul/yulOptimizerTests/unusedStoreEliminator/covering_calldatacopy.yul b/test/libyul/yulOptimizerTests/unusedStoreEliminator/covering_calldatacopy.yul index 8cf222892..9115819d4 100644 --- a/test/libyul/yulOptimizerTests/unusedStoreEliminator/covering_calldatacopy.yul +++ b/test/libyul/yulOptimizerTests/unusedStoreEliminator/covering_calldatacopy.yul @@ -22,6 +22,8 @@ } sstore(0, keccak256(start, 0x40)) } +// ==== +// EVMVersion: >=shanghai // ---- // step: unusedStoreEliminator // diff --git a/test/libyul/yulOptimizerTests/unusedStoreEliminator/covering_calldatacopy_fixed.yul b/test/libyul/yulOptimizerTests/unusedStoreEliminator/covering_calldatacopy_fixed.yul index da5432435..a89809be7 100644 --- a/test/libyul/yulOptimizerTests/unusedStoreEliminator/covering_calldatacopy_fixed.yul +++ b/test/libyul/yulOptimizerTests/unusedStoreEliminator/covering_calldatacopy_fixed.yul @@ -21,6 +21,8 @@ } sstore(0, keccak256(0, 0x40)) } +// ==== +// EVMVersion: >=shanghai // ---- // step: unusedStoreEliminator // diff --git a/test/libyul/yulOptimizerTests/unusedStoreEliminator/if_overwrite_all_branches.yul b/test/libyul/yulOptimizerTests/unusedStoreEliminator/if_overwrite_all_branches.yul index b15fecd84..b2a95ce4c 100644 --- a/test/libyul/yulOptimizerTests/unusedStoreEliminator/if_overwrite_all_branches.yul +++ b/test/libyul/yulOptimizerTests/unusedStoreEliminator/if_overwrite_all_branches.yul @@ -7,6 +7,8 @@ } sstore(c, 3) } +// ==== +// EVMVersion: >=shanghai // ---- // step: unusedStoreEliminator // diff --git a/test/libyul/yulOptimizerTests/unusedStoreEliminator/leave.yul b/test/libyul/yulOptimizerTests/unusedStoreEliminator/leave.yul index 302cef737..3e85f5c03 100644 --- a/test/libyul/yulOptimizerTests/unusedStoreEliminator/leave.yul +++ b/test/libyul/yulOptimizerTests/unusedStoreEliminator/leave.yul @@ -7,6 +7,8 @@ } f() } +// ==== +// EVMVersion: >=shanghai // ---- // step: unusedStoreEliminator // diff --git a/test/libyul/yulOptimizerTests/unusedStoreEliminator/no_storage_inside_function.yul b/test/libyul/yulOptimizerTests/unusedStoreEliminator/no_storage_inside_function.yul index 4a81e3ae2..ce49d1d66 100644 --- a/test/libyul/yulOptimizerTests/unusedStoreEliminator/no_storage_inside_function.yul +++ b/test/libyul/yulOptimizerTests/unusedStoreEliminator/no_storage_inside_function.yul @@ -8,6 +8,8 @@ pop(f()) sstore(x, 10) } +// ==== +// EVMVersion: >=shanghai // ---- // step: unusedStoreEliminator // diff --git a/test/libyul/yulOptimizerTests/unusedStoreEliminator/remove_before_revert.yul b/test/libyul/yulOptimizerTests/unusedStoreEliminator/remove_before_revert.yul index 3d23316f9..c0eb6aa53 100644 --- a/test/libyul/yulOptimizerTests/unusedStoreEliminator/remove_before_revert.yul +++ b/test/libyul/yulOptimizerTests/unusedStoreEliminator/remove_before_revert.yul @@ -7,6 +7,8 @@ let d := 0 revert(d, d) } +// ==== +// EVMVersion: >=shanghai // ---- // step: unusedStoreEliminator // diff --git a/test/libyul/yulOptimizerTests/unusedStoreEliminator/returndatacopy_returndatasize.yul b/test/libyul/yulOptimizerTests/unusedStoreEliminator/returndatacopy_returndatasize.yul index b495ed324..6a4d49061 100644 --- a/test/libyul/yulOptimizerTests/unusedStoreEliminator/returndatacopy_returndatasize.yul +++ b/test/libyul/yulOptimizerTests/unusedStoreEliminator/returndatacopy_returndatasize.yul @@ -2,7 +2,7 @@ returndatacopy(0,0,returndatasize()) } // ==== -// EVMVersion: >homestead +// EVMVersion: >=shanghai // ---- // step: unusedStoreEliminator // diff --git a/test/libyul/yulOptimizerTests/unusedStoreEliminator/returndatacopy_returndatasize_var.yul b/test/libyul/yulOptimizerTests/unusedStoreEliminator/returndatacopy_returndatasize_var.yul index 5f9dc9c06..4b1d9dbb3 100644 --- a/test/libyul/yulOptimizerTests/unusedStoreEliminator/returndatacopy_returndatasize_var.yul +++ b/test/libyul/yulOptimizerTests/unusedStoreEliminator/returndatacopy_returndatasize_var.yul @@ -3,7 +3,7 @@ returndatacopy(0,0,s) } // ==== -// EVMVersion: >homestead +// EVMVersion: >=shanghai // ---- // step: unusedStoreEliminator // diff --git a/test/libyul/yulOptimizerTests/unusedStoreEliminator/unknown_length2.yul b/test/libyul/yulOptimizerTests/unusedStoreEliminator/unknown_length2.yul index 1199e5f3c..1ff83246a 100644 --- a/test/libyul/yulOptimizerTests/unusedStoreEliminator/unknown_length2.yul +++ b/test/libyul/yulOptimizerTests/unusedStoreEliminator/unknown_length2.yul @@ -8,6 +8,8 @@ let x := mload(0) sstore(0, x) } +// ==== +// EVMVersion: >=shanghai // ---- // step: unusedStoreEliminator // diff --git a/test/libyul/yulOptimizerTests/unusedStoreEliminator/unrelated_relative.yul b/test/libyul/yulOptimizerTests/unusedStoreEliminator/unrelated_relative.yul index 15a4e2fdd..7a411da48 100644 --- a/test/libyul/yulOptimizerTests/unusedStoreEliminator/unrelated_relative.yul +++ b/test/libyul/yulOptimizerTests/unusedStoreEliminator/unrelated_relative.yul @@ -6,6 +6,8 @@ mstore(c, 9) mstore(add(c, 0x20), 20) } +// ==== +// EVMVersion: >=shanghai // ---- // step: unusedStoreEliminator // diff --git a/test/libyul/yulOptimizerTests/unusedStoreEliminator/write_before_recursion.yul b/test/libyul/yulOptimizerTests/unusedStoreEliminator/write_before_recursion.yul index e917022d2..f0a0f7071 100644 --- a/test/libyul/yulOptimizerTests/unusedStoreEliminator/write_before_recursion.yul +++ b/test/libyul/yulOptimizerTests/unusedStoreEliminator/write_before_recursion.yul @@ -9,6 +9,8 @@ f() } } +// ==== +// EVMVersion: >=shanghai // ---- // step: unusedStoreEliminator //