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: PR124942 #2055

Closed
wants to merge 3 commits into from
Closed

pre-commit: PR124942 #2055

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
bee4d61
pre-commit: PR124942
dtcxzyw Feb 1, 2025
5c3dc39
pre-commit: Update
github-actions[bot] Feb 1, 2025
e33af53
pre-commit: Remap
github-actions[bot] Feb 1, 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
26 changes: 6 additions & 20 deletions bench/abseil-cpp/optimized/inlined_vector_test.cc.ll
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -150031,10 +150031,8 @@ if.then.i.i.i.i: ; preds = %_ZN4absl23inlined_v
br label %_ZN4absl13InlinedVectorINS_13test_internal20CopyableOnlyInstanceELm8ESaIS2_EED2Ev.exit

_ZN4absl13InlinedVectorINS_13test_internal20CopyableOnlyInstanceELm8ESaIS2_EED2Ev.exit: ; preds = %_ZN7testing15AssertionResultD2Ev.exit482, %_ZN4absl23inlined_vector_internal14DestroyAdapterISaINS_13test_internal20CopyableOnlyInstanceEELb0EE15DestroyElementsERS4_PS3_m.exit.i.i.i, %if.then.i.i.i.i
switch i64 %68, label %for.body.preheader.i.i.i.i493 [
i64 0, label %_ZN4absl13InlinedVectorINS_13test_internal20CopyableOnlyInstanceELm8ESaIS2_EED2Ev.exit515
i64 1, label %if.then.i.i.i.i512
]
%cmp.i.i486 = icmp eq i64 %68, 0
br i1 %cmp.i.i486, label %_ZN4absl13InlinedVectorINS_13test_internal20CopyableOnlyInstanceELm8ESaIS2_EED2Ev.exit515, label %for.body.preheader.i.i.i.i493

for.body.preheader.i.i.i.i493: ; preds = %_ZN4absl13InlinedVectorINS_13test_internal20CopyableOnlyInstanceELm8ESaIS2_EED2Ev.exit
%shr.i.i.i.i494 = lshr exact i64 %68, 1
Expand Down Expand Up @@ -150065,16 +150063,11 @@ _ZNSt16allocator_traitsISaIN4absl13test_internal20CopyableOnlyInstanceEEE7destro
%cmp.not.i.i.i.i507 = icmp eq i64 %dec.i.i.i.i501, 0
br i1 %cmp.not.i.i.i.i507, label %_ZN4absl13InlinedVectorINS_13test_internal20CopyableOnlyInstanceELm8ESaIS2_EED2Ev.exit515.loopexit, label %for.body.i.i.i.i497, !llvm.loop !1329

if.then.i.i.i.i512: ; preds = %_ZN4absl13InlinedVectorINS_13test_internal20CopyableOnlyInstanceELm8ESaIS2_EED2Ev.exit
%189 = load ptr, ptr %data_.i1.i.i.i.i, align 8
call void @_ZdlPv(ptr noundef %189) #36
br label %_ZN4absl13InlinedVectorINS_13test_internal20CopyableOnlyInstanceELm8ESaIS2_EED2Ev.exit515

_ZN4absl13InlinedVectorINS_13test_internal20CopyableOnlyInstanceELm8ESaIS2_EED2Ev.exit515.loopexit: ; preds = %_ZNSt16allocator_traitsISaIN4absl13test_internal20CopyableOnlyInstanceEEE7destroyIS2_EEvRS3_PT_.exit.i.i.i.i505
store i32 %dec.i.i.i.i.i.i.i.i502, ptr @_ZN4absl13test_internal19BaseCountedInstance14num_instances_E, align 4
br label %_ZN4absl13InlinedVectorINS_13test_internal20CopyableOnlyInstanceELm8ESaIS2_EED2Ev.exit515

_ZN4absl13InlinedVectorINS_13test_internal20CopyableOnlyInstanceELm8ESaIS2_EED2Ev.exit515: ; preds = %_ZN4absl13InlinedVectorINS_13test_internal20CopyableOnlyInstanceELm8ESaIS2_EED2Ev.exit, %_ZN4absl13InlinedVectorINS_13test_internal20CopyableOnlyInstanceELm8ESaIS2_EED2Ev.exit515.loopexit, %if.then.i.i.i.i512
_ZN4absl13InlinedVectorINS_13test_internal20CopyableOnlyInstanceELm8ESaIS2_EED2Ev.exit515: ; preds = %_ZN4absl13InlinedVectorINS_13test_internal20CopyableOnlyInstanceELm8ESaIS2_EED2Ev.exit515.loopexit, %_ZN4absl13InlinedVectorINS_13test_internal20CopyableOnlyInstanceELm8ESaIS2_EED2Ev.exit
call void @_ZN7testing11ScopedTraceD1Ev(ptr noundef nonnull align 1 dereferenceable(1) %gtest_trace_1124) #33
%190 = load i32, ptr %len, align 4
%inc344 = add nsw i32 %190, 1
Expand Down Expand Up @@ -151911,10 +151904,8 @@ if.then.i.i.i.i: ; preds = %_ZN4absl23inlined_v
br label %_ZN4absl13InlinedVectorINS_13test_internal23CopyableMovableInstanceELm8ESaIS2_EED2Ev.exit

_ZN4absl13InlinedVectorINS_13test_internal23CopyableMovableInstanceELm8ESaIS2_EED2Ev.exit: ; preds = %_ZN7testing15AssertionResultD2Ev.exit479, %_ZN4absl23inlined_vector_internal14DestroyAdapterISaINS_13test_internal23CopyableMovableInstanceEELb0EE15DestroyElementsERS4_PS3_m.exit.i.i.i, %if.then.i.i.i.i
switch i64 %68, label %for.body.preheader.i.i.i.i490 [
i64 0, label %_ZN4absl13InlinedVectorINS_13test_internal23CopyableMovableInstanceELm8ESaIS2_EED2Ev.exit512
i64 1, label %if.then.i.i.i.i509
]
%cmp.i.i483 = icmp eq i64 %68, 0
br i1 %cmp.i.i483, label %_ZN4absl13InlinedVectorINS_13test_internal23CopyableMovableInstanceELm8ESaIS2_EED2Ev.exit512, label %for.body.preheader.i.i.i.i490

for.body.preheader.i.i.i.i490: ; preds = %_ZN4absl13InlinedVectorINS_13test_internal23CopyableMovableInstanceELm8ESaIS2_EED2Ev.exit
%shr.i.i.i.i491 = lshr exact i64 %68, 1
Expand Down Expand Up @@ -151945,16 +151936,11 @@ _ZNSt16allocator_traitsISaIN4absl13test_internal23CopyableMovableInstanceEEE7des
%cmp.not.i.i.i.i504 = icmp eq i64 %dec.i.i.i.i498, 0
br i1 %cmp.not.i.i.i.i504, label %_ZN4absl13InlinedVectorINS_13test_internal23CopyableMovableInstanceELm8ESaIS2_EED2Ev.exit512.loopexit, label %for.body.i.i.i.i494, !llvm.loop !1481

if.then.i.i.i.i509: ; preds = %_ZN4absl13InlinedVectorINS_13test_internal23CopyableMovableInstanceELm8ESaIS2_EED2Ev.exit
%189 = load ptr, ptr %data_.i1.i.i.i.i, align 8
call void @_ZdlPv(ptr noundef %189) #36
br label %_ZN4absl13InlinedVectorINS_13test_internal23CopyableMovableInstanceELm8ESaIS2_EED2Ev.exit512

_ZN4absl13InlinedVectorINS_13test_internal23CopyableMovableInstanceELm8ESaIS2_EED2Ev.exit512.loopexit: ; preds = %_ZNSt16allocator_traitsISaIN4absl13test_internal23CopyableMovableInstanceEEE7destroyIS2_EEvRS3_PT_.exit.i.i.i.i502
store i32 %dec.i.i.i.i.i.i.i.i499, ptr @_ZN4absl13test_internal19BaseCountedInstance14num_instances_E, align 4
br label %_ZN4absl13InlinedVectorINS_13test_internal23CopyableMovableInstanceELm8ESaIS2_EED2Ev.exit512

_ZN4absl13InlinedVectorINS_13test_internal23CopyableMovableInstanceELm8ESaIS2_EED2Ev.exit512: ; preds = %_ZN4absl13InlinedVectorINS_13test_internal23CopyableMovableInstanceELm8ESaIS2_EED2Ev.exit, %_ZN4absl13InlinedVectorINS_13test_internal23CopyableMovableInstanceELm8ESaIS2_EED2Ev.exit512.loopexit, %if.then.i.i.i.i509
_ZN4absl13InlinedVectorINS_13test_internal23CopyableMovableInstanceELm8ESaIS2_EED2Ev.exit512: ; preds = %_ZN4absl13InlinedVectorINS_13test_internal23CopyableMovableInstanceELm8ESaIS2_EED2Ev.exit512.loopexit, %_ZN4absl13InlinedVectorINS_13test_internal23CopyableMovableInstanceELm8ESaIS2_EED2Ev.exit
call void @_ZN7testing11ScopedTraceD1Ev(ptr noundef nonnull align 1 dereferenceable(1) %gtest_trace_1124) #33
%190 = load i32, ptr %len, align 4
%inc344 = add nsw i32 %190, 1
Expand Down
20 changes: 6 additions & 14 deletions bench/arrow/optimized/strtod.cc.ll
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -68,10 +68,6 @@ if.else10: ; preds = %if.else
br i1 %cmp13, label %return, label %if.else15

if.else15: ; preds = %if.else10
%cmp.i10 = icmp eq i64 %1, 9218868437227405312
br i1 %cmp.i10, label %return, label %if.end.i11

if.end.i11: ; preds = %if.else15
%cmp3.i12 = icmp slt i64 %1, 0
br i1 %cmp3.i12, label %land.lhs.true.i16, label %if.else.i13

Expand All @@ -89,8 +85,8 @@ if.else.i13: ; preds = %if.end.i11
%9 = bitcast i64 %add.i14 to double
br label %return

return: ; preds = %entry, %if.else.i13, %if.then10.i18, %land.lhs.true.i16, %if.else15, %if.else10, %if.else.i, %if.then10.i, %land.lhs.true.i, %if.then7, %if.end
%retval.0 = phi double [ %0, %if.end ], [ %6, %if.then10.i ], [ %7, %if.else.i ], [ 0.000000e+00, %land.lhs.true.i ], [ 0x7FF0000000000000, %if.then7 ], [ %0, %if.else10 ], [ %8, %if.then10.i18 ], [ %9, %if.else.i13 ], [ 0.000000e+00, %land.lhs.true.i16 ], [ 0x7FF0000000000000, %if.else15 ], [ %0, %entry ]
return: ; preds = %entry, %if.else.i13, %if.then10.i18, %land.lhs.true.i16, %if.else10, %if.else.i, %if.then10.i, %land.lhs.true.i, %if.then7, %if.end
%retval.0 = phi double [ %0, %if.end ], [ %6, %if.then10.i ], [ %7, %if.else.i ], [ 0.000000e+00, %land.lhs.true.i ], [ 0x7FF0000000000000, %if.then7 ], [ %0, %if.else10 ], [ %8, %if.then10.i18 ], [ %9, %if.else.i13 ], [ 0.000000e+00, %land.lhs.true.i16 ], [ %0, %entry ]
ret double %retval.0
}

Expand Down Expand Up @@ -735,13 +731,9 @@ if.else.i.i: ; preds = %if.end.i.i
if.else10.i: ; preds = %if.else.i4
%and.i = and i64 %7, 1
%cmp13.i = icmp eq i64 %and.i, 0
br i1 %cmp13.i, label %_ZN14arrow_vendored17double_conversion13StrtodTrimmedENS0_6VectorIKcEEi.exit, label %if.else15.i

if.else15.i: ; preds = %if.else10.i
%cmp.i10.i = icmp eq i64 %7, 9218868437227405312
br i1 %cmp.i10.i, label %_ZN14arrow_vendored17double_conversion13StrtodTrimmedENS0_6VectorIKcEEi.exit, label %if.end.i11.i
br i1 %cmp13.i, label %_ZN14arrow_vendored17double_conversion13StrtodTrimmedENS0_6VectorIKcEEi.exit, label %if.end.i11.i

if.end.i11.i: ; preds = %if.else15.i
if.end.i11.i: ; preds = %if.else10.i
%cmp3.i12.i = icmp slt i64 %7, 0
br i1 %cmp3.i12.i, label %land.lhs.true.i16.i, label %if.else.i13.i

Expand All @@ -759,8 +751,8 @@ if.else.i13.i: ; preds = %if.end.i11.i
%15 = bitcast i64 %add.i14.i to double
br label %_ZN14arrow_vendored17double_conversion13StrtodTrimmedENS0_6VectorIKcEEi.exit

_ZN14arrow_vendored17double_conversion13StrtodTrimmedENS0_6VectorIKcEEi.exit: ; preds = %_ZN14arrow_vendored17double_conversionL10TrimAndCutENS0_6VectorIKcEEiPciPS3_Pi.exit, %if.end.i, %if.then7.i, %land.lhs.true.i.i, %if.then10.i.i, %if.else.i.i, %if.else10.i, %if.else15.i, %land.lhs.true.i16.i, %if.then10.i18.i, %if.else.i13.i
%retval.0.i = phi double [ %6, %if.end.i ], [ %12, %if.then10.i.i ], [ %13, %if.else.i.i ], [ 0.000000e+00, %land.lhs.true.i.i ], [ 0x7FF0000000000000, %if.then7.i ], [ %6, %if.else10.i ], [ %14, %if.then10.i18.i ], [ %15, %if.else.i13.i ], [ 0.000000e+00, %land.lhs.true.i16.i ], [ 0x7FF0000000000000, %if.else15.i ], [ %6, %_ZN14arrow_vendored17double_conversionL10TrimAndCutENS0_6VectorIKcEEiPciPS3_Pi.exit ]
_ZN14arrow_vendored17double_conversion13StrtodTrimmedENS0_6VectorIKcEEi.exit: ; preds = %_ZN14arrow_vendored17double_conversionL10TrimAndCutENS0_6VectorIKcEEiPciPS3_Pi.exit, %if.end.i, %if.then7.i, %land.lhs.true.i.i, %if.then10.i.i, %if.else.i.i, %if.else10.i, %land.lhs.true.i16.i, %if.then10.i18.i, %if.else.i13.i
%retval.0.i = phi double [ %6, %if.end.i ], [ %12, %if.then10.i.i ], [ %13, %if.else.i.i ], [ 0.000000e+00, %land.lhs.true.i.i ], [ 0x7FF0000000000000, %if.then7.i ], [ %6, %if.else10.i ], [ %14, %if.then10.i18.i ], [ %15, %if.else.i13.i ], [ 0.000000e+00, %land.lhs.true.i16.i ], [ %6, %_ZN14arrow_vendored17double_conversionL10TrimAndCutENS0_6VectorIKcEEiPciPS3_Pi.exit ]
call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %guess.i)
ret double %retval.0.i
}
Expand Down
7 changes: 2 additions & 5 deletions bench/bullet3/optimized/btMultiBody.ll
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -14321,10 +14321,7 @@ for.body82.lr.ph: ; preds = %for.cond80.preheade
%113 = getelementptr float, ptr %cond20, i64 %112
br label %for.body82

while.cond351.preheader: ; preds = %for.inc348
br i1 %cmp21.not744, label %if.end, label %for.cond354.preheader.lr.ph

for.cond354.preheader.lr.ph: ; preds = %for.cond80.preheader, %while.cond351.preheader
while.cond351.preheader: ; preds = %for.inc348, %for.cond80.preheader
%m_data.i696 = getelementptr inbounds nuw i8, ptr %this, i64 192
%.pre = load ptr, ptr %m_data.i696, align 8
br label %for.cond354.preheader
Expand Down Expand Up @@ -14913,7 +14910,7 @@ for.end375: ; preds = %for.body359, %for.c
%cmp352.not = icmp eq i32 %370, -1
br i1 %cmp352.not, label %if.end, label %for.cond354.preheader, !llvm.loop !262

if.end: ; preds = %for.end375, %while.cond351.preheader, %for.end
if.end: ; preds = %for.end375, %for.end
ret void
}

Expand Down
31 changes: 10 additions & 21 deletions bench/curl/optimized/libcurl_la-url.ll
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -4242,54 +4242,43 @@ if.then26.thread: ; preds = %if.end23.thread
store i32 %port.0.i.i, ptr %conn_to_port97, align 8
%bf.set30100 = or i32 %bf.load, 1536
store i32 %bf.set30100, ptr %bits.i, align 8
br label %if.end49
br label %return

if.then26: ; preds = %if.end23
store i32 %port.46085, ptr %conn_to_port97, align 8
%bf.set30 = or i32 %bf.load46.pre, 1024
store i32 %bf.set30, ptr %bits.i, align 8
br i1 %tobool124.not.i.i, label %if.end49, label %land.lhs.true33
br i1 %tobool124.not.i.i, label %return, label %land.lhs.true33

land.lhs.true33: ; preds = %if.then26
%bf.load36 = load i64, ptr %verbose.i.i, align 2
%43 = and i64 %bf.load36, 536870912
%tobool40.not = icmp eq i64 %43, 0
br i1 %tobool40.not, label %if.end49, label %if.then41
br i1 %tobool40.not, label %return, label %if.then41

if.then41: ; preds = %land.lhs.true33
tail call void (ptr, ptr, ...) @Curl_infof(ptr noundef nonnull %data, ptr noundef nonnull @.str.52, i32 noundef %port.46085) #11
br label %if.end49
br label %return

if.else44: ; preds = %if.end23.thread, %if.end23
if.else44: ; preds = %if.end23, %if.end23.thread
%bf.load46 = phi i32 [ %bf.set, %if.end23.thread ], [ %bf.load46.pre, %if.end23 ]
%host.193 = phi ptr [ %call163.i.i, %if.end23.thread ], [ %host.1, %if.end23 ]
%bf.clear47 = and i32 %bf.load46, -1025
store i32 %bf.clear47, ptr %bits.i, align 8
br label %if.end49

if.end49: ; preds = %if.then26.thread, %if.then41, %land.lhs.true33, %if.then26, %if.else44
%host.192 = phi ptr [ %host.1, %if.then26 ], [ %host.1, %land.lhs.true33 ], [ %host.1, %if.then41 ], [ %host.193, %if.else44 ], [ %call163.i.i, %if.then26.thread ]
%port.1 = phi i32 [ %port.46085, %if.then26 ], [ %port.46085, %land.lhs.true33 ], [ %port.46085, %if.then41 ], [ -1, %if.else44 ], [ %port.0.i.i, %if.then26.thread ]
%next = getelementptr inbounds nuw i8, ptr %conn_to_host.addr.0123, i64 8
%44 = load ptr, ptr %next, align 8
%tobool = icmp eq ptr %44, null
%tobool1 = icmp ne ptr %host.192, null
%tobool1 = icmp ne ptr %host.193, null
%or.cond = or i1 %tobool1, %tobool
%or.cond.not = xor i1 %or.cond, true
%cmp = icmp eq i32 %port.1, -1
%or.cond3 = select i1 %or.cond.not, i1 %cmp, i1 false
br i1 %or.cond3, label %while.body, label %while.end, !llvm.loop !11
br i1 %or.cond, label %while.end, label %while.body, !llvm.loop !11

while.end: ; preds = %if.end49, %entry
%tobool1.lcssa = phi i1 [ false, %entry ], [ %tobool1, %if.end49 ]
%cmp.lcssa = phi i1 [ true, %entry ], [ %cmp, %if.end49 ]
%asi = getelementptr inbounds nuw i8, ptr %data, i64 2736
%45 = load ptr, ptr %asi, align 8
%tobool50 = icmp eq ptr %45, null
%or.cond1 = or i1 %tobool1.lcssa, %tobool50
%or.cond1.not = xor i1 %or.cond1, true
%or.cond2 = select i1 %or.cond1.not, i1 %cmp.lcssa, i1 false
br i1 %or.cond2, label %land.lhs.true56, label %return
br i1 %or.cond1, label %return, label %land.lhs.true56

land.lhs.true56: ; preds = %while.end
%handler = getelementptr inbounds nuw i8, ptr %conn, i64 712
Expand Down Expand Up @@ -4379,8 +4368,8 @@ sw.bb122: ; preds = %do.end112
store i8 30, ptr %httpversion123, align 8
br label %return

return: ; preds = %parse_connect_to_string.exit.thread77, %parse_connect_to_string.exit.thread71, %parse_connect_to_string.exit.thread61, %while.end, %land.lhs.true56, %sw.bb122, %sw.bb120, %if.then59, %do.end112, %if.then67
%retval.0 = phi i32 [ 27, %if.then67 ], [ 0, %do.end112 ], [ 0, %if.then59 ], [ 0, %sw.bb120 ], [ 0, %sw.bb122 ], [ 0, %land.lhs.true56 ], [ 0, %while.end ], [ 27, %parse_connect_to_string.exit.thread61 ], [ 27, %parse_connect_to_string.exit.thread71 ], [ %result.0.i.i.ph, %parse_connect_to_string.exit.thread77 ]
return: ; preds = %if.then26, %land.lhs.true33, %if.then41, %if.then26.thread, %parse_connect_to_string.exit.thread77, %parse_connect_to_string.exit.thread71, %parse_connect_to_string.exit.thread61, %while.end, %land.lhs.true56, %sw.bb122, %sw.bb120, %if.then59, %do.end112, %if.then67
%retval.0 = phi i32 [ 27, %if.then67 ], [ 0, %do.end112 ], [ 0, %if.then59 ], [ 0, %sw.bb120 ], [ 0, %sw.bb122 ], [ 0, %land.lhs.true56 ], [ 0, %while.end ], [ 27, %parse_connect_to_string.exit.thread61 ], [ 27, %parse_connect_to_string.exit.thread71 ], [ %result.0.i.i.ph, %parse_connect_to_string.exit.thread77 ], [ 0, %if.then26.thread ], [ 0, %if.then41 ], [ 0, %land.lhs.true33 ], [ 0, %if.then26 ]
ret i32 %retval.0
}

Expand Down
6 changes: 2 additions & 4 deletions bench/cvc5/optimized/quant_conflict_find.cpp.ll
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -18558,10 +18558,8 @@ invoke.cont288: ; preds = %if.else280
%d_kind.i940 = getelementptr inbounds nuw i8, ptr %96, i64 8
%bf.load.i941 = load i16, ptr %d_kind.i940, align 8
%bf.clear.i942 = and i16 %bf.load.i941, 1023
%cmp290 = icmp ne i16 %bf.clear.i942, 36
%cmp293.not3064 = icmp eq i16 %bf.clear.i280, 39
%cmp293.not = or i1 %cmp293.not3064, %cmp290
br i1 %cmp293.not, label %if.end313, label %if.then294
%cmp290 = icmp eq i16 %bf.clear.i942, 36
br i1 %cmp290.not, label %if.then294, label %if.end313

if.then294: ; preds = %invoke.cont288
%call297 = invoke noundef ptr @_ZN4cvc58internal11NodeManager9currentNMEv()
Expand Down
Loading