Re: Fix speculation in ipa-cp

2014-11-18 Thread Martin Jambor
Hi, On Sun, Nov 16, 2014 at 12:56:45AM +0100, Jan Hubicka wrote: > Hi, > this patch enables propagation of speculative contextes I promised to fix > after Martin's > merge. There were few bugs that ended up disturbing testsuite: Wonderful, thanks a lot. > > 1) ipa_polymorphic_call_context::co

Fix speculation in ipa-cp, part 2

2014-11-17 Thread Jan Hubicka
Hi, this patch makes ipa-cp to handle creation of speculative edges. This is done same way as in inliner's updating code. ipa-cp culd do more - use speculative edges instead of paying all the cost to produce a full clone, but I will leave this to Martin. I made no attempt to tune the metrics. In

Fix speculation in ipa-cp

2014-11-15 Thread Jan Hubicka
Hi, this patch enables propagation of speculative contextes I promised to fix after Martin's merge. There were few bugs that ended up disturbing testsuite: 1) ipa_polymorphic_call_context::combine_with did not handle very well case where the incomming type is in construction and it's current