[m-dev.] for review: MLDS back-end: library fixes

Fergus Henderson fjh at cs.mu.OZ.AU
Tue Dec 21 21:33:08 AEDT 1999


On 07-Dec-1999, Fergus Henderson <fjh at cs.mu.OZ.AU> wrote:
> Add support for the MLDS back-end (i.e. the `--high-level-code'
> option) to various parts of the standard library.
> 
> library/benchmarking.m: ...
> library/exception.m: ...
> library/math.m: ...

I'll commit those changes now, along with the following additional change:

library/gc.m:
	Add `#ifndef MR_HIGHLEVEL_CODE' around the calls to
	MR_clear_zone_for_GC(), since they depend on the details
	of the low-level execution model and are not required
	for --high-level-code.

Index: gc.m
===================================================================
RCS file: /home/mercury1/repository/mercury/library/gc.m,v
retrieving revision 1.1
diff -u -d -u -r1.1 gc.m
--- gc.m	1999/10/05 20:21:37	1.1
+++ gc.m	1999/12/06 19:22:14
@@ -40,10 +40,12 @@
 
 :- pragma c_code(garbage_collect, [will_not_call_mercury], "
 #ifdef CONSERVATIVE_GC
+  #ifndef MR_HIGHLEVEL_CODE
 	/* clear out the stacks and registers before garbage collecting */
 	MR_clear_zone_for_GC(MR_CONTEXT(detstack_zone), MR_sp + 1);
 	MR_clear_zone_for_GC(MR_CONTEXT(nondetstack_zone), MR_maxfr + 1);
 	MR_clear_regs_for_GC();
+  #endif
 
 	GC_gcollect();
 #endif

-- 
Fergus Henderson <fjh at cs.mu.oz.au>  |  "I have always known that the pursuit
WWW: <http://www.cs.mu.oz.au/~fjh>  |  of excellence is a lethal habit"
PGP: finger fjh at 128.250.37.3        |     -- 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
--------------------------------------------------------------------------



More information about the developers mailing list