[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