Basic speculation support for polymorphic_call_context

2014-07-28 Thread Jan Hubicka
Hi, this patch implements basic support for speculation within polymorphic call contextes. As we are still having heated discussion how much types in memory can change, this allows us to deal with these cases speculatively - that is, anticipate that placement news are not present. This patch

Re: Basic speculation support for polymorphic_call_context

2014-07-28 Thread Andi Kleen
Jan Hubicka hubi...@ucw.cz writes: There are similar testcases in bugzilla where we do not devirtualize because we lost track of type promises C++ language makes on memory accesses. This may give us a clue how common these are. How would the user know without some optional warning? -Andi

Re: Basic speculation support for polymorphic_call_context

2014-07-28 Thread Jan Hubicka
Jan Hubicka hubi...@ucw.cz writes: There are similar testcases in bugzilla where we do not devirtualize because we lost track of type promises C++ language makes on memory accesses. This may give us a clue how common these are. How would the user know without some optional warning?