diff options
| -rw-r--r-- | llvm/lib/Analysis/AliasSetTracker.cpp | 4 | ||||
| -rw-r--r-- | llvm/test/Transforms/LICM/pr26843.ll | 32 |
2 files changed, 34 insertions, 2 deletions
diff --git a/llvm/lib/Analysis/AliasSetTracker.cpp b/llvm/lib/Analysis/AliasSetTracker.cpp index 97e50c6dbc3..e3a055f2d1b 100644 --- a/llvm/lib/Analysis/AliasSetTracker.cpp +++ b/llvm/lib/Analysis/AliasSetTracker.cpp @@ -355,7 +355,7 @@ bool AliasSetTracker::add(MemSetInst *MSI) { Len = MemoryLocation::UnknownSize; AliasSet &AS = - addPointer(MSI->getDest(), Len, AAInfo, AliasSet::ModAccess, NewPtr); + addPointer(MSI->getRawDest(), Len, AAInfo, AliasSet::ModAccess, NewPtr); if (MSI->isVolatile()) AS.setVolatile(); return NewPtr; @@ -510,7 +510,7 @@ bool AliasSetTracker::remove(MemSetInst *MSI) { else Len = MemoryLocation::UnknownSize; - AliasSet *AS = findAliasSetForPointer(MSI->getDest(), Len, AAInfo); + AliasSet *AS = findAliasSetForPointer(MSI->getRawDest(), Len, AAInfo); if (!AS) return false; remove(*AS); diff --git a/llvm/test/Transforms/LICM/pr26843.ll b/llvm/test/Transforms/LICM/pr26843.ll new file mode 100644 index 00000000000..a14acbef964 --- /dev/null +++ b/llvm/test/Transforms/LICM/pr26843.ll @@ -0,0 +1,32 @@ +; RUN: opt -S -basicaa -licm < %s | FileCheck %s + +target datalayout = "e-m:x-p:32:32-i64:64-f80:32-n8:16:32-a:0:32-S32" +target triple = "i686-pc-windows-msvc18.0.0" + +@v = common global i32 zeroinitializer, align 4 + +; Make sure the store to v is not sunk past the memset +; CHECK-LABEL: @main +; CHECK: for.body: +; CHECK-NEXT: store i32 1, i32* @v +; CHECK-NEXT: tail call void @llvm.memset +; CHECK: end: +; CHECK-NEXT: ret i32 0 + +define i32 @main(i1 %k) { +entry: + br label %for.body + +for.body: + store i32 1, i32* @v, align 4 + tail call void @llvm.memset.p0i8.i32(i8* bitcast (i32* @v to i8*), i8 0, i32 4, i32 4, i1 false) + br label %for.latch + +for.latch: + br i1 %k, label %for.body, label %end + +end: + ret i32 0 +} + +declare void @llvm.memset.p0i8.i32(i8* nocapture, i8, i32, i32, i1) |
