Inlining Wiki Page

Gabor Greif ggreif at gmail.com
Thu Jan 12 16:36:03 UTC 2017


Hello Tim!

I had a pet inlining ticket, which exposes some frivolous blowup:

https://ghc.haskell.org/trac/ghc/ticket/8901

It has been closed because nobody really knows how to proceed.

Anyway, I have just got the latest stats (appending to the ticket too)

$ ls -l ./libraries/time/dist-install/build/Data/Time/Format.*o
-rw-r--r-- 1 ggreif lb40 482568 Jan 12 16:24
./libraries/time/dist-install/build/Data/Time/Format.dyn_o
-rw-r--r-- 1 ggreif lb40 514776 Jan 12 16:24
./libraries/time/dist-install/build/Data/Time/Format.o

$ wc -l ./libraries/time/lib/Data/Time/Format.hs
254 ./libraries/time/lib/Data/Time/Format.hs
$ strip ./libraries/time/dist-install/build/Data/Time/Format.*o
$ ls -l ./libraries/time/dist-install/build/Data/Time/Format.*o
-rw-r--r-- 1 ggreif lb40 201512 Jan 12 17:26
./libraries/time/dist-install/build/Data/Time/Format.dyn_o
-rw-r--r-- 1 ggreif lb40 187712 Jan 12 17:26
./libraries/time/dist-install/build/Data/Time/Format.o

$ ghc -e "187712/254"
739.0236220472441

As you can see a single line of Format.hs gets compiled to 739 stripped bytes.

Maybe you are inclined to put this ticket on the Wiki list too?

Cheers,

    Gabor

On 1/11/17, Tim McGilchrist <timmcgil at gmail.com> wrote:
> Hi Matt,
>
> I noted this down last year as something I wanted to work on for this year.
> Just letting you know that I'm starting to look at some of the easier
> tickets in that page.
>
> Is there a good person or place to ask questions if I get stuck on
> anything?
>
> Cheers,
> Tim
>
> On Thursday, 4 August 2016, Matthew Pickering <matthewtpickering at gmail.com>
> wrote:
>
>> Dear Devs,
>>
>> I've spent the last day looking at the inliner. In doing so I updated
>> the wiki page about inlining to be a lot more useful to other people
>> wanting to understand the intricacies and problems.
>>
>> https://ghc.haskell.org/trac/ghc/wiki/Inlining
>>
>> This looks like the perfect place for a newcomer to start working on
>> GHC. The inliner is quite well contained, there are lots of open
>> tickets with well-specified aims and lots of investigatory work to be
>> done.
>>
>> So the purpose of this email is:
>>
>> 1. Please tag any tickets relevant to inlining/specialisation with
>> "Inlining"
>> 2. Any newcomers keen to get involved should read the wiki page and
>> see if they can tackle one of the tickets there.
>>
>> Matt
>> _______________________________________________
>> ghc-devs mailing list
>> ghc-devs at haskell.org <javascript:;>
>> http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs
>>
>


More information about the ghc-devs mailing list