cerc-io/solidity
16
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

Simplify test and add Changelog entry.

Browse Source
This commit is contained in:
Daniel Kirchner 2021-01-06 11:30:28 +01:00
parent d46da8e53c
commit 308549f950
2 changed files with 3 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
Changelog.md
View File

@ -4,6 +4,7 @@ Language Features:
* Possibility to use ``catch Panic(uint code)`` to catch a panic failure from an external call. * Possibility to use ``catch Panic(uint code)`` to catch a panic failure from an external call.
Compiler Features: Compiler Features:
* Optimizer: Add rule to replace ``iszero(sub(x,y))`` by ``eq(x,y)``.
* Parser: Report meaningful error if parsing a version pragma failed. * Parser: Report meaningful error if parsing a version pragma failed.
* SMTChecker: Support ABI functions as uninterpreted functions. * SMTChecker: Support ABI functions as uninterpreted functions.

4
test/libyul/yulOptimizerTests/expressionSimplifier/sub_eq.yul → test/libyul/yulOptimizerTests/expressionSimplifier/iszero_sub_to_eq.yul
View File

@ -2,7 +2,7 @@
let a := calldataload(0) let a := calldataload(0)
let b := calldataload(0x20) let b := calldataload(0x20)
let x := sub(a, b) let x := sub(a, b)
if gt(x, 0) { if iszero(x) {
sstore(0, 1) sstore(0, 1)
} }
} }
@ -12,5 +12,5 @@
// { // {
// let _1 := 0 // let _1 := 0
// let a := calldataload(_1) // let a := calldataload(_1)
// if iszero(eq(a, calldataload(0x20))) { sstore(_1, 1) } // if eq(a, calldataload(0x20)) { sstore(_1, 1) }
// } // }