Summary: [Attributor] liveness analysis. This is only a first draft and should be modified heavily.

[sstefan1]

• fix diff

Updating D64106: Summary:

[Attributor] liveness analysis. This is only a first draft and should be modified heavily.

llvm/include/llvm/Transforms/IPO/Attributor.h

struct AANoUnwind : public AbstractAttribute {
     /// Returns true if nounwind is assumed.
     virtual bool isAssumedNoUnwind() const = 0;
 
     /// Returns true if nounwind is known.
     virtual bool isKnownNoUnwind() const = 0;
 };
 
 struct AAIsAssumedDead : public AbstractAttribute {
-    /// An abstract interface for liveness abstract attribute.
-    AAIsAssumedDead(Value &V, InformationCache &InfoCache)
-        : AbstractAttribute(V, InfoCache) {}
 
-    /// See AbstractAttribute::getAttrKind()/
-    virtual Attribute::AttrKind getAttrKind() const override { return ID; }
 
-    static constexpr Attribute::AttrKind ID =
-        Attribute::AttrKind(Attribute::None + 1);
 
-    /// Returns true if nounwind is assumed.
-    virtual bool isAssumedDead() const = 0;
 
-    /// Returns true if nounwind is known.
-    virtual bool isKnownDead() const = 0;
 };
 
 } // end namespace llvm
 
 #endif // LLVM_TRANSFORMS_IPO_FUNCTIONATTRS_H

llvm/lib/Transforms/IPO/Attributor.cpp

for (Function &F : M) {
     //       information was found we could duplicate the functions that do not
     //       have an exact definition.
     if (!F.hasExactDefinition()) {
       LLVM_DEBUG(dbgs() << "NOT EXACT...\n");
       NumFnWithoutExactDefinition++;
       continue;
     }
 
-    // LLVM_DEBUG(dbgs() << "NAKED\n");
-    // // For now we ignore naked and optnone functions.
-    // if (F.hasFnAttribute(Attribute::Naked) ||
-        // F.hasFnAttribute(Attribute::OptimizeNone))
-      // continue;
+    // For now we ignore naked and optnone functions.
+    if (F.hasFnAttribute(Attribute::Naked) ||
+        F.hasFnAttribute(Attribute::OptimizeNone))
+      continue;
+
+    LLVM_DEBUG(dbgs() << "NAKED\n");
+    // For now we ignore naked and optnone functions.
+    if (F.hasFnAttribute(Attribute::Naked) ||
+        F.hasFnAttribute(Attribute::OptimizeNone))
+      continue;
 
     NumFnWithExactDefinition++;
 
-    LLVM_DEBUG(dbgs() << "calling identify...\n");
     // Populate the Attributor with abstract attribute opportunities in the
     // function and the information cache with IR information.
     A.identifyDefaultAbstractAttributes(F, InfoCache);
   }
 
   return A.run() == ChangeStatus::CHANGED;
 }