feat: support i32.extend_s/i8

harveyghq · harveyghq · commit af2602f7caad · 2024-06-20T13:56:31.000Z
diff --git a/seewasm/arch/wasm/instructions/ConversionInstructions.py b/seewasm/arch/wasm/instructions/ConversionInstructions.py
@@ -179,7 +179,12 @@ def emulate(self, state):
             result = simplify(fpBVToFP(arg0, Float64()))
             assert result.ebits() == 11, 'f64.reinterpret/i64 conversion fail'
             assert result.sbits() == 53, 'f64.reinterpret/i64 conversion fail'
+        elif self.instr_name == 'i32.extend_s/i8':
+            assert arg0.size() == 8, 'i32.extend_s/i8 has wrong arg type'
+
+            result = simplify(SignExt(24, arg0))
         else:
+            print('\nErr:\nUnsupported instruction: %s\n' % self.instr_name)
             raise UnsupportInstructionError
 
         state.symbolic_stack.append(result)
diff --git a/seewasm/arch/wasm/wasm.py b/seewasm/arch/wasm/wasm.py
@@ -235,6 +235,8 @@
     0xbd: ('i64.reinterpret/f64', None, 1, 1, 'reinterpret the bits of a 64-bit float as a 64-bit integer'),
     0xbe: ('f32.reinterpret/i32', None, 1, 1, 'reinterpret the bits of a 32-bit integer as a 32-bit float'),
     0xbf: ('f64.reinterpret/i64', None, 1, 1, 'reinterpret the bits of a 64-bit integer as a 64-bit float'),
+    0xc0: ('i32.extend_s/i8', None, 1, 1, 'extend a signed 8-bit integer to a 32-bit integer'),
+
   0xfc0a: ('memory.copy', ExtMemoryImm(), 3, 1, 'copy data from a source memory region to destination region'),
   # Unimplemented
   0xfc0b: ('memory.fill', ExtMemoryImm(), 3, 1, 'set all bytes in a memory region to a given byte'),
diff --git a/wasm/opcodes.py b/wasm/opcodes.py
@@ -197,6 +197,8 @@
     Opcode(0xbe, 'f32.reinterpret/i32',   None,                     0),
     Opcode(0xbf, 'f64.reinterpret/i64',   None,                     0),
     
+    Opcode(0xc0, 'i32.extend_s/i8',       None,                     0),
+
     Opcode(0xfc0a, 'memory.copy',         ExtMemoryImm(),           0),
     Opcode(0xfc0b, 'memory.fill',         ExtMemoryImm(),           0),
 ]

Original file line number	Diff line number	Diff line change
`@@ -197,6 +197,8 @@`
`197`	`197`	`Opcode(0xbe, 'f32.reinterpret/i32', None, 0),`
`198`	`198`	`Opcode(0xbf, 'f64.reinterpret/i64', None, 0),`
`199`	`199`
	`200`	`+ Opcode(0xc0, 'i32.extend_s/i8', None, 0),`
	`201`	`+`
`200`	`202`	`Opcode(0xfc0a, 'memory.copy', ExtMemoryImm(), 0),`
`201`	`203`	`Opcode(0xfc0b, 'memory.fill', ExtMemoryImm(), 0),`
`202`	`204`	`]`