[FYI] LLVM: function prefix data (a.k.a. tables-next-to-code) committed - ghc-devs - Haskell.org

newer
Safe Haskell and abstraction

[FYI] LLVM: function prefix data (a.k.a. tables-next-to-code) committed

older
Today's validation failures

Gabor Greif

16 Sep 2013 16 Sep '13

9:14 p.m.

This looks pretty exiting for LLVM IR-generation: http://lists.cs.uiuc.edu/pipermail/llvm-commits/Week-of-Mon-20130909/188042.... GHC 7.10 might generate LLVM IR including embedded tables without resorting to linker tricks/postprocessing when targeting LLVM 3.4! The relevant LLVM bug is http://llvm.org/bugs/show_bug.cgi?id=14080 and GHC Trac: http://ghc.haskell.org/trac/ghc/ticket/4213 Cheers, Gabor

Reply

Sign in to reply online Use email software

Show replies by date

Carter Schonwald

16 Sep 16 Sep

9:51 p.m.

yup! its exciting. we were talking about this a bit earlier today on #haskell-llvm, and it sounds doable. There were some concerns that folks had, but hopefully we can give the llvm devs feedback about this before its finalized in LLVM 3.4 so it doesn't come with any performance caveats for ghc. On Mon, Sep 16, 2013 at 5:14 PM, Gabor Greif wrote:

This looks pretty exiting for LLVM IR-generation:

http://lists.cs.uiuc.edu/pipermail/llvm-commits/Week-of-Mon-20130909/188042....

GHC 7.10 might generate LLVM IR including embedded tables without resorting to linker tricks/postprocessing when targeting LLVM 3.4!

The relevant LLVM bug is http://llvm.org/bugs/show_bug.cgi?id=14080

and GHC Trac: http://ghc.haskell.org/trac/ghc/ticket/4213

Cheers,

Gabor _______________________________________________ ghc-devs mailing list ghc-devs@haskell.org http://www.haskell.org/mailman/listinfo/ghc-devs

Reply

Sign in to reply online Use email software

Gabor Greif

10:09 p.m.

On 9/16/13, Carter Schonwald wrote:

yup! its exciting.

we were talking about this a bit earlier today on #haskell-llvm, and it sounds doable. There were some concerns that folks had, but hopefully we can give the llvm devs feedback about this before its finalized in LLVM 3.4 so it doesn't come with any performance caveats for ghc.

I almost sobered when I read that there must be a machine instruction embedded in the prefix, but looking at the testcases this doesn't appear like being mandatory. The prefix can be a simple struct, just like TNTC.

On Mon, Sep 16, 2013 at 5:14 PM, Gabor Greif wrote:

...
This looks pretty exiting for LLVM IR-generation:

http://lists.cs.uiuc.edu/pipermail/llvm-commits/Week-of-Mon-20130909/188042....

GHC 7.10 might generate LLVM IR including embedded tables without resorting to linker tricks/postprocessing when targeting LLVM 3.4!

The relevant LLVM bug is http://llvm.org/bugs/show_bug.cgi?id=14080

and GHC Trac: http://ghc.haskell.org/trac/ghc/ticket/4213

Cheers,

Gabor _______________________________________________ ghc-devs mailing list ghc-devs@haskell.org http://www.haskell.org/mailman/listinfo/ghc-devs

Reply

Sign in to reply online Use email software

Nathan Howell

17 Sep 17 Sep

3:42 a.m.

May not be mandatory but it certainly just emits the values directly before the prologue... I'm guessing this doesn't affect IR level optimizations but likely breaks machine code optimizations without a relative jump to the body in the prefix-data. https://gist.github.com/NathanHowell/6589820 -n On Mon, Sep 16, 2013 at 3:09 PM, Gabor Greif wrote:

On 9/16/13, Carter Schonwald wrote:

...
yup! its exciting.

we were talking about this a bit earlier today on #haskell-llvm, and it sounds doable. There were some concerns that folks had, but hopefully we can give the llvm devs feedback about this before its finalized in LLVM 3.4 so it doesn't come with any performance caveats for ghc.

I almost sobered when I read that there must be a machine instruction embedded in the prefix, but looking at the testcases this doesn't appear like being mandatory. The prefix can be a simple struct, just like TNTC.

...
On Mon, Sep 16, 2013 at 5:14 PM, Gabor Greif wrote:

...
This looks pretty exiting for LLVM IR-generation:

http://lists.cs.uiuc.edu/pipermail/llvm-commits/Week-of-Mon-20130909/188042....

...
...
GHC 7.10 might generate LLVM IR including embedded tables without resorting to linker tricks/postprocessing when targeting LLVM 3.4!

The relevant LLVM bug is http://llvm.org/bugs/show_bug.cgi?id=14080

and GHC Trac: http://ghc.haskell.org/trac/ghc/ticket/4213

Cheers,

Gabor _______________________________________________ ghc-devs mailing list ghc-devs@haskell.org http://www.haskell.org/mailman/listinfo/ghc-devs

_______________________________________________ ghc-devs mailing list ghc-devs@haskell.org http://www.haskell.org/mailman/listinfo/ghc-devs

Reply

Sign in to reply online Use email software

Johan Tibell

16 Sep 16 Sep

10:58 p.m.

We should make sure that someone that understands this issue talks to them ASAP. On Mon, Sep 16, 2013 at 2:51 PM, Carter Schonwald < carter.schonwald@gmail.com> wrote:

yup! its exciting.

we were talking about this a bit earlier today on #haskell-llvm, and it sounds doable. There were some concerns that folks had, but hopefully we can give the llvm devs feedback about this before its finalized in LLVM 3.4 so it doesn't come with any performance caveats for ghc.

On Mon, Sep 16, 2013 at 5:14 PM, Gabor Greif wrote:

...
This looks pretty exiting for LLVM IR-generation:

http://lists.cs.uiuc.edu/pipermail/llvm-commits/Week-of-Mon-20130909/188042....

GHC 7.10 might generate LLVM IR including embedded tables without resorting to linker tricks/postprocessing when targeting LLVM 3.4!

The relevant LLVM bug is http://llvm.org/bugs/show_bug.cgi?id=14080

and GHC Trac: http://ghc.haskell.org/trac/ghc/ticket/4213

Cheers,

Gabor _______________________________________________ ghc-devs mailing list ghc-devs@haskell.org http://www.haskell.org/mailman/listinfo/ghc-devs

_______________________________________________ ghc-devs mailing list ghc-devs@haskell.org http://www.haskell.org/mailman/listinfo/ghc-devs

Reply

Sign in to reply online Use email software

4310

Age (days ago)

4311

Last active (days ago)

Download

4 comments

4 participants

tags

participants (4)

Carter Schonwald
Gabor Greif
Johan Tibell
Nathan Howell