| Commit message (Collapse) | Author | Age | Files | Lines |
| | |
|
| |
|
|
| |
Fix some monotonicty bugs, rounding bugs, in float ops
|
| |
|
|
| |
Missed field narrowing in a few cases
|
| |
|
|
|
|
| |
ARM encoding
Extra fidx burned with no constructor
Getting types during a parse to avoid a whole-program walk later
|
| | |
|
| | |
|
| | |
|
| |
|
|
| |
The phase rework, made new phases explicit and add them to the CodeGen driver. Fix the flag-spilling on X86 and ARM. Fix the GCM conservative anti-deps and backport.
|
| |
|
|
|
| |
Missing a few risc/arm encodings.
Make private many tests, so they don't escape and the escaped fcn inflate x86 spill numbers
|
| |
|
|
| |
Ignore JIGs. Get test suites more conical, so reg alloc spill counts are comparable
|
| | |
|
| | |
|
| | |
|
| | |
|
| |
|
|
| |
Fixes some bugs `flit x; return x ^ 0;` should give an error instead of returning the plain `x`
|
| | |
|
| |
|
|
|
|
| |
Renumber chapters 10a, 10b, 11, 12, 13, 14 -> 10, 11, 13, 12, [11,14].
Split ch 17 into a 17a and 17b; shuffle around im/mutable syntax to be consistent, and present it more slowly.
THe new immutable syntax is pushed through all later chapters
|
| | |
|
| | |
|
| |
|
|
| |
The ISA shared handlers here are required for a proper compiler, but contain only trivial bit-massaging operations.
|
| |
|
|
| |
Same as the graph viewer, moves a lot of code out of all Nodes
|
| | |
|
| |
|
|
| |
Also a minor reg-alloc improvement for BrainFuck, ported up to ch25
|
| | |
|
| |
|
|
|
| |
Helps keep functions alive via ptr only (no calls).
A few RISC 5 TFP encoding fixes.
|
| |
|
|
| |
FIx minor RISC encodings.
|
| |
|
|
|
|
|
|
| |
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.
|
| |
|
|
|
| |
Fix CI build
Backport ch 23 fix to ch 22.
|
| |
|
|
| |
Failed lattice law tests mixing constants and have wide type ints; or mixing wide ints and constant arrays.
|
| |
|
|
|
|
|
|
|
|
|
|
|
|
|
| |
* 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>
|
| | |
|
| | |
|
| |
|
|
|
| |
Fast forward/reverse, pick-a-frame.
Shorter type names.
|
| |
|
|
| |
Phis stay with regions, stop sinks to bottom,
|
| | |
|
| | |
|
| | |
|
| | |
|
| |
|
|
| |
Fix arm BL encodings; ADD/SUB with reversed sign.
|
| |
|
|
| |
Improved spilling
|
| |
|
|
|
|
| |
Remove the _anti field.
Remove the isPinned() call.
Add a copyEmpty call.
|
| |
|
|
| |
Unify dominator caching.
|
| | |
|
| | |
|
| | |
|
| | |
|
| | |
|
| | |
|
| | |
|
| |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| |
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>
|