fix typo (#525)

runtimeverification · Nov 15, 2023 · 57c7f79 · 57c7f79
1 parent 989d8bc
commit 57c7f79
Show file tree

Hide file tree

Showing 2 changed files with 7 additions and 5 deletions.
diff --git a/pykwasm/src/pykwasm/kwasm_ast.py b/pykwasm/src/pykwasm/kwasm_ast.py
@@ -246,8 +246,8 @@ def CALL_INDIRECT(type_idx: int) -> KInner:
 I32_EXTEND8_s = KApply('aExtendS', [i32, KApply('aExtend8_s', [])])
 I32_EXTEND16_s = KApply('aExtendS', [i32, KApply('aExtend16_s', [])])
 I64_EXTEND8_s = KApply('aExtendS', [i32, KApply('aExtend8_s', [])])
-I64_EXTEND8_s = KApply('aExtendS', [i32, KApply('aExtend16_s', [])])
-I64_EXTEND8_s = KApply('aExtendS', [i32, KApply('aExtend32_s', [])])
+I64_EXTEND16_s = KApply('aExtendS', [i32, KApply('aExtend16_s', [])])
+I64_EXTEND32_s = KApply('aExtendS', [i32, KApply('aExtend32_s', [])])
 
 ###############
 # Float BinOp #

diff --git a/pykwasm/src/tests/integration/binary/instrs.wat b/pykwasm/src/tests/integration/binary/instrs.wat
@@ -13,9 +13,11 @@
         ;; Commented out instructions are not currently supported by py-wasm.
         i32.const 0                   drop
         f32.const 0                   drop
-     ;; i32.extend8_s                 drop
-     ;; i32.extend16_s                drop
-     ;; i64.extend32_s                drop
+        i32.extend8_s                 drop
+        i32.extend16_s                drop
+        i64.extend8_s                 drop
+        i64.extend16_s                drop
+        i64.extend32_s                drop
         i32.wrap_i64                  drop
         i64.extend_i32_s              drop
         i64.extend_i32_u              drop