Use as_type instead of handle_convert for PPC sign extensions

Author: simonlindholm

m2c/arch_ppc.py

@@ -61,6 +61,7 @@
     as_sintish,
     as_u32,
     as_uintish,
+    as_type,
 )
 from .evaluate import (
     add_imm,
@@ -1238,8 +1239,8 @@ def eval_fn(s: NodeState, a: InstrArgs) -> None:
             )
         ),
         "srawi": lambda a: handle_sra(a),
-        "extsb": lambda a: handle_convert(a.reg(1), Type.s8(), Type.intish()),
-        "extsh": lambda a: handle_convert(a.reg(1), Type.s16(), Type.intish()),
+        "extsb": lambda a: as_type(a.reg(1), Type.s8(), silent=False),
+        "extsh": lambda a: as_type(a.reg(1), Type.s16(), silent=False),
         "cntlzw": lambda a: UnaryOp(op="CLZ", expr=a.reg(1), type=Type.intish()),
         # Load Immediate
         "li": lambda a: a.full_imm(1),

tests/end_to_end/gcc-division/mwcc-o4p-out.c

@@ -12,19 +12,19 @@ void test_s8(s8 c) {
 
     sp8 = c;
     foo((u32) ((s8) (u8) sp8 / 2));
-    foo((s8) (u8) sp8 / 3);
-    foo((s8) (u8) sp8 / 5);
-    foo((s8) (u8) sp8 / 7);
-    foo((s8) (u8) sp8 / 10);
-    foo((s8) (u8) sp8 / 100);
-    foo((s8) (u8) sp8 / 255);
-    foo((s8) (u8) sp8 % 2);
-    foo((s8) (u8) sp8 % 3);
-    foo((s8) (u8) sp8 % 5);
-    foo((s8) (u8) sp8 % 7);
-    foo((s8) (u8) sp8 % 10);
-    foo((s8) (u8) sp8 % 100);
-    foo((s8) (u8) sp8 % 255);
+    foo(sp8 / 3);
+    foo(sp8 / 5);
+    foo(sp8 / 7);
+    foo(sp8 / 10);
+    foo(sp8 / 100);
+    foo(sp8 / 255);
+    foo(sp8 % 2);
+    foo(sp8 % 3);
+    foo(sp8 % 5);
+    foo(sp8 % 7);
+    foo(sp8 % 10);
+    foo(sp8 % 100);
+    foo(sp8 % 255);
 }
 
 void test_s16(s16 h) {

tests/end_to_end/gcc-division/mwcc27-o4p-out.c

@@ -9,28 +9,24 @@ void test(u32 a) {
 
 void test_s8(s8 c) {
     s8 sp8;
-    s8 temp_r0;
-    s8 temp_r3;
-    u32 temp_r3_2;
+    u32 temp_r3;
 
     sp8 = c;
-    temp_r3 = (s8) (u8) sp8;
-    foo((u32) ((s32) (((u32) temp_r3 >> 0x1FU) + temp_r3) >> 1));
-    foo((s8) (u8) sp8 / 3);
-    foo((s8) (u8) sp8 / 5);
-    foo((s8) (u8) sp8 / 7);
-    foo((s8) (u8) sp8 / 10);
-    foo((s8) (u8) sp8 / 100);
-    foo((s8) (u8) sp8 / 255);
-    temp_r0 = (s8) (u8) sp8;
-    temp_r3_2 = (u32) temp_r0 >> 0x1FU;
-    foo(((temp_r0 & 1) ^ temp_r3_2) - temp_r3_2);
-    foo((s8) (u8) sp8 % 3);
-    foo((s8) (u8) sp8 % 5);
-    foo((s8) (u8) sp8 % 7);
-    foo((s8) (u8) sp8 % 10);
-    foo((s8) (u8) sp8 % 100);
-    foo((s8) (u8) sp8 % 255);
+    foo((u32) ((s32) (((u32) (s8) (u8) sp8 >> 0x1FU) + (s8) (u8) sp8) >> 1));
+    foo(sp8 / 3);
+    foo(sp8 / 5);
+    foo(sp8 / 7);
+    foo(sp8 / 10);
+    foo(sp8 / 100);
+    foo(sp8 / 255);
+    temp_r3 = (u32) (s8) (u8) sp8 >> 0x1FU;
+    foo((((s8) (u8) sp8 & 1) ^ temp_r3) - temp_r3);
+    foo(sp8 % 3);
+    foo(sp8 % 5);
+    foo(sp8 % 7);
+    foo(sp8 % 10);
+    foo(sp8 % 100);
+    foo(sp8 % 255);
 }
 
 void test_s16(s16 h) {

tests/end_to_end/signed-conversion/mwcc-o4p-out.c

@@ -5,10 +5,10 @@ void test(s8 arg0) {
     s8 temp_r6;
 
     temp_r5 = arg0 * 2;
-    glob = (s32) (s8) arg0;
+    glob = (s32) arg0;
     temp_r6 = arg0 * 3;
-    glob = (s32) (s8) temp_r5;
-    glob = (s32) (s8) temp_r6;
+    glob = (s32) temp_r5;
+    glob = (s32) temp_r6;
     glob = (s32) (s16) arg0;
     glob = (s32) (s16) temp_r5;
     glob = (s32) (s16) temp_r6;