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

Tobias Grosser via Phabricator via llvm-commits llvm-commits at lists.llvm.org
Fri Jun 30 01:24:31 PDT 2017


grosser added a comment.

Hi Kuhar,

I unfortunately just saw this new patch (and all your others) as I was traveling for a little while. Thanks for providing verifiers that check some of the invariants you expect from a dominator tree. In my discussion with Daniel pointed out a scientific paper which explicitly discusses the parent and sibling properties you mention here: "Dominator Tree Certification and Independent Spanning Trees". I think it would be great to reference this (or earlier work) in the commit to help people who would like to have more background.


Repository:
  rL LLVM

https://reviews.llvm.org/D34482





More information about the llvm-commits mailing list