[PATCH] D29142: [Loops] Restructure the LoopInfo verify function so that it more directly walks the current loop structure verifying that a matching structure can be found in a freshly computed version.

Chandler Carruth via Phabricator via llvm-commits llvm-commits at lists.llvm.org
Wed Jan 25 11:29:57 PST 2017


chandlerc created this revision.
Herald added a subscriber: mcrosier.

Also pull things out of containers when necessary once an issue is found
and print them directly.

This makes it substantially easier to debug verification failures as
the process stops at the exact point in the loop nest where they diverge
and has in easily accessed local variables (or printed to stderr
already) the loops and other information needed to analyze the failure.


https://reviews.llvm.org/D29142

Files:
  include/llvm/Analysis/LoopInfoImpl.h

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D29142.85786.patch
Type: text/x-patch
Size: 4288 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20170125/7a1f72c8/attachment.bin>


More information about the llvm-commits mailing list