Skip to content
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

pre-commit: PR121423 #1910

Closed
wants to merge 2 commits into from
Closed

pre-commit: PR121423 #1910

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
2 commits
Select commit Hold shift + click to select a range
5c851e5
pre-commit: PR121423
dtcxzyw Jan 2, 2025
566a3f1
pre-commit: Update
github-actions[bot] Jan 2, 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
12 changes: 3 additions & 9 deletions bench/abc/optimized/Glucose2.cpp.ll
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -13905,21 +13905,17 @@ _ZN6Gluco215ClauseAllocator5relocERjRS0_.exit79: ; preds = %327, %436, %473, %_
532: ; preds = %531
%533 = getelementptr inbounds %"struct.Gluco2::Solver::VarData", ptr %508, i64 %525
%534 = load i32, ptr %533, align 4
%or.cond.i = icmp sgt i32 %534, -1
%535 = icmp eq i32 %534, %511
%or.cond114 = and i1 %or.cond.i, %535
br i1 %or.cond114, label %_ZNK6Gluco26Solver6lockedERKNS_6ClauseE.exit.thread110, label %_ZNK6Gluco26Solver6lockedERKNS_6ClauseE.exit.thread
br i1 %535, label %_ZNK6Gluco26Solver6lockedERKNS_6ClauseE.exit.thread110, label %_ZNK6Gluco26Solver6lockedERKNS_6ClauseE.exit.thread

536: ; preds = %518
br i1 %530, label %537, label %541

537: ; preds = %536
%538 = getelementptr inbounds %"struct.Gluco2::Solver::VarData", ptr %508, i64 %525
%539 = load i32, ptr %538, align 4
%or.cond47.i = icmp sgt i32 %539, -1
%540 = icmp eq i32 %539, %511
%or.cond52.i = and i1 %or.cond47.i, %540
br i1 %or.cond52.i, label %_ZNK6Gluco26Solver6lockedERKNS_6ClauseE.exit.thread110, label %541
br i1 %540, label %_ZNK6Gluco26Solver6lockedERKNS_6ClauseE.exit.thread110, label %541

541: ; preds = %537, %536
%542 = getelementptr inbounds nuw i8, ptr %515, i64 16
Expand All @@ -13936,10 +13932,8 @@ _ZN6Gluco215ClauseAllocator5relocERjRS0_.exit79: ; preds = %327, %436, %473, %_
550: ; preds = %541
%551 = getelementptr inbounds %"struct.Gluco2::Solver::VarData", ptr %508, i64 %544
%552 = load i32, ptr %551, align 4
%or.cond53.i = icmp sgt i32 %552, -1
%553 = icmp eq i32 %552, %511
%or.cond117 = and i1 %or.cond53.i, %553
br i1 %or.cond117, label %_ZNK6Gluco26Solver6lockedERKNS_6ClauseE.exit.thread110, label %_ZNK6Gluco26Solver6lockedERKNS_6ClauseE.exit.thread
br i1 %553, label %_ZNK6Gluco26Solver6lockedERKNS_6ClauseE.exit.thread110, label %_ZNK6Gluco26Solver6lockedERKNS_6ClauseE.exit.thread

_ZNK6Gluco26Solver6lockedERKNS_6ClauseE.exit.thread110: ; preds = %550, %532, %537, %512
tail call void @_ZN6Gluco215ClauseAllocator5relocERjRS0_(ptr noundef nonnull align 8 dereferenceable(21) %129, ptr noundef nonnull align 4 dereferenceable(4) %510, ptr noundef nonnull align 8 dereferenceable(21) %1)
Expand Down
26 changes: 11 additions & 15 deletions bench/abc/optimized/abcNtk.c.ll
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -1506,7 +1506,7 @@ define void @Abc_NtkFixNonDrivenNets(ptr noundef %0) local_unnamed_addr #0 {
%6 = getelementptr i8, ptr %.val42, i64 4
%.val42.val = load i32, ptr %6, align 4
%7 = icmp eq i32 %.val42.val, 0
br i1 %7, label %85, label %8
br i1 %7, label %83, label %8

8: ; preds = %4, %1
%9 = tail call ptr @Abc_NtkFindNet(ptr noundef nonnull %0, ptr noundef nonnull @.str.28) #17
Expand Down Expand Up @@ -1662,32 +1662,28 @@ Vec_PtrPush.exit: ; preds = %.Vec_PtrGrow.exit11
br i1 %78, label %79, label %71

79: ; preds = %72
%80 = icmp sgt i32 %.pre55, 3
br i1 %80, label %81, label %.thread

81: ; preds = %79
%82 = tail call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str.32)
%80 = tail call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str.32)
br label %.thread

.thread: ; preds = %71, %81, %79
.thread: ; preds = %71, %79
%putchar = tail call i32 @putchar(i32 10)
br label %83
br label %81

.critedge.thread: ; preds = %12, %.critedge
%.pre56 = load ptr, ptr %16, align 8
%.not.i = icmp eq ptr %.pre56, null
br i1 %.not.i, label %Vec_PtrFree.exit, label %83
br i1 %.not.i, label %Vec_PtrFree.exit, label %81

83: ; preds = %.thread, %.critedge.thread
%84 = phi ptr [ %.val41, %.thread ], [ %.pre56, %.critedge.thread ]
tail call void @free(ptr noundef nonnull %84) #17
81: ; preds = %.thread, %.critedge.thread
%82 = phi ptr [ %.val41, %.thread ], [ %.pre56, %.critedge.thread ]
tail call void @free(ptr noundef nonnull %82) #17
br label %Vec_PtrFree.exit

Vec_PtrFree.exit: ; preds = %.critedge.thread, %83
Vec_PtrFree.exit: ; preds = %.critedge.thread, %81
tail call void @free(ptr noundef nonnull %13) #17
br label %85
br label %83

85: ; preds = %4, %Vec_PtrFree.exit
83: ; preds = %4, %Vec_PtrFree.exit
ret void
}

Expand Down
Loading