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: PR117442 #1745

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
6 changes: 3 additions & 3 deletions bench/abc/optimized/inflate.c.ll
Original file line number Diff line number Diff line change
Expand Up @@ -2906,11 +2906,11 @@ default.unreachable2892: ; preds = %444
br i1 %.not1162, label %999, label %997

997: ; preds = %992
%998 = call i64 @crc32(i64 noundef %994, ptr noundef %996, i32 noundef %986) #9
%998 = call i64 @crc32(i64 noundef %994, ptr noundef nonnull %996, i32 noundef %986) #9
br label %1001

999: ; preds = %992
%1000 = call i64 @adler32(i64 noundef %994, ptr noundef %996, i32 noundef %986) #9
%1000 = call i64 @adler32(i64 noundef %994, ptr noundef nonnull %996, i32 noundef %986) #9
br label %1001

1001: ; preds = %999, %997
Expand Down Expand Up @@ -3356,7 +3356,7 @@ define internal fastcc range(i32 0, 2) i32 @updatewindow(ptr nocapture noundef n
%59 = zext i32 %56 to i64
%60 = sub nsw i64 0, %59
%61 = getelementptr inbounds i8, ptr %58, i64 %60
tail call void @llvm.memcpy.p0.p0.i64(ptr align 1 %57, ptr align 1 %61, i64 %59, i1 false)
tail call void @llvm.memcpy.p0.p0.i64(ptr align 1 %57, ptr nonnull align 1 %61, i64 %59, i1 false)
store i32 %56, ptr %44, align 4
%62 = load i32, ptr %20, align 4
%63 = getelementptr inbounds i8, ptr %4, i64 56
Expand Down
168 changes: 80 additions & 88 deletions bench/abseil-cpp/optimized/bind.cc.ll

Large diffs are not rendered by default.

16 changes: 6 additions & 10 deletions bench/abseil-cpp/optimized/container_test.cc.ll
Original file line number Diff line number Diff line change
Expand Up @@ -20775,16 +20775,12 @@ if.then3.i.i.i.i.i.i: ; preds = %cond.true.i.i.i.i
_ZNSt6vectorIiSaIiEEC2ERKS1_.exit: ; preds = %cond.true.i.i.i.i
%call5.i.i.i.i2.i6.i = call noalias noundef nonnull ptr @_Znwm(i64 noundef %sub.ptr.sub.i.i) #32
call void @llvm.memmove.p0.p0.i64(ptr nonnull align 4 %call5.i.i.i.i2.i6.i, ptr align 4 %14, i64 %sub.ptr.sub.i.i, i1 false)
%cmp6.i.i.i21.not = icmp eq ptr %13, %14
br i1 %cmp6.i.i.i21.not, label %_ZSt13__lower_boundIN9__gnu_cxx17__normal_iteratorIPKiSt6vectorIiSaIiEEEEiNS0_5__ops14_Iter_less_valEET_SA_SA_RKT0_T1_.exit.i.i22, label %while.body.i.i.i28.preheader

while.body.i.i.i28.preheader: ; preds = %_ZNSt6vectorIiSaIiEEC2ERKS1_.exit
%sub.ptr.div.i.i.i.i.i.i20 = lshr exact i64 %sub.ptr.sub.i.i, 2
br label %while.body.i.i.i28

while.body.i.i.i28: ; preds = %while.body.i.i.i28.preheader, %while.body.i.i.i28
%__len.08.i.i.i29 = phi i64 [ %__len.1.i.i.i41, %while.body.i.i.i28 ], [ %sub.ptr.div.i.i.i.i.i.i20, %while.body.i.i.i28.preheader ]
%__first.sroa.0.07.i.i.i30 = phi ptr [ %__first.sroa.0.1.i.i.i40, %while.body.i.i.i28 ], [ %call5.i.i.i.i2.i6.i, %while.body.i.i.i28.preheader ]
while.body.i.i.i28: ; preds = %_ZNSt6vectorIiSaIiEEC2ERKS1_.exit, %while.body.i.i.i28
%__len.08.i.i.i29 = phi i64 [ %__len.1.i.i.i41, %while.body.i.i.i28 ], [ %sub.ptr.div.i.i.i.i.i.i20, %_ZNSt6vectorIiSaIiEEC2ERKS1_.exit ]
%__first.sroa.0.07.i.i.i30 = phi ptr [ %__first.sroa.0.1.i.i.i40, %while.body.i.i.i28 ], [ %call5.i.i.i.i2.i6.i, %_ZNSt6vectorIiSaIiEEC2ERKS1_.exit ]
%shr.i.i.i31 = lshr i64 %__len.08.i.i.i29, 1
%add.ptr.i.i.i.i.i.i34 = getelementptr inbounds i32, ptr %__first.sroa.0.07.i.i.i30, i64 %shr.i.i.i31
%15 = load i32, ptr %add.ptr.i.i.i.i.i.i34, align 4
Expand All @@ -20797,9 +20793,9 @@ while.body.i.i.i28: ; preds = %while.body.i.i.i28.
%cmp.i.i.i42 = icmp sgt i64 %__len.1.i.i.i41, 0
br i1 %cmp.i.i.i42, label %while.body.i.i.i28, label %_ZSt13__lower_boundIN9__gnu_cxx17__normal_iteratorIPKiSt6vectorIiSaIiEEEEiNS0_5__ops14_Iter_less_valEET_SA_SA_RKT0_T1_.exit.i.i22, !llvm.loop !361

_ZSt13__lower_boundIN9__gnu_cxx17__normal_iteratorIPKiSt6vectorIiSaIiEEEEiNS0_5__ops14_Iter_less_valEET_SA_SA_RKT0_T1_.exit.i.i22: ; preds = %while.body.i.i.i28, %_ZN7testing15AssertionResultD2Ev.exit, %_ZNSt6vectorIiSaIiEEC2ERKS1_.exit
%cond.i.i.i.i8085 = phi ptr [ %call5.i.i.i.i2.i6.i, %_ZNSt6vectorIiSaIiEEC2ERKS1_.exit ], [ null, %_ZN7testing15AssertionResultD2Ev.exit ], [ %call5.i.i.i.i2.i6.i, %while.body.i.i.i28 ]
%__first.sroa.0.0.lcssa.i.i.i23 = phi ptr [ %call5.i.i.i.i2.i6.i, %_ZNSt6vectorIiSaIiEEC2ERKS1_.exit ], [ null, %_ZN7testing15AssertionResultD2Ev.exit ], [ %__first.sroa.0.1.i.i.i40, %while.body.i.i.i28 ]
_ZSt13__lower_boundIN9__gnu_cxx17__normal_iteratorIPKiSt6vectorIiSaIiEEEEiNS0_5__ops14_Iter_less_valEET_SA_SA_RKT0_T1_.exit.i.i22: ; preds = %while.body.i.i.i28, %_ZN7testing15AssertionResultD2Ev.exit
%cond.i.i.i.i8085 = phi ptr [ null, %_ZN7testing15AssertionResultD2Ev.exit ], [ %call5.i.i.i.i2.i6.i, %while.body.i.i.i28 ]
%__first.sroa.0.0.lcssa.i.i.i23 = phi ptr [ null, %_ZN7testing15AssertionResultD2Ev.exit ], [ %__first.sroa.0.1.i.i.i40, %while.body.i.i.i28 ]
%add.ptr.i.i.i.i.i.i.i.i.i86 = getelementptr inbounds i8, ptr %cond.i.i.i.i8085, i64 %sub.ptr.sub.i.i
%cmp.i2.not.i.i24 = icmp eq ptr %__first.sroa.0.0.lcssa.i.i.i23, %add.ptr.i.i.i.i.i.i.i.i.i86
br i1 %cmp.i2.not.i.i24, label %invoke.cont22, label %land.rhs.i.i25
Expand Down
10 changes: 3 additions & 7 deletions bench/abseil-cpp/optimized/sequence_lock_test.cc.ll
Original file line number Diff line number Diff line change
Expand Up @@ -7562,17 +7562,13 @@ if.end10: ; preds = %if.then, %for.body
%inc = add i64 %count.017, 1
%incdec.ptr.i = getelementptr inbounds i8, ptr %__begin0.sroa.0.016, i64 1
%cmp.i.not = icmp eq ptr %incdec.ptr.i, %1
br i1 %cmp.i.not, label %for.end, label %for.body
br i1 %cmp.i.not, label %if.then14, label %for.body

for.end: ; preds = %if.end10
%3 = icmp eq ptr %1, %0
br i1 %3, label %if.end16, label %if.then14

if.then14: ; preds = %for.end.thread, %for.end
if.then14: ; preds = %if.end10, %for.end.thread
%call15 = tail call noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_c(ptr noundef nonnull align 8 dereferenceable(8) %os, i8 noundef signext 32)
br label %if.end16

if.end16: ; preds = %entry, %if.then14, %for.end
if.end16: ; preds = %entry, %if.then14
%call17 = tail call noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_c(ptr noundef nonnull align 8 dereferenceable(8) %os, i8 noundef signext 125)
ret void
}
Expand Down
28 changes: 11 additions & 17 deletions bench/arrow/optimized/csf_converter.cc.ll
Original file line number Diff line number Diff line change
Expand Up @@ -3334,23 +3334,17 @@ if.then.i.i.i.i.i: ; preds = %_ZNSt6vectorIlSaIlE
store i64 0, ptr %call5.i.i.i.i2.i.i3, align 8
%incdec.ptr.i.i.i.i.i = getelementptr i8, ptr %call5.i.i.i.i2.i.i3, i64 8
%cmp.i.i.i.i.i.i.i = icmp eq i64 %sub.ptr.sub.i, 8
br i1 %cmp.i.i.i.i.i.i.i, label %invoke.cont.thread12, label %invoke.cont

invoke.cont.thread12: ; preds = %if.then.i.i.i.i.i
%_M_finish.i.i7.i14 = getelementptr inbounds i8, ptr %agg.result, i64 8
store ptr %incdec.ptr.i.i.i.i.i, ptr %_M_finish.i.i7.i14, align 8
br label %for.body.i.preheader
br i1 %cmp.i.i.i.i.i.i.i, label %for.body.i.preheader, label %invoke.cont

invoke.cont: ; preds = %if.then.i.i.i.i.i
%2 = add nsw i64 %sub.ptr.sub.i, -8
tail call void @llvm.memset.p0.i64(ptr align 8 %incdec.ptr.i.i.i.i.i, i8 0, i64 %2, i1 false)
%_M_finish.i.i7.i = getelementptr inbounds i8, ptr %agg.result, i64 8
store ptr %add.ptr.i.i.i, ptr %_M_finish.i.i7.i, align 8
%cmp.i.not4.i = icmp eq ptr %0, %1
br i1 %cmp.i.not4.i, label %nrvo.skipdtor, label %for.body.i.preheader
br label %for.body.i.preheader

for.body.i.preheader: ; preds = %invoke.cont.thread12, %invoke.cont
%__first.addr.0.i.i.i.i.i16 = phi ptr [ %incdec.ptr.i.i.i.i.i, %invoke.cont.thread12 ], [ %add.ptr.i.i.i, %invoke.cont ]
for.body.i.preheader: ; preds = %if.then.i.i.i.i.i, %invoke.cont
%add.ptr.i.i.i.sink = phi ptr [ %add.ptr.i.i.i, %invoke.cont ], [ %incdec.ptr.i.i.i.i.i, %if.then.i.i.i.i.i ]
%_M_finish.i.i7.i = getelementptr inbounds i8, ptr %agg.result, i64 8
store ptr %add.ptr.i.i.i.sink, ptr %_M_finish.i.i7.i, align 8
br label %for.body.i

for.body.i: ; preds = %for.body.i.preheader, %for.body.i
Expand All @@ -3359,25 +3353,25 @@ for.body.i: ; preds = %for.body.i.preheade
store i64 %indvars.iv.i, ptr %__first.sroa.0.05.i, align 8
%indvars.iv.next.i = add nuw nsw i64 %indvars.iv.i, 1
%incdec.ptr.i.i = getelementptr inbounds i8, ptr %__first.sroa.0.05.i, i64 8
%cmp.i.not.i = icmp eq ptr %incdec.ptr.i.i, %__first.addr.0.i.i.i.i.i16
%cmp.i.not.i = icmp eq ptr %incdec.ptr.i.i, %add.ptr.i.i.i.sink
br i1 %cmp.i.not.i, label %if.then.i.i6, label %for.body.i, !llvm.loop !121

if.then.i.i6: ; preds = %for.body.i
%sub.ptr.lhs.cast.i.i.i = ptrtoint ptr %__first.addr.0.i.i.i.i.i16 to i64
%sub.ptr.lhs.cast.i.i.i = ptrtoint ptr %add.ptr.i.i.i.sink to i64
%sub.ptr.rhs.cast.i.i.i = ptrtoint ptr %call5.i.i.i.i2.i.i3 to i64
%sub.ptr.sub.i.i.i = sub i64 %sub.ptr.lhs.cast.i.i.i, %sub.ptr.rhs.cast.i.i.i
%sub.ptr.div.i.i.i = ashr exact i64 %sub.ptr.sub.i.i.i, 3
%3 = tail call range(i64 0, 65) i64 @llvm.ctlz.i64(i64 %sub.ptr.div.i.i.i, i1 true)
%sub.i.i.i = shl nuw nsw i64 %3, 1
%mul.i.i = xor i64 %sub.i.i.i, 126
invoke void @_ZSt16__introsort_loopIN9__gnu_cxx17__normal_iteratorIPlSt6vectorIlSaIlEEEElNS0_5__ops15_Iter_comp_iterIZN5arrow8internal7ArgSortIlSt4lessIlEEES5_RKS3_IT_SaISE_EEOT0_EUlllE_EEEvSE_SE_SJ_T1_(ptr nonnull %call5.i.i.i.i2.i.i3, ptr %__first.addr.0.i.i.i.i.i16, i64 noundef %mul.i.i, ptr nonnull %cmp, ptr nonnull %values)
invoke void @_ZSt16__introsort_loopIN9__gnu_cxx17__normal_iteratorIPlSt6vectorIlSaIlEEEElNS0_5__ops15_Iter_comp_iterIZN5arrow8internal7ArgSortIlSt4lessIlEEES5_RKS3_IT_SaISE_EEOT0_EUlllE_EEEvSE_SE_SJ_T1_(ptr nonnull %call5.i.i.i.i2.i.i3, ptr %add.ptr.i.i.i.sink, i64 noundef %mul.i.i, ptr nonnull %cmp, ptr nonnull %values)
to label %.noexc7 unwind label %eh.resume

.noexc7: ; preds = %if.then.i.i6
invoke void @_ZSt22__final_insertion_sortIN9__gnu_cxx17__normal_iteratorIPlSt6vectorIlSaIlEEEENS0_5__ops15_Iter_comp_iterIZN5arrow8internal7ArgSortIlSt4lessIlEEES5_RKS3_IT_SaISE_EEOT0_EUlllE_EEEvSE_SE_SJ_(ptr nonnull %call5.i.i.i.i2.i.i3, ptr %__first.addr.0.i.i.i.i.i16, ptr nonnull %cmp, ptr nonnull %values)
invoke void @_ZSt22__final_insertion_sortIN9__gnu_cxx17__normal_iteratorIPlSt6vectorIlSaIlEEEENS0_5__ops15_Iter_comp_iterIZN5arrow8internal7ArgSortIlSt4lessIlEEES5_RKS3_IT_SaISE_EEOT0_EUlllE_EEEvSE_SE_SJ_(ptr nonnull %call5.i.i.i.i2.i.i3, ptr %add.ptr.i.i.i.sink, ptr nonnull %cmp, ptr nonnull %values)
to label %nrvo.skipdtor unwind label %eh.resume

nrvo.skipdtor: ; preds = %invoke.cont.thread, %invoke.cont, %.noexc7
nrvo.skipdtor: ; preds = %invoke.cont.thread, %.noexc7
ret void

eh.resume: ; preds = %.noexc7, %if.then.i.i6
Expand Down
17 changes: 6 additions & 11 deletions bench/arrow/optimized/tensor.cc.ll
Original file line number Diff line number Diff line change
Expand Up @@ -1109,7 +1109,7 @@ if.end.i59: ; preds = %do.body10
%size_.i.i = getelementptr inbounds i8, ptr %14, i64 24
%15 = load i64, ptr %size_.i.i, align 8, !noalias !30
%cmp4.i = icmp eq i64 %15, 0
br i1 %cmp4.i, label %land.rhs.i, label %if.end19.i60
br i1 %cmp4.i, label %land.rhs.i, label %for.body.preheader.i

land.rhs.i: ; preds = %if.end.i59
%shr.i.i.i.i = ashr i64 %sub.ptr.sub.i.i, 5
Expand Down Expand Up @@ -1161,7 +1161,7 @@ for.end.i.i.i.i: ; preds = %for.end.loopexit.i.
%sub.ptr.sub.i20.pre-phi.i.i.i.i = phi i64 [ %.pre65.i.i.i.i, %for.end.loopexit.i.i.i.i ], [ %sub.ptr.sub.i.i, %land.rhs.i ]
%__first.sroa.0.0.lcssa.i.i.i.i = phi ptr [ %scevgep.i.i.i.i, %for.end.loopexit.i.i.i.i ], [ %shape.val14, %land.rhs.i ]
%sub.ptr.div.i21.i.i.i.i = ashr exact i64 %sub.ptr.sub.i20.pre-phi.i.i.i.i, 3
switch i64 %sub.ptr.div.i21.i.i.i.i, label %if.end19.i60 [
switch i64 %sub.ptr.div.i21.i.i.i.i, label %for.body.preheader.i [
i64 3, label %sw.bb.i.i.i.i
i64 2, label %sw.bb31.i.i.i.i
i64 1, label %sw.bb38.i.i.i.i
Expand Down Expand Up @@ -1208,13 +1208,9 @@ _ZSt4findIN9__gnu_cxx17__normal_iteratorIPKlSt6vectorIlSaIlEEEEiET_S8_S8_RKT0_.e
_ZSt4findIN9__gnu_cxx17__normal_iteratorIPKlSt6vectorIlSaIlEEEEiET_S8_S8_RKT0_.exit.i: ; preds = %for.body.i.i.i.i, %_ZSt4findIN9__gnu_cxx17__normal_iteratorIPKlSt6vectorIlSaIlEEEEiET_S8_S8_RKT0_.exit.i.loopexit.split.loop.exit, %_ZSt4findIN9__gnu_cxx17__normal_iteratorIPKlSt6vectorIlSaIlEEEEiET_S8_S8_RKT0_.exit.i.loopexit.split.loop.exit269, %_ZSt4findIN9__gnu_cxx17__normal_iteratorIPKlSt6vectorIlSaIlEEEEiET_S8_S8_RKT0_.exit.i.loopexit.split.loop.exit271, %sw.bb38.i.i.i.i, %sw.bb31.i.i.i.i, %sw.bb.i.i.i.i
%retval.sroa.0.0.in.sroa.speculated.i.i.i.i = phi ptr [ %__first.sroa.0.0.lcssa.i.i.i.i, %sw.bb.i.i.i.i ], [ %__first.sroa.0.1.i.i.i.i, %sw.bb31.i.i.i.i ], [ %spec.select.i.i.i.i, %sw.bb38.i.i.i.i ], [ %incdec.ptr.i.i.i.i.i.le, %_ZSt4findIN9__gnu_cxx17__normal_iteratorIPKlSt6vectorIlSaIlEEEEiET_S8_S8_RKT0_.exit.i.loopexit.split.loop.exit ], [ %incdec.ptr.i11.i.i.i.i.le, %_ZSt4findIN9__gnu_cxx17__normal_iteratorIPKlSt6vectorIlSaIlEEEEiET_S8_S8_RKT0_.exit.i.loopexit.split.loop.exit269 ], [ %incdec.ptr.i14.i.i.i.i.le, %_ZSt4findIN9__gnu_cxx17__normal_iteratorIPKlSt6vectorIlSaIlEEEEiET_S8_S8_RKT0_.exit.i.loopexit.split.loop.exit271 ], [ %__first.sroa.0.057.i.i.i.i, %for.body.i.i.i.i ]
%cmp.i.not.i63 = icmp eq ptr %retval.sroa.0.0.in.sroa.speculated.i.i.i.i, %shape.val15
br i1 %cmp.i.not.i63, label %if.end19.i60, label %nrvo.skipdtor29.thread
br i1 %cmp.i.not.i63, label %for.body.preheader.i, label %nrvo.skipdtor29.thread

if.end19.i60: ; preds = %_ZSt4findIN9__gnu_cxx17__normal_iteratorIPKlSt6vectorIlSaIlEEEEiET_S8_S8_RKT0_.exit.i, %for.end.i.i.i.i, %if.end.i59
%cmp2117.not.i = icmp eq i64 %sub.ptr.sub.i.i, 0
br i1 %cmp2117.not.i, label %for.end.i, label %for.body.preheader.i

for.body.preheader.i: ; preds = %if.end19.i60
for.body.preheader.i: ; preds = %if.end.i59, %for.end.i.i.i.i, %_ZSt4findIN9__gnu_cxx17__normal_iteratorIPKlSt6vectorIlSaIlEEEEiET_S8_S8_RKT0_.exit.i
%umax.i = call i64 @llvm.umax.i64(i64 %sub.ptr.div.i19.i, i64 1)
br label %for.body.i

Expand Down Expand Up @@ -1259,8 +1255,7 @@ for.inc.i: ; preds = %if.then33.i, %for.b
%exitcond.not.i = icmp eq i64 %inc.i, %umax.i
br i1 %exitcond.not.i, label %for.end.i, label %for.body.i, !llvm.loop !34

for.end.i: ; preds = %for.inc.i, %if.end19.i60
%largest_offset.0.lcssa.i = phi i64 [ 0, %if.end19.i60 ], [ %largest_offset.1.i, %for.inc.i ]
for.end.i: ; preds = %for.inc.i
%vtable.i61 = load ptr, ptr %type.val17, align 8, !noalias !30
%vfn.i62 = getelementptr inbounds i8, ptr %vtable.i61, i64 64
%32 = load ptr, ptr %vfn.i62, align 8, !noalias !30
Expand All @@ -1270,7 +1265,7 @@ for.end.i: ; preds = %for.inc.i, %if.end1
%34 = load i64, ptr %size_.i30.i, align 8, !noalias !30
%conv.i = sext i32 %call39.i to i64
%sub42.i = sub nsw i64 %34, %conv.i
%cmp43.i = icmp sgt i64 %largest_offset.0.lcssa.i, %sub42.i
%cmp43.i = icmp sgt i64 %largest_offset.1.i, %sub42.i
br i1 %cmp43.i, label %if.then44.i, label %nrvo.skipdtor29.thread

if.then44.i: ; preds = %for.end.i
Expand Down
Loading