[PATCH] Exploit dereferenceable_or_null attribute in LICM pass

Wed May 6 08:09:13 PDT 2015

================
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.
----------------
hfinkel wrote:
> What does this comment mean? It is saying anything nonobvious/nontrivial?
That is the comment from original function description. I left it to say that this function can perform context insensitive analysis. Any suggestions for better wording?

http://reviews.llvm.org/D9253

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