1 files changed, 58 insertions, 0 deletions
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
+}