tclquadcode

Timeline
Login

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

51 check-ins related to "kbk-transform-speedup"

2015-12-19
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: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:05
merge trunk check-in: 7fb09b236d user: kbk tags: kbk-transform-speedup
00:35
More shoveling out now-obsolete code check-in: 30f811e497 user: kbk tags: kbk-transform-speedup
00:20
More wholesale shoveling out of now-obsolete code. check-in: 2195167585 user: kbk tags: kbk-transform-speedup
00:14
Remove the Datalog-dependent code. check-in: 00ad2e766d user: kbk tags: kbk-transform-speedup
00:08
Copy all literals before they arrive at phi, because otherwise code is emitted prior to the phi's appearance but in the same basic block. check-in: 4f2cedf8f3 user: kbk tags: kbk-transform-speedup
2015-12-16
23:56
add a missing case in doExists - nextest2/nextest3 now work. check-in: e54e9eac84 user: kbk tags: kbk-transform-speedup
23:29
Handle unreachable quadcode, and rework phi yet again for correct ref counts. Liveness now needs to come after type analysis. Now down to three failing tests: switchfail (misplaced phi), nextest2/3 (crash in 'flatten') check-in: 5cec633560 user: kbk tags: kbk-transform-speedup
03:29
Add type widening, and rewire into demo.tcl. 8 test cases fail to build or execute. check-in: e594d0067f user: kbk tags: kbk-transform-speedup
2015-12-15
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
13:24
Work in progress: fixing bugs in the new quadcode transformations. check-in: 5dab8e0700 user: kbk tags: kbk-transform-speedup
01:32
Add type inference. Clean up ud- and du-chains of deleted code. Modify compile.tcl to allow literals to flow into phi. check-in: 20e14dc7d6 user: kbk tags: kbk-transform-speedup
2015-12-14
15:02
Pull some of the data type logic into transformer.tcl in preparation for doing the data type analysis there. check-in: 8cd80da3dd user: kbk tags: kbk-transform-speedup
01:25
Scaffolding: flatten code back to linear quadcode. Alas, breaks type inference because of literals at phi that need widening. check-in: 739dece8b3 user: kbk tags: kbk-transform-speedup
2015-12-13
20:40
Better commentary about the instance variables check-in: 8f4ae860fe user: kbk tags: minor change, kbk-transform-speedup
05:04
Removed a missed piece of console dribble check-in: 9bece5ebc9 user: kbk tags: kbk-transform-speedup
05:03
Fix a bad typo in liveVariables, and add some defensive code to it. check-in: 4a34606660 user: kbk tags: kbk-transform-speedup
04:08
Remove dead phi instructions from the heads of basic blocks check-in: 50c9dd6851 user: kbk tags: kbk-transform-speedup
2015-12-12
18:31
Live variable ranges and memory management check-in: ab3fbc7b1d user: kbk tags: kbk-transform-speedup
03:26
Fully qualify command names wherever possible check-in: 46369cc287 user: kbk tags: kbk-transform-speedup
03:12
dead variable analysis, better debugging, and fix a problem where doExists overwrote its own results check-in: 49878edda4 user: kbk tags: kbk-transform-speedup
01:15
Restore predecessor, ud-chain, du-chain after dead basic block elimination check-in: 501e46f823 user: kbk tags: kbk-transform-speedup
00:32
Add ud- and du-chaining, rudimentary optimization of variable existence checks, and removal of unreachable or empty basic blocks. check-in: 0fd0e56717 user: kbk tags: kbk-transform-speedup
2015-12-11
14:48
propagate [info exists] information check-in: fa0e20f86f user: kbk tags: kbk-transform-speedup
02:59
critical edge splitting check-in: ff47d45802 user: kbk tags: kbk-transform-speedup
2015-12-10
05:48
SSA and copy propagation with discrete basic blocks - not even close to working, but progress being made. check-in: 239a545a22 user: kbk tags: kbk-transform-speedup
02:12
Basic block partition and dominators. Nothing else is even close to working! check-in: 5d0913005c user: kbk tags: kbk-transform-speedup
02:10
Basic block partition and dominators. Nothing else is even close to working! check-in: cdb53e26af user: kbk tags: kbk-transform-speedup
2015-12-09
00:39
Open a branch for speeding up quadcode-to-quadcode transformations check-in: a9a88fe2ac user: kbk tags: kbk-transform-speedup
00:37
Merge in the type specializer for interprocedural analysis. Nothing calls it yet, but it seems Mostly Harmless to have it on trunk. check-in: 3e35e39966 user: kbk tags: trunk