Thank you both for explanations. I will try to clean up the code of Cmm
pipeline a little bit.
Janek
- Oryginalna wiadomość -
Od: "Simon Marlow"
Do: "Jan Stolarek"
DW: ghc-devs@haskell.org
Wysłane: czwartek, 11 lipiec 2013 17:52:49
Temat: Re: Some more questions about Cmm pipeline
1
1. Was a quick hack that I did sometime in the past, it probably didn't
work fully. Nowadays LLVM does loopification, so its not clear whether
there's any benefit to doing it in cmm (but maybe there's some other payoff
that we can get by doing it earlier).
2. Is Edward Yang's optimisation pass. Di
Theoretically, ARM supports stage2 with the home-grown linker and a
statically linked GHC, but last I understood, it can't build
dynamically. That's because building the compiler with LLVM
dynamically is unsupported, and ARM can only use the LLVM backend.
There may be hope though; in commit a42125
On Sat, Jul 6, 2013 at 2:55 PM, Ian Lynagh wrote:
> On Fri, Jul 05, 2013 at 12:14:06PM -0500, Nicolas Frisby wrote:
> >
> > I've been trying to let a statically-linked compiler shares its
> FastString
> > table with plugins.
>
> Why not use a dynamically linked compiler?
>
My main concern with t
On Thu, Jul 11, 2013 at 2:25 AM, Joachim Breitner
wrote:
> Hi,
>
> Am Mittwoch, den 10.07.2013, 14:42 -0500 schrieb Nicolas Frisby:
> > 2) Are the major GHC distributors planning on distributing
> > dynamically-linked ghc by default? GHC HQ, Haskell Platform,
> > http://www.haskell.org/ghc/distr
Hi,
despite my issues with recursive data types, I continued with the
implementation.
I now added the check if the data type arguments can safely be coerced.
I do not scan what is in scope for NT values to use, but rather expect
the progammer to promise the required witness when he uses "deriving
Hi Simon,
I have two questions about the Cmm pipeline:
1. I implemented a pass that replaces tail calls with a copy of the entry block
we're calling to. This is slightly extended version of loopification which will
hopefully enable further optimisations. Then I noticed that loopification pass
Hi,
Am Montag, den 08.07.2013, 09:39 + schrieb Simon Peyton-Jones:
> | > If you CAN do that, then it's ok (internally) to use ordinary coercion
> | > lifting, roughly
> | > ntT g = T g refl
> | > The above per-constructor-arg testing is just to make sure that all
> | > the relevant witnesses
Hi,
Am Mittwoch, den 10.07.2013, 14:42 -0500 schrieb Nicolas Frisby:
> 2) Are the major GHC distributors planning on distributing
> dynamically-linked ghc by default? GHC HQ, Haskell Platform,
> http://www.haskell.org/ghc/distribution_packages?
You are talking about the GHC binary itself, not