Home

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