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

Write sequential storage slots with previous status #422

Merged
12 commits merged into from
Oct 31, 2022
Merged

Write sequential storage slots with previous status #422

Changes from all commits
Commits
Show all changes
12 commits
Select commit Hold shift + click to select a range
fd790e1
Add clear sequential word command
possible-panther Oct 12, 2022
ba0416a
fix links
possible-panther Oct 12, 2022
038f6e2
change links to match
possible-panther Oct 12, 2022
a12ba56
Update specs/vm/instruction_set.md
Oct 12, 2022
d410fb6
address PR nit
possible-panther Oct 12, 2022
81c7326
address pr comments
possible-panther Oct 13, 2022
1f6d96b
Update specs/vm/instruction_set.md
Oct 14, 2022
7169755
Merge branch 'master' into mitch-fuel/395-clear-storage-slots
possible-panther Oct 20, 2022
9f1c3f8
Merge branch 'master' into mitch-fuel/395-clear-storage-slots
Oct 20, 2022
383c1f3
initial sww and swwq sequential set/unset instruction modifications
possible-panther Oct 20, 2022
db4a591
Merge branch 'master' into 395-write-storage-slots-with-previous-status
possible-panther Oct 20, 2022
4c81a30
fix lint issue
possible-panther Oct 20, 2022
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
34 changes: 19 additions & 15 deletions specs/vm/instruction_set.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -74,7 +74,7 @@
- [SRW: State read word](#srw-state-read-word)
- [SRWQ: State read sequential 32 byte slots](#srwq-state-read-sequential-32-byte-slots)
- [SWW: State write word](#sww-state-write-word)
- [SWWQ: State write 32 bytes](#swwq-state-write-32-bytes)
- [SWWQ: State write sequential 32 byte slots](#swwq-state-write-sequential-32-byte-slots)
- [TIME: Timstamp at height](#time-timstamp-at-height)
- [TR: Transfer coins to contract](#tr-transfer-coins-to-contract)
- [TRO: Transfer coins to output](#tro-transfer-coins-to-output)
Expand Down Expand Up @@ -1484,37 +1484,41 @@ Register `rB` will be set to `false` if the first storage slot is unset (default
| | |
|-------------|---------------------------------------------------------------------------------|
| Description | A word is written to the current contract's state. |
| Operation | ```STATE[MEM[$rA, 32]][0, 8] = $rB;```<br>```STATE[MEM[$rA, 32]][8, 24] = 0;``` |
| Syntax | `sww $rA $rB` |
| Encoding | `0x00 rA rB - -` |
| Operation | ```STATE[MEM[$rA, 32]][0, 8] = $rC;```<br>```STATE[MEM[$rA, 32]][8, 24] = 0;``` |
| Syntax | `sww $rA $rB $rC` |
| Encoding | `0x00 rA rB rC -` |
| Notes | |

Panic if:

- `$rA + 32` overflows
- `$rA + 32 > VM_MAX_RAM`
- `$rB` is a [reserved register](./main.md#semantics)
- `$fp == 0` (in the script context)

The last 24 bytes of `STATE[MEM[$rA, 32]]` are set to `0`.
The last 24 bytes of `STATE[MEM[$rA, 32]]` are set to `0`. Register `rB` will be set to `false` if the storage slot was previously unset (default) and `true` if the slot was set.

### SWWQ: State write 32 bytes
### SWWQ: State write sequential 32 byte slots

| | |
|-------------|------------------------------------------------------|
| Description | 32 bytes is written to the current contract's state. |
| Operation | ```STATE[MEM[$rA, 32]] = MEM[$rB, 32];``` |
| Syntax | `swwq $rA, $rB` |
| Encoding | `0x00 rA rB - -` |
| Notes | |
| | |
|-------------|-----------------------------------------------------------|
| Description | 32 bytes is written to the current contract's state. |
| Operation | ```STATE[MEM[$rA, 32], 32 * $rD] = MEM[$rC, 32 * $rD];``` |
| Syntax | `swwq $rA, $rB, $rC, $rD` |
| Encoding | `0x00 rA rB rC rD` |
| Notes | |

Panic if:

- `$rA + 32` overflows
- `$rB + 32` overflows
- `$rB` is a [reserved register](./main.md#semantics)
- `$rC + 32 * $rD` overflows
- `$rA + 32 > VM_MAX_RAM`
- `$rB + 32 > VM_MAX_RAM`
- `$rC + 32 * $rD > VM_MAX_RAM`
- `$fp == 0` (in the script context)

Register `rB` will be set to `false` if the first storage slot was previously unset (default) and `true` if the slot was set.

### TIME: Timstamp at height

| | |
Expand Down