diff options
author | Daniel Dunbar <daniel@zuster.org> | 2011-02-12 18:19:57 +0000 |
---|---|---|
committer | Daniel Dunbar <daniel@zuster.org> | 2011-02-12 18:19:57 +0000 |
commit | d02be24cadbba4754df2f3e83473b72c5de698dd (patch) | |
tree | e1f4053096a4171bd168aa64681ef6e784fc77dc /test | |
parent | 43186a4ea9fe51ca965faf9f04f7add6799ab6c2 (diff) | |
download | llvm-d02be24cadbba4754df2f3e83473b72c5de698dd.tar.gz llvm-d02be24cadbba4754df2f3e83473b72c5de698dd.tar.bz2 llvm-d02be24cadbba4754df2f3e83473b72c5de698dd.tar.xz |
SimplifyLibCalls: Add missing legalize check on various printf to puts and
putchar transforms, their return values are not compatible.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@125442 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'test')
-rw-r--r-- | test/Transforms/SimplifyLibCalls/Printf.ll | 27 |
1 files changed, 20 insertions, 7 deletions
diff --git a/test/Transforms/SimplifyLibCalls/Printf.ll b/test/Transforms/SimplifyLibCalls/Printf.ll index d68928ee6b..caea311ba1 100644 --- a/test/Transforms/SimplifyLibCalls/Printf.ll +++ b/test/Transforms/SimplifyLibCalls/Printf.ll @@ -1,23 +1,36 @@ ; RUN: opt < %s -simplify-libcalls -S -o %t ; RUN: FileCheck < %t %s -; CHECK-NOT: call{{.*}}printf -; CHECK: putchar - @str = internal constant [13 x i8] c"hello world\0A\00" ; <[13 x i8]*> [#uses=1] @str1 = internal constant [2 x i8] c"h\00" ; <[2 x i8]*> [#uses=1] -define void @foo() { +declare i32 @printf(i8*, ...) + +; CHECK: define void @f0 +; CHECK-NOT: printf +; CHECK: } +define void @f0() { entry: %tmp1 = tail call i32 (i8*, ...)* @printf( i8* getelementptr ([13 x i8]* @str, i32 0, i32 0) ) ; <i32> [#uses=0] ret void } -declare i32 @printf(i8*, ...) - -define void @bar() { +; CHECK: define void @f1 +; CHECK-NOT: printf +; CHECK: } +define void @f1() { entry: %tmp1 = tail call i32 (i8*, ...)* @printf( i8* getelementptr ([2 x i8]* @str1, i32 0, i32 0) ) ; <i32> [#uses=0] ret void } +; Verify that we don't turn this into a putchar call (thus changing the return +; value). +; +; CHECK: define i32 @f2 +; CHECK: printf +; CHECK: } +define i32 @f2() { + %call = call i32 (i8*, ...)* @printf(i8* getelementptr inbounds ([2 x i8]* @str1, i32 0, i32 0)) + ret i32 %call +} |