Implement constant optimization

src/defs.h

@@ -16,8 +16,8 @@
 #define MAX_PARAMS 8
 #define MAX_LOCALS 1450
 #define MAX_FIELDS 32
-#define MAX_FUNCS 256
-#define MAX_FUNC_TRIES 1950
+#define MAX_FUNCS 512
+#define MAX_FUNC_TRIES 2160
 #define MAX_BLOCKS 1150
 #define MAX_TYPES 64
 #define MAX_IR_INSTR 36864
@@ -175,6 +175,7 @@ struct var {
     ref_block_list_t ref_block_list; /* blocks which kill variable */
     int consumed;
     int is_ternary_ret;
+    int is_const; /* whether a constant representaion or not */
 };
 
 typedef struct var var_t;

src/parser.c

@@ -28,6 +28,7 @@ var_t *require_var(block_t *blk)
         error("Too many locals");
 
     var_t *var = &blk->locals[blk->next_local++];
+    var->consumed = -1;
     var->base = var;
     return var;
 }

src/reg-alloc.c

@@ -383,10 +383,22 @@ void reg_alloc()
                     break;
                 case OP_load_constant:
                 case OP_load_data_address:
+                    if (insn->rd->consumed == -1)
+                        break;
+
                     dest = prepare_dest(bb, insn->rd, -1, -1);
                     ir = bb_add_ph2_ir(bb, insn->opcode);
                     ir->src0 = insn->rd->init_val;
                     ir->dest = dest;
+
+                    /* store global variable immediately after assignment */
+                    if (insn->rd->is_global) {
+                        ir = bb_add_ph2_ir(bb, OP_global_store);
+                        ir->src0 = dest;
+                        ir->src1 = insn->rd->offset;
+                        REGS[dest].polluted = 0;
+                    }
+
                     break;
                 case OP_address_of:
                     /* make sure variable is on stack */
@@ -412,6 +424,9 @@ void reg_alloc()
                     ir->dest = dest;
                     break;
                 case OP_assign:
+                    if (insn->rd->consumed == -1)
+                        break;
+
                     src0 = find_in_regs(insn->rs1);
 
                     /* If operand is loaded from stack, clear the original slot

src/ssa.c

@@ -1111,6 +1111,87 @@ int cse(insn_t *insn, basic_block_t *bb)
     return 1;
 }
 
+int mark_const(insn_t *insn)
+{
+    if (insn->opcode == OP_load_constant) {
+        insn->rd->is_const = 1;
+        return 0;
+    }
+    if (insn->opcode != OP_assign)
+        return 0;
+    /* The global variable is unique and has no subscripts in our SSA. Do NOT
+     * evaluate its value.
+     */
+    if (insn->rd->is_global)
+        return 0;
+    if (!insn->rs1->is_const) {
+        if (!insn->prev)
+            return 0;
+        if (insn->prev->opcode != OP_load_constant)
+            return 0;
+        if (insn->rs1 != insn->prev->rd)
+            return 0;
+    }
+
+    insn->opcode = OP_load_constant;
+    insn->rd->is_const = 1;
+    insn->rd->init_val = insn->rs1->init_val;
+    insn->rs1 = NULL;
+    return 1;
+}
+
+int eval_const_arithmetic(insn_t *insn)
+{
+    if (!insn->rs1)
+        return 0;
+    if (!insn->rs1->is_const)
+        return 0;
+    if (!insn->rs2)
+        return 0;
+    if (!insn->rs2->is_const)
+        return 0;
+
+    int res;
+    int l = insn->rs1->init_val;
+    int r = insn->rs2->init_val;
+
+    switch (insn->opcode) {
+    case OP_add:
+        res = l + r;
+        break;
+    case OP_sub:
+        res = l - r;
+        break;
+    case OP_mul:
+        res = l * r;
+        break;
+    case OP_div:
+        res = l / r;
+        break;
+    case OP_mod:
+        res = l % r;
+        break;
+    default:
+        return 0;
+    }
+
+    insn->rs1 = NULL;
+    insn->rs2 = NULL;
+    insn->rd->is_const = 1;
+    insn->rd->init_val = res;
+    insn->opcode = OP_load_constant;
+    return 1;
+}
+
+int const_folding(insn_t *insn)
+{
+    if (mark_const(insn))
+        return 1;
+    if (eval_const_arithmetic(insn))
+        return 1;
+    return 0;
+}
+
 void optimize()
 {
     fn_t *fn;
@@ -1124,7 +1205,8 @@ void optimize()
             for (insn = bb->insn_list.head; insn; insn = insn->next) {
                 if (cse(insn, bb))
                     continue;
-
+                if (const_folding(insn))
+                    continue;
                 /* more optimizations */
             }
         }