Adds trunc and sign_ext opcodes

Author: ChAoSUnItY

src/arm-codegen.c

@@ -119,6 +119,12 @@ void update_elf_offset(ph2_ir_t *ph2_ir)
     case OP_return:
         elf_offset += 24;
         return;
+    case OP_trunc:
+        elf_offset += 4;
+        return;
+    case OP_sign_ext:
+        elf_offset += 4;
+        return;
     default:
         printf("Unknown opcode\n");
         abort();
@@ -421,6 +427,22 @@ void emit_ph2_ir(ph2_ir_t *ph2_ir)
         emit(__mov_i(__NE, rd, 0));
         emit(__mov_i(__EQ, rd, 1));
         return;
+    case OP_trunc:
+        if (rm == 1) {
+            rm = 0xFF;
+        } else if (rm == 4) {
+            rm = 0xFFFFFFFF;
+        } else {
+            printf("Unsupported truncation operation with target size %d\n",
+                   rm);
+            abort();
+        }
+
+        emit(__and_i(__AL, rd, rn, rm));
+        return;
+    case OP_sign_ext:
+        emit(__sxtb(__AL, rd, rn, 0));
+        return;
     default:
         printf("Unknown opcode\n");
         abort();

src/arm.c

@@ -251,6 +251,11 @@ int __sub_r(arm_cond_t cond, arm_reg rd, arm_reg rs, arm_reg ro)
     return __mov(cond, 0, arm_sub, 0, rs, rd, ro);
 }
 
+int __and_i(arm_cond_t cond, arm_reg rd, arm_reg rs, int imm)
+{
+    return __mov(cond, 1, arm_and, 0, rs, rd, imm);
+}
+
 int __zero(int rd)
 {
     return __mov_i(__AL, rd, 0);
@@ -349,3 +354,14 @@ int __teq(arm_reg rd)
 {
     return __mov(__AL, 1, arm_teq, 1, rd, 0, 0);
 }
+
+int __sxtb(arm_cond_t cond, arm_reg rd, arm_reg rm, int rotation)
+{
+    if (rotation != 0 && rotation != 8 && rotation != 16 && rotation != 24) {
+        printf("SXTB rotation must be 0, 8, 16, or 24\n");
+        abort();
+    }
+
+    return arm_encode(cond, 106, 0xF, rd,
+                      rm | ((rotation >> 3) << 10) | (0x7 << 4));
+}

src/defs.h

@@ -248,6 +248,10 @@ typedef enum {
     OP_bit_not,
     OP_negate,
 
+    /* data type conversion */
+    OP_trunc,
+    OP_sign_ext,
+
     /* entry point of the state machine */
     OP_start
 } opcode_t;

src/globals.c

@@ -39,9 +39,18 @@ hashmap_t *FUNC_MAP;
 hashmap_t *ALIASES_MAP;
 hashmap_t *CONSTANTS_MAP;
 
+/* Types */
+
 type_t *TYPES;
 int types_idx = 0;
 
+type_t *TY_void;
+type_t *TY_char;
+type_t *TY_bool;
+type_t *TY_int;
+
+/* Arenas */
+
 arena_t *INSN_ARENA;
 
 /* BLOCK_ARENA is responsible for block_t / var_t allocation */
@@ -1242,6 +1251,16 @@ void dump_bb_insn(func_t *func, basic_block_t *bb, bool *at_func_start)
             printf("%%%s = lshift %%%s, %%%s", rd->var_name, rs1->var_name,
                    rs2->var_name);
             break;
+        case OP_trunc:
+            print_indent(1);
+            printf("%%%s = trunc %%%s, %d", rd->var_name, rs1->var_name,
+                   insn->sz);
+            break;
+        case OP_sign_ext:
+            print_indent(1);
+            printf("%%%s = sign_ext %%%s, %d", rd->var_name, rs1->var_name,
+                   insn->sz);
+            break;
         default:
             printf("<Unsupported opcode: %d>", insn->opcode);
             break;