Add a test case for SPrintFOptimization.

llvm-svn: 21674

1 files changed, 32 insertions, 0 deletions

diff --git a/llvm/test/Regression/Transforms/SimplifyLibCalls/SPrintF.ll b/llvm/test/Regression/Transforms/SimplifyLibCalls/SPrintF.ll
new file mode 100644
index 00000000000..d17b0387327
--- /dev/null
+++ b/llvm/test/Regression/Transforms/SimplifyLibCalls/SPrintF.ll
@@ -0,0 +1,32 @@
+; Test that the SPrintFOptimizer works correctly
+; RUN: llvm-as < %s | opt -simplify-libcalls | llvm-dis | not grep 'call.*sprintf'
+
+declare int %sprintf(sbyte*,sbyte*,...)
+declare int %puts(sbyte*)
+%hello = constant [6 x sbyte] c"hello\00"
+%null = constant [1 x sbyte] c"\00"
+%null_hello = constant [7 x sbyte] c"\00hello\00"
+%fmt1 = constant [3 x sbyte] c"%s\00"
+%fmt2 = constant [3 x sbyte] c"%c\00"
+
+implementation   ; Functions:
+
+int %main () {
+  %target = alloca [1024 x sbyte]
+  %target_p = getelementptr [1024 x sbyte]* %target, int 0, int 0
+  %hello_p = getelementptr [6 x sbyte]* %hello, int 0, int 0
+  %null_p = getelementptr [1 x sbyte]* %null, int 0, int 0
+  %nh_p = getelementptr [7 x sbyte]* %null_hello, int 0, int 0
+  %fmt1_p = getelementptr [3 x sbyte]* %fmt1, int 0, int 0
+  %fmt2_p = getelementptr [3 x sbyte]* %fmt2, int 0, int 0
+  store sbyte 0, sbyte* %target_p
+  %r1 = call int (sbyte*,sbyte*,...)* %sprintf(sbyte* %target_p, sbyte* %hello_p)
+  %r2 = call int (sbyte*,sbyte*,...)* %sprintf(sbyte* %target_p, sbyte* %null_p)
+  %r3 = call int (sbyte*,sbyte*,...)* %sprintf(sbyte* %target_p, sbyte* %nh_p)
+  %r4 = call int (sbyte*,sbyte*,...)* %sprintf(sbyte* %target_p, sbyte* %fmt1_p, sbyte* %hello_p)
+  %r5 = call int (sbyte*,sbyte*,...)* %sprintf(sbyte* %target_p, sbyte* %fmt2_p, int 82)
+  %r6 = add int %r1, %r2
+  %r7 = add int %r3, %r6
+  %r8 = add int %r5, %r7
+  ret int %r8
+}