improve a note.

llvm-svn: 60636

1 files changed, 12 insertions, 1 deletions

diff --git a/llvm/lib/Target/README.txt b/llvm/lib/Target/README.txt
index ba0b4433235..646961efe18 100644
--- a/llvm/lib/Target/README.txt
+++ b/llvm/lib/Target/README.txt
@@ -1388,7 +1388,18 @@ http://gcc.gnu.org/bugzilla/show_bug.cgi?id=14705
 
 When GVN/PRE finds a store of float* to a must aliases pointer when expecting
 an int*, it should turn it into a bitcast.  This is a nice generalization of
-the SROA hack that would apply to other cases.
+the SROA hack that would apply to other cases, e.g.:
+
+int foo(int C, int *P, float X) {
+  if (C) {
+    bar();
+    *P = 42;
+  } else
+    *(float*)P = X;
+
+   return *P;
+}
+
 
 One example (that requires crazy phi translation) is:
 http://gcc.gnu.org/bugzilla/show_bug.cgi?id=16799