diff options
| author | Paul Brook <paul@codesourcery.com> | 2004-08-02 13:19:39 +0000 |
|---|---|---|
| committer | Paul Brook <pbrook@gcc.gnu.org> | 2004-08-02 13:19:39 +0000 |
| commit | 8965ece1043514b1f829647a48b4e1059b4ada81 (patch) | |
| tree | 3c2ced26891b63a63c680a2b975bfcdff73ef48b /gcc/flow.c | |
| parent | 9e2878cff24d855649135c2d896ca3c3319a26d4 (diff) | |
| download | gcc-8965ece1043514b1f829647a48b4e1059b4ada81.zip gcc-8965ece1043514b1f829647a48b4e1059b4ada81.tar.gz gcc-8965ece1043514b1f829647a48b4e1059b4ada81.tar.bz2 | |
re PR rtl-optimization/15068 (ICE in elim_reg_cond)
PR rtl-optimization/15068
* flow.c (init_propagate_block_info): Check condition is reversible.
From-SVN: r85439
Diffstat (limited to 'gcc/flow.c')
| -rw-r--r-- | gcc/flow.c | 13 |
1 files changed, 8 insertions, 5 deletions
@@ -1865,19 +1865,22 @@ init_propagate_block_info (basic_block bb, regset live, regset local_set, rtx set_src = SET_SRC (pc_set (BB_END (bb))); rtx cond_true = XEXP (set_src, 0); rtx reg = XEXP (cond_true, 0); + enum rtx_code inv_cond; if (GET_CODE (reg) == SUBREG) reg = SUBREG_REG (reg); /* We can only track conditional lifetimes if the condition is - in the form of a comparison of a register against zero. - If the condition is more complex than that, then it is safe - not to record any information. */ - if (REG_P (reg) + in the form of a reversible comparison of a register against + zero. If the condition is more complex than that, then it is + safe not to record any information. */ + inv_cond = reversed_comparison_code (cond_true, BB_END (bb)); + if (inv_cond != UNKNOWN + && REG_P (reg) && XEXP (cond_true, 1) == const0_rtx) { rtx cond_false - = gen_rtx_fmt_ee (reverse_condition (GET_CODE (cond_true)), + = gen_rtx_fmt_ee (inv_cond, GET_MODE (cond_true), XEXP (cond_true, 0), XEXP (cond_true, 1)); if (GET_CODE (XEXP (set_src, 1)) == PC) |