tclquadcode

Timeline
Login

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

52 check-ins related to "kbk-unset"

2015-11-25
15:53
Support for nonexistent variables merged from kbk-unset branch check-in: de22447b95 user: kbk tags: trunk
15:52
Fix code issuing for throwNotExists, and make a drive-by fix for two-arg builtin mathfuncs. All tests pass again. Closed-Leaf check-in: 4feb1aa5b4 user: kbk tags: kbk-unset
2015-11-24
14:26
Flip the sense of a test. Doh! check-in: 8409287968 user: dkf tags: minor change, kbk-unset
09:53
Speed up testing by only running the tests we are optimising. check-in: 348f39bcb0 user: dkf tags: minor change, kbk-unset
09:52
merge trunk check-in: 592d5a6ce6 user: dkf tags: minor change, kbk-unset
09:51
Better error tracking when hitting problems in code generation. check-in: b27ddc46d5 user: dkf tags: trunk
09:49
Corrections to the widenTo implementation. check-in: 3efc0a37de user: dkf tags: kbk-unset
03:14
Update NEXIST handling enough to make the existing tests pass. Add 'nextest1', which, alas, does not pass. :( check-in: 836b8418c7 user: kbk tags: kbk-unset
2015-11-23
13:32
Need the extract of the payload as well. check-in: 1f9cad96c8 user: dkf tags: minor change, kbk-unset
10:56
Generate a bit more efficient code. check-in: 8e2b0e1771 user: dkf tags: minor change, kbk-unset
09:42
Suggested implementation of quadcodes. check-in: 0bfbdc671b user: dkf tags: kbk-unset
01:36
Restore runnability of demo.tcl after a botched merge of the trunk. check-in: c41d612b5f user: kbk tags: kbk-unset
01:15
Speed up insertExistenceAssertions by an order of magnitude or so. check-in: 3a8175984d user: kbk tags: kbk-unset
2015-11-22
19:41
Checkpoint in code dealing with nonexistent values.    Added quadcodes 'initIfNotExists,' 'throwIfNotExists,' 'throwNotExists' to the repertoire. Not yet implemented in the back end, so quadcode containing these will fail to compile.    Added debug output to copyprop.    Removed 'existcheck.tcl' - nonexistence is now handled by compiling in checks for existence at every variable reference and then optimizing away the unused ones.    Added 'determineExists.tcl' to determine whether values exist and optimize away existence checks where possible.    Added to 'deadcode.tcl' an optimization to remove jumps to pc+1.    Changed 'edit.tcl' to preserve exception ranges.    Rewrote 'existAssert.tcl' to run before tidyJumps. check-in: bcc1fcf55a user: kbk tags: kbk-unset
2015-11-21
23:51
silence dribble check-in: c454bd5045 user: kbk tags: kbk-unset
12:38
Make code a bit easier to understand by removing some of the argument packing. check-in: eae051251a user: dkf tags: trunk, minor change
2015-11-14
02:25
merge trunk check-in: 01b3a6df4d user: kbk tags: kbk-unset
2015-11-13
09:20
Remove now-unused classical stack generation code. check-in: 20ad2f3d06 user: dkf tags: trunk
01:24
merge trunk check-in: ed314922df user: kbk tags: kbk-unset
01:20
Substantial tidying up of quadcode transformations merged from kbk-unset branch check-in: d2dff91791 user: kbk tags: trunk
01:17
Further tidying - don't pass members as parameters to methods check-in: c4147c5c37 user: kbk tags: kbk-unset
2015-11-12
06:20
MAJOR REFACTOR: Break up quadcode.tcl into many files, each of more manageable size and scope. Reorganize so that quadcode analysis happens inside a 'quadcode::database' class and the global namespace is considerably less polluted. check-in: ce974b304d user: kbk tags: kbk-unset
2015-11-11
04:10
OOPS: silence dribble. Also removed an unused column in the quadcode database and updated copyright notices to the current year. check-in: e762bb3289 user: kbk tags: kbk-unset
03:32
coalesce ssa2 and ssa3 check-in: 5246bbed96 user: kbk tags: kbk-unset
03:23
Remove more ad hoc quadcode modifications in favor of a common rewriting scheme check-in: 6d29cc1476 user: kbk tags: kbk-unset
02:21
Improve documentation of doCodeModifications, and allow relative variable references check-in: d636b17adf user: kbk tags: kbk-unset
02:08
Further code tidying. check-in: 0d58748437 user: kbk tags: kbk-unset
01:50
Refactor live variable analysis into reaching definitions check-in: fbe33ce57a user: kbk tags: kbk-unset
2015-11-10
04:19
Put the extensional database right next to quads-list-dataflows check-in: 9d7bae3de6 user: kbk tags: kbk-unset
04:05
More moving of relations to where they're produced check-in: 82d1e02be2 user: kbk tags: kbk-unset
03:50
Move some relations near to the Datalog procedures that produce them check-in: 7a831d1149 user: kbk tags: kbk-unset
03:35
Wrap preconditions into 'revprop' check-in: 0dee5cb029 user: kbk tags: kbk-unset
03:30
Wrap preconditions into 'revprop' check-in: 44b5e674cf user: kbk tags: kbk-unset
03:09
Remove quads-list-dataflows from the global namespace. check-in: fcc5966f91 user: kbk tags: kbk-unset
02:48
Eliminate unused relations in db, and get loaders out of the global namespace check-in: a5236ed084 user: kbk tags: kbk-unset
01:01
merge mark check-in: 217eefd744 user: kbk tags: kbk-unset
01:01
Merge in first round of changes to support [unset] and [info exists]. These changes will not work for [incr] of a nonexistent value, nor do they throw errors correctly. check-in: 0f37b3ba54 user: kbk tags: trunk
00:57
merge trunk check-in: e0ec234c04 user: kbk tags: kbk-unset
2015-11-09
21:06
Clean up: change space in method names to \040 for better highlighting check-in: 6d3ca59e1c user: dkf tags: minor change, kbk-unset
20:58
Document code check-in: 674cf12c0a user: dkf tags: minor change, kbk-unset
20:54
Fix the failing tests; exists opcode was returning inverted results in some cases. check-in: 642ccc4d05 user: dkf tags: kbk-unset
11:09
Implementation of the NUMERIC type. check-in: b2d4957b27 user: dkf tags: trunk
02:22
Further work toward keeping track statically of value existence where possible. check-in: 54f2ab324a user: kbk tags: kbk-unset
2015-11-07
23:11
Add code for inserting 'extractExists' code into codegen. Adjust code so that variables created and subsequently unused are freed. Add indication that 'result', 'returnCode', 'returnOpts may safely be optimized out if their results are not used. Fix bugs in identifying reference types (caused aborts once above was fixed). Fix bug in type analysis where instructions with no inputs never had types assigned to their outputs. (This was the new case of 'result', 'returnOpts' and 'returnCode'.) Add kludge to force the return type of a proc to be STRING FAIL if it's just FAIL, otherwise the LLVM compilation falls over. Comment out 'tantest' - fails on a roundoff error. Re-enable other formerly failing tests. check-in: 5d7994bf16 user: kbk tags: kbk-unset
20:30
Sneak in a (non-executed) example of running the demo with a single test procedure for debugging. check-in: 82d0f0e783 user: kbk tags: kbk-unset
20:15
fixed stupid typo in [Type] that made {BOOLEAN FAIL} not work. check-in: c61c17a673 user: kbk tags: kbk-unset
2015-11-06
03:41
Update quadcodes.txt with three new quadcodes exists, extractExists, and unset check-in: 3344aedebf user: kbk tags: kbk-unset
03:21
[info exists] analysis check-in: bbbe0a31bb user: kbk tags: kbk-unset
00:46
Fix a bug that caused scrambled origins on 'phi' operations when widening was required on some afferent arcs but not others. check-in: 2aaa46e6bb user: kbk tags: kbk-unset
2015-11-05
03:59
Fix a bug that inserted extra data sources at phi instructions for nested loops. check-in: 0bcd6bf713 user: kbk tags: kbk-unset
02:06
Comment out a test that crashes LLVM optimization, and begin implementing code for narrowing types that are conditioned on [info exists] check-in: b462fb4e67 user: kbk tags: kbk-unset
2015-11-02
03:03
Add logic to implement an NEXIST type flag, that indicates that a value may/does not exist. check-in: 10d767f9a4 user: kbk tags: kbk-unset