Task control flow graph (TCFG) extraction pass for the Machine-SUIF compiler