I’m incorporating changes for a later PR into the original proposal. Including this motivation:
Especially important is efficient translation to eWasm. To that end we maintain a close correspondence between the operations proposed here and Wasm.
| Wasm | EIP-615 |
|---|---|
| br | JUMPTO |
| br_if | JUMPIF |
| br_table | JUMPV |
| call | JUMPSUB |
| call_indirect | JUMPSUBV |
| return | RETURN |
| get_local | GETLOCAL |
| put_local | PUTLOCAL |
| unreachable | DATA |