[llvm] 675334d - [Attributor] Mark dependence as optional

[Johannes Doerfert via llvm-commits]

Author: Johannes Doerfert
Date: 2020-05-07T17:00:50-05:00
New Revision: 675334daef991253e917411324d51751007c2fb8

URL: https://github.com/llvm/llvm-project/commit/675334daef991253e917411324d51751007c2fb8
DIFF: https://github.com/llvm/llvm-project/commit/675334daef991253e917411324d51751007c2fb8.diff

LOG: [Attributor] Mark dependence as optional

Added: 
    

Modified: 
    llvm/lib/Transforms/IPO/AttributorAttributes.cpp

Removed: 
    


################################################################################
diff  --git a/llvm/lib/Transforms/IPO/AttributorAttributes.cpp b/llvm/lib/Transforms/IPO/AttributorAttributes.cpp
index 77c0e9084398..d26ca6525c27 100644
--- a/llvm/lib/Transforms/IPO/AttributorAttributes.cpp
+++ b/llvm/lib/Transforms/IPO/AttributorAttributes.cpp
@@ -3018,7 +3018,8 @@ identifyAliveSuccessors(Attributor &A, const InvokeInst &II,
     AliveSuccessors.push_back(&II.getUnwindDest()->front());
   } else {
     const IRPosition &IPos = IRPosition::callsite_function(II);
-    const auto &AANoUnw = A.getAAFor<AANoUnwind>(AA, IPos);
+    const auto &AANoUnw = A.getAAFor<AANoUnwind>(
+        AA, IPos, /* TrackDependence */ true, DepClassTy::OPTIONAL);
     if (AANoUnw.isAssumedNoUnwind()) {
       UsedAssumedInformation |= !AANoUnw.isKnownNoUnwind();
     } else {