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

[John Regehr via llvm-commits]

regehr added inline comments.

================
Comment at: lib/Analysis/ScalarEvolution.cpp:3841
@@ +3840,3 @@
+
+  for (User *U : CI->users()) {
+    if (auto *EVI = dyn_cast<ExtractValueInst>(U)) {
----------------
I'm a little confused about this loop-- since we're looking for one branch, why do we want the loop here instead of just returning false if the CallInst has more than one user?


http://reviews.llvm.org/D18684