summaryrefslogtreecommitdiff
path: root/chapter17
Commit message (Collapse)AuthorAgeFilesLines
* Update README.mdCliff Click2025-01-151-0/+15
|
* New evaluator, more Compiler Driver cleanupCliff Click2025-01-151-1/+1
| | | | | | | | | | More compiler driver cleanup: Stop only has Return inputs, never an expr. Drop extra lexical scope. Linker table moves to CodeGen. Replace evaluator with a simpler design; I was unable to get the current design to work with the other changes. Updates to old eval; proper idoms; forced type checks; extensions for Fun, Return, Call, CallEnd. Accessor find next control to execute. Accessor for deciding when its ok to optimize a Function/Return, Call/CallEnd, Stop, ScopeMin (merge) Add local scheduling pass. IRPrinter uses SB instead of StringBuilder Spelling SubF comment
* Fix commentCliff Click2025-01-151-1/+1
|
* Missing xScopes pushCliff Click2024-11-231-0/+2
|
* Replace loop finding with official algoCliff Click2024-11-2310-104/+85
| | | | Remove old fixLoops, walkInfinite.
* Assignment bugsCliff Click2024-11-237-116/+199
| | | | Restructure parsing declarations from assignments; allow assignments almost anywhere as a normal expression.
* Stronger requirement on new type nameCliff Click2024-11-232-12/+14
|
* Straighten out nested forward ref type errorsCliff Click2024-11-232-17/+33
|
* Error on ambiguous -- parseCliff Click2024-11-233-8/+6
| | | | `i -- i` now errors instead of (sometimes) parsing as `i - -i`
* Fix 2 small bugsCliff Click2024-11-233-2/+29
|
* Update README.mdCliff Click2024-11-231-2/+2
|
* Fix spacing readmeCliff Click2024-11-231-6/+8
|
* Update README.mdCliff Click2024-11-231-6/+7
|
* more readmeCliff Click2024-11-231-8/+4
|
* Allow oper-assign, += -= etcCliff Click2024-11-233-21/+64
|
* Bug fix loop depth on infinite split-tail loopsCliff Click2024-11-233-73/+9
|
* Minor inf loop fixCliff Click2024-11-233-15/+6
|
* Final? pass of finalsCliff Click2024-11-2326-215/+426
| | | | | | | Add a least-upper-bound to set Phis to their respective Top while preserving final fields. Requires a ReadOnly node to "cast-away-writable". Series of isFinal/makeRO in all Types. Changes tests to match r/w intent.
* commentsCliff Click2024-11-232-2/+3
|
* Allow pre-inc/dec on variablesCliff Click2024-11-238-32/+63
|
* Allow C-style for loopsCliff Click2024-11-234-47/+199
|
* Much more robust guarded expression upcastingCliff Click2024-11-2317-122/+187
| | | | | Region does not print id, making all test cases much more stable (and slightly weaker). NotNode gets more precise compute
* Change field mutabilityCliff Click2024-11-2319-95/+365
| | | | | | | | Fields & locals with an initializer are immutable by default; those without are mutable. Make mutable with `!`. Fields are always mutable in a constructor. Add a trinary `pred ? then : else` syntax. SubNode retains as much precision as AddNode. Sharpen some asserts and error cases. Limit Load node cloning if the ptr is not obvious.
* some docsCliff Click2024-11-232-3/+24
|
* var/valCliff Click2024-11-235-30/+94
|
* Support post ++ on arrays and structsCliff Click2024-11-233-14/+67
|
* Missed oneCliff Click2024-11-231-1/+1
|
* Allow post ++, --Cliff Click2024-11-2330-154/+192
| | | | | | | | | | Fix eval auto-string result. Fix tests hacked because of this. Turn on BrainFuck in ch15,16,17, also disabled because of this. Use new features in BrainFuck. Fix bug not lifting forward refs; add a toString to Vars. Fix some missing addDeps. Remove large complex not-productive peep. Upcast after "while" tests. Improves a bunch of tests. Remove dead getBlockStart.
* Some ideas on functionsCliff Click2024-11-231-0/+59
|
* Initial pushCliff Click2024-11-2391-0/+13876