Skip to content

Commit bbd632e

Browse files
committed
[spec] A couple of fixes to binary grammar
1 parent 3ee667d commit bbd632e

File tree

5 files changed

+1938
-1918
lines changed

5 files changed

+1938
-1918
lines changed

specification/wasm-3.0/5.3-binary.instructions.spectec

Lines changed: 3 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -39,6 +39,8 @@ grammar Binstr/control : instr = ...
3939
| 0x11 y:Btypeidx x:Btableidx => CALL_INDIRECT x (_IDX y)
4040
| 0x12 x:Bfuncidx => RETURN_CALL x
4141
| 0x13 y:Btypeidx x:Btableidx => RETURN_CALL_INDIRECT x (_IDX y)
42+
| 0x14 x:Btypeidx => CALL_REF (_IDX x)
43+
| 0x15 x:Btypeidx => RETURN_CALL_REF (_IDX x)
4244
| 0x1F bt:Bblocktype c*:Blist(Bcatch) (in:Binstr)* 0x0B => TRY_TABLE bt c* in*
4345
| ...
4446

@@ -369,7 +371,7 @@ grammar Binstr/num-cvt : instr = ...
369371
| 0xB8 => CVTOP F64 I32 CONVERT U
370372
| 0xB9 => CVTOP F64 I64 CONVERT S
371373
| 0xBA => CVTOP F64 I64 CONVERT U
372-
| 0xBB => CVTOP F32 F64 PROMOTE
374+
| 0xBB => CVTOP F64 F32 PROMOTE
373375
| 0xBC => CVTOP I32 F32 REINTERPRET
374376
| 0xBD => CVTOP I64 F64 REINTERPRET
375377
| 0xBE => CVTOP F32 I32 REINTERPRET
0 Bytes
Binary file not shown.

0 commit comments

Comments
 (0)