tclquadcode

Timeline
Login

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

63 check-ins related to "kbk-impure"

2017-03-04
16:18
merge trunk Closed-Leaf check-in: 826deb31f4 user: kbk tags: kbk-impure
16:15
'invoke', by default, should result in FAIL STRING check-in: a487af5c87 user: kbk tags: trunk
2017-02-26
01:52
Merge trunk: implementations of 'resolveCmd' and 'originCmd' quadcodes. check-in: dc7a238870 user: kbk tags: callframe
01:51
Merge trunk: implementations of 'resolveCmd' and 'originCmd' quadcodes. check-in: 4239bec35b user: kbk tags: kbk-impure
01:48
Added implementations of 'resolveCmd' and 'originCmd' quadcodes (and test cases), which will be needed for callframe testing. check-in: 0c99bf7722 user: kbk tags: trunk
2017-02-22
03:43
Merge current IMPURE branch check-in: 19123d148a user: kbk tags: callframe
03:40
Merge mark. check-in: fd465a19d6 user: kbk tags: kbk-impure
03:40
Merge changes for IMPURE parameters and to remove premature type unrolling. check-in: 685bd8a5fb user: kbk tags: trunk
03:39
Remove premature type unrolling from the specialiser. Add code to handle transmission of IMPURE parameters to compiled procedures. check-in: c83e14fa23 user: kbk tags: kbk-impure
2017-02-20
16:36
merge mark check-in: 077a7aaf73 user: kbk tags: kbk-impure
16:35
Merge changes to generate thunks for the EMPTY return type and to keep hexadecimal type codes from showing up in contexts where they're compared as strings. check-in: c5410ff1b2 user: kbk tags: trunk
16:34
Keep hexadecimal typecodes from leaking out of types.tcl, and add thunk generation for the EMPTY return type. (Allows for some additional demonstration codes.) check-in: a07514e624 user: kbk tags: kbk-impure
03:40
merge mark check-in: 2589e4c7f1 user: kbk tags: kbk-impure
03:40
Merge kbk-impure branch - basic block cloning is now implemented, giving significant speedup to cases like 'xsum2', 'msrange' and 'impure', where values of different types converge in the program. check-in: 053f97df49 user: kbk tags: trunk
03:14
deadcode: be much more aggressive about pruning worthless phi operations. check-in: daa3fdec8b user: kbk tags: kbk-impure
2017-02-19
22:47
Fix bugs in resolving interprocedural dependencies during loop unrolling check-in: 2352a59d7f user: kbk tags: kbk-impure
20:27
Avoid runaways by constraining how many copies may be introduced by splitting a basic block check-in: 54c6d0489d user: kbk tags: kbk-impure
2017-02-15
20:54
All test cases pass once more, but only by virtue of a hideous hack inside typeunroll to keep it below a certain number of splits. The five cases, lcmRange, linesearch::getAllLines2, qsort, wordcounter2 and xsum2 all appear to go into runaway behaviour, growing program size exponentially (and perhaps not even converging). check-in: 68b8d45ad1 user: kbk tags: kbk-impure
03:57
NOT WORKING: Fix bugs to make a few more test cases compile check-in: 4bdc54e7fd user: kbk tags: not working, kbk-impure
2017-02-13
03:27
Allow a few more procs from ::linesearch check-in: 13076603e0 user: kbk tags: not working, kbk-impure
02:58
NOT WORKING: continued work on loop unrolling for data type analysis. Passes many more tests, and speeds up 'impure' by 30x check-in: 97d781d5db user: kbk tags: not working, kbk-impure
2017-02-12
04:06
NOT WORKING: Further debugging of node splitting check-in: e2dd4e6ce1 user: kbk tags: not working, kbk-impure
2017-02-08
01:35
NOT WORKING: considerably more work on node splitting, but not finished. check-in: 90db1fcf7d user: kbk tags: not working, kbk-impure
2017-01-25
04:04
Basic block splitting - identify the initial sets. Much more work to go here! check-in: 0618577d44 user: kbk tags: kbk-impure
01:35
merge further work on IMPURE handline check-in: 2eaa1486ab user: kbk tags: callframe
2017-01-24
02:04
Merge mark check-in: 231dad0bc1 user: kbk tags: kbk-impure
02:03
Merge in changes to eliminate the BOOLWORD data type in favour of IMPURE BOOLEAN check-in: c9dfa64f05 user: kbk tags: trunk
02:00
Remove the BOOLWORD data type - it's just an IMPURE BOOLEAN check-in: b0fee59756 user: kbk tags: kbk-impure
2017-01-22
06:37
oops: remove console dribble check-in: 3dbb7d1baf user: kbk tags: minor change, kbk-impure
06:23
Separate the string-compare and numeric-compare parts of comparison operators, and correct the type errors that arise. check-in: 46cc1a89c6 user: kbk tags: kbk-impure
2017-01-21
19:17
Merge mark check-in: cb098090c6 user: kbk tags: kbk-impure
19:17
Merge in the implementation of IMPURE objects. check-in: a89a734883 user: kbk tags: trunk
19:14
Complete (?) the implementation of the 'IMPURE' type. Restore 'uplus', which must have the side effect of purifying an impure argument. Suspect that there may be memory leakage in the 'impure' handling? check-in: 3568a798b4 user: kbk tags: kbk-impure
17:40
Now [uplustest] runs, but fails as unary plus semantics not right yet. check-in: 4d48a00e0e user: dkf tags: kbk-impure
2017-01-19
09:03
Work around incompatibility with some revisions of Tcl 8.6. check-in: d430ba6853 user: dkf tags: minor change, kbk-impure
2017-01-16
19:48
merge kbk-impure check-in: 5c0d321e61 user: kbk tags: callframe
19:47
merge trunk check-in: efcb016e7f user: kbk tags: kbk-impure
2017-01-15
15:50
Deprecate @debug-value and switch to using named sections for the module init function. check-in: c99a5954ba user: dkf tags: trunk
2017-01-14
10:12
merge trunk check-in: 8bbe3907b7 user: dkf tags: kbk-impure
2017-01-13
13:52
Greatly improved generation of debugging metadata, supporting LLVM 3.8. check-in: 28824a512e user: dkf tags: trunk
2017-01-09
04:22
merge trunk; improve tracing; make quadcode.tcl try to find out information about builtins check-in: 8e4200acb3 user: kbk tags: callframe
03:28
SSA generation must not fail in the presence of unreachable code. check-in: 901523ebae user: kbk tags: kbk-impure
2017-01-08
02:04
Merge mark check-in: c042455d72 user: kbk tags: callframe
02:03
Merge trunk check-in: d91c391c1d user: kbk tags: kbk-impure
02:02
Pass quadcode logging options through the LLVM configuration. check-in: 1f2861675f user: kbk tags: trunk
01:34
merge trunk check-in: ca2e310318 user: kbk tags: kbk-impure
01:28
Turn off generation of @debug-value for now. It messes up dead variable elimination, and is pretty worthless since the code issuer doesn't understand it. check-in: 71bac167a7 user: kbk tags: trunk
2017-01-05
04:32
Initial sketch of callframe management at 'invoke' - not working, but at least shows the opcodes check-in: 02f28f9bf9 user: kbk tags: callframe
2017-01-04
01:59
Add notes about how constant jumps SHOULD be handled. check-in: 0a03f41f22 user: kbk tags: kbk-impure
01:25
merge trunk, remove console dribble check-in: 7da15439d0 user: kbk tags: kbk-impure
01:21
Make interprocedural specialization and varargs work again. 'uplustest' is now the only demo failing to build (because it needs FAIL IMPURE). check-in: d248a45c23 user: kbk tags: kbk-impure
2017-01-03
02:53
Major refactoring of quadcode optimization, in preparation for node splitting. STILL DOES NOT WORK - at least three bugs: (a) varargs are broken, (b) interprocedural analysis is broken, (c) FAIL IMPURE is not handled. Demo cases depending on these bugs are commented out in the commit. check-in: e20a4d618d user: kbk tags: kbk-impure
2017-01-01
19:07
Rearranging where debugging code belongs. check-in: c47e1105be user: dkf tags: trunk
2016-12-30
01:04
Fix a typo in a paper reference [SG95] for [SGL95]. check-in: 70256622bf user: kbk tags: kbk-impure
00:48
Merge mark check-in: 844f3bedb5 user: kbk tags: kbk-impure
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
00:29
Sreedhar and Gao algorithm for iterated dominance frontier. check-in: 6d1c23a91a user: kbk tags: kbk-impure
2016-12-29
17:57
Fix crash in dropping refs to impure objects check-in: 473ed73891 user: kbk tags: kbk-impure
17:41
Stop drooling on the console. check-in: 8a09c39b5b user: kbk tags: kbk-impure
17:38
Add level number in dominator tree, not yet used for anything check-in: 8c73f85e04 user: kbk tags: kbk-impure
17:27
Merge trunk and resolve conflicts in debugging data generation check-in: e142ea9b6b user: kbk tags: kbk-impure
16:53
Add working notes on IMPURE - which implies modification to an SSA flowgraph, a complicated bit of work check-in: 12c4ef44d8 user: kbk tags: trunk
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