Optional table indices (#667)

* Allow all optional table indices

https://webassembly.github.io/spec/core/text/instructions.html#id1

* Update wasm tests submodule.

The `tokens.wast` test is tracked in #662.

* Set Version: 0.1.76

* Set Version: 0.1.77

---------

Co-authored-by: devops <[email protected]>
Co-authored-by: rv-jenkins <[email protected]>

Author: 3 people

package/version

@@ -1 +1 @@
-0.1.76
+0.1.77

pykwasm/pyproject.toml

@@ -4,7 +4,7 @@ build-backend = "poetry.core.masonry.api"
 
 [tool.poetry]
 name = "pykwasm"
-version = "0.1.76"
+version = "0.1.77"
 description = ""
 authors = [
     "Runtime Verification, Inc. <[email protected]>",

pykwasm/src/pykwasm/kdist/wasm-semantics/wasm-text.md

@@ -107,17 +107,29 @@ module WASM-TEXT-COMMON-SYNTAX
                         | "table.grow" Index
                         | "table.fill" Index
                         | "table.copy" Index Index
-                        | "table.copy"               [macro]
                         | "table.init" Index Index
-                        | "table.init" Index        [macro]
                         | "elem.drop" Index
                         | "call_indirect" Index TypeUse
-                        | "call_indirect"       TypeUse  [macro]
- // ---------------------------------------
+ // ---------------------------------------------------
+
  // Abbreviations
+    syntax PlainInstr ::= "table.get"             [macro]
+                        | "table.set"             [macro]
+                        | "table.size"            [macro]
+                        | "table.grow"            [macro]
+                        | "table.fill"            [macro]
+                        | "table.copy"            [macro]
+                        | "table.init" Index      [macro]
+                        | "call_indirect" TypeUse [macro]
+ // -----------------------------------------------------
+    rule table.get    => table.get 0
+    rule table.set    => table.set 0
+    rule table.size   => table.size 0
+    rule table.grow   => table.grow 0
+    rule table.fill   => table.fill 0
+    rule table.copy   => table.copy 0 0
     rule table.init I => table.init 0 I
     rule call_indirect TU:TypeUse => call_indirect 0 TU
-    rule table.copy => table.copy 0 0
 
     syntax PlainInstr ::= IValType  "." StoreOpM
                         | FValType  "." StoreOpM

tests/conformance/unparseable.txt

@@ -22,3 +22,4 @@ memory.wast
 select.wast
 skip-stack-guard-page.wast
 table_copy.wast
+tokens.wast

tests/conformance/unsupported-llvm.txt

@@ -12,4 +12,5 @@ left-to-right.wast
 linking.wast
 memory_redundancy.wast
 memory_trap.wast
+tokens.wast
 traps.wast