On 26/07/13 22:56, Edward Z. Yang wrote:
Thank you Edward. I am aware of these requirements - my problem is writing the
code in which these
will always hold (I'm optimizing Cmm and hand-written Cmm files tend to cause
many problems that
don't appear in automatically generated Cmm). Having a
. Yang ezy...@mit.edu
DW: Simon Peyton-Jones simo...@microsoft.com, ghc-devs
ghc-devs@haskell.org
Wysłane: środa, 31 lipiec 2013 10:00:51
Temat: Re: Two Hoopl questions
For some reason they are ignored, or at least the rewritten code looks as if
only a single pass was done. I have facts represented
What happens when you put a loop in your code?
Edward
Excerpts from Jan Stolarek's message of Tue Jul 30 08:34:44 -0700 2013:
I'll allow myself to ask my second question again:
2) In my algorithm I need to initialize all of the blocks in a graph with
bottom element of a lattice, except for
I have two questions about using Hoopl:
1) I'm debugging some Hoopl transformations that often fall into an infinite
loop. Probably the easiest way to find the cause would be to allow only a
limited number of iterations and then examining the rewritten output. I think
that optimization fuel
...@p.lodz.pl
Do: ghc-devs ghc-devs@haskell.org
Wysłane: piątek, 26 lipiec 2013 10:50:01
Temat: Two Hoopl questions
I have two questions about using Hoopl:
1) I'm debugging some Hoopl transformations that often fall into an infinite
loop. Probably the easiest way to find the cause would be to allow
Hello Jan,
Re (1), there is an important invariant that your transformations should
uphold to avoid infinite loops. This invariant is described in the
Hoopl paper:
• The lattice must have no infinite ascending chains; that is,
every sequence of calls to fact_join must eventually return
Thank you Edward. I am aware of these requirements - my problem is writing the
code in which these
will always hold (I'm optimizing Cmm and hand-written Cmm files tend to cause
many problems that
don't appear in automatically generated Cmm). Having a debugging tool in form
of Fuel would be
Thank you Edward. I am aware of these requirements - my problem is writing
the code in which these
will always hold (I'm optimizing Cmm and hand-written Cmm files tend to cause
many problems that
don't appear in automatically generated Cmm). Having a debugging tool in form
of Fuel would
Yes it'll generate two uniques. I think that's fine.
Simon
| -Original Message-
| From: ghc-devs [mailto:ghc-devs-boun...@haskell.org] On Behalf Of Jan
Stolarek
| Sent: 26 July 2013 16:56
| To: ghc-devs
| Subject: Re: Two Hoopl questions
|
| OK, let's make it Three Hoopl