Basic block counter annotation pass for Machine-SUIF