[llvm] (Draft) [SCEV] forgetValue: support (extractvalue 0, (with-overflow-inst op0, op1)) (PR #98015)

Nikita Popov via llvm-commits llvm-commits at lists.llvm.org
Mon Jul 8 05:43:22 PDT 2024


================
@@ -8412,8 +8412,35 @@ void ScalarEvolution::visitAndClearUsers(
     SmallVectorImpl<const SCEV *> &ToForget) {
   while (!Worklist.empty()) {
     Instruction *I = Worklist.pop_back_val();
-    if (!isSCEVable(I->getType()))
+    if (!isSCEVable(I->getType())) {
----------------
nikic wrote:

```suggestion
    if (!isSCEVable(I->getType()) && !isa<WithOverflowInst>(I)) {
```
should be sufficient, no?

https://github.com/llvm/llvm-project/pull/98015


More information about the llvm-commits mailing list