| Commit message (Collapse) | Author | Age | Files | Lines |
| ... | |
| |
|
|
|
| |
Split Ch13 tests from Chapter12Test.java
Handle forward refs never defined.
|
| |
|
|
|
| |
* Update fuzzer for chapter 14.
* Add and operator to evaluator
|
| | |
|
| |
|
|
| |
and-masking and typenames for all!
|
| | |
|
| | |
|
| | |
|
| | |
|
| | |
|
| | |
|
| | |
|
| |
|
|
|
| |
* Some updates to Chapter 3 docs based on feedback by Yarden
* Apply feedback from Cliff
|
| |
|
|
|
| |
* More scope docs
* readme updates
|
| | |
|
| | |
|
| | |
|
| |
|
|
| |
disallow e.g. "struct x { int i; }; x = new x; x.i=3.14;"
|
| |
|
|
| |
Allow co-recursive defs
|
| |
|
|
|
|
|
|
|
| |
GCM uses a breadth-first pass for schedule-late instead of a post-order; the post-order walk depends on StoreNodes being pinned, which is true in C2 but not Simple.
Move GCM call out of IterPeeps.
Struct field init is "makeInit()" not integer zero.
Rename Type._print to print.
Store,Load prints include field name.
|
| | |
|
| | |
|
| | |
|
| | |
|
| | |
|
| | |
|
| | |
|
| | |
|
| | |
|
| |
|
|
|
|
|
|
| |
Fix bug infinite loop finding.
Fix inf loops before printing graph.
Missing float unary negate .
Generator makes float exprs
Fix missing dep in LCA finding
|
| |
|
|
| |
Better pattern in the compiler.
|
| | |
|
| | |
|
| |
|
|
|
| |
Fix bug AddF+0, SubF+0
Fix bug flipping EQ sides.
|
| |
|
|
| |
Parsing float constants; float +-*/, auto-widening float expressions.
|
| | |
|
| | |
|
| | |
|
| | |
|
| |
|
|
|
|
|
|
|
|
|
|
|
|
|
| |
* Backport test exception handling to chapter 1
* Add unary ! to chapter 10 and 11 grammars
* Lex { } ! as punctuation
* Forward-port format whitespace
* Forward-port test organization
* Forward-port replace build-graphs.sh with Makefile
* Add chapter title to chapter 11
|
| | |
|
| |
|
|
|
|
|
|
|
|
|
|
|
| |
* #80 #85 apply bug fixes from chapter10
* #85 #80 more detail regarding anti-dependency
* Remove Util.eq
Was enforced interning of strings, not needed here.
---------
Co-authored-by: Cliff Click <cliffc@acm.org>
|
| | |
|
| |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| |
* Fix unexpected number parse errors
* Add chapter titles
* Split test files by chapter
* Backport rename Fuzzer08Test to FuzzerWrap
* Replace graph build scripts with Makefile
* Backport Chapter05Test.testRegress1
* Backport require space after 'return'
* Backport check EOF after return statement
|
| |
|
|
|
|
|
|
|
| |
* Trim trailing whitespace
* Ensure final new lines
* Convert line endings from CRLF to LF
* Replace tabs with spaces
|
| | |
|
| |
|
|
|
| |
* Add a minor peep to settle a CCC discussion
* remove junk test
|
| |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| |
* Missing idepth for LoopNode
* backedge code removing a Parser keep
Stop subsuming a node parser yet needs
* Missing addDep
* LoadNode cloning peep better profit
The LoadNode cloning peep cannot clone around a Loop unless its profit on the backedge, otherwise might infinitely clone around backedge.
peep: x - (-y) is x+y
peep: -(-x) is x
* Drop alias from Field
Field is intended to be a part of a Type; as such is abstract, immutable, and true for ALL Time and all TypeStructs which have the same field. Drop the alias and struct from Field. Drop field reset.
The alias#s are decided in the Parser, and have a lifetime for the compilation unit; the Fields have infinite lifetime.
Minor bugfix idepth caching
* Remove emacs junk file
|
| |
|
|
|
| |
Simplify idom usage; removes a difficult to maintain cache, which does add a (rare) big-O slowdown. Suggestions welcome.
Cut outs for some peeps on various dead/dying graphs.
|
| |
|
|
|
|
|
|
|
|
|
|
|
| |
* Update graph evaluator for ch10
* Update tests to use the new evaluator
* Fix anti-dep issue
* Fix anti-dep issue
* Add comments to the scheduler
* Use j.u.Stack and rename BuildBlock
|
| |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| |
* More clearly explain why we do not have an AST in the implementation
* Improve the description of type lattice.
Cross reference to future chapters.
* Minor update
* Add lattice visual
Revise the text describing meet.
* minor update
* Add a lattice visual to the text
* Update the lattice visual.
Add description of the new edges in the SoN graph
|