trip-count2.ll 1.32 KB