Home My Page Projects Code Snippets Project Openings SML/NJ
Summary Activity Forums Tracker Lists Tasks Docs Surveys News SCM Files

SCM Repository

[smlnj] Diff of /sml/trunk/HISTORY
ViewVC logotype

Diff of /sml/trunk/HISTORY

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 1159, Fri Mar 22 03:18:24 2002 UTC revision 1332, Sun May 18 03:21:16 2003 UTC
# Line 13  Line 13 
13  Description:  Description:
14    
15  ----------------------------------------------------------------------  ----------------------------------------------------------------------
16    Name: Matthias Blume (blume@tti-c.org)
17    Date: 2003/05/17 10:20:00 CDT
18    Tag: blume-20030517-absyn
19    Description:
20    
21    1. Added cases for IF, WHILE, ANDALSO, and ORELSE to Absyn.
22    
23       This mainly affects the quality of error messages.  However, some
24       of the code is now more straightforward than before. (Treatment of
25       the above four constructs in translate.sml is much simpler than
26       the "macro-expansion" that was going on before.  Plus, the mach-
27       compiler no longer gets invoked just to be able to compile an
28       if-expression.)
29    
30    2. The ErrorMsg.Error exception is now caught and absorbed by the
31       interactive loop.
32    
33    ----------------------------------------------------------------------
34    Name: Allen Leung
35    Date: 2003/05/16 13:05:00 CDT
36    Tag: leunga-20030516-cygwin-runtime
37    Description:
38    
39        Ported the runtime system to cygwin, which uses the unix
40    x86-unix bin files.  Missing/buggy features:
41    
42       o getnetbyname, getnetbyaddr: these functions seem to be missing in
43         the Cygwin library.
44       o Ctrl-C handling may be flaky.
45       o Windows system calls and Windows I/O are not supported.
46    
47       A new set of binfiles is located at:
48    
49         http://www.dorsai.org/~leunga/boot.x86-unix.tgz
50    
51       This is only needed for bootstrapping the cygwin version of smlnj.
52       Other x86 versions can use the existing binfiles.
53    
54    ----------------------------------------------------------------------
55    Name: Matthias Blume
56    Date: 2003/04/08 15:42:00 CDT
57    Tag: blume-20030408-listpair
58    Description:
59    
60    1. Added a target 'mlrisc' to installer.
61    
62    2. Added missing elements to structure ListPair.
63    
64    ----------------------------------------------------------------------
65    Name: Allen Leung
66    Date: 2003/01/07 10:40:00 EST
67    Tag: leunga-20030107-int-rem
68    Description:
69    
70    Fixed a bug in Int.rem(x,y) where y is a power of 2 on x86.
71    The arguments to the SUBL instruction were swapped.
72    
73    ----------------------------------------------------------------------
74    Name: Matthias Blume
75    Date: 2002/12/12 16:25:00 EST
76    Tag: blume-20021212-risc-ra
77    Description:
78    
79    Fixed a serious bug in the rewrite code for FP spilling/reloading that
80    sent the RA into an infinite loop when floating point registers get
81    spilled.  (Because of this bug, e.g., nucleic stopped compiling between
82    110.37 and 110.38.)
83    There was another set of potential problems related to the handling of
84    MLRISC annotations (but those did not yet cause real problems, apparently).
85    
86    ----------------------------------------------------------------------
87    Name: Matthias Blume
88    Date: 2002/12/06 22:40:00 EST
89    Tag: blume-20021206-cm-fileid
90    Description:
91    
92    Added a call of SrcPath.sync at the beginning of Parse.parse (in CM).
93    This fixes the problem of CM getting confused by files that suddenly
94    change their identity (e.g., by getting unlinked and recreated by some
95    text editor such as vi).  There might be a better/cheaper/cleaner way
96    of doing this, but for now this will have to do.
97    
98    ----------------------------------------------------------------------
99    Name: Matthias Blume
100    Date: 2002/10/28 09:50:00 EST
101    Tag: blume-20021028-typecheck
102    Description:
103    
104    Exported structure Typecheck from $smlnj/viscomp/core.cm.
105    
106    ----------------------------------------------------------------------
107    Name: Matthias Blume
108    Date: 2002/10/17 09:10:00 EDT
109    Tag: Release_110_42
110    Description:
111    
112    In good old tradition, there has been a slight hiccup so that we have
113    to patch 110.42 after the fact.   The old release tag has been replaced
114    (see below).
115    
116    The change solves a problem with two competing approaches the
117    configuration problem regarding MacOS 10.1 vs. MacOS 10.2 which got in
118    each other's way.
119    
120    This change only affects the runtime system code and the installer script.
121    (No new bootfiles.)
122    
123    ----------------------------------------------------------------------
124    Name: Matthias Blume
125    Date: 2002/10/16 12:00:00 EDT
126    Tag: Release_110_42_removed
127    Description:
128    
129    New working release.  New bootfiles.
130    
131    ----------------------------------------------------------------------
132    Name: Matthias Blume
133    Date: 2002/10/10 13:10:00 EDT
134    Tag: blume-20021010-ppc-divs
135    Description:
136    
137    The mltree operator DIVS must be implemented with an overflow check on
138    the PPC because the hardware indicates divide-by-zero using "overflow" as
139    well.
140    
141    ----------------------------------------------------------------------
142    Name: Matthias Blume
143    Date: 2002/07/23 11:45:00
144    Tag: blume-20020723-smlnj-home
145    Description:
146    
147    Sml now senses the SMLNJ_HOME environment variable.  If this is set,
148    then the bin dir is assumed to be in $SMLNJ_HOME/bin and (unless
149    CM_PATHCONFIG is also set), the path configuration file is assumed
150    to be in $SMLNJ_HOME/lib/pathconfig.  This way one can easily move
151    the entire tree to some other place and everything will "just work".
152    
153    (Companion commands such as ml-build and ml-makedepend also sense this
154    variable.)
155    
156    ----------------------------------------------------------------------
157    Name: Matthias Blume
158    Date: 2002/07/12 21:19:00 EDT
159    Tag: blume-20020712-liveness
160    Description:
161    
162    Exported two useful "step" functions from liveness module (MLRISC).
163    
164    ----------------------------------------------------------------------
165    Name: Matthias Blume
166    Date: 2002/07/05 16:00 EDT
167    Tag: Release_110_41
168    Description:
169    
170    New working release.  New bootfiles.
171    
172    ----------------------------------------------------------------------
173    Name: Matthias Blume
174    Date: 2002/07/05 10:25:00 EDT
175    Tag: blume-20020705-btimp
176    Description:
177    
178    Exported structure BTImp from $smlnj/viscomp/debugprof.cm so that
179    other clients can set up backtracing support.
180    
181    ----------------------------------------------------------------------
182    Name: Matthias Blume
183    Date: 2002/06/25 17:23:00 EDT
184    Tag: blume-20020625-fpmax
185    Description:
186    
187    Fixed a bug in translation of INLMAX (and INLMIN) for the floating-point
188    case.  (The sense of the isNaN test was reversed -- which made min and
189    max always return their first argument.)
190    
191    ----------------------------------------------------------------------
192    Name: Matthias Blume
193    Date: 2002/06/11
194    Tag: blume-20020611-unixpath
195    Description:
196    
197    Back-ported OS.Path.{from,to}UnixPath from idlbasis-devel branch.
198    
199    ----------------------------------------------------------------------
200    Name: Matthias Blume
201    Date: 2002/06/10 16:35:00 EDT
202    Tag: blume-20020610-ieeereal
203    Description:
204    
205    I back-ported my implementation of IEEEReal.fromString from the
206    idlbasis-devel branch so that we can test it.
207    
208    Another small change is that ppDec tries to give more information
209    than just "<sig>" in the case of functors.  However, this code is
210    broken in some mysterious way if the functor's body's signature
211    has not been declared by ascription but gets inferred from the
212    implementation.  This needs fixing...
213    
214    ----------------------------------------------------------------------
215    Name: Matthias Blume
216    Date: 2002/05/31
217    Tag: blume-20020531-btrace-mode
218    Description:
219    
220    Resurrected SMLofNJ.Internals.BTrace.mode.  (It accidentally fell by
221    the wayside when I switched over to using Controls everywhere.)
222    
223    ----------------------------------------------------------------------
224    Name: Lal George
225    Date: 2002/05/23 12:21:40 EDT
226    Tag: george-20020523-visual-labels
227    Description:
228    
229    Labels are now displayed in the graphical output to make
230    the fall-through and target blocks obvious.
231    
232    ----------------------------------------------------------------------
233    Name: Matthias Blume
234    Date: 2002/05/22 11:03:00 EDT
235    Tag: blume-20020522-shrink
236    Description:
237    
238    John tweaked yesterday's fix for 1131 to handle an out-of-memory
239    situation that comes up when allocating huge arrays.
240    
241    ----------------------------------------------------------------------
242    Name: Matthias Blume
243    Date: 2002/05/21 16:00:00 EDT
244    Tag: Release_110_40
245    Description:
246    
247    New working release (110.40).  New bootfiles.
248    
249    [Also: John Reppy fixed GC bug 1131.]
250    
251    ----------------------------------------------------------------------
252    Name: Matthias Blume
253    Date: 2002/05/21 12:35:00 EDT
254    Tag: blume-20020521-cmdoc
255    Description:
256    
257    CM documentation update.
258    
259    ----------------------------------------------------------------------
260    Name: Matthias Blume
261    Date: 2002/05/21 10:55:00 EDT
262    Tag: blume-20020521-misc
263    Description:
264    
265    - John tweaked runtime to be silent on heap export (except when
266      GC messages are on).
267    - I added a few more things (cross-compiling versions of CMB) to
268      config/preloads (as suggestions).
269    
270    ----------------------------------------------------------------------
271    Name: Matthias Blume
272    Date: 2002/05/20 22:25:00 EDT
273    Tag: blume-20020520-controls
274    Description:
275    
276    - Added ControlUtil structure to control-lib.cm.
277    - Use it throughout.
278    - Used Controls facility to define MLRISC controls (as opposed to
279      registering MLRISC control ref cells with Controls after the fact)
280    - Fixed messed-up controls priorities.
281    
282    * Removed again all the stuff from config/preloads that one wouldn't
283      be able to preload at the time the initial heap image is built.
284      (Many libraries, e.g., CML, do not exist yet at this time.  The
285       only libraries that can be preloaded via config/preloads are those
286       that come bundled with the bootfiles.)
287    
288    ----------------------------------------------------------------------
289    Name: Matthias Blume
290    Date: 2002/05/20 10:59:00 EDT
291    Tag: blume-20020520-preloads
292    Description:
293    
294    Added a lot of commented-out suggestions for things to be included
295    in config/preloads.
296    
297    ----------------------------------------------------------------------
298    Name: Allen Leung
299    Date: 2002/05/18 14:20:00 EDT
300    Tag: leunga-20020518-mdl
301    Description:
302    
303    o Made the mdl tool stuff compile and run again.
304    o I've disabled all the stuff that depends on RTL specifications; they
305      are all badly broken anyway.
306    
307    ----------------------------------------------------------------------
308    Name: Matthias Blume
309    Date: 2002/05/17 16:49:00 EDT
310    Tag: blume-20020517-controls
311    Description:
312    
313    0. John Reppy made several modifications to the SML/NJ library.
314       In particular, there is a shiny new controls-lib.cm.
315    
316    1. Pushed new controls interface through compiler so that everything
317       compiles again.
318    
319    2. Added FormatComb and FORMAT_COMB to the CML version of the
320       SML/NJ library (so that CML compiles again).
321    
322    3. Modified init scripts because XXX_DEFAULT environment variables
323       are no longer with us.  (Boot-time initialization is now done
324       using the same environment variables that are also used for
325       startup-time initialization of controls.)
326    
327    ----------------------------------------------------------------------
328    Name: Lal George
329    Date: 2002/05/15 09:20:10 EDT
330    Tag: george-20020515-pseudo-op-decls
331    Description:
332    
333            All pseudo-ops emitted before the first segment declaration
334    such as TEXT, DATA, and BSS directives are assumed to be global
335    declarations and are emitted first in the assembly file. This is
336    useful in a number of situations where one has pseudo-ops that are not
337    specific to any segment, and also works around the constraint that one
338    cannot have client pseudo-ops in the TEXT segment.
339    
340            Because no segment is associated with these declarations it is
341    an error to allocate any space or objects before the first segment
342    directive and an exception will be raised. However, we cannot make
343    this check for client pseudo-ops.
344    
345            These top level declarations are a field in the CFG graph_info.
346    In theory you can continue to add to this field after the CFG has been
347    built -- provided you know what you are doing;-)
348    
349    ----------------------------------------------------------------------
350    Name: Matthias Blume
351    Date: 2002/05/13 16:40:00 EDT
352    Tag: blume-20020513-pp-etc
353    Description:
354    
355    A few minor bugfixes:
356    
357      - Stopgap measure for bug recently reported by Elsa Gunter (ppDec).
358        (Bogus printouts for redefined bindings still occur.  Compiler
359        bug should no longer occur now.  We need to redo the prettyprinter
360        from scratch.)
361    
362      - CM pathname printer now also adds escape sequences for ( and )
363    
364      - commend and docu fixes for ml-nlffi
365    
366    ----------------------------------------------------------------------
367    Name: Matthias Blume
368    Date: 2002/05/10 16:40:00 EDT
369    Tag: blume-20020510-erg-textio
370    Description:
371    
372    Applied the following bugfix provided by Emden Gansner:
373    
374        Output is corrupted when outputSubstr is used rather than output.
375    
376        The problem occurs when a substring
377    
378            ss = (s, dataStart, dataLen)
379    
380        where dataStart > 0, fills a stream buffer with avail bytes left.
381        avail bytes of s, starting at index dataStart, are copied into the
382        buffer, the buffer is flushed, and then the remaining dataLen-avail
383        bytes of ss are copied into the beginning of the buffer. Instead of
384        starting this copy at index dataStart+avail in s, the current code
385        starts the copy at index avail.
386    
387        Fix:
388        In text-io-fn.sml, change line 695 from
389             val needsFlush = copyVec(v, avail, dataLen-avail, buf, 0)
390        to
391             val needsFlush = copyVec(v, dataStart+avail, dataLen-avail, buf, 0)
392    
393    ----------------------------------------------------------------------
394    Name: Matthias Blume
395    Date: 2002/04/12 13:55:00 EDT
396    Tag: blume-20020412-assyntax
397    Description:
398    
399    1. Grabbed newer assyntax.h from the XFree86 project.
400    2. Fiddled with how to compile X86.prim.asm without warnings.
401    3. (Very) Minor cleanup in CM.
402    
403    ----------------------------------------------------------------------
404    Name: Matthias Blume
405    Date: 2002/04/01 (no joke!) 17:07:00 EST
406    Tag: blume-20020401-x86div
407    Description:
408    
409    Added full support for div/mod/rem/quot on the x86, using the machine
410    instruction's two results (without clumsily recomputing the remainder)
411    directly where appropriate.
412    
413    Some more extensive power-of-two support was added to the x86 instruction
414    selector (avoiding expensive divs, mods, and muls where they can be
415    replaced with cheaper shifts and masks).  However, this sort of thing
416    ought to be done earlier, e.g., within the CPS optimizer so that
417    all architectures benefit from it.
418    
419    The compiler compiles to a fixed point, but changes might be somewhat
420    fragile nevertheless.  Please, report any strange things that you might
421    see wrt. div/mod/quot/rem...
422    
423    ----------------------------------------------------------------------
424    Name: Matthias Blume
425    Date: 2002/03/29 17:22:00
426    Tag: blume-20020329-div
427    Description:
428    
429    Fixed my broken div/mod logic.  Unfortunately, this means that the
430    inline code for div/mod now has one more comparison than before.
431    Fast paths (quotient > 0 or remainder = 0) are not affected, though.
432    The problem was with quotient = 0, because that alone does not tell
433    us which way the rounding went.  One then has to look at whether
434    remainder and divisor have the same sign...  :(
435    
436    Anyway, I replaced the bootfiles with fresh ones...
437    
438    ----------------------------------------------------------------------
439    Name: Matthias Blume
440    Date: 2002/03/29 14:10:00 EST
441    Tag: blume-20020329-inlprims
442    Description:
443    
444    NEW BOOTFILES!!!    Version number bumped to 110.39.3.
445    
446    Primops have changed. This means that the bin/boot-file formats have
447    changed as well.
448    
449    To make sure that there is no confusion, I made a new version.
450    
451    
452    CHANGES:
453    
454    * removed REMT from mltree (remainder should never overflow).
455    
456    * added primops to deal with divisions of all flavors to the frontend
457    
458    * handled these primops all the way through so they map to their respective
459      MLRISC support
460    
461    * used these primops in the implementation of Int, Int32, Word, Word32
462    
463    * removed INLDIV, INLMOD, and INLREM as they are no longer necessary
464    
465    * parameterized INLMIN, INLMAX, and INLABS by a numkind
466    
467    * translate.sml now deals with all flavors of INL{MIN,MAX,ABS}, including
468      floating point
469    
470    * used INL{MIN,MAX,ABS} in the implementation of Int, Int32, Word, Word32,
471      and Real (but Real.abs maps to a separate floating-point-only primop)
472    
473    
474    TODO items:
475    
476    * Hacked Alpha32 instruction selection, disabling the selection of REMx
477      instructions because the machine instruction encoder cannot handle
478      them.  (Hppa, PPC, and Sparc instruction selection did not handle
479      REM in the first place, and REM is supported by the x86 machine coder.)
480    
481    * Handle DIV and MOD with DIV_TO_NEGINF directly in the x86 instruction
482      selection phase.  (The two can be streamlined because the hardware
483      delivers both quotient and remainder at the same time anyway.)
484    
485    * Think about what to do with "valOf(Int32.minInt) div ~1" and friends.
486      (Currently the behavior is inconsistent both across architectures and
487      wrt. the draft Basis spec.)
488    
489    * Word8 should eventually be handled natively, too.
490    
491    * There seems to be one serious bug in mltree-gen.sml.  It appears, though,
492      as if there currently is no execution path that could trigger it in
493      SML/NJ.  (The assumptions underlying functions arith and promotable do not
494      hold for things like multiplication and division.)
495    
496    ----------------------------------------------------------------------
497    Name: Matthias Blume
498    Date: 2002/03/27 16:27:00 EST
499    Tag: blume-20020327-mlrisc-divisions
500    Description:
501    
502    Added support for all four division operations (ML's div, mod, quot,
503    and rem) to MLRISC.  In the course of doing so, I also rationalized
504    the naming (no more annoying switch-around of DIV and QUOT), by
505    parameterizing the operation by div_rounding_mode (which can be either
506    DIV_TO_ZERO or DIV_TO_NEGINF).
507    
508    The generic MLTreeGen functor takes care of compiling all four
509    operations down to only round-to-zero div.
510    
511    Missing pieces:
512    
513      * Doing something smarter than relying on MLTreeGen on architectures
514        like, e.g., the x86 where hardware division delivers both quotient and
515        remainder at the same time.  With this, the implementation of the
516        round-to-neginf operations could be further streamlined.
517    
518      * Remove inlining support for div/mod/rem from the frontend and replace it
519        with primops that get carried through to the backend.  Do this for all
520        int and word types.
521    
522    ----------------------------------------------------------------------
523    Name: Matthias Blume
524    Date: 2002/03/25 17:25:00 EST
525    Tag: blume-20020325-divmod
526    Description:
527    
528    I improved (hopefully without breaking them) the implementation of Int.div,
529    Int.mod, and Int.rem.   For this, the code in translate.sml now takes
530    advantage of the following observations:
531    
532      Let  q = x quot y      r = x rem y
533           d = x div  y      m = x mod y
534    
535    where "quot" is the round-to-zero version of integer division that
536    hardware usually provides.  Then we have:
537    
538         r = x - q * y        where neither the * nor the - will overflow
539         d = if q >= 0 orelse x = q * y then q else q - 1
540                              where neither the * nor the - will overflow
541         m = if q >= 0 orelse r = 0 then r else r + y
542                              where the + will not overflow
543    
544    This results in substantial simplification of the generated code.
545    The following table shows the number of CFG nodes and edges generated
546    for
547            fun f (x, y) = x OPER y
548            (* with OPER \in div, mod, quot, rem *)
549    
550    
551        OPER | nodes(old) | edges(old) | nodes(new) | edges(new)
552        --------------------------------------------------------
553         div |         24 |         39 |         12 |         16
554         mod |         41 |         71 |         12 |         16
555        quot |          8 |         10 |          8 |         10
556         rem |         10 |         14 |          8 |         10
557    
558    
559    ----------------------------------------------------------------------
560    Name: Matthias Blume
561    Date: 2002/03/25 22:06:00 EST
562    Tag: blume-20020325-cprotobug
563    Description:
564    
565    Fixed a bug in cproto (c prototype decoder).
566    
567    ----------------------------------------------------------------------
568    Name: Matthias Blume
569    Date: 2002/03/25 16:00:00 EST
570    Tag: blume-20020325-raw-primops
571    Description:
572    
573    I did some cleanup to Allen's new primop code and
574    replaced yesterday's bootfiles with new ones.
575    (But they are stored in the same place.)
576    
577    ----------------------------------------------------------------------
578    Name: Matthias Blume
579    Date: 2002/03/24 22:40:00 EST
580    Tag: blume-20020324-bootfiles
581    Description:
582    
583    Made the bootfiles that Allen asked for.
584    
585    ----------------------------------------------------------------------
586    Name: Allen Leung
587    Date: 2002/03/23 15:50:00 EST
588    Tag: leunga-20020323-flint-cps-rcc-primops
589    Description:
590    
591      1. Changes to FLINT primops:
592    
593        (* make a call to a C-function;
594         * The primop carries C function prototype information and specifies
595         * which of its (ML-) arguments are floating point. C prototype
596         * information is for use by the backend, ML information is for
597         * use by the CPS converter. *)
598      | RAW_CCALL of { c_proto: CTypes.c_proto,
599                       ml_args: ccall_type list,
600                       ml_res_opt: ccall_type option,
601                       reentrant : bool
602                     } option
603       (* Allocate uninitialized storage on the heap.
604        * The record is meant to hold short-lived C objects, i.e., they
605        * are not ML pointers.  With the tag, the representation is
606        * the same as RECORD with tag tag_raw32 (sz=4), or tag_fblock (sz=8)
607        *)
608      | RAW_RECORD of {tag:bool,sz:int}
609      and ccall_type = CCALL_INT32 | CCALL_REAL64 | CCALL_ML_PTR
610    
611      2.  These CPS primops are now overloaded:
612    
613           rawload of {kind:numkind}
614           rawstore of {kind:numkind}
615    
616          The one argument form is:
617    
618             rawload {kind} address
619    
620          The two argument form is:
621    
622             rawload {kind} [ml object, byte-offset]
623    
624      3. RAW_CCALL/RCC now takes two extra arguments:
625    
626         a. The first is whether the C call is reentrant, i.e., whether
627            ML state should be saved and restored.
628         b. The second argument is a string argument specifying the name of
629            library and the C function.
630    
631         These things are currently not handled in the code generator, yet.
632    
633      4. In CProto,
634    
635         An encoding type of "bool" means "ml object" and is mapped into
636         C prototype of PTR.  Note that "bool" is different than "string",
637         even though "string" is also mapped into PTR, because "bool"
638         is assigned an CPS type of BOGt, while "string" is assigned INT32t.
639    
640      5. Pickler/unpicker
641    
642         Changed to handle RAW_RECORD and newest RAW_CCALL
643    
644      6. MLRiscGen,
645    
646         1. Changed to handle the new rawload/rawstore/rawrecord operators.
647         2. Code for handling C Calls has been moved to a new module CPSCCalls,
648            in the file CodeGen/cpscompile/cps-c-calls.sml
649    
650      7. Added the conditional move operator
651    
652             condmove of branch
653    
654         to cps.  Generation of this is still buggy so it is currently
655         disabled.
656    
657    ----------------------------------------------------------------------
658    Name: Lal George
659    Date: 2002/03/22 14:18:25 EST
660    Tag: george-20020322-cps-branch-prob
661    Description:
662    
663    Implemented the Ball-Larus branch prediction-heuristics, and
664    incorporated graphical viewers for control flow graphs.
665    
666    Ball-Larus Heuristics:
667    ---------------------
668    See the file compiler/CodeGen/cpscompile/cpsBranchProb.sml.
669    
670    By design it uses the Dempster-Shafer theory for combining
671    probabilities.  For example, in the function:
672    
673        fun f(n,acc) = if n = 0 then acc else f(n-1, n*acc)
674    
675    the ball-larus heuristics predicts that the n=0 is unlikely
676    (OH-heuristic), and the 'then' branch is unlikely because of the
677    RH-heuristic -- giving the 'then' branch an even lower combined
678    probability using the Dempster-Shafer theory.
679    
680    Finally, John Reppy's loop analysis in MLRISC, further lowers the
681    probability of the 'then' branch because of the loop in the else
682    branch.
683    
684    
685    Graphical Viewing:
686    ------------------
687    I merely plugged in Allen's graphical viewers into the compiler. The
688    additional code is not much. At the top level, saying:
689    
690            Control.MLRISC.getFlag "cfg-graphical-view" := true;
691    
692    will display the graphical view of the control flow graph just before
693    back-patching.  daVinci must be in your path for this to work. If
694    daVinci is not available, then the default viewer can be changed
695    using:
696    
697            Control.MLRISC.getString "viewer"
698    
699    which can be set to "dot" or "vcg" for the corresponding viewers. Of
700    course, these viewers must be in your path.
701    
702    The above will display the compilation unit at the level of clusters,
703    many of which are small, boring, and un-interesting. Also setting:
704    
705            Control.MLRISC.getInt "cfg-graphical-view_size"
706    
707    will display clusters that are larger than the value set by the above.
708    
709    
710    ----------------------------------------------------------------------
711  Name: Matthias Blume  Name: Matthias Blume
712  Date: 2002/03/21 22:20:00 EST  Date: 2002/03/21 22:20:00 EST
713  Tag: blume-20020321-kmp-bugfix  Tag: blume-20020321-kmp-bugfix

Legend:
Removed from v.1159  
changed lines
  Added in v.1332

root@smlnj-gforge.cs.uchicago.edu
ViewVC Help
Powered by ViewVC 1.0.0