[SCEV] Add PHI SCEV verification to ensure availability at loop entry

Author: Aleksander Popov

llvm/lib/Analysis/ScalarEvolution.cpp

@@ -14482,6 +14482,16 @@ void ScalarEvolution::verify() const {
                << "Delta: " << *Delta << "\n";
         std::abort();
       }
+
+      if (isa<PHINode>(I))
+        for (const Loop *L : ValidLoops)
+          if (SE.isAvailableAtLoopEntry(KV.second, L) !=
+              SE2.isAvailableAtLoopEntry(NewSCEV, L)) {
+            dbgs() << "Incorrect SCEV availability at loop entry\n"
+                   << "Old: " << *OldSCEV << "\n"
+                   << "New: " << *NewSCEV << "\n";
+            std::abort();
+          }
     }
   }