Skip to content

pre-commit: PR143471 #2414

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: PR143471 #2414

Show file tree
Hide file tree
Changes from 2 commits
Commits
Show all changes
3 commits
Select commit Hold shift + click to select a range
77e24e4
pre-commit: PR143471
dtcxzyw Jun 10, 2025
a149157
pre-commit: Update
github-actions[bot] Jun 10, 2025
601dd54
pre-commit: Remap
github-actions[bot] Jun 10, 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
2 changes: 1 addition & 1 deletion bench/abc/optimized/abcPart.ll
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -4615,7 +4615,7 @@ define ptr @Abc_NtkPartStartHop(ptr noundef %0) local_unnamed_addr #4 {
%.val55.val = load i32, ptr %4, align 4, !tbaa !12
%5 = tail call noalias dereferenceable_or_null(16) ptr @malloc(i64 noundef 16) #24
%6 = tail call i32 @llvm.umax.i32(i32 %.val55.val, i32 7)
%spec.store.select.i = add i32 %6, 1
%spec.store.select.i = add nsw i32 %6, 1
%7 = getelementptr inbounds nuw i8, ptr %5, i64 4
store i32 %spec.store.select.i, ptr %5, align 8, !tbaa !14
%.not.i = icmp eq i32 %spec.store.select.i, 0
Expand Down
18 changes: 10 additions & 8 deletions bench/casadi/optimized/integrator.ll
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -14931,11 +14931,13 @@ _ZN6casadi10Integrator8all_zeroEPKdx.exit519.thread: ; preds = %801, %.loopexit8
%.not.not24.i = icmp sgt i64 %.fr.i564, 0
%smin.i = call i64 @llvm.smin.i64(i64 %901, i64 0)
%912 = add i64 %smin.i, -1
br i1 %.not.not24.i, label %.preheader.split.us.preheader.i569, label %_ZNK6casadi10Integrator10next_stopBExPKd.exit.thread

.preheader.split.us.preheader.i569: ; preds = %.preheader.i566
%913 = icmp sgt i64 %901, 0
%or.cond1646 = and i1 %.not.not24.i, %913
br i1 %or.cond1646, label %.lr.ph.us.i571.preheader, label %_ZNK6casadi10Integrator10next_stopBExPKd.exit
br i1 %913, label %.lr.ph.us.i571.preheader, label %_ZNK6casadi10Integrator10next_stopBExPKd.exit

.lr.ph.us.i571.preheader: ; preds = %.preheader.i566
.lr.ph.us.i571.preheader: ; preds = %.preheader.split.us.preheader.i569
%.pre1578 = load double, ptr %784, align 8, !tbaa !342
br label %.lr.ph.us.i571

Expand Down Expand Up @@ -14967,8 +14969,8 @@ _ZN6casadi10Integrator8all_zeroEPKdx.exit519.thread: ; preds = %801, %.loopexit8
%927 = add nuw i64 %920, 1
br i1 %926, label %_ZNK6casadi10Integrator10next_stopBExPKd.exit, label %.lr.ph34.i, !llvm.loop !397

_ZNK6casadi10Integrator10next_stopBExPKd.exit: ; preds = %.preheader.split.us.i570.loopexit, %921, %.preheader.i566, %_ZN6casadi10Integrator8all_zeroEPKdx.exit519.thread
%.3208 = phi i64 [ %.22071491, %_ZN6casadi10Integrator8all_zeroEPKdx.exit519.thread ], [ %912, %.preheader.i566 ], [ %916, %921 ], [ %912, %.preheader.split.us.i570.loopexit ]
_ZNK6casadi10Integrator10next_stopBExPKd.exit: ; preds = %.preheader.split.us.i570.loopexit, %921, %.preheader.split.us.preheader.i569, %_ZN6casadi10Integrator8all_zeroEPKdx.exit519.thread
%.3208 = phi i64 [ %.22071491, %_ZN6casadi10Integrator8all_zeroEPKdx.exit519.thread ], [ %912, %.preheader.split.us.preheader.i569 ], [ %916, %921 ], [ %912, %.preheader.split.us.i570.loopexit ]
%928 = icmp slt i64 %.3208, 0
br i1 %928, label %_ZNK6casadi10Integrator10next_stopBExPKd.exit.thread, label %_ZNK6casadi10Integrator10next_stopBExPKd.exit.thread848

Expand All @@ -14978,9 +14980,9 @@ _ZNK6casadi10Integrator10next_stopBExPKd.exit.thread848: ; preds = %.lr.ph.us.i5
%930 = getelementptr inbounds nuw double, ptr %929, i64 %.3208850
br label %_ZNK6casadi10Integrator10next_stopBExPKd.exit.thread

_ZNK6casadi10Integrator10next_stopBExPKd.exit.thread: ; preds = %907, %_ZNK6casadi10Integrator10next_stopBExPKd.exit, %_ZNK6casadi10Integrator10next_stopBExPKd.exit.thread848
%.3208847 = phi i64 [ %.3208850, %_ZNK6casadi10Integrator10next_stopBExPKd.exit.thread848 ], [ %.3208, %_ZNK6casadi10Integrator10next_stopBExPKd.exit ], [ -1, %907 ]
%.in260 = phi ptr [ %930, %_ZNK6casadi10Integrator10next_stopBExPKd.exit.thread848 ], [ %114, %_ZNK6casadi10Integrator10next_stopBExPKd.exit ], [ %114, %907 ]
_ZNK6casadi10Integrator10next_stopBExPKd.exit.thread: ; preds = %.preheader.i566, %907, %_ZNK6casadi10Integrator10next_stopBExPKd.exit, %_ZNK6casadi10Integrator10next_stopBExPKd.exit.thread848
%.3208847 = phi i64 [ %.3208850, %_ZNK6casadi10Integrator10next_stopBExPKd.exit.thread848 ], [ %.3208, %_ZNK6casadi10Integrator10next_stopBExPKd.exit ], [ -1, %907 ], [ %912, %.preheader.i566 ]
%.in260 = phi ptr [ %930, %_ZNK6casadi10Integrator10next_stopBExPKd.exit.thread848 ], [ %114, %_ZNK6casadi10Integrator10next_stopBExPKd.exit ], [ %114, %907 ], [ %114, %.preheader.i566 ]
%931 = load double, ptr %.in260, align 8, !tbaa !342
store double %931, ptr %723, align 8, !tbaa !360
%932 = load i8, ptr %713, align 8, !tbaa !366, !range !364, !noundef !365
Expand Down
81 changes: 44 additions & 37 deletions bench/chibicc/optimized/codegen.ll
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -3230,53 +3230,57 @@ define internal fastcc void @copy_struct_reg() unnamed_addr #4 {
tail call void (ptr, ...) @println(ptr noundef nonnull @.str.41)
%11 = getelementptr inbounds nuw i8, ptr %5, i64 4
%12 = load i32, ptr %11, align 4, !tbaa !32
%13 = tail call i32 @llvm.smin.i32(i32 %12, i32 8)
%.02532 = add i32 %13, -1
%14 = icmp sgt i32 %.02532, -1
br i1 %14, label %select.unfold, label %.loopexit31
%13 = icmp sgt i32 %12, 0
br i1 %13, label %select.unfold.preheader, label %.loopexit31

select.unfold: ; preds = %10, %select.unfold
%.02533 = phi i32 [ %.025, %select.unfold ], [ %.02532, %10 ]
select.unfold.preheader: ; preds = %10
%14 = tail call i32 @llvm.umin.i32(i32 %12, i32 8)
br label %select.unfold

select.unfold: ; preds = %select.unfold.preheader, %select.unfold
%.025.in32 = phi i32 [ %.025, %select.unfold ], [ %14, %select.unfold.preheader ]
%.025 = add nsw i32 %.025.in32, -1
tail call void (ptr, ...) @println(ptr noundef nonnull @.str.271)
tail call void (ptr, ...) @println(ptr noundef nonnull @.str.272, i32 noundef %.02533)
%.025 = add nsw i32 %.02533, -1
%.not = icmp eq i32 %.02533, 0
br i1 %.not, label %.loopexit31, label %select.unfold, !llvm.loop !126
tail call void (ptr, ...) @println(ptr noundef nonnull @.str.272, i32 noundef %.025)
%15 = icmp samesign ugt i32 %.025.in32, 1
br i1 %15, label %select.unfold, label %.loopexit31, !llvm.loop !126

.loopexit31: ; preds = %select.unfold, %.loopexit31.sink.split, %10
%.024 = phi i32 [ 0, %10 ], [ 1, %.loopexit31.sink.split ], [ 0, %select.unfold ]
%15 = getelementptr inbounds nuw i8, ptr %5, i64 4
%16 = load i32, ptr %15, align 4, !tbaa !32
%17 = icmp sgt i32 %16, 8
br i1 %17, label %18, label %.loopexit
%16 = getelementptr inbounds nuw i8, ptr %5, i64 4
%17 = load i32, ptr %16, align 4, !tbaa !32
%18 = icmp sgt i32 %17, 8
br i1 %18, label %19, label %.loopexit

18: ; preds = %.loopexit31
%19 = tail call fastcc zeroext i1 @has_flonum(ptr noundef nonnull %5, i32 noundef 8, i32 noundef 16, i32 noundef 0)
br i1 %19, label %20, label %21
19: ; preds = %.loopexit31
%20 = tail call fastcc zeroext i1 @has_flonum(ptr noundef nonnull %5, i32 noundef 8, i32 noundef 16, i32 noundef 0)
br i1 %20, label %21, label %22

20: ; preds = %18
21: ; preds = %19
tail call void (ptr, ...) @println(ptr noundef nonnull @.str.274, i32 noundef %.024)
br label %.loopexit

21: ; preds = %18
%22 = select i1 %6, ptr @.str.258, ptr @.str.54
%23 = select i1 %6, ptr @.str.85, ptr @.str.72
tail call void (ptr, ...) @println(ptr noundef nonnull @.str.182, ptr noundef nonnull %23)
%24 = load i32, ptr %15, align 4, !tbaa !32
%25 = tail call i32 @llvm.smin.i32(i32 %24, i32 16)
%.034 = add i32 %25, -1
%26 = icmp sgt i32 %.034, 7
br i1 %26, label %select.unfold29, label %.loopexit

select.unfold29: ; preds = %21, %select.unfold29
%.035 = phi i32 [ %.0, %select.unfold29 ], [ %.034, %21 ]
tail call void (ptr, ...) @println(ptr noundef nonnull @.str.275, ptr noundef nonnull %23)
tail call void (ptr, ...) @println(ptr noundef nonnull @.str.276, i32 noundef %.035, ptr noundef nonnull %22)
%.0 = add nsw i32 %.035, -1
%27 = icmp samesign ugt i32 %.035, 8
br i1 %27, label %select.unfold29, label %.loopexit, !llvm.loop !127

.loopexit: ; preds = %select.unfold29, %21, %20, %.loopexit31
22: ; preds = %19
%23 = select i1 %6, ptr @.str.258, ptr @.str.54
%24 = select i1 %6, ptr @.str.85, ptr @.str.72
tail call void (ptr, ...) @println(ptr noundef nonnull @.str.182, ptr noundef nonnull %24)
%25 = load i32, ptr %16, align 4, !tbaa !32
%26 = icmp sgt i32 %25, 8
br i1 %26, label %select.unfold29.preheader, label %.loopexit

select.unfold29.preheader: ; preds = %22
%27 = tail call i32 @llvm.umin.i32(i32 %25, i32 16)
br label %select.unfold29

select.unfold29: ; preds = %select.unfold29.preheader, %select.unfold29
%.0.in33 = phi i32 [ %.0, %select.unfold29 ], [ %27, %select.unfold29.preheader ]
%.0 = add nsw i32 %.0.in33, -1
tail call void (ptr, ...) @println(ptr noundef nonnull @.str.275, ptr noundef nonnull %24)
tail call void (ptr, ...) @println(ptr noundef nonnull @.str.276, i32 noundef %.0, ptr noundef nonnull %23)
%28 = icmp samesign ugt i32 %.0.in33, 9
br i1 %28, label %select.unfold29, label %.loopexit, !llvm.loop !127

.loopexit: ; preds = %select.unfold29, %22, %21, %.loopexit31
ret void
}

Expand Down Expand Up @@ -3822,6 +3826,9 @@ declare i32 @llvm.smax.i32(i32, i32) #12
; Function Attrs: nocallback nofree nosync nounwind speculatable willreturn memory(none)
declare i32 @llvm.smin.i32(i32, i32) #12

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

attributes #0 = { mustprogress nofree norecurse nosync nounwind willreturn memory(none) uwtable "min-legal-vector-width"="0" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #1 = { nounwind uwtable "min-legal-vector-width"="0" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #2 = { mustprogress nocallback nofree nosync nounwind willreturn memory(argmem: readwrite) }
Expand Down
Loading