diff options
| author | Chris Lattner <sabre@nondot.org> | 2011-01-08 21:07:56 +0000 |
|---|---|---|
| committer | Chris Lattner <sabre@nondot.org> | 2011-01-08 21:07:56 +0000 |
| commit | 5120ebf1842133a402d64470a18b83940ae113ff (patch) | |
| tree | 87ab6493f87d9caccf2eee0275281c0d3db5cd1a /llvm/test/Transforms/MemCpyOpt | |
| parent | 4dc1fd938f005a66f57b5b59450af31a70f06329 (diff) | |
| download | bcm5719-llvm-5120ebf1842133a402d64470a18b83940ae113ff.tar.gz bcm5719-llvm-5120ebf1842133a402d64470a18b83940ae113ff.zip | |
fix an issue in IsPointerOffset that prevented us from recognizing that
P and P+1 are relative to the same base pointer.
llvm-svn: 123087
Diffstat (limited to 'llvm/test/Transforms/MemCpyOpt')
| -rw-r--r-- | llvm/test/Transforms/MemCpyOpt/form-memset.ll | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/llvm/test/Transforms/MemCpyOpt/form-memset.ll b/llvm/test/Transforms/MemCpyOpt/form-memset.ll index 04bd6742efe..523615d72d2 100644 --- a/llvm/test/Transforms/MemCpyOpt/form-memset.ll +++ b/llvm/test/Transforms/MemCpyOpt/form-memset.ll @@ -177,6 +177,18 @@ entry: ; CHECK: call void @llvm.memset.p0i8.i64(i8* %1, i8 0, i64 15, i32 4, i1 false) } +define void @test4(i32* nocapture %P) nounwind ssp { +entry: + store i32 0, i32* %P, align 4 + %add.ptr = getelementptr inbounds i32* %P, i64 1 + %0 = bitcast i32* %add.ptr to i8* + tail call void @llvm.memset.p0i8.i64(i8* %0, i8 0, i64 11, i32 1, i1 false) + ret void +; CHECK: @test4 +; CHECK-NOT: store +; CHECK: call void @llvm.memset.p0i8.i64(i8* %1, i8 0, i64 15, i32 4, i1 false) +} + declare void @llvm.memset.p0i8.i64(i8* nocapture, i8, i64, i32, i1) nounwind |
