Skip to content

build: Go Linktime-like Unreachable Method Pruning #1736

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
luoliwoshang wants to merge 18 commits into
base: main
Choose a base branch
from
Open

build: Go Linktime-like Unreachable Method Pruning #1736

Show file tree
Hide file tree
Changes from 7 commits
Commits
Show all changes
18 commits
Select commit Hold shift + click to select a range
c0efc83
ssa: emit llgo.useiface metadata
luoliwoshang Mar 18, 2026
633db7a
ssa: emit methodoff and useifacemethod metadata
luoliwoshang Mar 18, 2026
9e22cde
ssa: encode metadata owners by symbol name
luoliwoshang Mar 19, 2026
f36871a
ssa: add named metadata readback tests
luoliwoshang Mar 19, 2026
6cad6b2
ssa: emit reflect method metadata
luoliwoshang Mar 19, 2026
520127c
build: add dce analyzer skeleton
luoliwoshang Mar 20, 2026
e2bfe04
build: read dce analyzer input from modules
luoliwoshang Mar 20, 2026
149f7bd
build: analyze method reachability from dce input
luoliwoshang Mar 20, 2026
2f36935
build: test dce analyzer on ll output
luoliwoshang Mar 20, 2026
151e43f
build: cover invoke analyzer output
luoliwoshang Mar 20, 2026
d547fb6
build: stabilize dce analyzer output
luoliwoshang Mar 20, 2026
7894ff1
build: expand dce analyzer golden coverage
luoliwoshang Mar 20, 2026
a22df50
build: emit dce type overrides
luoliwoshang Mar 20, 2026
46482c5
build: gate dce logs on verbose
luoliwoshang Mar 21, 2026
8cb8d6a
build: skip reflect rtype dce overrides
luoliwoshang Mar 21, 2026
871f4ee
Merge remote-tracking branch 'upstream/main' into codex/dce-analyzer-…
luoliwoshang Apr 10, 2026
c5fe2e0
ssa: preserve abi method string emission
luoliwoshang Apr 10, 2026
be204e0
cl: refresh golden ll outputs
luoliwoshang Apr 10, 2026
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
4 changes: 4 additions & 0 deletions cl/_testdata/embedunexport/out.ll
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -60,3 +60,7 @@ _llgo_2: ; preds = %_llgo_1, %_llgo_0
declare ptr @"github.com/goplus/llgo/runtime/internal/runtime.AllocZ"(i64)

declare ptr @"github.com/goplus/llgo/runtime/internal/runtime.IfacePtrData"(%"github.com/goplus/llgo/runtime/internal/runtime.iface")

!llgo.useifacemethod = !{!0}

!0 = !{!"github.com/goplus/llgo/cl/_testdata/embedunexport.Use", !"_llgo_github.com/goplus/llgo/cl/_testdata/embedunexport.Object", !"github.com/goplus/llgo/cl/_testdata/embedunexport.setName", !"_llgo_func$dlTgtqQDYoqfVBQYEBE1Fa3ytcia1pdKaKVOnw8ZjkA"}
5 changes: 5 additions & 0 deletions cl/_testdata/foo/out.ll
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -121,3 +121,8 @@ declare void @"github.com/goplus/llgo/runtime/internal/runtime.PrintString"(%"gi
declare void @"github.com/goplus/llgo/runtime/internal/runtime.PrintByte"(i8)

attributes #0 = { nocallback nofree nounwind willreturn memory(argmem: write) }

!llgo.useiface = !{!0, !1}

!0 = !{!"github.com/goplus/llgo/cl/_testdata/foo.Bar", !"_llgo_struct$K-dZ9QotZfVPz2a0YdRa9vmZUuDXPTqZOlMShKEDJtk"}
!1 = !{!"github.com/goplus/llgo/cl/_testdata/foo.F", !"github.com/goplus/llgo/cl/_testdata/foo.struct$MYpsoM99ZwFY087IpUOkIw1zjBA_sgFXVodmn1m-G88"}
4 changes: 4 additions & 0 deletions cl/_testdata/geometry1370/out.ll
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -88,3 +88,7 @@ _llgo_2: ; preds = %_llgo_1, %_llgo_0
declare ptr @"github.com/goplus/llgo/runtime/internal/runtime.AllocZ"(i64)

declare ptr @"github.com/goplus/llgo/runtime/internal/runtime.IfacePtrData"(%"github.com/goplus/llgo/runtime/internal/runtime.iface")

!llgo.useifacemethod = !{!0}

!0 = !{!"github.com/goplus/llgo/cl/_testdata/geometry1370.RegisterShape", !"_llgo_github.com/goplus/llgo/cl/_testdata/geometry1370.Shape", !"github.com/goplus/llgo/cl/_testdata/geometry1370.setID", !"_llgo_func$VZ-8VPNF1RaLICwxc1Ghn7BbgyFX3v762OCdx127EkA"}
18 changes: 18 additions & 0 deletions cl/_testdata/print/out.ll
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -1206,3 +1206,21 @@ _llgo_0:
}

declare %"github.com/goplus/llgo/runtime/internal/runtime.Slice" @"github.com/goplus/llgo/runtime/internal/runtime.NewSlice3"(ptr, i64, i64, i64, i64, i64)

!llgo.useiface = !{!0, !1, !2, !3, !4, !5, !6, !7, !8, !9, !10, !11, !12, !13, !14}

!0 = !{!"github.com/goplus/llgo/cl/_testdata/print.main", !"_llgo_float32"}
!1 = !{!"github.com/goplus/llgo/cl/_testdata/print.main", !"_llgo_float64"}
!2 = !{!"github.com/goplus/llgo/cl/_testdata/print.main", !"_llgo_string"}
!3 = !{!"github.com/goplus/llgo/cl/_testdata/print.main", !"_llgo_bool"}
!4 = !{!"github.com/goplus/llgo/cl/_testdata/print.main", !"_llgo_int32"}
!5 = !{!"github.com/goplus/llgo/cl/_testdata/print.main", !"_llgo_int8"}
!6 = !{!"github.com/goplus/llgo/cl/_testdata/print.main", !"_llgo_int16"}
!7 = !{!"github.com/goplus/llgo/cl/_testdata/print.main", !"_llgo_int64"}
!8 = !{!"github.com/goplus/llgo/cl/_testdata/print.main", !"_llgo_int"}
!9 = !{!"github.com/goplus/llgo/cl/_testdata/print.main", !"_llgo_uint8"}
!10 = !{!"github.com/goplus/llgo/cl/_testdata/print.main", !"_llgo_uint16"}
!11 = !{!"github.com/goplus/llgo/cl/_testdata/print.main", !"_llgo_uint32"}
!12 = !{!"github.com/goplus/llgo/cl/_testdata/print.main", !"_llgo_uint64"}
!13 = !{!"github.com/goplus/llgo/cl/_testdata/print.main", !"_llgo_uintptr"}
!14 = !{!"github.com/goplus/llgo/cl/_testdata/print.main", !"_llgo_complex128"}
5 changes: 5 additions & 0 deletions cl/_testdata/vargs/out.ll
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -120,3 +120,8 @@ declare ptr @"github.com/goplus/llgo/runtime/internal/runtime.AllocU"(i64)
declare void @"github.com/goplus/llgo/runtime/internal/runtime.Panic"(%"github.com/goplus/llgo/runtime/internal/runtime.eface")

declare i32 @printf(ptr, ...)

!llgo.useiface = !{!0, !1}

!0 = !{!"github.com/goplus/llgo/cl/_testdata/vargs.main", !"_llgo_int"}
!1 = !{!"github.com/goplus/llgo/cl/_testdata/vargs.test", !"_llgo_string"}
589 changes: 365 additions & 224 deletions cl/_testgo/abimethod/out.ll
View file
Open in desktop

Large diffs are not rendered by default.

11 changes: 11 additions & 0 deletions cl/_testgo/closureall/out.ll
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -274,3 +274,14 @@ _llgo_0:
declare ptr @"github.com/goplus/llgo/runtime/internal/runtime.IfacePtrData"(%"github.com/goplus/llgo/runtime/internal/runtime.iface")

attributes #0 = { nocallback nofree nounwind willreturn memory(argmem: write) }

!llgo.useiface = !{!0, !1}
!llgo.methodoff = !{!2, !3, !4}
!llgo.useifacemethod = !{!5}

!0 = !{!"github.com/goplus/llgo/cl/_testgo/closureall.main", !"*_llgo_github.com/goplus/llgo/cl/_testgo/closureall.S"}
!1 = !{!"github.com/goplus/llgo/cl/_testgo/closureall.main", !"_llgo_string"}
!2 = !{!"_llgo_github.com/goplus/llgo/cl/_testgo/closureall.S", i32 0, !"Inc", !"_llgo_func$ekGNsrYBSzltfAjxbl6T8H6Yq8j16wzqS3nDj2xxGMU"}
!3 = !{!"*_llgo_github.com/goplus/llgo/cl/_testgo/closureall.S", i32 0, !"Add", !"_llgo_func$ekGNsrYBSzltfAjxbl6T8H6Yq8j16wzqS3nDj2xxGMU"}
!4 = !{!"*_llgo_github.com/goplus/llgo/cl/_testgo/closureall.S", i32 1, !"Inc", !"_llgo_func$ekGNsrYBSzltfAjxbl6T8H6Yq8j16wzqS3nDj2xxGMU"}
!5 = !{!"github.com/goplus/llgo/cl/_testgo/closureall.interface{Add(int) int}.Add$bound", !"_llgo_iface$VdBKYV8-gcMjZtZfcf-u2oKoj9Lu3VXwuG8TGCW2S4A", !"Add", !"_llgo_func$ekGNsrYBSzltfAjxbl6T8H6Yq8j16wzqS3nDj2xxGMU"}
Loading
Loading