diff options
| -rw-r--r-- | gcc/ChangeLog | 5 | ||||
| -rw-r--r-- | gcc/ifcvt.c | 6 |
2 files changed, 11 insertions, 0 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 2d6093552dc..ab355387288 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,8 @@ +2001-11-27 Richard Henderson <rth@redhat.com> + + * ifcvt.c (noce_try_store_flag_constants): Test for overflow + in computing DIFF. + 2001-11-27 Zack Weinberg <zack@codesourcery.com> * cppfiles.c (read_include_file): Add comment. diff --git a/gcc/ifcvt.c b/gcc/ifcvt.c index 5dd42fc8d7e..f6a07e96670 100644 --- a/gcc/ifcvt.c +++ b/gcc/ifcvt.c @@ -650,6 +650,12 @@ noce_try_store_flag_constants (if_info) mode = GET_MODE (if_info->x); ifalse = INTVAL (if_info->a); itrue = INTVAL (if_info->b); + + /* Make sure we can represent the difference between the two values. */ + if ((itrue - ifalse > 0) + != ((ifalse < 0) != (itrue < 0) ? ifalse < 0 : ifalse < itrue)) + return FALSE; + diff = trunc_int_for_mode (itrue - ifalse, mode); can_reverse = (reversed_comparison_code (if_info->cond, if_info->jump) |