Home My Page Projects Code Snippets Project Openings SML/NJ
Summary Activity Forums Tracker Lists Tasks Docs Surveys News SCM Files

SCM Repository

[smlnj] Log of /sml/trunk/compiler/CPS/opt/contract.sml
[smlnj] / sml / trunk / compiler / CPS / opt / contract.sml  
ViewVC logotype

Log of /sml/trunk/compiler/CPS/opt/contract.sml

Parent Directory Parent Directory


Links to HEAD: (view) (download) (annotate)
Sticky Revision:

Revision 5002 - (view) (download) (annotate) - [select for diffs]
Modified Sun Apr 28 00:45:47 2019 UTC (2 months, 3 weeks ago) by jhr
File length: 33615 byte(s)
Diff to previous 4986
  Split primop contraction out of contract.sml into its own file

Revision 4986 - (view) (download) (annotate) - [select for diffs]
Modified Fri Apr 26 17:08:01 2019 UTC (2 months, 3 weeks ago) by jhr
File length: 41100 byte(s)
Diff to previous 4960
  Some minor primop cleanup.  Changed the type of Primop.ROUND and Primop.REAL
  to take bitwidths, instead of numkinds, since the kinds are always the same.
  Renamed ABS to FABS, since it is only used on floating-point numbers.
  Renamed the CPS primitive operator ROUND to REAL_TO_INT and the operator
  REAL to INT_TO_REAL.

Revision 4960 - (view) (download) (annotate) - [select for diffs]
Modified Tue Apr 16 10:26:22 2019 UTC (3 months ago) by jhr
File length: 41112 byte(s)
Diff to previous 4953
  Converting CPS data constructors to ASDL version

Revision 4953 - (view) (download) (annotate) - [select for diffs]
Modified Mon Apr 8 17:31:53 2019 UTC (3 months, 2 weeks ago) by jhr
File length: 40522 byte(s)
Diff to previous 4949
  Starting to migrate the CPS IR toward the ASDL version.  Changed the
  names of the CPS.P.arith and CPS.P.cmpop constructors to be upper-case
  alpha IDs (many of them were symbolic identifiers).  Also split out the 
  various utility functions into the new CPSUtil module (CPS/cps/cps-util.sml).
  Lastly, moved the literals.sml file from FLINT/main to CPS/main (where
  it belongs).

Revision 4949 - (view) (download) (annotate) - [select for diffs]
Modified Sun Apr 7 12:50:20 2019 UTC (3 months, 2 weeks ago) by jhr
File length: 40445 byte(s)
Diff to previous 4842
  Split CPS out from the FLINT directory into its own subdirectory.  This change
  includes replacing the FLINTComp functor with a FLINTOpt structure and a CPSComp
  functor.

Revision 4842 - (view) (download) (annotate) - [select for diffs]
Modified Sun Sep 23 23:37:18 2018 UTC (9 months, 4 weeks ago) by jhr
Original Path: sml/trunk/compiler/FLINT/cpsopt/contract.sml
File length: 40445 byte(s)
Diff to previous 4813
  Change CPS operators for wrapping/unwrapping integer and float values to
  be word-size flexible.  We now use a single `wrap` (and `unwrap`) operator
  that is parameterized by a `numkind` value.

Revision 4813 - (view) (download) (annotate) - [select for diffs]
Modified Wed Sep 12 23:55:25 2018 UTC (10 months, 1 week ago) by jhr
Original Path: sml/trunk/compiler/FLINT/cpsopt/contract.sml
File length: 41424 byte(s)
Diff to previous 4667
  merging in changes from the arith64 branch: mostly removal of the broken
  CPS checking code plus more "64BIT:" comments.

Revision 4667 - (view) (download) (annotate) - [select for diffs]
Modified Tue Jun 12 18:46:48 2018 UTC (13 months, 1 week ago) by jhr
Original Path: sml/trunk/compiler/FLINT/cpsopt/contract.sml
File length: 45296 byte(s)
Diff to previous 4560
remove condmove primop from CPS

Revision 4560 - (view) (download) (annotate) - [select for diffs]
Modified Fri May 4 23:00:31 2018 UTC (14 months, 2 weeks ago) by jhr
Original Path: sml/trunk/compiler/FLINT/cpsopt/contract.sml
File length: 48170 byte(s)
Diff to previous 4549
  Switch CPS to use IntInf.int to represent integer/word values

Revision 4549 - (view) (download) (annotate) - [select for diffs]
Modified Tue May 1 13:07:26 2018 UTC (14 months, 3 weeks ago) by jhr
Original Path: sml/trunk/compiler/FLINT/cpsopt/contract.sml
File length: 46098 byte(s)
Diff to previous 4540
  Added contraction rules for unsigned *, +, and -

Revision 4540 - (view) (download) (annotate) - [select for diffs]
Modified Wed Apr 25 17:06:35 2018 UTC (14 months, 3 weeks ago) by jhr
Original Path: sml/trunk/compiler/FLINT/cpsopt/contract.sml
File length: 44760 byte(s)
Diff to previous 4527
  Use RealConst.t representation in FLINT and CPS IRs.

Revision 4527 - (view) (download) (annotate) - [select for diffs]
Modified Sat Apr 14 14:41:11 2018 UTC (15 months, 1 week ago) by jhr
Original Path: sml/trunk/compiler/FLINT/cpsopt/contract.sml
File length: 45169 byte(s)
Diff to previous 4454
  Switched the representation of real literals from strings to the
  RealLit.t type.  This change is the first step toward fixing
  bug #191 and supporting 32-bit reals.

Revision 4454 - (view) (download) (annotate) - [select for diffs]
Modified Thu Sep 21 18:25:19 2017 UTC (22 months ago) by jhr
Original Path: sml/trunk/compiler/FLINT/cpsopt/contract.sml
File length: 45161 byte(s)
Diff to previous 4446
  Changed representation of CPS.cty to track sizes of untagged integer
  and float types.

Revision 4446 - (view) (download) (annotate) - [select for diffs]
Modified Wed Sep 20 23:40:53 2017 UTC (22 months ago) by jhr
Original Path: sml/trunk/compiler/FLINT/cpsopt/contract.sml
File length: 45114 byte(s)
Diff to previous 4439
  Bug fix.  Also add headers and remove trailing whitespace.

Revision 4439 - (view) (download) (annotate) - [select for diffs]
Modified Wed Sep 20 18:45:26 2017 UTC (22 months ago) by jhr
Original Path: sml/trunk/compiler/FLINT/cpsopt/contract.sml
File length: 45058 byte(s)
Diff to previous 4419
  Working towards 64-bit support.  Added Target module, which specifies the
  properties of the target (e.g., size in bits of default int type).  Reworked
  generation of InlineT structure to be target specific.  Some cleanup for
  primop bindings and FLINT's primtycs.

Revision 4419 - (view) (download) (annotate) - [select for diffs]
Modified Mon Sep 18 21:53:44 2017 UTC (22 months ago) by jhr
Original Path: sml/trunk/compiler/FLINT/cpsopt/contract.sml
File length: 45159 byte(s)
Diff to previous 3901
  remove BOXEDUPDATE primop, since it is the same as UPDATE.

Revision 3901 - (view) (download) (annotate) - [select for diffs]
Modified Thu Aug 14 21:14:55 2014 UTC (4 years, 11 months ago) by jhr
Original Path: sml/trunk/compiler/FLINT/cpsopt/contract.sml
File length: 45433 byte(s)
Diff to previous 2162
  Fixed bug #119 (conversion from tuples to vectors)

Revision 2162 - (view) (download) (annotate) - [select for diffs]
Modified Thu Nov 2 21:20:47 2006 UTC (12 years, 8 months ago) by blume
Original Path: sml/trunk/compiler/FLINT/cpsopt/contract.sml
File length: 45728 byte(s)
Diff to previous 1755
eliminated src dir

Revision 1755 - (view) (download) (annotate) - [select for diffs]
Modified Thu Feb 10 23:54:06 2005 UTC (14 years, 5 months ago) by mblume
Original Path: sml/trunk/src/compiler/FLINT/cpsopt/contract.sml
File length: 45728 byte(s)
Diff to previous 1347
long long results implemented

Revision 1347 - (view) (download) (annotate) - [select for diffs]
Modified Thu Aug 28 21:59:15 2003 UTC (15 years, 10 months ago) by mblume
Original Path: sml/trunk/src/compiler/FLINT/cpsopt/contract.sml
File length: 45604 byte(s)
Diff to previous 1335
implemented IntInf in Basis and compiler;
new version number; new bootfiles

Revision 1335 - (view) (download) (annotate) - [select for diffs]
Modified Tue May 27 21:54:23 2003 UTC (16 years, 1 month ago) by mblume
Original Path: sml/trunk/src/compiler/FLINT/cpsopt/contract.sml
File length: 41740 byte(s)
Diff to previous 1334
eliminated many cases of poly-eq

Revision 1334 - (view) (download) (annotate) - [select for diffs]
Modified Thu May 22 22:46:30 2003 UTC (16 years, 2 months ago) by mblume
Original Path: sml/trunk/src/compiler/FLINT/cpsopt/contract.sml
File length: 41736 byte(s)
Diff to previous 1183
major cleanup: eliminate all non-exhaustive pattern matches

Revision 1183 - (view) (download) (annotate) - [select for diffs]
Modified Fri Mar 29 19:09:48 2002 UTC (17 years, 3 months ago) by blume
Original Path: sml/trunk/src/compiler/FLINT/cpsopt/contract.sml
File length: 41699 byte(s)
Diff to previous 1174
division primops, inline primops for min/max/abs

Revision 1174 - (view) (download) (annotate) - [select for diffs]
Modified Sat Mar 23 21:14:40 2002 UTC (17 years, 4 months ago) by leunga
Original Path: sml/trunk/src/compiler/FLINT/cpsopt/contract.sml
File length: 41388 byte(s)
Diff to previous 826

    Added some new primops for creating/manipulating temporary "C" objects
    allocated on the ml heap.

Revision 826 - (view) (download) (annotate) - [select for diffs]
Modified Wed May 9 20:32:17 2001 UTC (18 years, 2 months ago) by blume
Original Path: sml/trunk/src/compiler/FLINT/cpsopt/contract.sml
File length: 38312 byte(s)
Diff to previous 773
bug fix for cpsopt/contract.sml

Revision 773 - (view) (download) (annotate) - [select for diffs]
Modified Mon Jan 8 16:18:37 2001 UTC (18 years, 6 months ago) by blume
Original Path: sml/trunk/src/compiler/FLINT/cpsopt/contract.sml
File length: 38178 byte(s)
Diff to previous 733
merging changes from private branch

Revision 733 - (view) (download) (annotate) - [select for diffs]
Modified Fri Nov 17 05:13:45 2000 UTC (18 years, 8 months ago) by blume
Original Path: sml/trunk/src/compiler/FLINT/cpsopt/contract.sml
File length: 37735 byte(s)
Diff to previous 666
merged the big housecleaning patch (see HISTORY!)

Revision 666 - (view) (download) (annotate) - [select for diffs]
Modified Fri Jun 16 08:27:00 2000 UTC (19 years, 1 month ago) by blume
Original Path: sml/trunk/src/compiler/FLINT/cpsopt/contract.sml
File length: 37534 byte(s)
Diff to previous 651
merging back my devel changes (anchor environments)

Revision 651 - (view) (download) (annotate) - [select for diffs]
Modified Thu Jun 1 18:34:03 2000 UTC (19 years, 1 month ago) by monnier
Original Path: sml/trunk/src/compiler/FLINT/cpsopt/contract.sml
File length: 37577 byte(s)
Diff to previous 251
bring revisions from the vendor branch to the trunk

Revision 251 - (view) (download) (annotate) - [select for diffs]
Modified Mon Apr 19 02:55:26 1999 UTC (20 years, 3 months ago) by monnier
Original Path: sml/trunk/src/compiler/FLINT/cpsopt/contract.sml
File length: 37577 byte(s)
Diff to previous 149
First try at a merge of 110.16

Revision 149 - (view) (download) (annotate) - [select for diffs]
Modified Sun Oct 11 17:44:55 1998 UTC (20 years, 9 months ago) by monnier
Original Path: sml/trunk/src/compiler/FLINT/cpsopt/contract.sml
File length: 37650 byte(s)
Diff to previous 122
eliminated use of CG.misc4 probably left over from debugging

Revision 122 - (view) (download) (annotate) - [select for diffs]
Modified Sat Jun 6 15:05:38 1998 UTC (21 years, 1 month ago) by monnier
Original Path: sml/trunk/src/compiler/FLINT/cpsopt/contract.sml
File length: 37671 byte(s)
Diff to previous 114
addition of fcontract and fixfix and Control.FLINT

Revision 114 - (view) (download) (annotate) - [select for diffs]
Modified Fri Jun 5 19:41:21 1998 UTC (21 years, 1 month ago) by monnier
Original Path: sml/trunk/src/compiler/FLINT/cpsopt/contract.sml
File length: 37660 byte(s)
Copied from: sml/branches/SMLNJ/src/compiler/FLINT/cpsopt/contract.sml revision 113
Diff to previous 113
This commit was generated by cvs2svn to compensate for changes in r113,
which included commits to RCS files with non-trunk default branches.

Revision 113 - (view) (download) (annotate) - [select for diffs]
Modified Fri Jun 5 19:41:21 1998 UTC (21 years, 1 month ago) by monnier
Original Path: sml/branches/SMLNJ/src/compiler/FLINT/cpsopt/contract.sml
File length: 37660 byte(s)
Diff to previous 93
110.7

Revision 93 - (view) (download) (annotate) - [select for diffs]
Modified Tue May 12 21:56:22 1998 UTC (21 years, 2 months ago) by monnier
Original Path: sml/branches/SMLNJ/src/compiler/FLINT/cpsopt/contract.sml
File length: 37746 byte(s)
Diff to previous 69
*** empty log message ***

Revision 69 - (view) (download) (annotate) - [select for diffs]
Modified Fri Apr 3 00:06:55 1998 UTC (21 years, 3 months ago) by monnier
Original Path: sml/branches/SMLNJ/src/compiler/FLINT/cpsopt/contract.sml
File length: 38154 byte(s)
Diff to previous 17
*** empty log message ***

Revision 17 - (view) (download) (annotate) - [select for diffs]
Modified Wed Mar 11 21:00:18 1998 UTC (21 years, 4 months ago) by
Original Path: sml/branches/SMLNJ/src/compiler/FLINT/cpsopt/contract.sml
File length: 38046 byte(s)
Diff to previous 16
This commit was manufactured by cvs2svn to create branch 'SMLNJ'.

Revision 16 - (view) (download) (annotate) - [select for diffs]
Added Wed Mar 11 21:00:04 1998 UTC (21 years, 4 months ago) by monnier
Original Path: sml/trunk/src/compiler/FLINT/cpsopt/contract.sml
File length: 38046 byte(s)
Initial revision

This form allows you to request diffs between any two revisions of this file. For each of the two "sides" of the diff, enter a numeric revision.

  Diffs between and
  Type of Diff should be a

Sort log by:

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