[Proposal] Exception-Handling proposal for interpreter

[q82419]

Implementation Status:

• Update the spec test for exception handling proposal to the latest
• Update implementation to the latest spec
• Pass the spec test
• Refine the instruction class for prevent from growing size
• Refine the runtime stack with handler
• Code coverage for C API
• Support partial legacy exception-handling proposal

[juntao]

Hello, I am a code review bot on flows.network. Here are my reviews of code commits in this PR.

---

[codecov]

Codecov Report

Attention: Patch coverage is 75.75277% with 153 lines in your changes are missing coverage. Please review.

Project coverage is 79.83%. Comparing base (66bebc3) to head (6f18a51).
Report is 1 commits behind head on master.

Files	Patch %	Lines
lib/loader/ast/instruction.cpp	74.50%	17 Missing and 9 partials ⚠️
lib/validator/formchecker.cpp	77.47%	17 Missing and 8 partials ⚠️
lib/api/wasmedge.cpp	51.11%	20 Missing and 2 partials ⚠️
lib/validator/validator.cpp	52.38%	16 Missing and 4 partials ⚠️
lib/loader/ast/type.cpp	28.00%	13 Missing and 5 partials ⚠️
include/runtime/instance/module.h	70.00%	6 Missing ⚠️
test/spec/spectest.cpp	72.72%	4 Missing and 2 partials ⚠️
include/runtime/stackmgr.h	85.29%	1 Missing and 4 partials ⚠️
lib/executor/engine/controlInstr.cpp	75.00%	4 Missing and 1 partial ⚠️
lib/driver/runtimeTool.cpp	0.00%	2 Missing and 1 partial ⚠️
... and 8 more

Additional details and impacted files

@@            Coverage Diff             @@
##           master    #3306      +/-   ##
==========================================
- Coverage   79.94%   79.83%   -0.12%     
==========================================
  Files         251      253       +2     
  Lines       34396    34935     +539     
  Branches     5969     6150     +181     
==========================================
+ Hits        27499    27890     +391     
- Misses       5513     5622     +109     
- Partials     1384     1423      +39     

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

[q82419]

Test data:

Function "br" - jump out the block and erase values on stack.
Function "iter" - for-loop with calling the function "br".

(module
  (func $f1 (export "br")
    (block $b1
      (i32.const 1)
      (i32.const 2)
      (i32.const 3)
      (i32.const 4)
      (i32.const 5)
      (block $b2
        (i32.const 1)
        (i32.const 2)
        (i32.const 3)
        (i32.const 4)
        (i32.const 5)
        br $b1
      )
      unreachable
    )
  )
  (func (export "iter") (param $n i32)
    (loop $l
      local.get $n
      i32.const 1
      i32.sub
      local.tee $n
      i32.const 0
      i32.gt_u
      call $f1
      br_if $l
    )
  )
)

Test command (with CLI): iterate 2M times.

./wasmedge --reactor test.wasm iter $ITER_NUM

Time measurement:

• Debug: ITER_NUM=2000000
  • master: average 4.01s
  • this PR: average 4.15s
• Release: ITER_NUM=40000000
  • master: average 3.79s
  • this PR: average 3.91s