improve a note.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@60636 91177308-0d34-0410-b5e6-96231b3b80d8

diff --git a/lib/Target/README.txt b/lib/Target/README.txt
index ba0b4433235687fc1a827baa5916c7ea972ed526..646961efe1877d86cf403e768ca8d860468b20e2 100644 (file)
--- a/lib/Target/README.txt
+++ b/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
 
 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
 
 One example (that requires crazy phi translation) is:
 http://gcc.gnu.org/bugzilla/show_bug.cgi?id=16799