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 1145, Fri Mar 15 02:30:53 2002 UTC revision 1158, Fri Mar 22 01:21:25 2002 UTC
# Line 13  Line 13 
13  Description:  Description:
14    
15  ----------------------------------------------------------------------  ----------------------------------------------------------------------
16    Name: Allen Leung
17    Date: 2002/03/21 20:30:00 EST
18    Tag: leunga-20020321-cfg
19    Description:
20    
21      Fixed a potential problem in cfg edge splitting.
22    
23    ----------------------------------------------------------------------
24    Name: Allen Leung
25    Date: 2002/03/21 17:15:00 EST
26    Tag: leunga-20020321-x86-fp-cfg
27    Description:
28    
29      1. Recoded the buggy parts of x86-fp.
30    
31         a. All the block reordering code has been removed.
32            We now depend on the block placement phases to do this work.
33    
34         b. Critical edge splitting code has been simplified and moved into the
35            CFG modules, as where they belong.
36    
37         Both of these were quite buggy and complex.  The code is now much, much
38         simpler.
39    
40      2. X86 backend.
41    
42         a. Added instructions for 64-bit support.  Instruction selection for
43            64-bit has not been committed, however, since that
44            requires changes to MLTREE which haven't been approved by
45            Lal and John.
46    
47         b. Added support for FUCOMI and FUCOMIP when generating code for
48            PentiumPro and above.  We only generate these instructions in
49            the fast-fp mode.
50    
51         c. Added cases for JP and JNP in X86FreqProps.
52    
53      3. CFG
54    
55         CFG now has a bunch of methods for edge splitting and merging.
56    
57      4. Machine description.
58    
59         John's simplification of MLTREE_BASIS.fcond broke a few machine
60         description things:
61    
62         rtl-build.{sig,sml} and hppa.mdl fixed.
63    
64         NOTE: the machine description stuff in the repository is still broken.
65               Again, I can't put my fixes in because that involves
66               changes to MLTREE.
67    
68    ----------------------------------------------------------------------
69    Name: Matthias Blume
70    Date: 2002/03/20 15:55:00 EST
71    Tag: blume-20020320-kmp
72    Description:
73    
74    Implemented Knuth-Morris-Pratt string matching in PreString and used
75    it for String.isSubstring, Substring.isSubstring, and
76    Substring.position.
77    
78    (Might need some stress-testing.  Simple examples worked fine.)
79    
80    ----------------------------------------------------------------------
81    Name: Matthias Blume
82    Date: 2002/03/19 16:37:00 EST
83    Tag: blume-20020319-witnesses
84    Description:
85    
86    Added a structure C.W and functions convert/Ptr.convert to ml-nlffi-lib.
87    
88    This implements a generic mechanism for changing constness qualifiers
89    anywhere within big C types without resorting to outright "casts".
90    (So far, functions such as C.rw/C.ro or C.Ptr.rw/C.Ptr.ro only let you
91    modify the constness at the outermost level.)
92    The implementation of "convert" is based on the idea of "witness"
93    values -- values that are not used by the operation but whose types
94    "testify" to their applicability.  On the implementation side, "convert"
95    is simply a projection (returning its second curried argument).  With
96    cross-module inlining, it should not result in any machine code being
97    generated.
98    
99    ----------------------------------------------------------------------
100    Name: Matthias Blume
101    Date: 2002/03/15 16:40:00 EST
102    Tag: blume-20020315-basis
103    Description:
104    
105    Provided (preliminary?) implementations for
106    
107      {String,Substring}.{concatWith,isSuffix,isSubstring}
108    
109    and
110    
111      Substring.full
112    
113    Those are in the Basis spec but they were missing in SML/NJ.
114    
115    ----------------------------------------------------------------------
116  Name: Matthias Blume  Name: Matthias Blume
117  Date: 2002/03/14 21:30:00 EST  Date: 2002/03/14 21:30:00 EST
118  Tag: blume-20020314-controls  Tag: blume-20020314-controls

Legend:
Removed from v.1145  
changed lines
  Added in v.1158

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