Add control dependency check and main opt pass file.