It's not necessary to do rounding for alloca operations when the requested
alignment is equal to the stack alignment.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@40004 91177308-0d34-0410-b5e6-96231b3b80d8
diff --git a/test/Transforms/SimplifyLibCalls/SPrintF.ll b/test/Transforms/SimplifyLibCalls/SPrintF.ll
new file mode 100644
index 0000000..a8ad369
--- /dev/null
+++ b/test/Transforms/SimplifyLibCalls/SPrintF.ll
@@ -0,0 +1,36 @@
+; Test that the SPrintFOptimizer works correctly
+; RUN: llvm-upgrade < %s | llvm-as | opt -simplify-libcalls | llvm-dis | \
+; RUN: 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 %foo (sbyte* %p) {
+ %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)
+ %r4.1 = call int (sbyte*,sbyte*,...)* %sprintf(sbyte* %target_p, sbyte* %fmt1_p, sbyte* %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
+ %r9 = add int %r8, %r4
+ %r10 = add int %r9, %r4.1
+ ret int %r10
+}