Merge branch 'main' of github.com:mir-protocol/plonky2 into bls-fp2

This commit is contained in:
Dmitry Vagner 2023-04-03 16:27:20 -07:00
commit d52c15e879
2 changed files with 8 additions and 7 deletions

View File

@ -100,7 +100,8 @@ global sys_mstore8:
// stack: expanded_num_bytes, kexit_info, offset, value
%update_mem_bytes
// stack: kexit_info, offset, value
%stack (kexit_info, offset, value) -> (offset, value, kexit_info)
%stack (kexit_info, offset, value) -> (value, 0x100, offset, kexit_info)
MOD SWAP1
%mstore_current(@SEGMENT_MAIN_MEMORY)
// stack: kexit_info
EXIT_KERNEL

View File

@ -183,32 +183,32 @@ global _sys_slt:
global sys_sdiv:
%charge_gas_const(@GAS_LOW)
%stack(x, y, kernel_return) -> (_sys_sdiv, x, y, _syscall_return, kernel_return)
%stack(kernel_return, x, y) -> (_sys_sdiv, x, y, _syscall_return, kernel_return)
JUMP
global sys_smod:
%charge_gas_const(@GAS_LOW)
%stack(x, y, kernel_return) -> (_sys_smod, x, y, _syscall_return, kernel_return)
%stack(kernel_return, x, y) -> (_sys_smod, x, y, _syscall_return, kernel_return)
JUMP
global sys_signextend:
%charge_gas_const(@GAS_LOW)
%stack(x, y, kernel_return) -> (_sys_signextend, x, y, _syscall_return, kernel_return)
%stack(kernel_return, x, y) -> (_sys_signextend, x, y, _syscall_return, kernel_return)
JUMP
global sys_sar:
%charge_gas_const(@GAS_VERYLOW)
%stack(x, y, kernel_return) -> (_sys_sar, x, y, _syscall_return, kernel_return)
%stack(kernel_return, x, y) -> (_sys_sar, x, y, _syscall_return, kernel_return)
JUMP
global sys_slt:
%charge_gas_const(@GAS_VERYLOW)
%stack(x, y, kernel_return) -> (_sys_slt, x, y, _syscall_return, kernel_return)
%stack(kernel_return, x, y) -> (_sys_slt, x, y, _syscall_return, kernel_return)
JUMP
global sys_sgt:
%charge_gas_const(@GAS_VERYLOW)
%stack(x, y, kernel_return) -> (_sys_sgt, x, y, _syscall_return, kernel_return)
%stack(kernel_return, x, y) -> (_sys_sgt, x, y, _syscall_return, kernel_return)
JUMP
_syscall_return: