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

Legend:
Removed from v.1152  
changed lines
  Added in v.1342

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