pre-commit: PR126086

bench/abc/optimized/bacWriteBlif.ll

@@ -879,9 +879,8 @@ Bac_ObjNameStr.exit:                              ; preds = %46, %51
   %56 = tail call ptr @Abc_NamStr(ptr noundef %.val.val.i, i32 noundef range(i32 -536870912, 536870912) %54) #5
   %57 = tail call i32 (ptr, ptr, ...) @fprintf(ptr noundef %0, ptr noundef nonnull @.str.3, ptr noundef %42, ptr noundef %56) #5
   %58 = add nuw nsw i32 %.075141, 1
-  %59 = zext nneg i32 %58 to i64
-  %exitcond.not = icmp eq i64 %indvars.iv, %59
-  br i1 %exitcond.not, label %.critedge, label %.lr.ph, !llvm.loop !46
+  %59 = icmp sgt i64 %indvars.iv162, 1
+  br i1 %59, label %.lr.ph, label %.critedge, !llvm.loop !46
 
 .critedge:                                        ; preds = %.lr.ph, %Bac_ObjNameStr.exit, %29
   %60 = add nuw nsw i64 %indvars.iv, 1

bench/abseil-cpp/optimized/log_format_test.ll

@@ -50325,14 +50325,10 @@ for.body.i:                                       ; preds = %while.cond, %for.in
 
 for.inc.i:                                        ; preds = %for.body.i
   %inc.i = add nuw i64 %__pos.addr.05.i, 1
-  %exitcond.not.i = icmp eq i64 %inc.i, %sub5.i
-  br i1 %exitcond.not.i, label %_ZNSt8optionalImE7emplaceIJmEEENSt9enable_ifIX18is_constructible_vImDpT_EERmE4typeEDpOS3_.exit, label %for.body.i, !llvm.loop !1270
+  %exitcond.not.i = icmp ult i64 %inc.i, %sub5.i
+  br i1 %exitcond.not.i, label %for.body.i, label %_ZNSt8optionalImE7emplaceIJmEEENSt9enable_ifIX18is_constructible_vImDpT_EERmE4typeEDpOS3_.exit, !llvm.loop !1270
 
 _ZNKSt17basic_string_viewIcSt11char_traitsIcEE17find_first_not_ofEcm.exit: ; preds = %for.body.i
-  %cmp.i = icmp eq i64 %__pos.addr.05.i, -1
-  br i1 %cmp.i, label %_ZNSt8optionalImE7emplaceIJmEEENSt9enable_ifIX18is_constructible_vImDpT_EERmE4typeEDpOS3_.exit, label %while.body
-
-while.body:                                       ; preds = %_ZNKSt17basic_string_viewIcSt11char_traitsIcEE17find_first_not_ofEcm.exit
   %call.i = tail call noundef nonnull ptr @_ZN4absl12log_internal17MakeCheckOpStringImmEEPNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEET_T0_PKc(i64 noundef %__pos.addr.05.i, i64 noundef -1, ptr noundef nonnull @.str.280)
   %call17 = tail call { i64, ptr } @_ZNKSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEcvSt17basic_string_viewIcS2_EEv(ptr noundef nonnull align 8 dereferenceable(32) %call.i) #28
   %5 = extractvalue { i64, ptr } %call17, 0
@@ -50341,7 +50337,7 @@ while.body:                                       ; preds = %_ZNKSt17basic_strin
   call void @_ZN4absl12log_internal15LogMessageFatalD1Ev(ptr noundef nonnull align 8 dereferenceable(16) %ref.tmp15) #32
   unreachable
 
-_ZNSt8optionalImE7emplaceIJmEEENSt9enable_ifIX18is_constructible_vImDpT_EERmE4typeEDpOS3_.exit: ; preds = %for.inc.i, %_ZNKSt17basic_string_viewIcSt11char_traitsIcEE17find_first_not_ofEcm.exit, %while.cond
+_ZNSt8optionalImE7emplaceIJmEEENSt9enable_ifIX18is_constructible_vImDpT_EERmE4typeEDpOS3_.exit: ; preds = %for.inc.i, %while.cond
   %size_ = getelementptr inbounds nuw i8, ptr %this, i64 8
   store i64 %sub5.i, ptr %size_, align 8
   store i8 1, ptr %_M_engaged.i.i, align 8

bench/abseil-cpp/optimized/str_split.ll

@@ -298,20 +298,17 @@ _ZNSt11char_traitsIcE4findEPKcmRS1_.exit.i.i.i.i: ; preds = %if.end.i, %for.inc.
   br i1 %tobool2.not.i.i.i.i, label %for.inc.i.i.i.i, label %_ZN4absl12_GLOBAL__N_111AnyOfPolicy4FindESt17basic_string_viewIcSt11char_traitsIcEES5_m.exit.i
 
 for.inc.i.i.i.i:                                  ; preds = %_ZNSt11char_traitsIcE4findEPKcmRS1_.exit.i.i.i.i
-  %inc.i.i.i.i = add i64 %__pos.addr.07.i.i.i.i, 1
-  %exitcond.not.i.i.i.i = icmp eq i64 %inc.i.i.i.i, %text.coerce0
-  br i1 %exitcond.not.i.i.i.i, label %_ZN4absl12_GLOBAL__N_111GenericFindINS0_11AnyOfPolicyEEESt17basic_string_viewIcSt11char_traitsIcEES6_S6_mT_.exit, label %_ZNSt11char_traitsIcE4findEPKcmRS1_.exit.i.i.i.i, !llvm.loop !7
+  %inc.i.i.i.i = add nuw i64 %__pos.addr.07.i.i.i.i, 1
+  %exitcond.not.i.i.i.i = icmp ult i64 %inc.i.i.i.i, %text.coerce0
+  br i1 %exitcond.not.i.i.i.i, label %_ZNSt11char_traitsIcE4findEPKcmRS1_.exit.i.i.i.i, label %_ZN4absl12_GLOBAL__N_111GenericFindINS0_11AnyOfPolicyEEESt17basic_string_viewIcSt11char_traitsIcEES6_S6_mT_.exit, !llvm.loop !7
 
 _ZN4absl12_GLOBAL__N_111AnyOfPolicy4FindESt17basic_string_viewIcSt11char_traitsIcEES5_m.exit.i: ; preds = %_ZNSt11char_traitsIcE4findEPKcmRS1_.exit.i.i.i.i
   %arrayidx.i.i.i.i.le = getelementptr inbounds i8, ptr %text.coerce1, i64 %__pos.addr.07.i.i.i.i
-  %cmp9.not.i = icmp ne i64 %__pos.addr.07.i.i.i.i, -1
-  %spec.select.i = zext i1 %cmp9.not.i to i64
-  %spec.select22.i = select i1 %cmp9.not.i, ptr %arrayidx.i.i.i.i.le, ptr %add.ptr6.i
   br label %_ZN4absl12_GLOBAL__N_111GenericFindINS0_11AnyOfPolicyEEESt17basic_string_viewIcSt11char_traitsIcEES6_S6_mT_.exit
 
-_ZN4absl12_GLOBAL__N_111GenericFindINS0_11AnyOfPolicyEEESt17basic_string_viewIcSt11char_traitsIcEES6_S6_mT_.exit: ; preds = %for.inc.i.i.i.i, %land.lhs.true.i, %if.then.i, %if.end.i, %_ZN4absl12_GLOBAL__N_111AnyOfPolicy4FindESt17basic_string_viewIcSt11char_traitsIcEES5_m.exit.i
-  %retval.sroa.0.0.i = phi i64 [ 0, %if.then.i ], [ 0, %if.end.i ], [ %spec.select.i, %_ZN4absl12_GLOBAL__N_111AnyOfPolicy4FindESt17basic_string_viewIcSt11char_traitsIcEES5_m.exit.i ], [ 0, %land.lhs.true.i ], [ 0, %for.inc.i.i.i.i ]
-  %retval.sroa.4.0.i = phi ptr [ %add.ptr3.i, %if.then.i ], [ %add.ptr6.i, %if.end.i ], [ %spec.select22.i, %_ZN4absl12_GLOBAL__N_111AnyOfPolicy4FindESt17basic_string_viewIcSt11char_traitsIcEES5_m.exit.i ], [ %text.coerce1, %land.lhs.true.i ], [ %add.ptr6.i, %for.inc.i.i.i.i ]
+_ZN4absl12_GLOBAL__N_111GenericFindINS0_11AnyOfPolicyEEESt17basic_string_viewIcSt11char_traitsIcEES6_S6_mT_.exit: ; preds = %for.inc.i.i.i.i, %_ZN4absl12_GLOBAL__N_111AnyOfPolicy4FindESt17basic_string_viewIcSt11char_traitsIcEES5_m.exit.i, %land.lhs.true.i, %if.then.i, %if.end.i
+  %retval.sroa.0.0.i = phi i64 [ 0, %if.then.i ], [ 0, %if.end.i ], [ 0, %land.lhs.true.i ], [ 1, %_ZN4absl12_GLOBAL__N_111AnyOfPolicy4FindESt17basic_string_viewIcSt11char_traitsIcEES5_m.exit.i ], [ 0, %for.inc.i.i.i.i ]
+  %retval.sroa.4.0.i = phi ptr [ %add.ptr3.i, %if.then.i ], [ %add.ptr6.i, %if.end.i ], [ %text.coerce1, %land.lhs.true.i ], [ %arrayidx.i.i.i.i.le, %_ZN4absl12_GLOBAL__N_111AnyOfPolicy4FindESt17basic_string_viewIcSt11char_traitsIcEES5_m.exit.i ], [ %add.ptr6.i, %for.inc.i.i.i.i ]
   %.fca.0.insert.i = insertvalue { i64, ptr } poison, i64 %retval.sroa.0.0.i, 0
   %.fca.1.insert.i = insertvalue { i64, ptr } %.fca.0.insert.i, ptr %retval.sroa.4.0.i, 1
   ret { i64, ptr } %.fca.1.insert.i

bench/abseil-cpp/optimized/substitute_test.ll

@@ -1806,8 +1806,8 @@ for.body.i.i.i.i:                                 ; preds = %for.body.i.i.i.i, %
   %100 = load i16, ptr %arrayidx.i.i.i.i, align 2
   store i16 %100, ptr %add.ptr.i.i.i.i, align 2
   %indvars.iv.next.i.i.i.i = add nuw nsw i64 %indvars.iv.i.i.i.i, 1
-  %exitcond.not.i.i.i.i = icmp eq i64 %indvars.iv.next.i.i.i.i, 8
-  br i1 %exitcond.not.i.i.i.i, label %_ZN4absl16strings_internal22ExtractStringificationINS_3HexEEESt17basic_string_viewIcSt11char_traitsIcEERNS0_13StringifySinkERKT_.exit.i, label %for.body.i.i.i.i, !llvm.loop !48
+  %exitcond.not.i.i.i.i = icmp samesign ult i64 %indvars.iv.i.i.i.i, 7
+  br i1 %exitcond.not.i.i.i.i, label %for.body.i.i.i.i, label %_ZN4absl16strings_internal22ExtractStringificationINS_3HexEEESt17basic_string_viewIcSt11char_traitsIcEERNS0_13StringifySinkERKT_.exit.i, !llvm.loop !48
 
 _ZN4absl16strings_internal22ExtractStringificationINS_3HexEEESt17basic_string_viewIcSt11char_traitsIcEERNS0_13StringifySinkERKT_.exit.i: ; preds = %for.body.i.i.i.i
   %add.ptr13.i.i.i = getelementptr inbounds nuw i8, ptr %buffer.i.i.i, i64 27
@@ -8857,11 +8857,11 @@ entry:
   br label %for.body.i.i.i.i.i.i.i
 
 for.body.i.i.i.i.i.i.i:                           ; preds = %_ZNSt14_Bit_referenceaSEb.exit.i.i.i.i.i.i.i, %entry
-  %__first.addr.012.i.i.i.i.i.i.i.idx = phi i64 [ %__first.addr.012.i.i.i.i.i.i.i.add, %_ZNSt14_Bit_referenceaSEb.exit.i.i.i.i.i.i.i ], [ 0, %entry ]
+  %__first.addr.012.i.i.i.i.i.i.i.idx = phi i64 [ %dec.i.i.i.i.i.i.i, %_ZNSt14_Bit_referenceaSEb.exit.i.i.i.i.i.i.i ], [ 2, %entry ]
+  %__first.addr.012.i.i.i.i.i.i.i = phi ptr [ %incdec.ptr.i.i.i.i.i.i.i, %_ZNSt14_Bit_referenceaSEb.exit.i.i.i.i.i.i.i ], [ %ref.tmp, %entry ]
   %__result.sroa.5.011.i.i.i.i.i.i.i = phi i32 [ %spec.select8.i.i.i.i.i.i.i, %_ZNSt14_Bit_referenceaSEb.exit.i.i.i.i.i.i.i ], [ 0, %entry ]
   %__result.sroa.0.010.i.i.i.i.i.i.i = phi ptr [ %spec.select.i.i.i.i.i.i.i, %_ZNSt14_Bit_referenceaSEb.exit.i.i.i.i.i.i.i ], [ %call5.i.i.i.i.i1.i, %entry ]
-  %__first.addr.012.i.i.i.i.i.i.i.ptr = getelementptr inbounds nuw i8, ptr %ref.tmp, i64 %__first.addr.012.i.i.i.i.i.i.i.idx
-  %0 = load i8, ptr %__first.addr.012.i.i.i.i.i.i.i.ptr, align 1
+  %__first.addr.012.i.i.i.i.i.i.i.ptr = load i8, ptr %__first.addr.012.i.i.i.i.i.i.i, align 1
   %tobool.i.i.i.i.i.i.i = trunc i8 %0 to i1
   %sh_prom.i.i.i.i.i.i.i.i = zext nneg i32 %__result.sroa.5.011.i.i.i.i.i.i.i to i64
   %shl.i.i.i.i.i.i.i.i = shl nuw i64 1, %sh_prom.i.i.i.i.i.i.i.i
@@ -8881,14 +8881,15 @@ if.else.i.i.i.i.i.i.i.i:                          ; preds = %for.body.i.i.i.i.i.
 _ZNSt14_Bit_referenceaSEb.exit.i.i.i.i.i.i.i:     ; preds = %if.else.i.i.i.i.i.i.i.i, %if.then.i.i.i.i.i.i.i.i
   %storemerge.i.i.i.i.i.i.i = phi i64 [ %and.i.i.i.i.i.i.i.i, %if.else.i.i.i.i.i.i.i.i ], [ %or.i.i.i.i.i.i.i.i, %if.then.i.i.i.i.i.i.i.i ]
   store i64 %storemerge.i.i.i.i.i.i.i, ptr %__result.sroa.0.010.i.i.i.i.i.i.i, align 8
-  %__first.addr.012.i.i.i.i.i.i.i.add = add nuw nsw i64 %__first.addr.012.i.i.i.i.i.i.i.idx, 1
+  %__first.addr.012.i.i.i.i.i.i.i.add = getelementptr inbounds nuw i8, ptr %__first.addr.012.i.i.i.i.i.i.i, i64 1
   %inc.i.i.i.i.i.i.i.i.i = add i32 %__result.sroa.5.011.i.i.i.i.i.i.i, 1
   %cmp.i.i.i.i.i.i.i.i.i = icmp eq i32 %__result.sroa.5.011.i.i.i.i.i.i.i, 63
   %spec.select.idx.i.i.i.i.i.i.i = select i1 %cmp.i.i.i.i.i.i.i.i.i, i64 8, i64 0
   %spec.select.i.i.i.i.i.i.i = getelementptr inbounds nuw i8, ptr %__result.sroa.0.010.i.i.i.i.i.i.i, i64 %spec.select.idx.i.i.i.i.i.i.i
   %spec.select8.i.i.i.i.i.i.i = select i1 %cmp.i.i.i.i.i.i.i.i.i, i32 0, i32 %inc.i.i.i.i.i.i.i.i.i
-  %exitcond.not = icmp eq i64 %__first.addr.012.i.i.i.i.i.i.i.idx, 1
-  br i1 %exitcond.not, label %invoke.cont20, label %for.body.i.i.i.i.i.i.i, !llvm.loop !687
+  %exitcond.not = add nsw i64 %__first.addr.012.i.i.i.i.i.i.i.idx, -1
+  %cmp.i.i.i.i.i.i.i = icmp ugt i64 %__n.013.i.i.i.i.i.i.i, 1
+  br i1 %cmp.i.i.i.i.i.i.i, label %for.body.i.i.i.i.i.i.i, label %invoke.cont20, !llvm.loop !687
 
 invoke.cont20:                                    ; preds = %_ZNSt14_Bit_referenceaSEb.exit.i.i.i.i.i.i.i
   %3 = load i64, ptr %call5.i.i.i.i.i1.i, align 8

bench/actix-rs/optimized/n3tsoobypc9yljt.ll

@@ -1873,18 +1873,14 @@ define hidden void @"_ZN93_$LT$bitflags..iter..IterNames$LT$B$GT$$u20$as$u20$cor
   %11 = load i8, ptr %10, align 8
   br i1 %9, label %20, label %.lr.ph.split.preheader
 
-.lr.ph.split.preheader:                           ; preds = %.lr.ph
-  %12 = getelementptr inbounds { { ptr, i64 }, i8, [7 x i8] }, ptr %6, i64 %.promoted
-  br label %.lr.ph.split
-
-.lr.ph.split:                                     ; preds = %.lr.ph.split.preheader, %.backedge
-  %.014 = phi ptr [ %.0, %.backedge ], [ %12, %.lr.ph.split.preheader ]
-  %13 = phi i64 [ %14, %.backedge ], [ %.promoted, %.lr.ph.split.preheader ]
-  %14 = add nuw i64 %13, 1
-  %15 = getelementptr inbounds nuw i8, ptr %.014, i64 8
-  %16 = load i64, ptr %15, align 8, !noundef !7
-  %17 = icmp eq i64 %16, 0
-  br i1 %17, label %.backedge, label %21
+.lr.ph.split.preheader:                           ; preds = %.lr.ph, %.backedge
+  %12 = phi i64 [ %13, %.backedge ], [ %.promoted, %.lr.ph ]
+  %.014 = getelementptr inbounds { { ptr, i64 }, i8, [7 x i8] }, ptr %6, i64 %12
+  %13 = add nuw i64 %12, 1
+  %14 = getelementptr inbounds nuw i8, ptr %.014, i64 8
+  %.014 = load i64, ptr %14, align 8, !noundef !7
+  %13 = icmp eq i64 %.014, 0
+  br i1 %13, label %.backedge, label %19
 
 ._crit_edge:                                      ; preds = %.backedge
   store i64 %4, ptr %5, align 8
@@ -1895,19 +1891,16 @@ define hidden void @"_ZN93_$LT$bitflags..iter..IterNames$LT$B$GT$$u20$as$u20$cor
   br label %31
 
 .backedge:                                        ; preds = %.lr.ph.split, %21
-  %.not = icmp ult i64 %14, %4
-  %19 = getelementptr inbounds { { ptr, i64 }, i8, [7 x i8] }, ptr %6, i64 %14
-  %.0 = select i1 %.not, ptr %19, ptr null
-  %exitcond.not = icmp eq i64 %14, %4
-  br i1 %exitcond.not, label %._crit_edge, label %.lr.ph.split
+  %.not = icmp ult i64 %13, %4
+  br i1 %.not, label %.lr.ph.split.preheader, label %._crit_edge
 
 20:                                               ; preds = %.lr.ph
   store ptr null, ptr %0, align 8
   br label %31
 
 21:                                               ; preds = %.lr.ph.split
   %22 = getelementptr inbounds nuw i8, ptr %.014, i64 16
-  %23 = load i8, ptr %22, align 1, !alias.scope !506, !noundef !7
+  %23 = load i8, ptr %22, align 8, !alias.scope !506, !noundef !7
   %24 = and i8 %11, %23
   %25 = icmp ne i8 %24, %23
   %26 = and i8 %23, %8
@@ -1916,14 +1909,14 @@ define hidden void @"_ZN93_$LT$bitflags..iter..IterNames$LT$B$GT$$u20$as$u20$cor
   br i1 %or.cond, label %.backedge, label %27
 
 27:                                               ; preds = %21
-  store i64 %14, ptr %5, align 8
+  store i64 %13, ptr %5, align 8
   %28 = xor i8 %23, -1
   %29 = and i8 %8, %28
   store i8 %29, ptr %7, align 1, !alias.scope !509
   %30 = load ptr, ptr %.014, align 8, !nonnull !7, !align !512, !noundef !7
   store ptr %30, ptr %0, align 8
   %.sroa.4.0..sroa_idx = getelementptr inbounds nuw i8, ptr %0, i64 8
-  store i64 %16, ptr %.sroa.4.0..sroa_idx, align 8
+  store i64 %15, ptr %.sroa.4.0..sroa_idx, align 8
   %.sroa.5.0..sroa_idx = getelementptr inbounds nuw i8, ptr %0, i64 16
   store i8 %23, ptr %.sroa.5.0..sroa_idx, align 8
   br label %31

bench/arrow/optimized/exec.ll

@@ -8080,7 +8080,6 @@ do.end6.i.i:                                      ; preds = %.noexc28
 
 for.body.i54.i.preheader:                         ; preds = %.noexc29
   %sub.ptr.div.i.i.i = ashr exact i64 %sub.ptr.sub.i50.i.i, 3
-  %umax = tail call i64 @llvm.umax.i64(i64 %sub.ptr.div.i.i.i, i64 3)
   br label %for.body.i54.i
 
 for.body.i54.i:                                   ; preds = %for.body.i54.i.preheader, %.noexc30
@@ -8098,8 +8097,8 @@ for.body.i54.i:                                   ; preds = %for.body.i54.i.preh
 
 .noexc30:                                         ; preds = %for.body.i54.i
   %inc.i.i = add nuw i64 %i.053.i.i, 1
-  %exitcond.not = icmp eq i64 %inc.i.i, %umax
-  br i1 %exitcond.not, label %for.end.i.i, label %for.body.i54.i, !llvm.loop !117
+  %exitcond.not = icmp ult i64 %inc.i.i, %sub.ptr.div.i.i.i
+  br i1 %exitcond.not, label %for.body.i54.i, label %for.end.i.i, !llvm.loop !117
 
 for.end.i.i:                                      ; preds = %.noexc30, %.noexc29
   store ptr null, ptr %agg.result, align 8, !alias.scope !118
@@ -8387,8 +8386,8 @@ for.body51:                                       ; preds = %for.cond48.preheade
 
 for.inc54:                                        ; preds = %for.body51
   %inc = add nuw i64 %i.094, 1
-  %exitcond.not = icmp eq i64 %inc, %sub.ptr.div.i
-  br i1 %exitcond.not, label %cleanup, label %for.body51, !llvm.loop !121
+  %exitcond.not = icmp ult i64 %inc, %sub.ptr.div.i
+  br i1 %exitcond.not, label %for.body51, label %cleanup, !llvm.loop !121
 
 cleanup:                                          ; preds = %for.inc54, %for.cond48.preheader, %if.then26, %if.then23, %if.then17
   %arrays_with_nulls.sroa.0.0.lcssa105 = phi ptr [ %arrays_with_nulls.sroa.0.1, %for.cond48.preheader ], [ %arrays_with_nulls.sroa.0.0.lcssa104113, %if.then26 ], [ %arrays_with_nulls.sroa.0.0.lcssa104113, %if.then23 ], [ %arrays_with_nulls.sroa.0.1, %if.then17 ], [ %arrays_with_nulls.sroa.0.1, %for.inc54 ]

bench/arrow/optimized/hashing.ll

@@ -116,11 +116,11 @@ if.then.i.us.i:                                   ; preds = %do.body.us.i
 
 for.body.preheader.i.us.i:                        ; preds = %if.then.i.us.i
   %2 = load i8, ptr %reader.sroa.4.1.us.i, align 1
-  %wide.trip.count.i.us.i = zext nneg i32 %reader.sroa.13.0.us.i to i64
   br label %for.body.i.us.i
 
 for.body.i.us.i:                                  ; preds = %_ZN5arrow8internal12BitmapReader4NextEv.exit.i.us.i, %for.body.preheader.i.us.i
   %byte.032.i.us.i = phi i8 [ %spec.select.i34.us.i, %_ZN5arrow8internal12BitmapReader4NextEv.exit.i.us.i ], [ 0, %for.body.preheader.i.us.i ]
+  %i.031.i.us.i = phi i32 [ %inc.i.us.i, %_ZN5arrow8internal12BitmapReader4NextEv.exit.i.us.i ], [ 0, %for.body.preheader.i.us.i ]
   %reader.sroa.14.030.i.us.i = phi i64 [ %reader.sroa.14.1.i.us.i, %_ZN5arrow8internal12BitmapReader4NextEv.exit.i.us.i ], [ 0, %for.body.preheader.i.us.i ]
   %reader.sroa.2.029.i.us.i = phi i64 [ %inc2.i.i.us.i, %_ZN5arrow8internal12BitmapReader4NextEv.exit.i.us.i ], [ 0, %for.body.preheader.i.us.i ]
   %reader.sroa.11.028.i.us.i = phi i64 [ %reader.sroa.11.1.i.us.i, %_ZN5arrow8internal12BitmapReader4NextEv.exit.i.us.i ], [ 0, %for.body.preheader.i.us.i ]
@@ -152,8 +152,9 @@ _ZN5arrow8internal12BitmapReader4NextEv.exit.i.us.i: ; preds = %if.then11.i.i.us
   %reader.sroa.7.2.i.us.i = phi i8 [ %5, %if.then11.i.i.us.i ], [ %reader.sroa.7.027.i.us.i, %if.then.i20.i.us.i ], [ %reader.sroa.7.027.i.us.i, %for.body.i.us.i ]
   %reader.sroa.11.1.i.us.i = phi i64 [ %inc6.i.i.us.i, %if.then11.i.i.us.i ], [ %inc6.i.i.us.i, %if.then.i20.i.us.i ], [ %reader.sroa.11.028.i.us.i, %for.body.i.us.i ]
   %reader.sroa.14.1.i.us.i = phi i64 [ 0, %if.then11.i.i.us.i ], [ 0, %if.then.i20.i.us.i ], [ %inc.i.i.us.i, %for.body.i.us.i ]
-  %exitcond.not.i.us.i = icmp eq i64 %inc2.i.i.us.i, %wide.trip.count.i.us.i
-  br i1 %exitcond.not.i.us.i, label %for.end.loopexit.i.us.i, label %for.body.i.us.i, !llvm.loop !6
+  %exitcond.not.i.us.i = add nuw nsw i32 %i.031.i.us.i, 1
+  %cmp4.i.us.i = icmp slt i32 %exitcond.not.i.us.i, %reader.sroa.13.0.us.i
+  br i1 %cmp4.i.us.i, label %for.body.i.us.i, label %for.end.loopexit.i.us.i, !llvm.loop !6
 
 for.end.loopexit.i.us.i:                          ; preds = %_ZN5arrow8internal12BitmapReader4NextEv.exit.i.us.i
   %6 = zext i8 %spec.select.i34.us.i to i32
@@ -194,11 +195,11 @@ if.then.i.i:                                      ; preds = %do.body.i
 
 for.body.preheader.i.i:                           ; preds = %if.then.i.i
   %7 = load i8, ptr %reader.sroa.4.1.i, align 1
-  %wide.trip.count.i.i = zext nneg i32 %reader.sroa.13.0.i to i64
   br label %for.body.i.i
 
 for.body.i.i:                                     ; preds = %_ZN5arrow8internal12BitmapReader4NextEv.exit.i.i, %for.body.preheader.i.i
   %byte.032.i.i = phi i8 [ %spec.select.i34.i, %_ZN5arrow8internal12BitmapReader4NextEv.exit.i.i ], [ 0, %for.body.preheader.i.i ]
+  %i.031.i.i = phi i32 [ %inc.i.i, %_ZN5arrow8internal12BitmapReader4NextEv.exit.i.i ], [ 0, %for.body.preheader.i.i ]
   %reader.sroa.14.030.i.i = phi i64 [ %reader.sroa.14.1.i.i, %_ZN5arrow8internal12BitmapReader4NextEv.exit.i.i ], [ %rem.i.i, %for.body.preheader.i.i ]
   %reader.sroa.2.029.i.i = phi i64 [ %inc2.i.i.i, %_ZN5arrow8internal12BitmapReader4NextEv.exit.i.i ], [ 0, %for.body.preheader.i.i ]
   %reader.sroa.11.028.i.i = phi i64 [ %reader.sroa.11.1.i.i, %_ZN5arrow8internal12BitmapReader4NextEv.exit.i.i ], [ 0, %for.body.preheader.i.i ]
@@ -230,8 +231,9 @@ _ZN5arrow8internal12BitmapReader4NextEv.exit.i.i: ; preds = %if.then11.i.i.i, %i
   %reader.sroa.7.2.i.i = phi i8 [ %10, %if.then11.i.i.i ], [ %reader.sroa.7.027.i.i, %if.then.i20.i.i ], [ %reader.sroa.7.027.i.i, %for.body.i.i ]
   %reader.sroa.11.1.i.i = phi i64 [ %inc6.i.i.i, %if.then11.i.i.i ], [ %inc6.i.i.i, %if.then.i20.i.i ], [ %reader.sroa.11.028.i.i, %for.body.i.i ]
   %reader.sroa.14.1.i.i = phi i64 [ 0, %if.then11.i.i.i ], [ 0, %if.then.i20.i.i ], [ %inc.i.i.i, %for.body.i.i ]
-  %exitcond.not.i.i = icmp eq i64 %inc2.i.i.i, %wide.trip.count.i.i
-  br i1 %exitcond.not.i.i, label %for.end.loopexit.i.i, label %for.body.i.i, !llvm.loop !6
+  %exitcond.not.i.i = add nuw nsw i32 %i.031.i.i, 1
+  %cmp4.i.i = icmp slt i32 %exitcond.not.i.i, %reader.sroa.13.0.i
+  br i1 %cmp4.i.i, label %for.body.i.i, label %for.end.loopexit.i.i, !llvm.loop !6
 
 for.end.loopexit.i.i:                             ; preds = %_ZN5arrow8internal12BitmapReader4NextEv.exit.i.i
   %11 = zext i8 %spec.select.i34.i to i32