Skip to content

Latest commit

 

History

History
31 lines (17 loc) · 1.09 KB

iii.3.37-jmp.md

File metadata and controls

31 lines (17 loc) · 1.09 KB

III.3.37 jmp – jump to method

Format Assembly Format Description
27 <T> jmp method Exit current method and jump to the specified method.

Stack Transition:

… → …

Description:

Transfer control to the method specified by method, which is a metadata token (either a methodref or methoddef (See Partition II). The current arguments are transferred to the destination method.

The evaluation stack shall be empty when this instruction is executed.

The calling convention, number and type of arguments at the destination address shall match that of the current method.

The jmp instruction cannot be used to transferred control out of a try, filter, catch, fault or finally block; or out of a synchronized region. If this is done, results are undefined. See Partition I.

Exceptions:

None.

Correctness:

Correct CIL code obeys the control flow restrictions specified above.

Verifiability:

The jmp instruction is never verifiable.