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 | 630c99fd21cb27d955b43db250de36393e514ba4 (patch) | |
| tree | 7871eb86be1c0643c4a8e453080e34d9dd28946f /lib/Target/README.txt | |
| parent | 6a09a74e46f9e45aea856a6d9fa4cff785fde5df (diff) | |
| download | external_llvm-630c99fd21cb27d955b43db250de36393e514ba4.zip external_llvm-630c99fd21cb27d955b43db250de36393e514ba4.tar.gz external_llvm-630c99fd21cb27d955b43db250de36393e514ba4.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/Target/README.txt')
| -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 |