@@ -208,8 +208,8 @@ define i64 @test_loop_with_div_order_1(i64 %n) {
208208; CHECK-NEXT: [[IV:%.*]] = phi i64 [ [[IV_NEXT:%.*]], %[[LOOP]] ], [ 0, %[[LOOP_PREHEADER]] ]
209209; CHECK-NEXT: [[DUMMY:%.*]] = load volatile i64, ptr null, align 8
210210; CHECK-NEXT: [[IV_NEXT]] = add nuw nsw i64 [[IV]], 1
211- ; CHECK-NEXT: [[EXITCOND :%.*]] = icmp ne i64 [[IV_NEXT]], [[UPPER_BOUND]]
212- ; CHECK-NEXT: br i1 [[EXITCOND ]], label %[[LOOP]], label %[[EXIT_LOOPEXIT:.*]]
211+ ; CHECK-NEXT: [[EXIT_COND :%.*]] = icmp ult i64 [[IV_NEXT]], [[UPPER_BOUND]]
212+ ; CHECK-NEXT: br i1 [[EXIT_COND ]], label %[[LOOP]], label %[[EXIT_LOOPEXIT:.*]]
213213; CHECK: [[EXIT_LOOPEXIT]]:
214214; CHECK-NEXT: br label %[[EXIT]]
215215; CHECK: [[EXIT]]:
@@ -262,8 +262,8 @@ define i64 @test_loop_with_div_order_2(i64 %n) {
262262; CHECK-NEXT: [[IV:%.*]] = phi i64 [ [[IV_NEXT:%.*]], %[[LOOP]] ], [ 0, %[[LOOP_PREHEADER]] ]
263263; CHECK-NEXT: [[DUMMY:%.*]] = load volatile i64, ptr null, align 8
264264; CHECK-NEXT: [[IV_NEXT]] = add nuw nsw i64 [[IV]], 1
265- ; CHECK-NEXT: [[EXITCOND :%.*]] = icmp ne i64 [[IV_NEXT]], [[UPPER_BOUND]]
266- ; CHECK-NEXT: br i1 [[EXITCOND ]], label %[[LOOP]], label %[[EXIT_LOOPEXIT:.*]]
265+ ; CHECK-NEXT: [[EXIT_COND :%.*]] = icmp ult i64 [[IV_NEXT]], [[UPPER_BOUND]]
266+ ; CHECK-NEXT: br i1 [[EXIT_COND ]], label %[[LOOP]], label %[[EXIT_LOOPEXIT:.*]]
267267; CHECK: [[EXIT_LOOPEXIT]]:
268268; CHECK-NEXT: br label %[[EXIT]]
269269; CHECK: [[EXIT]]:
0 commit comments