[PATCH] D34482: [Dominators] Add parent and sibling property verification (non-hacky)

Jakub Kuderski via Phabricator via llvm-commits llvm-commits at lists.llvm.org
Wed Jun 21 15:21:50 PDT 2017


kuhar created this revision.

This patch adds an additional level of verification - it checks parent and sibling properties of a tree. By definition, every tree with these two properties is a dominator tree.

It is possible to run those check by running llvm with `-verify-dom-info=1`.

Bootstrapping clang and building the llvm test suite with this option enabled doesn't yield any errors.


https://reviews.llvm.org/D34482

Files:
  include/llvm/IR/Dominators.h
  include/llvm/Support/GenericDomTree.h
  include/llvm/Support/GenericDomTreeConstruction.h
  lib/IR/Dominators.cpp

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D34482.103475.patch
Type: text/x-patch
Size: 10537 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20170621/1740039a/attachment.bin>


More information about the llvm-commits mailing list