[m-dev.] diff: MLDS back-end: optimize static ground terms

[Fergus Henderson]

Estimated hours taken: 0.25

compiler/notes/compiler_design.html:
	Document the mark_static_terms module.

Workspace: /home/pgrad/fjh/ws/hg2
Index: compiler/notes/compiler_design.html
===================================================================
RCS file: /home/mercury1/repository/mercury/compiler/notes/compiler_design.html,v
retrieving revision 1.46
diff -u -d -r1.46 compiler_design.html
--- compiler/notes/compiler_design.html	2000/05/10 18:09:36	1.46
+++ compiler/notes/compiler_design.html	2000/05/22 20:28:41
@@ -898,6 +898,17 @@
 This back-end uses the Medium Level Data Structure (mlds.m) as its
 intermediate representation.
 
+<h4> 3b. pre-passes to annotate the HLDS </h4>
+
+Before code generation there is a pass which annotates the HLDS with
+information used for code generation:
+
+<ul>
+<li> mark_static_terms.m marks construction unifications
+     which can be implemented using static constants rather
+     than heap allocation.
+</ul>
+
 <h4> 4b. MLDS code generation </h4>
 <ul>
 <li> ml_code_gen.m converts HLDS code to MLDS.

-- 
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
--------------------------------------------------------------------------