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 4813 - (view) (download) (annotate) - [select for diffs]
Modified Wed Sep 12 23:55:25 2018 UTC (10 months ago) by jhr
File length: 25844 byte(s)
Diff to previous 4804
  merging in changes from the arith64 branch: mostly removal of the broken
  CPS checking code plus more "64BIT:" comments.

Revision 4804 - (view) (download) (annotate) - [select for diffs]
Modified Wed Sep 12 19:08:32 2018 UTC (10 months ago) by jhr
File length: 25825 byte(s)
Diff to previous 4799
  some code formatting and merged in 64-bit cleanup of IntInfCnv (nee InfCnv)  module.

Revision 4799 - (view) (download) (annotate) - [select for diffs]
Modified Tue Sep 11 22:07:00 2018 UTC (10 months ago) by jhr
File length: 25806 byte(s)
Diff to previous 4717
  Replace the implementation of switch with a cleaner version.

Revision 4717 - (view) (download) (annotate) - [select for diffs]
Modified Mon Sep 3 00:48:43 2018 UTC (10 months, 1 week ago) by jhr
File length: 27101 byte(s)
Diff to previous 4669
  better error messages

Revision 4669 - (view) (download) (annotate) - [select for diffs]
Modified Wed Jun 13 17:28:50 2018 UTC (13 months ago) by jhr
File length: 26985 byte(s)
Diff to previous 4561
  change representation of integer types in FLINT to be target-word-size
  independent

Revision 4561 - (view) (download) (annotate) - [select for diffs]
Modified Sat May 5 12:47:13 2018 UTC (14 months, 1 week ago) by jhr
File length: 26960 byte(s)
Diff to previous 4560
  Cleanup switch code a bit.

Revision 4560 - (view) (download) (annotate) - [select for diffs]
Modified Fri May 4 23:00:31 2018 UTC (14 months, 1 week ago) by jhr
File length: 26785 byte(s)
Diff to previous 4558
  Switch CPS to use IntInf.int to represent integer/word values

Revision 4558 - (view) (download) (annotate) - [select for diffs]
Modified Fri May 4 15:02:34 2018 UTC (14 months, 1 week ago) by jhr
File length: 26623 byte(s)
Diff to previous 4552
code layout

Revision 4552 - (view) (download) (annotate) - [select for diffs]
Modified Wed May 2 15:43:07 2018 UTC (14 months, 2 weeks ago) by jhr
File length: 26620 byte(s)
Diff to previous 4550
  Switch FLINT IR to use IntInf.int for integer and word constants.

Revision 4550 - (view) (download) (annotate) - [select for diffs]
Modified Tue May 1 17:14:02 2018 UTC (14 months, 2 weeks ago) by jhr
File length: 26549 byte(s)
Diff to previous 4548
  working on numeric constants

Revision 4548 - (view) (download) (annotate) - [select for diffs]
Modified Tue May 1 11:34:10 2018 UTC (14 months, 2 weeks ago) by jhr
File length: 26598 byte(s)
Diff to previous 4540
  moved const-arith into MiscUtil so that it is available to the
  CodeGen phase (in addition to cpsopt).

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

Revision 4535 - (view) (download) (annotate) - [select for diffs]
Modified Fri Apr 20 14:10:47 2018 UTC (14 months, 3 weeks ago) by jhr
File length: 26659 byte(s)
Diff to previous 4527
  code formatting and comments

Revision 4527 - (view) (download) (annotate) - [select for diffs]
Modified Sat Apr 14 14:41:11 2018 UTC (15 months ago) by jhr
File length: 29147 byte(s)
Diff to previous 4523
  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 (15 months ago) by jhr
File length: 29169 byte(s)
Diff to previous 4454
  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 (21 months, 3 weeks ago) by jhr
File length: 29201 byte(s)
Diff to previous 4452
  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 (21 months, 3 weeks ago) by dbm
File length: 28315 byte(s)
Diff to previous 4446
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 (21 months, 3 weeks ago) by jhr
File length: 28185 byte(s)
Diff to previous 4432
  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 (21 months, 3 weeks ago) by jhr
File length: 28453 byte(s)
Diff to previous 4419
  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 (21 months, 4 weeks ago) by jhr
File length: 27376 byte(s)
Diff to previous 4418
  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 (21 months, 4 weeks ago) by jhr
File length: 27420 byte(s)
Diff to previous 2732
  Removed unused primops (GETRUNVEC, DEFLVAR, USELVAR)

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

Revision 2162 - (view) (download) (annotate) - [select for diffs]
Modified Thu Nov 2 21:20:47 2006 UTC (12 years, 8 months ago) by blume
File length: 27464 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/cps/convert.sml
File length: 27464 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/cps/convert.sml
File length: 27273 byte(s)
Diff to previous 1183
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, 3 months ago) by blume
Original Path: sml/trunk/src/compiler/FLINT/cps/convert.sml
File length: 27078 byte(s)
Diff to previous 1178
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, 3 months ago) by blume
Original Path: sml/trunk/src/compiler/FLINT/cps/convert.sml
File length: 26997 byte(s)
Diff to previous 1174
raw-primop cleanup

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

    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, 6 months ago) by blume
Original Path: sml/trunk/src/compiler/FLINT/cps/convert.sml
File length: 26180 byte(s)
Diff to previous 774
syncing with my private branch

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

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/cps/convert.sml
File length: 25970 byte(s)
Diff to previous 772
merging changes from private branch

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

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

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/cps/convert.sml
File length: 24700 byte(s)
Diff to previous 717
merged the big housecleaning patch (see HISTORY!)

Revision 717 - (view) (download) (annotate) - [select for diffs]
Modified Sun Nov 5 15:07:51 2000 UTC (18 years, 8 months ago) by george
Original Path: sml/trunk/src/compiler/FLINT/cps/convert.sml
File length: 24636 byte(s)
Diff to previous 651
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, 1 month 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) - [select for diffs]
Modified Mon Sep 6 02:32:11 1999 UTC (19 years, 10 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, 3 months ago) by monnier
Original Path: sml/trunk/src/compiler/FLINT/cps/convert.sml
File length: 24530 byte(s)
Diff to previous 216
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, 4 months ago) by monnier
Original Path: sml/trunk/src/compiler/FLINT/cps/convert.sml
File length: 24279 byte(s)
Diff to previous 199
* 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 (20 years, 7 months ago) by monnier
Original Path: sml/trunk/src/compiler/FLINT/cps/convert.sml
File length: 24274 byte(s)
Diff to previous 197
* 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 (20 years, 7 months ago) by monnier
Original Path: sml/trunk/src/compiler/FLINT/cps/convert.sml
File length: 24275 byte(s)
Diff to previous 191
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 (20 years, 8 months ago) by monnier
Original Path: sml/trunk/src/compiler/FLINT/cps/convert.sml
File length: 24313 byte(s)
Diff to previous 114
* 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, 1 month 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
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/cps/convert.sml
File length: 23038 byte(s)
Diff to previous 106
110.7

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

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

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/cps/convert.sml
File length: 22941 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/cps/convert.sml
File length: 22839 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/cps/convert.sml
File length: 36674 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/cps/convert.sml
File length: 36674 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