cerc-io/solidity
11
0
Fork 0
mirror of https://github.com/ethereum/solidity synced 2023-10-03 13:03:40 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

Do not optimize zero literals if PUSH0 iz available

Browse Source 
cmdline tests
This commit is contained in:
Nikola Matic
2023-07-25 12:13:31 +02:00
parent 83fe3d4011
commit 22c679b981
280 changed files with 1188 additions and 1097 deletions
Download Patch File Download Diff File Expand all files Collapse all files
test/cmdlineTests/optimizer_array_sload/output
+26 -15
View File
@@ -21,26 +21,30 @@ object "Arraysum_34" {
let _1 := 4
if iszero(lt(calldatasize(), _1))
{
let _2 := 0
if eq(0x81d73423, shr(224, calldataload(_2)))
if eq(0x81d73423, shr(224, calldataload(0)))
{
if callvalue() { revert(_2, _2) }
if slt(add(calldatasize(), not(3)), _2) { revert(_2, _2) }
let var_sum := _2
if callvalue() { revert(0, 0) }
if slt(add(calldatasize(), not(3)), 0) { revert(0, 0) }
let var_sum := /** @src -1:-1:-1 */ 0
/// @src 0:175:182 "sum = 0"
var_sum := /** @src 0:181:182 "0" */ 0x00
/// @src 0:368:378 "uint i = 0"
let var_i := /** @src 0:80:429 "contract Arraysum {..." */ _2
let _3 := sload(_2)
let var_i := /** @src 0:181:182 "0" */ 0x00
/// @src 0:80:429 "contract Arraysum {..."
let _2 := sload(/** @src 0:384:390 "values" */ 0x00)
/// @src 0:80:429 "contract Arraysum {..."
let _3 := sload(/** @src 0:414:420 "values" */ 0x00)
/// @src 0:364:423 "for(uint i = 0; i < values.length; i++)..."
for { }
/** @src 0:380:397 "i < values.length" */ lt(var_i, _3)
/** @src 0:380:397 "i < values.length" */ lt(var_i, _2)
/// @src 0:368:378 "uint i = 0"
{
/// @src 0:80:429 "contract Arraysum {..."
if eq(var_i, not(0))
{
mstore(_2, shl(224, 0x4e487b71))
mstore(0, shl(224, 0x4e487b71))
mstore(_1, 0x11)
revert(_2, 0x24)
revert(0, 0x24)
}
/// @src 0:399:402 "i++"
var_i := /** @src 0:80:429 "contract Arraysum {..." */ add(var_i, 1)
@@ -48,13 +52,20 @@ object "Arraysum_34" {
/// @src 0:399:402 "i++"
{
/// @src 0:80:429 "contract Arraysum {..."
mstore(_2, _2)
let sum := add(var_sum, sload(add(18569430475105882587588266137607568536673111973893317399460219858819262702947, var_i)))
if iszero(lt(var_i, _3))
{
mstore(0, shl(224, 0x4e487b71))
mstore(_1, 0x32)
revert(0, 0x24)
}
mstore(0, /** @src 0:414:420 "values" */ 0x00)
/// @src 0:80:429 "contract Arraysum {..."
let sum := add(var_sum, sload(add(keccak256(0, 0x20), var_i)))
if gt(var_sum, sum)
{
mstore(_2, shl(224, 0x4e487b71))
mstore(0, shl(224, 0x4e487b71))
mstore(_1, 0x11)
revert(_2, 0x24)
revert(0, 0x24)
}
/// @src 0:407:423 "sum += values[i]"
var_sum := sum
@@ -62,7 +73,7 @@ object "Arraysum_34" {
/// @src 0:80:429 "contract Arraysum {..."
let memPos := mload(64)
mstore(memPos, var_sum)
return(memPos, 32)
return(memPos, 0x20)
}
}
revert(0, 0)