[unroll] Strengthen verification of analysis updates under expensive asserts
authorPhilip Reames <listmail@philipreames.com>
Thu, 6 Jan 2022 16:50:09 +0000 (08:50 -0800)
committerPhilip Reames <listmail@philipreames.com>
Thu, 6 Jan 2022 16:51:50 +0000 (08:51 -0800)
commit916b35e78349f89f4b1df1da993083436d0dfb86
tree258884fe1a147b3d5ba71f008deff3d8d1488d51
parentea66b46dde31c9c4a52b025b7c6bdf8fa3872641
[unroll] Strengthen verification of analysis updates under expensive asserts

I am suspecting a bug around updates of loop info for unreachable exits, but don't have a test case.  Running this locally on make check didn't reveal anything, we'll see if the expensive checks bots find it.
llvm/lib/Transforms/Utils/LoopUnroll.cpp