diff options
| author | bd-912 <bdunahu@colostate.edu> | 2024-04-26 16:19:39 -0600 |
|---|---|---|
| committer | bd-912 <bdunahu@colostate.edu> | 2024-04-26 16:19:39 -0600 |
| commit | ccd38b0746b0b5aeeefdd6e49f2c9d6cb66676f4 (patch) | |
| tree | 737a53d72c028bdae8a77351e718458a2ed7d0e4 /vaporize/LIRVisitor.java | |
| parent | 1851f5e76018ec1df3b55dce6cc9a64c9497bf7a (diff) | |
Fix some issues in VCall+VMemRead Liveness
Diffstat (limited to 'vaporize/LIRVisitor.java')
| -rw-r--r-- | vaporize/LIRVisitor.java | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/vaporize/LIRVisitor.java b/vaporize/LIRVisitor.java index d336ffe..da6abb6 100644 --- a/vaporize/LIRVisitor.java +++ b/vaporize/LIRVisitor.java @@ -119,7 +119,8 @@ public class LIRVisitor extends VInstr.VisitorPR<ControlFlowGraph, String, Runti this.dot_format += cfg.addEdge(this.curr, curr); this.curr = curr; - cfg.addLiveness(curr, n.source.toString()); + cfg.addLiveness(curr, ((VMemRef.Global) n.dest).base.toString()); + cfg.addLiveness(curr, n.source.toString()); /////////////////////////////////////////////////////////////// MinimalLogger.info(String.format("<-%s (\"%s\":%s)", n.getClass().getSimpleName(), @@ -204,6 +205,7 @@ public class LIRVisitor extends VInstr.VisitorPR<ControlFlowGraph, String, Runti for (VOperand a : n.args) { cfg.addLiveness(curr, a.toString()); } + cfg.addLiveness(curr, n.addr.toString()); /////////////////////////////////////////////////////////////// MinimalLogger.info(String.format("<-%s (\"%s\":%s)", n.getClass().getSimpleName(), |