Skip to content

pre-commit: PR143683 #2442

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Closed
wants to merge 3 commits into from
Closed

pre-commit: PR143683 #2442

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
3 commits
Select commit Hold shift + click to select a range
9852978
pre-commit: PR143683
dtcxzyw Jun 14, 2025
0cecfb1
pre-commit: Update
github-actions[bot] Jun 14, 2025
4b414da
pre-commit: Remap
github-actions[bot] Jun 14, 2025
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
30 changes: 13 additions & 17 deletions bench/abc/optimized/wlcNtk.ll
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -6968,10 +6968,6 @@ Wlc_ObjConstValue.exit: ; preds = %.critedge
%65 = icmp ne i32 %64, 0
%66 = zext i1 %65 to i32
%67 = add nuw nsw i32 %63, %66
%.not = icmp eq i32 %67, 0
br i1 %.not, label %.loopexit, label %.lr.ph52

.lr.ph52: ; preds = %Wlc_ObjConstValue.exit
%.phi.trans.insert.i35 = getelementptr inbounds nuw i8, ptr %2, i64 8
%wide.trip.count = zext nneg i32 %67 to i64
br label %68
Expand Down Expand Up @@ -7007,7 +7003,7 @@ Wlc_ObjConstValue.exit: ; preds = %.critedge
br label %Vec_IntGrow.exit.i39

Vec_IntGrow.exit.i39: ; preds = %80, %78
%82 = phi ptr [ %79, %78 ], [ %81, %80 ]
%82 = phi ptr [ %79, %79 ], [ %81, %81 ]
store ptr %82, ptr %.phi.trans.insert.i35, align 8, !tbaa !34
store i32 16, ptr %2, align 8, !tbaa !35
br label %Vec_IntPush.exit40
Expand All @@ -7029,22 +7025,22 @@ Vec_IntGrow.exit.i39: ; preds = %80, %78
br label %92

92: ; preds = %90, %88
%93 = phi ptr [ %89, %88 ], [ %91, %90 ]
%93 = phi ptr [ %89, %89 ], [ %91, %91 ]
store ptr %93, ptr %.phi.trans.insert.i35, align 8, !tbaa !34
store i32 %84, ptr %2, align 8, !tbaa !35
br label %Vec_IntPush.exit40

Vec_IntPush.exit40: ; preds = %.Vec_IntGrow.exit10_crit_edge.i34, %Vec_IntGrow.exit.i39, %92
%94 = phi ptr [ %.pre.i36, %.Vec_IntGrow.exit10_crit_edge.i34 ], [ %93, %92 ], [ %82, %Vec_IntGrow.exit.i39 ]
%94 = phi ptr [ %.pre.i36, %.Vec_IntGrow.exit10_crit_edge.i34 ], [ %93, %93 ], [ %82, %Vec_IntGrow.exit.i39 ]
%95 = load i32, ptr %7, align 4, !tbaa !40
%96 = add nsw i32 %95, 1
store i32 %96, ptr %7, align 4, !tbaa !40
%97 = sext i32 %95 to i64
%98 = getelementptr inbounds i32, ptr %94, i64 %97
store i32 %70, ptr %98, align 4, !tbaa !42
%indvars.iv.next55 = add nuw nsw i64 %indvars.iv54, 1
%exitcond.not = icmp eq i64 %indvars.iv.next55, %wide.trip.count
br i1 %exitcond.not, label %.loopexit, label %68, !llvm.loop !138
%exitcond.not = icmp samesign ult i64 %indvars.iv.next55, %wide.trip.count
br i1 %exitcond.not, label %69, label %.loopexit, !llvm.loop !138

99: ; preds = %.critedge
%100 = getelementptr i8, ptr %6, i64 16
Expand Down Expand Up @@ -7082,7 +7078,7 @@ Vec_IntPush.exit40: ; preds = %.Vec_IntGrow.exit10
br label %Vec_IntGrow.exit.i.i

Vec_IntGrow.exit.i.i: ; preds = %113, %111
%115 = phi ptr [ %112, %111 ], [ %114, %113 ]
%115 = phi ptr [ %112, %113 ], [ %114, %115 ]
store ptr %115, ptr %109, align 8, !tbaa !34
store i32 16, ptr %2, align 8, !tbaa !35
br label %Vec_IntPush.exit.i
Expand All @@ -7105,13 +7101,13 @@ Vec_IntGrow.exit.i.i: ; preds = %113, %111
br label %126

126: ; preds = %124, %122
%127 = phi ptr [ %123, %122 ], [ %125, %124 ]
%127 = phi ptr [ %123, %124 ], [ %125, %126 ]
store ptr %127, ptr %118, align 8, !tbaa !34
store i32 %117, ptr %2, align 8, !tbaa !35
br label %Vec_IntPush.exit.i

Vec_IntPush.exit.i: ; preds = %126, %Vec_IntGrow.exit.i.i, %.Vec_IntGrow.exit10_crit_edge.i.i
%128 = phi ptr [ %.pre.i.i, %.Vec_IntGrow.exit10_crit_edge.i.i ], [ %127, %126 ], [ %115, %Vec_IntGrow.exit.i.i ]
%128 = phi ptr [ %.pre.i.i, %.Vec_IntGrow.exit10_crit_edge.i.i ], [ %127, %128 ], [ %115, %Vec_IntGrow.exit.i.i ]
%129 = load i32, ptr %7, align 4, !tbaa !40
%130 = add nsw i32 %129, 1
store i32 %130, ptr %7, align 4, !tbaa !40
Expand Down Expand Up @@ -7168,7 +7164,7 @@ Vec_IntPush.exit9.sink.split.i: ; preds = %Vec_IntPush.exit.i
br label %Vec_IntGrow.exit.i46

Vec_IntGrow.exit.i46: ; preds = %155, %153
%157 = phi ptr [ %154, %153 ], [ %156, %155 ]
%157 = phi ptr [ %154, %155 ], [ %156, %157 ]
store ptr %157, ptr %151, align 8, !tbaa !34
store i32 16, ptr %2, align 8, !tbaa !35
br label %.loopexit.sink.split.sink.split
Expand All @@ -7191,14 +7187,14 @@ Vec_IntGrow.exit.i46: ; preds = %155, %153
br label %168

168: ; preds = %166, %164
%169 = phi ptr [ %165, %164 ], [ %167, %166 ]
%169 = phi ptr [ %165, %166 ], [ %167, %168 ]
store ptr %169, ptr %160, align 8, !tbaa !34
store i32 %159, ptr %2, align 8, !tbaa !35
br label %.loopexit.sink.split.sink.split

.loopexit.sink.split.sink.split: ; preds = %168, %Vec_IntGrow.exit.i46, %.Vec_IntGrow.exit10_crit_edge.i41, %Vec_IntPush.exit9.sink.split.i
%.sink58.ph = phi ptr [ %140, %Vec_IntPush.exit9.sink.split.i ], [ %.pre.i43, %.Vec_IntGrow.exit10_crit_edge.i41 ], [ %169, %168 ], [ %157, %Vec_IntGrow.exit.i46 ]
%.val32.val.sink.ph = phi i32 [ %.val32.val, %Vec_IntPush.exit9.sink.split.i ], [ %144, %.Vec_IntGrow.exit10_crit_edge.i41 ], [ %144, %168 ], [ %144, %Vec_IntGrow.exit.i46 ]
%.sink58.ph = phi ptr [ %140, %Vec_IntPush.exit9.sink.split.i ], [ %.pre.i43, %.Vec_IntGrow.exit10_crit_edge.i41 ], [ %169, %170 ], [ %157, %Vec_IntGrow.exit.i46 ]
%.val32.val.sink.ph = phi i32 [ %.val32.val, %Vec_IntPush.exit9.sink.split.i ], [ %144, %.Vec_IntGrow.exit10_crit_edge.i41 ], [ %144, %170 ], [ %144, %Vec_IntGrow.exit.i46 ]
%.pre = load i32, ptr %7, align 4, !tbaa !40
br label %.loopexit.sink.split

Expand All @@ -7213,7 +7209,7 @@ Vec_IntGrow.exit.i46: ; preds = %155, %153
store i32 %.val32.val.sink, ptr %172, align 4, !tbaa !42
br label %.loopexit

.loopexit: ; preds = %Vec_IntPush.exit40, %.loopexit.sink.split, %Wlc_ObjConstValue.exit, %.critedge
.loopexit: ; preds = %Vec_IntPush.exit40, %.loopexit.sink.split, %.critedge
ret void
}

Expand Down
119 changes: 62 additions & 57 deletions bench/actix-rs/optimized/2wg1z1eatrkafji9.ll
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -4408,54 +4408,59 @@ define internal fastcc void @_ZN9hashbrown3raw13RawTableInner15rehash_in_place17
%5 = getelementptr inbounds nuw i8, ptr %0, i64 8
%.val16 = load i64, ptr %5, align 8, !noundef !42
%6 = add i64 %.val16, 1
%7 = lshr i64 %6, 4
%8 = and i64 %6, 15
%.not.i.i.i.i = icmp ne i64 %8, 0
%9 = zext i1 %.not.i.i.i.i to i64
%.0.i.i.i.i = add nuw nsw i64 %7, %9
%.not.not4.i = icmp eq i64 %.0.i.i.i.i, 0
br i1 %.not.not4.i, label %_ZN9hashbrown3raw13RawTableInner23prepare_rehash_in_place17h2d7ad79becd9a34aE.exit, label %.lr.ph.i
%.not.not4.i = icmp eq i64 %6, 0
br i1 %.not.not4.i, label %_ZN9hashbrown3raw13RawTableInner23prepare_rehash_in_place17h2d7ad79becd9a34aE.exit.thread19, label %.lr.ph.i

_ZN9hashbrown3raw13RawTableInner23prepare_rehash_in_place17h2d7ad79becd9a34aE.exit.thread19:; preds = %3
%7 = icmp ne ptr %.val15, null
tail call void @llvm.assume(i1 %7)
%8 = getelementptr inbounds nuw i8, ptr %.val15, i64 16
tail call void @llvm.memmove.p0.p0.i64(ptr nonnull align 1 %8, ptr nonnull align 1 %.val15, i64 %6, i1 false)
call void @llvm.lifetime.start.p0(i64 24, ptr nonnull %4)
br label %._crit_edge

.lr.ph.i: ; preds = %3
%10 = icmp ne ptr %.val15, null
tail call void @llvm.assume(i1 %10)
br label %11
%9 = lshr i64 %6, 4
%10 = and i64 %6, 15
%.not.i.i.i.i = icmp ne i64 %10, 0
%11 = zext i1 %.not.i.i.i.i to i64
%.0.i.i.i.i = add nuw nsw i64 %9, %11
%12 = icmp ne ptr %.val15, null
tail call void @llvm.assume(i1 %12)
br label %16

11: ; preds = %11, %.lr.ph.i
%.sroa.01.06.i = phi i64 [ 0, %.lr.ph.i ], [ %13, %11 ]
%.sroa.5.05.i = phi i64 [ %.0.i.i.i.i, %.lr.ph.i ], [ %12, %11 ]
%12 = add nsw i64 %.sroa.5.05.i, -1
%13 = add i64 %.sroa.01.06.i, 16
%14 = getelementptr inbounds i8, ptr %.val15, i64 %.sroa.01.06.i
%15 = load <16 x i8>, ptr %14, align 16, !noalias !751
%.lobit.i.i = ashr <16 x i8> %15, splat (i8 7)
%16 = bitcast <16 x i8> %.lobit.i.i to <2 x i64>
%17 = or <2 x i64> %16, splat (i64 -9187201950435737472)
store <2 x i64> %17, ptr %14, align 16, !noalias !754
%.not.not.i = icmp eq i64 %12, 0
br i1 %.not.not.i, label %_ZN9hashbrown3raw13RawTableInner23prepare_rehash_in_place17h2d7ad79becd9a34aE.exit, label %11

_ZN9hashbrown3raw13RawTableInner23prepare_rehash_in_place17h2d7ad79becd9a34aE.exit: ; preds = %11, %3
%18 = icmp ne ptr %.val15, null
tail call void @llvm.assume(i1 %18)
%..i = tail call i64 @llvm.umax.i64(i64 %6, i64 16)
%.9.i = tail call i64 @llvm.umin.i64(i64 %6, i64 16)
%19 = getelementptr inbounds i8, ptr %.val15, i64 %..i
tail call void @llvm.memmove.p0.p0.i64(ptr nonnull align 1 %19, ptr nonnull align 1 %.val15, i64 %.9.i, i1 false)
11: ; preds = %16
%spec.select = tail call i64 @llvm.umax.i64(i64 %6, i64 16)
%spec.select27 = tail call i64 @llvm.umin.i64(i64 %6, i64 16)
%13 = getelementptr inbounds i8, ptr %.val15, i64 %spec.select
tail call void @llvm.memmove.p0.p0.i64(ptr nonnull align 1 %13, ptr nonnull align 1 %.val15, i64 %spec.select27, i1 false)
call void @llvm.lifetime.start.p0(i64 24, ptr nonnull %4)
%20 = getelementptr inbounds nuw i8, ptr %4, i64 8
store ptr %2, ptr %20, align 8
%21 = getelementptr inbounds nuw i8, ptr %4, i64 16
store i64 32, ptr %21, align 8
store ptr %0, ptr %4, align 8
%.not9 = icmp eq i64 %6, 0
br i1 %.not9, label %._crit_edge, label %.lr.ph

22: ; preds = %_ZN4core3ptr19swap_nonoverlapping17h59d8210a82ad7a34E.exit
%23 = landingpad { ptr, i32 }
br label %.lr.ph

16: ; preds = %16, %.lr.ph.i
%.sroa.01.06.i = phi i64 [ 0, %.lr.ph.i ], [ %18, %16 ]
%.sroa.5.05.i = phi i64 [ %.0.i.i.i.i, %.lr.ph.i ], [ %17, %16 ]
%17 = add i64 %.sroa.5.05.i, -1
%18 = add i64 %.sroa.01.06.i, 16
%19 = getelementptr inbounds i8, ptr %.val15, i64 %.sroa.01.06.i
%20 = load <16 x i8>, ptr %19, align 16, !noalias !751
%.lobit.i.i = ashr <16 x i8> %20, splat (i8 7)
%21 = bitcast <16 x i8> %.lobit.i.i to <2 x i64>
%22 = or <2 x i64> %21, splat (i64 -9187201950435737472)
store <2 x i64> %22, ptr %19, align 16, !noalias !754
%.not.not.i = icmp eq i64 %17, 0
br i1 %.not.not.i, label %._crit_edge.i, label %16

23: ; preds = %_ZN4core3ptr19swap_nonoverlapping17h59d8210a82ad7a34E.exit
%24 = landingpad { ptr, i32 }
cleanup
invoke fastcc void @"_ZN4core3ptr181drop_in_place$LT$hashbrown..scopeguard..ScopeGuard$LT$$RF$mut$u20$hashbrown..raw..RawTableInner$C$hashbrown..raw..RawTableInner..rehash_in_place..$u7b$$u7b$closure$u7d$$u7d$$GT$$GT$17h4cd20b6166d6f1f7E"(ptr noalias noundef align 8 dereferenceable(24) %4) #50
to label %108 unwind label %106
to label %109 unwind label %106

._crit_edge.loopexit: ; preds = %105
%.pre = load i64, ptr %5, align 8
Expand All @@ -4464,9 +4469,9 @@ _ZN9hashbrown3raw13RawTableInner23prepare_rehash_in_place17h2d7ad79becd9a34aE.ex
%25 = mul nuw i64 %24, 7
br label %._crit_edge

._crit_edge: ; preds = %._crit_edge.loopexit, %_ZN9hashbrown3raw13RawTableInner23prepare_rehash_in_place17h2d7ad79becd9a34aE.exit
%.pre-phi = phi i64 [ %25, %._crit_edge.loopexit ], [ 0, %_ZN9hashbrown3raw13RawTableInner23prepare_rehash_in_place17h2d7ad79becd9a34aE.exit ]
%26 = phi i64 [ %.pre, %._crit_edge.loopexit ], [ -1, %_ZN9hashbrown3raw13RawTableInner23prepare_rehash_in_place17h2d7ad79becd9a34aE.exit ]
._crit_edge: ; preds = %_ZN9hashbrown3raw13RawTableInner23prepare_rehash_in_place17h2d7ad79becd9a34aE.exit.thread19, %._crit_edge.loopexit
%.pre-phi = phi i64 [ %25, %._crit_edge.loopexit ], [ 0, %_ZN9hashbrown3raw13RawTableInner23prepare_rehash_in_place17h2d7ad79becd9a34aE.exit.thread19 ]
%26 = phi i64 [ %.pre, %._crit_edge.loopexit ], [ -1, %_ZN9hashbrown3raw13RawTableInner23prepare_rehash_in_place17h2d7ad79becd9a34aE.exit.thread19 ]
%27 = icmp ult i64 %26, 8
%.0 = select i1 %27, i64 %26, i64 %.pre-phi
%28 = getelementptr inbounds nuw i8, ptr %0, i64 24
Expand All @@ -4477,8 +4482,8 @@ _ZN9hashbrown3raw13RawTableInner23prepare_rehash_in_place17h2d7ad79becd9a34aE.ex
call void @llvm.lifetime.end.p0(i64 24, ptr nonnull %4)
ret void

.lr.ph: ; preds = %_ZN9hashbrown3raw13RawTableInner23prepare_rehash_in_place17h2d7ad79becd9a34aE.exit, %105
%.sroa.02.08 = phi i64 [ %32, %105 ], [ 0, %_ZN9hashbrown3raw13RawTableInner23prepare_rehash_in_place17h2d7ad79becd9a34aE.exit ]
.lr.ph: ; preds = %11, %105
%.sroa.02.08 = phi i64 [ %32, %106 ], [ 0, %._crit_edge.i ]
%32 = add nuw i64 %.sroa.02.08, 1
%33 = load ptr, ptr %0, align 8, !nonnull !42, !noundef !42
%34 = getelementptr inbounds i8, ptr %33, i64 %.sroa.02.08
Expand All @@ -4494,7 +4499,7 @@ _ZN9hashbrown3raw13RawTableInner23prepare_rehash_in_place17h2d7ad79becd9a34aE.ex

_ZN4core3ptr19swap_nonoverlapping17h59d8210a82ad7a34E.exit: ; preds = %.preheader, %36
%40 = invoke noundef i64 %.40.val(ptr noundef nonnull align 1 %1, ptr noalias noundef nonnull align 8 dereferenceable(32) %0, i64 noundef %.sroa.02.08)
to label %41 unwind label %22
to label %42 unwind label %23

41: ; preds = %_ZN4core3ptr19swap_nonoverlapping17h59d8210a82ad7a34E.exit
%.val = load ptr, ptr %0, align 8, !nonnull !42, !noundef !42
Expand All @@ -4508,8 +4513,8 @@ _ZN4core3ptr19swap_nonoverlapping17h59d8210a82ad7a34E.exit: ; preds = %.preheade
br i1 %.not.i.not7.i, label %.lr.ph.i17, label %._crit_edge.i

.lr.ph.i17: ; preds = %41, %.lr.ph.i17
%.sroa.0.09.i = phi i64 [ %.sroa.0.0.i, %.lr.ph.i17 ], [ %.sroa.0.05.i, %41 ]
%.sroa.7.08.i = phi i64 [ %45, %.lr.ph.i17 ], [ 0, %41 ]
%.sroa.0.09.i = phi i64 [ %.sroa.0.0.i, %.lr.ph.i18 ], [ %.sroa.0.05.i, %42 ]
%.sroa.7.08.i = phi i64 [ %45, %.lr.ph.i18 ], [ 0, %42 ]
%45 = add i64 %.sroa.7.08.i, 16
%46 = add i64 %45, %.sroa.0.09.i
%.sroa.0.0.i = and i64 %46, %.val14
Expand All @@ -4521,8 +4526,8 @@ _ZN4core3ptr19swap_nonoverlapping17h59d8210a82ad7a34E.exit: ; preds = %.preheade
br i1 %.not.i.not.i, label %.lr.ph.i17, label %._crit_edge.i

._crit_edge.i: ; preds = %.lr.ph.i17, %41
%.sroa.0.0.lcssa.i = phi i64 [ %.sroa.0.05.i, %41 ], [ %.sroa.0.0.i, %.lr.ph.i17 ]
%.lcssa.i = phi i16 [ %44, %41 ], [ %49, %.lr.ph.i17 ]
%.sroa.0.0.lcssa.i = phi i64 [ %.sroa.0.05.i, %42 ], [ %.sroa.0.0.i, %.lr.ph.i18 ]
%.lcssa.i = phi i16 [ %44, %42 ], [ %49, %.lr.ph.i18 ]
%50 = tail call range(i16 0, 17) i16 @llvm.cttz.i16(i16 %.lcssa.i, i1 true)
%51 = zext nneg i16 %50 to i64
%52 = add i64 %.sroa.0.0.lcssa.i, %51
Expand All @@ -4543,7 +4548,7 @@ _ZN4core3ptr19swap_nonoverlapping17h59d8210a82ad7a34E.exit: ; preds = %.preheade
br label %_ZN9hashbrown3raw13RawTableInner16find_insert_slot17he8e89ab18b256145E.exit

_ZN9hashbrown3raw13RawTableInner16find_insert_slot17he8e89ab18b256145E.exit: ; preds = %57, %._crit_edge.i
%.0.i.i = phi i64 [ %63, %57 ], [ %53, %._crit_edge.i ]
%.0.i.i = phi i64 [ %63, %58 ], [ %53, %._crit_edge.i17 ]
%64 = sub i64 %.sroa.02.08, %.sroa.0.05.i
%65 = sub i64 %.0.i.i, %.sroa.0.05.i
%66 = xor i64 %65, %64
Expand Down Expand Up @@ -4583,15 +4588,15 @@ _ZN9hashbrown3raw13RawTableInner16find_insert_slot17he8e89ab18b256145E.exit: ; p
br label %105

.preheader: ; preds = %68, %.preheader
%.0910.i = phi i64 [ %95, %.preheader ], [ 0, %68 ]
%.0910.i = phi i64 [ %96, %.preheader ], [ 0, %69 ]
%91 = getelementptr inbounds nuw i8, ptr %39, i64 %.0910.i
%92 = getelementptr inbounds nuw i8, ptr %71, i64 %.0910.i
%93 = load i8, ptr %91, align 1
%94 = load i8, ptr %92, align 1
store i8 %94, ptr %91, align 1
store i8 %93, ptr %92, align 1
%95 = add nuw nsw i64 %.0910.i, 1
%exitcond.not.i = icmp eq i64 %95, 32
%95 = load i8, ptr %93, align 1
store i8 %95, ptr %92, align 1
store i8 %94, ptr %93, align 1
%96 = add nuw nsw i64 %.0910.i, 1
%exitcond.not.i = icmp eq i64 %96, 32
br i1 %exitcond.not.i, label %_ZN4core3ptr19swap_nonoverlapping17h59d8210a82ad7a34E.exit, label %.preheader

96: ; preds = %68
Expand All @@ -4612,14 +4617,14 @@ _ZN9hashbrown3raw13RawTableInner16find_insert_slot17he8e89ab18b256145E.exit: ; p
%exitcond.not = icmp eq i64 %.sroa.02.08, %.val16
br i1 %exitcond.not, label %._crit_edge.loopexit, label %.lr.ph

106: ; preds = %22
106: ; preds = %23
%107 = landingpad { ptr, i32 }
filter [0 x ptr] zeroinitializer
tail call void @_ZN4core9panicking16panic_in_cleanup17hbacfddf1bcf21a1eE() #51
unreachable

108: ; preds = %22
resume { ptr, i32 } %23
108: ; preds = %23
resume { ptr, i32 } %24
}

; Function Attrs: nonlazybind uwtable
Expand Down
Loading