Andreas Klebinger pushed to branch wip/andreask/ticked_joins at Glasgow Haskell Compiler / GHC Commits: b80db205 by Andreas Klebinger at 2025-10-04T14:36:19+02:00 Allow join jumps below sccs - - - - - 1 changed file: - compiler/GHC/Core/Opt/OccurAnal.hs Changes: ===================================== compiler/GHC/Core/Opt/OccurAnal.hs ===================================== @@ -2493,10 +2493,12 @@ occAnal env (Tick tickish body) WUD usage body' = occAnal env body usage' - | tickish `tickishScopesLike` SoftScope + | tickish `tickishScopesLike` SoftScope || isProfTick tickish = usage -- For soft-scoped ticks (including SourceNotes) we don't want -- to lose join-point-hood, so we don't mess with `usage` (#24078) + -- Similarly for cost centres. (#26157) + -- For a non-soft tick scope, we can inline lambdas only, so we -- abandon tail calls, and do markAllInsideLam too: usage_lam View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/b80db20562658913d164d6b541f1c777... -- View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/b80db20562658913d164d6b541f1c777... You're receiving this email because of your account on gitlab.haskell.org.