https://swiftshader.googlesource.com/SwiftShader/+/refs/heads/llvm10-clean/third_party/SPIRV-Tools/source/opt/dominator_tree.cpp?autodive=0%2F%2F%2F%2F%2F%2F
third_party/SPIRV-Tools/source/opt/dominator_tree.cpp - SwiftShader - Git at Google
third partydominator treespirvtoolssource
https://collaborate.princeton.edu/en/publications/dominator-tree-certification-and-divergent-spanning-trees/
Dominator tree certification and divergent spanning trees - Princeton University
dominator treeprinceton universitycertificationdivergentspanning