diff --git a/bench/mini-lsm-rs/optimized/2y1m09w3fogtr6jd.ll b/bench/mini-lsm-rs/optimized/2y1m09w3fogtr6jd.ll index ab5381cb67d..563a1faa46d 100644 --- a/bench/mini-lsm-rs/optimized/2y1m09w3fogtr6jd.ll +++ b/bench/mini-lsm-rs/optimized/2y1m09w3fogtr6jd.ll @@ -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 diff --git a/bench/mini-lsm-rs/optimized/haynj55bb7tm6r1.ll b/bench/mini-lsm-rs/optimized/haynj55bb7tm6r1.ll index fe301116486..a2e6877b8d5 100644 --- a/bench/mini-lsm-rs/optimized/haynj55bb7tm6r1.ll +++ b/bench/mini-lsm-rs/optimized/haynj55bb7tm6r1.ll @@ -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 @@ -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 diff --git a/bench/ockam-rs/optimized/1411u8drt798uxi8.ll b/bench/ockam-rs/optimized/1411u8drt798uxi8.ll index 86cc9052081..94c4cee5c97 100644 --- a/bench/ockam-rs/optimized/1411u8drt798uxi8.ll +++ b/bench/ockam-rs/optimized/1411u8drt798uxi8.ll @@ -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 @@ -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 diff --git a/bench/php/optimized/zend_jit.ll b/bench/php/optimized/zend_jit.ll index a7f3d2531a4..aa6bc300c47 100644 --- a/bench/php/optimized/zend_jit.ll +++ b/bench/php/optimized/zend_jit.ll @@ -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 @@ -144399,27 +144399,26 @@ 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 @@ -144427,12 +144426,15 @@ define internal fastcc void @zend_jit_bb_start(ptr noundef nonnull %0, i32 nound 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 @@ -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 @@ -144468,12 +144473,12 @@ 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 @@ -144481,6 +144486,8 @@ jit_IF_TRUE_FALSE_ex.exit: ; preds = %59, %58, %68, %66, 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 diff --git a/bench/rust-analyzer-rs/optimized/p80zqc6dxbxvppz.ll b/bench/rust-analyzer-rs/optimized/p80zqc6dxbxvppz.ll index f134b07d497..811bc139459 100644 --- a/bench/rust-analyzer-rs/optimized/p80zqc6dxbxvppz.ll +++ b/bench/rust-analyzer-rs/optimized/p80zqc6dxbxvppz.ll @@ -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) @@ -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) diff --git a/scripts/setup_pre_commit_patch.sh b/scripts/setup_pre_commit_patch.sh index c5409e09ef4..25bfbf3a4e0 100755 --- a/scripts/setup_pre_commit_patch.sh +++ b/scripts/setup_pre_commit_patch.sh @@ -2,7 +2,7 @@ set -euo pipefail shopt -s inherit_errexit -export GITHUB_PATCH_ID="/llvm-project/commit/" +export GITHUB_PATCH_ID=llvm/llvm-project/pull/127140 export COMPTIME_MODE=0 # Please rebase manually