summaryrefslogtreecommitdiff
path: root/chapter25/src/main
Commit message (Collapse)AuthorAgeFilesLines
* Extend smaller-width C results to full widthCliff Click2026-09-287-0/+112
|
* Backport FunPtrCliff Click2026-09-281-2/+5
| | | | | Helps keep functions alive via ptr only (no calls). A few RISC 5 TFP encoding fixes.
* Support extern C ver direct updatesCliff Click2026-09-2818-54/+159
| | | | FIx minor RISC encodings.
* Check un-init not-null constructor fieldsCliff Click2026-09-288-51/+85
| | | | | | | | Propagate BOT inputs; Arith, Load. CallEnd inlining, the FUnPtr dies early. Load asserts when loading against uninit not-null field. Keep not-nill state for storage class. Clean up Node.peep as constant.
* bug fix widenCliff Click2026-09-266-65/+61
| | | | Failed lattice law tests mixing constants and have wide type ints; or mixing wide ints and constant arrays.
* Extend and backport SubNode peephole (#254)Hsiang-Ying Fu2026-09-251-4/+15
| | | | | | | | | | | | | | | * Extend and backport SubNode peephole * Add tests * Restrict subtraction zero peepholes to integer operands Require resolved integer mode in chapter 25 so zero subtraction preserves floating-point signed zero. Keep nonnumeric operands in the graph for subtraction diagnostics. Add signed-zero coverage from chapter 12 and null-subtraction diagnostics from chapter 22. Confirmed the regressions fail on the original PR. Full Make suites pass in chapters 4-25 (5462 tests), including fresh chapter 25 sys.o compilation. --------- Co-authored-by: Cliff Click <cliffc@acm.org>
* Bunch more animation workCliff Click2026-09-255-5/+21
|
* Bunch better layout optionsCliff Click2026-09-241-1/+3
|
* Keyboard shortcutsCliff Click2026-09-235-5/+33
| | | | | Fast forward/reverse, pick-a-frame. Shorter type names.
* Graph cleanupCliff Click2026-09-222-2/+4
| | | | Phis stay with regions, stop sinks to bottom,
* Tidy up scope displayCliff Click2026-09-221-1/+1
|
* Add shared graph viewer to all chaptersCliff Click2026-09-2228-383/+26
|
* Graph viewer on ch4 and25Cliff Click2026-09-224-370/+18
|
* Switch over to the new ELK driverCliff Click2026-09-216-74/+170
| | | | Interact between compiler & browser now hooks several nbew places.
* Switch over to the ELK rendererCliff Click2026-09-211-337/+4
|
* Change protocol between compiler and browserCliff Click2026-09-212-20/+34
|
* Define a new graph interaction APICliff Click2026-09-211-0/+74
|
* move the graph visualizer into shared codeCliff Click2026-09-212-50/+122
|
* Final reg-alloc across chapters cleanupCliff Click2026-09-205-18/+15
|
* Popular use grouping for RegAllocCliff Click2026-09-204-54/+40
| | | | Fix arm BL encodings; ADD/SUB with reversed sign.
* Forward-port allocator bug fixes and test support through ch25Cliff Click2026-09-204-21/+25
| | | | Improved spilling
* Backport TypeFunPtr normalizationCliff Click2026-09-201-0/+8
|
* Unify GCM across chaptersCliff Click2026-09-209-186/+79
| | | | | | Remove the _anti field. Remove the isPinned() call. Add a copyEmpty call.
* Unify mixed-return checking and resultsCliff Click2026-09-1911-50/+38
| | | | Unify dominator caching.
* Use isDead() instead of checking null inputsCliff Click2026-09-191-8/+8
|
* debug printers no longer call self-optimizing accessorsCliff Click2026-09-1911-24/+40
|
* Handle r/w <clinit> sectionsCliff Click2026-09-194-8/+10
|
* Handle double-negation preserving not-null knowledgeCliff Click2026-09-191-2/+10
|
* Backport string escapes and many op-assignCliff Click2026-09-171-7/+19
|
* Fix phi wideningCliff Click2026-09-171-5/+3
|
* up timeoutsCliff Click2026-09-164-4/+5
| | | | add deps on dominance crawls
* Handle dying escapenodeCliff Click2026-09-141-1/+3
|
* Fix parser lifetime bugCliff Click2026-09-141-9/+4
|
* int-only ops force inputs to be int-onlyCliff Click2026-09-1410-14/+46
| | | | | Lest an int-only op, having lifted result types to int, get a zero-fold (e.g. X^0) to their mode-not-set input and have types fall. Handle idepth-cache overflow
* Refinement on guard removalCliff Click2026-09-142-5/+10
| | | | | Fix keep/unkeep balance. Always fuzz small.
* Do BulkMemPhi splits one by oneCliff Click2026-09-131-52/+28
|
* Resolve numeric needs more OptoCliff Click2026-09-138-14/+29
| | | | | | Missing Arith mode picks high or low according to pre/post Opto FunPtr improves sig return based on Opto return type. Minus with missing mode is optimistic, same as Arith
* A few missing addDepsCliff Click2026-09-1310-65/+68
| | | | | | | IterPeeps cnt does not reset. Faster schedulableIses, reuses ID Map. Test in Iter work if not GVN table ScheduableUses peeks through folding/dead Call/Fun
* Major bugfix around unscheduable graphsCliff Click2026-09-125-29/+242
| | | | | | | | Robust assert about all data ops are schedulable. Utiltiies for several places domionator-like stuff is used. Removing a Phi with matching null/not-null values is now more robust; removes a major source if scheduling misalignment. Big comments about what gets covered by a null check, or not. Permanent list of fuzzer seeds that used to fail
* More robust on broken inputsCliff Click2026-09-115-6/+24
|
* Fix OR of 0Cliff Click2026-09-111-1/+1
| | | | Allowed only if the replacement does not fall, will be lifted by OR to an TypeInteger
* Removing a phi-of-guard, remove nested guardsCliff Click2026-09-111-2/+8
|
* Update LoadNode.javaCliff Click2026-09-111-2/+1
|
* Optional reset Types so Fuzzer can work.Cliff Click2026-09-114-14/+18
| | | | FunNodes never GVN.
* More code coverage cleanupCliff Click2026-09-104-99/+62
|
* Cleanup coverage issuesCliff Click2026-09-109-254/+149
| | | | A lot of tests become asserts; general cleanup in MemOps and PhiOps
* Merge branch 'main' of https://github.com/SeaOfNodes/SimpleCliff Click2026-09-091-3/+3
|\
| * Fix stale copy-pasted comment on BoolNode's phiCon call (#249)Symious2026-09-091-3/+3
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | The three comment lines above `AddNode.phiCon(this, ...)` in BoolNode were copy-pasted from MulNode and never adapted: they use `*` as the operator and describe the rotated shape `(x * (phi cons)) * con`. For BoolNode neither is right. The operator is a compare, and in chapters 6-9 `rotate` is hard-coded `false`, so the rotated shape is never matched; the shapes actually handled are `(phi cons) cmp con` and `(phi cons) cmp (phi cons)`. Reword the comment accordingly, and in chapters 6-9 add a line noting why rotate is off. Chapters 10-25 pass `this instanceof EQ`, so no such claim is made there. Comment-only change; no code is touched. Co-authored-by: Claude Opus 5 <noreply@anthropic.com>
* | Remove a bunch of dead or unused codeCliff Click2026-09-0912-162/+35
|/
* Fix some lattice bugsCliff Click2026-09-093-22/+37
|
generated by cgit v1.2.3 (git 2.25.1) at 2026-10-15 15:44:46 +0000