diff options
| author | Bryant Wong <llvm-commits@xorshift.org> | 2016-12-25 22:42:27 +0000 |
|---|---|---|
| committer | Bryant Wong <llvm-commits@xorshift.org> | 2016-12-25 22:42:27 +0000 |
| commit | a07d9b14603780b70c61a8d5741bc5eb4ab7be69 (patch) | |
| tree | d45fa135783373d0aa69641f827cb959a699a413 /llvm/test/Analysis/BasicAA/guards.ll | |
| parent | d7c12ee54ccf5db8c85426f13e37616106e883f7 (diff) | |
| download | bcm5719-llvm-a07d9b14603780b70c61a8d5741bc5eb4ab7be69.tar.gz bcm5719-llvm-a07d9b14603780b70c61a8d5741bc5eb4ab7be69.zip | |
[AliasAnalysis] Teach BasicAA about memcpy.
Differential Revision: https://reviews.llvm.org/D27034
llvm-svn: 290526
Diffstat (limited to 'llvm/test/Analysis/BasicAA/guards.ll')
| -rw-r--r-- | llvm/test/Analysis/BasicAA/guards.ll | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/llvm/test/Analysis/BasicAA/guards.ll b/llvm/test/Analysis/BasicAA/guards.ll index 66cfb156b7d..e9032825525 100644 --- a/llvm/test/Analysis/BasicAA/guards.ll +++ b/llvm/test/Analysis/BasicAA/guards.ll @@ -14,8 +14,8 @@ define void @test1(i8* %P, i8* %Q) { ; CHECK: Just Ref: Ptr: i8* %P <-> tail call void (i1, ...) @llvm.experimental.guard(i1 true) [ "deopt"() ] ; CHECK: Just Ref: Ptr: i8* %Q <-> tail call void (i1, ...) @llvm.experimental.guard(i1 true) [ "deopt"() ] -; CHECK: Both ModRef: Ptr: i8* %P <-> tail call void @llvm.memcpy.p0i8.p0i8.i64(i8* %P, i8* %Q, i64 12, i32 1, i1 false) -; CHECK: Both ModRef: Ptr: i8* %Q <-> tail call void @llvm.memcpy.p0i8.p0i8.i64(i8* %P, i8* %Q, i64 12, i32 1, i1 false) +; CHECK: Just Mod: Ptr: i8* %P <-> tail call void @llvm.memcpy.p0i8.p0i8.i64(i8* %P, i8* %Q, i64 12, i32 1, i1 false) +; CHECK: Just Ref: Ptr: i8* %Q <-> tail call void @llvm.memcpy.p0i8.p0i8.i64(i8* %P, i8* %Q, i64 12, i32 1, i1 false) ; CHECK: Just Ref: tail call void (i1, ...) @llvm.experimental.guard(i1 true) [ "deopt"() ] <-> tail call void @llvm.memcpy.p0i8.p0i8.i64(i8* %P, i8* %Q, i64 12, i32 1, i1 false) ; CHECK: Just Mod: tail call void @llvm.memcpy.p0i8.p0i8.i64(i8* %P, i8* %Q, i64 12, i32 1, i1 false) <-> tail call void (i1, ...) @llvm.experimental.guard(i1 true) [ "deopt"() ] } |
