Timeline

Many hyperlinks are disabled.
Use anonymous login to enable hyperlinks.

50 most recent check-ins

2018-11-13
02:57
Code complete for PRE - except that I don't know how to introduce a phi if PRE has made an expression available on two afferent flow graph edges rather than in a dominator. Leaf check-in: fa9f7e0eb3 user: kbk tags: notworking, kbk-pre
2018-11-12
16:38
Tidy up commentary and calculation of INSERT and DELETE. Build the place to start code rewriting, and add some methods to start on renaming variables wholesale. check-in: e901ec10df user: kbk tags: kbk-pre
01:38
Change signatures in preparation for code rewriting: include enough information in signatures so that INSERT can reconstruct an instruction check-in: c098311242 user: kbk tags: kbk-pre
2018-11-11
22:34
Add bitwise Boolean operations to constant folding. Modify partial redundancy elimination to use bit vectors for dataflow calculations and debug the dataflow equations. check-in: 71a4e793a1 user: kbk tags: kbk-pre
2018-11-10
22:17
Use the lexical-name algorithm for 'altered' for now. May change to value-driven later. check-in: 592020ed7a user: kbk tags: notworking, kbk-pre
19:10
Better copy prop exposes more opportunities for constant folding. check-in: edb0c23738 user: kbk tags: kbk-pre
18:41
Fix bug where reverse copy propagation crashed (triggered by fixing bug where reverse copy propagation never happened). Add code in specializer to detect and recover from errors thrown in procedure inlining. check-in: 3f9877077d user: kbk tags: kbk-pre
2018-11-09
03:48
Temporarily revert a change made to copyprop until the crash that it causes can be investigated. Add a loop inversion pass at the front of processing, so that every natural loop body is executed at least once and might have loop-invariant computations. Add more coding to partial redundancy elimination check-in: f141d962a5 user: kbk tags: kbk-pre
2018-11-04
23:49
merge trunk Leaf check-in: 7b85bdfca9 user: dkf tags: poly1305
23:27
Add calculation of ANTIN, ANTOUT, and EARLIEST. check-in: ea6904fb1f user: kbk tags: kbk-pre
21:02
OOPS: Didn't add pre.tcl on last commit! Continue partial implementation of Value-Dependent Code Motion from the Simpson thesis. check-in: 3a32295d4d user: kbk tags: kbk-pre
01:38
Start development of partial redundancy elimination. Complete though base-case of the dataflow solution. check-in: 534d2b9f68 user: kbk tags: kbk-pre
2018-11-01
22:04
Allow IMPURE values to builtin mathfuncs Leaf check-in: dfc7885448 user: kbk tags: trunk
2018-10-31
11:32
Also ask for critical math function to be compiled check-in: fb47c5a2cd user: dkf tags: poly1305
11:22
Suggested test case from Neil Madden check-in: 4801fbf7c9 user: dkf tags: poly1305
11:05
use [my Warn] correctly check-in: b99007d3a3 user: dkf tags: trunk
2018-10-23
01:34
Add return from invokeExpanded. Add a test case for invokeExpanded. Correct a few comments in the compilation of invokeExpanded. Leaf check-in: 41fe6d416f user: kbk tags: kbk-nre
2018-10-21
22:49
Squelch unnecessary test failures. check-in: 35ee4b3111 user: dkf tags: kbk-nre
22:41
Implement NRE.invokeExpanded check-in: 7e61b1c24c user: dkf tags: kbk-nre
17:48
Test case for NRE.invokeExpanded check-in: 7c7508effb user: dkf tags: kbk-nre
16:30
First step of the NRE invokeExpanded machinery. check-in: 115a9a6616 user: dkf tags: kbk-nre
16:12
merge trunk check-in: 3c382b2d30 user: dkf tags: kbk-nre
16:08
First cut at the code generators for list/dict type checks Leaf check-in: 593d4987de user: dkf tags: list-and-dict-types
2018-10-19
12:58
Starting to create LIST and DICT types check-in: dc90f65b5e user: dkf tags: list-and-dict-types
2018-10-18
10:59
Add support for LLVM 7; two intrinsics changed signature to become simpler check-in: 961facd520 user: dkf tags: trunk
2018-10-17
12:29
Fix Sean's problem with [lrange]. check-in: e33c1317fd user: dkf tags: trunk
2018-10-15
21:28
Fix crash if a parameter to a procedure is unused within the procedure. check-in: ba43f318d7 user: kbk tags: trunk
17:08
Enable random numbers. check-in: 6841dceaad user: dkf tags: trunk
16:09
Added explicit recursive fib test check-in: 347443afbe user: dkf tags: trunk
12:58
Flipped the sense of some tests check-in: 9912776e7c user: dkf tags: trunk
11:13
Expand the basic eq/ge/gt/le/lt/ne ops to allow doubles too. check-in: 9bbeeddfb9 user: dkf tags: trunk
2018-07-08
09:12
Slightly better script for demos check-in: b12c0dc620 user: dkf tags: trunk
2018-05-02
05:28
Add support for invoking non-compiled Tcl commands using NRE. Still have to do invokeExpanded. check-in: 9f6d191beb user: kbk tags: kbk-nre
2018-05-01
02:13
Make sure that local vars are located on the coro frame and not on the stack. Fix a spurious error when an 'upvar' follows a 'moveToCallFrame' for a nonexistent local var. check-in: 2945c2321c user: kbk tags: kbk-nre
2018-04-30
19:01
Allow 'inlinehint' as an overriding inline control attribute, just like 'noinline'. check-in: ebcc398686 user: dkf tags: kbk-nre
2018-04-29
17:37
merge trunk check-in: 23f46849a7 user: dkf tags: kbk-nre
17:21
Fix native code generation when building DLLs check-in: 412811a9f7 user: dkf tags: trunk
2018-04-28
08:36
Added mrtest as a separately buildable package. check-in: a5f8fcd325 user: dkf tags: trunk
08:25
Added mrtest as a separately buildable package. check-in: 05a6521445 user: dkf tags: kbk-nre
2018-04-27
20:32
Move more 'alloca' instructions to the entry block, before they can mess up coro.begin. Allow NRE procs to return CALLFRAME COROHANDLE, needed for bookkeeping if they both use NRE and reference the callframe. Put in a test case for the CALLFRAME COROHANDLE condition - that case still crashes check-in: 8c6a038bf1 user: kbk tags: notworking, kbk-nre
2018-04-25
00:59
Improve commentary check-in: 7a5af13a50 user: kbk tags: kbk-nre
00:47
Streamline returnFromInvoke a tiny bit. check-in: 020581c952 user: kbk tags: kbk-nre
2018-04-24
03:39
Use llvmtcl 3.9 (release) features to provide the target platform information before starting to generate code in a module, and to do 'sizeof' and 'alignof' correctly. mrtest::* now compile correctly. check-in: c2b79891aa user: kbk tags: kbk-nre
2018-04-23
03:10
Force alignment of coroutine promise to 2*sizeof(pointer), in hopes of getting consistent alignment between coro.begin and later references to the coro frame. (Didn't help, alas, but it doesn't hurt to specify the alignment that's required in any case. check-in: bc3db1940d user: kbk tags: notworking, kbk-nre
2018-04-20
02:26
Add NRE test that throws error check-in: fcf84a8631 user: kbk tags: notworking, kbk-nre
2018-04-18
23:03
Alignment constraints on coroutine intrinsics must be actual integer constants, not just constant expressions of integer type. check-in: d611cc5908 user: kbk tags: notworking, kbk-nre
2018-04-17
21:53
Added debugging types for NRE callbacks. check-in: 11236a5639 user: dkf tags: notworking, kbk-nre
00:13
Merge trunk Leaf check-in: 25e63838cd user: kbk tags: inline
00:11
Merge trunk: expunge last uses of 'uniqueUndef' in constructing phi's check-in: 1855f5dc7a user: kbk tags: notworking, kbk-nre
00:09
Finish expunging the uses of 'uniqueUndef' in constructing phis. check-in: f71cdfbdae user: kbk tags: trunk