Remove unnecessary jumps in labLang #131

xrchz opened this Issue Jul 27, 2016 · 2 comments


None yet

1 participant

xrchz commented Jul 27, 2016

Currently, compilation into labLang produces places where an unconditional jump jumps to the next instruction. Such jumps should be rewritten to Skip (which gets deleted by lab_filter) .

xrchz commented Aug 3, 2016

I believe @cmr is working on this.

@myreen myreen added a commit that referenced this issue Aug 4, 2016
@myreen myreen Make clos_to_bvl sort the code-table entries
The sorting ensures that code for a closure appears
immediately before any clos_call entry for the body
of the closure. The hope is that this will mean that
the tail-call from the code table entry in the closure
can in most cases be optimised to a Skip in LabLang
and then removed (see #131).
xrchz commented Dec 13, 2016

@cmr no longer working on this; I might take over when I find some time.

@xrchz xrchz self-assigned this Dec 13, 2016
@xrchz xrchz added a commit that referenced this issue Dec 23, 2016
@xrchz xrchz Prove lab_simp correct
Progress on #131 - just need to integrate into rest of compiler.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment