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 1182, Thu Mar 28 16:41:29 2002 UTC revision 1183, Fri Mar 29 19:09:48 2002 UTC
# Line 14  Line 14 
14    
15  ----------------------------------------------------------------------  ----------------------------------------------------------------------
16  Name: Matthias Blume  Name: Matthias Blume
17    Date: 2002/03/29 14:10:00 EST
18    Tag: blume-20020329-inlprims
19    Description:
20    
21    NEW BOOTFILES!!!    Version number bumped to 110.39.3.
22    
23    Primops have changed. This means that the bin/boot-file formats have
24    changed as well.
25    
26    To make sure that there is no confusion, I made a new version.
27    
28    
29    CHANGES:
30    
31    * removed REMT from mltree (remainder should never overflow).
32    
33    * added primops to deal with divisions of all flavors to the frontend
34    
35    * handled these primops all the way through so they map to their respective
36      MLRISC support
37    
38    * used these primops in the implementation of Int, Int32, Word, Word32
39    
40    * removed INLDIV, INLMOD, and INLREM as they are no longer necessary
41    
42    * parameterized INLMIN, INLMAX, and INLABS by a numkind
43    
44    * translate.sml now deals with all flavors of INL{MIN,MAX,ABS}, including
45      floating point
46    
47    * used INL{MIN,MAX,ABS} in the implementation of Int, Int32, Word, Word32,
48      and Real (but Real.abs maps to a separate floating-point-only primop)
49    
50    
51    TODO items:
52    
53    * Hacked Alpha32 instruction selection, disabling the selection of REMx
54      instructions because the machine instruction encoder cannot handle
55      them.  (Hppa, PPC, and Sparc instruction selection did not handle
56      REM in the first place, and REM is supported by the x86 machine coder.)
57    
58    * Handle DIV and MOD with DIV_TO_NEGINF directly in the x86 instruction
59      selection phase.  (The two can be streamlined because the hardware
60      delivers both quotient and remainder at the same time anyway.)
61    
62    * Think about what to do with "valOf(Int32.minInt) div ~1" and friends.
63      (Currently the behavior is inconsistent both across architectures and
64      wrt. the draft Basis spec.)
65    
66    * Word8 should eventually be handled natively, too.
67    
68    * There seems to be one serious bug in mltree-gen.sml.  It appears, though,
69      as if there currently is no execution path that could trigger it in
70      SML/NJ.  (The assumptions underlying functions arith and promotable do not
71      hold for things like multiplication and division.)
72    
73    ----------------------------------------------------------------------
74    Name: Matthias Blume
75  Date: 2002/03/27 16:27:00 EST  Date: 2002/03/27 16:27:00 EST
76  Tag: blume-20020327-mlrisc-divisions  Tag: blume-20020327-mlrisc-divisions
77  Description:  Description:

Legend:
Removed from v.1182  
changed lines
  Added in v.1183

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