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

slt test case.

Browse Source
This commit is contained in:
chriseth 2022-03-03 20:11:11 +01:00
parent aa1e56bf2c
commit 118a0f2125
1 changed files with 19 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

19
test/libyul/yulOptimizerTests/reasoningBasedSimplifier/slt.yul Normal file
View File

@ -0,0 +1,19 @@
{
let y := calldataload(0)
let t := calldataload(32)
if sgt(sub(y, 1), y) {
// y - 1 > y, i.e. y is the most negative value
if eq(y, sub(0, y)) {
sstore(0, 1)
}
}
}
// ----
// step: reasoningBasedSimplifier
//
// {
// let y := calldataload(0)
// let t := calldataload(32)
// if sgt(sub(y, 1), y) { if 1 { sstore(0, 1) } }
// }