What's preventing inlining GHC.Magic.lazy?
Ömer Sinan Ağacan
omeragacan at gmail.com
Wed Jul 17 11:39:02 UTC 2019
Thanks Matt, that makes sense.
I applied the same idea to another Id and now it's also never inlined now, so I
can confirm that this works.
Matthew Pickering <matthewtpickering at gmail.com>, 17 Tem 2019 Çar,
11:05 tarihinde şunu yazdı:
> I think it doesn't get inlined because we don't add an unfolding in
> the definition of `lazyId` in `MkId`.
> The definition in `GHC.Magic` is just for documentation I think.
> On Wed, Jul 17, 2019 at 8:46 AM Ömer Sinan Ağacan <omeragacan at gmail.com> wrote:
> > Hi Simon,
> > I'm trying to understand what's preventing inlining GHC.Magic.lazy. I can see
> > with -ddump-simpl -ddump-simpl-iterations -ddump-prep that we only eliminate it
> > in CorePrep, so it's preserved during simplifications and tidying, but I don't
> > see how. It doesn't have a NOINLINE pragma, and we don't check whether the id
> > we're inlining is lazyId (using MkId.lazyId or MkId.lazyIdKey) anywhere in the
> > compiler as far as I can see.
> > I also checked Note [lazyId magic] in MkId, but it doesn't explain how we avoid
> > inlining it.
> > Could you say a few words on this?
> > Thanks
> > Ömer
> > _______________________________________________
> > ghc-devs mailing list
> > ghc-devs at haskell.org
> > http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs
More information about the ghc-devs