!fixup drop A >= C requierement

Author: fhahn

llvm/lib/Analysis/ScalarEvolution.cpp

@@ -1795,11 +1795,9 @@ const SCEV *ScalarEvolution::getZeroExtendExprImpl(const SCEV *Op, Type *Ty,
 
     const SCEVConstant *C;
     const SCEV *A;
-    // zext (C + A)<nsw> -> (sext(C) + zext(A))<nsw> if zext (C + A)<nsw> >=s 0
-    // and A >=s V.
+    // zext (C + A)<nsw> -> (sext(C) + zext(A))<nsw> if zext (C + A)<nsw> >=s 0.
     if (SA->hasNoSignedWrap() && isKnownNonNegative(SA) &&
-        match(SA, m_scev_Add(m_SCEVConstant(C), m_SCEV(A))) &&
-        isKnownPredicate(CmpInst::ICMP_SGE, A, C)) {
+        match(SA, m_scev_Add(m_SCEVConstant(C), m_SCEV(A)))) {
       SmallVector<const SCEV *, 4> Ops = {getSignExtendExpr(C, Ty, Depth + 1),
                                           getZeroExtendExpr(A, Ty, Depth + 1)};
       return getAddExpr(Ops, SCEV::FlagNSW, Depth + 1);

llvm/test/Transforms/LoopStrengthReduce/X86/pr47776-do-not-apply-info-from-guards-to-addrecs.ll

@@ -19,7 +19,7 @@ define void @bar() personality ptr @zot {
 ; CHECK:       bb2:
 ; CHECK-NEXT:    [[TMP3:%.*]] = phi i64 [ 0, [[BB1]] ], [ [[TMP7:%.*]], [[BB5:%.*]] ]
 ; CHECK-NEXT:    [[TMP4:%.*]] = invoke i32 @fn()
-; CHECK-NEXT:    to label [[BB5]] unwind label [[BB23_LOOPEXIT_SPLIT_LP:%.*]]
+; CHECK-NEXT:            to label [[BB5]] unwind label [[BB23_LOOPEXIT_SPLIT_LP:%.*]]
 ; CHECK:       bb5:
 ; CHECK-NEXT:    [[TMP6:%.*]] = load atomic i32, ptr addrspace(1) undef unordered, align 8
 ; CHECK-NEXT:    [[TMP7]] = add nuw nsw i64 [[TMP3]], 1
@@ -30,27 +30,27 @@ define void @bar() personality ptr @zot {
 ; CHECK-NEXT:    br i1 [[TMP9]], label [[BB10:%.*]], label [[BB29:%.*]]
 ; CHECK:       bb10:
 ; CHECK-NEXT:    [[TMP11:%.*]] = mul i32 [[TMP]], -1
-; CHECK-NEXT:    [[TMP0:%.*]] = sext i32 [[TMP11]] to i64
-; CHECK-NEXT:    [[TMP1:%.*]] = add nsw i64 [[TMP0]], 1
+; CHECK-NEXT:    [[TMP12:%.*]] = zext i32 [[TMP11]] to i64
+; CHECK-NEXT:    [[TMP1:%.*]] = add nuw nsw i64 [[TMP12]], 1
 ; CHECK-NEXT:    [[TMP2:%.*]] = sub i64 [[TMP1]], [[TMP7]]
-; CHECK-NEXT:    [[TMP1:%.*]] = trunc i64 [[TMP2]] to i32
-; CHECK-NEXT:    [[TMP16:%.*]] = and i32 [[TMP1]], 7
+; CHECK-NEXT:    [[TMP2:%.*]] = trunc i64 [[TMP2]] to i32
+; CHECK-NEXT:    [[TMP16:%.*]] = and i32 [[TMP2]], 7
 ; CHECK-NEXT:    br label [[BB17:%.*]]
 ; CHECK:       bb17:
 ; CHECK-NEXT:    [[TMP18:%.*]] = phi i32 [ [[TMP21:%.*]], [[BB20:%.*]] ], [ [[TMP16]], [[BB10]] ]
 ; CHECK-NEXT:    [[TMP19:%.*]] = invoke i32 @fn()
-; CHECK-NEXT:    to label [[BB20]] unwind label [[BB23_LOOPEXIT:%.*]]
+; CHECK-NEXT:            to label [[BB20]] unwind label [[BB23_LOOPEXIT:%.*]]
 ; CHECK:       bb20:
 ; CHECK-NEXT:    [[TMP21]] = add i32 [[TMP18]], -1
 ; CHECK-NEXT:    [[TMP22:%.*]] = icmp eq i32 [[TMP21]], 0
 ; CHECK-NEXT:    br i1 [[TMP22]], label [[BB1_LOOPEXIT]], label [[BB17]]
 ; CHECK:       bb23.loopexit:
 ; CHECK-NEXT:    [[LPAD_LOOPEXIT:%.*]] = landingpad token
-; CHECK-NEXT:    cleanup
+; CHECK-NEXT:            cleanup
 ; CHECK-NEXT:    br label [[BB23:%.*]]
 ; CHECK:       bb23.loopexit.split-lp:
 ; CHECK-NEXT:    [[LPAD_LOOPEXIT_SPLIT_LP:%.*]] = landingpad token
-; CHECK-NEXT:    cleanup
+; CHECK-NEXT:            cleanup
 ; CHECK-NEXT:    br label [[BB23]]
 ; CHECK:       bb23:
 ; CHECK-NEXT:    ret void