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/FLINT/cps/convert.sml
[smlnj] / sml / trunk / compiler / FLINT / cps / convert.sml  
ViewVC logotype

Log of /sml/trunk/compiler/FLINT/cps/convert.sml

Parent Directory Parent Directory


Sticky Revision:
(Current path doesn't exist after revision 4948)

Revision 4527 - (view) (download) (annotate) - [select for diffs]
Modified Sat Apr 14 14:41:11 2018 UTC (19 months, 3 weeks ago) by jhr
File length: 29147 byte(s)
Diff to previous 4523 , to selected 423
  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 4523 - (view) (download) (annotate) - [select for diffs]
Modified Fri Apr 13 14:41:33 2018 UTC (19 months, 3 weeks ago) by jhr
File length: 29169 byte(s)
Diff to previous 4454 , to selected 423
  Removed real patterns from Absyn and FLINT, since they are not allowed by SML'93.

Revision 4454 - (view) (download) (annotate) - [select for diffs]
Modified Thu Sep 21 18:25:19 2017 UTC (2 years, 2 months ago) by jhr
File length: 29201 byte(s)
Diff to previous 4452 , to selected 423
  Changed representation of CPS.cty to track sizes of untagged integer
  and float types.

Revision 4452 - (view) (download) (annotate) - [select for diffs]
Modified Thu Sep 21 16:37:47 2017 UTC (2 years, 2 months ago) by dbm
File length: 28315 byte(s)
Diff to previous 4446 , to selected 423
changed cty in FLINT/cps/cps.{sig,sml}

Revision 4446 - (view) (download) (annotate) - [select for diffs]
Modified Wed Sep 20 23:40:53 2017 UTC (2 years, 2 months ago) by jhr
File length: 28185 byte(s)
Diff to previous 4432 , to selected 423
  Bug fix.  Also add headers and remove trailing whitespace.

Revision 4432 - (view) (download) (annotate) - [select for diffs]
Modified Tue Sep 19 21:40:38 2017 UTC (2 years, 2 months ago) by jhr
File length: 28453 byte(s)
Diff to previous 4419 , to selected 423
  Working on new primops.  We've moved a bunch of code from Semant to ElabData
  and we've changed the representation of primop IDs in structures.

Revision 4419 - (view) (download) (annotate) - [select for diffs]
Modified Mon Sep 18 21:53:44 2017 UTC (2 years, 2 months ago) by jhr
File length: 27376 byte(s)
Diff to previous 4418 , to selected 423
  remove BOXEDUPDATE primop, since it is the same as UPDATE.

Revision 4418 - (view) (download) (annotate) - [select for diffs]
Modified Mon Sep 18 21:35:55 2017 UTC (2 years, 2 months ago) by jhr
File length: 27420 byte(s)
Diff to previous 2732 , to selected 423
  Removed unused primops (GETRUNVEC, DEFLVAR, USELVAR)

Revision 2732 - (view) (download) (annotate) - [select for diffs]
Modified Sat Jul 28 06:14:28 2007 UTC (12 years, 4 months ago) by gkuan
File length: 27534 byte(s)
Diff to previous 2162 , to selected 423
Added f64sgn signbit primop

Revision 2162 - (view) (download) (annotate) - [select for diffs]
Modified Thu Nov 2 21:20:47 2006 UTC (13 years, 1 month ago) by blume
File length: 27464 byte(s)
Diff to previous 1755 , to selected 423
eliminated src dir

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

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

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

Revision 1178 - (view) (download) (annotate) - [select for diffs]
Modified Mon Mar 25 20:51:48 2002 UTC (17 years, 8 months ago) by blume
Original Path: sml/trunk/src/compiler/FLINT/cps/convert.sml
File length: 26997 byte(s)
Diff to previous 1174 , to selected 423
raw-primop cleanup

Revision 1174 - (view) (download) (annotate) - [select for diffs]
Modified Sat Mar 23 21:14:40 2002 UTC (17 years, 8 months ago) by leunga
Original Path: sml/trunk/src/compiler/FLINT/cps/convert.sml
File length: 27008 byte(s)
Diff to previous 777 , to selected 423

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

Revision 777 - (view) (download) (annotate) - [select for diffs]
Modified Fri Jan 12 12:17:38 2001 UTC (18 years, 10 months ago) by blume
Original Path: sml/trunk/src/compiler/FLINT/cps/convert.sml
File length: 26180 byte(s)
Diff to previous 774 , to selected 423
syncing with my private branch

Revision 774 - (view) (download) (annotate) - [select for diffs]
Modified Wed Jan 10 12:50:56 2001 UTC (18 years, 11 months ago) by blume
Original Path: sml/trunk/src/compiler/FLINT/cps/convert.sml
File length: 26124 byte(s)
Diff to previous 773 , to selected 423
merging changes from private branch

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

Revision 772 - (view) (download) (annotate) - [select for diffs]
Modified Thu Jan 4 15:36:41 2001 UTC (18 years, 11 months ago) by blume
Original Path: sml/trunk/src/compiler/FLINT/cps/convert.sml
File length: 24889 byte(s)
Diff to previous 754 , to selected 423
merging changes from private branch

Revision 754 - (view) (download) (annotate) - [select for diffs]
Modified Mon Dec 11 17:38:33 2000 UTC (19 years ago) by george
Original Path: sml/trunk/src/compiler/FLINT/cps/convert.sml
File length: 24701 byte(s)
Diff to previous 733 , to selected 423
fix for bug 1576

Revision 733 - (view) (download) (annotate) - [select for diffs]
Modified Fri Nov 17 05:13:45 2000 UTC (19 years ago) by blume
Original Path: sml/trunk/src/compiler/FLINT/cps/convert.sml
File length: 24700 byte(s)
Diff to previous 717 , to selected 423
merged the big housecleaning patch (see HISTORY!)

Revision 717 - (view) (download) (annotate) - [select for diffs]
Modified Sun Nov 5 15:07:51 2000 UTC (19 years, 1 month ago) by george
Original Path: sml/trunk/src/compiler/FLINT/cps/convert.sml
File length: 24636 byte(s)
Diff to previous 651 , to selected 423
support for sqrt and trig functions on the x86

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

Revision 423 - (view) (download) (annotate) - [selected]
Modified Mon Sep 6 02:32:11 1999 UTC (20 years, 3 months ago) by monnier
Original Path: sml/trunk/src/compiler/FLINT/cps/convert.sml
File length: 24518 byte(s)
Diff to previous 251
It now compiles

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

Revision 216 - (view) (download) (annotate) - [select for diffs]
Modified Fri Feb 26 12:55:26 1999 UTC (20 years, 9 months ago) by monnier
Original Path: sml/trunk/src/compiler/FLINT/cps/convert.sml
File length: 24279 byte(s)
Diff to previous 199 , to selected 423
* opt/split.sml: seriously reworked.  Now splits TFNs as well.
* kernel/primop.sml (effect): removed DEREF and MAKEREF from the pure
  primops.
* flint/flintutil.sml (copy): sort the type-map since {lt,tc}_subst
  actually expects it to be sorted.
* kernel/ltyextern.{sml,sig} (lt_nvpoly): new function (digged from
  recover.sml to build a LT_POLY in the case of named tvars.
* opt/recover.sml: removed unused depth arguments left behind from before
  we switched to named tvars.
(addLty): added for the benefit of opt/split.sml
(lt_nvpoly): moved to ltyextern.sml

Revision 199 - (view) (download) (annotate) - [select for diffs]
Modified Wed Nov 25 18:30:38 1998 UTC (21 years ago) by monnier
Original Path: sml/trunk/src/compiler/FLINT/cps/convert.sml
File length: 24274 byte(s)
Diff to previous 197 , to selected 423
* opt/loopify.sml: improved tail-calls recognition.
Also be more careful about wrapping loops into functions (so contraction
is not needed to cleanup).
* opt/fixfix.sml: pretend loops are smaller to increase their inlining.
* kernel/ltyextern.sml: commented out Stats calls.
* flint/flint.sig: changed LK_WHILE to LK_TAIL.

Revision 197 - (view) (download) (annotate) - [select for diffs]
Modified Sun Nov 22 01:25:23 1998 UTC (21 years ago) by monnier
Original Path: sml/trunk/src/compiler/FLINT/cps/convert.sml
File length: 24275 byte(s)
Diff to previous 191 , to selected 423
Merged in Bratin's typelifting and Chris' named tvars.
FLINT is now using tvars from the first lcontract all the way to cps.

* reps/rttype.sml: changes from Bratin.
(rtLexp): define the NVAR case (return the tvar as an lvar).
* opt/[fl]contract.sml: removed the restriction on inlining at the same
  deBruijn depth.
* opt/lift.sml: new file for typelifting.
* flint/flintutil.sml (copy): added tvar renaming.
* flint/tvarcvt.sml: new file for named tvar <-> deBruijn conversions.

Revision 191 - (view) (download) (annotate) - [select for diffs]
Modified Fri Nov 20 02:01:27 1998 UTC (21 years ago) by monnier
Original Path: sml/trunk/src/compiler/FLINT/cps/convert.sml
File length: 24313 byte(s)
Diff to previous 114 , to selected 423
* opt/loopify.sml: new file
* cps/convert.sml: added code to take advantage of LK_WHILE loops.

Revision 114 - (view) (download) (annotate) - [select for diffs]
Modified Fri Jun 5 19:41:21 1998 UTC (21 years, 6 months ago) by monnier
Original Path: sml/trunk/src/compiler/FLINT/cps/convert.sml
File length: 23038 byte(s)
Copied from: sml/branches/SMLNJ/src/compiler/FLINT/cps/convert.sml revision 113
Diff to previous 113 , to selected 423
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, 6 months ago) by monnier
Original Path: sml/branches/SMLNJ/src/compiler/FLINT/cps/convert.sml
File length: 23038 byte(s)
Diff to previous 106 , to selected 423
110.7

Revision 106 - (view) (download) (annotate) - [select for diffs]
Modified Thu May 28 21:30:17 1998 UTC (21 years, 6 months ago) by monnier
Original Path: sml/branches/SMLNJ/src/compiler/FLINT/cps/convert.sml
File length: 23206 byte(s)
Diff to previous 100 , to selected 423
110.6

Revision 100 - (view) (download) (annotate) - [select for diffs]
Modified Thu May 14 04:56:46 1998 UTC (21 years, 7 months ago) by monnier
Original Path: sml/branches/SMLNJ/src/compiler/FLINT/cps/convert.sml
File length: 23122 byte(s)
Diff to previous 93 , to selected 423
110.5.1 from Zhong

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

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

Revision 17 - (view) (download) (annotate) - [select for diffs]
Modified Wed Mar 11 21:00:18 1998 UTC (21 years, 9 months ago) by
Original Path: sml/branches/SMLNJ/src/compiler/FLINT/cps/convert.sml
File length: 36674 byte(s)
Diff to previous 16 , to selected 423
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, 9 months ago) by monnier
Original Path: sml/trunk/src/compiler/FLINT/cps/convert.sml
File length: 36674 byte(s)
Diff to selected 423
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