+ if (bl->giv_count == 0
+ && ! loop->exit_count
+ && ! loop_info->has_multiple_exit_targets)
Which way did we decide to go on the question of whether or not there is
a blank after "!"? I personally perfer the way you have it, but I thought
the consensus was no blank?