diff options
| author | law <law@138bc75d-0d04-0410-961f-82ee72b054a4> | 2006-03-22 18:00:50 +0000 |
|---|---|---|
| committer | law <law@138bc75d-0d04-0410-961f-82ee72b054a4> | 2006-03-22 18:00:50 +0000 |
| commit | e88209700fe9871b7e94de36a676bdbd86d64a36 (patch) | |
| tree | 58482afa97ec4ac7799ec5dc1d3281460d546f2f | |
| parent | 0dfcec5874a3a872c716d76c6f288e023aa49d88 (diff) | |
| download | ppe42-gcc-e88209700fe9871b7e94de36a676bdbd86d64a36.tar.gz ppe42-gcc-e88209700fe9871b7e94de36a676bdbd86d64a36.zip | |
* loop-unroll.c (analyze_iv_to_split_insn): Handle
iv_analyze_result returning false.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@112289 138bc75d-0d04-0410-961f-82ee72b054a4
| -rw-r--r-- | gcc/ChangeLog | 5 | ||||
| -rw-r--r-- | gcc/loop-unroll.c | 12 |
2 files changed, 16 insertions, 1 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 51a05540ab1..1d1e5b5bbc4 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,8 @@ +2006-03-22 Jeff Law <law@redhat.com> + + * loop-unroll.c (analyze_iv_to_split_insn): Handle + iv_analyze_result returning false. + 2006-03-22 Jie Zhang <jie.zhang@analog.com> * config/bfin/bfin.h (ASM_FORMAT_PRIVATE_NAME): Remove. diff --git a/gcc/loop-unroll.c b/gcc/loop-unroll.c index 6ef59476657..5c28eaf2f19 100644 --- a/gcc/loop-unroll.c +++ b/gcc/loop-unroll.c @@ -1670,7 +1670,17 @@ analyze_iv_to_split_insn (rtx insn) return NULL; ok = iv_analyze_result (insn, dest, &iv); - gcc_assert (ok); + + /* This used to be an assert under the assumption that if biv_p returns + true that iv_analyze_result must also return true. However, that + assumption is not strictly correct as evidenced by pr25569. + + Returning NULL when iv_analyze_result returns false is safe and + avoids the problems in pr25569 until the iv_analyze_* routines + can be fixed, which is apparently hard and time consuming + according to their author. */ + if (! ok) + return NULL; if (iv.step == const0_rtx || iv.mode != iv.extend_mode) |
