Support variable typing & integer resizing

In this patch, all variables (including IR generated variables) are now
guaranteed to have default type "int" to later used for integer
resizing, this includes truncation and sign extension. Currently, only
following cases will generate resizing opcodes (OP_trunc & OP_sign_ext):

- variable assignment to registers
- function parameter preparation, variadic function parameters are
  default to have size of int type

Additionally, several data structures and memory managements are
adjusted to have extensibility, this includes local variable and
syntactic block allocation.

Close #166.

Author: ChAoSUnItY

src/arm-codegen.c

@@ -126,8 +126,7 @@ void update_elf_offset(ph2_ir_t *ph2_ir)
         elf_offset += 4;
         return;
     default:
-        printf("Unknown opcode\n");
-        abort();
+        fatal("Unknown opcode");
     }
 }
 
@@ -428,24 +427,23 @@ void emit_ph2_ir(ph2_ir_t *ph2_ir)
         emit(__mov_i(__EQ, rd, 1));
         return;
     case OP_trunc:
-        if (rm == 1) {
+        if (rm == 1)
             rm = 0xFF;
-        } else if (rm == 4) {
+        else if (rm == 2)
+            rm = 0xFFFF;
+        else if (rm == 4)
             rm = 0xFFFFFFFF;
-        } else {
-            printf("Unsupported truncation operation with target size %d\n",
-                   rm);
-            abort();
-        }
+        else
+            fatal("Unsupported truncation operation with invalid target size");
 
         emit(__and_i(__AL, rd, rn, rm));
         return;
     case OP_sign_ext:
+        /* TODO: Allow to sign extends to other types */
         emit(__sxtb(__AL, rd, rn, 0));
         return;
     default:
-        printf("Unknown opcode\n");
-        abort();
+        fatal("Unknown opcode");
     }
 }
 

src/arm.c

@@ -357,10 +357,8 @@ int __teq(arm_reg rd)
 
 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();
-    }
+    if (rotation != 0 && rotation != 8 && rotation != 16 && rotation != 24)
+        fatal("SXTB rotation must be 0, 8, 16, or 24");
 
     return arm_encode(cond, 106, 0xF, rd,
                       rm | ((rotation >> 3) << 10) | (0x7 << 4));

src/defs.h

@@ -290,7 +290,6 @@ typedef struct var_list {
 } var_list_t;
 
 struct var {
-    char type_name[MAX_TYPE_LEN];
     type_t *type;
     char var_name[MAX_VAR_LEN];
     int is_ptr;

src/elf.c

@@ -7,6 +7,10 @@
 
 /* ELF file manipulation */
 
+#include "../config"
+#include "defs.h"
+#include "globals.c"
+
 int elf_symbol_index;
 
 void elf_write_str(strbuf_t *elf_array, char *vals)

src/globals.c

@@ -691,9 +691,7 @@ int size_var(var_t *var)
     if (var->is_ptr > 0 || var->is_func) {
         size = 4;
     } else {
-        type_t *type = find_type(var->type_name, 0);
-        if (!type)
-            error("Incomplete type");
+        type_t *type = var->type;
         if (type->size == 0)
             size = type->base_struct->size;
         else
@@ -1018,6 +1016,14 @@ void global_release()
     strbuf_free(elf_section);
 }
 
+/* Reports an error without specifying a position */
+void fatal(char *msg)
+{
+    printf("[Error]: %s\n", msg);
+    abort();
+}
+
+/* Reports an error and specifying a position */
 void error(char *msg)
 {
     /* Construct error source diagnostics, enabling precise identification of
@@ -1048,8 +1054,8 @@ void error(char *msg)
     /* TODO: figure out the corresponding C source file path and report line
      * number.
      */
-    printf("Error %s at source location %d\n%s\n", msg, SOURCE->size,
-           diagnostic);
+    printf("[Error]: %s\nOccurs at source location %d.\n%s\n", msg,
+           SOURCE->size, diagnostic);
     abort();
 }
 
@@ -1081,7 +1087,7 @@ void dump_bb_insn(func_t *func, basic_block_t *bb, bool *at_func_start)
             continue;
         case OP_allocat:
             print_indent(1);
-            printf("allocat %s", rd->type_name);
+            printf("allocat %s", rd->type->type_name);
 
             for (int i = 0; i < rd->is_ptr; i++)
                 printf("*");
@@ -1287,7 +1293,7 @@ void dump_insn()
     for (func_t *func = FUNC_LIST.head; func; func = func->next) {
         bool at_func_start = true;
 
-        printf("def %s", func->return_def.type_name);
+        printf("def %s", func->return_def.type->type_name);
 
         for (int i = 0; i < func->return_def.is_ptr; i++)
             printf("*");
@@ -1296,7 +1302,7 @@ void dump_insn()
         for (int i = 0; i < func->num_params; i++) {
             if (i != 0)
                 printf(", ");
-            printf("%s", func->param_defs[i].type_name);
+            printf("%s", func->param_defs[i].type->type_name);
 
             for (int k = 0; k < func->param_defs[i].is_ptr; k++)
                 printf("*");
@@ -1312,7 +1318,7 @@ void dump_insn()
             if (!bb)
                 continue;
 
-            if (strcmp(func->return_def.type_name, "void"))
+            if (func->return_def.type != TY_void)
                 continue;
 
             if (bb->insn_list.tail)