Arm_carry_operation and arm_borrow_operation are duals: given that we have a comparison that returns a result that relies solely in the carry flag one is the inverse of the other. So there's no reason for one to have a CC mode that the other does not have. This patch restores that equivalence.

        * config/arm/predicates.md (arm_borrow_operation): Handle CC_ADCmode.


Committed.
diff --git a/gcc/config/arm/predicates.md b/gcc/config/arm/predicates.md
index 8a8f10ccb50..267c446c03e 100644
--- a/gcc/config/arm/predicates.md
+++ b/gcc/config/arm/predicates.md
@@ -398,7 +398,7 @@ (define_special_predicate "arm_borrow_operation"
     machine_mode ccmode = GET_MODE (op0);
     if (ccmode == CC_Cmode)
       return GET_CODE (op) == GEU;
-    else if (ccmode == CCmode || ccmode == CC_RSBmode)
+    else if (ccmode == CCmode || ccmode == CC_RSBmode || ccmode == CC_ADCmode)
       return GET_CODE (op) == LTU;
     return false;
   }

Reply via email to