2019-12-17 20:37:05 +00:00
|
|
|
{
|
|
|
|
|
sstore(0, sdiv(0, 1))
|
|
|
|
|
sstore(1, sdiv(0, not(0)))
|
|
|
|
|
sstore(2, sdiv(0, 0))
|
|
|
|
|
sstore(3, sdiv(1, 2))
|
|
|
|
|
sstore(4, sdiv(not(0), 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe))
|
|
|
|
|
sstore(5, sdiv(0x8000000000000000000000000000000000000000000000000000000000000000, not(0)))
|
|
|
|
|
sstore(6, sdiv(not(0), 0x8000000000000000000000000000000000000000000000000000000000000000))
|
|
|
|
|
sstore(7, sdiv(0x7000000000000000000000000000000000000000000000000000000000000000, 1))
|
|
|
|
|
sstore(8, sdiv(1, 0x7000000000000000000000000000000000000000000000000000000000000000))
|
|
|
|
|
sstore(9, sdiv(0x7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff, not(0)))
|
|
|
|
|
sstore(10, sdiv(not(0), 0x7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff))
|
|
|
|
|
sstore(11, sdiv(0x7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff, 1))
|
|
|
|
|
sstore(12, sdiv(not(0), not(0)))
|
|
|
|
|
sstore(13, sdiv(
|
|
|
|
|
0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe,
|
|
|
|
|
0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe
|
|
|
|
|
))
|
|
|
|
|
sstore(14, sdiv(0x8000000000000000000000000000000000000000000000000000000000000001, not(0)))
|
|
|
|
|
}
|
|
|
|
|
// ----
|
|
|
|
|
// Trace:
|
|
|
|
|
// Memory dump:
|
2020-01-28 12:32:43 +00:00
|
|
|
// 0: 000000000000000000000000000000000000000000000000000000000000000e
|
|
|
|
|
// 20: 7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
|
2019-12-17 20:37:05 +00:00
|
|
|
// Storage dump:
|
2020-01-28 12:32:43 +00:00
|
|
|
// 0000000000000000000000000000000000000000000000000000000000000005: 8000000000000000000000000000000000000000000000000000000000000000
|
|
|
|
|
// 0000000000000000000000000000000000000000000000000000000000000007: 7000000000000000000000000000000000000000000000000000000000000000
|
|
|
|
|
// 0000000000000000000000000000000000000000000000000000000000000009: 8000000000000000000000000000000000000000000000000000000000000001
|
|
|
|
|
// 000000000000000000000000000000000000000000000000000000000000000b: 7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
|
|
|
|
|
// 000000000000000000000000000000000000000000000000000000000000000c: 0000000000000000000000000000000000000000000000000000000000000001
|
|
|
|
|
// 000000000000000000000000000000000000000000000000000000000000000d: 0000000000000000000000000000000000000000000000000000000000000001
|
|
|
|
|
// 000000000000000000000000000000000000000000000000000000000000000e: 7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
|
