* Break tests into individual cases so its easier to see what's going on.
* Add four new cases to handle the new optimizations for strlen, dealing
with:
strlen(x) != 0 -> *x != 0
strlen(x) == 0 -> *x == 0
for each of two cases: strlen(x) != 0 and strlen(x) == 0
llvm-svn: 21767
diff --git a/llvm/test/Regression/Transforms/SimplifyLibCalls/StrLen.ll b/llvm/test/Regression/Transforms/SimplifyLibCalls/StrLen.ll
index 48f8bfd..8e5962a 100644
--- a/llvm/test/Regression/Transforms/SimplifyLibCalls/StrLen.ll
+++ b/llvm/test/Regression/Transforms/SimplifyLibCalls/StrLen.ll
@@ -8,15 +8,48 @@
implementation ; Functions:
-int %main () {
+uint %test1() {
%hello_p = getelementptr [6 x sbyte]* %hello, int 0, int 0
- %null_p = getelementptr [1 x sbyte]* %null, int 0, int 0
- %null_hello_p = getelementptr [7 x sbyte]* %null_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)
- %sum1 = add uint %hello_l, %null_l
- %sum2 = add uint %sum1, %null_hello_l
- %result = cast uint %sum2 to int
- ret int %result
+ 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
}