[PATCH] D79872: [MachineVerifier] Use the for Range loop to instead llvm::any_of
Zhang Kang via Phabricator via llvm-commits
llvm-commits at lists.llvm.org
Wed May 13 18:34:45 PDT 2020
ZhangKang marked an inline comment as done.
ZhangKang added a comment.
In D79872#2034453 <https://reviews.llvm.org/D79872#2034453>, @nickdesaulniers wrote:
> > This bug has caused 248 cases error for the Machine Verfication of LiveVariable pass.
>
> It might be good to add a test case that exercising this code.
The existed bug will exposed if we use EXPENSIVE_CHECKS and enable the machine verification for LiveVariable pass.
Unfortunately, we can't enable machine verification for LiveVariable pass now, because this machine verification pass has other bugs.
This is why we didn't find this bug before, so there is no case until we fix all bug of machine verification for LiveVariable pass and enable it.
Repository:
rG LLVM Github Monorepo
CHANGES SINCE LAST ACTION
https://reviews.llvm.org/D79872/new/
https://reviews.llvm.org/D79872
More information about the llvm-commits
mailing list