Use the matching dominators algorithm instead of marking.
Use the matching dominators algorithm instead of marking.

Marking takes way too much space and crushed performance.

wangxiayang/llvm-analysis,wangxiayang/llvm-analysis,travitch/llvm-analysis,travitch/llvm-analysis