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: PR123218 #1995

Closed
wants to merge 2 commits into from
Closed
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
101 changes: 50 additions & 51 deletions bench/cpython/optimized/obmalloc.ll
Original file line number Diff line number Diff line change
Expand Up @@ -19310,16 +19310,15 @@ entry:
%2 = load ptr, ptr %1, align 8
%segments = getelementptr inbounds nuw i8, ptr %2, i64 32
%3 = load atomic i64, ptr %xheap.i monotonic, align 8
%4 = inttoptr i64 %3 to ptr
%prev.i = getelementptr inbounds nuw i8, ptr %page, i64 64
%5 = load ptr, ptr %prev.i, align 8
%cmp.not.i = icmp eq ptr %5, null
%4 = load ptr, ptr %prev.i, align 8
%cmp.not.i = icmp eq ptr %4, null
%next3.phi.trans.insert.i = getelementptr inbounds nuw i8, ptr %page, i64 56
%.pre.i = load ptr, ptr %next3.phi.trans.insert.i, align 8
br i1 %cmp.not.i, label %if.end.i, label %if.then.i

if.then.i: ; preds = %entry
%next2.i = getelementptr inbounds nuw i8, ptr %5, i64 56
%next2.i = getelementptr inbounds nuw i8, ptr %4, i64 56
store ptr %.pre.i, ptr %next2.i, align 8
br label %if.end.i

Expand All @@ -19328,111 +19327,111 @@ if.end.i: ; preds = %if.then.i, %entry
br i1 %cmp4.not.i, label %if.end9.i, label %if.then5.i

if.then5.i: ; preds = %if.end.i
%6 = load ptr, ptr %prev.i, align 8
%5 = load ptr, ptr %prev.i, align 8
%prev8.i = getelementptr inbounds nuw i8, ptr %.pre.i, i64 64
store ptr %6, ptr %prev8.i, align 8
store ptr %5, ptr %prev8.i, align 8
br label %if.end9.i

if.end9.i: ; preds = %if.then5.i, %if.end.i
%last.i = getelementptr inbounds nuw i8, ptr %pq, i64 8
%7 = load ptr, ptr %last.i, align 8
%cmp10.i = icmp eq ptr %page, %7
%6 = load ptr, ptr %last.i, align 8
%cmp10.i = icmp eq ptr %page, %6
br i1 %cmp10.i, label %if.then11.i, label %if.end14.i

if.then11.i: ; preds = %if.end9.i
%8 = load ptr, ptr %prev.i, align 8
store ptr %8, ptr %last.i, align 8
%7 = load ptr, ptr %prev.i, align 8
store ptr %7, ptr %last.i, align 8
br label %if.end14.i

if.end14.i: ; preds = %if.then11.i, %if.end9.i
%9 = load ptr, ptr %pq, align 8
%cmp15.i = icmp eq ptr %page, %9
%8 = load ptr, ptr %pq, align 8
%cmp15.i = icmp eq ptr %page, %8
br i1 %cmp15.i, label %if.then16.i, label %mi_page_queue_remove.exit

if.then16.i: ; preds = %if.end14.i
%10 = load ptr, ptr %next3.phi.trans.insert.i, align 8
store ptr %10, ptr %pq, align 8
tail call fastcc void @mi_heap_queue_first_update(ptr noundef %4, ptr noundef nonnull %pq)
%9 = load ptr, ptr %next3.phi.trans.insert.i, align 8
store ptr %9, ptr %pq, align 8
tail call fastcc void @mi_heap_queue_first_update(ptr noundef nonnull %1, ptr noundef nonnull %pq)
br label %mi_page_queue_remove.exit

mi_page_queue_remove.exit: ; preds = %if.end14.i, %if.then16.i
%page_count.i = getelementptr inbounds nuw i8, ptr %4, i64 3024
%11 = load i64, ptr %page_count.i, align 8
%dec.i = add i64 %11, -1
%page_count.i = getelementptr inbounds nuw i8, ptr %1, i64 3024
%10 = load i64, ptr %page_count.i, align 8
%dec.i = add i64 %10, -1
store i64 %dec.i, ptr %page_count.i, align 8
%flags.i.i = getelementptr inbounds nuw i8, ptr %page, i64 14
tail call void @llvm.memset.p0.i64(ptr noundef nonnull align 8 dereferenceable(16) %next3.phi.trans.insert.i, i8 0, i64 16, i1 false)
%bf.load.i.i = load i8, ptr %flags.i.i, align 2
%bf.clear.i.i = and i8 %bf.load.i.i, -2
store i8 %bf.clear.i.i, ptr %flags.i.i, align 2
store atomic i64 0, ptr %xheap.i release, align 8
%12 = ptrtoint ptr %page to i64
%sub.i.i.i = add i64 %12, -1
%11 = ptrtoint ptr %page to i64
%sub.i.i.i = add i64 %11, -1
%and.i.i.i = and i64 %sub.i.i.i, -33554432
%13 = inttoptr i64 %and.i.i.i to ptr
%abandoned.i = getelementptr inbounds nuw i8, ptr %13, i64 192
%14 = load i64, ptr %abandoned.i, align 64
%inc.i = add i64 %14, 1
%12 = inttoptr i64 %and.i.i.i to ptr
%abandoned.i = getelementptr inbounds nuw i8, ptr %12, i64 192
%13 = load i64, ptr %abandoned.i, align 64
%inc.i = add i64 %13, 1
store i64 %inc.i, ptr %abandoned.i, align 64
%stats.i = getelementptr inbounds nuw i8, ptr %2, i64 928
%15 = load ptr, ptr %stats.i, align 8
%pages_abandoned.i = getelementptr inbounds nuw i8, ptr %15, i64 256
%14 = load ptr, ptr %stats.i, align 8
%pages_abandoned.i = getelementptr inbounds nuw i8, ptr %14, i64 256
%cmp.i.i.i.i = icmp uge ptr %pages_abandoned.i, @_mi_stats_main
%cmp1.i.i.i.i = icmp ult ptr %pages_abandoned.i, getelementptr inbounds nuw (i8, ptr @_mi_stats_main, i64 640)
%16 = select i1 %cmp.i.i.i.i, i1 %cmp1.i.i.i.i, i1 false
%current2.i.i.i = getelementptr inbounds nuw i8, ptr %15, i64 280
br i1 %16, label %if.then1.i.i.i, label %if.else9.i.i.i
%15 = select i1 %cmp.i.i.i.i, i1 %cmp1.i.i.i.i, i1 false
%current2.i.i.i = getelementptr inbounds nuw i8, ptr %14, i64 280
br i1 %15, label %if.then1.i.i.i, label %if.else9.i.i.i

if.then1.i.i.i: ; preds = %mi_page_queue_remove.exit
%17 = atomicrmw add ptr %current2.i.i.i, i64 1 monotonic, align 8
%peak.i.i.i = getelementptr inbounds nuw i8, ptr %15, i64 272
%add.i.i.i = add i64 %17, 1
%18 = load atomic i64, ptr %peak.i.i.i monotonic, align 8
%16 = atomicrmw add ptr %current2.i.i.i, i64 1 monotonic, align 8
%peak.i.i.i = getelementptr inbounds nuw i8, ptr %14, i64 272
%add.i.i.i = add i64 %16, 1
%17 = load atomic i64, ptr %peak.i.i.i monotonic, align 8
br label %while.cond.i.i.i.i

while.cond.i.i.i.i: ; preds = %land.rhs.i.i.i.i, %if.then1.i.i.i
%current.0.i.i.i.i = phi i64 [ %18, %if.then1.i.i.i ], [ %21, %land.rhs.i.i.i.i ]
%current.0.i.i.i.i = phi i64 [ %17, %if.then1.i.i.i ], [ %20, %land.rhs.i.i.i.i ]
%cmp.i21.i.i.i = icmp slt i64 %current.0.i.i.i.i, %add.i.i.i
br i1 %cmp.i21.i.i.i, label %land.rhs.i.i.i.i, label %mi_atomic_maxi64_relaxed.exit.i.i.i

land.rhs.i.i.i.i: ; preds = %while.cond.i.i.i.i
%19 = cmpxchg weak ptr %peak.i.i.i, i64 %current.0.i.i.i.i, i64 %add.i.i.i release monotonic, align 8
%20 = extractvalue { i64, i1 } %19, 1
%21 = extractvalue { i64, i1 } %19, 0
br i1 %20, label %mi_atomic_maxi64_relaxed.exit.i.i.i, label %while.cond.i.i.i.i, !llvm.loop !5
%18 = cmpxchg weak ptr %peak.i.i.i, i64 %current.0.i.i.i.i, i64 %add.i.i.i release monotonic, align 8
%19 = extractvalue { i64, i1 } %18, 1
%20 = extractvalue { i64, i1 } %18, 0
br i1 %19, label %mi_atomic_maxi64_relaxed.exit.i.i.i, label %while.cond.i.i.i.i, !llvm.loop !5

mi_atomic_maxi64_relaxed.exit.i.i.i: ; preds = %land.rhs.i.i.i.i, %while.cond.i.i.i.i
%22 = atomicrmw add ptr %pages_abandoned.i, i64 1 monotonic, align 8
%21 = atomicrmw add ptr %pages_abandoned.i, i64 1 monotonic, align 8
br label %_mi_stat_increase.exit.i

if.else9.i.i.i: ; preds = %mi_page_queue_remove.exit
%23 = load i64, ptr %current2.i.i.i, align 8
%add11.i.i.i = add i64 %23, 1
%22 = load i64, ptr %current2.i.i.i, align 8
%add11.i.i.i = add i64 %22, 1
store i64 %add11.i.i.i, ptr %current2.i.i.i, align 8
%peak13.i.i.i = getelementptr inbounds nuw i8, ptr %15, i64 272
%24 = load i64, ptr %peak13.i.i.i, align 8
%cmp14.i.i.i = icmp sgt i64 %add11.i.i.i, %24
%peak13.i.i.i = getelementptr inbounds nuw i8, ptr %14, i64 272
%23 = load i64, ptr %peak13.i.i.i, align 8
%cmp14.i.i.i = icmp sgt i64 %add11.i.i.i, %23
br i1 %cmp14.i.i.i, label %if.then15.i.i.i, label %if.end18.i.i.i

if.then15.i.i.i: ; preds = %if.else9.i.i.i
store i64 %add11.i.i.i, ptr %peak13.i.i.i, align 8
br label %if.end18.i.i.i

if.end18.i.i.i: ; preds = %if.then15.i.i.i, %if.else9.i.i.i
%25 = load i64, ptr %pages_abandoned.i, align 8
%add22.i.i.i = add i64 %25, 1
%24 = load i64, ptr %pages_abandoned.i, align 8
%add22.i.i.i = add i64 %24, 1
store i64 %add22.i.i.i, ptr %pages_abandoned.i, align 8
br label %_mi_stat_increase.exit.i

_mi_stat_increase.exit.i: ; preds = %if.end18.i.i.i, %mi_atomic_maxi64_relaxed.exit.i.i.i
%used.i = getelementptr inbounds nuw i8, ptr %13, i64 208
%26 = load i64, ptr %used.i, align 16
%27 = load i64, ptr %abandoned.i, align 64
%cmp.i = icmp eq i64 %26, %27
%used.i = getelementptr inbounds nuw i8, ptr %12, i64 208
%25 = load i64, ptr %used.i, align 16
%26 = load i64, ptr %abandoned.i, align 64
%cmp.i = icmp eq i64 %25, %26
br i1 %cmp.i, label %if.then.i6, label %_mi_segment_page_abandon.exit

if.then.i6: ; preds = %_mi_stat_increase.exit.i
tail call fastcc void @mi_segment_abandon(ptr noundef nonnull %13, ptr noundef nonnull %segments)
tail call fastcc void @mi_segment_abandon(ptr noundef nonnull %12, ptr noundef nonnull %segments)
br label %_mi_segment_page_abandon.exit

_mi_segment_page_abandon.exit: ; preds = %_mi_stat_increase.exit.i, %if.then.i6
Expand Down
66 changes: 32 additions & 34 deletions bench/crow/optimized/example.cpp.ll
Original file line number Diff line number Diff line change
Expand Up @@ -69977,61 +69977,59 @@ define linkonce_odr dso_local void @_ZN4asio2ip6detail8endpointC2ERKNS0_7address
catch ptr null
call void @_ZNSt8bad_castD2Ev(ptr noundef nonnull align 8 dereferenceable(8) %5) #36, !noalias !1268
call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %5) #36, !noalias !1268
br label %41
br label %40

18: ; preds = %10
%19 = getelementptr inbounds nuw i8, ptr %1, i64 4
%20 = load i32, ptr %19, align 4, !tbaa !97, !noalias !1268
br label %37
br label %36

21: ; preds = %3
store i16 10, ptr %0, align 4, !tbaa !14
store i16 %8, ptr %9, align 2, !tbaa !14
%22 = getelementptr inbounds nuw i8, ptr %0, i64 4
store i32 0, ptr %22, align 4, !tbaa !14
%23 = load i32, ptr %1, align 8, !tbaa !1253, !noalias !1271
%24 = icmp eq i32 %23, 1
br i1 %24, label %30, label %25
%22 = load i32, ptr %1, align 8, !tbaa !1253, !noalias !1271
%23 = icmp eq i32 %22, 1
br i1 %23, label %29, label %24

25: ; preds = %21
24: ; preds = %21
call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %4) #36, !noalias !1271
store ptr getelementptr inbounds nuw (i8, ptr @_ZTVN4asio2ip16bad_address_castE, i64 16), ptr %4, align 8, !tbaa !102, !noalias !1271
%26 = tail call ptr @__cxa_allocate_exception(i64 8) #36, !noalias !1271
store ptr getelementptr inbounds nuw (i8, ptr @_ZTVN4asio2ip16bad_address_castE, i64 16), ptr %26, align 8, !tbaa !102, !noalias !1271
invoke void @__cxa_throw(ptr nonnull %26, ptr nonnull @_ZTIN4asio2ip16bad_address_castE, ptr nonnull @_ZNSt8bad_castD2Ev) #40
to label %27 unwind label %28, !noalias !1271
%25 = tail call ptr @__cxa_allocate_exception(i64 8) #36, !noalias !1271
store ptr getelementptr inbounds nuw (i8, ptr @_ZTVN4asio2ip16bad_address_castE, i64 16), ptr %25, align 8, !tbaa !102, !noalias !1271
invoke void @__cxa_throw(ptr nonnull %25, ptr nonnull @_ZTIN4asio2ip16bad_address_castE, ptr nonnull @_ZNSt8bad_castD2Ev) #40
to label %26 unwind label %27, !noalias !1271

27: ; preds = %25
26: ; preds = %24
unreachable

28: ; preds = %25
%29 = landingpad { ptr, i32 }
27: ; preds = %24
%28 = landingpad { ptr, i32 }
catch ptr null
call void @_ZNSt8bad_castD2Ev(ptr noundef nonnull align 8 dereferenceable(8) %4) #36, !noalias !1271
call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %4) #36, !noalias !1271
br label %41
br label %40

30: ; preds = %21
%31 = getelementptr inbounds nuw i8, ptr %1, i64 8
%32 = getelementptr inbounds nuw i8, ptr %1, i64 24
%33 = load i64, ptr %32, align 8, !tbaa !1261, !noalias !1271
%34 = getelementptr inbounds nuw i8, ptr %0, i64 8
%35 = load <2 x i64>, ptr %31, align 8
store <2 x i64> %35, ptr %34, align 4
%36 = trunc i64 %33 to i32
br label %37
29: ; preds = %21
%30 = getelementptr inbounds nuw i8, ptr %1, i64 8
%31 = getelementptr inbounds nuw i8, ptr %1, i64 24
%32 = load i64, ptr %31, align 8, !tbaa !1261, !noalias !1271
%33 = getelementptr inbounds nuw i8, ptr %0, i64 8
%34 = load <2 x i64>, ptr %30, align 8
store <2 x i64> %34, ptr %33, align 4
%35 = trunc i64 %32 to i32
br label %36

37: ; preds = %30, %18
%38 = phi i64 [ 24, %30 ], [ 4, %18 ]
%39 = phi i32 [ %36, %30 ], [ %20, %18 ]
%40 = getelementptr inbounds nuw i8, ptr %0, i64 %38
store i32 %39, ptr %40, align 4, !tbaa !14
36: ; preds = %29, %18
%37 = phi i64 [ 24, %29 ], [ 4, %18 ]
%38 = phi i32 [ %35, %29 ], [ %20, %18 ]
%39 = getelementptr inbounds nuw i8, ptr %0, i64 %37
store i32 %38, ptr %39, align 4, !tbaa !14
ret void

41: ; preds = %28, %16
%42 = phi { ptr, i32 } [ %17, %16 ], [ %29, %28 ]
%43 = extractvalue { ptr, i32 } %42, 0
call void @__clang_call_terminate(ptr %43) #38
40: ; preds = %27, %16
%41 = phi { ptr, i32 } [ %17, %16 ], [ %28, %27 ]
%42 = extractvalue { ptr, i32 } %41, 0
call void @__clang_call_terminate(ptr %42) #38
unreachable
}

Expand Down
8 changes: 4 additions & 4 deletions bench/folly/optimized/HugePages.cpp.ll
Original file line number Diff line number Diff line change
Expand Up @@ -47278,11 +47278,11 @@ lor.lhs.false19: ; preds = %lor.lhs.false
%14 = load ptr, ptr %next_count, align 8, !tbaa !885
%state_id.i132 = getelementptr inbounds nuw i8, ptr %14, i64 16
%15 = load i32, ptr %state_id.i132, align 8, !tbaa !888
%cmp22.not = icmp eq i32 %15, %12
%cmp22.not = icmp eq i32 %15, %13
br i1 %cmp22.not, label %if.end26, label %if.then23

if.then23: ; preds = %lor.lhs.false19, %lor.lhs.false, %if.end.if.then23_crit_edge
%16 = phi i32 [ %.pre, %if.end.if.then23_crit_edge ], [ %12, %lor.lhs.false19 ], [ %13, %lor.lhs.false ]
%16 = phi i32 [ %.pre, %if.end.if.then23_crit_edge ], [ %13, %lor.lhs.false19 ], [ %13, %lor.lhs.false ]
%next_count25 = getelementptr inbounds nuw i8, ptr %this, i64 128
tail call void @_ZN5boost13re_detail_50012perl_matcherIN9__gnu_cxx17__normal_iteratorIPKcNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEEESaINS_9sub_matchISC_EEENS_12regex_traitsIcNS_16cpp_regex_traitsIcEEEEE19push_repeater_countEiPPNS0_14repeater_countISC_EE(ptr noundef nonnull align 8 dereferenceable(236) %this, i32 noundef %16, ptr noundef nonnull %next_count25)
%.pre174 = load ptr, ptr %next_count25, align 8, !tbaa !885
Expand Down Expand Up @@ -63274,11 +63274,11 @@ lor.lhs.false17: ; preds = %lor.lhs.false
%14 = load ptr, ptr %next_count, align 8, !tbaa !1138
%state_id.i130 = getelementptr inbounds nuw i8, ptr %14, i64 16
%15 = load i32, ptr %state_id.i130, align 8, !tbaa !1141
%cmp20.not = icmp eq i32 %15, %12
%cmp20.not = icmp eq i32 %15, %13
br i1 %cmp20.not, label %if.end24, label %if.then21

if.then21: ; preds = %lor.lhs.false17, %lor.lhs.false, %if.end.if.then21_crit_edge
%16 = phi i32 [ %.pre, %if.end.if.then21_crit_edge ], [ %12, %lor.lhs.false17 ], [ %13, %lor.lhs.false ]
%16 = phi i32 [ %.pre, %if.end.if.then21_crit_edge ], [ %13, %lor.lhs.false17 ], [ %13, %lor.lhs.false ]
%next_count23 = getelementptr inbounds nuw i8, ptr %this, i64 128
tail call void @_ZN5boost13re_detail_50012perl_matcherIPKcSaINS_9sub_matchIS3_EEENS_12regex_traitsIcNS_16cpp_regex_traitsIcEEEEE19push_repeater_countEiPPNS0_14repeater_countIS3_EE(ptr noundef nonnull align 8 dereferenceable(236) %this, i32 noundef %16, ptr noundef nonnull %next_count23)
%.pre169 = load ptr, ptr %next_count23, align 8, !tbaa !1138
Expand Down
4 changes: 2 additions & 2 deletions bench/folly/optimized/JSONSchema.cpp.ll
Original file line number Diff line number Diff line change
Expand Up @@ -72092,11 +72092,11 @@ lor.lhs.false19: ; preds = %lor.lhs.false
%14 = load ptr, ptr %next_count, align 8, !tbaa !2233
%state_id.i132 = getelementptr inbounds nuw i8, ptr %14, i64 16
%15 = load i32, ptr %state_id.i132, align 8, !tbaa !2236
%cmp22.not = icmp eq i32 %15, %12
%cmp22.not = icmp eq i32 %15, %13
br i1 %cmp22.not, label %if.end26, label %if.then23

if.then23: ; preds = %lor.lhs.false19, %lor.lhs.false, %if.end.if.then23_crit_edge
%16 = phi i32 [ %.pre, %if.end.if.then23_crit_edge ], [ %12, %lor.lhs.false19 ], [ %13, %lor.lhs.false ]
%16 = phi i32 [ %.pre, %if.end.if.then23_crit_edge ], [ %13, %lor.lhs.false19 ], [ %13, %lor.lhs.false ]
%next_count25 = getelementptr inbounds nuw i8, ptr %this, i64 128
tail call void @_ZN5boost13re_detail_50012perl_matcherIN9__gnu_cxx17__normal_iteratorIPKcNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEEESaINS_9sub_matchISC_EEENS_12regex_traitsIcNS_16cpp_regex_traitsIcEEEEE19push_repeater_countEiPPNS0_14repeater_countISC_EE(ptr noundef nonnull align 8 dereferenceable(236) %this, i32 noundef %16, ptr noundef nonnull %next_count25)
%.pre174 = load ptr, ptr %next_count25, align 8, !tbaa !2233
Expand Down
1 change: 0 additions & 1 deletion bench/icu/optimized/number_patternstring.ll
Original file line number Diff line number Diff line change
Expand Up @@ -4132,7 +4132,6 @@ if.then.i: ; preds = %invoke.cont
br label %invoke.cont3

if.else.i: ; preds = %invoke.cont
store i8 1, ptr %fBogus.i, align 2
%1 = load ptr, ptr %currencyPluralInfo.i, align 8
invoke void @_ZN6icu_756number4impl31CurrencyPluralInfoAffixProvider5setToERKNS_18CurrencyPluralInfoERKNS1_23DecimalFormatPropertiesER10UErrorCode(ptr noundef nonnull align 8 dereferenceable(2185) %currencyPluralInfoAPP, ptr noundef nonnull align 8 dereferenceable(36) %1, ptr noundef nonnull align 8 dereferenceable(757) %properties, ptr noundef nonnull align 4 dereferenceable(4) %status)
to label %invoke.cont3 unwind label %lpad2
Expand Down
2 changes: 1 addition & 1 deletion bench/linux/optimized/dvo_ivch.ll
Original file line number Diff line number Diff line change
Expand Up @@ -128,7 +128,7 @@ define internal noundef zeroext i1 @ivch_init(ptr nocapture noundef %0, ptr noun
store i16 0, ptr %10, align 2, !annotation !5
call void @llvm.lifetime.start.p0(i64 48, ptr nonnull %11) #8
call void @llvm.memset.p0.i64(ptr noundef nonnull align 16 dereferenceable(48) %11, i8 0, i64 48, i1 false), !annotation !5
%51 = zext nneg i8 %43 to i16
%51 = trunc i32 %45 to i16
store i16 %51, ptr %11, align 16
%52 = getelementptr inbounds nuw i8, ptr %11, i64 2
store i16 1, ptr %52, align 2
Expand Down
Loading