Many hyperlinks are disabled.
Use anonymous login
to enable hyperlinks.
50 check-ins occurring around 5913b29fcd697e44.
2018-04-15
| ||
03:07 | Finish coding the thunk builder for NRE procs. Generated code for NRE now aborts in the optimizer. check-in: ab703b4b95 user: kbk tags: notworking, kbk-nre | |
2018-04-14
| ||
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 | |
2018-04-13
| ||
01:58 | Merge trunk, and do some further tidying of objv management check-in: 1fac62e1ab user: kbk tags: notworking, kbk-nre | |
2018-04-11
| ||
03:57 | Move alloca to the entry blocks check-in: 7e92153b7f user: kbk tags: trunk | |
03:40 | Eliminate stacksave/stackrestore and dynamic alloca from 'list' check-in: 11be702fa8 user: kbk tags: trunk | |
03:16 | Rework foreachStart so that it doesn't require stacksave/stackrestore or dynamic alloca check-in: 5f0c7721ff user: kbk tags: trunk | |
2018-04-10
| ||
03:44 | Move more alloc's into entry blocks. check-in: aa81f2ac20 user: kbk tags: trunk | |
03:31 | Move allocas in standard library up to the entry blocks of the routines, where the inliner can find them check-in: 63a1bf25ff user: kbk tags: trunk | |
03:05 | Reform 'buildBitArray' to use preallocated space in the LLVM callframe check-in: 7f04a0d947 user: kbk tags: trunk | |
02:46 | Reform buildVector and clearVector to use preallocated space in the LLVM callframe check-in: a7ae4fde24 user: kbk tags: trunk | |
2018-04-09
| ||
02:46 | Generate code for return from NRE functions and for suspend. Simplify 'clearVector' so that it can be called without the parameter specification. Next up will be to modify NRE invoke to return a tuple of {coro handle, clear flag, vector} so that NRE return can find the vector to clear it. check-in: 87e8f9147d user: kbk tags: notworking, kbk-nre | |
2018-04-08
| ||
21:28 | Fix an error in wiring up the test for whether non-compiled commands need NRE - needed to assess 'lsort'. check-in: 978b9d80c4 user: kbk tags: notworking, kbk-nre | |
2018-04-06
| ||
03:29 | Begin refactoring the invoke issuer in preparation for NRE.invoke. Need to fix: needsNRE and nreRequired in specializer, these need full args, not just types, in the case of builtins. Need to examine invokeExpanded because it's still used for Tcl builtins. check-in: df651f8f32 user: kbk tags: notworking, kbk-nre | |
2018-04-03
| ||
02:57 | Break up LLVM coroutine invocation into separate 'invoke', 'suspend', 'returnFromInvoke' to assist code gen check-in: 9331dcf8d2 user: kbk tags: notworking, kbk-nre | |
2018-04-02
| ||
03:40 | Start coding the implementation of NRE procs. check-in: e1f5a1f2d6 user: kbk tags: notworking, kbk-nre | |
2018-03-30
| ||
20:28 | Advance version of llvmtcl required (omitted from previous commit); add accessor for NRE requirement in specializer check-in: bda33aa9ea user: kbk tags: notworking, kbk-nre | |
19:29 | Add a function pass manager so that we can get coroutine support. check-in: 3147c5dac5 user: kbk tags: notworking, kbk-nre | |
2018-03-28
| ||
04:21 | Write the function tcl.coro.resume - CRASHES ON MODULE INITIALIZATION check-in: 41b58defb4 user: kbk tags: notworking, kbk-nre | |
01:09 | Added missing 'nre.tcl' check-in: af5efe3e99 user: kbk tags: kbk-nre | |
2018-03-27
| ||
01:44 | merge trunk check-in: 6b733cc796 user: kbk tags: kbk-nre | |
01:40 | merge trunk check-in: c0e88e91be user: kbk tags: inline | |
01:36 | Merge changes: complete type checking of Boolean args to 'jumpTrue', 'jumpFalse', 'not', 'land', and 'lor' check-in: 0b62f38ede user: kbk tags: trunk | |
01:32 | Fix a problem where adding and dropping references to/from FAIL IMPURE values would dereference a null pointer in the FAIL case. Closed-Leaf check-in: 0bd0c41f0a user: kbk tags: kbk-domain-check | |
2018-03-26
| ||
03:21 | Comment out one crashing test case check-in: cbc4e47dbe user: kbk tags: kbk-domain-check, notworking | |
02:36 | Add test cases for && and ||. Note that the LAND and LOR instructions are never generated, since they are intrinsically buggy. check-in: 67f26787c0 user: kbk tags: kbk-domain-check, notworking | |
02:10 | Avoid type promotion on jumpTrue and jumpFalse. check-in: 5913b29fcd user: kbk tags: kbk-domain-check, notworking | |
00:42 | Correct the type name for boolean strings. Add a better 'isNumericOrBoolean' check check-in: c5f9a2da90 user: kbk tags: kbk-domain-check, notworking | |
2018-03-22
| ||
05:43 | Start debugging the support for type checking of Boolean operands check-in: c415818ee6 user: kbk tags: kbk-domain-check, notworking | |
2018-03-20
| ||
04:54 | Partial implementation of code gen for type checking on Boolean values check-in: 5032b57581 user: kbk tags: kbk-domain-check, notworking | |
01:18 | Update to current trunk check-in: b287bafe45 user: kbk tags: kbk-domain-check, notworking | |
2018-03-19
| ||
02:05 | Compute NRE requirement for compiled procedures check-in: 4602a634be user: kbk tags: kbk-nre | |
2018-03-18
| ||
23:58 | Add NRE indication to the command table. At this point no compilable Core commands require NRE. This is expected to change in the future. check-in: ab0a234378 user: kbk tags: kbk-nre | |
22:56 | Create new branch named "kbk-nre" check-in: 7e886a7ca9 user: kbk tags: kbk-nre | |
22:30 | merge trunk check-in: 1cbcf74c81 user: kbk tags: inline | |
22:29 | merge trunk check-in: 0325c2ada8 user: kbk tags: inline | |
2018-03-15
| ||
22:09 | Correct broken Markdown formatting in NRE notes check-in: 86584bbbc5 user: kbk tags: trunk | |
22:08 | Correct broken Markdown formatting in NRE notes check-in: 92a74282a4 user: kbk tags: trunk | |
22:05 | Correct broken Markdown formatting in NRE notes check-in: a7fc57b32b user: kbk tags: trunk | |
21:57 | Correct broken Markdown formatting in NRE notes check-in: b2de40ed6f user: kbk tags: trunk | |
21:56 | Add preliminary notes on implementation of NRE check-in: b985f7690a user: kbk tags: trunk | |
2018-03-11
| ||
22:14 | Merge: Refactor liveness calculations to a simpler formulation due to Bradner (citation in source code), make it available separate from 'free' insertion, and split out the Conventional-SSA transformation check-in: bbecfe5c48 user: kbk tags: trunk | |
22:10 | Separate out Conventional SSA transformation and add to ssa.tcl. Refactor live range computation so that it can stand alone, and massive refactoring of liveness properties to a much cleaner formulation due to Brandner (cite in the soure code) Closed-Leaf check-in: 0d21027e54 user: kbk tags: kbk-liveness | |
2018-03-10
| ||
23:12 | Create new branch named "kbk-liveness" check-in: 66890f0640 user: kbk tags: kbk-liveness | |
2018-03-09
| ||
02:28 | Insert 'extractFail' on the 'jumpMaybe' path of quads that have their tests emitted by 'error-quads'. Add an 'errortest9' that tests correct throwing of local errors. check-in: d69c66add5 user: kbk tags: inline | |
2018-03-05
| ||
04:31 | Fix overzealous demand for split markers in every basic block. Correct incorrect line numbers for fatal errors. Mark procedures that throw errors as also changing globals, to account for errorInfo and errorCode. check-in: 2c961de037 user: kbk tags: inline | |
2018-03-04
| ||
05:04 | Allow constant folding for 'listConcat' check-in: 9c0c36b669 user: kbk tags: inline | |
03:56 | Commit changes from trunk to pass both absolute and context-relative line numbers out of the front end. Get correct line numbers after procLeave in inlined procedures. Get correct line numbers in 'fatal' messages. check-in: 82e8e4e276 user: kbk tags: inline | |
02:49 | Pass the line number relative to the enclosing context on the @debug-line directive check-in: 0f2366e18c user: kbk tags: trunk | |
02:47 | Pass the line number relative to the enclosing context on the @debug-line directive Closed-Leaf check-in: 97de78964b user: kbk tags: kbk-dbginfo | |
02:34 | Reopen leaf - need front-end help for procedure-relative line numbers check-in: 348d453899 user: kbk tags: kbk-dbginfo | |