Many hyperlinks are disabled.
Use anonymous login
to enable hyperlinks.
54 check-ins using file codegen/tycon.tcl version 9cd98bc023
|
2016-01-03
| ||
| 03:38 | Oops - missing quadcode/abbreviate.tcl check-in: fd686fac5a user: kbk tags: kbk-domain-check | |
| 02:13 | merge trunk check-in: d8314ab077 user: kbk tags: kbk-domain-check | |
| 02:09 | Add 'stringIs' quadcodes for the numeric types, and do the bytecode machinations needed to identify them. These quadcodes are not yet implemented! check-in: 1b34097d09 user: kbk tags: kbk-domain-check | |
|
2016-01-02
| ||
| 21:39 | merge trunk check-in: 94b31db52f user: dkf tags: dkf-debugging-metadata | |
| 21:36 | Added missing implementations of binary operations where one argument is a DOUBLE. They were there in the type logic, but not implemented. Permits a more naturalistic math::ln_Gamma example. check-in: b9b15a4bfe user: dkf tags: trunk | |
| 18:35 | Corrections to local variable annotation. Make [math::ln_Gamma] slightly more realistic. check-in: 908c1d89ec user: dkf tags: dkf-debugging-metadata | |
| 17:56 | Annotate local variables with their debugging information. check-in: b4facd76b4 user: dkf tags: dkf-debugging-metadata | |
| 17:30 | Starting to push annotations into generated functions. check-in: c70f8c54c1 user: dkf tags: dkf-debugging-metadata | |
| 16:12 | Allow, but not yet actually do, setting of code locations. check-in: 7647f540e6 user: dkf tags: dkf-debugging-metadata | |
| 03:03 | NOT WORKING: Attempt to implement the 'numericType' quadcode, and generate code for a much less stripped-down 'ln_gamma' procedure check-in: 56855d5260 user: kbk tags: kbk-domain-check | |
|
2016-01-01
| ||
| 22:54 | Better ways of binding standard channels. Better way of controlling argument aliasing. check-in: 0e58d05109 user: dkf tags: minor change, dkf-debugging-metadata | |
|
2015-12-30
| ||
| 17:47 | Sort the code to be more sensibly ordered. check-in: d34e969c56 user: dkf tags: minor change, dkf-debugging-metadata | |
| 17:14 | Fix the documentation. check-in: 119f7b6740 user: dkf tags: minor change, dkf-debugging-metadata | |
| 17:08 | Add variable debug info; outside-in at the moment. Required forcing all functions to be explicitly validated, which in turn triggered quite a bit of cleaning up of the code. check-in: 900be8b9f0 user: dkf tags: dkf-debugging-metadata | |
| 02:35 | Add directives to the quadcode to identify the mapping between values in the quadcode and names of variables in the Tcl source. Closed-Leaf check-in: 073735f34f user: kbk tags: kbk-source-var-id | |
|
2015-12-26
| ||
| 16:17 | Generation of debug data no longer fails and the types are mostly correct. check-in: 6ba046ec6c user: dkf tags: dkf-debugging-metadata | |
|
2015-12-24
| ||
| 20:19 | Working on integrating new capabilities in llvmtcl 3.6.1 for debugging metadata. check-in: 17faaab34d user: dkf tags: dkf-debugging-metadata | |
| 18:05 | make type-dependent optimizations run in the specializer. (They may have to run earlier, because they can affect a return type!) check-in: c6cb1694f5 user: kbk tags: kbk-domain-check | |
| 02:47 | Remove the 'uplus' opcode and add the three new operations for type checking. check-in: f126bfeb40 user: kbk tags: kbk-domain-check | |
|
2015-12-23
| ||
| 20:29 | Remove most redundant aritmetic type checks check-in: 93c63d3fd5 user: kbk tags: kbk-domain-check | |
| 17:56 | Generate instructions to do type checking on the operands of the arithmetic and bitwise Boolean operations check-in: 1eae9a1e70 user: kbk tags: kbk-domain-check | |
|
2015-12-19
| ||
| 11:36 | Limit [Type] usage. Limit LLVM API usage. Add @before method to Builder. check-in: 96265733fe user: dkf tags: trunk | |
| 11:34 | Corrections to null issuing. Add @before method to Builder. Closed-Leaf check-in: d0ca0117b4 user: dkf tags: dkf-limiting-type-usage | |
| 03:18 | Merge in changes to eliminate more 'exists' checks check-in: 22e023a73d user: kbk tags: trunk | |
| 03:16 | quick update to quadcodes.txt for changes to 'throwIfNotExists' Closed-Leaf check-in: d2acf711dc user: kbk tags: kbk-transform-speedup | |
| 02:45 | Added a 'deadjump' optimization to eliminate jumpTrue and jumpFalse on a constant condition. Not sure it's worthwhile, but at least it works. check-in: 1b9f9e4b56 user: kbk tags: kbk-transform-speedup | |
|
2015-12-18
| ||
| 18:40 | Add peephole optimization of 'exists' flowing directly into conditional jump. Add explicit variable names to throw(If)NotExists, because aggressive copy propagation can lose the variable entirely. Fix a problem where basic block coalescence loses a throwNotExists. check-in: e0a44e146c user: kbk tags: kbk-transform-speedup | |
| 16:21 | merge mark check-in: a40649aeb9 user: kbk tags: kbk-transform-speedup | |
| 16:18 | Rebase dkf's changes to scope down use of llvmtcl API check-in: b171f19169 user: kbk tags: dkf-limiting-type-usage | |
| 16:15 | Rebase dkf's changes to scope down the use of [Type] check-in: 055ae6d063 user: kbk tags: dkf-limiting-type-usage | |
| 16:09 | Merge in rewrite of quadcode transformations that is a substantial speedup (and yields clearer intermediate code, to boot) check-in: 4279efff35 user: kbk tags: trunk | |
| 15:53 | Remove smartass hack. check-in: a4b0eb2f3e user: dkf tags: minor change, kbk-transform-speedup | |
| 15:37 | merge mark check-in: 9d233f7322 user: kbk tags: kbk-transform-speedup | |
| 15:28 | OOPS! Add codegen/flatten.tcl check-in: 752b4da1d2 user: kbk tags: kbk-transform-speedup | |
|
2015-12-17
| ||
| 23:43 | move flattening out into its own file. check-in: 61b574bdb7 user: kbk tags: kbk-transform-speedup | |
| 23:37 | move type widening back to widen.tcl where it belongs and delete the obsolete typeinf.tcl check-in: 4462174e66 user: kbk tags: kbk-transform-speedup | |
| 23:32 | Move the rest of type inference out to types.tcl check-in: 230e61abb6 user: kbk tags: kbk-transform-speedup | |
| 22:58 | move unkillable into deadcode check-in: a8b6f5b388 user: kbk tags: kbk-transform-speedup | |
| 22:23 | Pull out 'liveranges'. Still need to break up the incredibly bad method that computes the liveness. check-in: 5304afa29a user: kbk tags: kbk-transform-speedup | |
| 21:28 | Remove a superfluous 'bborder' from 'bbVarsExist' check-in: 367a8ab3c9 user: kbk tags: kbk-transform-speedup | |
| 21:24 | Split off variable existence checks into a separate file check-in: 8f4d52ab3e user: kbk tags: kbk-transform-speedup | |
| 21:02 | Split out ud- and du-chaining, and make 'quads-list-vars' a thing of the past. check-in: f183f7e89e user: kbk tags: kbk-transform-speedup | |
| 20:34 | Tidy up SSA check-in: 069dcd0b37 user: kbk tags: kbk-transform-speedup | |
| 20:17 | Further reorganization: SSA broken out into its own file again. check-in: 430f266a6c user: kbk tags: kbk-transform-speedup | |
| 19:51 | Start breaking up transformer.tcl into separate files for the passes again, to keep the file sizes halfway sane. check-in: 22f0246e9d user: kbk tags: kbk-transform-speedup | |
| 19:28 | Make specializer work again. check-in: cd4f0a04c5 user: kbk tags: kbk-transform-speedup | |
| 18:28 | merge trunk check-in: 574514c69d 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 | |
| 15:05 | merge trunk check-in: 7fb09b236d user: kbk tags: kbk-transform-speedup | |
| 09:43 | Make 'div' and 'expon' produce the right errors. Closed-Leaf check-in: 640aec4d59 user: dkf tags: erroring-div | |
|
2015-12-16
| ||
| 11:45 | Make expon able to generate errors. check-in: 3b8b2859b6 user: dkf tags: erroring-div | |
|
2015-12-15
| ||
| 23:35 | [bf8b6fd9e9] Make div and mod able to generate errors. check-in: 55c142cae7 user: dkf tags: erroring-div | |
| 19:05 | Split the methods that connect to LLVM further out of the rest of the compiler. This is a prelude to eventually converting these to C or C++. check-in: a46404e5bd user: dkf tags: trunk | |
|
2015-12-14
| ||
| 23:14 | First step of splitting the code issuer to be usable with the new quadcode creator. check-in: e1d3ac89bc user: dkf tags: trunk | |