[PATCH] Exploit dereferenceable_or_null attribute in LICM pass

[hfinkel at anl.gov]

================
Comment at: include/llvm/Analysis/ValueTracking.h:239
@@ +238,3 @@
+  /// If the CtxI is specified this method performs context-sensitive analysis
+  /// and return true if it is safe to execute the instruction immediately
+  /// before the CtxI.
----------------
return -> returns

================
Comment at: include/llvm/Analysis/ValueTracking.h:244
@@ +243,3 @@
+  /// itself and its operands, so if this method returns true, it is safe to
+  /// move the instruction as long as the correct dominance relationships for
+  /// the operands and users hold.
----------------
What does this comment mean? It is saying anything nonobvious/nontrivial?

http://reviews.llvm.org/D9253

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