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

Adding tests for bytes.concat with fixed bytes arguments.

Browse Source
This commit is contained in:
Djordje Mijovic 2021-04-14 10:17:28 +02:00
parent cc65b426d0
commit ea5cda08c8
1 changed files with 37 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

37
test/libsolidity/semanticTests/array/concat/bytes_concat_different_types.sol
View File

@ -24,9 +24,29 @@ contract C {
function strParam(string calldata a) public returns (bytes memory) { function strParam(string calldata a) public returns (bytes memory) {
return bytes.concat(bytes(a), "bcdef"); return bytes.concat(bytes(a), "bcdef");
} }
function fixedBytesParam(bytes16 b1, bytes15 b2, bytes31 b3) public returns (
bytes memory,
bytes memory,
bytes memory,
bytes memory
) {
return (
bytes.concat(b1, b2),
bytes.concat(b1, b3),
bytes.concat(b1, "bcdef"),
bytes.concat(b1, s)
);
}
function fixedBytesParam2(bytes calldata c, bytes6 b1, bytes6 b2) public returns (bytes memory, bytes memory) {
return (
bytes.concat(s, b1, c),
bytes.concat(b1, c, b2)
);
}
} }
// ==== // ====
// compileViaYul: also // compileViaYul: also
// revertStrings: debug
// ---- // ----
// f(bytes): 0x20, 32, "abcdabcdabcdabcdabcdabcdabcdabcd" -> 0x20, 37, "abcdabcdabcdabcdabcdabcdabcdabcd", "bcdef" // f(bytes): 0x20, 32, "abcdabcdabcdabcdabcdabcdabcdabcd" -> 0x20, 37, "abcdabcdabcdabcdabcdabcdabcdabcd", "bcdef"
// g(bytes): 0x20, 32, "abcdabcdabcdabcdabcdabcdabcdabcd" -> 0x20, 66, "abcdabcdabcdabcdabcdabcdabcdabcd", "abcdefghabcdefghabcdefghabcdefgh", "ab" // g(bytes): 0x20, 32, "abcdabcdabcdabcdabcdabcdabcdabcd" -> 0x20, 66, "abcdabcdabcdabcdabcdabcdabcdabcd", "abcdefghabcdefghabcdefghabcdefgh", "ab"
@ -35,3 +55,20 @@ contract C {
// k(bytes, string): 0x40, 0x80, 32, "abcdabcdabcdabcdabcdabcdabcdabcd", 5, "bcdef" -> 0x20, 37, "abcdabcdabcdabcdabcdabcdabcdabcd", "bcdef" // k(bytes, string): 0x40, 0x80, 32, "abcdabcdabcdabcdabcdabcdabcdabcd", 5, "bcdef" -> 0x20, 37, "abcdabcdabcdabcdabcdabcdabcdabcd", "bcdef"
// slice(bytes): 0x20, 4, "abcd" -> 0x20, 4, "abcd" // slice(bytes): 0x20, 4, "abcd" -> 0x20, 4, "abcd"
// strParam(string): 0x20, 32, "abcdabcdabcdabcdabcdabcdabcdabcd" -> 0x20, 37, "abcdabcdabcdabcdabcdabcdabcdabcd", "bcdef" // strParam(string): 0x20, 32, "abcdabcdabcdabcdabcdabcdabcdabcd" -> 0x20, 37, "abcdabcdabcdabcdabcdabcdabcdabcd", "bcdef"
// fixedBytesParam(bytes16, bytes15, bytes31):
// "aabbccddeeffgghh",
// "abcdefghabcdefg",
// "0123456789012345678901234567890" ->
// 0x80, 0xc0, 0x120, 0x160,
// 31, "aabbccddeeffgghhabcdefghabcdefg",
// 47, "aabbccddeeffgghh0123456789012345", "678901234567890",
// 21, "aabbccddeeffgghhbcdef",
// 21, "aabbccddeeffgghhbcdef"
// fixedBytesParam2(bytes, bytes6, bytes6): 0x60, left(0x010203040506), left(0x0708090A0B0C), 20, left(0x1011121314151617181920212223242526272829) ->
// 0x40, 0x80,
// 31, left(0x62636465660102030405061011121314151617181920212223242526272829),
// 32, 0x01020304050610111213141516171819202122232425262728290708090A0B0C
// fixedBytesParam2(bytes, bytes6, bytes6): 0x60, left(0x01), left(0x02), 5, left(0x03) ->
// 0x40, 0x80,
// 16, left(0x6263646566010000000000030000000000),
// 17, left(0x010000000000030000000002000000000000)