Eliminate math instructions based on properties

This patch eliminates math instructions (add, sub, and mul to be
specific) when the criterion is matched. Including:
- Identity property for addition.
- Zero and identity property for multiplication, these are
  effective when doing pointer offset.
- Subtraction will be replaced based on operand, e.g., "s - 0" will be
  replaced with "s"; "0 - s" will be replaced with "-s".

Author: ChAoSUnItY

src/peephole.c

@@ -31,23 +31,105 @@ bool is_fusible_insn(ph2_ir_t *ph2_ir)
     }
 }
 
-void insn_fusion(ph2_ir_t *ph2_ir)
+bool insn_fusion(ph2_ir_t *ph2_ir)
 {
     ph2_ir_t *next = ph2_ir->next;
     if (!next)
-        return;
+        return false;
 
     if (next->op == OP_assign) {
-        /* eliminate {ALU rn, rs1, rs2; mv rd, rn;} */
-        if (!is_fusible_insn(ph2_ir))
-            return;
-        if (ph2_ir->dest == next->src0) {
+        if (is_fusible_insn(ph2_ir) && ph2_ir->dest == next->src0) {
+            /* eliminates:
+             * {ALU rn, rs1, rs2; mv rd, rn;}
+             * reduces to:
+             * {ALU rd, rs1, s2;}
+             */
             ph2_ir->dest = next->dest;
             ph2_ir->next = next->next;
-            return;
+            return true;
         }
     }
+
+    if (ph2_ir->op == OP_load_constant && ph2_ir->src0 == 0) {
+        if (next->op == OP_add &&
+            (ph2_ir->dest == next->src0 || ph2_ir->dest == next->src1)) {
+            /* eliminates:
+             * {li rn, 0; add rd, rs1, rn;} or
+             * {li rn, 0; add rd, rn, rs1;}
+             * reduces to:
+             * {mv rd, rs1;}, based on identity property of addition
+             */
+            ph2_ir->op = OP_assign;
+            ph2_ir->src0 = ph2_ir->dest == next->src0 ? next->src1 : next->src0;
+            ph2_ir->dest = next->dest;
+            ph2_ir->next = next->next;
+            return true;
+        }
+
+        if (next->op == OP_sub) {
+            if (ph2_ir->dest == next->src1) {
+                /* eliminates:
+                 * {li rn, 0; sub rd, rs1, rn;}
+                 * reduces to:
+                 * {mv rd, rs1;}
+                 */
+                ph2_ir->op = OP_assign;
+                ph2_ir->src0 = next->src0;
+                ph2_ir->dest = next->dest;
+                ph2_ir->next = next->next;
+                return true;
+            }
+
+            if (ph2_ir->dest == next->src0) {
+                /* eliminates:
+                 * {li rn, 0; sub rd, rn, rs1;}
+                 * reduces to:
+                 * {negate rd, rs1;}
+                 */
+                ph2_ir->op = OP_negate;
+                ph2_ir->src0 = next->src1;
+                ph2_ir->dest = next->dest;
+                ph2_ir->next = next->next;
+                return true;
+            }
+        }
+
+        if (next->op == OP_mul &&
+            (ph2_ir->dest == next->src0 || ph2_ir->dest == next->src1)) {
+            /* eliminates:
+             * {li rn, 0; mul rd, rs1, rn;} or
+             * {li rn, 0; mul rd, rn, rs1;}
+             * reduces to:
+             * {li rd, 0}, based on zero property of multiplication
+             */
+            ph2_ir->op = OP_load_constant;
+            ph2_ir->src0 = 0;
+            ph2_ir->dest = next->dest;
+            ph2_ir->next = next->next;
+            return true;
+        }
+    }
+
+    if (ph2_ir->op == OP_load_constant && ph2_ir->src0 == 1) {
+        if (next->op == OP_mul &&
+            (ph2_ir->dest == next->src0 || ph2_ir->dest == next->src1)) {
+            /* eliminates:
+             * {li rn, 1; mul rd, rs1, rn;} or
+             * {li rn, 1; mul rd, rn, rs1;}
+             * reduces to:
+             * {li rd, rs1}, based on identity property of multiplication
+             */
+            ph2_ir->op = OP_assign;
+            ph2_ir->src0 = ph2_ir->dest == next->src0 ? next->src1 : next->src0;
+            ph2_ir->dest = next->dest;
+            ph2_ir->next = next->next;
+            return true;
+        }
+    }
+
     /* other insn fusions */
+
+    return false;
 }
 
 /* FIXME: release detached basic blocks */
@@ -63,6 +145,7 @@ void peephole()
                     ir->next = next->next;
                     continue;
                 }
+
                 insn_fusion(ir);
             }
         }