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

Updated the test for reading from dirty slot.

Browse Source
This commit is contained in:
hrkrshnn 2021-09-28 12:30:15 +02:00
parent 7faaa94c6e
commit d672ac0376
2 changed files with 44 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

14
test/libsolidity/semanticTests/userDefinedValueType/dirty_slot.sol
View File

@ -21,17 +21,17 @@ contract C {
} }
} }
// ==== // ====
// compileViaYul: also // compileViaYul: false
// ---- // ----
// a() -> 13 // a() -> 13
// b() -> 0x0401000000000000000000000000000000000000000000000000000000000000 // b() -> 0x00
// get_b(uint256): 0 -> 0x0400000000000000000000000000000000000000000000000000000000000000 // get_b(uint256): 0 -> 0x00
// get_b(uint256): 1 -> 0x0100000000000000000000000000000000000000000000000000000000000000 // get_b(uint256): 1 -> 0x00
// get_b(uint256): 2 -> FAILURE, hex"4e487b71", 0x32 // get_b(uint256): 2 -> FAILURE, hex"4e487b71", 0x32
// write_a() -> // write_a() ->
// a() -> 0x2001 // a() -> 0x2001
// write_b() -> // write_b() ->
// b() -> 0xf00e000000000000000000000000000000000000000000000000000000000000 // b() -> 0x00
// get_b(uint256): 0 -> 0xf000000000000000000000000000000000000000000000000000000000000000 // get_b(uint256): 0 -> 0x00
// get_b(uint256): 1 -> 0x0e00000000000000000000000000000000000000000000000000000000000000 // get_b(uint256): 1 -> 0x00
// get_b(uint256): 2 -> FAILURE, hex"4e487b71", 0x32 // get_b(uint256): 2 -> FAILURE, hex"4e487b71", 0x32

37
test/libsolidity/semanticTests/userDefinedValueType/dirty_slot_ir.sol Normal file
View File

@ -0,0 +1,37 @@
type MyUInt16 is uint16;
type MyBytes2 is bytes2;
contract C {
MyUInt16 public a = MyUInt16.wrap(13);
MyBytes2 public b = MyBytes2.wrap(bytes2(uint16(1025)));
bytes2 public x;
function write_a() external {
uint max = 0xf00e0bbc0d0d0d0d0d0d0d0d0d0d0d0d0d0d0d0d0d0e0c0ba098076054032001;
assembly {
sstore(a.slot, max)
}
}
function write_b() external {
uint max = 0xf00e0bbc0d0d0d0d0d0d0d0d0d0d0d0d0d0d0d0d0d0e0c0ba098076054032001;
assembly {
sstore(b.slot, max)
}
}
function get_b(uint index) public returns (bytes1) {
return MyBytes2.unwrap(b)[index];
}
}
// ====
// compileViaYul: true
// ----
// a() -> 13
// b() -> 0x00
// get_b(uint256): 0 -> 0x00
// get_b(uint256): 1 -> 0x00
// get_b(uint256): 2 -> FAILURE, hex"4e487b71", 0x32
// write_a() ->
// a() -> 0x2001
// write_b() ->
// b() -> 0x5403000000000000000000000000000000000000000000000000000000000000
// get_b(uint256): 0 -> 0x5400000000000000000000000000000000000000000000000000000000000000
// get_b(uint256): 1 -> 0x0300000000000000000000000000000000000000000000000000000000000000
// get_b(uint256): 2 -> FAILURE, hex"4e487b71", 0x32