[SCEV] Verify contents of loop disposition cache
authorMax Kazantsev <mkazantsev@azul.com>
Mon, 19 Sep 2022 10:37:17 +0000 (17:37 +0700)
committerMax Kazantsev <mkazantsev@azul.com>
Mon, 19 Sep 2022 10:43:00 +0000 (17:43 +0700)
commitbb68b2402daa980ff41406a7ecf5e9f4e131b420
tree4975a0cc637b61ccad5308a4044688bb72936d22
parent908b3b6ccb486396eb22ce4801f094ea6f17e8c5
[SCEV] Verify contents of loop disposition cache

It seems that it is sometimes broken. Initial motivation for this was
investigation of https://github.com/llvm/llvm-project/issues/56260, but
it also seems that we have found an unrelated bug in LoopFusion that leaves
broken caches.

Differential Revision: https://reviews.llvm.org/D134158
Reviewed By: nikic
llvm/lib/Analysis/ScalarEvolution.cpp
llvm/test/Transforms/LoopFusion/double_loop_nest_inner_guard.ll
llvm/test/Transforms/LoopFusion/loop_nest.ll
llvm/test/Transforms/LoopFusion/triple_loop_nest_inner_guard.ll