Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Add MCOPY tests #1229

Merged
merged 1 commit into from
Jun 21, 2023
Merged

Add MCOPY tests #1229

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
2,362 changes: 2,362 additions & 0 deletions EIPTests/BlockchainTests/StateTests/stEIP5656-MCOPY/MCOPY.json
View file
Open in desktop

Large diffs are not rendered by default.

7,416 changes: 7,416 additions & 0 deletions EIPTests/BlockchainTests/StateTests/stEIP5656-MCOPY/MCOPY_copy_cost.json
View file
Open in desktop

Large diffs are not rendered by default.

2,574 changes: 2,574 additions & 0 deletions EIPTests/BlockchainTests/StateTests/stEIP5656-MCOPY/MCOPY_memory_expansion_cost.json
View file
Open in desktop

Large diffs are not rendered by default.

301 changes: 301 additions & 0 deletions EIPTests/StateTests/stEIP5656-MCOPY/MCOPY.json
View file
Open in desktop

Large diffs are not rendered by default.

766 changes: 766 additions & 0 deletions EIPTests/StateTests/stEIP5656-MCOPY/MCOPY_copy_cost.json
View file
Open in desktop

Large diffs are not rendered by default.

326 changes: 326 additions & 0 deletions EIPTests/StateTests/stEIP5656-MCOPY/MCOPY_memory_expansion_cost.json
View file
Open in desktop

Large diffs are not rendered by default.

319 changes: 319 additions & 0 deletions src/EIPTestsFiller/StateTests/stEIP5656-MCOPY/MCOPYFiller.yml
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,319 @@
MCOPY:

_info:
comment: MCOPY memory copy test cases

env:
currentNumber: 1
currentTimestamp: 1687174231
currentGasLimit: 1000000
currentCoinbase: 2adc25665018aa1fe0e6bc666dac8fc2697ff9ba
previousHash: 5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6

pre:

# Executed code (transaction destination)
000000000000000000000000000000000000c0de:
balance: 0
nonce: 1
code: |
:yul {
function mcopy(dst, src, size) { verbatim_3i_0o(hex"5e", dst, src, size) }

// Fill memory at [0-96] (3x32) with the pattern of unique bytes.
mstore( 0, 0xa0a1a2a3a4a5a6a7a8a9aAaBaCaDaEaFb0b1b2b3b4b5b6b7b8b9bAbBbCbDbEbF)
mstore(32, 0xc0c1c2c3c4c5c6c7c8c9cAcBcCcDcEcFd0d1d2d3d4d5d6d7d8d9dAdBdCdDdEdF)
mstore(64, 0xe0e1e2e3e4e5e6e7e8e9eAeBeCeDeEeFf0f1f2f3f4f5f6f7f8f9fAfBfCfDfEfF)

// MCOPY using parameters from CALLDATA.
mcopy(calldataload(0), calldataload(32), calldataload(64))

// Dump memory at [0-96] to 3 storage slots.
sstore(0, mload( 0))
sstore(1, mload(32))
sstore(2, mload(64))
}
storage: { }

# Transaction sender
a94f5374fce5edbc8e2a8697c15331677e6ebf0b:
balance: 1000000000
nonce: 0
code: ''
storage: { }

transaction:
to: 000000000000000000000000000000000000c0de
nonce: 0
gasLimit:
- 1000000
gasPrice: 10
value:
- 0
secretKey: 45a915e4d060149eb4365960e6a7a45f334393093061116b197e3240065ff2d8
data:
- >
:label forward_size0_0 :raw 0x
0000000000000000000000000000000000000000000000000000000000000002
0000000000000000000000000000000000000000000000000000000000000000
0000000000000000000000000000000000000000000000000000000000000000
- >
:label forward_size0_1 :raw 0x
0000000000000000000000000000000000000000000000000000000000000020
0000000000000000000000000000000000000000000000000000000000000001
0000000000000000000000000000000000000000000000000000000000000000
- >
:label backward_size0_0 :raw 0x
0000000000000000000000000000000000000000000000000000000000000000
0000000000000000000000000000000000000000000000000000000000000001
0000000000000000000000000000000000000000000000000000000000000000
- >
:label backward_size0_1 :raw 0x
0000000000000000000000000000000000000000000000000000000000000020
0000000000000000000000000000000000000000000000000000000000000021
0000000000000000000000000000000000000000000000000000000000000000
- >
:label inplace_size0_0 :raw 0x
0000000000000000000000000000000000000000000000000000000000000000
0000000000000000000000000000000000000000000000000000000000000000
0000000000000000000000000000000000000000000000000000000000000000
- >
:label inplace_size0_1 :raw 0x
000000000000000000000000000000000000000000000000000000000000001f
000000000000000000000000000000000000000000000000000000000000001f
0000000000000000000000000000000000000000000000000000000000000000
- >
:label forward_overlapped_0 :raw 0x
0000000000000000000000000000000000000000000000000000000000000001
0000000000000000000000000000000000000000000000000000000000000000
0000000000000000000000000000000000000000000000000000000000000002
- >
:label forward_overlapped_1 :raw 0x
0000000000000000000000000000000000000000000000000000000000000002
0000000000000000000000000000000000000000000000000000000000000001
000000000000000000000000000000000000000000000000000000000000001f
- >
:label forward_disjoint_0 :raw 0x
0000000000000000000000000000000000000000000000000000000000000020
0000000000000000000000000000000000000000000000000000000000000000
000000000000000000000000000000000000000000000000000000000000001f
- >
:label forward_disjoint_1 :raw 0x
0000000000000000000000000000000000000000000000000000000000000020
0000000000000000000000000000000000000000000000000000000000000001
0000000000000000000000000000000000000000000000000000000000000002
- >
:label forward_adjacent_0 :raw 0x
0000000000000000000000000000000000000000000000000000000000000002
0000000000000000000000000000000000000000000000000000000000000000
0000000000000000000000000000000000000000000000000000000000000002
- >
:label forward_adjacent_1 :raw 0x
0000000000000000000000000000000000000000000000000000000000000020
000000000000000000000000000000000000000000000000000000000000001f
0000000000000000000000000000000000000000000000000000000000000001
- >
:label backward_overlapped_0 :raw 0x
0000000000000000000000000000000000000000000000000000000000000000
000000000000000000000000000000000000000000000000000000000000001f
0000000000000000000000000000000000000000000000000000000000000021
- >
:label backward_overlapped_1 :raw 0x
0000000000000000000000000000000000000000000000000000000000000001
0000000000000000000000000000000000000000000000000000000000000002
0000000000000000000000000000000000000000000000000000000000000021
- >
:label backward_disjoint_0 :raw 0x
0000000000000000000000000000000000000000000000000000000000000000
0000000000000000000000000000000000000000000000000000000000000021
0000000000000000000000000000000000000000000000000000000000000020
- >
:label backward_disjoint_1 :raw 0x
0000000000000000000000000000000000000000000000000000000000000002
0000000000000000000000000000000000000000000000000000000000000021
0000000000000000000000000000000000000000000000000000000000000001
- >
:label backward_adjacent_0 :raw 0x
0000000000000000000000000000000000000000000000000000000000000000
0000000000000000000000000000000000000000000000000000000000000020
0000000000000000000000000000000000000000000000000000000000000020
- >
:label backward_adjacent_1 :raw 0x
0000000000000000000000000000000000000000000000000000000000000020
0000000000000000000000000000000000000000000000000000000000000021
0000000000000000000000000000000000000000000000000000000000000001
- >
:label inplace_0 :raw 0x
0000000000000000000000000000000000000000000000000000000000000000
0000000000000000000000000000000000000000000000000000000000000000
0000000000000000000000000000000000000000000000000000000000000001
- >
:label inplace_1 :raw 0x
0000000000000000000000000000000000000000000000000000000000000002
0000000000000000000000000000000000000000000000000000000000000002
0000000000000000000000000000000000000000000000000000000000000033

expect:

- indexes:
data:
- :label forward_size0_0
- :label forward_size0_1
- :label backward_size0_0
- :label backward_size0_1
- :label inplace_size0_0
- :label inplace_size0_1
- :label inplace_0
- :label inplace_1
network:
- '>=Cancun'
result:
000000000000000000000000000000000000c0de:
storage:
0: 0xa0a1a2a3a4a5a6a7a8a9aAaBaCaDaEaFb0b1b2b3b4b5b6b7b8b9bAbBbCbDbEbF
1: 0xc0c1c2c3c4c5c6c7c8c9cAcBcCcDcEcFd0d1d2d3d4d5d6d7d8d9dAdBdCdDdEdF
2: 0xe0e1e2e3e4e5e6e7e8e9eAeBeCeDeEeFf0f1f2f3f4f5f6f7f8f9fAfBfCfDfEfF

- indexes:
data:
- :label forward_overlapped_0
network:
- '>=Cancun'
result:
000000000000000000000000000000000000c0de:
storage:
0: 0xa0a0a1a3a4a5a6a7a8a9aAaBaCaDaEaFb0b1b2b3b4b5b6b7b8b9bAbBbCbDbEbF
1: 0xc0c1c2c3c4c5c6c7c8c9cAcBcCcDcEcFd0d1d2d3d4d5d6d7d8d9dAdBdCdDdEdF
2: 0xe0e1e2e3e4e5e6e7e8e9eAeBeCeDeEeFf0f1f2f3f4f5f6f7f8f9fAfBfCfDfEfF

- indexes:
data:
- :label forward_overlapped_1
network:
- '>=Cancun'
result:
000000000000000000000000000000000000c0de:
storage:
0: 0xa0a1a1a2a3a4a5a6a7a8a9aAaBaCaDaEaFb0b1b2b3b4b5b6b7b8b9bAbBbCbDbE
1: 0xbFc1c2c3c4c5c6c7c8c9cAcBcCcDcEcFd0d1d2d3d4d5d6d7d8d9dAdBdCdDdEdF
2: 0xe0e1e2e3e4e5e6e7e8e9eAeBeCeDeEeFf0f1f2f3f4f5f6f7f8f9fAfBfCfDfEfF

- indexes:
data:
- :label forward_disjoint_0
network:
- '>=Cancun'
result:
000000000000000000000000000000000000c0de:
storage:
0: 0xa0a1a2a3a4a5a6a7a8a9aAaBaCaDaEaFb0b1b2b3b4b5b6b7b8b9bAbBbCbDbEbF
1: 0xa0a1a2a3a4a5a6a7a8a9aAaBaCaDaEaFb0b1b2b3b4b5b6b7b8b9bAbBbCbDbEdF
2: 0xe0e1e2e3e4e5e6e7e8e9eAeBeCeDeEeFf0f1f2f3f4f5f6f7f8f9fAfBfCfDfEfF

- indexes:
data:
- :label forward_disjoint_1
network:
- '>=Cancun'
result:
000000000000000000000000000000000000c0de:
storage:
0: 0xa0a1a2a3a4a5a6a7a8a9aAaBaCaDaEaFb0b1b2b3b4b5b6b7b8b9bAbBbCbDbEbF
1: 0xa1a2c2c3c4c5c6c7c8c9cAcBcCcDcEcFd0d1d2d3d4d5d6d7d8d9dAdBdCdDdEdF
2: 0xe0e1e2e3e4e5e6e7e8e9eAeBeCeDeEeFf0f1f2f3f4f5f6f7f8f9fAfBfCfDfEfF

- indexes:
data:
- :label forward_adjacent_0
network:
- '>=Cancun'
result:
000000000000000000000000000000000000c0de:
storage:
0: 0xa0a1a0a1a4a5a6a7a8a9aAaBaCaDaEaFb0b1b2b3b4b5b6b7b8b9bAbBbCbDbEbF
1: 0xc0c1c2c3c4c5c6c7c8c9cAcBcCcDcEcFd0d1d2d3d4d5d6d7d8d9dAdBdCdDdEdF
2: 0xe0e1e2e3e4e5e6e7e8e9eAeBeCeDeEeFf0f1f2f3f4f5f6f7f8f9fAfBfCfDfEfF

- indexes:
data:
- :label forward_adjacent_1
network:
- '>=Cancun'
result:
000000000000000000000000000000000000c0de:
storage:
0: 0xa0a1a2a3a4a5a6a7a8a9aAaBaCaDaEaFb0b1b2b3b4b5b6b7b8b9bAbBbCbDbEbF
1: 0xbFc1c2c3c4c5c6c7c8c9cAcBcCcDcEcFd0d1d2d3d4d5d6d7d8d9dAdBdCdDdEdF
2: 0xe0e1e2e3e4e5e6e7e8e9eAeBeCeDeEeFf0f1f2f3f4f5f6f7f8f9fAfBfCfDfEfF

- indexes:
data:
- :label backward_overlapped_0
network:
- '>=Cancun'
result:
000000000000000000000000000000000000c0de:
storage:
0: 0xbFc0c1c2c3c4c5c6c7c8c9cAcBcCcDcEcFd0d1d2d3d4d5d6d7d8d9dAdBdCdDdE
1: 0xdFc1c2c3c4c5c6c7c8c9cAcBcCcDcEcFd0d1d2d3d4d5d6d7d8d9dAdBdCdDdEdF
2: 0xe0e1e2e3e4e5e6e7e8e9eAeBeCeDeEeFf0f1f2f3f4f5f6f7f8f9fAfBfCfDfEfF

- indexes:
data:
- :label backward_overlapped_1
network:
- '>=Cancun'
result:
000000000000000000000000000000000000c0de:
storage:
0: 0xa0a2a3a4a5a6a7a8a9aAaBaCaDaEaFb0b1b2b3b4b5b6b7b8b9bAbBbCbDbEbFc0
1: 0xc1c2c2c3c4c5c6c7c8c9cAcBcCcDcEcFd0d1d2d3d4d5d6d7d8d9dAdBdCdDdEdF
2: 0xe0e1e2e3e4e5e6e7e8e9eAeBeCeDeEeFf0f1f2f3f4f5f6f7f8f9fAfBfCfDfEfF

- indexes:
data:
- :label backward_disjoint_0
network:
- '>=Cancun'
result:
000000000000000000000000000000000000c0de:
storage:
0: 0xc1c2c3c4c5c6c7c8c9cAcBcCcDcEcFd0d1d2d3d4d5d6d7d8d9dAdBdCdDdEdFe0
1: 0xc0c1c2c3c4c5c6c7c8c9cAcBcCcDcEcFd0d1d2d3d4d5d6d7d8d9dAdBdCdDdEdF
2: 0xe0e1e2e3e4e5e6e7e8e9eAeBeCeDeEeFf0f1f2f3f4f5f6f7f8f9fAfBfCfDfEfF

- indexes:
data:
- :label backward_disjoint_1
network:
- '>=Cancun'
result:
000000000000000000000000000000000000c0de:
storage:
0: 0xa0a1c1a3a4a5a6a7a8a9aAaBaCaDaEaFb0b1b2b3b4b5b6b7b8b9bAbBbCbDbEbF
1: 0xc0c1c2c3c4c5c6c7c8c9cAcBcCcDcEcFd0d1d2d3d4d5d6d7d8d9dAdBdCdDdEdF
2: 0xe0e1e2e3e4e5e6e7e8e9eAeBeCeDeEeFf0f1f2f3f4f5f6f7f8f9fAfBfCfDfEfF

- indexes:
data:
- :label backward_adjacent_0
network:
- '>=Cancun'
result:
000000000000000000000000000000000000c0de:
storage:
0: 0xc0c1c2c3c4c5c6c7c8c9cAcBcCcDcEcFd0d1d2d3d4d5d6d7d8d9dAdBdCdDdEdF
1: 0xc0c1c2c3c4c5c6c7c8c9cAcBcCcDcEcFd0d1d2d3d4d5d6d7d8d9dAdBdCdDdEdF
2: 0xe0e1e2e3e4e5e6e7e8e9eAeBeCeDeEeFf0f1f2f3f4f5f6f7f8f9fAfBfCfDfEfF

- indexes:
data:
- :label backward_adjacent_1
network:
- '>=Cancun'
result:
000000000000000000000000000000000000c0de:
storage:
0: 0xa0a1a2a3a4a5a6a7a8a9aAaBaCaDaEaFb0b1b2b3b4b5b6b7b8b9bAbBbCbDbEbF
1: 0xc1c1c2c3c4c5c6c7c8c9cAcBcCcDcEcFd0d1d2d3d4d5d6d7d8d9dAdBdCdDdEdF
2: 0xe0e1e2e3e4e5e6e7e8e9eAeBeCeDeEeFf0f1f2f3f4f5f6f7f8f9fAfBfCfDfEfF
Loading