Index: lib/CodeGen/IslNodeBuilder.cpp
===================================================================
--- lib/CodeGen/IslNodeBuilder.cpp
+++ lib/CodeGen/IslNodeBuilder.cpp
@@ -1198,6 +1198,7 @@
     isl_id_free(ParamId);
   }
 
+  ValueMapT PreloadedPointers;
   BasicBlock *EntryBB = &Builder.GetInsertBlock()->getParent()->getEntryBlock();
   auto *Alloca = new AllocaInst(AccInstTy, AccInst->getName() + ".preload.s2a");
   Alloca->insertBefore(&*EntryBB->getFirstInsertionPt());
@@ -1220,10 +1221,14 @@
       if (BasePtr == MA->getAccessInstruction())
         ScalarMap[DerivedSAI] = Alloca;
     }
+
+    if (BasePtr == AccInst && !PreloadedPointers.count(PreloadVal))
+      PreloadedPointers[PreloadVal] = BasePtr;
   }
 
-  for (const MemoryAccess *MA : MAs) {
+  Annotator.addAlternativeAliasBases(PreloadedPointers);
 
+  for (const MemoryAccess *MA : MAs) {
     Instruction *MAAccInst = MA->getAccessInstruction();
     // Use the escape system to get the correct value to users outside the SCoP.
     BlockGenerator::EscapeUserVectorTy EscapeUsers;
Index: test/Isl/CodeGen/invariant_load_alias_metadata.ll
===================================================================
--- /dev/null
+++ test/Isl/CodeGen/invariant_load_alias_metadata.ll
@@ -0,0 +1,26 @@
+; RUN: opt %loadPolly -polly-codegen -polly-invariant-load-hoisting=true \
+; RUN: -S < %s | FileCheck %s
+;
+; This test case checks whether Polly generates alias metadata in case of
+; polly-invariant-load-hoisting.
+;
+; CHECK:  store float 4.200000e+01, float* %polly.access.A.load, !alias.scope
+
+target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"
+target triple = "x86_64-unknown-linux-gnu"
+
+define void @nometadata(float** %A) {
+  entry:
+    br label %for
+
+  for:
+    %indvar = phi i64 [0, %entry], [%indvar.next, %for]
+    %indvar.next = add i64 %indvar, 1
+    %ptrA = load float*, float** %A
+    store float 42.0, float* %ptrA
+    %icmp = icmp sle i64 %indvar, 1024
+    br i1 %icmp, label %for, label %exit
+
+  exit:
+    ret void
+}