[PATCH] Exploit dereferenceable_or_null attribute in LICM pass

[Artur Pilipenko]

In http://reviews.llvm.org/D9253#163644, @sanjoy wrote:

> After going through the LazyValueInfo code, I cannot easily think of a case where walking dominating uses will be more powerful than LVI.  Do you have such an example?  If not, then I think we should just use LVI.


LVI is definitely more powerful. The concern about LVI is that it's expensive analysis and when used widely can affect compilation time. Dominating uses is much simple and covers most of the explicit null checks.


http://reviews.llvm.org/D9253

EMAIL PREFERENCES
  http://reviews.llvm.org/settings/panel/emailpreferences/