diff options
| author | Chris Lattner <sabre@nondot.org> | 2008-12-07 00:15:10 +0000 |
|---|---|---|
| committer | Chris Lattner <sabre@nondot.org> | 2008-12-07 00:15:10 +0000 |
| commit | e3a64972d6f200a570c34f212265986034fe1af8 (patch) | |
| tree | 7871eb86be1c0643c4a8e453080e34d9dd28946f /lib | |
| parent | 7d675ed97cecddf02b9dd5ee351fe236a81b11d8 (diff) | |
| download | external_llvm-e3a64972d6f200a570c34f212265986034fe1af8.zip external_llvm-e3a64972d6f200a570c34f212265986034fe1af8.tar.gz external_llvm-e3a64972d6f200a570c34f212265986034fe1af8.tar.bz2 | |
improve a note.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@60636 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib')
| -rw-r--r-- | lib/Target/README.txt | 13 |
1 files changed, 12 insertions, 1 deletions
diff --git a/lib/Target/README.txt b/lib/Target/README.txt index ba0b443..646961e 100644 --- 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 -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 |