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 993, Fri Nov 23 02:37:10 2001 UTC revision 1021, Wed Jan 16 20:33:57 2002 UTC
# Line 8  Line 8 
8  The form of an entry should be:  The form of an entry should be:
9    
10  Name:  Name:
11  Date:  Date: yyyy/mm/dd
12  Tag: <post-commit CVS tag>  Tag: <post-commit CVS tag>
13  Description:  Description:
14    ----------------------------------------------------------------------
15    Name: Matthias Blume
16    Date: 2002/01/16
17    Tag: blume-20020116-ffifiddle
18    Description:
19    
20    More fiddling with the FFI interface:
21    
22     - Make constness 'c instead of rw wherever possible.  This eliminates
23       the need for certain explicit coercions.  (However, due to ML's
24       value polymorphism, there will still be many cases where explicit
25       coercions are necessary.  Phantom types are not the whole answer
26       to modeling a subtyping relationship in ML.)
27    
28     - ro/rw coersions for pointers added.  (Avoids the detour through */&.)
29    
30     - "printf" test example added to src/ml-nlffi-lib/Tests.  (Demonstrates
31       clumsy workaround for varargs problem.)
32    
33    ----------------------------------------------------------------------
34    Name: Lal George
35    Date: 2002/01/15
36    Tag: <none>
37    Description:
38    
39    1. Since COPY instructions are no longer native to the architecture,
40       a generic functor can be used to implement the expandCopies function.
41    
42    2. Allowed EXPORT and IMPORT pseudo-op declarations to appear inside a
43       TEXT segment.
44    
45    ----------------------------------------------------------------------
46    Name: Matthias Blume
47    Date: 2002/01/15
48    Tag: blume-20020115-ffiupdates
49    Description:
50    
51    1. Fix for bug resulting in single-precision float values being returned
52       incorrectly from FFI calls.
53    
54    2. Small modifications to C FFI API:
55    
56        - memory-allocation routines return straight objects (no options)
57          and raise an exception in out-of-memory situations
58        - unsafe extensions to cast between function pointers and pointers
59          from/to ints
60        - added structure C_Debug as an alternative to structure C where
61          pointer-dereferencing (|*| and |*!) always check for null-pointers
62        - added open_lib' to DynLinkage;  open_lib' works like open_lib
63          but also takes a (possibly empty) list of existing library handles
64          that the current library depends on
65    
66    ----------------------------------------------------------------------
67    Name: Matthias Blume
68    Date: 2002/01/10
69    Tag: blume-20020110-newffigen
70    Description:
71    
72    1. Updates to portable graph code.
73    
74    2. Major update to ml-nlffigen and ml-nlffi-lib.  Things are much
75       more scalable now so that even huge interfaces such as the one
76       for GTK compile in finite time and space. :-)
77       See src/ml-nlffigen/README for details on what's new.
78    
79    ----------------------------------------------------------------------
80    Name: Lal George
81    Date: 2001/01/09 14:31:35 EST 2002
82    Tag: george-20011206-rm-native-copy
83    Description:
84    
85            Removed the native COPY and FCOPY instructions
86            from all the architectures and replaced it with the
87            explicit COPY instruction from the previous commit.
88    
89            It is now possible to simplify many of the optimizations
90            modules that manipulate copies. This has not been
91            done in this change.
92    
93    ----------------------------------------------------------------------
94    Name: Lal George
95    Date: 2001/12/06 16:50:13 EST 2001
96    Tag: george-20011206-mlrisc-instruction
97    Description:
98    
99    Changed the representation of instructions from being fully abstract
100    to being partially concrete. That is to say:
101    
102      from
103            type instruction
104    
105      to
106            type instr                              (* machine instruction *)
107    
108            datatype instruction =
109                LIVE of {regs: C.cellset, spilled: C.cellset}
110              | KILL of {regs: C.cellset, spilled: C.cellset}
111              | COPYXXX of {k: CB.cellkind, dst: CB.cell list, src: CB.cell list}
112              | ANNOTATION of {i: instruction, a: Annotations.annotation}
113              | INSTR of instr
114    
115    This makes the handling of certain special instructions that appear on
116    all architectures easier and uniform.
117    
118    LIVE and KILL say that a list of registers are live or killed at the
119    program point where they appear. No spill code is generated when an
120    element of the 'regs' field is spilled, but the register is moved to
121    the 'spilled' (which is present, more for debugging than anything else).
122    
123    LIVE replaces the (now deprecated) DEFFREG instruction on the alpha.
124    We used to generate:
125    
126            DEFFREG f1
127            f1 := f2 + f3
128            trapb
129    
130    but now generate:
131    
132            f1 := f2 + f3
133            trapb
134            LIVE {regs=[f1,f2,f3], spilled=[]}
135    
136    Furthermore, the DEFFREG (hack) required that all floating point instruction
137    use all registers mentioned in the instruction. Therefore f1 := f2 + f3,
138    defines f1 and uses [f1,f2,f3]! This hack is no longer required resulting
139    in a cleaner alpha implementation. (Hopefully, intel will not get rid of
140    this architecture).
141    
142    COPYXXX is intended to replace the parallel COPY and FCOPY  available on
143    all the architectures. This will result in further simplification of the
144    register allocator that must be aware of them for coalescing purposes, and
145    will also simplify certain aspects of the machine description that provides
146    callbacks related to parallel copies.
147    
148    ANNOTATION should be obvious, and now INSTR represents the honest to God
149    machine instruction set!
150    
151    The <arch>/instructions/<arch>Instr.sml files define certain utility
152    functions for making porting easier -- essentially converting upper case
153    to lower case. All machine instructions (of type instr) are in upper case,
154    and the lower case form generates an MLRISC instruction. For example on
155    the alpha we have:
156    
157      datatype instr =
158         LDA of {r:cell, b:cell, d:operand}
159       | ...
160    
161      val lda : {r:cell, b:cell, d:operand} -> instruction
162        ...
163    
164    where lda is just (INSTR o LDA), etc.
165    
166  ----------------------------------------------------------------------  ----------------------------------------------------------------------
167  Name: Matthias Blume  Name: Matthias Blume

Legend:
Removed from v.993  
changed lines
  Added in v.1021

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