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/StrLen.ll b/test/Transforms/SimplifyLibCalls/StrLen.ll
new file mode 100644
index 0000000..98a76c8
--- /dev/null
+++ b/test/Transforms/SimplifyLibCalls/StrLen.ll
@@ -0,0 +1,58 @@
+; Test that the StrCatOptimizer works correctly
+; RUN: llvm-upgrade < %s | llvm-as | opt -simplify-libcalls | llvm-dis | \
+; RUN: not grep {call.*strlen}
+
+target datalayout = "e-p:32:32"
+
+declare uint %strlen(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"
+
+implementation ; Functions:
+
+uint %test1() {
+ %hello_p = getelementptr [6 x sbyte]* %hello, int 0, int 0
+ %hello_l = call uint %strlen(sbyte* %hello_p)
+ ret uint %hello_l
+}
+
+uint %test2() {
+ %null_p = getelementptr [1 x sbyte]* %null, int 0, int 0
+ %null_l = call uint %strlen(sbyte* %null_p)
+ ret uint %null_l
+}
+
+uint %test3() {
+ %null_hello_p = getelementptr [7 x sbyte]* %null_hello, int 0, int 0
+ %null_hello_l = call uint %strlen(sbyte* %null_hello_p)
+ ret uint %null_hello_l
+}
+
+bool %test4() {
+ %hello_p = getelementptr [6 x sbyte]* %hello, int 0, int 0
+ %hello_l = call uint %strlen(sbyte* %hello_p)
+ %eq_hello = seteq uint %hello_l, 0
+ ret bool %eq_hello
+}
+
+bool %test5() {
+ %null_p = getelementptr [1 x sbyte]* %null, int 0, int 0
+ %null_l = call uint %strlen(sbyte* %null_p)
+ %eq_null = seteq uint %null_l, 0
+ ret bool %eq_null
+}
+
+bool %test6() {
+ %hello_p = getelementptr [6 x sbyte]* %hello, int 0, int 0
+ %hello_l = call uint %strlen(sbyte* %hello_p)
+ %ne_hello = setne uint %hello_l, 0
+ ret bool %ne_hello
+}
+
+bool %test7() {
+ %null_p = getelementptr [1 x sbyte]* %null, int 0, int 0
+ %null_l = call uint %strlen(sbyte* %null_p)
+ %ne_null = setne uint %null_l, 0
+ ret bool %ne_null
+}