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.

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: PR116888 #1770

Open
wants to merge 2 commits into
base: main
Choose a base branch
from
Open
Show file tree
Hide file tree
Changes from all commits
Commits
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
17 changes: 8 additions & 9 deletions bench/abc/optimized/acbFunc.c.ll
Original file line number Diff line number Diff line change
Expand Up @@ -12091,13 +12091,12 @@ define ptr @Acb_DeriveOnePatchFunction(ptr nocapture noundef readonly %0, i32 no
%7 = alloca i32, align 4
%8 = getelementptr i8, ptr %4, i64 4
%.val81 = load i32, ptr %8, align 4
%9 = add nsw i32 %.val81, 1
%10 = tail call noalias dereferenceable_or_null(16) ptr @malloc(i64 noundef 16) #29
%or.cond.i = icmp ult i32 %.val81, 15
%spec.store.select.i = select i1 %or.cond.i, i32 16, i32 %9
%11 = getelementptr inbounds i8, ptr %10, i64 4
%9 = tail call noalias dereferenceable_or_null(16) ptr @malloc(i64 noundef 16) #29
%10 = tail call i32 @llvm.umax.i32(i32 %.val81, i32 15)
%spec.store.select.i = add i32 %10, 1
%11 = getelementptr inbounds i8, ptr %9, i64 4
store i32 0, ptr %11, align 4
store i32 %spec.store.select.i, ptr %10, align 8
store i32 %spec.store.select.i, ptr %9, align 8
%.not.i = icmp eq i32 %spec.store.select.i, 0
br i1 %.not.i, label %Vec_IntAlloc.exit, label %12

Expand All @@ -12109,7 +12108,7 @@ define ptr @Acb_DeriveOnePatchFunction(ptr nocapture noundef readonly %0, i32 no

Vec_IntAlloc.exit: ; preds = %6, %12
%16 = phi ptr [ %15, %12 ], [ null, %6 ]
%17 = getelementptr inbounds i8, ptr %10, i64 8
%17 = getelementptr inbounds i8, ptr %9, i64 8
store ptr %16, ptr %17, align 8
%calloc = tail call dereferenceable_or_null(16) ptr @calloc(i64 1, i64 16)
%18 = getelementptr inbounds i8, ptr %calloc, i64 8
Expand Down Expand Up @@ -12200,7 +12199,7 @@ Vec_IntAlloc.exit: ; preds = %6, %12
%58 = load i32, ptr %19, align 8
%59 = sub i32 %1, %2
%60 = add i32 %59, %58
%61 = call ptr @Acb_EnumerateSatAssigns(ptr noundef %23, i32 noundef %60, i32 noundef %58, ptr noundef nonnull %4, ptr noundef nonnull %10, ptr noundef nonnull %calloc)
%61 = call ptr @Acb_EnumerateSatAssigns(ptr noundef %23, i32 noundef %60, i32 noundef %58, ptr noundef nonnull %4, ptr noundef nonnull %9, ptr noundef nonnull %calloc)
%62 = load ptr, ptr %17, align 8
%.not.i90 = icmp eq ptr %62, null
br i1 %.not.i90, label %Vec_IntFree.exit, label %63
Expand All @@ -12210,7 +12209,7 @@ Vec_IntAlloc.exit: ; preds = %6, %12
br label %Vec_IntFree.exit

Vec_IntFree.exit: ; preds = %.critedge, %63
call void @free(ptr noundef nonnull %10) #31
call void @free(ptr noundef nonnull %9) #31
%64 = load ptr, ptr %18, align 8
%.not.i91 = icmp eq ptr %64, null
br i1 %.not.i91, label %Vec_StrFree.exit, label %65
Expand Down
8 changes: 5 additions & 3 deletions bench/abc/optimized/mpmPre.c.ll
Original file line number Diff line number Diff line change
Expand Up @@ -5447,9 +5447,8 @@ Abc_Clock.exit: ; preds = %0, %5
call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %2)
%9 = call i32 @Extra_FileSize(ptr noundef nonnull @.str.23) #27
%10 = sdiv i32 %9, 12
%11 = add nsw i32 %10, 1
%or.cond.i = icmp ult i32 %10, 15
%spec.store.select.i = select i1 %or.cond.i, i32 16, i32 %11
%11 = call i32 @llvm.umax.i32(i32 %10, i32 15)
%spec.store.select.i = add i32 %11, 1
%.not.i = icmp eq i32 %spec.store.select.i, 0
br i1 %.not.i, label %Vec_WrdAlloc.exit, label %12

Expand Down Expand Up @@ -5686,6 +5685,9 @@ declare i32 @llvm.scmp.i32.i32(i32, i32) #23
; Function Attrs: nocallback nofree nosync nounwind speculatable willreturn memory(none)
declare i32 @llvm.smax.i32(i32, i32) #23

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

attributes #0 = { nofree nounwind memory(write, inaccessiblemem: readwrite) uwtable "frame-pointer"="all" "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 = { mustprogress nofree nounwind willreturn allockind("alloc,zeroed") allocsize(0,1) memory(inaccessiblemem: readwrite) "alloc-family"="malloc" "frame-pointer"="all" "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 nounwind willreturn memory(argmem: write) }
Expand Down
21 changes: 10 additions & 11 deletions bench/abc/optimized/sbdCore.c.ll
Original file line number Diff line number Diff line change
Expand Up @@ -4505,13 +4505,12 @@ Vec_IntPush.exit122: ; preds = %.Vec_IntGrow.exit10
br i1 %exitcond142.not, label %.critedge, label %128, !llvm.loop !41

.critedge: ; preds = %128, %171, %127
%172 = add nsw i32 %20, 1
%173 = call noalias dereferenceable_or_null(16) ptr @malloc(i64 noundef 16) #28
%or.cond.i = icmp ult i32 %20, 7
%spec.store.select.i = select i1 %or.cond.i, i32 8, i32 %172
%174 = getelementptr inbounds i8, ptr %173, i64 4
%172 = call noalias dereferenceable_or_null(16) ptr @malloc(i64 noundef 16) #28
%173 = call i32 @llvm.umax.i32(i32 %20, i32 7)
%spec.store.select.i = add i32 %173, 1
%174 = getelementptr inbounds i8, ptr %172, i64 4
store i32 0, ptr %174, align 4
store i32 %spec.store.select.i, ptr %173, align 8
store i32 %spec.store.select.i, ptr %172, align 8
%.not.i = icmp eq i32 %spec.store.select.i, 0
br i1 %.not.i, label %Vec_PtrAlloc.exit, label %175

Expand All @@ -4523,7 +4522,7 @@ Vec_IntPush.exit122: ; preds = %.Vec_IntGrow.exit10

Vec_PtrAlloc.exit: ; preds = %.critedge, %175
%179 = phi ptr [ %178, %175 ], [ null, %.critedge ]
%180 = getelementptr inbounds i8, ptr %173, i64 8
%180 = getelementptr inbounds i8, ptr %172, i64 8
store ptr %179, ptr %180, align 8
%181 = load ptr, ptr %33, align 8
%182 = getelementptr i8, ptr %181, i64 4
Expand Down Expand Up @@ -4557,7 +4556,7 @@ Vec_PtrAlloc.exit: ; preds = %.critedge, %175
%196 = sext i32 %195 to i64
%197 = getelementptr inbounds i64, ptr %.val108.val, i64 %196
%198 = load i32, ptr %174, align 4
%199 = load i32, ptr %173, align 8
%199 = load i32, ptr %172, align 8
%200 = icmp eq i32 %198, %199
br i1 %200, label %201, label %.Vec_PtrGrow.exit11_crit_edge.i

Expand Down Expand Up @@ -4585,7 +4584,7 @@ Vec_PtrAlloc.exit: ; preds = %.critedge, %175
Vec_PtrGrow.exit.i: ; preds = %207, %205
%209 = phi ptr [ %206, %205 ], [ %208, %207 ]
store ptr %209, ptr %180, align 8
store i32 16, ptr %173, align 8
store i32 16, ptr %172, align 8
br label %Vec_PtrPush.exit

210: ; preds = %201
Expand All @@ -4607,7 +4606,7 @@ Vec_PtrGrow.exit.i: ; preds = %207, %205
219: ; preds = %217, %215
%220 = phi ptr [ %216, %215 ], [ %218, %217 ]
store ptr %220, ptr %180, align 8
store i32 %211, ptr %173, align 8
store i32 %211, ptr %172, align 8
br label %Vec_PtrPush.exit

Vec_PtrPush.exit: ; preds = %.Vec_PtrGrow.exit11_crit_edge.i, %Vec_PtrGrow.exit.i, %219
Expand Down Expand Up @@ -4637,7 +4636,7 @@ Vec_PtrPush.exit: ; preds = %.Vec_PtrGrow.exit11
br label %Vec_PtrFree.exit

Vec_PtrFree.exit: ; preds = %.critedge2, %229
call void @free(ptr noundef nonnull %173) #30
call void @free(ptr noundef nonnull %172) #30
%230 = icmp sgt i32 %228, -1
br i1 %230, label %234, label %.preheader

Expand Down
29 changes: 14 additions & 15 deletions bench/abseil-cpp/optimized/arg.cc.ll
Original file line number Diff line number Diff line change
Expand Up @@ -427,14 +427,13 @@ land.end: ; preds = %if.else22.i, %if.en
; Function Attrs: mustprogress uwtable
define internal fastcc void @_ZN4absl19str_format_internal12_GLOBAL__N_115ConvertCharImplEcNS0_24FormatConversionSpecImplEPNS0_14FormatSinkImplE(i8 noundef signext %v, i64 %conv.coerce0, ptr noundef %sink) unnamed_addr #0 {
entry:
%conv.sroa.371.0.extract.shift = lshr i64 %conv.coerce0, 32
%cmp.inv = icmp slt i64 %conv.coerce0, 0
%0 = tail call i64 @llvm.usub.sat.i64(i64 %conv.sroa.371.0.extract.shift, i64 1)
%cond.i.i = select i1 %cmp.inv, i64 0, i64 %0
%0 = tail call i64 @llvm.smax.i64(i64 %conv.coerce0, i64 0)
%spec.select = lshr i64 %0, 32
%cond.i.i = tail call noundef i64 @llvm.usub.sat.i64(i64 %spec.select, i64 1)
%1 = and i64 %conv.coerce0, 256
%cmp.i.i = icmp ne i64 %1, 0
%cmp.i = icmp eq i64 %cond.i.i, 0
%or.cond = or i1 %cmp.i.i, %cmp.i
%cmp.i = icmp slt i64 %conv.coerce0, 8589934592
%or.cond = or i1 %cmp.i, %cmp.i.i
br i1 %or.cond, label %entry.if.end5_crit_edge, label %if.end.i

entry.if.end5_crit_edge: ; preds = %entry
Expand Down Expand Up @@ -465,7 +464,7 @@ while.body.lr.ph.i: ; preds = %if.end.i
while.body.i: ; preds = %if.end8.i, %while.body.lr.ph.i
%sub.ptr.sub.i35.i = phi i64 [ %sub.ptr.sub.i32.i, %while.body.lr.ph.i ], [ 1024, %if.end8.i ]
%4 = phi ptr [ %3, %while.body.lr.ph.i ], [ %buf_.i.i, %if.end8.i ]
%n.addr.034.i = phi i64 [ %0, %while.body.lr.ph.i ], [ %sub.i, %if.end8.i ]
%n.addr.034.i = phi i64 [ %cond.i.i, %while.body.lr.ph.i ], [ %sub.i, %if.end8.i ]
%sub.i = sub nuw i64 %n.addr.034.i, %sub.ptr.sub.i35.i
%cmp5.not.i = icmp eq ptr %add.ptr.i.i, %4
br i1 %cmp5.not.i, label %if.end8.i, label %if.then6.i
Expand All @@ -489,7 +488,7 @@ if.end8.i: ; preds = %if.then6.i, %while.
br i1 %cmp2.i, label %while.body.i, label %while.end.i, !llvm.loop !8

while.end.i: ; preds = %if.end8.i, %if.end.i
%n.addr.0.lcssa.i = phi i64 [ %0, %if.end.i ], [ %sub.i, %if.end8.i ]
%n.addr.0.lcssa.i = phi i64 [ %cond.i.i, %if.end.i ], [ %sub.i, %if.end8.i ]
%.lcssa.i = phi ptr [ %3, %if.end.i ], [ %buf_.i.i, %if.end8.i ]
tail call void @llvm.memset.p0.i64(ptr align 1 %.lcssa.i, i8 32, i64 %n.addr.0.lcssa.i, i1 false)
%8 = load ptr, ptr %pos_.i.i, align 8
Expand Down Expand Up @@ -524,8 +523,8 @@ _ZN4absl19str_format_internal14FormatSinkImpl6AppendEmc.exit33: ; preds = %if.en
%13 = load ptr, ptr %pos_.i.i8, align 8
%add.ptr.i27.i16 = getelementptr inbounds i8, ptr %13, i64 1
store ptr %add.ptr.i27.i16, ptr %pos_.i.i8, align 8
%cmp.i37 = icmp ne i64 %cond.i.i, 0
%or.cond73.not = and i1 %cmp.i.i, %cmp.i37
%cmp.i37 = icmp sgt i64 %conv.coerce0, 8589934591
%or.cond73.not = and i1 %cmp.i37, %cmp.i.i
br i1 %or.cond73.not, label %if.end.i38, label %if.end8

if.end.i38: ; preds = %_ZN4absl19str_format_internal14FormatSinkImpl6AppendEmc.exit33
Expand All @@ -546,7 +545,7 @@ while.body.lr.ph.i51: ; preds = %if.end.i38
while.body.i55: ; preds = %if.end8.i63, %while.body.lr.ph.i51
%sub.ptr.sub.i35.i56 = phi i64 [ %sub.ptr.sub.i32.i45, %while.body.lr.ph.i51 ], [ 1024, %if.end8.i63 ]
%15 = phi ptr [ %add.ptr.i27.i16, %while.body.lr.ph.i51 ], [ %buf_.i.i52, %if.end8.i63 ]
%n.addr.034.i57 = phi i64 [ %0, %while.body.lr.ph.i51 ], [ %sub.i58, %if.end8.i63 ]
%n.addr.034.i57 = phi i64 [ %cond.i.i, %while.body.lr.ph.i51 ], [ %sub.i58, %if.end8.i63 ]
%sub.i58 = sub nuw i64 %n.addr.034.i57, %sub.ptr.sub.i35.i56
%cmp5.not.i59 = icmp eq ptr %add.ptr.i.i7, %15
br i1 %cmp5.not.i59, label %if.end8.i63, label %if.then6.i60
Expand All @@ -570,7 +569,7 @@ if.end8.i63: ; preds = %if.then6.i60, %whil
br i1 %cmp2.i66, label %while.body.i55, label %while.end.i47, !llvm.loop !8

while.end.i47: ; preds = %if.end8.i63, %if.end.i38
%n.addr.0.lcssa.i48 = phi i64 [ %0, %if.end.i38 ], [ %sub.i58, %if.end8.i63 ]
%n.addr.0.lcssa.i48 = phi i64 [ %cond.i.i, %if.end.i38 ], [ %sub.i58, %if.end8.i63 ]
%.lcssa.i49 = phi ptr [ %add.ptr.i27.i16, %if.end.i38 ], [ %buf_.i.i52, %if.end8.i63 ]
tail call void @llvm.memset.p0.i64(ptr nonnull align 1 %.lcssa.i49, i8 32, i64 %n.addr.0.lcssa.i48, i1 false)
%19 = load ptr, ptr %pos_.i.i8, align 8
Expand Down Expand Up @@ -6060,6 +6059,9 @@ declare double @ldexp(double noundef, i32 noundef) local_unnamed_addr #10
; Function Attrs: nocallback nofree nosync nounwind speculatable willreturn memory(none)
declare i64 @llvm.usub.sat.i64(i64, i64) #11

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

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

Expand All @@ -6072,9 +6074,6 @@ declare void @llvm.lifetime.end.p0(i64 immarg, ptr nocapture) #12
; Function Attrs: nocallback nofree nosync nounwind speculatable willreturn memory(none)
declare i32 @llvm.umin.i32(i32, i32) #11

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

; Function Attrs: nocallback nofree nosync nounwind speculatable willreturn memory(none)
declare i64 @llvm.smin.i64(i64, i64) #11

Expand Down
16 changes: 6 additions & 10 deletions bench/abseil-cpp/optimized/cord.cc.ll
Original file line number Diff line number Diff line change
Expand Up @@ -1157,13 +1157,11 @@ if.end: ; preds = %entry
br i1 %cmp.i, label %if.then.i, label %_ZN4absl13cord_internal12CordRepBtree6CreateEPNS0_7CordRepE.exit.i

if.then.i: ; preds = %if.end
%cmp.i.i.i.i = icmp samesign ult i64 %length, 20
%0 = add nuw nsw i64 %length, 13
%len.addr.0.i.i.i.i = select i1 %cmp.i.i.i.i, i64 32, i64 %0
%cmp.i.i.i.i.i = icmp samesign ult i64 %len.addr.0.i.i.i.i, 513
%0 = tail call i64 @llvm.umax.i64(i64 range(i64 1, 4084) %length, i64 19)
%cmp.i.i.i.i.i = icmp samesign ult i64 %length, 500
%conv.i.neg.i.i.i.i = select i1 %cmp.i.i.i.i.i, i64 -8, i64 -64
%conv.i.i.i.i.i = select i1 %cmp.i.i.i.i.i, i64 8, i64 64
%add.i.i.i.i.i.i = add nsw i64 %len.addr.0.i.i.i.i, -1
%add.i.i.i.i.i.i = add nuw nsw i64 %0, 12
%sub.i.i.i.i.i.i = add nuw nsw i64 %add.i.i.i.i.i.i, %conv.i.i.i.i.i
%and.i.i.i.i.i.i = and i64 %sub.i.i.i.i.i.i, %conv.i.neg.i.i.i.i
%call4.i.i.i.i = tail call noalias noundef nonnull ptr @_Znwm(i64 noundef %and.i.i.i.i.i.i) #25
Expand Down Expand Up @@ -8131,13 +8129,11 @@ _ZNK4absl4Cord4sizeEv.exit: ; preds = %cond.true.i.i, %con
br i1 %cmp, label %if.then, label %if.else

if.then: ; preds = %_ZNK4absl4Cord4sizeEv.exit
%cmp.i.i = icmp samesign ult i64 %cond.i.i, 20
%4 = add nuw nsw i64 %cond.i.i, 13
%len.addr.0.i.i = select i1 %cmp.i.i, i64 32, i64 %4
%cmp.i.i.i = icmp samesign ult i64 %len.addr.0.i.i, 513
%4 = tail call i64 @llvm.umax.i64(i64 %cond.i.i, i64 19)
%cmp.i.i.i = icmp samesign ult i64 %cond.i.i, 500
%conv.i.neg.i.i = select i1 %cmp.i.i.i, i64 -8, i64 -64
%conv.i.i.i = select i1 %cmp.i.i.i, i64 8, i64 64
%add.i.i.i.i = add nsw i64 %len.addr.0.i.i, -1
%add.i.i.i.i = add nuw nsw i64 %4, 12
%sub.i.i.i.i = add nuw nsw i64 %add.i.i.i.i, %conv.i.i.i
%and.i.i.i.i = and i64 %sub.i.i.i.i, %conv.i.neg.i.i
%call4.i.i = tail call noalias noundef nonnull ptr @_Znwm(i64 noundef %and.i.i.i.i) #25
Expand Down
Loading