-
Notifications
You must be signed in to change notification settings - Fork 162
/
AssemblyTricks1.t.sol
117 lines (103 loc) · 3.71 KB
/
AssemblyTricks1.t.sol
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
// SPDX-License-Identifier: MIT
pragma solidity ^0.8.23;
import "./TestUtils.sol";
// Tests for a collection of short assembly tricks.
contract AssemblyTricks1Test is TestUtils {
struct Foo {
address addr;
uint256 x;
}
struct Bar {
AssemblyTricks1Test tricks;
bytes32 x;
}
error RevertTriggeredError(uint256 payload);
function triggerRevert(uint256 revertPayload) external pure {
revert RevertTriggeredError(revertPayload);
}
function bubbleUpRevert(uint256 revertPayload) external view {
try this.triggerRevert(revertPayload) {}
catch (bytes memory revertData) {
assembly { revert(add(revertData, 0x20), mload(revertData)) }
}
}
function test_bubbleUpRevert() external {
uint256 payload = _randomUint256();
try this.bubbleUpRevert(payload) {
revert('Expected revert');
} catch (bytes memory revertData) {
assertEq(
keccak256(revertData),
keccak256(abi.encodeWithSelector(RevertTriggeredError.selector, (payload)))
);
}
}
function test_hashTwoWords() external {
uint256 word1 = _randomUint256();
bytes32 word2 = _randomBytes32();
bytes32 regHash = keccak256(abi.encode(word1, word2));
bytes32 asmHash;
assembly {
mstore(0x00, word1)
mstore(0x20, word2)
asmHash := keccak256(0x00, 0x40)
}
assertEq(regHash, asmHash);
}
function test_castDynamicArrays() external {
address[] memory addressArr = new address[](10);
for (uint256 i; i < addressArr.length; ++i) {
addressArr[i] = _randomAddress();
}
AssemblyTricks1Test[] memory contractArr;
assembly { contractArr := addressArr }
assertEq(contractArr.length, addressArr.length);
assertEq(keccak256(abi.encode(addressArr)), keccak256(abi.encode(contractArr)));
}
function test_castStaticArrays() external {
address[8] memory addressArr;
for (uint256 i; i < addressArr.length; ++i) {
addressArr[i] = _randomAddress();
}
AssemblyTricks1Test[8] memory contractArr;
assembly { contractArr := addressArr }
assertEq(contractArr.length, addressArr.length);
assertEq(keccak256(abi.encode(addressArr)), keccak256(abi.encode(contractArr)));
}
function test_castStructs() external {
Foo memory foo = Foo({
addr: _randomAddress(),
x: _randomUint256()
});
Bar memory bar;
assembly { bar := foo }
assertEq(keccak256(abi.encode(foo)), keccak256(abi.encode(bar)));
}
function test_shortenDynamicArray() external {
uint256[] memory arr = new uint256[](10);
for (uint256 i; i < arr.length; ++i) {
arr[i] = _randomUint256();
}
uint256[] memory shortArrCopy = new uint256[](9);
for (uint256 i; i < shortArrCopy.length; ++i) {
shortArrCopy[i] = arr[i];
}
assembly { mstore(arr, 9) }
assertEq(arr.length, 9);
assertEq(keccak256(abi.encode(arr)), keccak256(abi.encode(shortArrCopy)));
}
function test_shortenFixedArray() external {
uint256[10] memory arr;
for (uint256 i; i < arr.length; ++i) {
arr[i] = _randomUint256();
}
uint256[9] memory shortArrCopy;
for (uint256 i; i < shortArrCopy.length; ++i) {
shortArrCopy[i] = arr[i];
}
uint256[9] memory shortArr;
assembly { shortArr := arr }
assertEq(shortArr.length, 9);
assertEq(keccak256(abi.encode(shortArr)), keccak256(abi.encode(shortArrCopy)));
}
}