> And I can't get it to fail. I also can't find any place where the
> label and jump table might get separated. I was expecting some trouble
> with cross-jumping but it seems that it takes care of updating the
> label reference, and skip_insns_after_block already expects the label
> and table to be adjacent.

As well as inside_basic_block_p and delete_dead_jumptables.

> So let's just see if/what breaks...
> 
> Bootstrapped&tested on powerpc64-unknown-linux-gnu (unix{,-m32}).
> Bootstrapped&tested on x86_64-unknown-linux-gnu (unix{,-m32}).
> Build&tested powerpc64 X mips-elf.
> 
> OK for trunk?

Yes, but I'd go one step farther and replace next_active_insn with NEXT_INSN 
in tablejump_p; however it's your call.

-- 
Eric Botcazou

Reply via email to