diff options
| author | Nick Lewycky <nicholas@mxc.ca> | 2012-09-25 18:17:38 +0000 |
|---|---|---|
| committer | Nick Lewycky <nicholas@mxc.ca> | 2012-09-25 18:17:38 +0000 |
| commit | fe4a778f6ef18a4be78b029b1714ddd5901ca72d (patch) | |
| tree | 0507d96847c7ad7e62429e1c4f62e977d775da7f | |
| parent | e5e8f7656a3b37c4c0c7936f78fa2586f06fbb9a (diff) | |
| download | llvm-fe4a778f6ef18a4be78b029b1714ddd5901ca72d.tar.gz llvm-fe4a778f6ef18a4be78b029b1714ddd5901ca72d.tar.bz2 llvm-fe4a778f6ef18a4be78b029b1714ddd5901ca72d.tar.xz | |
Make this test check the transforms it's actually doing. Also add a test that it
doesn't transform the trivially unsafe case.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@164617 91177308-0d34-0410-b5e6-96231b3b80d8
| -rw-r--r-- | test/Transforms/DeadStoreElimination/libcalls.ll | 20 |
1 files changed, 17 insertions, 3 deletions
diff --git a/test/Transforms/DeadStoreElimination/libcalls.ll b/test/Transforms/DeadStoreElimination/libcalls.ll index ffdf62b215..4639c0bc96 100644 --- a/test/Transforms/DeadStoreElimination/libcalls.ll +++ b/test/Transforms/DeadStoreElimination/libcalls.ll @@ -16,7 +16,7 @@ define void @test2(i8* %src) { ; CHECK: @test2 %B = alloca [16 x i8] %dest = getelementptr inbounds [16 x i8]* %B, i64 0, i64 0 -; CHECK-NOT: @strcpy +; CHECK-NOT: @strncpy %call = call i8* @strncpy(i8* %dest, i8* %src, i32 12) ; CHECK: ret void ret void @@ -27,7 +27,7 @@ define void @test3(i8* %src) { ; CHECK: @test3 %B = alloca [16 x i8] %dest = getelementptr inbounds [16 x i8]* %B, i64 0, i64 0 -; CHECK-NOT: @strcpy +; CHECK-NOT: @strcat %call = call i8* @strcat(i8* %dest, i8* %src) ; CHECK: ret void ret void @@ -38,7 +38,7 @@ define void @test4(i8* %src) { ; CHECK: @test4 %B = alloca [16 x i8] %dest = getelementptr inbounds [16 x i8]* %B, i64 0, i64 0 -; CHECK-NOT: @strcpy +; CHECK-NOT: @strncat %call = call i8* @strncat(i8* %dest, i8* %src, i32 12) ; CHECK: ret void ret void @@ -54,3 +54,17 @@ define void @test5(i8* nocapture %src) { store i8 97, i8* %arrayidx, align 1 ret void } + +declare void @user(i8* %p) +define void @test6(i8* %src) { +; CHECK: @test6 + %B = alloca [16 x i8] + %dest = getelementptr inbounds [16 x i8]* %B, i64 0, i64 0 +; CHECK: @strcpy + %call = call i8* @strcpy(i8* %dest, i8* %src) +; CHECK: @user + call void @user(i8* %dest) +; CHECK: ret void + ret void +} + |