[llvm-commits] CVS: llvm/test/Regression/Transforms/SimplifyLibCalls/StrLen.ll

[Reid Spencer]

Changes in directory llvm/test/Regression/Transforms/SimplifyLibCalls:

StrLen.ll updated: 1.3 -> 1.4
---
Log message:

* 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


---
Diffs of the changes:  (+39 -6)

 StrLen.ll |   45 +++++++++++++++++++++++++++++++++++++++------
 1 files changed, 39 insertions(+), 6 deletions(-)


Index: llvm/test/Regression/Transforms/SimplifyLibCalls/StrLen.ll
diff -u llvm/test/Regression/Transforms/SimplifyLibCalls/StrLen.ll:1.3 llvm/test/Regression/Transforms/SimplifyLibCalls/StrLen.ll:1.4
--- llvm/test/Regression/Transforms/SimplifyLibCalls/StrLen.ll:1.3	Fri Apr 29 22:06:36 2005
+++ llvm/test/Regression/Transforms/SimplifyLibCalls/StrLen.ll	Sat May  7 15:21:04 2005
@@ -8,15 +8,48 @@
 
 implementation   ; Functions:
 
-int %main () {
+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)
-  %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
+  %ne_null      = setne uint %null_l, 0
+  ret bool %ne_null
 }