SCM Repository

[smlnj] Diff of /sml/trunk/HISTORY

[smlnj] / sml / trunk / HISTORY

Diff of /sml/trunk/HISTORY

-revision 1116, Tue Mar  5 23:17:18 2002 UTC
+revision 1158, Fri Mar 22 01:21:25 2002 UTC
 Line 13
  Description:
  ----------------------------------------------------------------------
+ Name: Allen Leung
+ Date: 2002/03/21 20:30:00 EST
+ Tag: leunga-20020321-cfg
+ Description:
+   Fixed a potential problem in cfg edge splitting.
+ ----------------------------------------------------------------------
+ Name: Allen Leung
+ Date: 2002/03/21 17:15:00 EST
+ Tag: leunga-20020321-x86-fp-cfg
+ Description:
+. Recoded the buggy parts of x86-fp.
+      a. All the block reordering code has been removed.
+         We now depend on the block placement phases to do this work.
+      b. Critical edge splitting code has been simplified and moved into the
+         CFG modules, as where they belong.
+      Both of these were quite buggy and complex.  The code is now much, much
+      simpler.
+. X86 backend.
+      a. Added instructions for 64-bit support.  Instruction selection for
+-bit has not been committed, however, since that
+         requires changes to MLTREE which haven't been approved by
+         Lal and John.
+      b. Added support for FUCOMI and FUCOMIP when generating code for
+         PentiumPro and above.  We only generate these instructions in
+         the fast-fp mode.
+      c. Added cases for JP and JNP in X86FreqProps.
+. CFG
+      CFG now has a bunch of methods for edge splitting and merging.
+. Machine description.
+      John's simplification of MLTREE_BASIS.fcond broke a few machine
+      description things:
+      rtl-build.{sig,sml} and hppa.mdl fixed.
+      NOTE: the machine description stuff in the repository is still broken.
+            Again, I can't put my fixes in because that involves
+            changes to MLTREE.
+ ----------------------------------------------------------------------
+ Name: Matthias Blume
+ Date: 2002/03/20 15:55:00 EST
+ Tag: blume-20020320-kmp
+ Description:
+ Implemented Knuth-Morris-Pratt string matching in PreString and used
+ it for String.isSubstring, Substring.isSubstring, and
+ Substring.position.
+ (Might need some stress-testing.  Simple examples worked fine.)
+ ----------------------------------------------------------------------
+ Name: Matthias Blume
+ Date: 2002/03/19 16:37:00 EST
+ Tag: blume-20020319-witnesses
+ Description:
+ Added a structure C.W and functions convert/Ptr.convert to ml-nlffi-lib.
+ This implements a generic mechanism for changing constness qualifiers
+ anywhere within big C types without resorting to outright "casts".
+ (So far, functions such as C.rw/C.ro or C.Ptr.rw/C.Ptr.ro only let you
+ modify the constness at the outermost level.)
+ The implementation of "convert" is based on the idea of "witness"
+ values -- values that are not used by the operation but whose types
+ "testify" to their applicability.  On the implementation side, "convert"
+ is simply a projection (returning its second curried argument).  With
+ cross-module inlining, it should not result in any machine code being
+ generated.
+ ----------------------------------------------------------------------
+ Name: Matthias Blume
+ Date: 2002/03/15 16:40:00 EST
+ Tag: blume-20020315-basis
+ Description:
+ Provided (preliminary?) implementations for
+   {String,Substring}.{concatWith,isSuffix,isSubstring}
+ and
+   Substring.full
+ Those are in the Basis spec but they were missing in SML/NJ.
+ ----------------------------------------------------------------------
+ Name: Matthias Blume
+ Date: 2002/03/14 21:30:00 EST
+ Tag: blume-20020314-controls
+ Description:
+ Controls:
+ ---------
+. Factored out the recently-added Controls : CONTROLS stuff and put
+    it into its own library $/controls-lib.cm.  The source tree for
+    this is under src/smlnj-lib/Controls.
+. Changed the names of types and functions in this interface, so they
+    make a bit more "sense":
+       module -> registry
+       'a registry -> 'a group
+. The interface now deals in ref cells only.  The getter/setter interface
+    is (mostly) gone.
+. Added a function that lets one register an already-existing ref cell.
+. Made the corresponding modifications to the rest of the code so that
+    everything compiles again.
+. Changed the implementation of Controls.MLRISC back to something closer
+    to the original.  In particular, this module (and therefore MLRISC)
+    does not depend on Controls.  There now is some link-time code in
+    int-sys.sml that registers the MLRISC controls with the Controls
+    module.
+ CM:
+ ---
+   * One can now specify the lambda-split aggressiveness in init.cmi.
+ ----------------------------------------------------------------------
+ Name: Allen Leung
+ Date: 2002/03/13 17:30:00 EST
+ Tag: leunga-20020313-x86-fp-unary
+ Description:
+ Bug fix for:
+ > leunga@weaselbane:~/Yale/tmp/sml-dist{21} bin/sml
+ > Standard ML of New Jersey v110.39.1 [FLINT v1.5], March 08, 2002
+ > - fun f(x,(y,z)) = Real.~ y;
+ > [autoloading]
+ > [autoloading done]
+ >       fchsl   (%eax), 184(%esp)
+ > Error: MLRisc bug: X86MCEmitter.emitInstr
+ >
+ > uncaught exception Error
+ >   raised at: ../MLRISC/control/mlriscErrormsg.sml:16.14-16.19
+ The problem was that the code generator did not generate any fp registers
+ in this case, and the ra didn't know that it needed to run the X86FP phase to
+ translate the pseudo fp instruction.   This only happened with unary fp
+ operators in certain situations.
+ ----------------------------------------------------------------------
+ Name: Matthias Blume
+ Date: 2002/03/13 14:00:00 EST
+ Tag: blume-20020313-overload-etc
+ Description:
+. Added _overload as a synonym for overload for backward compatibility.
+    (Control.overloadKW must be true for either version to be accepted.)
+. Fixed bug in install script that caused more things to be installed
+    than what was requested in config/targets.
+. Made CM aware of the (_)overload construct so that autoloading
+    works.
+ ----------------------------------------------------------------------
+ Name: Matthias Blume
+ Date: 2002/03/12 22:03:00 EST
+ Tag: blume-20020312-url
+ Description:
+ Forgot to update BOOT and srcarchiveurl.
+ ----------------------------------------------------------------------
+ Name: Matthias Blume
+ Date: 2002/03/12 17:30:00 EST
+ Tag: blume-20020312-version110392
+ Description:
+ Yet another version number bump (because of small changes to the
+ binfile format).  Version number is now 110.39.2.  NEW BOOTFILES!
+ Changes:
+   The new pid generation scheme described a few weeks ago was overly
+   complicated.  I implemented a new mechanism that is simpler and
+   provides a bit more "stability":  Once CM has seen a compilation
+   unit, it keeps its identity constant (as long as you do not delete
+   those crucial CM/GUID/* files).  This means that when you change
+   an interface, compile, then go back to the old interface, and
+   compile again, you arrive at the original pid.
+   There now also is a mechanism that instructs CM to use the plain
+   environment hash as a module's pid (effectively making its GUID
+   the empty string).  For this, "noguid" must be specified as an
+   option to the .sml file in question within its .cm file.
+   This is most useful for code that is being generated by tools such
+   as ml-nlffigen (because during development programmers tend to
+   erase the tool's entire output directory tree including CM's cached
+   GUIDs).  "noguid" is somewhat dangerous (since it can be used to locally
+   revert to the old, broken behavior of SML/NJ, but in specific cases
+   where there is no danger of interface confusion, its use is ok
+   (I think).
+   ml-nlffigen by default generates "noguid" annotations.  They can be
+   turned off by specifying -guid in its command line.
+ ----------------------------------------------------------------------
+ Name: Lal George
+ Date: 2002/03/12 12 14:42:36 EST
+ Tag: george-20020312-frequency-computation
+ Description:
+ Integrated jump chaining and static block frequency into the
+ compiler. More details and numbers later.
+ ----------------------------------------------------------------------
+ Name: Lal George
+ Date: 2002/03/11 11 22:38:53 EST
+ Tag: george-20020311-jump-chain-elim
+ Description:
+ Tested the jump chain elimination on all architectures (except the
+ hppa).  This is on by default right now and is profitable for the
+ alpha and x86, however, it may not be profitable for the sparc and ppc
+ when compiling the compiler.
+ The gc test will typically jump to a label at the end of the cluster,
+ where there is another jump to an external cluster containing the actual
+ code to invoke gc. This is to allow factoring of common gc invocation
+ sequences. That is to say, we generate:
+         f:
+            testgc
+            ja   L1      % jump if above to L1
+         L1:
+            jmp L2
+ After jump chain elimination the 'ja L1' instructions is converted to
+ 'ja L2'. On the sparc and ppc, many of the 'ja L2' instructions may end
+ up being implemented in their long form (if L2 is far away) using:
+         jbe     L3      % jump if below or equal to L3
+         jmp     L2
+      L3:
+         ...
+ For large compilation units L2  may be far away.
+ ----------------------------------------------------------------------
+ Name: Matthias Blume
+ Date: 2002/03/11 13:30:00 EST
+ Tag: blume-20020311-mltreeeval
+ Description:
+ A functor parameter was missing.
+ ----------------------------------------------------------------------
+ Name: Allen Leung
+ Date: 2002/03/11 10:30:00 EST
+ Tag: leunga-20020311-runtime-string0
+ Description:
+    The representation of the empty string now points to a
+ legal null terminated C string instead of unit.  It is now possible
+ to convert an ML string into C string with InlineT.CharVector.getData.
+ This compiles into one single machine instruction.
+ ----------------------------------------------------------------------
+ Name: Allen Leung
+ Date: 2002/03/10 23:55:00 EST
+ Tag: leunga-20020310-x86-call
+ Description:
+    Added machine generation for CALL instruction (relative displacement mode)
+ ----------------------------------------------------------------------
+ Name: Matthias Blume
+ Date: 2002/03/08 16:05:00
+ Tag: blume-20020308-entrypoints
+ Description:
+ Version number bumped to 110.39.1.  NEW BOOTFILES!
+ Entrypoints: non-zero offset into a code object where execution should begin.
+ - Added the notion of an entrypoint to CodeObj.
+ - Added reading/writing of entrypoint info to Binfile.
+ - Made runtime system bootloader aware of entrypoints.
+ - Use the address of the label of the first function given to mlriscGen
+   as the entrypoint.  This address is currently always 0, but it will
+   not be 0 once we turn on block placement.
+ - Removed the linkage cluster code (which was The Other Way(tm) of dealing
+   with entry points) from mlriscGen.
+ ----------------------------------------------------------------------
+ Name: Allen Leung
+ Date: 2002/03/07 20:45:00 EST
+ Tag: leunga-20020307-x86-cmov
+ Description:
+    Bug fixes for CMOVcc on x86.
+. Added machine code generation for CMOVcc
+. CMOVcc is now generated in preference over SETcc on PentiumPro or above.
+. CMOVcc cannot have an immediate operand as argument.
+ ----------------------------------------------------------------------
+ Name: Matthias Blume
+ Date: 2002/03/07 16:15:00 EST
+ Tag: blume-20020307-controls
+ Description:
+ This is a very large but mostly boring patch which makes (almost)
+ every tuneable compiler knob (i.e., pretty much everything under
+ Control.* plus a few other things) configurable via both the command
+ line and environment variables in the style CM did its configuration
+ until now.
+ Try starting sml with '-h' (or, if you are brave, '-H')
+ To this end, I added a structure Controls : CONTROLS to smlnj-lib.cm which
+ implements the underlying generic mechanism.
+ The interface to some of the existing such facilities has changed somewhat.
+ For example, the MLRiscControl module now provides mkFoo instead of getFoo.
+ (The getFoo interface is still there for backward-compatibility, but its
+ use is deprecated.)
+ The ml-build script passes -Cxxx=yyy command-line arguments through so
+ that one can now twiddle the compiler settings when using this "batch"
+ compiler.
+ TODO items:
+ We should go through and throw out all controls that are no longer
+ connected to anything.  Moreover, we should go through and provide
+ meaningful (and correct!) documentation strings for those controls
+ that still are connected.
+ Currently, multiple calls to Controls.new are accepted (only the first
+ has any effect).  Eventually we should make sure that every control
+ is being made (via Controls.new) exactly once.  Future access can then
+ be done using Controls.acc.
+ Finally, it would probably be a good idea to use the getter-setter
+ interface to controls rather than ref cells.  For the time being, both
+ styles are provided by the Controls module, but getter-setter pairs are
+ better if thread-safety is of any concern because they can be wrapped.
+ *****************************************
+ One bug fix: The function blockPlacement in three of the MLRISC
+ backpatch files used to be hard-wired to one of two possibilities at
+ link time (according to the value of the placementFlag).  But (I
+ think) it should rather sense the flag every time.
+ *****************************************
+ Other assorted changes (by other people who did not supply a HISTORY entry):
+. the cross-module inliner now works much better (Monnier)
+. representation of weights, frequencies, and probabilities in MLRISC
+    changed in preparation of using those for weighted block placement
+    (Reppy, George)
+ ----------------------------------------------------------------------
+ Name: Lal George
+ Date: 2002/03/07 14:44:24 EST 2002
+ Tag: george-20020307-weighted-block-placement
+ Tested the weighted block placement optimization on all architectures
+ (except the hppa) using AMPL to generate the block and edge frequencies.
+ Changes were required in the machine properties to correctly
+ categorize trap instructions. There is an MLRISC flag
+ "weighted-block-placement" that can be used to enable weighted block
+ placement, but this will be ineffective without block/edge
+ frequencies (coming soon).
+ ----------------------------------------------------------------------
  Name: Lal George
  Date: 2002/03/05 17:24:48 EST
  Tag: george-20020305-linkage-cluster
- In order to support the block placement optimization, the first
+ In order to support the block placement optimization, a new cluster
- cluster that is generated (called the linkage cluster) contains a jump
+ is generated as the very first cluster (called the linkage cluster).
- to the entry point for the compilation unit. The linkage cluster
+ It contains a single jump to the 'real' entry point for the compilation
- contains only one function, so block placement will have no effect on
+ unit. Block placement has no effect on the linkage cluster itself, but
- the linkage cluster itself, but all the other clusters have full
+ all the other clusters  have full freedom in the manner in which they
- freedom in the manner in which they reorder blocks or functions.
+ reorder blocks or functions.
  On the x86 the typical linkage code that is generated is:
     ----------------------
          .align 2
     L0:
          addl    $L1-L0, 72(%esp)
-         jmp     L0
+         jmp     L1
          .align  2
-Line 38
+Line 434
 (%esp) is the memory location for the stdlink register. This
  must contain the address of the CPS function being called. In the
- above example, it contains the address of memory for  L0; before
+ above example, it contains the address of  L0; before
  calling L1 (the real entry point for the compilation unit), it
  must contain the address for L1, and hence
          addl $L1-L0, 72(%esp)
- I have tested this on all architectures except the hppa.
+ I have tested this on all architectures except the hppa.The increase
+ in code size is of course negligible
  ----------------------------------------------------------------------
  Name: Allen Leung

 Legend:



Removed from v.1116
 


changed lines


 
Added in v.1158
 Legend:



Removed from v.1116
 


changed lines


 
Added in v.1158
-Removed from v.1116
+Added in v.1158

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