diff options
author | Nick Lewycky <nicholas@mxc.ca> | 2011-10-16 20:13:32 +0000 |
---|---|---|
committer | Nick Lewycky <nicholas@mxc.ca> | 2011-10-16 20:13:32 +0000 |
commit | 36c7e6c36cce7896b762e79a75b9a29e6a39d48c (patch) | |
tree | e45872ddbb4da86ab74e20ce4604350e306be060 /test/Transforms/MemCpyOpt | |
parent | ea6578b72acf1dfa1f21d413ff134aeaad64d809 (diff) |
When looking for dependencies on the src pointer, scan the src pointer. Scanning
on the memcpy call will pull up other unrelated stuff. Fixes PR11142.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@142150 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'test/Transforms/MemCpyOpt')
-rw-r--r-- | test/Transforms/MemCpyOpt/memcpy.ll | 20 |
1 files changed, 19 insertions, 1 deletions
diff --git a/test/Transforms/MemCpyOpt/memcpy.ll b/test/Transforms/MemCpyOpt/memcpy.ll index 71d4d4e8a1..e828e4419f 100644 --- a/test/Transforms/MemCpyOpt/memcpy.ll +++ b/test/Transforms/MemCpyOpt/memcpy.ll @@ -59,7 +59,7 @@ define void @test3(%0* noalias sret %agg.result) nounwind { call void @llvm.memcpy.p0i8.p0i8.i32(i8* %agg.result2, i8* %x.01, i32 32, i32 16, i1 false) ret void ; CHECK: @test3 -; CHECK-NEXT: %agg.result2 = bitcast +; CHECK-NEXT: %agg.result1 = bitcast ; CHECK-NEXT: call void @llvm.memcpy ; CHECK-NEXT: ret void } @@ -130,3 +130,21 @@ declare i32 @g(%struct.p* byval align 8) declare void @llvm.memcpy.p0i8.p0i8.i32(i8* nocapture, i8* nocapture, i32, i32, i1) nounwind +; PR11142 - When looking for a memcpy-memcpy dependency, don't get stuck on +; instructions between the memcpy's that only affect the destination pointer. +@test8.str = internal constant [7 x i8] c"ABCDEF\00" + +define void @test8() { +; CHECK: test8 + %A = tail call i8* @malloc(i32 10) + %B = getelementptr inbounds i8* %A, i64 2 + tail call void @llvm.memcpy.p0i8.p0i8.i32(i8* %B, i8* getelementptr inbounds ([7 x i8]* @test8.str, i64 0, i64 0), i32 7, i32 1, i1 false) +; CHECK: tail call void @llvm.memcpy.p0i8.p0i8.i32(i8* %D, i8* getelementptr + %C = tail call i8* @malloc(i32 10) + %D = getelementptr inbounds i8* %C, i64 2 + tail call void @llvm.memcpy.p0i8.p0i8.i32(i8* %D, i8* %B, i32 7, i32 1, i1 false) +; CHECK: tail call void @llvm.memcpy.p0i8.p0i8.i32(i8* %D, i8* getelementptr + ret void +} + +declare noalias i8* @malloc(i32) |