From 5ba62d79923a48c1b1f6a8fc236650f5a8281844 Mon Sep 17 00:00:00 2001
From: lemon <lsof@mailbox.org>
Date: Mon, 24 Nov 2025 12:58:46 +0100
Subject: ir: simplify some occurrences of single-argument phis

---
 ir/ssa.c | 10 ++++++++++
 1 file changed, 10 insertions(+)

(limited to 'ir/ssa.c')

diff --git a/ir/ssa.c b/ir/ssa.c
index f6c9d6f..5c9c8f3 100644
--- a/ir/ssa.c
+++ b/ir/ssa.c
@@ -7,6 +7,16 @@ copyopt(struct function *fn)
 
    FREQUIRE(FNUSE);
    do {
+      if (blk->npred == 1) for (int i = 0; i < blk->phi.n; ++i) {
+         /* simplify 1-arg phi */
+         int phi = blk->phi.p[i];
+         union ref *arg = phitab.p[instrtab[phi].l.i];
+         /* being conservative here because phis could have circular dependencies? */
+         if (arg->t != RTMP || instrtab[arg->i].op != Ophi) {
+            replcuses(mkref(RTMP, phi), *arg);
+            delphi(blk, i--);
+         }
+      }
       for (int i = 0; i < blk->ins.n; ++i) {
          union ref var = mkref(RTMP, blk->ins.p[i]);
          struct instr *ins = &instrtab[var.i];
-- 
cgit v1.2.3