"dataflow rewriting engine"
dgoldsmith at mac.com
Tue Aug 26 15:26:33 EDT 2008
Has there been any thought about working with the LLVM project? I
didn't find anything on the wiki along those lines.
On Aug 26, 2008, at 10:57 AM, Don Stewart wrote:
> I think we're all rather excited about seeing this stuff land.
> What's the expected timeline, wrt. ghc 6.10's release?
> -- Don
>> I've added some text and links to point the reader in the right
>> direction. Here's the new text, cribbed from the Wiki:
>> Dataflow optimization: We can define a new optimization simply by
>> defining a lattice of dataflow facts (akin to a specialized logic)
>> then writing the dataflow-transfer functions found in compiler
>> textbooks. Handing these functions to the dataflow engine produces a
>> new optimization that is not only useful on its own, but that can
>> easily be composed with other optimizations to create an integrated
>> "superoptimization" that is strictly more powerful than any sequence
>> of individual optimizations, no matter how many times they are re-
>> The dataflow engine is based on (Lerner, Grove, and Chambers 2002
>> http://citeseer.ist.psu.edu/old/lerner01composing.html); you can find
>> a functional implementation of the dataflow engine presented in
>> (Ramsey and Dias 2005
>> Let me know how I can further clarify the text,
>>> -----Original Message-----
>>> From: Simon Peyton-Jones
>>> Sent: Tuesday, August 26, 2008 1:32 PM
>>> To: Norman Ramsey; John Dias
>>> Cc: Chad Scherrer; GHC Users
>>> Subject: RE: "dataflow rewriting engine"
>>> Norman, John
>>> Would you care to respond to this? (Perhaps by amplifying the wiki
>>> page?) A good starting point is perhaps Craig's paper.
>>> | -----Original Message-----
>>> | From: glasgow-haskell-users-bounces at haskell.org [mailto:glasgow-
>>> haskell-users-bounces at haskell.org] On
>>> | Behalf Of Chad Scherrer
>>> | Sent: 22 August 2008 22:21
>>> | To: GHC Users
>>> | Subject: "dataflow rewriting engine"
>>> | Hello GHC,
>>> | This page
>>> | mentions a to-be-developed "dataflow rewriting engine". Can
>>> | please send a description of what this will do?
>>> | Thanks!
>>> | --
>>> | Chad Scherrer
>>> | "Time flies like an arrow; fruit flies like a banana" -- Groucho
>>> | _______________________________________________
>>> | Glasgow-haskell-users mailing list
>>> | Glasgow-haskell-users at haskell.org
>>> | http://www.haskell.org/mailman/listinfo/glasgow-haskell-users
>> Glasgow-haskell-users mailing list
>> Glasgow-haskell-users at haskell.org
> Glasgow-haskell-users mailing list
> Glasgow-haskell-users at haskell.org
More information about the Glasgow-haskell-users