tclquadcode

Timeline
Login

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

58 check-ins related to "kbk-domain-check"

2018-03-27
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: notworking, kbk-domain-check
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: notworing, kbk-domain-check
02:10
Avoid type promotion on jumpTrue and jumpFalse. check-in: 5913b29fcd user: kbk tags: notworking, kbk-domain-check
00:42
Correct the type name for boolean strings. Add a better 'isNumericOrBoolean' check check-in: c5f9a2da90 user: kbk tags: notworking, kbk-domain-check
2018-03-22
05:43
Start debugging the support for type checking of Boolean operands check-in: c415818ee6 user: kbk tags: notworking, kbk-domain-check
2018-03-20
04:54
Partial implementation of code gen for type checking on Boolean values check-in: 5032b57581 user: kbk tags: notworking, kbk-domain-check
01:18
Update to current trunk check-in: b287bafe45 user: kbk tags: notworking, kbk-domain-check
2018-03-15
22:09
Correct broken Markdown formatting in NRE notes check-in: 86584bbbc5 user: kbk tags: trunk
2016-12-30
01:00
Merge in initial code for IMPURE data. This branch now needs work to generate code for 'NUMERIC BOOLEAN' - representing an acceptable argument to [jumpTrue], [jumpFalse] and [not]. check-in: 784b0f7e6f user: kbk tags: kbk-domain-check
00:47
Merge code for IMPURE objects. Some tests become slower. See doc/20161227impure-plan.txt for a plan to make them faster again. check-in: 08d9daefec user: kbk tags: trunk
2016-12-16
01:43
Reapply changes from [082065b709] - basic type inference for Boolean values check-in: 53f0b13f8a user: kbk tags: kbk-domain-check
2016-12-15
22:46
Introduce code to keep track of the list of commands being compiled. Remove insane 'upvar 3' that accessed the list' check-in: 3f948e7bcd user: kbk tags: trunk
20:56
Add flightawarebench::test 5 5 2 to the slow demos check-in: e983950548 user: kbk tags: trunk
2016-02-13
20:55
Merge Donal's changes on GetBooleanFromObj    (This branch will be recreated by manually applying changes starting from current trunk - easier than attempting to sort out the merge.) Closed-Leaf check-in: 0b315cace7 user: kbk tags: kbk-domain-check
2016-01-20
09:17
Suggested fix for the code to determine if a value can be used as a branch condition. Closed-Leaf check-in: 207e575041 user: dkf tags: dkf-use-GetBooleanFromObj-where-meaningful
2016-01-18
01:07
Fix stupid error in coercion of STRING->NUMERIC check-in: 54f567eea6 user: kbk tags: kbk-domain-check
00:24
merge trunk. There's a problem with uplustest and xsum2 - I suspect that the merge of [57e24ca013] went badly check-in: a7ffbc1a56 user: kbk tags: kbk-domain-check
00:19
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. Add specialization of variadic procedures. check-in: a6b1218504 user: kbk tags: trunk
2016-01-17
16:19
merge trunk check-in: 6bcf73d1d7 user: kbk tags: kbk-domain-check
2016-01-15
04:46
Restore speed of ln_Gamma, even in the presence of domain checks for conditional jumps. Involves optimizing away 'checkArithDomain' when it's a literal flowing in from an earlier block. check-in: 7d51ea3efa user: kbk tags: kbk-domain-check
00:45
Switch to using the interprocedural specializer to drive quadcode generation and LLVM translation. check-in: b07e47eb78 user: dkf tags: trunk, major change
2016-01-11
03:11
Merge trunk to get fixes for types on foreign and builtin functions. No closer to working - far from everything is implemented check-in: 1ebc397a92 user: kbk tags: kbk-domain-check
03:07
Add type checking on the parameters to the builtin functions check-in: c67ca34366 user: kbk tags: trunk
00:54
First changes toward having an IMPURE type - representing that a string representation must be carried. check-in: 06d9a97f41 user: kbk tags: kbk-domain-check
2016-01-08
03:03
Add some implementations. All demos run except for ln_Gamma (grievously slower) and booltest (not everything implemented) check-in: 26cb88dba6 user: kbk tags: kbk-domain-check
2016-01-07
23:48
First attempt at type checking for booleans - not yet working. check-in: 082065b709 user: kbk tags: kbk-domain-check
18:19
Disable printed message. check-in: d64b9a65f1 user: dkf tags: trunk, minor change
09:26
Much stronger handling of the domains of functions, cleaning up the mess of uplus. check-in: 6c640c59e9 user: dkf tags: trunk
01:40
Remove redundant 'isInstance' checks check-in: 6a11c2fe27 user: kbk tags: kbk-domain-check
2016-01-06
17:31
Purge uplus, which is no longer used. check-in: 97fca2ced2 user: dkf tags: kbk-domain-check
17:18
Fix bug in [math::ln_Gamma] exception generation. check-in: 85a95241c5 user: dkf tags: minor change, kbk-domain-check
11:40
More documenting, more tidying, more trying to make the code comprehensible. check-in: b3a6995def user: dkf tags: kbk-domain-check
00:43
Cleaning up and commenting. check-in: 52bf644e44 user: dkf tags: kbk-domain-check
2016-01-05
01:13
Add widening of return values to the formal return type of the proc. check-in: 55a43e7e21 user: kbk tags: kbk-domain-check
2016-01-04
23:35
fix basic block linkage in constjump, and move sortbb to where it will do some good. check-in: 08833f726d user: kbk tags: kbk-domain-check
20:22
Implement checkArithDomain for DOUBLE and INT types too. check-in: 7672f8cf7c user: dkf tags: kbk-domain-check
20:19
Forgot the basic block generation part. check-in: 6807dbd307 user: dkf tags: minor change, kbk-domain-check
20:18
Implement throwArithDomainError check-in: 4ce8cb8183 user: dkf tags: kbk-domain-check
20:07
First pass at implementing missing quadcodes, enough to make demo.tcl all work. check-in: fe63609523 user: dkf tags: kbk-domain-check
04:20
Comment out faling demos, and tidy up quadcodes.txt check-in: 0c4c722952 user: kbk tags: kbk-domain-check
04:18
Comment out faling demos, and tidy up quadcodes.txt check-in: 197b203768 user: kbk tags: kbk-domain-check
2016-01-03
22:43
Add a pass to untangle the insane code that the bytecode system produces for && and || operators. The type check in 'ln_Gamma' now correctly deduces the type of the variable. check-in: 6d3f2b34c0 user: kbk tags: kbk-domain-check
06:26
OOPS: another missing file in the repo check-in: 95d296a8d0 user: kbk tags: kbk-domain-check
05:25
Narrowing of types that are determined by [string is] check-in: 77daad917a user: kbk tags: kbk-domain-check
03:52
Remove dribble, and remove bad arith domain check for comparison operators. check-in: 522a2af004 user: kbk tags: kbk-domain-check
03:49
Expand type calculus to accommodate [string is] - INT32 and EMPTY types check-in: abe1b2fedc user: kbk tags: kbk-domain-check
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: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
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
2015-12-24
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