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 1128, Fri Mar 8 21:05:27 2002 UTC revision 1133, Tue Mar 12 03:56:23 2002 UTC
# Line 13  Line 13 
13  Description:  Description:
14    
15  ----------------------------------------------------------------------  ----------------------------------------------------------------------
16    Name: Lal George
17    Date: 2002/03/11 11 22:38:53 EST
18    Tag: george-20020311-jump-chain-elim
19    Description:
20    
21    Tested the jump chain elimination on all architectures (except the
22    hppa).  This is on by default right now and is profitable for the
23    alpha and x86, however, it may not be profitable for the sparc and ppc
24    when compiling the compiler.
25    
26    The gc test will typically jump to a label at the end of the cluster,
27    where there is another jump to an external cluster containing the actual
28    code to invoke gc. This is to allow factoring of common gc invocation
29    sequences. That is to say, we generate:
30    
31            f:
32               testgc
33               ja   L1      % jump if above to L1
34    
35            L1:
36               jmp L2
37    
38    
39    After jump chain elimination the 'ja L1' instructions is converted to
40    'ja L2'. On the sparc and ppc, many of the 'ja L2' instructions may end
41    up being implemented in their long form (if L2 is far away) using:
42    
43            jbe     L3      % jump if below or equal to L3
44            jmp     L2
45         L3:
46            ...
47    
48    
49    For large compilation units L2  may be far away.
50    
51    
52    ----------------------------------------------------------------------
53    Name: Matthias Blume
54    Date: 2002/03/11 13:30:00 EST
55    Tag: blume-20020311-mltreeeval
56    Description:
57    
58    A functor parameter was missing.
59    
60    ----------------------------------------------------------------------
61    Name: Allen Leung
62    Date: 2002/03/11 10:30:00 EST
63    Tag: leunga-20020310-runtime-string0
64    Description:
65    
66       The representation of the empty string now points to a
67    legal null terminated C string instead of unit.  It is now possible
68    to convert an ML string into C string with InlineT.CharVector.getData.
69    This compiles into one single machine instruction.
70    
71    ----------------------------------------------------------------------
72    Name: Allen Leung
73    Date: 2002/03/10 23:55:00 EST
74    Tag: leunga-20020310-x86-call
75    Description:
76    
77       Added machine generation for CALL instruction (relative displacement mode)
78    
79    ----------------------------------------------------------------------
80  Name: Matthias Blume  Name: Matthias Blume
81  Date: 2002/03/08 16:05:00  Date: 2002/03/08 16:05:00
82  Tag: blume-20020308-entrypoints  Tag: blume-20020308-entrypoints

Legend:
Removed from v.1128  
changed lines
  Added in v.1133

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