Background JIT overview, which is a kind of PGO for the .NET Frameworok
https://msdn.microsoft.com/en-us/magazine/mt683795.aspx
And I think this goes into line with what you are discussing,
https://github.com/dotnet/coreclr/pull/21270
I also agree that many things remain to be done in line with what Graal is capable of.
Seems like they started trying speculative optimizations about six months ago. Speculative optimizations are not only the foundation of Graal but also of C2, BTW.
Background JIT overview, which is a kind of PGO for the .NET Frameworok
https://msdn.microsoft.com/en-us/magazine/mt683795.aspx
And I think this goes into line with what you are discussing,
https://github.com/dotnet/coreclr/pull/21270
I also agree that many things remain to be done in line with what Graal is capable of.