mirror of
https://github.com/logos-storage/plonky2.git
synced 2026-01-08 00:33:06 +00:00
A few fixes for terminal instructions
This commit is contained in:
parent
ce22d94518
commit
b4eb837346
@ -10,7 +10,10 @@ global sys_stop:
|
|||||||
%jump(terminate_common)
|
%jump(terminate_common)
|
||||||
|
|
||||||
global sys_return:
|
global sys_return:
|
||||||
// stack: kexit_info
|
// stack: kexit_info, offset, size
|
||||||
|
// TODO: For now we're ignoring the returned data. Need to return it to the parent context.
|
||||||
|
%stack (kexit_info, offset, size) -> (kexit_info)
|
||||||
|
|
||||||
%leftover_gas
|
%leftover_gas
|
||||||
// stack: leftover_gas
|
// stack: leftover_gas
|
||||||
// TODO: Set parent context's CTX_METADATA_RETURNDATA_SIZE.
|
// TODO: Set parent context's CTX_METADATA_RETURNDATA_SIZE.
|
||||||
@ -23,10 +26,10 @@ global sys_selfdestruct:
|
|||||||
SWAP1 %u256_to_addr
|
SWAP1 %u256_to_addr
|
||||||
DUP1 %insert_accessed_addresses_no_return // TODO: Use return value in gas calculation.
|
DUP1 %insert_accessed_addresses_no_return // TODO: Use return value in gas calculation.
|
||||||
// stack: address, kexit_info
|
// stack: address, kexit_info
|
||||||
SWAP1
|
POP // TODO: Transfer balance to address.
|
||||||
// TODO: Charge gas.
|
// stack: kexit_info
|
||||||
// TODO: Add address to the access list.
|
// TODO: Add address to the access list.
|
||||||
%consume_gas_const(@GAS_SELFDESTRUCT)
|
%charge_gas_const(@GAS_SELFDESTRUCT)
|
||||||
%leftover_gas
|
%leftover_gas
|
||||||
// stack: leftover_gas
|
// stack: leftover_gas
|
||||||
// TODO: Destroy account.
|
// TODO: Destroy account.
|
||||||
@ -34,7 +37,10 @@ global sys_selfdestruct:
|
|||||||
%jump(terminate_common)
|
%jump(terminate_common)
|
||||||
|
|
||||||
global sys_revert:
|
global sys_revert:
|
||||||
// stack: kexit_info
|
// stack: kexit_info, offset, size
|
||||||
|
// TODO: For now we're ignoring the returned data. Need to return it to the parent context.
|
||||||
|
%stack (kexit_info, offset, size) -> (kexit_info)
|
||||||
|
|
||||||
%leftover_gas
|
%leftover_gas
|
||||||
// stack: leftover_gas
|
// stack: leftover_gas
|
||||||
// TODO: Revert state changes.
|
// TODO: Revert state changes.
|
||||||
|
|||||||
Loading…
x
Reference in New Issue
Block a user