[enco] Eliminate Objects with no backing bag (#1719)

This commit allows Dead Object Elimination (DOE) pass to eliminate
objects with no backing bag (if it has no uses).

Signed-off-by: Jonghyun Park <jh1302.park@samsung.com>

diff --git a/contrib/enco/core/src/Transforms/DeadObjectElimination.cpp b/contrib/enco/core/src/Transforms/DeadObjectElimination.cpp
index 1f5970e..fc77d9b 100644 (file)
--- a/contrib/enco/core/src/Transforms/DeadObjectElimination.cpp
+++ b/contrib/enco/core/src/Transforms/DeadObjectElimination.cpp
@@ -28,11 +28,20 @@ std::set<coco::Object *> dead_objects(const coco::Module *m)
   for (uint32_t n = 0; n < m->entity()->object()->size(); ++n)
   {
     auto obj = m->entity()->object()->at(n);
-    auto bag = obj->bag();
 
-    if (coco::readers(bag).empty() && !(bag->isOutput()))
+    if (auto bag = obj->bag())
     {
-      res.insert(obj);
+      if (coco::readers(bag).empty() && !(bag->isOutput()))
+      {
+        res.insert(obj);
+      }
+    }
+    else
+    {
+      if (obj->uses()->size() == 0)
+      {
+        res.insert(obj);
+      }
     }
   }