Code

First Optimizations#76

Code

Merged

countvajhula merged 149 commits intolets-write-a-qi-compilerdrym-org/qi:lets-write-a-qi-compilerfrom first-optimizationsdrym-org/qi:first-optimizationsCopy head branch name to clipboardDec 8, 2023

+1,582-96

Commits

Commits on Jul 21, 2023

• add a restorative optimization for "all"

  countvajhula

  committed
  2a24203

  Copy full SHA for 2a24203

• simple cases of "deforestation" for values

  countvajhula

  committed
  7ba3ff1

  Copy full SHA for 7ba3ff1

• basic optimization loop

  countvajhula

  committed
  86dc145

  Copy full SHA for 86dc145

• merge amps in sequence

  countvajhula

  committed
  8696cf2

  Copy full SHA for 8696cf2

• flatten nested compositions (associative law)

  countvajhula

  committed
  098e716

  Copy full SHA for 098e716

• eliminate superfluous identity flows

  countvajhula

  committed
  f540e03

  Copy full SHA for f540e03

• incorporate various identities as optimizations

  countvajhula

  committed
  98559a5

  Copy full SHA for 98559a5

• add some comments

  countvajhula

  committed
  2a4b4bd

  Copy full SHA for 2a4b4bd

• merge pass filters in sequence by conjoining the predicates

  countvajhula

  committed
  d2a5bfd

  Copy full SHA for d2a5bfd

• note a todo

  countvajhula

  committed
  c6fbe1e

  Copy full SHA for c6fbe1e

• more comments

  countvajhula

  committed
  ea17feb

  Copy full SHA for ea17feb

• collapse deterministic conditionals

  countvajhula

  committed
  71d7ec4

  Copy full SHA for 71d7ec4

• note about optimizing "active" components of optimized expansions

  countvajhula

  committed
  d4a9651

  Copy full SHA for d4a9651

• use core language words instead of symbols in optimizations

  countvajhula

  committed
  e452a8d

  Copy full SHA for e452a8d

• don't optimize prisms where it expects a list input specifically

  countvajhula

  committed
  1080bc9

  Copy full SHA for 1080bc9

• rudimentary deforestation

  countvajhula

  committed
  83f28c9

  Copy full SHA for 83f28c9

• remove invalid deforestation optimization (noted in CR)

  countvajhula

  committed
  06c2d7a

  Copy full SHA for 06c2d7a

• remove invalid optimization (CR)

  countvajhula

  committed
  0c5b680

  Copy full SHA for 0c5b680

• add tests to check known counterexamples to seeming equivalences

  countvajhula

  committed
  b29884a

  Copy full SHA for b29884a

• collapse singleton threading form

  countvajhula

  committed
  60be2a8

  Copy full SHA for 60be2a8

Commits on Aug 4, 2023

• Commit wip from today's meeting

  Show description for ab173b2
  countvajhula

  committed
  ab173b2

  Copy full SHA for ab173b2

Commits on Aug 11, 2023

• wip from today's meeting (ignition!)

  Show description for f948395
  countvajhula

  committed
  f948395

  Copy full SHA for f948395

• implement filter-map using multiple values instead of allocated data

  Show description for c698e26
  countvajhula

  committed
  c698e26

  Copy full SHA for c698e26

Commits on Aug 12, 2023

• add version from ben with partially evaluated match, for completeness

  countvajhula

  committed
  b19783d

  Copy full SHA for b19783d

Commits on Aug 15, 2023

• add the hand-coded iteration (upper bound on performance)

  countvajhula

  committed
  0351c39

  Copy full SHA for 0351c39

Commits on Aug 18, 2023

• add range-map-sum benchmark (used in St-Amour's writeup)

  countvajhula

  committed
  90ae5cc

  Copy full SHA for 90ae5cc

• minimally incorporate stream fusion into the compiler

  countvajhula

  committed
  191346c

  Copy full SHA for 191346c

Commits on Aug 24, 2023

• restore restorative optimization that was accidentally dropped

  countvajhula

  committed
  1b63193

  Copy full SHA for 1b63193

Commits on Aug 26, 2023

• test for the filter-map functional pipeline

  countvajhula

  committed
  847fce1

  Copy full SHA for 847fce1

• use racket -y in running all tests to recompile if needed

  countvajhula

  committed
  2240de1

  Copy full SHA for 2240de1

• fix stream fusion (from today's qi meeting)

  Show description for cb86eaa
  countvajhula

  committed
  cb86eaa

  Copy full SHA for cb86eaa

Commits on Sep 1, 2023

• tidy - remove deforestation wip from benchmarking module

  countvajhula

  committed
  fdcd094

  Copy full SHA for fdcd094

Commits on Sep 2, 2023

• WIP from today's meeting

  Show description for ca94178
  countvajhula

  committed
  ca94178

  Copy full SHA for ca94178

• use the much-anticipated syntax-spec-v1 from the package index :)

  countvajhula

  committed
  91f2b46

  Copy full SHA for 91f2b46

Commits on Sep 15, 2023

• a couple more nonlocal testcases, using folds

  countvajhula

  committed
  8eb3dad

  Copy full SHA for 8eb3dad

• add starter tests to validate compiler rewrite rules

  countvajhula

  committed
  161bd26

  Copy full SHA for 161bd26

• benchmark for functional pipeline using foldr

  countvajhula

  committed
  be0e6ed

  Copy full SHA for be0e6ed

Commits on Sep 16, 2023

• foldr fusable stream terminator

  Show description for 253e5fe
  countvajhula

  committed
  253e5fe

  Copy full SHA for 253e5fe

Commits on Sep 22, 2023

• WIP from today's meeting

  Show description for 7265eb9
  countvajhula

  committed
  7265eb9

  Copy full SHA for 7265eb9

Commits on Sep 29, 2023

• remove old unused deforestation code

  countvajhula

  committed
  8fc8424

  Copy full SHA for 8fc8424

Commits on Sep 30, 2023

• Implement foldl as a stream

  Show description for 17c3bc5
  countvajhula

  committed
  17c3bc5

  Copy full SHA for 17c3bc5

Commits on Oct 1, 2023

• fix compiler tests by adding chirality

  countvajhula

  committed
  7f67806

  Copy full SHA for 7f67806

Commits on Oct 5, 2023

• consistent naming in rewrite rules

  countvajhula

  committed
  9298580

  Copy full SHA for 9298580

Commits on Oct 6, 2023

• add a benchmark using foldl

  countvajhula

  committed
  f78af67

  Copy full SHA for f78af67

Commits on Oct 7, 2023

• rename stream-related syntax classes for clarity

  Show description for 5a8785a
  countvajhula

  committed
  5a8785a

  Copy full SHA for 5a8785a

• Use macro-debugger-emit to see the process-bindings expansion step in macro stepper.

  dzoep

  committed
  6d2d258

  Copy full SHA for 6d2d258

• Merge remote-tracking branch 'refs/remotes/origin-old/first-optimizations' into first-optimizations

  dzoep

  committed
  15df450

  Copy full SHA for 15df450

• Make fix procedure compatible with syntax-parse rules following the find-and-map/qi specification.

  dzoep

  committed
  afd1f5f

  Copy full SHA for afd1f5f

Commits on Oct 13, 2023

• Merge pull request #111 from dzoep/first-optimizations

  Show description for 60a81e7
  countvajhula

  authored
  60a81e7

  Copy full SHA for 60a81e7

Commits on Oct 14, 2023

• macros for emitting expansion events for the macro stepper

  Show description for 31f34bb
  countvajhula

  committed
  31f34bb

  Copy full SHA for 31f34bb

Commits on Oct 20, 2023

• Merge pull request #1 from drym-org/first-optimizations

  Show description for 4bb5622
  dzoep

  authored
  4bb5622

  Copy full SHA for 4bb5622

• Fix nonlocal tests (use right threading) for deforestation optimizations, add preliminary support for multiple values in deforestation implementation.

  dzoep

  committed
  577d415

  Copy full SHA for 577d415

Commits on Nov 5, 2023

• Revert "Fix nonlocal tests (use right threading) for deforestation optimizations, add preliminary support for multiple values in deforestation implementation."

  Show description for a12340d
  dzoep

  committed
  a12340d

  Copy full SHA for a12340d

• Fix the tests again.

  dzoep

  committed
  f935c44

  Copy full SHA for f935c44

• Remove redundant inlining hint.

  dzoep

  committed
  c325624

  Copy full SHA for c325624

• Preliminary fusion for no-argument range, supporting 1 or 2 values.

  dzoep

  committed
  8f036e1

  Copy full SHA for 8f036e1

• Support for multiple arguments to curry in producer syntax class.

  dzoep

  committed
  47c23cd

  Copy full SHA for 47c23cd

• Full support for range fusion.

  dzoep

  committed
  f1925d7

  Copy full SHA for f1925d7

Commits on Nov 6, 2023

• Finish stream fusion for producers, transformers, consumers and all their combinations.

  dzoep

  committed
  3eb9e74

  Copy full SHA for 3eb9e74

Commits on Nov 10, 2023

• Merge pull request #112 from dzoep/first-optimizations

  Show description for 6e3b681
  countvajhula

  authored
  6e3b681

  Copy full SHA for 6e3b681

Commits on Nov 11, 2023

• Move the current deforestation (both syntax and implementation parts) into a separate module.

  dzoep

  committed
  9488686

  Copy full SHA for 9488686

• Fix missing requires (for ~literal matching), streamline procedures naming in implementation, move inline-compose1 too.

  dzoep

  committed
  bb59629

  Copy full SHA for bb59629

• Cleanup unused pattern variable, implement car deforestation.

  dzoep

  committed
  6531cb5

  Copy full SHA for 6531cb5

Commits on Nov 17, 2023

• Re-add begin-encourage-inline based on the benchmarks.

  dzoep

  committed
  9f0f940

  Copy full SHA for 9f0f940

• Merge pull request #114 from dzoep/first-optimizations

  Show description for e5feb6f
  countvajhula

  authored
  e5feb6f

  Copy full SHA for e5feb6f

• add range-map benchmark

  countvajhula

  committed
  3378f0e

  Copy full SHA for 3378f0e

• fix compiler tests

  countvajhula

  committed
  25ef195

  Copy full SHA for 25ef195

• add a (failing) test for deforestation in nested positions

  countvajhula

  committed
  fc674ec

  Copy full SHA for fc674ec

• remove testing-related nesting in qi deforestation benchmark

  countvajhula

  committed
  e73be41

  Copy full SHA for e73be41

• validate that range deforestation doesn't harm performance

  countvajhula

  committed
  bb503de

  Copy full SHA for bb503de

• fix (most) compiler tests again

  countvajhula

  committed
  4a7cd20

  Copy full SHA for 4a7cd20

Commits on Nov 18, 2023

• remove outdated compiler rewrite rule

  countvajhula

  committed
  5fc615b

  Copy full SHA for 5fc615b

• normalization rule to collapse values inside a threading form

  countvajhula

  committed
  693ebab

  Copy full SHA for 693ebab

• Add initial tests for the normalization pass

  Show description for 317173f
  countvajhula

  committed
  317173f

  Copy full SHA for 317173f

Commits on Nov 20, 2023

• improve range-map-sum benchmark

  countvajhula

  committed
  429f93b

  Copy full SHA for 429f93b

• add a "long functional pipeline" benchmark

  countvajhula

  committed
  8fd4e2f

  Copy full SHA for 8fd4e2f

• remove unused code

  countvajhula

  committed
  e6db41c

  Copy full SHA for e6db41c

• Replace range-map benchmark with range-map-car

  Show description for e3231ff
  countvajhula

  committed
  e3231ff

  Copy full SHA for e3231ff

• failing unit test for range-map-car

  countvajhula

  committed
  7b6f04e

  Copy full SHA for 7b6f04e

• Partial implementation of producer prepare contract.

  dzoep

  committed
  8b1c15e

  Copy full SHA for 8b1c15e

• Refactor normalize pass into its own module

  countvajhula

  committed
  2b347fa

  Copy full SHA for 2b347fa

• note a todo for normalization, and remove an outdated comment

  countvajhula

  committed
  51faf39

  Copy full SHA for 51faf39

Commits on Nov 21, 2023

• Fix car stream consumer, generate all possible contracts for range variants.

  dzoep

  committed
  708b29d

  Copy full SHA for 708b29d

• Merge pull request #115 from countvajhula/benchmarks-and-tests

  Show description for 44bf495
  countvajhula

  authored
  44bf495

  Copy full SHA for 44bf495

Commits on Nov 22, 2023

• Merge branch 'drym-org:first-optimizations' into first-optimizations

  dzoep

  authored
  7e6370d

  Copy full SHA for 7e6370d

• Deforestation producers - currying prepare in the right order, contract only for the resulting lambda expression.

  dzoep

  committed
  cd0f855

  Copy full SHA for cd0f855

• Preliminary implementation of consumer contracts with car as an example.

  dzoep

  committed
  7b24304

  Copy full SHA for 7b24304

Commits on Nov 23, 2023

• Unified range producer syntax class + currying contracted pipeline.

  dzoep

  committed
  20bd38e

  Copy full SHA for 20bd38e

Commits on Nov 24, 2023

• fusable-stream-producer: limit the number of arguments to range to 1 to 3

  dzoep

  committed
  ac8ba9e

  Copy full SHA for ac8ba9e

• Merge pull request #117 from dzoep/first-optimizations

  Show description for f938cb4
  countvajhula

  authored
  f938cb4

  Copy full SHA for f938cb4

Commits on Nov 25, 2023

• move a simplification from the code generation step to normalization

  countvajhula

  committed
  fce8d11

  Copy full SHA for fce8d11

• Simplify deforestation tests to high level assertions

  Show description for 5988648
  countvajhula

  committed
  5988648

  Copy full SHA for 5988648

Commits on Nov 26, 2023

• Handle a simplified host expression in the compiler

  Show description for 7a3ddbb
  countvajhula

  committed
  7a3ddbb

  Copy full SHA for 7a3ddbb

Commits on Nov 29, 2023

• failing compiler tests for deforesting templates

  countvajhula

  committed
  8c64170

  Copy full SHA for 8c64170

• Rewrite partial application to a use of a blanket template

  Show description for 15b339d
  countvajhula

  committed
  15b339d

  Copy full SHA for 15b339d

• A test to validate pre-supplying keyword arguments

  Show description for f07620f
  countvajhula

  committed
  f07620f

  Copy full SHA for f07620f

• remove unused import

  countvajhula

  committed
  6efd559

  Copy full SHA for 6efd559

• match blanket templates in transformers and consumers

  countvajhula

  committed
  801f510

  Copy full SHA for 801f510

• Merge pull request #121 from countvajhula/reduce-chirality-to-templates

  Show description for 5609e15
  countvajhula

  authored
  5609e15

  Copy full SHA for 5609e15

• add a failing test to show an issue with bindings and currying

  countvajhula

  committed
  b568e01

  Copy full SHA for b568e01

• Add support for #%fine-template in deforested consumers.

  dzoep

  committed
  47e3374

  Copy full SHA for 47e3374

• Add missing literal.

  dzoep

  committed
  a705fef

  Copy full SHA for a705fef

• Matching _ as ~datum.

  dzoep

  committed
  376372c

  Copy full SHA for 376372c

• deforestation range producer: fix currying with 3 arguments

  dzoep

  committed
  21050c1

  Copy full SHA for 21050c1

• deforestation error reporting: implement partial de-expander for flows

  dzoep

  committed
  914d5f6

  Copy full SHA for 914d5f6

• Currying for #%fine-template deforested producers.

  dzoep

  committed
  8898934

  Copy full SHA for 8898934

• Work on simplifying deforestation pass.

  dzoep

  committed
  d911906

  Copy full SHA for d911906

• deforestation: simplify consumer syntax patterns

  dzoep

  committed
  d359987

  Copy full SHA for d359987

• add a few compiler tests for deforestation

  countvajhula

  committed
  5043b2b

  Copy full SHA for 5043b2b

• deforestation: fix blanket template with all arguments, expand transformer patterns

  dzoep

  committed
  7b57a6f

  Copy full SHA for 7b57a6f

• reorganize compiler tests along producer, transformer, etc.

  countvajhula

  committed
  861f6a8

  Copy full SHA for 861f6a8

• combinatorial deforestation tests for producers using templates

  countvajhula

  committed
  5938228

  Copy full SHA for 5938228

Commits on Nov 30, 2023

• Simplify compiler tests

  countvajhula

  committed
  389bed9

  Copy full SHA for 389bed9

• fix invalid test

  countvajhula

  committed
  2f8a127

  Copy full SHA for 2f8a127

• Fix "anaphoric references" issue (resolves failing test)

  Show description for eed1581
  countvajhula

  committed
  eed1581

  Copy full SHA for eed1581

• tests for keyword arguments in templates

  countvajhula

  committed
  870d8c1

  Copy full SHA for 870d8c1

• Merge pull request #122 from countvajhula/more-compiler-tests

  Show description for 2d5a602
  dzoep

  authored
  2d5a602

  Copy full SHA for 2d5a602

• deforestation: fix blanket template currying

  dzoep

  committed
  23338b9

  Copy full SHA for 23338b9

• deforestation: report too many arguments for blanket templates in syntax phase

  dzoep

  committed
  f4a5d41

  Copy full SHA for f4a5d41

• deforestation: preliminary support for argument count limits in syntax phase

  dzoep

  committed
  b1fa395

  Copy full SHA for b1fa395

• deforestation: update prettify-flow-syntax de-expander to reflect latest syntax template changes

  dzoep

  committed
  8e5024e

  Copy full SHA for 8e5024e

• deforestation: unify range producer syntax patterns into one

  dzoep

  committed
  1119032

  Copy full SHA for 1119032

• deforestation: do not duplicate producer name for contracts and error messages

  dzoep

  committed
  7263863

  Copy full SHA for 7263863

• deforestation: unified producer curry maker

  dzoep

  committed
  9c2de48

  Copy full SHA for 9c2de48

• deforestation: fix new producer curry semantics for implicit list->cstream producer

  dzoep

  committed
  e64a12b

  Copy full SHA for e64a12b

• deforestation: more patterns unification

  dzoep

  committed
  1f30957

  Copy full SHA for 1f30957

• deforestation: improve invalid argument count error messages for static arguments

  dzoep

  committed
  df753ec

  Copy full SHA for df753ec

• Merge branch 'drym-org:first-optimizations' into first-optimizations

  dzoep

  authored
  7937725

  Copy full SHA for 7937725

• deforestation: fix error message

  dzoep

  committed
  ba1a4ee

  Copy full SHA for ba1a4ee

• deforestation: full blame information at runtime

  dzoep

  committed
  8bd4e21

  Copy full SHA for 8bd4e21

• deforestation: add range producer semantic tests

  dzoep

  committed
  a126d41

  Copy full SHA for a126d41

• deforestation: fix support for #%fine-template in fusable-stream-transformer0 and add missing esc in range producer test

  dzoep

  committed
  89b2ae7

  Copy full SHA for 89b2ae7

• Merge pull request #123 from dzoep/first-optimizations

  Show description for 679f44a
  countvajhula

  authored
  679f44a

  Copy full SHA for 679f44a

• include the new producer tests in the deforestation test suite

  countvajhula

  committed
  26f4657

  Copy full SHA for 26f4657

• add a couple more tests for kwargs in a blanket template

  countvajhula

  committed
  ecd896a

  Copy full SHA for ecd896a

• reorganize compiler tests into a dedicated folder (collection)

  countvajhula

  committed
  9f3e9dd

  Copy full SHA for 9f3e9dd

• avoid division by zero in comparing benchmark results

  countvajhula

  committed
  0c683d5

  Copy full SHA for 0c683d5

• Make higher benchmark threshold the same ratio as lower one

  Show description for 77da7c0
  countvajhula

  committed
  77da7c0

  Copy full SHA for 77da7c0

Commits on Dec 1, 2023

• Normalization tests and improvements

  countvajhula

  committed
  d2fec40

  Copy full SHA for d2fec40

• remove old comment which I think has been addressed

  countvajhula

  committed
  3c6225a

  Copy full SHA for 3c6225a

• Merge pull request #124 from countvajhula/reorganize-compiler-tests

  Show description for 53b428e
  countvajhula

  authored
  53b428e

  Copy full SHA for 53b428e

Commits on Dec 6, 2023

• add a basic threading test

  countvajhula

  committed
  6959f2f

  Copy full SHA for 6959f2f

• remove outdated todo (again?)

  countvajhula

  committed
  e313717

  Copy full SHA for e313717

• fix "not currently expanding" issue

  Show description for f9cbff1
  countvajhula

  committed
  f9cbff1

  Copy full SHA for f9cbff1

• move general and debugging-related functions into their own modules

  countvajhula

  committed
  989f294

  Copy full SHA for 989f294

• simplify definitions and imports across phases

  countvajhula

  committed
  efd1095

  Copy full SHA for efd1095

• fix literal range in tests

  countvajhula

  committed
  806f267

  Copy full SHA for 806f267

Commits on Dec 7, 2023

• declare macro-debugger dependency

  countvajhula

  committed
  4a2b8f6

  Copy full SHA for 4a2b8f6

Commits on Dec 8, 2023

• Merge pull request #127 from countvajhula/phase-shifting

  Show description for 37eabcb
  countvajhula

  authored
  37eabcb

  Copy full SHA for 37eabcb