summaryrefslogtreecommitdiff
path: root/chapter15/src
Commit message (Collapse)AuthorAgeFilesLines
...
* store-store opt checks offsetCliff Click2024-10-062-0/+15
|
* Lots of READMECliff Click2024-10-062-5/+4
|
* Sieve of EratosthenesCliff Click2024-10-061-0/+49
| | | | Really badly needs `i++` and a `for` loop
* Tests for negative array size and runtime OOBCliff Click2024-10-064-2/+35
|
* Fix 2 test casesCliff Click2024-10-062-0/+30
|
* Address math foldingCliff Click2024-10-063-7/+15
|
* arrays with loads and storesCliff Click2024-10-068-79/+150
| | | | | | | No range-checking yet. Length is "ary#" TypeStruct with special "[]" field is an array Fix some eager push-load-thru phi
* Redo address mathCliff Click2024-10-0619-227/+381
| | | | | | | | | | | | | Loads and Stores take a field offset instead of a field name; the name remains for debugging. NewNode takes a size and produces a pre-initialized chunk of memory with updated memory aliases for all fields. Field picks up an alias; TypeStruct loses one. TypeArray is a subclass of TypeStruct for now. TypeMem tracks a conservative value for its alias. TypeStruct computes field layouts. Now ProjNodes can have non-CFG input 0 - NewNode does, but so would a combined ModRem op from a divide, or a CAS producing both a success boolean and the old value. This impacts all the schedulers (IRPrinter, GCM, Scheduler) which previously believe slot 0 only held control nows, or could be modified to a control now. Aliases are now computed in the Parser instead of Start; Parser gets new Field math.
* Type picks up a log_size for doing struct layoutsCliff Click2024-10-066-59/+62
|
* sub same moves to computeCliff Click2024-10-061-4/+4
|
* Scope renames _scopes and _types as _idxs and _decls.Cliff Click2024-10-067-74/+66
| | | | Drop isCFG and use instanceof instead
* Div-by-1 peepCliff Click2024-10-061-1/+6
|
* Fix IRPrinterCliff Click2024-10-061-21/+40
| | | | IRPrint was using a HashTable with Node keys, which calls hashCode, which sets the flag claiming the Node is locked in the GVN table. If this is not true, you later trigger the locked-but-not-in-table assert. Which means calling toString from stopping in the debugger can trigger a later assert.
* Adding TypeArrayCliff Click2024-10-064-1/+75
|
* Ch15 initial pushCliff Click2024-10-0680-0/+11756
generated by cgit v1.2.3 (git 2.25.1) at 2026-10-15 15:08:45 +0000