Skip to content
This repository was archived by the owner on Mar 17, 2026. It is now read-only.
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
3 changes: 1 addition & 2 deletions bench/abc/optimized/abcDfs.ll
Original file line number Diff line number Diff line change
Expand Up @@ -12073,8 +12073,7 @@ Abc_NtkIncrementTravId.exit: ; preds = %Vec_IntGrow.exit.i.
%26 = load i32, ptr %25, align 8, !tbaa !14
%27 = add nsw i32 %26, 1
store i32 %27, ptr %25, align 8, !tbaa !14
%.not.i20 = icmp ne ptr %.pr43, null
tail call void @llvm.assume(i1 %.not.i20)
call void @llvm.assume(i1 true) [ "nonnull"(ptr %.pr43) ]
br label %Abc_NtkIncrementTravId.exit27

Abc_NtkIncrementTravId.exit.thread40: ; preds = %Vec_IntGrow.exit.i.i
Expand Down
1 change: 1 addition & 0 deletions bench/abseil-cpp/optimized/cordz_info_test.ll
Original file line number Diff line number Diff line change
Expand Up @@ -16852,6 +16852,7 @@ define internal void @_ZN4absl13cord_internal12_GLOBAL__N_129CordzInfoTest_RefCo
br i1 %.not.i, label %34, label %31

31: ; preds = %.noexc
call void @llvm.assume(i1 true) [ "nonnull"(ptr %30) ]
%32 = getelementptr inbounds nuw i8, ptr %30, i64 8
%33 = atomicrmw add ptr %32, i32 2 monotonic, align 4
br label %34
Expand Down
19 changes: 9 additions & 10 deletions bench/actix-rs/optimized/48duj8tg7v09rmpe.ll
Original file line number Diff line number Diff line change
Expand Up @@ -736,19 +736,18 @@ define hidden void @_ZN9rand_core11SeedableRng8from_rng17hf872c3ee3795dc0dE(ptr
%10 = getelementptr inbounds nuw i8, ptr %0, i64 16
call void @llvm.memcpy.p0.p0.i64(ptr noundef nonnull align 16 dereferenceable(48) %10, ptr noundef nonnull align 16 dereferenceable(48) %.sroa.0, i64 48, i1 false)
call void @llvm.lifetime.end.p0(ptr nonnull %.sroa.0)
br label %16
br label %15

11: ; preds = %2
%12 = extractvalue { ptr, ptr } %5, 1
%13 = icmp ne ptr %12, null
call void @llvm.assume(i1 %13)
%14 = getelementptr inbounds nuw i8, ptr %0, i64 8
store ptr %6, ptr %14, align 8
%15 = getelementptr inbounds nuw i8, ptr %0, i64 16
store ptr %12, ptr %15, align 16
br label %16

16: ; preds = %11, %8
call void @llvm.assume(i1 true) [ "nonnull"(ptr %12) ]
%13 = getelementptr inbounds nuw i8, ptr %0, i64 8
store ptr %6, ptr %13, align 8
%14 = getelementptr inbounds nuw i8, ptr %0, i64 16
store ptr %12, ptr %14, align 16
br label %15

15: ; preds = %11, %8
%.sink = phi i64 [ 0, %8 ], [ 1, %11 ]
call void @llvm.lifetime.end.p0(ptr nonnull %4)
store i64 %.sink, ptr %0, align 16
Expand Down
22 changes: 19 additions & 3 deletions bench/actix-rs/optimized/4pry3bojy1efv3uz.ll
Original file line number Diff line number Diff line change
Expand Up @@ -209,6 +209,7 @@ define hidden noundef ptr @"_ZN91_$LT$hashbrown..raw..RawIter$LT$T$GT$$u20$as$u2
%.val911.i = phi ptr [ %.promoted.i, %.lr.ph.i ], [ %13, %9 ]
%11 = load <16 x i8>, ptr %10, align 16, !noalias !31
%12 = icmp sgt <16 x i8> %11, splat (i8 -1)
call void @llvm.assume(i1 true) [ "nonnull"(ptr %.val911.i) ]
%13 = getelementptr inbounds i8, ptr %.val911.i, i64 -384
%14 = getelementptr inbounds nuw i8, ptr %10, i64 16
%.cast.i = bitcast <16 x i1> %12 to i16
Expand All @@ -223,6 +224,7 @@ define hidden noundef ptr @"_ZN91_$LT$hashbrown..raw..RawIter$LT$T$GT$$u20$as$u2
%17 = add i16 %.lcssa.i, -1
%18 = and i16 %17, %.lcssa.i
store i16 %18, ptr %6, align 8, !alias.scope !28
call void @llvm.assume(i1 true) [ "nonnull"(ptr %.val3.i) ]
%19 = sub nsw i64 0, %16
%20 = getelementptr inbounds { { { { { ptr, i64 } }, {}, {} } }, i32, [1 x i32] }, ptr %.val3.i, i64 %19
%21 = add i64 %3, -1
Expand Down Expand Up @@ -264,6 +266,7 @@ define hidden noundef ptr @"_ZN91_$LT$hashbrown..raw..RawIter$LT$T$GT$$u20$as$u2
%.val911.i = phi ptr [ %.promoted.i, %.lr.ph.i ], [ %13, %9 ]
%11 = load <16 x i8>, ptr %10, align 16, !noalias !40
%12 = icmp sgt <16 x i8> %11, splat (i8 -1)
call void @llvm.assume(i1 true) [ "nonnull"(ptr %.val911.i) ]
%13 = getelementptr inbounds i8, ptr %.val911.i, i64 -384
%14 = getelementptr inbounds nuw i8, ptr %10, i64 16
%.cast.i = bitcast <16 x i1> %12 to i16
Expand All @@ -278,6 +281,7 @@ define hidden noundef ptr @"_ZN91_$LT$hashbrown..raw..RawIter$LT$T$GT$$u20$as$u2
%17 = add i16 %.lcssa.i, -1
%18 = and i16 %17, %.lcssa.i
store i16 %18, ptr %6, align 8, !alias.scope !37
call void @llvm.assume(i1 true) [ "nonnull"(ptr %.val3.i) ]
%19 = sub nsw i64 0, %16
%20 = getelementptr inbounds { { { { ptr, i64 } }, {}, {} }, i32, [1 x i32] }, ptr %.val3.i, i64 %19
%21 = add i64 %3, -1
Expand Down Expand Up @@ -410,6 +414,7 @@ define hidden void @_ZN9hashbrown3raw13RawTableInner13drop_elements17h9fe04f5422
%.val911.i.i = phi ptr [ %15, %.lr.ph.i.i ], [ %.sroa.03.018, %11 ]
%13 = load <16 x i8>, ptr %12, align 16, !noalias !48
%14 = icmp sgt <16 x i8> %13, splat (i8 -1)
call void @llvm.assume(i1 true) [ "nonnull"(ptr %.val911.i.i) ]
%15 = getelementptr inbounds i8, ptr %.val911.i.i, i64 -384
%16 = getelementptr inbounds nuw i8, ptr %12, i64 16
%.cast.i.i = bitcast <16 x i1> %14 to i16
Expand All @@ -422,6 +427,7 @@ define hidden void @_ZN9hashbrown3raw13RawTableInner13drop_elements17h9fe04f5422
%.lcssa.i.i = phi i16 [ %.sroa.84.015, %11 ], [ %.cast.i.i, %.lr.ph.i.i ]
%17 = add i16 %.lcssa.i.i, -1
%18 = and i16 %17, %.lcssa.i.i
call void @llvm.assume(i1 true) [ "nonnull"(ptr %.sroa.03.1) ]
%19 = add i64 %.sroa.105.016, -1
%20 = tail call range(i16 0, 17) i16 @llvm.cttz.i16(i16 %.lcssa.i.i, i1 true)
%21 = zext nneg i16 %20 to i64
Expand Down Expand Up @@ -478,6 +484,7 @@ define hidden void @_ZN9hashbrown3raw13RawTableInner13drop_elements17hd32faf45f1
%.val911.i.i = phi ptr [ %15, %.lr.ph.i.i ], [ %.sroa.03.018, %11 ]
%13 = load <16 x i8>, ptr %12, align 16, !noalias !77
%14 = icmp sgt <16 x i8> %13, splat (i8 -1)
call void @llvm.assume(i1 true) [ "nonnull"(ptr %.val911.i.i) ]
%15 = getelementptr inbounds i8, ptr %.val911.i.i, i64 -384
%16 = getelementptr inbounds nuw i8, ptr %12, i64 16
%.cast.i.i = bitcast <16 x i1> %14 to i16
Expand All @@ -490,6 +497,7 @@ define hidden void @_ZN9hashbrown3raw13RawTableInner13drop_elements17hd32faf45f1
%.lcssa.i.i = phi i16 [ %.sroa.84.015, %11 ], [ %.cast.i.i, %.lr.ph.i.i ]
%17 = add i16 %.lcssa.i.i, -1
%18 = and i16 %17, %.lcssa.i.i
call void @llvm.assume(i1 true) [ "nonnull"(ptr %.sroa.03.1) ]
%19 = add i64 %.sroa.105.016, -1
%20 = tail call range(i16 0, 17) i16 @llvm.cttz.i16(i16 %.lcssa.i.i, i1 true)
%21 = zext nneg i16 %20 to i64
Expand Down Expand Up @@ -549,6 +557,7 @@ define hidden void @_ZN9hashbrown3raw13RawTableInner16drop_inner_table17h783e215
%.val911.i.i.i = phi ptr [ %22, %.lr.ph.i.i.i ], [ %.sroa.03.018.i, %18 ]
%20 = load <16 x i8>, ptr %19, align 16, !noalias !106
%21 = icmp sgt <16 x i8> %20, splat (i8 -1)
call void @llvm.assume(i1 true) [ "nonnull"(ptr %.val911.i.i.i) ]
%22 = getelementptr inbounds i8, ptr %.val911.i.i.i, i64 -384
%23 = getelementptr inbounds nuw i8, ptr %19, i64 16
%.cast.i.i.i = bitcast <16 x i1> %21 to i16
Expand All @@ -561,6 +570,7 @@ define hidden void @_ZN9hashbrown3raw13RawTableInner16drop_inner_table17h783e215
%.lcssa.i.i.i = phi i16 [ %.sroa.84.015.i, %18 ], [ %.cast.i.i.i, %.lr.ph.i.i.i ]
%24 = add i16 %.lcssa.i.i.i, -1
%25 = and i16 %24, %.lcssa.i.i.i
call void @llvm.assume(i1 true) [ "nonnull"(ptr %.sroa.03.1.i) ]
%26 = add i64 %.sroa.105.016.i, -1
%27 = tail call range(i16 0, 17) i16 @llvm.cttz.i16(i16 %.lcssa.i.i.i, i1 true)
%28 = zext nneg i16 %27 to i64
Expand Down Expand Up @@ -650,6 +660,7 @@ define hidden void @_ZN9hashbrown3raw13RawTableInner16drop_inner_table17ha9ab62d
%.val911.i.i.i = phi ptr [ %22, %.lr.ph.i.i.i ], [ %.sroa.03.018.i, %18 ]
%20 = load <16 x i8>, ptr %19, align 16, !noalias !138
%21 = icmp sgt <16 x i8> %20, splat (i8 -1)
call void @llvm.assume(i1 true) [ "nonnull"(ptr %.val911.i.i.i) ]
%22 = getelementptr inbounds i8, ptr %.val911.i.i.i, i64 -384
%23 = getelementptr inbounds nuw i8, ptr %19, i64 16
%.cast.i.i.i = bitcast <16 x i1> %21 to i16
Expand All @@ -662,6 +673,7 @@ define hidden void @_ZN9hashbrown3raw13RawTableInner16drop_inner_table17ha9ab62d
%.lcssa.i.i.i = phi i16 [ %.sroa.84.015.i, %18 ], [ %.cast.i.i.i, %.lr.ph.i.i.i ]
%24 = add i16 %.lcssa.i.i.i, -1
%25 = and i16 %24, %.lcssa.i.i.i
call void @llvm.assume(i1 true) [ "nonnull"(ptr %.sroa.03.1.i) ]
%26 = add i64 %.sroa.105.016.i, -1
%27 = tail call range(i16 0, 17) i16 @llvm.cttz.i16(i16 %.lcssa.i.i.i, i1 true)
%28 = zext nneg i16 %27 to i64
Expand Down Expand Up @@ -806,7 +818,7 @@ define hidden void @"_ZN9hashbrown3raw21RawIterRange$LT$T$GT$3new17ha6e269db982b
ret void
}

; Function Attrs: nofree norecurse nosync nounwind nonlazybind memory(read, argmem: readwrite, inaccessiblemem: none, target_mem0: none, target_mem1: none) uwtable
; Function Attrs: nofree norecurse nosync nounwind nonlazybind memory(read, argmem: readwrite, inaccessiblemem: write, target_mem0: none, target_mem1: none) uwtable
define hidden noundef nonnull ptr @"_ZN9hashbrown3raw21RawIterRange$LT$T$GT$9next_impl17h36e548844c8f16f9E.llvm.8051598444039092977"(ptr noalias noundef align 8 captures(none) dereferenceable(32) %0) unnamed_addr #11 {
%2 = getelementptr inbounds nuw i8, ptr %0, i64 24
%3 = load i16, ptr %2, align 8, !alias.scope !194, !noundef !11
Expand All @@ -832,6 +844,7 @@ define hidden noundef nonnull ptr @"_ZN9hashbrown3raw21RawIterRange$LT$T$GT$9nex
%7 = add i16 %.lcssa, -1
%8 = and i16 %7, %.lcssa
store i16 %8, ptr %2, align 8, !alias.scope !194
call void @llvm.assume(i1 true) [ "nonnull"(ptr %.val3) ]
%9 = sub nsw i64 0, %6
%10 = getelementptr inbounds { { { { { ptr, i64 } }, {}, {} } }, i32, [1 x i32] }, ptr %.val3, i64 %9
ret ptr %10
Expand All @@ -841,14 +854,15 @@ define hidden noundef nonnull ptr @"_ZN9hashbrown3raw21RawIterRange$LT$T$GT$9nex
%.val911 = phi ptr [ %.promoted, %.lr.ph ], [ %15, %11 ]
%13 = load <16 x i8>, ptr %12, align 16, !noalias !197
%14 = icmp sgt <16 x i8> %13, splat (i8 -1)
call void @llvm.assume(i1 true) [ "nonnull"(ptr %.val911) ]
%15 = getelementptr inbounds i8, ptr %.val911, i64 -384
%16 = getelementptr inbounds nuw i8, ptr %12, i64 16
%.cast = bitcast <16 x i1> %14 to i16
%.not.i = icmp eq i16 %.cast, 0
br i1 %.not.i, label %11, label %._crit_edge
}

; Function Attrs: nofree norecurse nosync nounwind nonlazybind memory(read, argmem: readwrite, inaccessiblemem: none, target_mem0: none, target_mem1: none) uwtable
; Function Attrs: nofree norecurse nosync nounwind nonlazybind memory(read, argmem: readwrite, inaccessiblemem: write, target_mem0: none, target_mem1: none) uwtable
define hidden noundef nonnull ptr @"_ZN9hashbrown3raw21RawIterRange$LT$T$GT$9next_impl17hd4f32f52198b99c9E.llvm.8051598444039092977"(ptr noalias noundef align 8 captures(none) dereferenceable(32) %0) unnamed_addr #11 {
%2 = getelementptr inbounds nuw i8, ptr %0, i64 24
%3 = load i16, ptr %2, align 8, !alias.scope !200, !noundef !11
Expand All @@ -874,6 +888,7 @@ define hidden noundef nonnull ptr @"_ZN9hashbrown3raw21RawIterRange$LT$T$GT$9nex
%7 = add i16 %.lcssa, -1
%8 = and i16 %7, %.lcssa
store i16 %8, ptr %2, align 8, !alias.scope !200
call void @llvm.assume(i1 true) [ "nonnull"(ptr %.val3) ]
%9 = sub nsw i64 0, %6
%10 = getelementptr inbounds { { { { ptr, i64 } }, {}, {} }, i32, [1 x i32] }, ptr %.val3, i64 %9
ret ptr %10
Expand All @@ -883,6 +898,7 @@ define hidden noundef nonnull ptr @"_ZN9hashbrown3raw21RawIterRange$LT$T$GT$9nex
%.val911 = phi ptr [ %.promoted, %.lr.ph ], [ %15, %11 ]
%13 = load <16 x i8>, ptr %12, align 16, !noalias !203
%14 = icmp sgt <16 x i8> %13, splat (i8 -1)
call void @llvm.assume(i1 true) [ "nonnull"(ptr %.val911) ]
%15 = getelementptr inbounds i8, ptr %.val911, i64 -384
%16 = getelementptr inbounds nuw i8, ptr %12, i64 16
%.cast = bitcast <16 x i1> %14 to i16
Expand Down Expand Up @@ -937,7 +953,7 @@ attributes #7 = { nofree norecurse nosync nounwind nonlazybind memory(read, argm
attributes #8 = { inlinehint mustprogress nofree norecurse nosync nounwind nonlazybind willreturn memory(argmem: write, inaccessiblemem: write) uwtable "probe-stack"="inline-asm" "target-cpu"="x86-64" }
attributes #9 = { inlinehint mustprogress nofree norecurse nosync nounwind nonlazybind willreturn memory(none) uwtable "probe-stack"="inline-asm" "target-cpu"="x86-64" }
attributes #10 = { mustprogress nofree norecurse nosync nounwind nonlazybind willreturn memory(argmem: readwrite) uwtable "probe-stack"="inline-asm" "target-cpu"="x86-64" }
attributes #11 = { nofree norecurse nosync nounwind nonlazybind memory(read, argmem: readwrite, inaccessiblemem: none, target_mem0: none, target_mem1: none) uwtable "probe-stack"="inline-asm" "target-cpu"="x86-64" }
attributes #11 = { nofree norecurse nosync nounwind nonlazybind memory(read, argmem: readwrite, inaccessiblemem: write, target_mem0: none, target_mem1: none) uwtable "probe-stack"="inline-asm" "target-cpu"="x86-64" }
attributes #12 = { cold noreturn nonlazybind uwtable "probe-stack"="inline-asm" "target-cpu"="x86-64" }
attributes #13 = { mustprogress nocallback nofree nosync nounwind willreturn memory(inaccessiblemem: write) }
attributes #14 = { nounwind nonlazybind allockind("free") uwtable "alloc-family"="__rust_alloc" "probe-stack"="inline-asm" "target-cpu"="x86-64" }
Expand Down
5 changes: 5 additions & 0 deletions bench/actix-rs/optimized/5a33a9xfp20c1mrr.ll
Original file line number Diff line number Diff line change
Expand Up @@ -898,12 +898,14 @@ define hidden void @"_ZN4core3ptr87drop_in_place$LT$alloc..boxed..Box$LT$actix_h
br label %"_ZN4core3ptr62drop_in_place$LT$actix_http..responses..head..ResponseHead$GT$17hb692267e8bc8925aE.exit"

"_ZN4core3ptr62drop_in_place$LT$actix_http..responses..head..ResponseHead$GT$17hb692267e8bc8925aE.exit": ; preds = %17, %.noexc2, %1
call void @llvm.assume(i1 true) [ "nonnull"(ptr %3) ]
tail call void @__rust_dealloc(ptr noundef nonnull %3, i64 noundef 88, i64 noundef 8) #15
ret void

21: ; preds = %7, %.noexc
%22 = landingpad { ptr, i32 }
cleanup
call void @llvm.assume(i1 true) [ "nonnull"(ptr %3) ]
tail call void @__rust_dealloc(ptr noundef nonnull %3, i64 noundef 88, i64 noundef 8) #15
resume { ptr, i32 } %22
}
Expand Down Expand Up @@ -1119,6 +1121,7 @@ common.resume: ; preds = %"_ZN4core3ptr53drop
%36 = load ptr, ptr %35, align 8, !nonnull !12, !noundef !12
%37 = getelementptr inbounds nuw i8, ptr %0, i64 8
%38 = load i64, ptr %37, align 8, !noundef !12
call void @llvm.assume(i1 true) [ "nonnull"(ptr %36) ]
br label %"_ZN4core3ptr53drop_in_place$LT$http..header..value..HeaderValue$GT$17h4e02beeeadfaa177E.exit.i.i.i"

"_ZN4core3ptr53drop_in_place$LT$http..header..value..HeaderValue$GT$17h4e02beeeadfaa177E.exit.i.i.i": ; preds = %40, %34
Expand Down Expand Up @@ -1178,11 +1181,13 @@ common.resume: ; preds = %"_ZN4core3ptr53drop

"_ZN4core3ptr83drop_in_place$LT$alloc..raw_vec..RawVec$LT$http..header..value..HeaderValue$GT$$GT$17h8502e2220a3850a7E.exit.i": ; preds = %"_ZN4core3ptr53drop_in_place$LT$http..header..value..HeaderValue$GT$17h4e02beeeadfaa177E.exit7.i.i.i"
%67 = mul nuw i64 %3, 40
call void @llvm.assume(i1 true) [ "nonnull"(ptr %36) ]
tail call void @__rust_dealloc(ptr noundef nonnull %36, i64 noundef %67, i64 noundef 8) #15, !noalias !323
br label %common.resume

"_ZN4core3ptr76drop_in_place$LT$alloc..vec..Vec$LT$http..header..value..HeaderValue$GT$$GT$17hf2cc884ef86a95e8E.exit": ; preds = %"_ZN4core3ptr53drop_in_place$LT$http..header..value..HeaderValue$GT$17h4e02beeeadfaa177E.exit.i.i.i"
%68 = mul nuw i64 %3, 40
call void @llvm.assume(i1 true) [ "nonnull"(ptr %36) ]
tail call void @__rust_dealloc(ptr noundef nonnull %36, i64 noundef %68, i64 noundef 8) #15, !noalias !323
br label %"_ZN4core3ptr63drop_in_place$LT$$u5b$http..header..value..HeaderValue$u5d$$GT$17h3bb6985a81f3dda2E.exit"

Expand Down
6 changes: 2 additions & 4 deletions bench/actix-rs/optimized/83dw2wnqoscdmtc.ll
Original file line number Diff line number Diff line change
Expand Up @@ -161,8 +161,7 @@ define hidden void @"_ZN5alloc3str56_$LT$impl$u20$alloc..borrow..ToOwned$u20$for
%4 = tail call { i64, ptr } @"_ZN5alloc7raw_vec19RawVec$LT$T$C$A$GT$11allocate_in17h7aa9cb48765920a8E"(i64 noundef %2, i1 noundef zeroext false)
%5 = extractvalue { i64, ptr } %4, 0
%6 = extractvalue { i64, ptr } %4, 1
%7 = icmp ne ptr %6, null
tail call void @llvm.assume(i1 %7)
call void @llvm.assume(i1 true) [ "nonnull"(ptr %6) ]
tail call void @llvm.memcpy.p0.p0.i64(ptr nonnull align 1 %6, ptr nonnull align 1 %1, i64 %2, i1 false)
store i64 %5, ptr %0, align 8
%.sroa.42.0..sroa_idx = getelementptr inbounds nuw i8, ptr %0, i64 8
Expand All @@ -187,8 +186,7 @@ define hidden void @"_ZN5alloc6borrow12Cow$LT$B$GT$10into_owned17h84efa79208c010
%10 = tail call { i64, ptr } @"_ZN5alloc7raw_vec19RawVec$LT$T$C$A$GT$11allocate_in17h7aa9cb48765920a8E"(i64 noundef %9, i1 noundef zeroext false), !noalias !29
%11 = extractvalue { i64, ptr } %10, 0
%12 = extractvalue { i64, ptr } %10, 1
%13 = icmp ne ptr %12, null
tail call void @llvm.assume(i1 %13)
call void @llvm.assume(i1 true) [ "nonnull"(ptr %12) ]
tail call void @llvm.memcpy.p0.p0.i64(ptr nonnull align 1 %12, ptr nonnull readonly align 1 %7, i64 %9, i1 false), !noalias !26
store i64 %11, ptr %0, align 8, !alias.scope !26, !noalias !31
%.sroa.42.0..sroa_idx.i = getelementptr inbounds nuw i8, ptr %0, i64 8
Expand Down
Loading