Many hyperlinks are disabled.
Use anonymous login
to enable hyperlinks.
69 check-ins related to "mistake"
2018-12-07
| ||
02:23 | Increase recursion limit to allow compilation of longer procedures. Correct a bug in expandInlines that left dangling references to procedure args. Correct a bug in analyzeTypes where the INT/ENTIER break was set to int32 rather than int64. Add shift operations to constfold. Improve auditing. Merge trunk. Closed-Leaf check-in: 023d0828f0 user: kbk tags: poly1305 | |
02:19 | Increase recursion limit to allow compilation of longer procedures. Correct a bug in expandInlines that left dangling references to procedure args. Correct a bug in analyzeTypes where the INT/ENTIER break was set to int32 rather than int64. Add shift operations to constfold. Improve auditing. Merge trunk. Closed-Leaf check-in: 1984824c19 user: kbk tags: mistake | |
2018-12-06
| ||
03:15 | Merge kbk-pre - add the optimizations of loop inversion (enables loop-invariant code motion) and partial redundancy elimination, and fix multiple bugs exposed by these optimizations. check-in: 0e06123e97 user: kbk tags: trunk | |
2018-11-04
| ||
23:49 | merge trunk check-in: 7b85bdfca9 user: dkf tags: poly1305 | |
2018-04-14
| ||
22:19 | Finish up return from an invoked function. Still need to do invoked commands and invokeExpanded in the NRE case. Closed-Leaf check-in: bcc7273e40 user: kbk tags: mistake, notworking | |
22:10 | Finish up return from an invoked function. Still need to do invoked commands and invokeExpanded in the NRE case. check-in: 2b2ba21e34 user: kbk tags: notworking, kbk-nre | |
2017-12-16
| ||
07:38 | More moving of methods to the correct place. Closed-Leaf check-in: 55b8e5769d user: dkf tags: mistake | |
07:15 | Rearranging method order in build.tcl check-in: ee3c450f04 user: dkf tags: proper-local-arrays | |
2017-11-25
| ||
21:10 | Open a branch for experimenting with data analysis for lists Closed-Leaf check-in: 8dbfffae27 user: kbk tags: mistake | |
15:34 | Added missing file. check-in: 221d14095f user: dkf tags: trunk | |
2017-10-29
| ||
11:35 | Move another file to a more sensible location. Closed-Leaf check-in: d639a6a7cc user: dkf tags: mistake | |
11:30 | Fixing some tests check-in: e04abcd066 user: dkf tags: dkf-code-rearrange | |
2017-08-06
| ||
15:36 | Push the return code across the function boundary. Not yet working. Closed-Leaf check-in: ab1141938f user: dkf tags: mistake | |
10:32 | Start of branch hunting problems with non-error [return] calls. check-in: 4401285e32 user: dkf tags: returncode-bug, broken | |
2017-05-20
| ||
19:05 | merge dkf-callframe-impl, with code to disaggregate composite callframes early. Closed-Leaf check-in: 72b65b10ed user: kbk tags: mistake | |
19:01 | Accept dkf-simplify-callframe check-in: 9e64369a38 user: kbk tags: mistake | |
13:39 | merge dkf-callframe-impl check-in: 6126b0c7f6 user: dkf tags: kbk-callframe-motion | |
13:37 | An alternate approach to CALLFRAME handling that untuples the CALLFRAME type as soon as possible. Closed-Leaf check-in: a44383f5f2 user: dkf tags: dkf-callframe-impl | |
08:18 | merge trunk check-in: f2e7834438 user: dkf tags: dkf-callframe-impl | |
08:17 | About 7% acceleration in the quadcode transformer by changing how shared variables are handled. This is because it is quite a bit faster to use the variable resolver in TclOO than it is to use [my variable]. check-in: b72caf8964 user: dkf tags: trunk | |
08:11 | About 7% acceleration in the quadcode transformer by changing how shared variables are handled. Closed-Leaf check-in: 7b8e9d1502 user: dkf tags: mistake | |
07:21 | Redo the type widening so that it doesn't get so awful. check-in: 46abd31cc7 user: dkf tags: dkf-callframe-impl | |
2017-05-11
| ||
00:22 | copyprop - Replace copyprop in early stages with an ultraconservative 'copyprop0' that cannot disrupt variable naming. deadcode - Track whether 'deadcode' has changed the control flow narrow - First round of changes for preserving Conventional-SSA, plus much additional audit specializer - Split 'narrow' into a separate pass, since it can introduce new typed variants. Add much more audit and some temporary dribble for debugging ssa - Rework 'replaceValue' and friends in an attempt to utilize and preserve Conventional-SSA. STILL NOT WORKING - first test case failure is 'lcmRange'. transformer - Make sure that 'narrow' has dominator information available. Add much audit and stdout dribble for debugging. NOT WORKING CODE Closed-Leaf check-in: e539fb74f5 user: kbk tags: mistake, not-working | |
2017-05-10
| ||
14:39 | Fix refcount handling for copying of constants. Closed-Leaf check-in: a959772870 user: dkf tags: mistake | |
07:26 | Fix refcount handling with constants in vectors check-in: 1715597d9b user: dkf tags: fixing-impure2-issues | |
2017-05-02
| ||
18:41 | Tinkering with errortest2. !!BUG!! errortest2-caller currently uncompileable. check-in: 2d11c0a858 user: dkf tags: trunk | |
2017-04-22
| ||
15:37 | Generate correct Tcl line numbers in LLVM IR debugging info. check-in: 8cafd1d034 user: dkf tags: trunk | |
2017-04-15
| ||
15:14 | merge trunk Closed-Leaf check-in: 3a8203c9d4 user: kbk tags: mistake | |
14:57 | merge trunk check-in: 4b9267fa69 user: kbk tags: kbk-bug-7c599d4029 | |
2017-04-08
| ||
19:53 | Don't fold a copy-to-temp together with a phi. check-in: 799df0d1dd user: kbk tags: kbk-bug-7c599d4029 | |
2017-03-14
| ||
18:24 | merge trunk: don't fold a copy-temp-to-var together with a phi Closed-Leaf check-in: e7acd44ddb user: kbk tags: mistake | |
18:23 | whoops: don't fold a copy-temp-to-var together with a phi check-in: 76f0cf747a user: kbk tags: mistake | |
16:01 | Merge trunk: peephole optimization of 'copy to variable from temp' Closed-Leaf check-in: 24c1c594d9 user: kbk tags: callframe | |
15:59 | Peephole optimization for 'copy to variable from temp' check-in: 5d203eae6b user: kbk tags: trunk | |
2017-03-11
| ||
21:05 | Preserve variable names through widening operations Closed-Leaf check-in: cd01912e66 user: kbk tags: mistake | |
21:03 | Preserve variable names through widening operations check-in: 85ac9e1d12 user: kbk tags: trunk | |
2016-12-29
| ||
16:23 | merge trunk; add work plan for SSA updating Closed-Leaf check-in: 95404a42aa user: kbk tags: mistake | |
2016-12-27
| ||
21:33 | Add the SVG version of the diagram of the type algebra. check-in: 35e80011c1 user: kbk tags: mistake | |
2016-12-18
| ||
03:03 | Add an IMPURE type schema, which forces the system to remember the string rep of a noncanonical object. check-in: cd0f30783b user: kbk tags: kbk-impure | |
2016-12-16
| ||
18:46 | Add some missing working notes from early 2016 check-in: 04d9a61297 user: kbk tags: trunk | |
2016-11-27
| ||
17:51 | merge interprocedural-invoke-fixes Closed-Leaf check-in: b93fb02e67 user: dkf tags: mistake | |
17:49 | Improve inter-procedural invoke handling to stop it from leaking into third-party code. check-in: 51046b4f4f user: dkf tags: mistake | |
17:48 | More tinkering with demo examples. check-in: d0a635f7f2 user: dkf tags: more-flightaware-examples | |
2016-11-26
| ||
16:37 | Corrections to object reference count management, noticeable with 'invoke'. check-in: 6011bb265b user: dkf tags: trunk | |
2016-02-07
| ||
19:01 | Added some Tcl manpage-style documentation. Updated package to load right files. check-in: 8ce8a87ccd user: dkf tags: trunk | |
19:00 | Added some Tcl manpage-style documentation. Closed-Leaf check-in: 30c8d97fea user: dkf tags: mistake | |
2016-02-03
| ||
09:50 | A faster jumptable; less overhead of object management makes a difference. check-in: 089485836e user: dkf tags: dkf-jumptable | |
2016-01-18
| ||
00:03 | Add widening from integer types and DOUBLE to NUMERIC (it wasn't there before). Make math functions polymorphic so that int(INT) and double(DOUBLE) won't come up as undefined. Add a couple of trivial varargs tests to the demos. Remove type inference from the end of the initial quadcode transformation. It doesn't work in the presence of specialization, and in any event was there only for compile-time performance. Fix bugs in varargs.tcl so that the trivial demos run. Closed-Leaf check-in: 163ff41153 user: kbk tags: mistake | |
2016-01-17
| ||
21:35 | Initial hack at variadic procs check-in: 591f8e41d8 user: kbk tags: mistake | |
16:19 | merge trunk check-in: 6bcf73d1d7 user: kbk tags: kbk-domain-check | |
2015-12-18
| ||
15:37 | merge mark check-in: 9d233f7322 user: kbk tags: kbk-transform-speedup | |
15:34 | merge mark Closed-Leaf check-in: fa051e5b0e user: kbk tags: mistake | |
15:28 | OOPS! Add codegen/flatten.tcl check-in: 752b4da1d2 user: kbk tags: kbk-transform-speedup | |
14:42 | Scoping down the use of [Type]. check-in: 261d7c807d user: dkf tags: limiting-Type-usage | |
2015-12-17
| ||
23:44 | Merge in reimplemented quadcode-to-quadcode transformations. These are no longer dependent on Datalog and are much faster. Closed-Leaf check-in: 866d14b2f4 user: kbk tags: mistake | |
23:43 | move flattening out into its own file. check-in: 61b574bdb7 user: kbk tags: kbk-transform-speedup | |
15:31 | [bf8b6fd9e9] Make div and mod generate errors to match Tcl semantics. check-in: fc9d17b784 user: dkf tags: trunk | |
2015-11-28
| ||
20:18 | merge trunk Closed-Leaf check-in: b92d9369d8 user: kbk tags: mistake | |
20:10 | merge trunk check-in: 712603a02c user: kbk tags: kbk-interprocedural | |
2015-10-28
| ||
22:41 | Building out the basic NUMERIC instruction issuers. Committed to wrong branch. Closed-Leaf check-in: b5a4f4f5b5 user: dkf tags: mistake | |
2015-10-27
| ||
20:22 | This experiment with implementing arrays with dicts worked well. Merge to trunk. check-in: 1766588f8e user: dkf tags: trunk | |
2015-06-15
| ||
09:41 | Implement [dict append] and [dict lappend], but with performance problems. Closed-Leaf check-in: e84c1bb684 user: dkf tags: mistake | |
09:22 | Accidental partial commit of [dict append] and [dict lappend] implementation check-in: 20b5680917 user: dkf tags: mistake, minor change | |
09:01 | Documentation check-in: bdc40f91a9 user: dkf tags: minor change, try-and-compound-types | |
2015-06-06
| ||
18:13 | merge trunk check-in: 5c69f1e1be user: dkf tags: minor change, failures-and-regexps | |
18:12 | add the missing file Closed-Leaf check-in: 2231011971 user: dkf tags: mistake | |
18:09 | merge trunk check-in: 7763176f59 user: dkf tags: mistake, minor change | |
18:06 | Roll up of minor improvements made on branch. check-in: 8e693c852d user: dkf tags: trunk | |
2015-05-19
| ||
07:10 | Fix stack calculation of 'dictSet'. check-in: 1344e374aa user: dkf tags: failures-and-regexps | |