trip-count9.ll 16.6 KB