Skip to content

pre-commit: PR125828 #2087

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

Open
wants to merge 3 commits into
base: main
Choose a base branch
from
Open

pre-commit: PR125828 #2087

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
21a174c
pre-commit: PR125828
nikic Feb 5, 2025
85fd971
pre-commit: Update
github-actions[bot] Feb 5, 2025
6ebebdf
pre-commit: Remap
github-actions[bot] Feb 5, 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
16 changes: 8 additions & 8 deletions bench/abc/optimized/abcRec3.ll
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -2744,16 +2744,14 @@ define void @Lms_ManPrintFuncStats(ptr noundef captures(none) %0) local_unnamed_
%.val32 = load ptr, ptr %20, align 8, !tbaa !42
%21 = getelementptr i8, ptr %17, i64 8
%.val34 = load ptr, ptr %21, align 8, !tbaa !48
%22 = add nsw i32 %.val30, -1
%22 = zext nneg i32 %.val30 to i64
%.pre43 = load i32, ptr %.val32, align 4, !tbaa !43
%23 = add nsw i32 %.val30, -2
%umin = tail call i32 @llvm.umin.i32(i32 %22, i32 %23)
%24 = add nuw nsw i32 %umin, 1
%wide.trip.count = zext nneg i32 %24 to i64
%.pre44 = load i32, ptr %.val32, align 4, !tbaa !43
%umin = zext i32 %23 to i64
br label %25

25: ; preds = %.lr.ph, %25
%26 = phi i32 [ %.pre44, %.lr.ph ], [ %28, %25 ]
%26 = phi i32 [ %.pre43, %.lr.ph ], [ %28, %25 ]
%indvars.iv = phi i64 [ 0, %.lr.ph ], [ %indvars.iv.next, %25 ]
%indvars.iv.next = add nuw nsw i64 %indvars.iv, 1
%27 = getelementptr inbounds nuw i32, ptr %.val32, i64 %indvars.iv.next
Expand All @@ -2771,8 +2769,10 @@ define void @Lms_ManPrintFuncStats(ptr noundef captures(none) %0) local_unnamed_
%38 = load i32, ptr %37, align 4, !tbaa !43
%39 = add nsw i32 %36, %38
store i32 %39, ptr %37, align 4, !tbaa !43
%exitcond = icmp eq i64 %indvars.iv.next, %wide.trip.count
br i1 %exitcond, label %.critedge.preheader.preheader, label %25, !llvm.loop !112
%exitcond = icmp samesign uge i64 %indvars.iv.next, %22
%41 = icmp eq i64 %indvars.iv, %24
%or.cond = select i1 %40, i1 true, i1 %41
br i1 %or.cond, label %.critedge.preheader.preheader, label %25, !llvm.loop !112

.critedge.preheader.preheader: ; preds = %25, %15
br label %.critedge.preheader
Expand Down
20 changes: 8 additions & 12 deletions bench/abc/optimized/bmcFx.ll
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -1008,20 +1008,17 @@ Vec_IntPush.exit.i: ; preds = %Vec_IntPush.exit.si
br i1 %or.cond41.i, label %._crit_edge45.i, label %.lr.ph44.preheader.i

.lr.ph44.preheader.i: ; preds = %._crit_edge.i
%217 = add nsw i32 %.val37.i, -1
%218 = add i32 %2, -1
%umin.i = tail call i32 @llvm.umin.i32(i32 %217, i32 %218)
%219 = add nuw nsw i32 %umin.i, 1
%wide.trip.count.i = zext nneg i32 %219 to i64
%220 = load ptr, ptr %16, align 8, !tbaa !32
%217 = zext i32 %2 to i64
%218 = zext nneg i32 %.val37.i to i64
%umin.i = load ptr, ptr %16, align 8, !tbaa !32
br label %.lr.ph44.i

.lr.ph44.i: ; preds = %229, %.lr.ph44.preheader.i
%indvars.iv.i = phi i64 [ 0, %.lr.ph44.preheader.i ], [ %indvars.iv.next.i, %229 ]
%221 = getelementptr inbounds nuw i32, ptr %214, i64 %indvars.iv.i
%222 = load i32, ptr %221, align 4, !tbaa !11
%223 = sext i32 %222 to i64
%224 = getelementptr inbounds %struct.Tab_Obj_t_, ptr %220, i64 %223, i32 2
%224 = getelementptr inbounds %struct.Tab_Obj_t_, ptr %219, i64 %223, i32 2
%225 = load i64, ptr %224, align 4
%226 = trunc i64 %225 to i32
%227 = and i32 %226, 131071
Expand Down Expand Up @@ -1055,8 +1052,10 @@ Vec_IntPush.exit.i: ; preds = %Vec_IntPush.exit.si
%252 = and i32 %251, 32767
tail call fastcc void @Vec_IntPushTwo(ptr noundef nonnull %168, i32 noundef %249, i32 noundef %252)
%indvars.iv.next.i = add nuw nsw i64 %indvars.iv.i, 1
%exitcond.i = icmp eq i64 %indvars.iv.next.i, %wide.trip.count.i
br i1 %exitcond.i, label %._crit_edge45.i, label %.lr.ph44.i, !llvm.loop !41
%exitcond.i = icmp samesign uge i64 %indvars.iv.next.i, %218
%253 = icmp eq i64 %indvars.iv.next.i, %217
%or.cond.i = or i1 %252, %253
br i1 %or.cond.i, label %._crit_edge45.i, label %.lr.ph44.i, !llvm.loop !41

._crit_edge45.i: ; preds = %229, %.lr.ph44.i, %._crit_edge.i
%.not.i39.i = icmp eq ptr %.val38.i, null
Expand Down Expand Up @@ -3035,9 +3034,6 @@ declare i32 @llvm.smax.i32(i32, i32) #15
; Function Attrs: nocallback nofree nosync nounwind speculatable willreturn memory(none)
declare i32 @llvm.smin.i32(i32, i32) #15

; Function Attrs: nocallback nofree nosync nounwind speculatable willreturn memory(none)
declare i32 @llvm.umin.i32(i32, i32) #15

; Function Attrs: nocallback nofree nosync nounwind speculatable willreturn memory(none)
declare i32 @llvm.scmp.i32.i32(i32, i32) #15

Expand Down
38 changes: 16 additions & 22 deletions bench/abc/optimized/wlcAbc.ll
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -59,14 +59,12 @@ define void @Wlc_NtkPrintInputInfo(ptr noundef %0) local_unnamed_addr #0 {
%.val67 = load i32, ptr %17, align 8, !tbaa !21
%18 = getelementptr i8, ptr %16, i64 12
%.val68 = load i32, ptr %18, align 4, !tbaa !23
%19 = sub i32 %.val67, %.val68
%19 = sub nsw i32 %.val67, %.val68
%20 = tail call i32 @llvm.abs.i32(i32 %19, i1 true)
%. = tail call i32 @llvm.smin.i32(i32 %.val67, i32 %.val68)
%21 = ptrtoint ptr %16 to i64
%22 = zext nneg i32 %.05680 to i64
%smax = tail call i32 @llvm.abs.i32(i32 %19, i1 false)
%23 = add nuw i32 %smax, 1
%wide.trip.count = zext i32 %23 to i64
%smax = zext nneg i32 %20 to i64
br label %24

24: ; preds = %12, %33
Expand Down Expand Up @@ -96,8 +94,8 @@ define void @Wlc_NtkPrintInputInfo(ptr noundef %0) local_unnamed_addr #0 {
%41 = add i32 %., %40
%42 = tail call i32 (ptr, ptr, ...) @fprintf(ptr noundef %2, ptr noundef nonnull @.str.2, ptr noundef %39, i32 noundef %41, i32 noundef %34) #11
%indvars.iv.next = add nuw nsw i64 %indvars.iv, 1
%exitcond.not = icmp eq i64 %indvars.iv.next, %wide.trip.count
br i1 %exitcond.not, label %43, label %24, !llvm.loop !26
%exitcond.not = icmp samesign ult i64 %indvars.iv, %23
br i1 %exitcond.not, label %24, label %43, !llvm.loop !26

43: ; preds = %33
%44 = add nuw nsw i32 %20, 1
Expand Down Expand Up @@ -206,14 +204,12 @@ define void @Wlc_NtkPrintInvStats(ptr noundef %0, ptr noundef readonly captures(
%.val44 = load i32, ptr %17, align 8, !tbaa !21
%18 = getelementptr i8, ptr %13, i64 12
%.val45 = load i32, ptr %18, align 4, !tbaa !23
%19 = sub i32 %.val44, %.val45
%19 = sub nsw i32 %.val44, %.val45
%20 = tail call i32 @llvm.abs.i32(i32 %19, i1 true)
%21 = add nuw nsw i32 %20, 1
%.val40 = load ptr, ptr %8, align 8, !tbaa !10
%22 = zext nneg i32 %.053 to i64
%smax = tail call i32 @llvm.abs.i32(i32 %19, i1 false)
%23 = add nuw i32 %smax, 1
%wide.trip.count = zext i32 %23 to i64
%smax = zext nneg i32 %20 to i64
%invariant.gep = getelementptr inbounds nuw i32, ptr %.val40, i64 %22
br label %24

Expand All @@ -226,8 +222,8 @@ define void @Wlc_NtkPrintInvStats(ptr noundef %0, ptr noundef readonly captures(

26: ; preds = %24
%indvars.iv.next = add nuw nsw i64 %indvars.iv, 1
%exitcond.not = icmp eq i64 %indvars.iv.next, %wide.trip.count
br i1 %exitcond.not, label %27, label %24, !llvm.loop !31
%exitcond.not = icmp samesign ult i64 %indvars.iv, %23
br i1 %exitcond.not, label %24, label %27, !llvm.loop !31

27: ; preds = %24, %26
%.034.lcssa.in = phi i64 [ %indvars.iv, %24 ], [ %indvars.iv.next, %26 ]
Expand Down Expand Up @@ -262,8 +258,8 @@ define void @Wlc_NtkPrintInvStats(ptr noundef %0, ptr noundef readonly captures(

44: ; preds = %36, %41
%indvars.iv.next56 = add nuw nsw i64 %indvars.iv55, 1
%exitcond61.not = icmp eq i64 %indvars.iv.next56, %wide.trip.count
br i1 %exitcond61.not, label %45, label %36, !llvm.loop !32
%exitcond61.not = icmp samesign ult i64 %indvars.iv55, %23
br i1 %exitcond61.not, label %36, label %45, !llvm.loop !32

45: ; preds = %44
%putchar = tail call i32 @putchar(i32 10)
Expand Down Expand Up @@ -426,14 +422,12 @@ define ptr @Wlc_NtkGetInv(ptr noundef %0, ptr noundef %1, ptr noundef readonly %
%.val105 = load i32, ptr %66, align 8, !tbaa !21
%67 = getelementptr i8, ptr %62, i64 12
%.val106 = load i32, ptr %67, align 4, !tbaa !23
%68 = sub i32 %.val105, %.val106
%68 = sub nsw i32 %.val105, %.val106
%69 = call i32 @llvm.abs.i32(i32 %68, i1 true)
%70 = add nuw nsw i32 %69, 1
%.val101 = load ptr, ptr %16, align 8, !tbaa !10
%71 = zext nneg i32 %.085121 to i64
%smax = call i32 @llvm.abs.i32(i32 %68, i1 false)
%72 = add nuw i32 %smax, 1
%wide.trip.count = zext i32 %72 to i64
%smax = zext nneg i32 %69 to i64
%invariant.gep = getelementptr inbounds nuw i32, ptr %.val101, i64 %71
br label %73

Expand All @@ -446,8 +440,8 @@ define ptr @Wlc_NtkGetInv(ptr noundef %0, ptr noundef %1, ptr noundef readonly %

75: ; preds = %73
%indvars.iv.next = add nuw nsw i64 %indvars.iv, 1
%exitcond.not = icmp eq i64 %indvars.iv.next, %wide.trip.count
br i1 %exitcond.not, label %76, label %73, !llvm.loop !55
%exitcond.not = icmp samesign ult i64 %indvars.iv, %72
br i1 %exitcond.not, label %73, label %76, !llvm.loop !55

76: ; preds = %73, %75
%.087.lcssa.in = phi i64 [ %indvars.iv, %73 ], [ %indvars.iv.next, %75 ]
Expand Down Expand Up @@ -487,8 +481,8 @@ define ptr @Wlc_NtkGetInv(ptr noundef %0, ptr noundef %1, ptr noundef readonly %

96: ; preds = %81, %86
%indvars.iv.next134 = add nuw nsw i64 %indvars.iv133, 1
%exitcond139.not = icmp eq i64 %indvars.iv.next134, %wide.trip.count
br i1 %exitcond139.not, label %97, label %81, !llvm.loop !56
%exitcond139.not = icmp samesign ult i64 %indvars.iv133, %72
br i1 %exitcond139.not, label %81, label %97, !llvm.loop !56

97: ; preds = %96
%98 = add nuw nsw i32 %70, %.085121
Expand Down
10 changes: 4 additions & 6 deletions bench/abc/optimized/wlnWlc.ll
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -378,13 +378,11 @@ Wln_NtkCleanNameId.exit: ; preds = %Vec_IntGrow.exit.i.
%.val269 = load i32, ptr %138, align 8, !tbaa !38
%139 = getelementptr i8, ptr %134, i64 12
%.val270 = load i32, ptr %139, align 4, !tbaa !40
%140 = sub i32 %.val269, %.val270
%140 = sub nsw i32 %.val269, %.val270
%141 = call i32 @llvm.abs.i32(i32 %140, i1 true)
%142 = load ptr, ptr %91, align 8, !tbaa !42
%143 = sext i32 %.0220391 to i64
%smax = call i32 @llvm.abs.i32(i32 %140, i1 false)
%144 = add nuw i32 %smax, 1
%wide.trip.count = zext i32 %144 to i64
%smax = zext nneg i32 %141 to i64
%invariant.gep = getelementptr i8, ptr %142, i64 %143
br label %145

Expand All @@ -397,8 +395,8 @@ Wln_NtkCleanNameId.exit: ; preds = %Vec_IntGrow.exit.i.

148: ; preds = %145
%indvars.iv.next423 = add nuw nsw i64 %indvars.iv422, 1
%exitcond.not = icmp eq i64 %indvars.iv.next423, %wide.trip.count
br i1 %exitcond.not, label %149, label %145, !llvm.loop !43
%exitcond.not = icmp samesign ult i64 %indvars.iv422, %144
br i1 %exitcond.not, label %145, label %149, !llvm.loop !43

149: ; preds = %145, %148
%.0219.lcssa.in = phi i64 [ %indvars.iv422, %145 ], [ %indvars.iv.next423, %148 ]
Expand Down
6 changes: 2 additions & 4 deletions bench/arrow/optimized/UriParse.ll
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -5311,8 +5311,6 @@ if.end17: ; preds = %if.end12
br i1 %cmp.not16.i, label %if.end.preheader.i, label %uriParseIpFutLoopA.exit

if.end.preheader.i: ; preds = %if.end17
%afterLast20.i = ptrtoint ptr %afterLast to i64
%scevgep.i = getelementptr i8, ptr inttoptr (i64 -1 to ptr), i64 %afterLast20.i
%.pre.i = load i8, ptr %add.ptr21, align 1
br label %if.end.i46

Expand Down Expand Up @@ -5402,8 +5400,8 @@ if.end.i46: ; preds = %if.end.i46.backedge

sw.bb.i47: ; preds = %if.end.i46, %if.end.i46, %if.end.i46, %if.end.i46, %if.end.i46, %if.end.i46, %if.end.i46, %if.end.i46, %if.end.i46, %if.end.i46, %if.end.i46, %if.end.i46, %if.end.i46, %if.end.i46, %if.end.i46, %if.end.i46, %if.end.i46, %if.end.i46, %if.end.i46, %if.end.i46, %if.end.i46, %if.end.i46, %if.end.i46, %if.end.i46, %if.end.i46, %if.end.i46, %if.end.i46, %if.end.i46, %if.end.i46, %if.end.i46, %if.end.i46, %if.end.i46, %if.end.i46, %if.end.i46, %if.end.i46, %if.end.i46, %if.end.i46, %if.end.i46, %if.end.i46, %if.end.i46, %if.end.i46, %if.end.i46, %if.end.i46, %if.end.i46, %if.end.i46, %if.end.i46, %if.end.i46, %if.end.i46, %if.end.i46, %if.end.i46, %if.end.i46, %if.end.i46, %if.end.i46, %if.end.i46, %if.end.i46, %if.end.i46, %if.end.i46, %if.end.i46, %if.end.i46, %if.end.i46, %if.end.i46, %if.end.i46, %if.end.i46, %if.end.i46, %if.end.i46, %if.end.i46, %if.end.i46, %if.end.i46, %if.end.i46, %if.end.i46, %if.end.i46, %if.end.i46, %if.end.i46, %if.end.i46, %if.end.i46, %if.end.i46, %if.end.i46, %if.end.i46
%add.ptr.i48 = getelementptr inbounds nuw i8, ptr %first.tr17.i, i64 1
%exitcond.not.i49 = icmp eq ptr %first.tr17.i, %scevgep.i
br i1 %exitcond.not.i49, label %if.end26, label %if.end.i.i
%exitcond.not.i49 = icmp ult ptr %add.ptr.i48, %afterLast
br i1 %exitcond.not.i49, label %if.end.i.i, label %if.end26

if.end.i.i: ; preds = %sw.bb.i47
%8 = load i8, ptr %add.ptr.i48, align 1
Expand Down
12 changes: 5 additions & 7 deletions bench/boost/optimized/args_cmd.ll
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -147861,11 +147861,7 @@ _ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE6assignIN9__gnu_cxx17__norm
br i1 %.not2835.i.i.i, label %_ZNK5boost9algorithm6detail13first_finderFIPKcNS0_8is_equalEEclIN9__gnu_cxx17__normal_iteratorIPcNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEEEEENS_14iterator_rangeIT_EESJ_SJ_.exit.thread.i.i, label %.lr.ph.preheader.i.i.i

.lr.ph.preheader.i.i.i: ; preds = %_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE6assignIN9__gnu_cxx17__normal_iteratorIPKcS4_EEvEERS4_T_SC_.exit, %.critedge15.i.i.i
%indvars.iv.in = phi i64 [ %indvars.iv, %.critedge15.i.i.i ], [ %29, %_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE6assignIN9__gnu_cxx17__normal_iteratorIPKcS4_EEvEERS4_T_SC_.exit ]
%.sroa.018.036.i.i.i = phi ptr [ %37, %.critedge15.i.i.i ], [ %28, %_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE6assignIN9__gnu_cxx17__normal_iteratorIPKcS4_EEvEERS4_T_SC_.exit ]
%indvars.iv = add i64 %indvars.iv.in, -1
%.not = icmp eq i64 %indvars.iv, 0
%31 = select i1 %.not, i64 1, i64 2
br label %.lr.ph.i.i.i

.lr.ph.i.i.i: ; preds = %35, %.lr.ph.preheader.i.i.i
Expand All @@ -147880,12 +147876,14 @@ _ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE6assignIN9__gnu_cxx17__norm
35: ; preds = %.lr.ph.i.i.i
%36 = getelementptr inbounds nuw i8, ptr %.sroa.0.029.i.i.i, i64 1
%.01230.i.i.i.add = add nuw nsw i64 %.01230.i.i.i.idx, 1
%exitcond = icmp eq i64 %.01230.i.i.i.add, %31
br i1 %exitcond, label %.critedge.i.i.i, label %.lr.ph.i.i.i, !llvm.loop !2555
%exitcond = icmp eq ptr %35, %30
%.not.i.i.i = icmp eq i64 %.01230.i.i.i.add, 2
%or.cond.i.i.i = select i1 %36, i1 true, i1 %.not.i.i.i
br i1 %or.cond.i.i.i, label %.critedge.i.i.i, label %.lr.ph.i.i.i, !llvm.loop !2555

.critedge.i.i.i: ; preds = %35, %.lr.ph.i.i.i
%.sroa.0.0.lcssa.ph.i.i.i = phi ptr [ %.sroa.0.029.i.i.i, %.lr.ph.i.i.i ], [ %36, %35 ]
%.012.lcssa.ph.i.i.i.idx = phi i64 [ %.01230.i.i.i.idx, %.lr.ph.i.i.i ], [ %31, %35 ]
%.012.lcssa.ph.i.i.i.idx = phi i64 [ %.01230.i.i.i.idx, %.lr.ph.i.i.i ], [ %.01230.i.i.i.add, %35 ]
%.not13.i.i.i = icmp eq i64 %.012.lcssa.ph.i.i.i.idx, 2
br i1 %.not13.i.i.i, label %_ZNK5boost9algorithm6detail13first_finderFIPKcNS0_8is_equalEEclIN9__gnu_cxx17__normal_iteratorIPcNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEEEEENS_14iterator_rangeIT_EESJ_SJ_.exit.i.i, label %.critedge15.i.i.i

Expand Down
12 changes: 4 additions & 8 deletions bench/bullet3/optimized/btSoftBodyHelpers.ll
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -5280,12 +5280,8 @@ for.body11.preheader: ; preds = %if.then.i.i.i60
store ptr %call.i.i.i.i83, ptr %m_data.i.i36, align 8
store i32 %maxidx.0.lcssa, ptr %m_capacity.i.i38, align 8
store i32 %maxidx.0.lcssa, ptr %m_size.i.i37, align 4
%mul8 = mul i32 %maxidx.0.lcssa, 3
%smax151 = tail call i32 @llvm.smax.i32(i32 %mul8, i32 3)
%2 = add nsw i32 %smax151, -1
%3 = udiv i32 %2, 3
%4 = add nuw nsw i32 %3, 1
%wide.trip.count152 = zext nneg i32 %4 to i64
%mul8 = mul nsw i32 %maxidx.0.lcssa, 3
%smax151 = zext nneg i32 %mul8 to i64
br label %for.body11

for.body11: ; preds = %for.body11.preheader, %for.body11
Expand All @@ -5307,8 +5303,8 @@ for.body11: ; preds = %for.body11.preheade
store float 0.000000e+00, ptr %ref.tmp12.sroa.4.0.arrayidx.i.sroa_idx, align 4
%indvars.iv.next147 = add nuw nsw i64 %indvars.iv146, 1
%indvars.iv.next145 = add nuw nsw i64 %indvars.iv144, 3
%exitcond153.not = icmp eq i64 %indvars.iv.next147, %wide.trip.count152
br i1 %exitcond153.not, label %for.end26, label %for.body11, !llvm.loop !45
%exitcond153.not = icmp samesign ult i64 %indvars.iv.next145, %2
br i1 %exitcond153.not, label %for.body11, label %for.end26, !llvm.loop !45

lpad3.loopexit: ; preds = %if.then
%lpad.loopexit = landingpad { ptr, i32 }
Expand Down
Loading