This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
Re: ifcvt too eager at verifing flow info?
On May 24, 2000, Alexandre Oliva <aoliva@cygnus.com> wrote:
> On May 20, 2000, Alexandre Oliva <aoliva@cygnus.com> wrote:
>> On May 20, 2000, Richard Henderson <rth@cygnus.com> wrote:
>>> On Sat, May 20, 2000 at 02:43:23PM -0300, Alexandre Oliva wrote:
>>>> In the last case, verify_flow_info detects a real bug in ifcvt:
>>>> it introduces a jump_insn without introducing a basic block note...
>>> Eh? Where'd the jump come from? Is it by chance emitted by the
>>> back end when implementing setcc or something?
>> emit_store_flag fails, it ends up calling do_compare_rtx_and_jump,
>> that generates a jump for which no BB is introduced in the CFG.
> Great! I've just verified that Jakub's patch fixes this bug! Thanks,
> Jakub!
Uh oh, spoke too soon. It doesn't fix the bug, I just had checking
disabled :-(
--
Alexandre Oliva Enjoy Guaranį, see http://www.ic.unicamp.br/~oliva/
Cygnus Solutions, a Red Hat company aoliva@{redhat, cygnus}.com
Free Software Developer and Evangelist CS PhD student at IC-Unicamp
oliva@{lsd.ic.unicamp.br, gnu.org} Write to mailing lists, not to me