[PATCH] Dereferenceable, dereferenceable_or_null metadata for loads

[Artur Pilipenko]

ValueTracking part is also dependant on LICM changes. So I plan to integrate it after the LICM patch.


http://reviews.llvm.org/D9365

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