diff options
| author | Chris Lattner <sabre@nondot.org> | 2009-11-26 02:16:28 +0000 |
|---|---|---|
| committer | Chris Lattner <sabre@nondot.org> | 2009-11-26 02:16:28 +0000 |
| commit | 0d23076adf131828e8dfa4dbb4157a48f3ac0496 (patch) | |
| tree | 2b661aa65d73c2662d7ef26e61396bd6a6183ba7 | |
| parent | 5341c9679d9b9a6e5bc566d6f7641162c2223333 (diff) | |
| download | bcm5719-llvm-0d23076adf131828e8dfa4dbb4157a48f3ac0496.tar.gz bcm5719-llvm-0d23076adf131828e8dfa4dbb4157a48f3ac0496.zip | |
add a new random feature test
llvm-svn: 89921
| -rw-r--r-- | llvm/test/Analysis/BasicAA/modref.ll | 18 |
1 files changed, 17 insertions, 1 deletions
diff --git a/llvm/test/Analysis/BasicAA/modref.ll b/llvm/test/Analysis/BasicAA/modref.ll index c03014dfe14..3f642cff195 100644 --- a/llvm/test/Analysis/BasicAA/modref.ll +++ b/llvm/test/Analysis/BasicAA/modref.ll @@ -4,6 +4,7 @@ target datalayout = "E-p:64:64:64-a0:0:8-f32:32:32-f64:64:64-i1:8:8-i8:8:8-i16:1 declare void @llvm.memset.i32(i8*, i8, i32, i32) declare void @llvm.memset.i8(i8*, i8, i8, i32) declare void @llvm.memcpy.i8(i8*, i8*, i8, i32) +declare void @llvm.memcpy.i32(i8*, i8*, i32, i32) declare void @llvm.lifetime.end(i64, i8* nocapture) declare void @external(i32*) @@ -94,7 +95,7 @@ define void @test3a(i8* %P, i8 %X) { @G1 = external global i32 @G2 = external global [4000 x i32] -define i32 @test4(i8* %P, i8 %X) { +define i32 @test4(i8* %P) { %tmp = load i32* @G1 call void @llvm.memset.i32(i8* bitcast ([4000 x i32]* @G2 to i8*), i8 0, i32 4000, i32 1) %tmp2 = load i32* @G1 @@ -107,3 +108,18 @@ define i32 @test4(i8* %P, i8 %X) { ; CHECK: sub i32 %tmp, %tmp } +; Verify that basicaa is handling variable length memcpy, knowing it doesn't +; write to G1. +define i32 @test5(i8* %P, i32 %Len) { + %tmp = load i32* @G1 + call void @llvm.memcpy.i32(i8* bitcast ([4000 x i32]* @G2 to i8*), i8* bitcast (i32* @G1 to i8*), i32 %Len, i32 1) + %tmp2 = load i32* @G1 + %sub = sub i32 %tmp2, %tmp + ret i32 %sub +; CHECK: @test5 +; CHECK: load i32* @G +; CHECK: memcpy.i32 +; CHECK-NOT: load +; CHECK: sub i32 %tmp, %tmp +} + |
