Skip to content
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
68 changes: 36 additions & 32 deletions bench/pola-rs/optimized/91ojamjedp83lpe0pc0cw0okj.ll
Original file line number Diff line number Diff line change
Expand Up @@ -224127,8 +224127,8 @@ define hidden void @"_ZN77_$LT$pyo3..marker..Python$u20$as$u20$polars_python..ut
call void @_ZN4core9panicking16panic_in_cleanup17h6c71d900efd8fbf6E() #36, !noalias !43175
unreachable

common.resume: ; preds = %39, %19, %13
%common.resume.op = phi { ptr, i32 } [ %14, %13 ], [ %lpad.thr_comm.split-lp, %19 ], [ %lpad.thr_comm.split-lp, %39 ]
common.resume: ; preds = %39, %19, %19, %13
%common.resume.op = phi { ptr, i32 } [ %14, %13 ], [ %lpad.thr_comm.split-lp, %switch.early.test ], [ %lpad.thr_comm, %switch.early.test ], [ %lpad.thr_comm.split-lp, %37 ]
resume { ptr, i32 } %common.resume.op

_ZN4pyo36marker6Python13allow_threads17ha4eadf5e18767995E.exit: ; preds = %3
Expand All @@ -224137,15 +224137,16 @@ _ZN4pyo36marker6Python13allow_threads17ha4eadf5e18767995E.exit: ; preds = %3
%17 = extractvalue { i64, i64 } %8, 1
%18 = extractvalue { i64, i64 } %8, 0
invoke void @_ZN13polars_python7timeout21cancel_polars_timeout17hcaff76b77bc1047bE(i64 noundef %18, i64 %17)
to label %22 unwind label %19
to label %20 unwind label %19

19: ; preds = %28, %_ZN4pyo36marker6Python13allow_threads17ha4eadf5e18767995E.exit
19: ; preds = %_ZN4pyo36marker6Python13allow_threads17ha4eadf5e18767995E.exit, %26
%lpad.thr_comm.split-lp = landingpad { ptr, i32 }
cleanup
%20 = load i8, ptr %7, align 8, !range !114, !noundef !4
%21 = and i8 %20, 1
%or.cond30.not = icmp eq i8 %21, 0
br i1 %or.cond30.not, label %common.resume, label %39
switch i8 %20, label %37 [
i8 2, label %common.resume
i8 0, label %common.resume
]

22: ; preds = %_ZN4pyo36marker6Python13allow_threads17ha4eadf5e18767995E.exit
%23 = load i8, ptr %7, align 8, !range !114, !noundef !4
Expand Down Expand Up @@ -224201,7 +224202,7 @@ _ZN4pyo36marker6Python13allow_threads17ha4eadf5e18767995E.exit: ; preds = %3
br label %38

38: ; preds = %31, %"_ZN50_$LT$T$u20$as$u20$core..convert..Into$LT$U$GT$$GT$4into17h08956d6c372522cfE.exit", %35
%.sink = phi i8 [ 0, %31 ], [ 1, %"_ZN50_$LT$T$u20$as$u20$core..convert..Into$LT$U$GT$$GT$4into17h08956d6c372522cfE.exit" ], [ 1, %35 ]
%.sink = phi i8 [ 0, %29 ], [ 1, %"_ZN50_$LT$T$u20$as$u20$core..convert..Into$LT$U$GT$$GT$4into17h08956d6c372522cfE.exit" ], [ 1, %33 ]
store i8 %.sink, ptr %0, align 8
call void @llvm.lifetime.end.p0(ptr nonnull %7)
ret void
Expand Down Expand Up @@ -230038,8 +230039,8 @@ define hidden void @"_ZN77_$LT$pyo3..marker..Python$u20$as$u20$polars_python..ut
call void @_ZN4core9panicking16panic_in_cleanup17h6c71d900efd8fbf6E() #36, !noalias !43448
unreachable

common.resume: ; preds = %39, %19, %13
%common.resume.op = phi { ptr, i32 } [ %14, %13 ], [ %lpad.thr_comm.split-lp, %19 ], [ %lpad.thr_comm.split-lp, %39 ]
common.resume: ; preds = %39, %19, %19, %13
%common.resume.op = phi { ptr, i32 } [ %14, %13 ], [ %lpad.thr_comm.split-lp, %switch.early.test ], [ %lpad.thr_comm, %switch.early.test ], [ %lpad.thr_comm.split-lp, %37 ]
resume { ptr, i32 } %common.resume.op

_ZN4pyo36marker6Python13allow_threads17h75729dd57d958d30E.exit: ; preds = %3
Expand All @@ -230048,15 +230049,16 @@ _ZN4pyo36marker6Python13allow_threads17h75729dd57d958d30E.exit: ; preds = %3
%17 = extractvalue { i64, i64 } %8, 1
%18 = extractvalue { i64, i64 } %8, 0
invoke void @_ZN13polars_python7timeout21cancel_polars_timeout17hcaff76b77bc1047bE(i64 noundef %18, i64 %17)
to label %22 unwind label %19
to label %20 unwind label %19

19: ; preds = %28, %_ZN4pyo36marker6Python13allow_threads17h75729dd57d958d30E.exit
19: ; preds = %_ZN4pyo36marker6Python13allow_threads17h75729dd57d958d30E.exit, %26
%lpad.thr_comm.split-lp = landingpad { ptr, i32 }
cleanup
%20 = load i8, ptr %7, align 8, !range !114, !noundef !4
%21 = and i8 %20, 1
%or.cond30.not = icmp eq i8 %21, 0
br i1 %or.cond30.not, label %common.resume, label %39
switch i8 %20, label %37 [
i8 2, label %common.resume
i8 0, label %common.resume
]

22: ; preds = %_ZN4pyo36marker6Python13allow_threads17h75729dd57d958d30E.exit
%23 = load i8, ptr %7, align 8, !range !114, !noundef !4
Expand Down Expand Up @@ -230112,7 +230114,7 @@ _ZN4pyo36marker6Python13allow_threads17h75729dd57d958d30E.exit: ; preds = %3
br label %38

38: ; preds = %31, %"_ZN50_$LT$T$u20$as$u20$core..convert..Into$LT$U$GT$$GT$4into17h08956d6c372522cfE.exit", %35
%.sink = phi i8 [ 0, %31 ], [ 1, %"_ZN50_$LT$T$u20$as$u20$core..convert..Into$LT$U$GT$$GT$4into17h08956d6c372522cfE.exit" ], [ 1, %35 ]
%.sink = phi i8 [ 0, %29 ], [ 1, %"_ZN50_$LT$T$u20$as$u20$core..convert..Into$LT$U$GT$$GT$4into17h08956d6c372522cfE.exit" ], [ 1, %33 ]
store i8 %.sink, ptr %0, align 8
call void @llvm.lifetime.end.p0(ptr nonnull %7)
ret void
Expand Down Expand Up @@ -254693,8 +254695,8 @@ define hidden void @"_ZN77_$LT$pyo3..marker..Python$u20$as$u20$polars_python..ut
call void @_ZN4core9panicking16panic_in_cleanup17h6c71d900efd8fbf6E() #36, !noalias !44563
unreachable

common.resume: ; preds = %39, %19, %13
%common.resume.op = phi { ptr, i32 } [ %14, %13 ], [ %lpad.thr_comm.split-lp, %19 ], [ %lpad.thr_comm.split-lp, %39 ]
common.resume: ; preds = %39, %19, %19, %13
%common.resume.op = phi { ptr, i32 } [ %14, %13 ], [ %lpad.thr_comm.split-lp, %switch.early.test ], [ %lpad.thr_comm, %switch.early.test ], [ %lpad.thr_comm.split-lp, %37 ]
resume { ptr, i32 } %common.resume.op

_ZN4pyo36marker6Python13allow_threads17h7394c46fa6918883E.exit: ; preds = %3
Expand All @@ -254703,15 +254705,16 @@ _ZN4pyo36marker6Python13allow_threads17h7394c46fa6918883E.exit: ; preds = %3
%17 = extractvalue { i64, i64 } %8, 1
%18 = extractvalue { i64, i64 } %8, 0
invoke void @_ZN13polars_python7timeout21cancel_polars_timeout17hcaff76b77bc1047bE(i64 noundef %18, i64 %17)
to label %22 unwind label %19
to label %20 unwind label %19

19: ; preds = %28, %_ZN4pyo36marker6Python13allow_threads17h7394c46fa6918883E.exit
19: ; preds = %_ZN4pyo36marker6Python13allow_threads17h7394c46fa6918883E.exit, %26
%lpad.thr_comm.split-lp = landingpad { ptr, i32 }
cleanup
%20 = load i8, ptr %7, align 8, !range !114, !noundef !4
%21 = and i8 %20, 1
%or.cond30.not = icmp eq i8 %21, 0
br i1 %or.cond30.not, label %common.resume, label %39
switch i8 %20, label %37 [
i8 2, label %common.resume
i8 0, label %common.resume
]

22: ; preds = %_ZN4pyo36marker6Python13allow_threads17h7394c46fa6918883E.exit
%23 = load i8, ptr %7, align 8, !range !114, !noundef !4
Expand Down Expand Up @@ -254767,7 +254770,7 @@ _ZN4pyo36marker6Python13allow_threads17h7394c46fa6918883E.exit: ; preds = %3
br label %38

38: ; preds = %31, %"_ZN50_$LT$T$u20$as$u20$core..convert..Into$LT$U$GT$$GT$4into17h08956d6c372522cfE.exit", %35
%.sink = phi i8 [ 0, %31 ], [ 1, %"_ZN50_$LT$T$u20$as$u20$core..convert..Into$LT$U$GT$$GT$4into17h08956d6c372522cfE.exit" ], [ 1, %35 ]
%.sink = phi i8 [ 0, %29 ], [ 1, %"_ZN50_$LT$T$u20$as$u20$core..convert..Into$LT$U$GT$$GT$4into17h08956d6c372522cfE.exit" ], [ 1, %33 ]
store i8 %.sink, ptr %0, align 8
call void @llvm.lifetime.end.p0(ptr nonnull %7)
ret void
Expand Down Expand Up @@ -271092,8 +271095,8 @@ define hidden void @"_ZN77_$LT$pyo3..marker..Python$u20$as$u20$polars_python..ut
call void @_ZN4core9panicking16panic_in_cleanup17h6c71d900efd8fbf6E() #36, !noalias !45343
unreachable

common.resume: ; preds = %39, %19, %13
%common.resume.op = phi { ptr, i32 } [ %14, %13 ], [ %lpad.thr_comm.split-lp, %19 ], [ %lpad.thr_comm.split-lp, %39 ]
common.resume: ; preds = %39, %19, %19, %13
%common.resume.op = phi { ptr, i32 } [ %14, %13 ], [ %lpad.thr_comm.split-lp, %switch.early.test ], [ %lpad.thr_comm, %switch.early.test ], [ %lpad.thr_comm.split-lp, %37 ]
resume { ptr, i32 } %common.resume.op

_ZN4pyo36marker6Python13allow_threads17h88a1554b2211763dE.exit: ; preds = %3
Expand All @@ -271102,15 +271105,16 @@ _ZN4pyo36marker6Python13allow_threads17h88a1554b2211763dE.exit: ; preds = %3
%17 = extractvalue { i64, i64 } %8, 1
%18 = extractvalue { i64, i64 } %8, 0
invoke void @_ZN13polars_python7timeout21cancel_polars_timeout17hcaff76b77bc1047bE(i64 noundef %18, i64 %17)
to label %22 unwind label %19
to label %20 unwind label %19

19: ; preds = %28, %_ZN4pyo36marker6Python13allow_threads17h88a1554b2211763dE.exit
19: ; preds = %_ZN4pyo36marker6Python13allow_threads17h88a1554b2211763dE.exit, %26
%lpad.thr_comm.split-lp = landingpad { ptr, i32 }
cleanup
%20 = load i8, ptr %7, align 8, !range !114, !noundef !4
%21 = and i8 %20, 1
%or.cond30.not = icmp eq i8 %21, 0
br i1 %or.cond30.not, label %common.resume, label %39
switch i8 %20, label %37 [
i8 2, label %common.resume
i8 0, label %common.resume
]

22: ; preds = %_ZN4pyo36marker6Python13allow_threads17h88a1554b2211763dE.exit
%23 = load i8, ptr %7, align 8, !range !114, !noundef !4
Expand Down Expand Up @@ -271166,7 +271170,7 @@ _ZN4pyo36marker6Python13allow_threads17h88a1554b2211763dE.exit: ; preds = %3
br label %38

38: ; preds = %31, %"_ZN50_$LT$T$u20$as$u20$core..convert..Into$LT$U$GT$$GT$4into17h08956d6c372522cfE.exit", %35
%.sink = phi i8 [ 0, %31 ], [ 1, %"_ZN50_$LT$T$u20$as$u20$core..convert..Into$LT$U$GT$$GT$4into17h08956d6c372522cfE.exit" ], [ 1, %35 ]
%.sink = phi i8 [ 0, %29 ], [ 1, %"_ZN50_$LT$T$u20$as$u20$core..convert..Into$LT$U$GT$$GT$4into17h08956d6c372522cfE.exit" ], [ 1, %33 ]
store i8 %.sink, ptr %0, align 8
call void @llvm.lifetime.end.p0(ptr nonnull %7)
ret void
Expand Down
72 changes: 38 additions & 34 deletions bench/quinn-rs/optimized/aa0f6okxl6jzwxndw38ja55fd.ll
Original file line number Diff line number Diff line change
Expand Up @@ -5194,31 +5194,35 @@ define hidden noundef zeroext i1 @_ZN11quinn_proto10connection4mtud12MtuDiscover
br i1 %.not89, label %.thread, label %21

21: ; preds = %18
%22 = add nsw i64 %20, -2
%23 = icmp ugt i64 %22, 2
%24 = icmp ne i64 %22, 1
tail call void @llvm.assume(i1 %24)
%25 = trunc nuw i64 %20 to i1
%or.cond.i = select i1 %23, i1 %25, i1 false
%26 = getelementptr inbounds nuw i8, ptr %0, i64 72
%27 = load i64, ptr %26, align 8, !alias.scope !298
%28 = icmp eq i64 %27, %2
%or.cond8.i = select i1 %or.cond.i, i1 %28, i1 false
br i1 %or.cond8.i, label %29, label %.thread

29: ; preds = %21
store i64 0, ptr %19, align 8, !alias.scope !298
%30 = getelementptr inbounds nuw i8, ptr %0, i64 80
store i64 0, ptr %30, align 8, !alias.scope !298
%31 = getelementptr inbounds nuw i8, ptr %0, i64 94
%32 = load i16, ptr %31, align 2, !alias.scope !298, !noundef !3
%33 = getelementptr inbounds nuw i8, ptr %0, i64 144
store i16 %32, ptr %33, align 8
%34 = load atomic i64, ptr @_ZN12tracing_core8metadata9MAX_LEVEL17h9e420ea5df983dc6E monotonic, align 8
%.not91 = icmp eq i64 %34, 5
br i1 %.not91, label %.critedge, label %40
%22 = icmp ne i64 %20, 3
tail call void @llvm.assume(i1 %22)
%23 = getelementptr inbounds nuw i8, ptr %0, i64 72
%24 = load i64, ptr %23, align 8, !alias.scope !298
%.fr.i = freeze i64 %24
%25 = icmp eq i64 %.fr.i, %2
br i1 %25, label %switch.early.test.i, label %.thread

switch.early.test.i:; preds = %21
switch i64 %20, label %26 [
i64 4, label %.thread
i64 3, label %.thread
i64 2, label %.thread
i64 0, label %.thread
]

.thread: ; preds = %21, %18
.thread: ; preds = %switch.early.test.i
store i64 0, ptr %19, align 8, !alias.scope !298
%27 = getelementptr inbounds nuw i8, ptr %0, i64 80
store i64 0, ptr %27, align 8, !alias.scope !298
%28 = getelementptr inbounds nuw i8, ptr %0, i64 94
%29 = load i16, ptr %28, align 2, !alias.scope !298, !noundef !3
%30 = getelementptr inbounds nuw i8, ptr %0, i64 144
store i16 %29, ptr %30, align 8
%31 = load atomic i64, ptr @_ZN12tracing_core8metadata9MAX_LEVEL17h9e420ea5df983dc6E monotonic, align 8
%.not91 = icmp eq i64 %31, 5
br i1 %.not91, label %.critedge, label %37

.thread: ; preds = %21, %switch.early.test.i, %switch.early.test.i, %switch.early.test.i, %switch.early.test.i, %18
tail call void @llvm.experimental.noalias.scope.decl(metadata !301)
call void @llvm.lifetime.start.p0(ptr nonnull %5)
store i16 %3, ptr %5, align 2, !noalias !301
Expand All @@ -5239,15 +5243,15 @@ _ZN11quinn_proto10connection4mtud17BlackHoleDetector18on_non_probe_acked17habead
call void @llvm.lifetime.end.p0(ptr nonnull %5)
br label %112

40: ; preds = %29
%41 = icmp ult i64 %34, 5
40: ; preds = %26
%41 = icmp ult i64 %31, 5
tail call void @llvm.assume(i1 %41)
%42 = icmp eq i64 %34, 0
%42 = icmp eq i64 %31, 0
br i1 %42, label %43, label %.critedge

43: ; preds = %40
%44 = load atomic i8, ptr getelementptr inbounds nuw (i8, ptr @_ZN11quinn_proto10connection4mtud12MtuDiscovery8on_acked10__CALLSITE17h76f194ef15129698E, i64 16) monotonic, align 8
switch i8 %44, label %45 [
switch i8 %44, label %42 [
i8 0, label %.critedge
i8 1, label %.thread107
i8 2, label %.thread107
Expand All @@ -5259,7 +5263,7 @@ _ZN11quinn_proto10connection4mtud17BlackHoleDetector18on_non_probe_acked17habead
br i1 %47, label %.critedge, label %.thread107

.thread107: ; preds = %43, %43, %45
%.sroa.06.0109 = phi i8 [ %46, %45 ], [ %44, %43 ], [ %44, %43 ]
%.sroa.06.0109 = phi i8 [ %46, %42 ], [ %44, %40 ], [ %44, %40 ]
%48 = load ptr, ptr @_ZN11quinn_proto10connection4mtud12MtuDiscovery8on_acked10__CALLSITE17h76f194ef15129698E, align 8, !nonnull !3, !align !4, !noundef !3
%49 = tail call noundef zeroext i1 @_ZN7tracing15__macro_support12__is_enabled17h79c82975f1d755d5E(ptr noalias noundef nonnull readonly align 8 dereferenceable(120) %48, i8 noundef %.sroa.06.0109)
br i1 %49, label %50, label %.critedge
Expand All @@ -5280,7 +5284,7 @@ _ZN11quinn_proto10connection4mtud17BlackHoleDetector18on_non_probe_acked17habead
%.not92 = icmp eq i64 %55, 0
br i1 %.not92, label %108, label %103

.critedge: ; preds = %43, %29, %45, %.thread107, %40
.critedge: ; preds = %43, %26, %45, %.thread107, %40
%60 = load atomic i8, ptr @_ZN12tracing_core10dispatcher6EXISTS17h4bd33b52b8179ae2E monotonic, align 1
%61 = icmp eq i8 %60, 0
br i1 %61, label %62, label %99
Expand Down Expand Up @@ -5308,7 +5312,7 @@ _ZN11quinn_proto10connection4mtud17BlackHoleDetector18on_non_probe_acked17habead
%74 = extractvalue { ptr, ptr } %72, 1
%75 = getelementptr inbounds nuw i8, ptr %74, i64 24
%76 = load ptr, ptr %75, align 8, !invariant.load !3, !nonnull !3
%77 = call noundef zeroext i1 %76(ptr noundef align 1 %73, ptr noalias noundef nonnull readonly align 8 dereferenceable(24) %12)
%77 = call noundef zeroext i1 %73(ptr noundef align 1 %73, ptr noalias noundef nonnull readonly align 8 dereferenceable(24) %12)
br i1 %77, label %78, label %99

78: ; preds = %66
Expand Down Expand Up @@ -5369,7 +5373,7 @@ _ZN11quinn_proto10connection4mtud17BlackHoleDetector18on_non_probe_acked17habead
%95 = getelementptr inbounds nuw i8, ptr %10, i64 24
store ptr %7, ptr %95, align 8
%.sroa.446.0..sroa_idx = getelementptr inbounds nuw i8, ptr %10, i64 32
store ptr %33, ptr %.sroa.446.0..sroa_idx, align 8
store ptr %30, ptr %.sroa.446.0..sroa_idx, align 8
%.sroa.547.0..sroa_idx = getelementptr inbounds nuw i8, ptr %10, i64 40
store ptr @anon.42c61ef3774b54ef40e69522abedb007.109, ptr %.sroa.547.0..sroa_idx, align 8
store ptr %10, ptr %11, align 8
Expand Down Expand Up @@ -5443,7 +5447,7 @@ _ZN11quinn_proto10connection4mtud17BlackHoleDetector18on_non_probe_acked17habead
%110 = getelementptr inbounds nuw i8, ptr %16, i64 24
store ptr %13, ptr %110, align 8
%.sroa.420.0..sroa_idx = getelementptr inbounds nuw i8, ptr %16, i64 32
store ptr %33, ptr %.sroa.420.0..sroa_idx, align 8
store ptr %30, ptr %.sroa.420.0..sroa_idx, align 8
%.sroa.521.0..sroa_idx = getelementptr inbounds nuw i8, ptr %16, i64 40
store ptr @anon.42c61ef3774b54ef40e69522abedb007.109, ptr %.sroa.521.0..sroa_idx, align 8
store ptr %16, ptr %17, align 8
Expand All @@ -5464,7 +5468,7 @@ _ZN11quinn_proto10connection4mtud17BlackHoleDetector18on_non_probe_acked17habead
unreachable

112: ; preds = %_ZN11quinn_proto10connection4mtud17BlackHoleDetector18on_non_probe_acked17habeadba1cd5eaaaeE.exit, %99, %4
%.sroa.0.0 = phi i1 [ false, %4 ], [ true, %99 ], [ false, %_ZN11quinn_proto10connection4mtud17BlackHoleDetector18on_non_probe_acked17habeadba1cd5eaaaeE.exit ]
%.sroa.0.0 = phi i1 [ false, %4 ], [ true, %96 ], [ false, %_ZN11quinn_proto10connection4mtud17BlackHoleDetector18on_non_probe_acked17habeadba1cd5eaaaeE.exit ]
ret i1 %.sroa.0.0
}

Expand Down
Loading