[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