From 64710a5a9dd258bccf39ab1fa4ce607e62507c04 Mon Sep 17 00:00:00 2001
From: bd-912 <bdunahu@colostate.edu>
Date: Sat, 20 Apr 2024 15:33:01 -0600
Subject: Implement liveness tracking in CFG

---
 vaporize/library/CFGSimp.java | 25 ++++++++++++++++++++++---
 1 file changed, 22 insertions(+), 3 deletions(-)

(limited to 'vaporize/library/CFGSimp.java')

diff --git a/vaporize/library/CFGSimp.java b/vaporize/library/CFGSimp.java
index 6aaf0d1..76d5acd 100644
--- a/vaporize/library/CFGSimp.java
+++ b/vaporize/library/CFGSimp.java
@@ -57,11 +57,12 @@ public class CFGSimp extends VInstr.VisitorPR<ControlFlowGraph, String, RuntimeE
             for (VInstr s : f.body)
                 s.accept(cfg, this);
 
-            MinimalLogger.info(String.format("Spitting out reaching..."));
+            MinimalLogger.info(String.format("Spitting out reaching/liveness..."));
             for (CFGNode n : cfg.getNodes())
-                MinimalLogger.info(String.format("%d ::: %s",
+                MinimalLogger.info(String.format("%d ::: %s ::: %s",
                                                  n.getLine(),
-                                                 n.getReaching()));
+                                                 n.getReaching(),
+                                                 n.getLiveness()));
 
             if (this.use_graphviz)
                 this.createDotGraph(this.kettle.parseFuncName(f));
@@ -102,6 +103,8 @@ public class CFGSimp extends VInstr.VisitorPR<ControlFlowGraph, String, RuntimeE
         this.curr = curr;
 
         curr.addReaching(n.dest.toString());
+        if (!n.source.toString().matches("-?(0|[1-9]\\d*)"))
+            curr.addLiveness(((VMemRef.Global) n.source).base.toString());
         ///////////////////////////////////////////////////////////////
         MinimalLogger.info(String.format("<-%s (\"%s\":%s)",
                                          n.getClass().getSimpleName(),
@@ -119,6 +122,10 @@ public class CFGSimp extends VInstr.VisitorPR<ControlFlowGraph, String, RuntimeE
         CFGNode curr = cfg.getNode(n);
         this.dot_format += cfg.addEdge(this.curr, curr);
         this.curr = curr;
+
+        if (!n.source.toString().matches("-?(0|[1-9]\\d*)"))
+            curr.addLiveness(n.source.toString());
+
         ///////////////////////////////////////////////////////////////
         MinimalLogger.info(String.format("<-%s (\"%s\":%s)",
                                          n.getClass().getSimpleName(),
@@ -138,6 +145,8 @@ public class CFGSimp extends VInstr.VisitorPR<ControlFlowGraph, String, RuntimeE
         this.curr = curr;
 
         curr.addReaching(n.dest.toString());
+        if (!n.source.toString().matches("-?(0|[1-9]\\d*)"))
+            curr.addLiveness(n.source.toString());
         ///////////////////////////////////////////////////////////////
         MinimalLogger.info(String.format("<-%s (\"%s\":%s)",
                                          n.getClass().getSimpleName(),
@@ -158,6 +167,7 @@ public class CFGSimp extends VInstr.VisitorPR<ControlFlowGraph, String, RuntimeE
                                                                      .findLabelIndex(n.target.toString()))));
 
         this.curr = curr;
+        curr.addLiveness(n.value.toString());
         ///////////////////////////////////////////////////////////////
         MinimalLogger.info(String.format("<-%s (\"%s\":%s)",
                                          n.getClass().getSimpleName(),
@@ -199,6 +209,9 @@ public class CFGSimp extends VInstr.VisitorPR<ControlFlowGraph, String, RuntimeE
 
         if (n.dest != null)
             curr.addReaching(n.dest.toString());
+        for (VOperand a : n.args)
+            if (!a.toString().matches("-?(0|[1-9]\\d*)"))
+                curr.addLiveness(a.toString());
         ///////////////////////////////////////////////////////////////
         MinimalLogger.info(String.format("<-%s (\"%s\":%s)",
                                          n.getClass().getSimpleName(),
@@ -219,6 +232,9 @@ public class CFGSimp extends VInstr.VisitorPR<ControlFlowGraph, String, RuntimeE
 
         if (n.dest != null)
             curr.addReaching(n.dest.toString());
+        for (VOperand a : n.args)
+            if (!a.toString().matches("-?(0|[1-9]\\d*)"))
+                curr.addLiveness(a.toString());
         ///////////////////////////////////////////////////////////////
         MinimalLogger.info(String.format("<-%s (\"%s\":%s)",
                                          n.getClass().getSimpleName(),
@@ -236,6 +252,9 @@ public class CFGSimp extends VInstr.VisitorPR<ControlFlowGraph, String, RuntimeE
         CFGNode curr = cfg.getNode(n);
         this.dot_format += cfg.addEdge(this.curr, curr);
         this.curr = curr;
+
+        if (n.value != null)
+            curr.addLiveness(n.value.toString());
         ///////////////////////////////////////////////////////////////
         MinimalLogger.info(String.format("<-%s (\"%s\":%s)",
                                          n.getClass().getSimpleName(),
-- 
cgit v1.2.3