From: Zdenek Dvorak Date: Sun, 5 Feb 2006 14:58:07 +0000 (+0100) Subject: re PR rtl-optimization/26087 (ICE in df_find_use) X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=569f8d982a8147ed19d8370d127291c308116419;p=gcc.git re PR rtl-optimization/26087 (ICE in df_find_use) PR rtl-optimization/26087 * rtlanal.c (canonicalize_condition): Do not cross basic block boundaries. From-SVN: r110614 --- diff --git a/gcc/ChangeLog b/gcc/ChangeLog index e1fac08dbb5..4908f5c6137 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,9 @@ +2006-02-04 Zdenek Dvorak + + PR rtl-optimization/26087 + * rtlanal.c (canonicalize_condition): Do not cross basic block + boundaries. + 2006-02-04 Alexandre Oliva PR debug/24444 diff --git a/gcc/rtlanal.c b/gcc/rtlanal.c index 91fb4898b73..1390ad98529 100644 --- a/gcc/rtlanal.c +++ b/gcc/rtlanal.c @@ -4508,6 +4508,7 @@ canonicalize_condition (rtx insn, rtx cond, int reverse, rtx *earliest, rtx op0, op1; int reverse_code = 0; enum machine_mode mode; + basic_block bb = BLOCK_FOR_INSN (insn); code = GET_CODE (cond); mode = GET_MODE (cond); @@ -4569,7 +4570,11 @@ canonicalize_condition (rtx insn, rtx cond, int reverse, rtx *earliest, if ((prev = prev_nonnote_insn (prev)) == 0 || !NONJUMP_INSN_P (prev) - || FIND_REG_INC_NOTE (prev, NULL_RTX)) + || FIND_REG_INC_NOTE (prev, NULL_RTX) + /* In cfglayout mode, there do not have to be labels at the + beginning of a block, or jumps at the end, so the previous + conditions would not stop us when we reach bb boundary. */ + || BLOCK_FOR_INSN (prev) != bb) break; set = set_of (op0, prev);