summaryrefslogtreecommitdiff
path: root/chapter25/src/main/java
Commit message (Collapse)AuthorAgeFilesLines
* Restrict subtraction zero peepholes to integer operandspr254-fixesCliff Click2026-09-251-5/+5
| | | | | | 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.
* Extend and backport SubNode peepholefuhsnn2026-09-251-4/+15
|
* 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
|
* Add some Type test casesCliff Click2026-08-212-2/+16
|
* Remove dead codeCliff Click2026-08-2030-308/+36
| | | | Clarify several TODO's as "Should not reach here"
* Squashed commit of the following:Cliff Click2026-08-204-31/+47
| | | | | | | | | | | | | | | | commit a00bfc643e834498b020eb47ee37da4a17cf6e39 Author: Cliff Click <cliffc@acm.org> Date: Thu Aug 20 12:27:52 2026 -0700 Add a emacs Simple.el mode commit b5b399e16038d20ba6928aa329268b229b90e2f7 Author: Cliff Click <cliffc@acm.org> Date: Thu Aug 20 11:37:17 2026 -0700 Tone down expensive asserts Put the expensive asserts on a log-scale flag, run them only once every 2^N attempts
* Squashed commit of the following:Cliff Click2026-08-2043-458/+1031
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | commit c05d7df4f9c90984d2c04126772be3fee1d81fd1 Author: Cliff Click <cliffc@acm.org> Date: Thu Aug 20 10:52:58 2026 -0700 Fix local frefs, deferred inlining, and sys FileIO support - Defer non-trivial inlining out of CallEnd idealization and run it from IterPeeps after normal peepholes reach a fixed point. - Keep forward refs local to their lexical scope, promote them outward on scope pop, and track created FRefNodes directly for dependency discovery. - Preserve loop scope shape when frefs are first seen inside loop bodies. - Treat frefs as final constants from creation and force lazy self lookups before implicit calls. - Reset imported pointer/struct types conservatively for post-parse Iter. - Pin Start-owned global machine value chains and clone global constants per function during GCM. - Improve late ASM printing before encoding and namespace constant-pool symbols. - Add optional regalloc function-local edge verifier and improve empty-mask splitting for multi-def/fixed-register LRGs. - Add sys array compare, safer array copy bounds, libc open/creat/close/unlink bindings, aryu8.str0, and higher-level sys.io file operations. - Add docs/examples/FileIO.smp and a Chapter25 FileIO test. - Update spill/code-size goldens after the allocator and scheduling changes. commit ef5316979732ac118612d310b75923c8f59ecdc1 Author: Cliff Click <cliffc@acm.org> Date: Fri Aug 14 16:29:56 2026 -0700 Dijkstra uses bitset. TestC.exec for repeated test runs with different stdins. Support &= and |= op-update forms. commit 728a527587f19bb49860f02ae5ac5968ab01ae33 Author: Cliff Click <cliffc@acm.org> Date: Fri Aug 14 12:13:28 2026 -0700 Fix live demo commit e4c069b9ef2cbfafe28d8edfcbff55396cde085e Author: Cliff Click <cliffc@acm.org> Date: Fri Aug 14 09:52:24 2026 -0700 Update Dijkstra.smp commit b8015739b4056e3f7a715a030e846a441021a9f1 Author: Cliff Click <cliffc@acm.org> Date: Fri Aug 14 09:41:17 2026 -0700 Better looking Dijkstra commit 7cce587804c6169b24829e0b5bdc10be94357a31 Author: Cliff Click <cliffc@acm.org> Date: Fri Aug 14 09:33:33 2026 -0700 Fix CmpMemX86 encoding Use sys.aryu8 for number printing commit 310b5d8c9978a3b09622a4b89dac97f0e5e6f3fb Author: Cliff Click <cliffc@acm.org> Date: Fri Aug 14 09:04:58 2026 -0700 Progress dijlstra Fix NotX86 encoding. Allow Not-sinking through Phis; the Nots both take Scalar and might take different types (ptr vs int). Better guard installing during && || opers. Drop the csv parse flavor in sys lib. commit 5917d5322521dd5e762c4698d34e5d7ac9b3a37f Author: Cliff Click <cliffc@acm.org> Date: Thu Aug 13 14:44:12 2026 -0700 missed commit da35ad4d8a330559a21c04ae6326536e0fd62c48 Author: Cliff Click <cliffc@acm.org> Date: Thu Aug 13 14:43:42 2026 -0700 Major cleanup of allocation All the graph-gen is moved to the <ctor> declaration and not at the alloc site. commit c4223216099ccbc526d282bb263972532d48c5b2 Author: Cliff Click <cliffc@acm.org> Date: Thu Aug 13 13:26:01 2026 -0700 Some work from Dykstra (more coming) commit a03bc567f61dc7e4355e453ee4be16ac2528d1ab Author: Cliff Click <cliffc@acm.org> Date: Thu Aug 13 09:32:55 2026 -0700 Spill correctness and improvements Had the callee-save pick-risky backwards vs cloneables. commit 2d306e4430225f916cb7fb999f4926e52f6fb70a Author: Cliff Click <cliffc@acm.org> Date: Wed Aug 12 19:40:04 2026 -0700 Tighter parser handling of missing fields Bug fix add libc.errno, read can return -1, sys.ary exists commit b7eeefda4cafa1e86153170dca6f13d45ef63f69 Author: Cliff Click <cliffc@acm.org> Date: Wed Aug 12 16:22:48 2026 -0700 Printer improvements commit 8b9112226f1d2d1c843b080eecefe0d5ddc1f8cf Author: Cliff Click <cliffc@acm.org> Date: Wed Aug 12 15:30:46 2026 -0700 Remove GLB commit ae566f5c610b9c30831906d3f024901d8930a227 Author: Cliff Click <cliffc@acm.org> Date: Wed Aug 12 14:38:51 2026 -0700 Add Capitalize example Rename Ary to ary. Fix bug || carrying state along. Fix bug load-array removing control. Add sys.char tolower/upper
* Real argc/argv argsCliff Click2026-08-123-28/+58
| | | | Beef up BubbleSort error handling
generated by cgit v1.2.3 (git 2.25.1) at 2026-10-15 17:20:51 +0000