Computing basic blocks