From: Richard Henderson <rth@redhat.com>
Date: Tue, 27 Nov 2001 09:07:59 +0000 (-0800)
Subject: ifcvt.c (noce_try_store_flag_constants): Test for overflow in computing DIFF.
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=188235dff14c855c929b8a52378deaf452637e1a;p=gcc.git

ifcvt.c (noce_try_store_flag_constants): Test for overflow in computing DIFF.

        * ifcvt.c (noce_try_store_flag_constants): Test for overflow
        in computing DIFF.

From-SVN: r47374
---

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)