1 files changed, 9 insertions, 15 deletions
diff --git a/llvm/lib/Transforms/Utils/Local.cpp b/llvm/lib/Transforms/Utils/Local.cpp
index fa42902..3f76295 100644
--- a/llvm/lib/Transforms/Utils/Local.cpp
+++ b/llvm/lib/Transforms/Utils/Local.cpp
@@ -1947,24 +1947,18 @@ void llvm::copyNonnullMetadata(const LoadInst &OldLI, MDNode *N,
 void llvm::copyRangeMetadata(const DataLayout &DL, const LoadInst &OldLI,
                              MDNode *N, LoadInst &NewLI) {
   auto *NewTy = NewLI.getType();
-  auto *OldTy = OldLI.getType();
 
-  if (DL.getTypeStoreSizeInBits(NewTy) == DL.getTypeSizeInBits(OldTy) &&
-      NewTy->isIntegerTy()) {
-    // An integer with the same number of bits - give it the range
-    // metadata!.
-    NewLI.setMetadata(LLVMContext::MD_range, N);
+  // Give up unless it is converted to a pointer where there is a single very
+  // valuable mapping we can do reliably.
+  // FIXME: It would be nice to propagate this in more ways, but the type
+  // conversions make it hard.
+  if (!NewTy->isPointerTy())
     return;
-  }
 
-  if (NewTy->isPointerTy()) {
-    // Try to convert the !range metadata to !nonnull metadata on the
-    // new pointer.
-    unsigned BitWidth = DL.getTypeSizeInBits(NewTy);
-    if (!getConstantRangeFromMetadata(*N).contains(APInt(BitWidth, 0))) {
-      MDNode *NN = MDNode::get(OldLI.getContext(), None);
-      NewLI.setMetadata(LLVMContext::MD_nonnull, NN);
-    }
+  unsigned BitWidth = DL.getTypeSizeInBits(NewTy);
+  if (!getConstantRangeFromMetadata(*N).contains(APInt(BitWidth, 0))) {
+    MDNode *NN = MDNode::get(OldLI.getContext(), None);
+    NewLI.setMetadata(LLVMContext::MD_nonnull, NN);
   }
 }