diff --git a/llvm/lib/Transforms/IPO/AttributorAttributes.cpp b/llvm/lib/Transforms/IPO/AttributorAttributes.cpp
--- a/llvm/lib/Transforms/IPO/AttributorAttributes.cpp
+++ b/llvm/lib/Transforms/IPO/AttributorAttributes.cpp
@@ -1649,8 +1649,6 @@
             }
           }
         }
-        if (Assumption.first)
-          break;
       }
 
       // Check if we found an assumption associated with this load.