TODO: eliminate critical edges for mem2reg