trip-count-switch.ll 817 Bytes