[Bug c/44546] [4.5/4.6 Regression] ICE in extract_insn, at recog.c:2103 with -ffast-math -Os (compiling graphviz)

[ubizjak at gmail dot com]

------- Comment #5 from ubizjak at gmail dot com  2010-06-15 18:09 -------
Confirmed.

bbro pass is blindly changing:

(jump_insn 55 57 23 2 pr44546.c:10 (set (pc)
        (if_then_else (unle (reg:CCFP 17 flags)
                (const_int 0 [0]))
            (label_ref:SI 28)
            (pc))) 576 {*jcc_1} (expr_list:REG_DEAD (reg:CCFP 17 flags)
        (expr_list:REG_BR_PROB (const_int 7929 [0x1ef9])
            (nil)))
to

(jump_insn 55 57 28 2 pr44546.c:10 (set (pc)
        (if_then_else (gt (reg:CCFP 17 flags)
                (const_int 0 [0]))
            (label_ref:SI 89)
            (pc))) 576 {*jcc_1} (expr_list:REG_DEAD (reg:CCFP 17 flags)
        (expr_list:REG_BR_PROB (const_int 2071 [0x817])
            (nil)))

This is not valid insn, since GT condition does not satisfy
ix86_trivial_fp_comparison_operator predicate.


-- 

ubizjak at gmail dot com changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
      Known to fail|4.5.0                       |4.5.0 4.6.0


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=44546