EOF - JUMPF and non-returning functions

Status history

1. Draft21 Dec 2022
2. ⋯Stagnantdate not observed

Abstract

This EIP allows for tail call optimizations in EOF functions (EIP-4750) by introducing a new instruction JUMPF, which jumps to a code section without adding a new return stack frame. Additionally the format of the type sections is extended to allow declaring sections as non-returning, with simplified stack validation for JUMPF to such section.