projects / platform / upstream / llvm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c063f9d) | patch
[SCEV] Enable verification under EXPENSIVE_CHECKS
authorNikita Popov <npopov@redhat.com>
Mon, 28 Feb 2022 10:18:18 +0000 (11:18 +0100)
committerNikita Popov <npopov@redhat.com>
Mon, 7 Mar 2022 08:53:00 +0000 (09:53 +0100)
commit81b43b23e4cb2cb23ea579a3836baceae644e3ce
treecceca45fcff3d422bb332330855d1bc72099f777tree | snapshot
parentc063f9da5519d7fb83873c04234ef12e33ba28c3commit | diff
[SCEV] Enable verification under EXPENSIVE_CHECKS

SCEV verification should no longer affect results of subsequent
queries, and our lit tests as well as llvm-test-suite pass with
SCEV verification enabled, so I think we can enable it by default
under EXPENSIVE_CHECKS now.

Differential Revision: https://reviews.llvm.org/D120708
llvm/lib/Analysis/ScalarEvolution.cpp diff | blob | history
Domain: System / Toolchain;