[SCEV] Collect conditions from assumes same way as for branches.
authorFlorian Hahn <flo@fhahn.com>
Thu, 26 May 2022 17:16:37 +0000 (18:16 +0100)
committerFlorian Hahn <flo@fhahn.com>
Thu, 26 May 2022 17:17:13 +0000 (18:17 +0100)
commit6af5f5697c8560e09c305d5cfd74a7bda0d4d311
treeaf85c5d599b610b0d13e8e8c6f2bb60ddf86a80a
parent917dc0749b77467188872c4a0f217cedd874de36
[SCEV] Collect conditions from assumes same way as for branches.

Also collect conditions from assume up-front in applyLoopGuards.
This allows re-using the logic to handle logical ANDs as assume
conditions.

It should should pave the road for a fix for #55645.
llvm/lib/Analysis/ScalarEvolution.cpp
llvm/test/Analysis/ScalarEvolution/max-backedge-taken-count-guard-info.ll