A global variable with external weak linkage can be null, while
authorDuncan Sands <baldrick@free.fr>
Wed, 19 Sep 2007 10:10:31 +0000 (10:10 +0000)
committerDuncan Sands <baldrick@free.fr>
Wed, 19 Sep 2007 10:10:31 +0000 (10:10 +0000)
an alias could alias such a global variable.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@42130 91177308-0d34-0410-b5e6-96231b3b80d8

lib/Transforms/Scalar/InstructionCombining.cpp

index 55ef0a8098512eae2524031b83b0da6650ed85d0..07eb2528c455531ce8e2c1495f66be95bb6137af 100644 (file)
@@ -8936,8 +8936,12 @@ static Instruction *InstCombineLoadCast(InstCombiner &IC, LoadInst &LI) {
 /// specified pointer, we do a quick local scan of the basic block containing
 /// ScanFrom, to determine if the address is already accessed.
 static bool isSafeToLoadUnconditionally(Value *V, Instruction *ScanFrom) {
-  // If it is an alloca or global variable, it is always safe to load from.
-  if (isa<AllocaInst>(V) || isa<GlobalVariable>(V)) return true;
+  // If it is an alloca it is always safe to load from.
+  if (isa<AllocaInst>(V)) return true;
+
+  // Don't try to evaluate aliases.  External weak GV can be null.
+  if (const GlobalValue *GV = dyn_cast<GlobalVariable>(V))
+    return !isa<GlobalAlias>(GV) && !GV->hasExternalWeakLinkage();
 
   // Otherwise, be a little bit agressive by scanning the local block where we
   // want to check to see if the pointer is already being loaded or stored