trip-count12.ll 1.43 KB