Dominator construction?

Hi,

If I understand correctly LLVM computes dominator tree using Lengauer-Tarjan’s algorithm in llvm/include/llvm/Support/GenericDomTreeConstruction.h.
(please correct if that is NOT the one frequently used in analyses)

Has anyone tried experimenting around iterative version (the one which came out of Cooper et al.'s work titled “A Simple, Fast Dominance Algorithm”)