Update EIP-4750: Add JUMPF instruction (#6023)
* Update EIP-4750: Add TAILCALLF instruction
* Rename TAILCALLF to JUMPF
* Implement JUMPF semantics
* Implement RETF with memmove
* Perform stack cleanup on JUMPF too
* Fix typo
* Mention RJUMPV immediate validation
* Add opcode descriptions
* Fix JUMPF cleaning stack rule
* Add rationale for JUMPF cleaning the stack
* Add rationale for RETF cleaning
* Fix typo in JUMPF spec
Co-authored-by: Alex Beregszaszi <alex@rtfs.hu>
GitHub Diff