Update spectests with backports

[gumb0]

At this stage, it has 5 spectests failures.

• FIXED: One of the tests that we failed (and reported as invalid), was deleted [test] Remove br_table binary test WebAssembly/spec#1205
• 4 tests are going to be fixed by Change "unexpected memidx" to validation error #546.
• FIXED: 1 failure old failure is "validation-error-before-decoding-error", and it fixed upstream by [test] Correct i32.store alignment in a LEB128 test WebAssembly/spec#1261.
• FIXED: 2 new failures in func.wast, the reason is wast2json generates incorrect local index in the module. It still happens in wabt 1.0.19, but is fixed on master. Related issues/PRs:
  • wat2wasm outputs incorrect local indices on function with type use WebAssembly/wabt#1551
  • [interpreter] Fix symbolic local resolution with typeuse WebAssembly/spec#1213
  • Update local bindings on function with type use WebAssembly/wabt#1466
  • Fix resolving local names w/ empty func signatures WebAssembly/wabt#1494

TODO:

• Rename the wasm-spec branch from w3c-1.0-backport-tests to w3c-1.0-tests-backported.
• Tag the version we are going to use with this PR as w3c-1.0-tests-backported-20201113.
• Backport [test] Correct i32.store alignment in a LEB128 test WebAssembly/spec#1261 if merged.

[codecov]

Codecov Report

Merging #534 (25feb8d) into master (b58d6e6) will not change coverage.
The diff coverage is n/a.

@@           Coverage Diff           @@
##           master     #534   +/-   ##
=======================================
  Coverage   98.36%   98.36%           
=======================================
  Files          69       69           
  Lines        9622     9622           
=======================================
  Hits         9465     9465           
  Misses        157      157           

[gumb0]

Approved.

I double-checked the commits in the branch, they look fine.
The commits in wasm master that are skipped in the branch are all adding post-1.0 features:
WebAssembly/spec@55a5e2c
WebAssembly/spec@484180b
WebAssembly/spec@e308ca2
WebAssembly/spec@c8fd933

The new 22 skipped tests are all testing text representation:

Running tests from /home/andrei/dev/wasm-spec/test/core/json/func.json
........................................................................s.........ssssssssss..............................ssssssssssss
Line 315: assert_malformed SKIPPED Only binary modules are supported.
Line 427: assert_malformed SKIPPED Only binary modules are supported.
Line 434: assert_malformed SKIPPED Only binary modules are supported.
Line 441: assert_malformed SKIPPED Only binary modules are supported.
Line 448: assert_malformed SKIPPED Only binary modules are supported.
...
Line 720: assert_malformed SKIPPED Only binary modules are supported.
Line 722: assert_malformed SKIPPED Only binary modules are supported.

Running tests from /home/andrei/dev/wasm-spec/test/core/json/global.json
..............................................................................sss
Line 486: assert_malformed SKIPPED Only binary modules are supported.
Line 490: assert_malformed SKIPPED Only binary modules are supported.
Line 494: assert_malformed SKIPPED Only binary modules are supported.

	Running tests from /home/andrei/dev/wasm-spec/test/core/json/memory.json
..............................sss...........................................sss
Line 80: assert_malformed SKIPPED Only binary modules are supported.
Line 84: assert_malformed SKIPPED Only binary modules are supported.
Line 88: assert_malformed SKIPPED Only binary modules are supported.
Line 231: assert_malformed SKIPPED Only binary modules are supported.
Line 235: assert_malformed SKIPPED Only binary modules are supported.
Line 239: assert_malformed SKIPPED Only binary modules are supported.
79 tests ran from memory.json.
  PASSED 73, FAILED 0, SKIPPED 6.

  	Running tests from /home/andrei/dev/wasm-spec/test/core/json/table.json
.............ssssss
Line 28: assert_malformed SKIPPED Only binary modules are supported.
Line 32: assert_malformed SKIPPED Only binary modules are supported.
Line 36: assert_malformed SKIPPED Only binary modules are supported.
Line 43: assert_malformed SKIPPED Only binary modules are supported.
Line 47: assert_malformed SKIPPED Only binary modules are supported.
Line 51: assert_malformed SKIPPED Only binary modules are supported.
19 tests ran from table.json.
  PASSED 13, FAILED 0, SKIPPED 6.