I suspect I've found a situation where, to a first approximation, I'd like
SpecConstr to run more than once.
I'm specializing on GADT constructors that contain coercions, so the
constructor-specialized functions have RHSs with refined types. In my
situation, those refined types enable simplificati
Right now there isn't really an overlap with LLVM passes. In general
the feeling of many of the GHC developers is that we don't want to
spend time duplicating what LLVM already does. That said, GHC is an
open source project so someone may be inclined to do so and there
isn't a lot of reason not to
On Mon, Dec 10, 2012 at 2:24 PM, Greg Fitzgerald wrote:
> Should one group be stealing ideas from the other? Or apples and oranges?
In my opinion we should only implement optimizations in Hoopl that
LLVM cannot do due to lack high-level information that we might have
gotten rid of before we reac
Hello Greg,
Hoopl passes live in compiler/cmm; searching for DataflowLattice will
turn up lattice definitions which are the core of the analyses and rewrites.
Unfortunately, the number of true Hoopl optimizations was somewhat reduced
when Simon Marlow did aggressive performance optimizations to ge
I don't know my way around the GHC source tree. How can I get the list of
optimizations implemented with Hoopl? Is there overlap with LLVM's
optimization passes? If so, has anyone compared the implementations at
all? Should one group be stealing ideas from the other? Or apples and
oranges?
Th
On Sun, Dec 9, 2012 at 10:39 PM, Ian Lynagh wrote:
> Please test as much as possible; bugs are much cheaper if we find them
> before the release!
>
I tried to build the source tarball on Mac OS X 10.5.8. I used GHC 7.6.1,
which I also built myself (without any problem) and installed in
/Library/F
On Mon, 2012-12-10 at 10:58 +, Simon Marlow wrote:
> On 08/12/12 23:12, Yuras Shumovich wrote:
> > I tried to hack stg_putMVarzh directly:
> >
> > if (enabled_capabilities == 1) {
> > info = GET_INFO(mvar);
> > } else {
> > ("ptr" info) = ccall lockClosure(mvar "ptr"
On 08/12/12 23:12, Yuras Shumovich wrote:
Hi,
I'm working on that issue as an exercise/playground while studding the
GHC internals: http://hackage.haskell.org/trac/ghc/ticket/693
It's not at all clear that we want to do this. Perhaps you'll be able
to put the question to rest and close the t
On 09/12/12 21:39, Ian Lynagh wrote:
We are pleased to announce the first release candidate for GHC 7.6.2:
http://www.haskell.org/ghc/dist/7.6.2-rc1/
This includes the source tarball, installers for Windows, and
bindists for Windows, Linux, OS X and FreeBSD, on x86 and x86_64.
We plan to