Skip to content

pre-commit: PR113707 #1541

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 2 commits into from
Closed

pre-commit: PR113707 #1541

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
490556e
pre-commit: PR113707
dtcxzyw Oct 26, 2024
9fe7c28
pre-commit: Update
github-actions[bot] Oct 26, 2024
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
5 changes: 1 addition & 4 deletions bench/abc/optimized/abcAig.c.ll
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -1325,7 +1325,7 @@ define i32 @Abc_AigLevel(ptr noundef %0) local_unnamed_addr #0 {
%19 = getelementptr inbounds i8, ptr %18, i64 20
%20 = load i32, ptr %19, align 4
%21 = lshr i32 %20, 12
%spec.select = tail call i32 @llvm.smax.i32(i32 %.019, i32 %21)
%spec.select = tail call i32 @llvm.umax.i32(i32 %.019, i32 %21)
%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 %.critedge, label %10, !llvm.loop !23
Expand Down Expand Up @@ -5038,9 +5038,6 @@ declare noundef i32 @putchar(i32 noundef) local_unnamed_addr #16
; Function Attrs: nofree nounwind willreturn allockind("alloc,zeroed") allocsize(0,1) memory(inaccessiblemem: readwrite)
declare noalias noundef ptr @calloc(i64 noundef, i64 noundef) local_unnamed_addr #18

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

; Function Attrs: nocallback nofree nosync nounwind willreturn memory(argmem: readwrite)
declare void @llvm.lifetime.start.p0(i64 immarg, ptr nocapture) #19

Expand Down
5 changes: 3 additions & 2 deletions bench/abc/optimized/bmcBmc2.c.ll
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -57,7 +57,8 @@ define range(i32 1, 4) i32 @Abs_ManExtendOneEval_rec(ptr noundef %0, ptr noundef
br i1 %.not68, label %34, label %47

common.ret.sink.split: ; preds = %58, %56, %47, %34
%.043.sink = phi i32 [ %46, %34 ], [ %.043, %47 ], [ %.0.i, %58 ], [ 1, %56 ]
%.043.sink = phi i32 [ %46, %34 ], [ %.043, %47 ], [ 1, %56 ], [ 1, %58 ]
%common.ret.op.ph = phi i32 [ %46, %34 ], [ %.043, %47 ], [ 1, %56 ], [ %.0.i, %58 ]
%.val55 = load ptr, ptr %5, align 8
%.val56 = load i32, ptr %6, align 4
%21 = getelementptr inbounds ptr, ptr %.val55, i64 %7
Expand All @@ -77,7 +78,7 @@ common.ret.sink.split: ; preds = %58, %56, %47, %34
br label %common.ret

common.ret: ; preds = %common.ret.sink.split, %4
%common.ret.op = phi i32 [ %17, %4 ], [ %.043.sink, %common.ret.sink.split ]
%common.ret.op = phi i32 [ %17, %4 ], [ %common.ret.op.ph, %common.ret.sink.split ]
ret i32 %common.ret.op

34: ; preds = %18
Expand Down
9 changes: 6 additions & 3 deletions bench/abc/optimized/retDelay.c.ll
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -517,7 +517,7 @@ Vec_IntFillExtra.exit: ; preds = %95, %._crit_edge.i
%194 = getelementptr inbounds ptr, ptr %.val180.val.val.i, i64 %193
%195 = load ptr, ptr %194, align 8
%196 = tail call fastcc i32 @Abc_NtkRetimeTiming_rec(ptr noundef %195, i32 noundef 0)
%spec.select146.i = tail call i32 @llvm.smax.i32(i32 %.7306.i, i32 %196)
%spec.select146.i = tail call i32 @llvm.umax.i32(i32 %.7306.i, i32 %196)
%indvars.iv.next345.i = add nuw nsw i64 %indvars.iv344.i, 1
%exitcond348.not.i = icmp eq i64 %indvars.iv.next345.i, %wide.trip.count347.i
br i1 %exitcond348.not.i, label %.critedge10.preheader.i, label %187, !llvm.loop !12
Expand Down Expand Up @@ -1494,7 +1494,7 @@ define internal fastcc range(i32 0, 1048576) i32 @Abc_NtkRetimeTiming_rec(ptr no
%33 = getelementptr inbounds ptr, ptr %.val40.val.val, i64 %32
%34 = load ptr, ptr %33, align 8
%35 = tail call fastcc i32 @Abc_NtkRetimeTiming_rec(ptr noundef %34, i32 noundef %1)
%spec.select = tail call i32 @llvm.smax.i32(i32 %.050, i32 %35)
%spec.select = tail call i32 @llvm.umax.i32(i32 %.050, i32 %35)
%indvars.iv.next = add nuw nsw i64 %indvars.iv, 1
%.val39 = load i32, ptr %21, align 4
%36 = sext i32 %.val39 to i64
Expand All @@ -1516,7 +1516,7 @@ define internal fastcc range(i32 0, 1048576) i32 @Abc_NtkRetimeTiming_rec(ptr no
%44 = getelementptr inbounds ptr, ptr %.val43.val.val, i64 %43
%45 = load ptr, ptr %44, align 8
%46 = tail call fastcc i32 @Abc_NtkRetimeTiming_rec(ptr noundef %45, i32 noundef 0)
%spec.select37 = tail call i32 @llvm.smax.i32(i32 %.353, i32 %46)
%spec.select37 = tail call i32 @llvm.umax.i32(i32 %.353, i32 %46)
%indvars.iv.next59 = add nuw nsw i64 %indvars.iv58, 1
%.val42 = load i32, ptr %24, align 4
%47 = sext i32 %.val42 to i64
Expand Down Expand Up @@ -1644,6 +1644,9 @@ declare void @free(ptr allocptr nocapture noundef) local_unnamed_addr #5
; Function Attrs: nofree nounwind
declare noundef i32 @puts(ptr nocapture noundef readonly) local_unnamed_addr #6

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

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

Expand Down
68 changes: 3 additions & 65 deletions bench/abseil-cpp/optimized/arg.cc.ll
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -688,11 +688,9 @@ if.end27: ; preds = %lor.lhs.false, %if.

if.end45.thread: ; preds = %if.end27
%add44 = add i64 %cond34, %cond.i
%cond3937 = select i1 %cmp.i.i36.not, i64 0, i64 %cond.i.i33
br label %_ZN4absl19str_format_internal14FormatSinkImpl6AppendEmc.exit

if.end45: ; preds = %if.end27
%cond39 = select i1 %cmp.i.i36.not, i64 0, i64 %cond.i.i33
%cmp.i43 = icmp eq i64 %cond34, 0
br i1 %cmp.i43, label %_ZN4absl19str_format_internal14FormatSinkImpl6AppendEmc.exit, label %if.end.i44

Expand Down Expand Up @@ -752,7 +750,6 @@ while.end.i: ; preds = %if.end8.i, %if.end.
br label %_ZN4absl19str_format_internal14FormatSinkImpl6AppendEmc.exit

_ZN4absl19str_format_internal14FormatSinkImpl6AppendEmc.exit: ; preds = %if.end45.thread, %if.end45, %while.end.i
%cond3940 = phi i64 [ %cond3937, %if.end45.thread ], [ %cond39, %if.end45 ], [ %cond39, %while.end.i ]
%num_zeroes.039 = phi i64 [ %add44, %if.end45.thread ], [ %cond.i, %if.end45 ], [ %cond.i, %while.end.i ]
%cmp.i46 = icmp eq i64 %retval.sroa.0.0.i, 0
br i1 %cmp.i46, label %_ZN4absl19str_format_internal14FormatSinkImpl6AppendESt17basic_string_viewIcSt11char_traitsIcEE.exit, label %if.end.i47
Expand Down Expand Up @@ -891,7 +888,7 @@ while.end.i84: ; preds = %if.end8.i100, %if.e

_ZN4absl19str_format_internal14FormatSinkImpl6AppendEmc.exit104: ; preds = %_ZN4absl19str_format_internal14FormatSinkImpl6AppendESt17basic_string_viewIcSt11char_traitsIcEE.exit73, %while.end.i84
%cmp.i105 = icmp eq i64 %as_digits.8.val, %conv2.i
br i1 %cmp.i105, label %_ZN4absl19str_format_internal14FormatSinkImpl6AppendESt17basic_string_viewIcSt11char_traitsIcEE.exit122, label %if.end.i106
br i1 %cmp.i105, label %_ZN4absl19str_format_internal14FormatSinkImpl6AppendEmc.exit153, label %if.end.i106

if.end.i106: ; preds = %_ZN4absl19str_format_internal14FormatSinkImpl6AppendEmc.exit104
%size_.i107 = getelementptr inbounds i8, ptr %sink, i64 16
Expand Down Expand Up @@ -919,75 +916,16 @@ if.then4.i115: ; preds = %if.end.i106
%37 = load ptr, ptr %write_.i.i.i119, align 8
%38 = load ptr, ptr %sink, align 8
tail call void %37(ptr noundef %38, i64 %sub.i, ptr nonnull %add.ptr.i)
br label %_ZN4absl19str_format_internal14FormatSinkImpl6AppendESt17basic_string_viewIcSt11char_traitsIcEE.exit122
br label %_ZN4absl19str_format_internal14FormatSinkImpl6AppendEmc.exit153

if.end5.i120: ; preds = %if.end.i106
tail call void @llvm.memcpy.p0.p0.i64(ptr align 1 %34, ptr nonnull align 1 %add.ptr.i, i64 %sub.i, i1 false)
%39 = load ptr, ptr %pos_.i.i110, align 8
%add.ptr.i121 = getelementptr inbounds i8, ptr %39, i64 %sub.i
store ptr %add.ptr.i121, ptr %pos_.i.i110, align 8
br label %_ZN4absl19str_format_internal14FormatSinkImpl6AppendESt17basic_string_viewIcSt11char_traitsIcEE.exit122

_ZN4absl19str_format_internal14FormatSinkImpl6AppendESt17basic_string_viewIcSt11char_traitsIcEE.exit122: ; preds = %_ZN4absl19str_format_internal14FormatSinkImpl6AppendEmc.exit104, %if.then4.i115, %if.end5.i120
%cmp.i123 = icmp eq i64 %cond3940, 0
br i1 %cmp.i123, label %_ZN4absl19str_format_internal14FormatSinkImpl6AppendEmc.exit153, label %if.end.i124

if.end.i124: ; preds = %_ZN4absl19str_format_internal14FormatSinkImpl6AppendESt17basic_string_viewIcSt11char_traitsIcEE.exit122
%size_.i125 = getelementptr inbounds i8, ptr %sink, i64 16
%40 = load i64, ptr %size_.i125, align 8
%add.i126 = add i64 %40, %cond3940
store i64 %add.i126, ptr %size_.i125, align 8
%add.ptr.i.i127 = getelementptr inbounds i8, ptr %sink, i64 1056
%pos_.i.i128 = getelementptr inbounds i8, ptr %sink, i64 24
%sub.ptr.lhs.cast.i.i129 = ptrtoint ptr %add.ptr.i.i127 to i64
%41 = load ptr, ptr %pos_.i.i128, align 8
%sub.ptr.rhs.cast.i31.i130 = ptrtoint ptr %41 to i64
%sub.ptr.sub.i32.i131 = sub i64 %sub.ptr.lhs.cast.i.i129, %sub.ptr.rhs.cast.i31.i130
%cmp233.i132 = icmp ugt i64 %cond3940, %sub.ptr.sub.i32.i131
br i1 %cmp233.i132, label %while.body.lr.ph.i137, label %while.end.i133

while.body.lr.ph.i137: ; preds = %if.end.i124
%buf_.i.i138 = getelementptr inbounds i8, ptr %sink, i64 32
%sub.ptr.rhs.cast.i24.i139 = ptrtoint ptr %buf_.i.i138 to i64
%write_.i.i.i140 = getelementptr inbounds i8, ptr %sink, i64 8
br label %while.body.i141

while.body.i141: ; preds = %if.end8.i149, %while.body.lr.ph.i137
%sub.ptr.sub.i35.i142 = phi i64 [ %sub.ptr.sub.i32.i131, %while.body.lr.ph.i137 ], [ 1024, %if.end8.i149 ]
%42 = phi ptr [ %41, %while.body.lr.ph.i137 ], [ %buf_.i.i138, %if.end8.i149 ]
%n.addr.034.i143 = phi i64 [ %cond3940, %while.body.lr.ph.i137 ], [ %sub.i144, %if.end8.i149 ]
%sub.i144 = sub nuw i64 %n.addr.034.i143, %sub.ptr.sub.i35.i142
%cmp5.not.i145 = icmp eq ptr %add.ptr.i.i127, %42
br i1 %cmp5.not.i145, label %if.end8.i149, label %if.then6.i146

if.then6.i146: ; preds = %while.body.i141
tail call void @llvm.memset.p0.i64(ptr align 1 %42, i8 32, i64 %sub.ptr.sub.i35.i142, i1 false)
%43 = load ptr, ptr %pos_.i.i128, align 8
%add.ptr.i21.i147 = getelementptr inbounds i8, ptr %43, i64 %sub.ptr.sub.i35.i142
store ptr %add.ptr.i21.i147, ptr %pos_.i.i128, align 8
%.pre.i148 = ptrtoint ptr %add.ptr.i21.i147 to i64
br label %if.end8.i149

if.end8.i149: ; preds = %if.then6.i146, %while.body.i141
%sub.ptr.lhs.cast.i23.pre-phi.i150 = phi i64 [ %.pre.i148, %if.then6.i146 ], [ %sub.ptr.lhs.cast.i.i129, %while.body.i141 ]
%sub.ptr.sub.i25.i151 = sub i64 %sub.ptr.lhs.cast.i23.pre-phi.i150, %sub.ptr.rhs.cast.i24.i139
%44 = load ptr, ptr %write_.i.i.i140, align 8
%45 = load ptr, ptr %sink, align 8
tail call void %44(ptr noundef %45, i64 %sub.ptr.sub.i25.i151, ptr nonnull %buf_.i.i138)
store ptr %buf_.i.i138, ptr %pos_.i.i128, align 8
%cmp2.i152 = icmp ugt i64 %sub.i144, 1024
br i1 %cmp2.i152, label %while.body.i141, label %while.end.i133, !llvm.loop !8

while.end.i133: ; preds = %if.end8.i149, %if.end.i124
%n.addr.0.lcssa.i134 = phi i64 [ %cond3940, %if.end.i124 ], [ %sub.i144, %if.end8.i149 ]
%.lcssa.i135 = phi ptr [ %41, %if.end.i124 ], [ %buf_.i.i138, %if.end8.i149 ]
tail call void @llvm.memset.p0.i64(ptr align 1 %.lcssa.i135, i8 32, i64 %n.addr.0.lcssa.i134, i1 false)
%46 = load ptr, ptr %pos_.i.i128, align 8
%add.ptr.i27.i136 = getelementptr inbounds i8, ptr %46, i64 %n.addr.0.lcssa.i134
store ptr %add.ptr.i27.i136, ptr %pos_.i.i128, align 8
br label %_ZN4absl19str_format_internal14FormatSinkImpl6AppendEmc.exit153

_ZN4absl19str_format_internal14FormatSinkImpl6AppendEmc.exit153: ; preds = %_ZN4absl19str_format_internal14FormatSinkImpl6AppendESt17basic_string_viewIcSt11char_traitsIcEE.exit122, %while.end.i133
_ZN4absl19str_format_internal14FormatSinkImpl6AppendEmc.exit153: ; preds = %if.end5.i120, %if.then4.i115, %_ZN4absl19str_format_internal14FormatSinkImpl6AppendEmc.exit104
ret void
}

Expand Down
Loading