nir: add guess trip count support to loop analysis