From c90b866797d95357cb5051574d1402620003cf7d Mon Sep 17 00:00:00 2001
From: Chris Lattner <sabre@nondot.org>
Date: Sun, 10 Aug 2008 00:47:21 +0000
Subject: [PATCH] add a note

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

diff --git a/lib/Target/README.txt b/lib/Target/README.txt
index e9133721f48..fe119003533 100644
--- a/lib/Target/README.txt
+++ b/lib/Target/README.txt
@@ -438,6 +438,19 @@ long long fib(const long long n) {
 
 //===---------------------------------------------------------------------===//
 
+Tail recursion elimination should handle:
+
+int pow2m1(int n) {
+ if (n == 0)
+   return 0;
+ return 2 * pow2m1 (n - 1) + 1;
+}
+
+Also, multiplies can be turned into SHL's, so they should be handled as if
+they were associative.  "return foo() << 1" can be tail recursion eliminated.
+
+//===---------------------------------------------------------------------===//
+
 Argument promotion should promote arguments for recursive functions, like 
 this: