diff options
| author | Tim Shen <timshen91@gmail.com> | 2016-08-25 19:27:26 +0000 |
|---|---|---|
| committer | Tim Shen <timshen91@gmail.com> | 2016-08-25 19:27:26 +0000 |
| commit | a3dbead2d66a1b0b563f9648a8301394cf9246ce (patch) | |
| tree | ac7a8d64b75bd2b86be9a1d7512fc7114aadae98 /llvm/test/Transforms | |
| parent | 3a46def40c2c679c087918cfec00e6120b93da50 (diff) | |
| download | bcm5719-llvm-a3dbead2d66a1b0b563f9648a8301394cf9246ce.tar.gz bcm5719-llvm-a3dbead2d66a1b0b563f9648a8301394cf9246ce.zip | |
[MemCpy] Check for alias in performMemCpyToMemSetOptzn, instead of the identity of two operands
Summary:
This fixes pr29105. The reason is that lifetime marks creates new
aliasing pointers the original ones, but before this patch aliases
were not checked in performMemCpyToMemSetOptzn.
Subscribers: llvm-commits
Differential Revision: https://reviews.llvm.org/D23846
llvm-svn: 279769
Diffstat (limited to 'llvm/test/Transforms')
| -rw-r--r-- | llvm/test/Transforms/MemCpyOpt/pr29105.ll | 38 |
1 files changed, 38 insertions, 0 deletions
diff --git a/llvm/test/Transforms/MemCpyOpt/pr29105.ll b/llvm/test/Transforms/MemCpyOpt/pr29105.ll new file mode 100644 index 00000000000..ad9f97e7a23 --- /dev/null +++ b/llvm/test/Transforms/MemCpyOpt/pr29105.ll @@ -0,0 +1,38 @@ +; RUN: opt -memcpyopt -instcombine -S %s | FileCheck %s +%Foo = type { [2048 x i64] } + +; CHECK-LABEL: @baz( +; CHECK-NOT: call void @llvm.memcpy +define void @baz() unnamed_addr #0 { +entry-block: + %x.sroa.0 = alloca [2048 x i64], align 8 + %tmp0 = alloca [2048 x i64], align 8 + %0 = bitcast [2048 x i64]* %tmp0 to i8* + %tmp2 = alloca %Foo, align 8 + %x.sroa.0.0..sroa_cast6 = bitcast [2048 x i64]* %x.sroa.0 to i8* + call void @llvm.lifetime.start(i64 16384, i8* %x.sroa.0.0..sroa_cast6) + call void @llvm.lifetime.start(i64 16384, i8* %0) + call void @llvm.memset.p0i8.i64(i8* %0, i8 0, i64 16384, i32 8, i1 false) + call void @llvm.memcpy.p0i8.p0i8.i64(i8* %x.sroa.0.0..sroa_cast6, i8* %0, i64 16384, i32 8, i1 false) + call void @llvm.lifetime.end(i64 16384, i8* %0) + %1 = bitcast %Foo* %tmp2 to i8* + call void @llvm.lifetime.start(i64 16384, i8* %1) + call void @llvm.memcpy.p0i8.p0i8.i64(i8* %1, i8* %x.sroa.0.0..sroa_cast6, i64 16384, i32 8, i1 false) + call void @bar(%Foo* noalias nocapture nonnull dereferenceable(16384) %tmp2) + call void @llvm.lifetime.end(i64 16384, i8* %1) + call void @llvm.lifetime.end(i64 16384, i8* %x.sroa.0.0..sroa_cast6) + ret void +} + +declare void @llvm.lifetime.start(i64, i8* nocapture) #1 + +declare void @llvm.memcpy.p0i8.p0i8.i64(i8* nocapture writeonly, i8* nocapture readonly, i64, i32, i1) #1 + +declare void @llvm.lifetime.end(i64, i8* nocapture) #1 + +declare void @bar(%Foo* noalias nocapture readonly dereferenceable(16384)) unnamed_addr #0 + +declare void @llvm.memset.p0i8.i64(i8* nocapture writeonly, i8, i64, i32, i1) #1 + +attributes #0 = { uwtable } +attributes #1 = { argmemonly nounwind } |
