trip-count-andor.ll 10 KB