From 19310fc199418d5f71bb4824f75de21a8324c93e Mon Sep 17 00:00:00 2001
From: Chris Lattner <sabre@nondot.org>
Date: Mon, 21 Feb 2011 02:13:39 +0000
Subject: add a missed loop deletion case.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@126103 91177308-0d34-0410-b5e6-96231b3b80d8
---
 lib/Target/README.txt | 14 ++++++++++++++
 1 file changed, 14 insertions(+)

(limited to 'lib/Target/README.txt')

diff --git a/lib/Target/README.txt b/lib/Target/README.txt
index bda764deff..f85914b61d 100644
--- a/lib/Target/README.txt
+++ b/lib/Target/README.txt
@@ -254,6 +254,20 @@ unsigned long reverse(unsigned v) {
 
 //===---------------------------------------------------------------------===//
 
+[LOOP DELETION]
+
+We don't delete this output free loop, because trip count analysis doesn't
+realize that it is finite (if it were infinite, it would be undefined).  Not
+having this blocks Loop Idiom from matching strlen and friends.  
+
+void foo(char *C) {
+  int x = 0;
+  while (*C)
+    ++x,++C;
+}
+
+//===---------------------------------------------------------------------===//
+
 [LOOP RECOGNITION]
 
 These idioms should be recognized as popcount (see PR1488):
-- 
cgit v1.2.3