[llvm] [ConstraintSys] Solve sub-system with variables needed for query (NFC) (PR #210432)

[Yingwei Zheng via llvm-commits]

================
@@ -616,7 +616,8 @@ define i4 @ptr_N_signed_positive_assume(ptr %src, ptr %lower, ptr %upper, i16 %N
 ; CHECK-NEXT:    [[SRC_STEP:%.*]] = getelementptr inbounds i8, ptr [[SRC]], i16 [[STEP]]
 ; CHECK-NEXT:    [[CMP_STEP_START:%.*]] = icmp slt ptr [[SRC_STEP]], [[LOWER]]
 ; CHECK-NEXT:    [[CMP_STEP_END:%.*]] = icmp sge ptr [[SRC_STEP]], [[UPPER]]
-; CHECK-NEXT:    br i1 true, label [[TRAP_BB]], label [[EXIT]]
+; CHECK-NEXT:    [[OR_CHECK:%.*]] = or i1 [[CMP_STEP_START]], [[CMP_STEP_END]]
----------------
dtcxzyw wrote:

Why does this NFC patch show a behavioral change?


https://github.com/llvm/llvm-project/pull/210432