From 57858284fb6044643a50eccab283262731294d5d Mon Sep 17 00:00:00 2001 From: Ioanna M Dimitriou H <9728696+ioannad@users.noreply.github.com> Date: Wed, 12 Apr 2023 16:13:56 +0200 Subject: [PATCH] Added Exception Handling entry to `document/core/appendix/changes.rst` (#267) Co-authored-by: Andreas Rossberg --- document/core/appendix/changes.rst | 19 +++++++++++++++++++ 1 file changed, 19 insertions(+) diff --git a/document/core/appendix/changes.rst b/document/core/appendix/changes.rst index 339cb25f..16ea3ff7 100644 --- a/document/core/appendix/changes.rst +++ b/document/core/appendix/changes.rst @@ -138,6 +138,22 @@ Added vector type and instructions that manipulate multiple numeric values in pa * New injection/projection :ref:`vector instructions `: :math:`\K{i}\!N\!\K{x}\!M\!\K{.splat}`, :math:`\K{f}\!N\!\K{x}\!M\!\K{.splat}`, :math:`\K{i}\!N\!\K{x}\!M\!\K{.bitmask}` +.. index:: instructions, exception, tag type, tag, handler + +Exception Handling +.................. + +Added tag definitions, imports, and exports, and instructions to throw and catch exceptions [#proposal-exceptions]_ + +* Modules may :ref:`define `, :ref:`import `, and :ref:`export ` tags. + +* New exception throwing :ref:`control instructions `: :math:`\THROW` and :math:`\RETHROW`. + +* New handler :ref:`control instructions `: :math:`(\TRY~\X{bt}~\instr_1^\ast~(\CATCH~x~\instr_2^\ast)^\ast~(\CATCHALL~\instr_3^\ast)^?\END)` and :math:`(\TRY~\X{bt}~\instr^\ast~\DELEGATE~l)`. + +* New :ref:`tag section ` in binary format. + + .. [#proposal-signext] https://github.com/WebAssembly/spec/tree/main/proposals/sign-extension-ops/ @@ -155,3 +171,6 @@ Added vector type and instructions that manipulate multiple numeric values in pa .. [#proposal-vectype] https://github.com/WebAssembly/spec/tree/main/proposals/simd/ + +.. [#proposal-exceptions] + https://github.com/WebAssembly/spec/tree/main/proposals/exception-handling/