Skip to content

Commit f8282a6

Browse files
bshastrycameel
authored andcommitted
Add tests that fail.
1 parent b187d06 commit f8282a6

File tree

2 files changed

+45
-0
lines changed

2 files changed

+45
-0
lines changed
Lines changed: 23 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,23 @@
1+
{
2+
function f(x) {}
3+
let x
4+
{
5+
x := add(1, calldataload(0))
6+
}
7+
f(call(2, 0, 1, mod(x, 8), 1, 1, 1))
8+
}
9+
// ----
10+
// step: fullSimplify
11+
//
12+
// {
13+
// {
14+
// let x_1
15+
// {
16+
// let _2 := calldataload(x_1)
17+
// let _3 := 1
18+
// x_1 := add(_3, _2)
19+
// }
20+
// let _4 := 1
21+
// pop(call(2, 0, _4, addmod(_3, _2, 8), _4, _4, _4))
22+
// }
23+
// }
Lines changed: 22 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,22 @@
1+
{
2+
let x
3+
{
4+
let y := msize()
5+
x := add(4, y)
6+
}
7+
x := keccak256(0, mod(x, 2))
8+
}
9+
// ----
10+
// step: loadResolver
11+
//
12+
// {
13+
// {
14+
// let x
15+
// {
16+
// let y := msize()
17+
// let _1 := 4
18+
// x := add(_1, y)
19+
// }
20+
// x := keccak256(0, addmod(_1, y, 2))
21+
// }
22+
// }

0 commit comments

Comments
 (0)