Add support for seb/seh instructions from mips32r2 (#273)

m2c/arch_mips.py

@@ -62,6 +62,7 @@
     as_intish,
     as_s64,
     as_sintish,
+    as_type,
     as_u32,
     as_u64,
     as_uintish,
@@ -1662,6 +1663,9 @@ def eval_fn(s: NodeState, a: InstrArgs) -> None:
         # Unaligned loads
         "lwl": lambda a: handle_lwl(a),
         "lwr": lambda a: handle_lwr(a),
+        # Sign extend
+        "seb": lambda a: as_type(a.reg(1), Type.s8(), silent=False),
+        "seh": lambda a: as_type(a.reg(1), Type.s16(), silent=False),
     }
 
     @staticmethod

tests/end_to_end/seb-seh/seb-mwcc-out.c

@@ -0,0 +1,8 @@
+s8 foo(s8);                                         /* extern */
+
+s8 test(s32 arg0) {
+    s32 sp10;
+
+    sp10 = arg0;
+    return (s8) (foo((s8) sp10) + 1);
+}

tests/end_to_end/seb-seh/seb-mwcc.s

@@ -0,0 +1,19 @@
+glabel test
+addiu   sp,sp,-0x20
+sw      ra,0xc(sp)
+sw      s0,8(sp)
+sw      a0,0x10(sp)
+lw      v0,0x10(sp)
+seb     a0,v0
+jal     foo
+nop
+seb     v0,v0
+addiu   v0,v0,1
+seb     v0,v0
+seb     s0,v0
+move    v0,s0
+lw      ra,0xc(sp)
+lw      s0,8(sp)
+addiu   sp,sp,0x20
+jr      ra
+nop

tests/end_to_end/seb-seh/seh-mwcc-out.c

@@ -0,0 +1,8 @@
+s16 foo(s16);                                       /* extern */
+
+s16 test(s32 arg0) {
+    s32 sp10;
+
+    sp10 = arg0;
+    return (s16) (foo((s16) sp10) + 1);
+}

tests/end_to_end/seb-seh/seh-mwcc.s

@@ -0,0 +1,19 @@
+glabel test
+addiu   sp,sp,-0x20
+sw      ra,0xc(sp)
+sw      s0,8(sp)
+sw      a0,0x10(sp)
+lw      v0,0x10(sp)
+seh     a0,v0
+jal     foo
+nop
+seh     v0,v0
+addiu   v0,v0,1
+seh     v0,v0
+seh     s0,v0
+move    v0,s0
+lw      ra,0xc(sp)
+lw      s0,8(sp)
+addiu   sp,sp,0x20
+jr      ra
+nop