Skip to content

pre-commit: PRllvm/llvm-project/compare/main...fhahn:llvm-project:ic-fold-alignment-assumption-into-load-tmp #2904

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

Open
wants to merge 3 commits into
base: main
Choose a base branch
from
Open

pre-commit: PRllvm/llvm-project/compare/main...fhahn:llvm-project:ic-fold-alignment-assumption-into-load-tmp #2904

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
5321f5d
pre-commit: PRllvm/llvm-project/compare/main...fhahn:llvm-project:ic-…
fhahn Oct 7, 2025
8815692
pre-commit: Update
github-actions[bot] Oct 7, 2025
7009025
pre-commit: Remap
github-actions[bot] Oct 7, 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
1 change: 1 addition & 0 deletions bench/actix-rs/optimized/1cyxz7f31jo1m8z1.ll
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -8197,6 +8197,7 @@ define noundef nonnull ptr @_ZN9actix_web10middleware15default_headers14DefaultH
call void @llvm.experimental.noalias.scope.decl(metadata !1225)
call void @llvm.experimental.noalias.scope.decl(metadata !1228)
call void @llvm.experimental.noalias.scope.decl(metadata !1231)
call void @llvm.assume(i1 true) [ "align"(ptr %48, i64 8) ]
%51 = getelementptr inbounds nuw i8, ptr %48, i64 24
%52 = load ptr, ptr %51, align 8, !noalias !1234, !nonnull !4, !noundef !4
%53 = getelementptr inbounds nuw i8, ptr %8, i64 24
Expand Down
13 changes: 10 additions & 3 deletions bench/clap-rs/optimized/3b4nqkxyl1xqdcre.ll
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -6012,7 +6012,11 @@ _ZN12clap_builder6output13help_template12HelpTemplate14will_args_wrap17h3c3e8e7d
%263 = getelementptr inbounds nuw i8, ptr %241, i64 504
%264 = load ptr, ptr %263, align 8, !alias.scope !1289, !noalias !1257, !noundef !12
%265 = icmp eq ptr %264, null
br i1 %265, label %_ZN12clap_builder6output13help_template12HelpTemplate4long17h040d2a9ab23e3d93E.exit.i, label %266
br i1 %265, label %_ZN12clap_builder6output13help_template12HelpTemplate5short17h271c5721682fe810E.exit.thread64.i, label %266

_ZN12clap_builder6output13help_template12HelpTemplate5short17h271c5721682fe810E.exit.thread64.i: ; preds = %262
call void @llvm.assume(i1 true) [ "align"(ptr %.val18.i, i64 2) ]
br label %_ZN12clap_builder6output13help_template12HelpTemplate4long17h040d2a9ab23e3d93E.exit.i

266: ; preds = %262
%267 = load i64, ptr %230, align 8, !alias.scope !1292, !noalias !1301, !noundef !12
Expand All @@ -6034,6 +6038,7 @@ _ZN12clap_builder6output13help_template12HelpTemplate5short17h271c5721682fe810E.
call void @llvm.lifetime.end.p0(ptr nonnull %29), !noalias !1281
call void @llvm.lifetime.end.p0(ptr nonnull %30), !noalias !1281
call void @llvm.lifetime.end.p0(ptr nonnull %32), !noalias !1281
call void @llvm.assume(i1 true) [ "align"(ptr %.val18.i, i64 2) ]
%271 = getelementptr inbounds nuw i8, ptr %241, i64 504
%272 = load ptr, ptr %271, align 8, !alias.scope !1305, !noalias !1257, !noundef !12
%273 = icmp eq ptr %272, null
Expand All @@ -6059,6 +6064,7 @@ _ZN12clap_builder6output13help_template12HelpTemplate5short17h271c5721682fe810E.
%283 = load i64, ptr %231, align 8, !alias.scope !1304, !noalias !1301, !noundef !12
%284 = add i64 %283, 4
store i64 %284, ptr %231, align 8, !alias.scope !1304, !noalias !1301
call void @llvm.assume(i1 true) [ "align"(ptr %.val18.i, i64 2) ]
call void @llvm.experimental.noalias.scope.decl(metadata !1325)
%285 = getelementptr inbounds nuw i8, ptr %241, i64 512
%..val2.i.i.i = load i64, ptr %285, align 8, !alias.scope !1310, !noalias !1257
Expand Down Expand Up @@ -6128,9 +6134,10 @@ _ZN12clap_builder7builder10styled_str9StyledStr8push_str17hf3025370b2961e87E.exi
call void @llvm.lifetime.end.p0(ptr nonnull %27), !noalias !1312
br label %_ZN12clap_builder6output13help_template12HelpTemplate4long17h040d2a9ab23e3d93E.exit.i

_ZN12clap_builder6output13help_template12HelpTemplate4long17h040d2a9ab23e3d93E.exit.i: ; preds = %262, %.noexc41.i, %_ZN12clap_builder6output13help_template12HelpTemplate5short17h271c5721682fe810E.exit.thread.i
%297 = phi i1 [ true, %_ZN12clap_builder6output13help_template12HelpTemplate5short17h271c5721682fe810E.exit.thread.i ], [ false, %.noexc41.i ], [ true, %262 ]
_ZN12clap_builder6output13help_template12HelpTemplate4long17h040d2a9ab23e3d93E.exit.i: ; preds = %.noexc41.i, %_ZN12clap_builder6output13help_template12HelpTemplate5short17h271c5721682fe810E.exit.thread.i, %_ZN12clap_builder6output13help_template12HelpTemplate5short17h271c5721682fe810E.exit.thread64.i
%297 = phi i1 [ true, %_ZN12clap_builder6output13help_template12HelpTemplate5short17h271c5721682fe810E.exit.thread.i ], [ false, %.noexc41.i ], [ true, %_ZN12clap_builder6output13help_template12HelpTemplate5short17h271c5721682fe810E.exit.thread64.i ]
call void @llvm.lifetime.start.p0(ptr nonnull %33), !noalias !1262
call void @llvm.assume(i1 true) [ "align"(ptr %.val18.i, i64 2) ]
invoke void @_ZN12clap_builder7builder3arg3Arg18stylize_arg_suffix17h7ff50427cdd11f0bE(ptr noalias noundef nonnull sret({ { { { i64, ptr }, i64 } } }) align 8 captures(none) dereferenceable(24) %33, ptr noalias noundef nonnull readonly align 8 dereferenceable(552) %241, ptr noalias noundef nonnull readonly align 2 dereferenceable(98) %.val18.i, i8 noundef 2)
to label %298 unwind label %247, !noalias !1257

Expand Down
47 changes: 27 additions & 20 deletions bench/clap-rs/optimized/421wxj3t0b5xgmkw.ll
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -1861,6 +1861,7 @@ define hidden void @_ZN12clap_builder7builder3ext10Extensions6update17h249c38ca6
br i1 %33, label %"_ZN4core3ptr91drop_in_place$LT$core..option..Option$LT$clap_builder..builder..ext..BoxedExtension$GT$$GT$17h7f68f6f61b4fbe93E.llvm.7008872586094235178.exit", label %34

34: ; preds = %19
call void @llvm.assume(i1 true) [ "align"(ptr %.fca.1.extract3, i64 8) ]
%35 = load ptr, ptr %.fca.1.extract3, align 8, !invariant.load !18, !noalias !425, !nonnull !18
invoke void %35(ptr noundef nonnull align 1 %.fca.0.extract2)
to label %"_ZN4core3ptr63drop_in_place$LT$clap_builder..builder..ext..BoxedExtension$GT$17h7ac56a077413d308E.exit.i" unwind label %36, !noalias !425
Expand Down Expand Up @@ -2469,14 +2470,15 @@ define void @_ZN12clap_builder6parser7matches11arg_matches10ArgMatches17remove_s
ret void
}

; Function Attrs: mustprogress nofree norecurse nounwind nonlazybind willreturn memory(read, inaccessiblemem: none) uwtable
; Function Attrs: mustprogress nofree norecurse nounwind nonlazybind willreturn memory(read, inaccessiblemem: write) uwtable
define noundef align 8 dereferenceable_or_null(56) ptr @_ZN12clap_builder6parser7matches11arg_matches10ArgMatches18subcommand_matches17h3d177ff3e9b95a6aE(ptr noalias noundef readonly align 8 captures(none) dereferenceable(56) %0, ptr noalias noundef nonnull readonly align 1 captures(none) %1, i64 noundef %2) unnamed_addr #19 {
%4 = getelementptr inbounds nuw i8, ptr %0, i64 48
%.val = load ptr, ptr %4, align 8, !noundef !18
%.not.i = icmp eq ptr %.val, null
br i1 %.not.i, label %_ZN12clap_builder6parser7matches11arg_matches10ArgMatches14get_subcommand17hed9199bd80952d94E.exit, label %5

5: ; preds = %3
call void @llvm.assume(i1 true) [ "align"(ptr %.val, i64 8) ]
%6 = getelementptr i8, ptr %.val, i64 16
%.val1.i = load i64, ptr %6, align 8, !noalias !646, !noundef !18
%.not.i.i.i = icmp eq i64 %.val1.i, %2
Expand Down Expand Up @@ -5440,13 +5442,14 @@ define hidden noundef nonnull align 8 dereferenceable(104) ptr @"_ZN12clap_build
%3 = alloca { { i64, i128 }, { { i64, ptr }, i64 }, { { i64, ptr }, i64 }, { { i64, ptr }, i64 }, i8, i8, [6 x i8] }, align 8
%4 = load ptr, ptr %0, align 8, !noundef !18
%5 = icmp eq ptr %4, null
%6 = getelementptr inbounds nuw i8, ptr %0, i64 8
%7 = load ptr, ptr %6, align 8, !nonnull !18, !align !59, !noundef !18
%8 = getelementptr inbounds nuw i8, ptr %0, i64 16
%9 = load i64, ptr %8, align 8, !noundef !18
br i1 %5, label %16, label %10
br i1 %5, label %110, label %6

10: ; preds = %2
call void @llvm.assume(i1 true) [ "align"(ptr %4, i64 8) ]
%7 = getelementptr inbounds nuw i8, ptr %0, i64 8
%8 = load ptr, ptr %7, align 8, !nonnull !18, !align !59, !noundef !18
%9 = getelementptr inbounds nuw i8, ptr %0, i64 16
%10 = load i64, ptr %9, align 8, !noundef !18
%11 = getelementptr inbounds nuw i8, ptr %4, i64 16
%12 = load i64, ptr %11, align 8, !alias.scope !1517, !noalias !1520, !noundef !18
%13 = load i64, ptr %4, align 8, !alias.scope !1517, !noalias !1520, !noundef !18
Expand All @@ -5462,26 +5465,30 @@ define hidden noundef nonnull align 8 dereferenceable(104) ptr @"_ZN12clap_build
br label %20

16: ; preds = %2
%17 = getelementptr i8, ptr %7, i64 40
%.val11 = load i64, ptr %17, align 8, !noundef !18
%18 = icmp ult i64 %9, %.val11
br i1 %18, label %51, label %19, !prof !256
%17 = getelementptr inbounds nuw i8, ptr %0, i64 8
%.val11 = load ptr, ptr %17, align 8, !nonnull !18, !align !46, !noundef !18
%19 = getelementptr inbounds nuw i8, ptr %0, i64 110
%20 = load i64, ptr %19, align 8, !noundef !18
%21 = getelementptr i8, ptr %18, i64 40
%.val11 = load i64, ptr %21, align 8, !noundef !18
%22 = icmp ult i64 %20, %.val11
br i1 %22, label %55, label %23, !prof !256

19: ; preds = %16
invoke void @_ZN4core9panicking18panic_bounds_check17h8331054858f0bf20E(i64 noundef %9, i64 noundef %.val11, ptr noalias noundef nonnull readonly align 8 dereferenceable(24) @anon.5bbe1b10df9b6e08f07c9b849f6cd5da.36) #41
invoke void @_ZN4core9panicking18panic_bounds_check17h8331054858f0bf20E(i64 noundef %20, i64 noundef %.val11, ptr noalias noundef nonnull readonly align 8 dereferenceable(24) @anon.5bbe1b10df9b6e08f07c9b849f6cd5da.36) #41
to label %.noexc12 unwind label %54

.noexc12: ; preds = %19
unreachable

20: ; preds = %.noexc, %10
%21 = phi i64 [ %.pre.i, %.noexc ], [ %12, %10 ]
%21 = phi i64 [ %.pre.i, %.noexc ], [ %12, %6 ]
%22 = getelementptr inbounds nuw i8, ptr %4, i64 8
%23 = load ptr, ptr %22, align 8, !alias.scope !1517, !noalias !1520, !nonnull !18, !noundef !18
%24 = getelementptr inbounds { ptr, i64 }, ptr %23, i64 %21
store ptr %7, ptr %24, align 8, !noalias !1520
store ptr %8, ptr %24, align 8, !noalias !1520
%25 = getelementptr inbounds nuw i8, ptr %24, i64 8
store i64 %9, ptr %25, align 8
store i64 %10, ptr %25, align 8
%26 = load i64, ptr %11, align 8, !alias.scope !1517, !noalias !1520, !noundef !18
%27 = add i64 %26, 1
store i64 %27, ptr %11, align 8, !alias.scope !1517, !noalias !1520
Expand Down Expand Up @@ -5515,7 +5522,7 @@ define hidden noundef nonnull align 8 dereferenceable(104) ptr @"_ZN12clap_build
unreachable

38: ; preds = %._crit_edge.i, %20
%39 = phi i64 [ %.pre.i13, %._crit_edge.i ], [ %30, %20 ]
%39 = phi i64 [ %.pre.i13, %._crit_edge.i ], [ %30, %24 ]
%40 = getelementptr inbounds nuw i8, ptr %4, i64 32
%41 = load ptr, ptr %40, align 8, !alias.scope !1522, !noalias !1525, !nonnull !18, !noundef !18
%42 = getelementptr inbounds { { i64, i128 }, { { i64, ptr }, i64 }, { { i64, ptr }, i64 }, { { i64, ptr }, i64 }, i8, i8, [6 x i8] }, ptr %41, i64 %39
Expand All @@ -5539,18 +5546,18 @@ define hidden noundef nonnull align 8 dereferenceable(104) ptr @"_ZN12clap_build
unreachable

50: ; preds = %45, %51
%.024 = phi ptr [ %53, %51 ], [ %48, %45 ]
%.024 = phi ptr [ %53, %55 ], [ %48, %49 ]
ret ptr %.024

51: ; preds = %16
%52 = getelementptr i8, ptr %7, i64 32
%52 = getelementptr i8, ptr %18, i64 32
%.val = load ptr, ptr %52, align 8, !nonnull !18, !noundef !18
%53 = getelementptr inbounds { { i64, i128 }, { { i64, ptr }, i64 }, { { i64, ptr }, i64 }, { { i64, ptr }, i64 }, i8, i8, [6 x i8] }, ptr %.val, i64 %9
%53 = getelementptr inbounds { { i64, i128 }, { { i64, ptr }, i64 }, { { i64, ptr }, i64 }, { { i64, ptr }, i64 }, i8, i8, [6 x i8] }, ptr %.val, i64 %20
tail call void @"_ZN4core3ptr75drop_in_place$LT$clap_builder..parser..matches..matched_arg..MatchedArg$GT$17hed15162c7a11d4dcE"(ptr noalias noundef nonnull align 8 dereferenceable(104) %1)
br label %50

.body.thread: ; preds = %34, %54
%eh.lpad-body16 = phi { ptr, i32 } [ %lpad.thr_comm, %54 ], [ %35, %34 ]
%eh.lpad-body16 = phi { ptr, i32 } [ %lpad.thr_comm, %58 ], [ %35, %38 ]
resume { ptr, i32 } %eh.lpad-body16

54: ; preds = %15, %19
Expand Down Expand Up @@ -6559,7 +6566,7 @@ attributes #15 = { mustprogress nofree norecurse nosync nounwind nonlazybind wil
attributes #16 = { mustprogress nofree norecurse nosync nounwind nonlazybind willreturn memory(inaccessiblemem: write) uwtable "probe-stack"="inline-asm" "target-cpu"="x86-64" }
attributes #17 = { nofree norecurse nounwind nonlazybind memory(read, inaccessiblemem: readwrite) uwtable "probe-stack"="inline-asm" "target-cpu"="x86-64" }
attributes #18 = { nounwind nonlazybind uwtable "probe-stack"="inline-asm" "target-cpu"="x86-64" }
attributes #19 = { mustprogress nofree norecurse nounwind nonlazybind willreturn memory(read, inaccessiblemem: none) uwtable "probe-stack"="inline-asm" "target-cpu"="x86-64" }
attributes #19 = { mustprogress nofree norecurse nounwind nonlazybind willreturn memory(read, inaccessiblemem: write) uwtable "probe-stack"="inline-asm" "target-cpu"="x86-64" }
attributes #20 = { nofree norecurse nounwind nonlazybind memory(read, argmem: readwrite, inaccessiblemem: none) uwtable "probe-stack"="inline-asm" "target-cpu"="x86-64" }
attributes #21 = { mustprogress nofree norecurse nosync nounwind nonlazybind willreturn memory(argmem: readwrite, inaccessiblemem: readwrite) uwtable "probe-stack"="inline-asm" "target-cpu"="x86-64" }
attributes #22 = { mustprogress nofree norecurse nosync nounwind nonlazybind willreturn memory(argmem: write) uwtable "probe-stack"="inline-asm" "target-cpu"="x86-64" }
Expand Down
7 changes: 3 additions & 4 deletions bench/darktable/optimized/brush.ll
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -7028,13 +7028,12 @@ dt_masks_dynbuf_free.exit670: ; preds = %673, %680
%716 = load float, ptr %29, align 4, !tbaa !93
%717 = load ptr, ptr %5, align 8, !tbaa !125
%718 = getelementptr inbounds nuw i8, ptr %717, i64 8
%719 = load float, ptr %718, align 8, !tbaa !93
%719 = load float, ptr %718, align 4, !tbaa !93
%720 = fsub reassoc nsz arcp contract afn float %716, %719
%721 = load float, ptr %710, align 4, !tbaa !93
%722 = getelementptr inbounds nuw i8, ptr %717, i64 12
%723 = load float, ptr %722, align 4, !tbaa !93
%724 = fsub reassoc nsz arcp contract afn float %721, %723
call void @llvm.assume(i1 true) [ "align"(ptr %717, i64 64) ]
%725 = load i32, ptr %6, align 4, !tbaa !97
%726 = icmp sgt i32 %725, 0
br i1 %726, label %.lr.ph747.preheader, label %._crit_edge748
Expand All @@ -7053,9 +7052,9 @@ dt_masks_dynbuf_free.exit670: ; preds = %673, %680
%indvars.iv = phi i64 [ 0, %.lr.ph747.preheader ], [ %indvars.iv.next, %.lr.ph747 ]
%.idx = shl nuw nsw i64 %indvars.iv, 3
%729 = getelementptr inbounds nuw i8, ptr %717, i64 %.idx
%730 = load float, ptr %729, align 8, !tbaa !93
%730 = load float, ptr %729, align 4, !tbaa !93
%731 = fadd reassoc nsz arcp contract afn float %720, %730
store float %731, ptr %729, align 8, !tbaa !93
store float %731, ptr %729, align 4, !tbaa !93
%732 = getelementptr inbounds nuw i8, ptr %729, i64 4
%733 = load float, ptr %732, align 4, !tbaa !93
%734 = fadd reassoc nsz arcp contract afn float %724, %733
Expand Down
9 changes: 4 additions & 5 deletions bench/darktable/optimized/ellipse.ll
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -801,14 +801,13 @@ define internal range(i32 0, 2) i32 @_ellipse_get_points_border(ptr noundef %0,
53: ; preds = %45
%54 = load float, ptr %9, align 4, !tbaa !24
%55 = load ptr, ptr %2, align 8, !tbaa !113
%56 = load float, ptr %55, align 64, !tbaa !24
%56 = load float, ptr %55, align 4, !tbaa !24
%57 = fsub reassoc nsz arcp contract afn float %54, %56
%58 = load float, ptr %47, align 4, !tbaa !24
%59 = getelementptr inbounds nuw i8, ptr %55, i64 4
%60 = load float, ptr %59, align 4, !tbaa !24
%61 = fsub reassoc nsz arcp contract afn float %58, %60
call void @llvm.assume(i1 true) [ "align"(ptr %55, i64 64) ]
store float %54, ptr %55, align 64, !tbaa !24
store float %54, ptr %55, align 4, !tbaa !24
%62 = load float, ptr %47, align 4, !tbaa !24
store float %62, ptr %59, align 4, !tbaa !24
%63 = load i32, ptr %3, align 4, !tbaa !30
Expand All @@ -832,9 +831,9 @@ define internal range(i32 0, 2) i32 @_ellipse_get_points_border(ptr noundef %0,
%indvars.iv.i = phi i64 [ 5, %.lr.ph.preheader.i ], [ %indvars.iv.next.i, %.lr.ph.i ]
%.idx.i = shl nuw nsw i64 %indvars.iv.i, 3
%70 = getelementptr inbounds nuw i8, ptr %55, i64 %.idx.i
%71 = load float, ptr %70, align 8, !tbaa !24
%71 = load float, ptr %70, align 4, !tbaa !24
%72 = fadd reassoc nsz arcp contract afn float %57, %71
store float %72, ptr %70, align 8, !tbaa !24
store float %72, ptr %70, align 4, !tbaa !24
%73 = getelementptr inbounds nuw i8, ptr %70, i64 4
%74 = load float, ptr %73, align 4, !tbaa !24
%75 = fadd reassoc nsz arcp contract afn float %61, %74
Expand Down
Loading