From 630c99fd21cb27d955b43db250de36393e514ba4 Mon Sep 17 00:00:00 2001 From: Chris Lattner Date: Sun, 7 Dec 2008 00:15:10 +0000 Subject: [PATCH] improve a note. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@60636 91177308-0d34-0410-b5e6-96231b3b80d8 --- lib/Target/README.txt | 13 ++++++++++++- 1 file changed, 12 insertions(+), 1 deletion(-) diff --git a/lib/Target/README.txt b/lib/Target/README.txt index ba0b4433235..646961efe18 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 -- 2.34.1