[SCEV] Verify block disposition cache.
authorFlorian Hahn <flo@fhahn.com>
Mon, 10 Oct 2022 19:42:18 +0000 (20:42 +0100)
committerFlorian Hahn <flo@fhahn.com>
Mon, 10 Oct 2022 19:42:19 +0000 (20:42 +0100)
commit4b599fa1ee240f5e9de4242294a5bbc2981491b4
tree2498ea7932cdc95daf82e733d8ae1d26cb7ba3a6
parentebb0be9b68046c2cf7607d32527cbce29d39ab9a
[SCEV] Verify block disposition cache.

This extends the existing SCEV verification to catch cache invalidation
issues as in #57837.

The validation logic is similar to the recently added loop disposition
cache validation in bb68b2402daa9.

Reviewed By: nikic

Differential Revision: https://reviews.llvm.org/D134531
llvm/lib/Analysis/ScalarEvolution.cpp