Occurrence info on binders and STG

Previous Topic Next Topic
 
classic Classic list List threaded Threaded
2 messages Options
Reply | Threaded
Open this post in threaded view
|  
Report Content as Inappropriate

Occurrence info on binders and STG

Gabor Greif-2
Hi devs!

I just had a short exchange with Joachim, he sent me to this place.

Can anybody explain how occurrence info is used in STG?

Cheers and thanks,

    Gabor

---------- Forwarded message ----------
From: Joachim Breitner <[hidden email]>
Date: Tue, 01 Aug 2017 10:47:48 -0400
Subject: Re: [commit: ghc] master: Simplify OccurAnal.tagRecBinders (b311096)
To: Gabor Greif <[hidden email]>

Hi,

feel free to CC the mailing list on such questions. I often don’t know
things perfectly either.

Am Dienstag, den 01.08.2017, 16:43 +0200 schrieb Gabor Greif:

>
> Loosely related question:

Very loosely :-)


>  - when doing STG Cse, the occurrence info is not updated when a
> wild(card)-binder is used. Is there a recommended way to re-run
> occ-analysis on STG? (I fear there is not.)

I fear that too. It the occ info used past that stage?

>  - I noticed that "wild"-binders sometimes do not appear at their
> binding site (after "of" and "{") in STG dumps. Dumping gets
> suppressed when they are deemed dead. Should STG consider occ-info at
> all?

Good questions. I remember that Simon commented on that before, but I
don’t remember where…


> oachim
--
Joachim “nomeata” Breitner
  [hidden email]https://www.joachim-breitner.de/
  XMPP: [hidden email] • OpenPGP-Key: 0xF0FBF51F
  Debian Developer: [hidden email]
_______________________________________________
ghc-devs mailing list
[hidden email]
http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs
Reply | Threaded
Open this post in threaded view
|  
Report Content as Inappropriate

RE: Occurrence info on binders and STG

GHC - devs mailing list
Can you be more specific?  I don’t think occurrence info is used at all in STG.

Simon

| -----Original Message-----
| From: ghc-devs [mailto:[hidden email]] On Behalf Of Gabor
| Greif
| Sent: 01 August 2017 16:02
| To: ghc-devs <[hidden email]>
| Subject: Occurrence info on binders and STG
|
| Hi devs!
|
| I just had a short exchange with Joachim, he sent me to this place.
|
| Can anybody explain how occurrence info is used in STG?
|
| Cheers and thanks,
|
|     Gabor
|
| ---------- Forwarded message ----------
| From: Joachim Breitner <[hidden email]>
| Date: Tue, 01 Aug 2017 10:47:48 -0400
| Subject: Re: [commit: ghc] master: Simplify OccurAnal.tagRecBinders
| (b311096)
| To: Gabor Greif <[hidden email]>
|
| Hi,
|
| feel free to CC the mailing list on such questions. I often don’t know
| things perfectly either.
|
| Am Dienstag, den 01.08.2017, 16:43 +0200 schrieb Gabor Greif:
|
| >
| > Loosely related question:
|
| Very loosely :-)
|
|
| >  - when doing STG Cse, the occurrence info is not updated when a
| > wild(card)-binder is used. Is there a recommended way to re-run
| > occ-analysis on STG? (I fear there is not.)
|
| I fear that too. It the occ info used past that stage?
|
| >  - I noticed that "wild"-binders sometimes do not appear at their
| > binding site (after "of" and "{") in STG dumps. Dumping gets
| > suppressed when they are deemed dead. Should STG consider occ-info at
| > all?
|
| Good questions. I remember that Simon commented on that before, but I
| don’t remember where…
|
|
| > oachim
| --
| Joachim “nomeata” Breitner
|   [hidden email]
| https://na01.safelinks.protection.outlook.com/?url=https%3A%2F%2Fwww.joac
| him-
| breitner.de%2F&data=04%7C01%7Csimonpj%40microsoft.com%7Cf811a87d003a4dd67
| ae908d4d8ee5b7a%7C72f988bf86f141af91ab2d7cd011db47%7C1%7C0%7C636371965641
| 220522%7CUnknown%7CVW5rbm93bnx7IlYiOiIwLjAuMDAwMCIsIlAiOiJXaW4zMiIsIkFOIj
| oiT3RoZXIifQ%3D%3D%7C-
| 1&sdata=cKuY1cGPJnfqqaV1wwGU5qCORpiquDNbDeA0ppgKH%2Bc%3D&reserved=0
|   XMPP: [hidden email] • OpenPGP-Key: 0xF0FBF51F
|   Debian Developer: [hidden email]
| _______________________________________________
| ghc-devs mailing list
| [hidden email]
| https://na01.safelinks.protection.outlook.com/?url=http%3A%2F%2Fmail.hask
| ell.org%2Fcgi-bin%2Fmailman%2Flistinfo%2Fghc-
| devs&data=04%7C01%7Csimonpj%40microsoft.com%7Cf811a87d003a4dd67ae908d4d8e
| e5b7a%7C72f988bf86f141af91ab2d7cd011db47%7C1%7C0%7C636371965641220522%7CU
| nknown%7CVW5rbm93bnx7IlYiOiIwLjAuMDAwMCIsIlAiOiJXaW4zMiIsIkFOIjoiT3RoZXIi
| fQ%3D%3D%7C-
| 1&sdata=IZBnhS28yxzjesQY%2B6j8%2B330rL1Vx2WO60r9nxPnOU0%3D&reserved=0
_______________________________________________
ghc-devs mailing list
[hidden email]
http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs
Loading...