[PATCH] D144848: [SCEV] Skip instrs with non-scevable types in forget[Loop,Value].

[Florian Hahn via Phabricator via llvm-commits]

fhahn updated this revision to Diff 517911.
fhahn marked an inline comment as done.
fhahn added a comment.

Strip off verification. I'll update the description and I am planning on committing this soon.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D144848

Files:
  llvm/lib/Analysis/ScalarEvolution.cpp


Index: llvm/lib/Analysis/ScalarEvolution.cpp
===================================================================
--- llvm/lib/Analysis/ScalarEvolution.cpp
+++ llvm/lib/Analysis/ScalarEvolution.cpp
@@ -8385,6 +8385,8 @@
     SmallVectorImpl<const SCEV *> &ToForget) {
   while (!Worklist.empty()) {
     Instruction *I = Worklist.pop_back_val();
+    if (!isSCEVable(I->getType()))
+      continue;
 
     ValueExprMapType::iterator It =
         ValueExprMap.find_as(static_cast<Value *>(I));


-------------- next part --------------
A non-text attachment was scrubbed...
Name: D144848.517911.patch
Type: text/x-patch
Size: 493 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20230428/38f4eda5/attachment.bin>