Skip to content

pre-commit: PR127140 #2119

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

Closed
wants to merge 3 commits into from
Closed

pre-commit: PR127140 #2119

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
7ce45c5
pre-commit: PR127140
dtcxzyw Feb 14, 2025
4bb5722
pre-commit: Update
github-actions[bot] Feb 14, 2025
366cd51
pre-commit: Remap
github-actions[bot] Feb 14, 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
2 changes: 1 addition & 1 deletion bench/mini-lsm-rs/optimized/2y1m09w3fogtr6jd.ll
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -1176,7 +1176,7 @@ define hidden void @"_ZN18crossbeam_skiplist4base21SkipList$LT$K$C$V$GT$11check_
}

; Function Attrs: nofree norecurse nounwind nonlazybind memory(argmem: readwrite, inaccessiblemem: write) uwtable
define internal fastcc noundef range(i64 1, 65) i64 @"_ZN18crossbeam_skiplist4base21SkipList$LT$K$C$V$GT$13random_height17h6743c796bff958e6E"(ptr noundef nonnull align 128 captures(none) %0) unnamed_addr #10 personality ptr @rust_eh_personality {
define internal fastcc noundef range(i64 1, 4) i64 @"_ZN18crossbeam_skiplist4base21SkipList$LT$K$C$V$GT$13random_height17h6743c796bff958e6E"(ptr noundef nonnull align 128 captures(none) %0) unnamed_addr #10 personality ptr @rust_eh_personality {
%2 = getelementptr inbounds nuw i8, ptr %0, i64 256
%3 = load atomic i64, ptr %2 monotonic, align 128
%4 = shl i64 %3, 13
Expand Down
4 changes: 2 additions & 2 deletions bench/mini-lsm-rs/optimized/haynj55bb7tm6r1.ll
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -1371,7 +1371,7 @@ define hidden void @"_ZN18crossbeam_skiplist4base21SkipList$LT$K$C$V$GT$11check_
}

; Function Attrs: nofree norecurse nounwind nonlazybind memory(argmem: readwrite, inaccessiblemem: write) uwtable
define internal fastcc noundef range(i64 1, 65) i64 @"_ZN18crossbeam_skiplist4base21SkipList$LT$K$C$V$GT$13random_height17h6ca9600ef8d1af46E"(ptr noundef nonnull align 128 captures(none) %0) unnamed_addr #9 personality ptr @rust_eh_personality {
define internal fastcc noundef range(i64 1, 4) i64 @"_ZN18crossbeam_skiplist4base21SkipList$LT$K$C$V$GT$13random_height17h6ca9600ef8d1af46E"(ptr noundef nonnull align 128 captures(none) %0) unnamed_addr #9 personality ptr @rust_eh_personality {
%2 = getelementptr inbounds nuw i8, ptr %0, i64 256
%3 = load atomic i64, ptr %2 monotonic, align 128
%4 = shl i64 %3, 13
Expand Down Expand Up @@ -1406,7 +1406,7 @@ define internal fastcc noundef range(i64 1, 65) i64 @"_ZN18crossbeam_skiplist4ba
}

; Function Attrs: nofree norecurse nounwind nonlazybind memory(argmem: readwrite, inaccessiblemem: write) uwtable
define internal fastcc noundef range(i64 1, 65) i64 @"_ZN18crossbeam_skiplist4base21SkipList$LT$K$C$V$GT$13random_height17hca781b878cc1f003E"(ptr noundef nonnull align 128 captures(none) %0) unnamed_addr #9 personality ptr @rust_eh_personality {
define internal fastcc noundef range(i64 1, 4) i64 @"_ZN18crossbeam_skiplist4base21SkipList$LT$K$C$V$GT$13random_height17hca781b878cc1f003E"(ptr noundef nonnull align 128 captures(none) %0) unnamed_addr #9 personality ptr @rust_eh_personality {
%2 = getelementptr inbounds nuw i8, ptr %0, i64 256
%3 = load atomic i64, ptr %2 monotonic, align 128
%4 = shl i64 %3, 13
Expand Down
3 changes: 1 addition & 2 deletions bench/ockam-rs/optimized/1411u8drt798uxi8.ll
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -47187,7 +47187,6 @@ define hidden noundef range(i8 0, 3) i8 @"_ZN22aws_smithy_runtime_api6client12in
%5 = getelementptr inbounds nuw i8, ptr %0, i64 344
%6 = load i64, ptr %5, align 8, !range !937, !noundef !10
%7 = icmp eq i64 %6, 2
%. = select i1 %7, ptr null, ptr %5
%8 = getelementptr inbounds nuw i8, ptr %0, i64 1056
%9 = load i8, ptr %8, align 8, !range !310, !noundef !10
%10 = trunc nuw i8 %9 to i1
Expand All @@ -47208,7 +47207,7 @@ define hidden noundef range(i8 0, 3) i8 @"_ZN22aws_smithy_runtime_api6client12in
14: ; preds = %11
%not. = xor i1 %7, true
tail call void @llvm.assume(i1 %not.)
call void @_ZN22aws_smithy_runtime_api4http7request7Request9try_clone17h6a835d633ddb8bf6E(ptr noalias noundef nonnull sret({ i64, [42 x i64] }) align 8 captures(none) dereferenceable(344) %4, ptr noundef nonnull align 8 %.)
call void @_ZN22aws_smithy_runtime_api4http7request7Request9try_clone17h6a835d633ddb8bf6E(ptr noalias noundef nonnull sret({ i64, [42 x i64] }) align 8 captures(none) dereferenceable(344) %4, ptr noundef nonnull align 8 %5)
%15 = getelementptr inbounds nuw i8, ptr %0, i64 1057
store i8 2, ptr %15, align 1
%16 = load i64, ptr %0, align 8, !range !937, !alias.scope !6085, !noundef !10
Expand Down
65 changes: 36 additions & 29 deletions bench/php/optimized/zend_jit.ll
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -144377,14 +144377,14 @@ define internal fastcc void @zend_jit_bb_start(ptr noundef nonnull %0, i32 nound
%16 = getelementptr inbounds nuw i8, ptr %12, i64 24
%17 = load i32, ptr %16, align 8
%18 = getelementptr inbounds nuw i8, ptr %0, i64 248
%19 = load i32, ptr %18, align 8
switch i32 %17, label %70 [
i32 0, label %19
i32 1, label %28
]

19: ; preds = %2
%20 = load i32, ptr %18, align 8
%21 = icmp ne i32 %20, 0
%20 = icmp ne i32 %19, 0
tail call void @llvm.assume(i1 %21)
%22 = getelementptr inbounds nuw i8, ptr %6, i64 32
%23 = load i32, ptr %22, align 8
Expand All @@ -144399,40 +144399,42 @@ define internal fastcc void @zend_jit_bb_start(ptr noundef nonnull %0, i32 nound
br label %143

28: ; preds = %2
%29 = load i32, ptr %18, align 8
%.not200 = icmp eq i32 %29, 0
tail call void @llvm.assume(i1 %.not200)
%30 = getelementptr inbounds nuw i8, ptr %6, i64 16
%31 = load ptr, ptr %30, align 8
%32 = getelementptr inbounds nuw i8, ptr %12, i64 28
%33 = load i32, ptr %32, align 4
%34 = sext i32 %33 to i64
%35 = getelementptr inbounds i32, ptr %31, i64 %34
%36 = load i32, ptr %35, align 4
%37 = getelementptr inbounds nuw i8, ptr %0, i64 760
%38 = load ptr, ptr %37, align 8
%39 = getelementptr inbounds nuw i8, ptr %0, i64 752
%40 = load ptr, ptr %39, align 8
%41 = getelementptr inbounds i32, ptr %40, i64 %11
%42 = load i32, ptr %41, align 4
%43 = sext i32 %42 to i64
%44 = getelementptr inbounds i32, ptr %38, i64 %43
%45 = load i32, ptr %44, align 4
%46 = icmp eq i32 %45, 0
br i1 %46, label %47, label %48
%29 = icmp eq i32 %19, 0
tail call void @llvm.assume(i1 %29)
%29 = getelementptr inbounds nuw i8, ptr %6, i64 16
%30 = load ptr, ptr %29, align 8
%31 = getelementptr inbounds nuw i8, ptr %12, i64 28
%32 = load i32, ptr %31, align 4
%33 = sext i32 %32 to i64
%34 = getelementptr inbounds i32, ptr %30, i64 %33
%35 = load i32, ptr %34, align 4
%36 = getelementptr inbounds nuw i8, ptr %0, i64 760
%37 = load ptr, ptr %36, align 8
%38 = getelementptr inbounds nuw i8, ptr %0, i64 752
%39 = load ptr, ptr %38, align 8
%40 = getelementptr inbounds i32, ptr %39, i64 %11
%41 = load i32, ptr %40, align 4
%42 = sext i32 %41 to i64
%43 = getelementptr inbounds i32, ptr %37, i64 %42
%44 = load i32, ptr %43, align 4
%45 = icmp eq i32 %44, 0
br i1 %45, label %46, label %47

47: ; preds = %28
tail call void @_ir_BEGIN(ptr noundef nonnull %0, i32 noundef 0) #33
br label %jit_IF_TRUE_FALSE_ex.exit

48: ; preds = %28
%49 = load ptr, ptr %0, align 8
%50 = sext i32 %45 to i64
%50 = sext i32 %44 to i64
%51 = getelementptr inbounds %struct._ir_insn, ptr %49, i64 %50
%52 = load i8, ptr %51, align 8
switch i8 %52, label %switch.edge [
i8 100, label %53
i8 101, label %60
i8 104, label %switch.edge
i8 98, label %switch.edge
i8 102, label %switch.edge
]

53: ; preds = %48
Expand All @@ -144444,18 +144446,21 @@ define internal fastcc void @zend_jit_bb_start(ptr noundef nonnull %0, i32 nound
br i1 %57, label %58, label %59

58: ; preds = %53
tail call void @_ir_IF_TRUE(ptr noundef nonnull %0, i32 noundef %45) #33
tail call void @_ir_IF_TRUE(ptr noundef nonnull %0, i32 noundef %44) #33
br label %jit_IF_TRUE_FALSE_ex.exit

59: ; preds = %53
tail call void @_ir_IF_FALSE(ptr noundef nonnull %0, i32 noundef %45) #33
tail call void @_ir_IF_FALSE(ptr noundef nonnull %0, i32 noundef %44) #33
br label %jit_IF_TRUE_FALSE_ex.exit

60: ; preds = %48
tail call fastcc void @zend_jit_case_start(ptr noundef %0, i32 noundef %36, i32 noundef %1, i32 noundef %45)
tail call fastcc void @zend_jit_case_start(ptr noundef %0, i32 noundef %35, i32 noundef %1, i32 noundef %44)
br label %jit_IF_TRUE_FALSE_ex.exit

switch.edge: ; preds = %48
unreachable

switch.edge: ; preds = %47, %47, %47
%61 = and i32 %14, 4096
%.not201 = icmp eq i32 %61, 0
br i1 %.not201, label %68, label %62
Expand All @@ -144468,19 +144473,21 @@ switch.edge: ; preds = %48
br i1 %.not202, label %68, label %66

66: ; preds = %62
%67 = tail call i32 @ir_emit1(ptr noundef nonnull %0, i32 noundef 91, i32 noundef %45) #33
%67 = tail call i32 @ir_emit1(ptr noundef nonnull %0, i32 noundef 91, i32 noundef %44) #33
store i32 %67, ptr %18, align 8
br label %jit_IF_TRUE_FALSE_ex.exit

68: ; preds = %62, %switch.edge
tail call void @_ir_BEGIN(ptr noundef nonnull %0, i32 noundef %45) #33
tail call void @_ir_BEGIN(ptr noundef nonnull %0, i32 noundef %44) #33
br label %jit_IF_TRUE_FALSE_ex.exit

jit_IF_TRUE_FALSE_ex.exit: ; preds = %59, %58, %68, %66, %60, %47
%69 = load i32, ptr %18, align 8
br label %143

70: ; preds = %2
%.not = icmp eq i32 %19, 0
tail call void @llvm.assume(i1 %.not)
%71 = sext i32 %17 to i64
%72 = shl nsw i64 %71, 2
%73 = icmp ugt i64 %72, 32768
Expand Down
8 changes: 4 additions & 4 deletions bench/rust-analyzer-rs/optimized/p80zqc6dxbxvppz.ll
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -61997,14 +61997,14 @@ _ZN12tracing_core8callsite15DefaultCallsite8interest17hccd71802e1b704feE.exit112
%613 = load ptr, ptr %487, align 8, !alias.scope !11755, !noalias !11756, !nonnull !26, !noundef !26
%614 = load ptr, ptr %612, align 8, !alias.scope !11757, !noalias !11755, !nonnull !26, !noundef !26
%615 = icmp eq ptr %613, %614
br i1 %615, label %"_ZN76_$LT$chalk_ir..ConstrainedSubst$LT$I$GT$$u20$as$u20$core..cmp..PartialEq$GT$2eq17h2af09f2ec2798878E.llvm.3864848197730831337.exit.i.i.i.i.i", label %"_ZN15chalk_recursive9recursive301_$LT$impl$u20$chalk_recursive..fixed_point..SolverStuff$LT$chalk_ir..UCanonical$LT$chalk_ir..InEnvironment$LT$chalk_ir..Goal$LT$I$GT$$GT$$GT$$C$core..result..Result$LT$chalk_solve..solve..Solution$LT$I$GT$$C$chalk_ir..NoSolution$GT$$GT$$u20$for$u20$$RF$dyn$u20$chalk_solve..RustIrDatabase$LT$I$GT$$GT$19reached_fixed_point17h9e933ec8530ee8eeE.exit.i"
br i1 %615, label %"_ZN76_$LT$chalk_ir..ConstrainedSubst$LT$I$GT$$u20$as$u20$core..cmp..PartialEq$GT$2eq17h2af09f2ec2798878E.llvm.3864848197730831337.exit.i.i.i.i.i", label %"_ZN15chalk_recursive9recursive301_$LT$impl$u20$chalk_recursive..fixed_point..SolverStuff$LT$chalk_ir..UCanonical$LT$chalk_ir..InEnvironment$LT$chalk_ir..Goal$LT$I$GT$$GT$$GT$$C$core..result..Result$LT$chalk_solve..solve..Solution$LT$I$GT$$C$chalk_ir..NoSolution$GT$$GT$$u20$for$u20$$RF$dyn$u20$chalk_solve..RustIrDatabase$LT$I$GT$$GT$19reached_fixed_point17h9e933ec8530ee8eeE.exit.thread212.i"

"_ZN76_$LT$chalk_ir..ConstrainedSubst$LT$I$GT$$u20$as$u20$core..cmp..PartialEq$GT$2eq17h2af09f2ec2798878E.llvm.3864848197730831337.exit.i.i.i.i.i": ; preds = %610
%616 = invoke noundef zeroext i1 @"_ZN5alloc3vec10partial_eq117_$LT$impl$u20$core..cmp..PartialEq$LT$alloc..vec..Vec$LT$U$C$A2$GT$$GT$$u20$for$u20$alloc..vec..Vec$LT$T$C$A1$GT$$GT$2eq17hbd81203689285a6bE.llvm.3864848197730831337"(ptr noalias noundef nonnull readonly align 8 dereferenceable(40) %11, ptr noalias noundef nonnull readonly align 8 dereferenceable(40) %597)
to label %.noexc126.i unwind label %.loopexit236.i

.noexc126.i: ; preds = %"_ZN76_$LT$chalk_ir..ConstrainedSubst$LT$I$GT$$u20$as$u20$core..cmp..PartialEq$GT$2eq17h2af09f2ec2798878E.llvm.3864848197730831337.exit.i.i.i.i.i"
br i1 %616, label %"_ZN74_$LT$core..result..Result$LT$T$C$E$GT$$u20$as$u20$core..cmp..PartialEq$GT$2eq17h2e03d9fac4976a02E.llvm.3864848197730831337.exit.i.i", label %"_ZN15chalk_recursive9recursive301_$LT$impl$u20$chalk_recursive..fixed_point..SolverStuff$LT$chalk_ir..UCanonical$LT$chalk_ir..InEnvironment$LT$chalk_ir..Goal$LT$I$GT$$GT$$GT$$C$core..result..Result$LT$chalk_solve..solve..Solution$LT$I$GT$$C$chalk_ir..NoSolution$GT$$GT$$u20$for$u20$$RF$dyn$u20$chalk_solve..RustIrDatabase$LT$I$GT$$GT$19reached_fixed_point17h9e933ec8530ee8eeE.exit.i"
br i1 %616, label %"_ZN74_$LT$core..result..Result$LT$T$C$E$GT$$u20$as$u20$core..cmp..PartialEq$GT$2eq17h2e03d9fac4976a02E.llvm.3864848197730831337.exit.i.i", label %"_ZN15chalk_recursive9recursive301_$LT$impl$u20$chalk_recursive..fixed_point..SolverStuff$LT$chalk_ir..UCanonical$LT$chalk_ir..InEnvironment$LT$chalk_ir..Goal$LT$I$GT$$GT$$GT$$C$core..result..Result$LT$chalk_solve..solve..Solution$LT$I$GT$$C$chalk_ir..NoSolution$GT$$GT$$u20$for$u20$$RF$dyn$u20$chalk_solve..RustIrDatabase$LT$I$GT$$GT$19reached_fixed_point17h9e933ec8530ee8eeE.exit.thread212.i"

617: ; preds = %609
call void @llvm.assume(i1 %607)
Expand All @@ -62025,11 +62025,11 @@ _ZN12tracing_core8callsite15DefaultCallsite8interest17hccd71802e1b704feE.exit112
%623 = icmp eq ptr %621, %622
br i1 %623, label %"_ZN15chalk_recursive9recursive301_$LT$impl$u20$chalk_recursive..fixed_point..SolverStuff$LT$chalk_ir..UCanonical$LT$chalk_ir..InEnvironment$LT$chalk_ir..Goal$LT$I$GT$$GT$$GT$$C$core..result..Result$LT$chalk_solve..solve..Solution$LT$I$GT$$C$chalk_ir..NoSolution$GT$$GT$$u20$for$u20$$RF$dyn$u20$chalk_solve..RustIrDatabase$LT$I$GT$$GT$19reached_fixed_point17h9e933ec8530ee8eeE.exit.thread211.i", label %624

"_ZN15chalk_recursive9recursive301_$LT$impl$u20$chalk_recursive..fixed_point..SolverStuff$LT$chalk_ir..UCanonical$LT$chalk_ir..InEnvironment$LT$chalk_ir..Goal$LT$I$GT$$GT$$GT$$C$core..result..Result$LT$chalk_solve..solve..Solution$LT$I$GT$$C$chalk_ir..NoSolution$GT$$GT$$u20$for$u20$$RF$dyn$u20$chalk_solve..RustIrDatabase$LT$I$GT$$GT$19reached_fixed_point17h9e933ec8530ee8eeE.exit.i": ; preds = %.noexc126.i, %610, %604, %595
"_ZN15chalk_recursive9recursive301_$LT$impl$u20$chalk_recursive..fixed_point..SolverStuff$LT$chalk_ir..UCanonical$LT$chalk_ir..InEnvironment$LT$chalk_ir..Goal$LT$I$GT$$GT$$GT$$C$core..result..Result$LT$chalk_solve..solve..Solution$LT$I$GT$$C$chalk_ir..NoSolution$GT$$GT$$u20$for$u20$$RF$dyn$u20$chalk_solve..RustIrDatabase$LT$I$GT$$GT$19reached_fixed_point17h9e933ec8530ee8eeE.exit.i": ; preds = %604, %595
%.old.i = icmp eq i64 %600, -9223372036854775808
br i1 %.old.i, label %"_ZN15chalk_recursive9recursive301_$LT$impl$u20$chalk_recursive..fixed_point..SolverStuff$LT$chalk_ir..UCanonical$LT$chalk_ir..InEnvironment$LT$chalk_ir..Goal$LT$I$GT$$GT$$GT$$C$core..result..Result$LT$chalk_solve..solve..Solution$LT$I$GT$$C$chalk_ir..NoSolution$GT$$GT$$u20$for$u20$$RF$dyn$u20$chalk_solve..RustIrDatabase$LT$I$GT$$GT$19reached_fixed_point17h9e933ec8530ee8eeE.exit.thread211.i", label %624

624: ; preds = %"_ZN15chalk_recursive9recursive301_$LT$impl$u20$chalk_recursive..fixed_point..SolverStuff$LT$chalk_ir..UCanonical$LT$chalk_ir..InEnvironment$LT$chalk_ir..Goal$LT$I$GT$$GT$$GT$$C$core..result..Result$LT$chalk_solve..solve..Solution$LT$I$GT$$C$chalk_ir..NoSolution$GT$$GT$$u20$for$u20$$RF$dyn$u20$chalk_solve..RustIrDatabase$LT$I$GT$$GT$19reached_fixed_point17h9e933ec8530ee8eeE.exit.i", %"_ZN74_$LT$core..result..Result$LT$T$C$E$GT$$u20$as$u20$core..cmp..PartialEq$GT$2eq17h2e03d9fac4976a02E.llvm.3864848197730831337.exit.i.i"
624: ; preds = %"_ZN15chalk_recursive9recursive301_$LT$impl$u20$chalk_recursive..fixed_point..SolverStuff$LT$chalk_ir..UCanonical$LT$chalk_ir..InEnvironment$LT$chalk_ir..Goal$LT$I$GT$$GT$$GT$$C$core..result..Result$LT$chalk_solve..solve..Solution$LT$I$GT$$C$chalk_ir..NoSolution$GT$$GT$$u20$for$u20$$RF$dyn$u20$chalk_solve..RustIrDatabase$LT$I$GT$$GT$19reached_fixed_point17h9e933ec8530ee8eeE.exit.i", %"_ZN74_$LT$core..result..Result$LT$T$C$E$GT$$u20$as$u20$core..cmp..PartialEq$GT$2eq17h2e03d9fac4976a02E.llvm.3864848197730831337.exit.i.i", %.noexc126.i, %610
%625 = load i64, ptr %30, align 8, !noalias !11677, !noundef !26
%626 = add i64 %625, 1
invoke void @"_ZN15chalk_recursive11fixed_point12search_graph24SearchGraph$LT$K$C$V$GT$11rollback_to17hf0bafa94feaa53feE"(ptr noalias noundef nonnull align 8 dereferenceable(56) %289, i64 noundef %626)
Expand Down
2 changes: 1 addition & 1 deletion scripts/setup_pre_commit_patch.sh
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -2,7 +2,7 @@
set -euo pipefail
shopt -s inherit_errexit

export GITHUB_PATCH_ID="<user_name>/llvm-project/commit/<commit_hash>"
export GITHUB_PATCH_ID=llvm/llvm-project/pull/127140
export COMPTIME_MODE=0

# Please rebase manually
Expand Down