Searched refs:spread_times (Results 1 – 2 of 2) sorted by relevance
1819 int spread_times = 0; in try_shrink_wrapping_separate() local1822 spread_times++; in try_shrink_wrapping_separate()1825 fprintf (dump_file, "Now spread %d times.\n", spread_times); in try_shrink_wrapping_separate()
1827 int spread_times = 0; in try_shrink_wrapping_separate() local1830 spread_times++; in try_shrink_wrapping_separate()1833 fprintf (dump_file, "Now spread %d times.\n", spread_times); in try_shrink_wrapping_separate()