hoopl questions

Brett Letner brettletner at gmail.com
Mon Oct 21 14:12:34 UTC 2013

Hi all -

Some (beginner) hoopl questions:

1) There doesn't seem to be a "run" function or a way to create FuelMonads.
 I found runWithFuel, getFuel and setFuel, but they are in the hidden
Compiler.Hoopl.Fuel module.  This is ghc version 7.6.3 and hoopl version

2) Are there any examples that show "inlining" empty graphs/blocks?

Suppose I have a C C graph that looks like this:

label 12:
goto 13;

I'd like to rewrite all the occurrences of label 12 to label 13 and
eliminate the label 12 graph (from what I've seen this will happen
automatically once all the label 12 references are gone).

3) How about inlining single use graphs?

Suppose I have two C C graphs that look like this:

label 15:
<nodes O O>
goto 16;

label 16:
<nodes O O>
<node O C>

If the only reference to label 16 is from the label 15 graph, then I'd like
to rewrite it as:
label 15:
<nodes O O from label 15>
<nodes O O from label 16>
<node O C from label 16>

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/ghc-devs/attachments/20131021/3f4ef163/attachment.html>

More information about the ghc-devs mailing list