[PATCH] D18684: [SCEV] See through op.with.overflow intrinsics

[John Regehr via llvm-commits]

regehr accepted this revision.
regehr added a comment.

Looks great.


================
Comment at: include/llvm/Analysis/ValueTracking.h:332
@@ +331,3 @@
+  /// not overflowing, \p II being an <op>.with.overflow intrinsic.
+  bool isOverflowIntrinsicNoWrap(IntrinsicInst *II, DominatorTree &DT);
+
----------------
would something isOverflowGuard() work better?


http://reviews.llvm.org/D18684