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

[Tobias Grosser via Phabricator via llvm-commits]

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