[m-dev.] diff: update compiler_design.html

Simon Taylor stayl at cs.mu.OZ.AU
Tue Jul 13 12:18:01 AEST 1999


Estimated hours taken: 0.2

compiler/notes/compiler_design.html:
	Document bytecode_data.m, rl_opt.m and rl_relops.m.

Index: compiler_design.html
===================================================================
RCS file: /home/staff/zs/imp/mercury/compiler/notes/compiler_design.html,v
retrieving revision 1.28
diff -u -u -r1.28 compiler_design.html
--- compiler_design.html	1999/07/10 07:20:09	1.28
+++ compiler_design.html	1999/07/13 02:08:55
@@ -769,6 +769,8 @@
 <ul>
 <li> rl_gen.m converts HLDS to RL.
 
+<li> rl_relops.m generates RL for relational operations such as joins.
+
 <li> rl_info.m defines a state type.
 
 <li> rl.m defines the the representation of Aditi-RL used within the
@@ -781,6 +783,8 @@
 <h3> 8. Aditi-RL optimization </h3>
 
 <ul>
+<li> rl_opt.m invokes the RL optimization passes.
+
 <li> rl_block.m converts an RL procedure into basic blocks, and performs
   other tasks such as detecting the loops in those basic blocks.
 
@@ -844,6 +848,9 @@
   form is emitted into <filename>.bytedebug for visual inspection.
 
 <li> bytecode_gen.m contains the predicates that translate HLDS into bytecode.
+
+<li> bytecode_data.m contains the predicates that translate ints, strings
+  and floats into bytecode. This is also used by rl_code.m.
 </ul>
 
 <hr>
--------------------------------------------------------------------------
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