Binary Format¶

Instructions¶

\begin{array}{r} \begin{array}{llcllll} instr & ::= & \dots \\ | & 0 x 06 bt : blocktype ({in}_{1} : instr)^{*} \\ (0 x 07 x : tagidx ({in}_{2} : instr)^{*})^{*} \\ (0 x 19 ({in}_{3} : instr)^{*})^{?} 0 x 0 B & \Rightarrow & try bt {in}_{1}^{*} (catch x {in}_{2}^{*})^{*} (catch_all {in}_{3}^{*})^{?} end \\ | & 0 x 06 bt : blocktype (in : instr)^{*} \\ 0 x 18 l : labelidx & \Rightarrow & try bt {in}^{*} delegate l \\ | & 0 x 09 l : labelidx & \Rightarrow & rethrow l \end{array} \end{array}