From: Roger Sayle Date: Tue, 14 Jun 2005 05:57:26 +0000 (+0000) Subject: re PR rtl-optimization/22053 (ACATS ICE cxg2002 cxg2008 cxg2019 cxg2020 cxg2021 compe... X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=6f7e2c0c96d06c08555d84dadda568a01ff6a79c;p=gcc.git re PR rtl-optimization/22053 (ACATS ICE cxg2002 cxg2008 cxg2019 cxg2020 cxg2021 compensate_edge, at reg-stack.c:2671) PR rtl-optimization/22053 * reg-stack.c (compensate_edge): Correct mistake in the assertion checking of EDGE_ABNORMAL_CALL edges; complex return values can result in the top two stack slots, st(0) and st(1), being live. From-SVN: r100926 --- diff --git a/gcc/ChangeLog b/gcc/ChangeLog index ee9433529e1..5e2d4deb31d 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,10 @@ +2005-06-13 Roger Sayle + + PR rtl-optimization/22053 + * reg-stack.c (compensate_edge): Correct mistake in the assertion + checking of EDGE_ABNORMAL_CALL edges; complex return values can + result in the top two stack slots, st(0) and st(1), being live. + 2005-06-13 Jeff Law * tree-ssa-dom.c (simplify_rhs_and_lookup_avail_expr): No longer diff --git a/gcc/reg-stack.c b/gcc/reg-stack.c index 7007fcb2bd6..7ee3be2d010 100644 --- a/gcc/reg-stack.c +++ b/gcc/reg-stack.c @@ -2667,8 +2667,9 @@ compensate_edge (edge e, FILE *file) { /* Assert that the lifetimes are as we expect -- one value live at st(0) on the end of the source block, and no - values live at the beginning of the destination block. */ - gcc_assert (source_stack->top == 0); + values live at the beginning of the destination block. + For complex return values, we may have st(1) live as well. */ + gcc_assert (source_stack->top == 0 || source_stack->top == 1); gcc_assert (target_stack->top == -1); return false; }