X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=lib%2FTarget%2FREADME.txt;h=6d42d812a00bf3753843531996f3021a0d60c792;hb=867fe8570f299a058f155f98646d85cabc27155b;hp=55c08173d200ba2fe67ddd372bb8c64fd463e441;hpb=019e3787542139a72d0f068d404e2a4caace06e9;p=oota-llvm.git

diff --git a/lib/Target/README.txt b/lib/Target/README.txt
index 55c08173d20..6d42d812a00 100644
--- a/lib/Target/README.txt
+++ b/lib/Target/README.txt
@@ -1963,15 +1963,23 @@ bb3:            ; preds = %entry
         ret i32 %b
 }
 //===---------------------------------------------------------------------===//
-We should fold this code into "ret i1 false" since neither %zero nor %one can
-ever be null pointers.
 
-define i1 @foo(i1 %cond) {
-  %zero = alloca i32
-  %one = alloca i32
+clang -O3 fails to devirtualize this virtual inheritance case: (GCC PR45875)
 
-  %ptr = select i1 %cond, i32* %zero, i32* %one
-  %isnull = icmp eq i32* %ptr, null
-  ret i1 %isnull
+struct c1 {};
+struct c10 : c1{
+  virtual void foo ();
+};
+struct c11 : c10, c1{
+  virtual void f6 ();
+};
+struct c28 : virtual c11{
+  void f6 ();
+};
+void check_c28 () {
+  c28 obj;
+  c11 *ptr = &obj;
+  ptr->f6 ();
 }
+
 //===---------------------------------------------------------------------===//