File tree 1 file changed +17
-5
lines changed
pykwasm/src/pykwasm/kdist/wasm-semantics
1 file changed +17
-5
lines changed Original file line number Diff line number Diff line change @@ -107,17 +107,29 @@ module WASM-TEXT-COMMON-SYNTAX
107
107
| "table.grow" Index
108
108
| "table.fill" Index
109
109
| "table.copy" Index Index
110
- | "table.copy" [macro]
111
110
| "table.init" Index Index
112
- | "table.init" Index [macro]
113
111
| "elem.drop" Index
114
112
| "call_indirect" Index TypeUse
115
- | "call_indirect" TypeUse [macro]
116
- // ---------------------------------------
113
+ // ---------------------------------------------------
114
+
117
115
// Abbreviations
116
+ syntax PlainInstr ::= "table.get" [macro]
117
+ | "table.set" [macro]
118
+ | "table.size" [macro]
119
+ | "table.grow" [macro]
120
+ | "table.fill" [macro]
121
+ | "table.copy" [macro]
122
+ | "table.init" Index [macro]
123
+ | "call_indirect" TypeUse [macro]
124
+ // -----------------------------------------------------
125
+ rule table.get => table.get 0
126
+ rule table.set => table.set 0
127
+ rule table.size => table.size 0
128
+ rule table.grow => table.grow 0
129
+ rule table.fill => table.fill 0
130
+ rule table.copy => table.copy 0 0
118
131
rule table.init I => table.init 0 I
119
132
rule call_indirect TU:TypeUse => call_indirect 0 TU
120
- rule table.copy => table.copy 0 0
121
133
122
134
syntax PlainInstr ::= IValType "." StoreOpM
123
135
| FValType "." StoreOpM
You can’t perform that action at this time.
0 commit comments