[m-dev.] for review: Bytecode changes

[Fergus Henderson]

On 05-Jan-2001, Levi Cameron <l.cameron2 at ugrad.unimelb.edu.au> wrote:
> 
> Estimated hours taken: 0.5
> 
> Various changes to bytecode format & generator
> 
> compiler/bytecode_gen.m
> compiler/bytecode.m
>        Added temp slot for semidet procedures
>        (to store success indicator, needed because the same fail
>        bytecode is used whenever there is a redo needed in any part
>        of the program)
> 
>        Added label to each enter_proc indicating where the corresponding
>        endof_proc is (needed for semidet failure and also used for
>        endof_proc to work out the attributes [temp slots, vars etc]
>        of the procedure it is in)
> 
>        Added enter_negation_goal bytecode so that negations can be
>        handled; enter_negation and endof_negation is not enough. Also
>        added a temporary stack slot for each negation.

Those changes look OK to me.

-- 
Fergus Henderson <fjh at cs.mu.oz.au>  |  "I have always known that the pursuit
                                    |  of excellence is a lethal habit"
WWW: <http://www.cs.mu.oz.au/~fjh>  |     -- the last words of T. S. Garp.
--------------------------------------------------------------------------
mercury-developers mailing list
Post messages to:       mercury-developers at cs.mu.oz.au
Administrative Queries: owner-mercury-developers at cs.mu.oz.au
Subscriptions:          mercury-developers-request at cs.mu.oz.au
--------------------------------------------------------------------------