[PATCH] D62792: [SimplifyIndVar] Simplify non-overflowing saturating add/sub

[Roman Lebedev via Phabricator via llvm-commits]

lebedev.ri added a comment.

This looks rather similar to the `eliminateOverflowIntrinsic()`, but i don't have knowledge about this pass.



================
Comment at: llvm/lib/Transforms/Utils/SimplifyIndVar.cpp:475-476
 
   if (WO->use_empty())
     WO->eraseFromParent();
 
----------------
Hm, this is because we didn't deal with non-`ExtractValueInst` uses of `WO`?
Since we know the overflow won't happen, those can be simply folded to a single insert, no?


Repository:
  rL LLVM

CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D62792/new/

https://reviews.llvm.org/D62792