"dataflow rewriting engine"

[Deborah Goldsmith]

Has there been any thought about working with the LLVM project? I  
didn't find anything on the wiki along those lines.

Thanks,
Deborah

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
>
> t-jodias:
>> 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)  
>> and
>> 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- 
>> run.
>> 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
>> http://www.cs.tufts.edu/~nr/pubs/zipcfg-abstract.html).
>>
>> Let me know how I can further clarify the text,
>> -j
>>
>>> -----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.
>>>
>>> Simon
>>>
>>> | -----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
>>> |
>>> http://hackage.haskell.org/trac/ghc/wiki/Commentary/Compiler/Integrated
>>> CodeGen
>>> | mentions a to-be-developed "dataflow rewriting engine". Can  
>>> someone
>>> | please send a description of what this will do?
>>> |
>>> | Thanks!
>>> | --
>>> |
>>> | Chad Scherrer
>>> |
>>> | "Time flies like an arrow; fruit flies like a banana" -- Groucho  
>>> Marx
>>> | _______________________________________________
>>> | 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
>> http://www.haskell.org/mailman/listinfo/glasgow-haskell-users
>>
> _______________________________________________
> Glasgow-haskell-users mailing list
> Glasgow-haskell-users at haskell.org
> http://www.haskell.org/mailman/listinfo/glasgow-haskell-users