Commit: 57a26c8c98d68fb6569e67850125ef65e1f359ba - gcc_os216 (git)

GCC with patches for OS216

Commit MetaInfo

• Revision: 57a26c8c98d68fb6569e67850125ef65e1f359ba (tree)
• Time: 2018-04-02 06:21:07
• Author: Andrew Macleod <amacleod@gcc....>
• Commiter: Andrew Macleod

Log Message

Dont wind back thru divide yet

From-SVN: r258999

Change Summary

• modified: gcc/range-op.c

Incremental Difference

--- a/gcc/range-op.c
+++ b/gcc/range-op.c
@@ -1061,7 +1061,7 @@ operator_divide::op1_irange (irange& r ATTRIBUTE_UNUSED,
   // 	a_7 = a_6 / 4
   // if a_7 is [4,4], a_6 is actually [16,19] so ranges are trickier to
   // calulate.  
-  if (op2.singleton_p (offset) && op_rr (OPM_MUL, r, lhs, op2))
+  if (0 & op2.singleton_p (offset) && op_rr (OPM_MUL, r, lhs, op2))
     {
       wide_int ub, lb;
       bool lb_ov = false, ub_ov = false;
@@ -1075,10 +1075,26 @@ operator_divide::op1_irange (irange& r ATTRIBUTE_UNUSED,
       offset = wi::sub (offset, 1, sign, &ub_ov);
       lb = r.lower_bound ();
       ub = r.upper_bound ();
+      
       if (wi::le_p (lb, 0, sign))
-	lb = wi::sub (lb, offset, sign, &lb_ov);
+        {
+	  lb = wi::sub (lb, offset, sign, &lb_ov);
+	  if (lb_ov)
+	    {
+	      lb = wi::min_value (TYPE_PRECISION (type), sign);
+	      lb_ov = false;
+	    }
+
+	}
       if (wi::ge_p (ub, 0, sign))
-	ub = wi::add (ub, offset, sign, &ub_ov);
+        {
+	  ub = wi::add (ub, offset, sign, &ub_ov);
+	  if (ub_ov)
+	    {
+	      ub = wi::max_value (TYPE_PRECISION (type), sign);
+	      ub_ov = false;
+	    }
+	}
       add_to_range (r, lb, lb_ov, ub, ub_ov);
       if (!r.overflow_p ())
 	return true;