summaryrefslogtreecommitdiff
Commit message (Collapse)AuthorAgeFilesLines
...
* replace imagesTamas Hadhazy2024-09-152-4/+4
|
* b and e use different numbersTamas Hadhazy2024-09-141-4/+4
|
* revisit explanationTamas Hadhazy2024-09-141-2/+3
|
* extend explanation on scopesTamas Hadhazy2024-09-143-0/+288
|
* move x-x check up frontCliff Click2024-09-1311-34/+44
|
* x-x==0Cliff Click2024-09-1321-50/+99
| | | | | | Move x-x==0 to compute. Add x/1 ==> x All chapters
* Fix GCM of CSE storesCliff Click2024-09-1223-54/+104
| | | | | Stop CSE of stores. Backports to ch11,12,13,14
* Support transpiling more test features: iterate, IRPrinter, assertions, ↵Robert Obkircher2024-09-094-57/+158
| | | | GraphEvaluator
* Add transpiler for JUnit testsRobert Obkircher2024-09-0911-0/+473
|
* Remove commutative peepholes for shiftsThalia Archibald2024-09-073-18/+3
|
* Fix typos in chapter 14Thalia Archibald2024-09-074-15/+15
|
* README includes more design decisions for type names.Cliff Click2024-09-078-4/+161
| | | | Add Or,Xor for completeness.
* Update README.mdCliff Click2024-09-071-3/+2
|
* better monotone check for dead loopsCliff Click2024-09-074-24/+32
|
* Correct err msgCliff Click2024-09-072-4/+4
|
* Fix bugsCliff Click2024-09-075-1/+44
| | | | | AND on floats Shift-extend idiom smartly makes sharper int types.
* Fix possible monotonicity bugCliff Click2024-09-074-0/+12
| | | | Allow Add to smartly add ranges.
* Updates READMECliff Click2024-09-073-22/+31
| | | | More on Types, pushed out Arrays one more chapter
* Cleanup comments to match designCliff Click2024-09-072-22/+26
| | | | Went through several iterations, one where a null _obj was allowed, but settled on using TypeStruct.BOT instead.
* And-masking sharpens narrowed intsCliff Click2024-09-073-3/+38
| | | | Needed to recognize narrowed expressions
* minus is sane for high rangesCliff Click2024-09-071-1/+3
|
* Add READMECliff Click2024-09-071-1/+65
|
* All the remaining narrow typesCliff Click2024-09-076-34/+135
| | | | Narrow f32, requires a Round node.
* Backport empty statement fixCliff Click2024-09-0717-228/+351
| | | | | Split Ch13 tests from Chapter12Test.java Handle forward refs never defined.
* Update fuzzer for chapter 14. (#107)XmiliaH2024-09-072-51/+138
| | | | | * Update fuzzer for chapter 14. * Add and operator to evaluator
* Shift operators; sign extensionCliff Click2024-09-077-8/+228
|
* handle all unsigned int variantsCliff Click2024-09-078-19/+249
| | | | and-masking and typenames for all!
* Correct constant fold with ranges for most primitivesCliff Click2024-09-079-14/+17
|
* Add TypeInteger rangesCliff Click2024-09-078-70/+119
|
* #98 Chapter 14 arraysdibyendumajumdar2024-09-074-0/+26
|
* #98 Chapter 14 arraysdibyendumajumdar2024-09-0776-0/+11080
|
* Fix chapter 1 link and mis-spelling (#102)Dibyendu Majumdar2024-09-031-1/+1
|
* Update fuzzer for chapter 13. (#105)XmiliaH2024-09-032-50/+114
|
* Update fuzzer for chapter 12. (#104)XmiliaH2024-08-182-37/+73
|
* Some updates to Chapter 3 docs based on feedback by Yarden (#100)Dibyendu Majumdar2024-08-161-12/+22
| | | | | * Some updates to Chapter 3 docs based on feedback by Yarden * Apply feedback from Cliff
* Scope docs (#99)Cliff Click2024-08-153-28/+48
| | | | | * More scope docs * readme updates
* #92 Update readmesdibyendumajumdar2024-08-063-56/+9
|
* Fix chapter12 grammarThalia Archibald2024-08-062-130/+1
|
* Update README.mdCliff Click2024-08-061-2/+22
|
* More error cases, error checkingCliff Click2024-08-066-11/+74
| | | | disallow e.g. "struct x { int i; }; x = new x; x.i=3.14;"
* Fix graph draw with field namesCliff Click2024-08-064-7/+27
| | | | Allow co-recursive defs
* Ref types workingCliff Click2024-08-0625-149/+273
| | | | | | | | | 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.
* chapter 13 from 12, splitting out ref fields in structsdibyendumajumdar2024-08-063-2/+132
|
* Copy chapter12 -> chapter13Thalia Archibald2024-08-0675-0/+10930
|
* Unify type parsingCliff Click2024-08-051-48/+22
|
* Update Ch12 readmeCliff Click2024-08-051-1/+45
|
* Fuzzer nit picksCliff Click2024-08-053-8/+4
|
* auto-widen on assignCliff Click2024-08-052-125/+11
|
* missing null checkCliff Click2024-08-052-2/+121
|
* A series of minor fuzzer bugsCliff Click2024-08-055-27/+28
|
generated by cgit v1.2.3 (git 2.25.1) at 2026-10-18 09:35:28 +0000