Implement Exception Handling for classic interpreter (bytecodeallianc…

…e#3096)

This PR adds the initial support for WASM exception handling:
* Inside the classic interpreter only:
  * Initial handling of Tags
  * Initial handling of Exceptions based on W3C Exception Proposal
  * Import and Export of Exceptions and Tags
* Add `cmake -DWAMR_BUILD_EXCE_HANDLING=1/0` option to enable/disable
  the feature, and by default it is disabled
* Update the wamr-test-suites scripts to test the feature
* Additional CI/CD changes to validate the exception spec proposal cases

Refer to:
bytecodealliance#1884
bytecodealliance@587513f
bytecodealliance@8bebfe9
bytecodealliance@59bccdf

Signed-off-by: Ricardo Aguilar <ricardoaguilar@siemens.com>
Co-authored-by: Chris Woods <chris.woods@siemens.com>
Co-authored-by: Rene Ermler <rene.ermler@siemens.com>
Co-authored-by: Trenner Thomas <trenner.thomas@siemens.com>

build-scripts/config_common.cmake

@@ -335,6 +335,11 @@ if (WAMR_BUILD_REF_TYPES EQUAL 1)
 else ()
  message (" Reference types disabled")
 endif ()
+if (WAMR_BUILD_EXCE_HANDLING EQUAL 1)
+ add_definitions (-DWASM_ENABLE_EXCE_HANDLING=1)
+ add_definitions (-DWASM_ENABLE_TAGS=1)
+ message (" Exception Handling enabled")
+endif ()
 if (DEFINED WAMR_BH_VPRINTF)
  add_definitions (-DBH_VPRINTF=${WAMR_BH_VPRINTF})
 endif ()

core/config.h

@@ -457,6 +457,14 @@
 #define WASM_ENABLE_REF_TYPES 0
 #endif
 
+#ifndef WASM_ENABLE_EXCE_HANDLING
+#define WASM_ENABLE_EXCE_HANDLING 0
+#endif
+
+#ifndef WASM_ENABLE_TAGS
+#define WASM_ENABLE_TAGS 0
+#endif
+
 #ifndef WASM_ENABLE_SGX_IPFS
 #define WASM_ENABLE_SGX_IPFS 0
 #endif

core/iwasm/interpreter/wasm.h

@@ -65,6 +65,9 @@ extern "C" {
 #if WASM_ENABLE_BULK_MEMORY != 0
 #define SECTION_TYPE_DATACOUNT 12
 #endif
+#if WASM_ENABLE_TAGS != 0
+#define SECTION_TYPE_TAG 13
+#endif
 
 #define SUB_SECTION_TYPE_MODULE 0
 #define SUB_SECTION_TYPE_FUNC 1
@@ -74,20 +77,34 @@ extern "C" {
 #define IMPORT_KIND_TABLE 1
 #define IMPORT_KIND_MEMORY 2
 #define IMPORT_KIND_GLOBAL 3
+#if WASM_ENABLE_TAGS != 0
+#define IMPORT_KIND_TAG 4
+#endif
 
 #define EXPORT_KIND_FUNC 0
 #define EXPORT_KIND_TABLE 1
 #define EXPORT_KIND_MEMORY 2
 #define EXPORT_KIND_GLOBAL 3
+#if WASM_ENABLE_TAGS != 0
+#define EXPORT_KIND_TAG 4
+#endif
 
 #define LABEL_TYPE_BLOCK 0
 #define LABEL_TYPE_LOOP 1
 #define LABEL_TYPE_IF 2
 #define LABEL_TYPE_FUNCTION 3
+#if WASM_ENABLE_EXCE_HANDLING != 0
+#define LABEL_TYPE_TRY 4
+#define LABEL_TYPE_CATCH 5
+#define LABEL_TYPE_CATCH_ALL 6
+#endif
 
 typedef struct WASMModule WASMModule;
 typedef struct WASMFunction WASMFunction;
 typedef struct WASMGlobal WASMGlobal;
+#if WASM_ENABLE_TAGS != 0
+typedef struct WASMTag WASMTag;
+#endif
 
 typedef union V128 {
  int8 i8x16[16];
@@ -201,6 +218,24 @@ typedef struct WASMFunctionImport {
  bool call_conv_wasm_c_api;
 } WASMFunctionImport;
 
+#if WASM_ENABLE_TAGS != 0
+typedef struct WASMTagImport {
+ char *module_name;
+ char *field_name;
+ uint8 attribute; /* the type of the tag (numerical) */
+ uint32 type; /* the type of the catch function (numerical)*/
+ WASMType *tag_type;
+ void *tag_ptr_linked;
+
+#if WASM_ENABLE_MULTI_MODULE != 0
+ /* imported tag pointer after linked */
+ WASMModule *import_module;
+ WASMTag *import_tag_linked;
+ uint32 import_tag_index_linked;
+#endif
+} WASMTagImport;
+#endif
+
 typedef struct WASMGlobalImport {
  char *module_name;
  char *field_name;
@@ -227,6 +262,9 @@ typedef struct WASMImport {
  WASMFunctionImport function;
  WASMTableImport table;
  WASMMemoryImport memory;
+#if WASM_ENABLE_TAGS != 0
+ WASMTagImport tag;
+#endif
  WASMGlobalImport global;
  struct {
  char *module_name;
@@ -265,6 +303,10 @@ struct WASMFunction {
  uint32 const_cell_num;
 #endif
 
+#if WASM_ENABLE_EXCE_HANDLING != 0
+ uint32 exception_handler_count;
+#endif
+
 #if WASM_ENABLE_FAST_JIT != 0 || WASM_ENABLE_JIT != 0 \
  || WASM_ENABLE_WAMR_COMPILER != 0
  /* Whether function has opcode memory.grow */
@@ -294,6 +336,14 @@ struct WASMFunction {
 #endif
 };
 
+#if WASM_ENABLE_TAGS != 0
+struct WASMTag {
+ uint8 attribute; /* the attribute property of the tag (expected to be 0) */
+ uint32 type; /* the type of the tag (expected valid inden in type table) */
+ WASMType *tag_type;
+};
+#endif
+
 struct WASMGlobal {
  uint8 type;
  bool is_mutable;
@@ -420,6 +470,9 @@ struct WASMModule {
  uint32 function_count;
  uint32 table_count;
  uint32 memory_count;
+#if WASM_ENABLE_TAGS != 0
+ uint32 tag_count;
+#endif
  uint32 global_count;
  uint32 export_count;
  uint32 table_seg_count;
@@ -433,18 +486,27 @@ struct WASMModule {
  uint32 import_function_count;
  uint32 import_table_count;
  uint32 import_memory_count;
+#if WASM_ENABLE_TAGS != 0
+ uint32 import_tag_count;
+#endif
  uint32 import_global_count;
 
  WASMImport *import_functions;
  WASMImport *import_tables;
  WASMImport *import_memories;
+#if WASM_ENABLE_TAGS != 0
+ WASMImport *import_tags;
+#endif
  WASMImport *import_globals;
 
  WASMType **types;
  WASMImport *imports;
  WASMFunction **functions;
  WASMTable *tables;
  WASMMemory *memories;
+#if WASM_ENABLE_TAGS != 0
+ WASMTag **tags;
+#endif
  WASMGlobal *globals;
  WASMExport *exports;
  WASMTableSeg *table_segments;
@@ -628,6 +690,11 @@ typedef struct WASMBranchBlock {
  uint8 *target_addr;
  uint32 *frame_sp;
  uint32 cell_num;
+#if WASM_ENABLE_EXCE_HANDLING != 0
+ /* in exception handling, label_type needs to be stored to lookup exception
+ * handlers */
+ uint8 label_type;
+#endif
 } WASMBranchBlock;
 
 /**

core/iwasm/interpreter/wasm_interp.h

@@ -34,6 +34,14 @@ typedef struct WASMInterpFrame {
  uint64 time_started;
 #endif
 
+#if WASM_ENABLE_EXCE_HANDLING != 0
+ /* set to true if the callee returns an exception rather than
+ * result values on the stack
+ */
+ bool exception_raised;
+ uint32 tag_index;
+#endif
+
 #if WASM_ENABLE_FAST_INTERP != 0
  /* Return offset of the first return value of current frame,
  the callee will put return values here continuously */