Code

Add basic optimizations#249

Code

Merged

JonasWanke merged 142 commits intomaincandy-lang/candy:mainfrom optimizecandy-lang/candy:optimizeCopy head branch name to clipboardDec 1, 2022

+4,304-1,378

Commits

Commits on Oct 21, 2022

• Unbox needs fields in HIR

  MarcelGarus

  committed
  8beb09b

  Copy full SHA for 8beb09b

• Move CountableId and IdGenerator to global utils

  MarcelGarus

  committed
  31b323a

  Copy full SHA for 31b323a

Commits on Oct 22, 2022

• Change HIR from LinkedHashMap to HashMap and Vec

  MarcelGarus

  committed
  975d196

  Copy full SHA for 975d196

• Add MIR

  MarcelGarus

  committed
  4dec474

  Copy full SHA for 4dec474

• Remove MIR

  MarcelGarus

  committed
  1fd6bfc

  Copy full SHA for 1fd6bfc

• Add optimize module

  MarcelGarus

  committed
  0ba8464

  Copy full SHA for 0ba8464

• Improve constant folding

  MarcelGarus

  committed
  63a1454

  Copy full SHA for 63a1454

• Resolve references referring to outer expressions

  MarcelGarus

  committed
  bbd73f7

  Copy full SHA for bbd73f7

• Support inlining

  MarcelGarus

  committed
  c913c73

  Copy full SHA for c913c73

• Don't tree-shake impure expressions

  MarcelGarus

  committed
  d2bf967

  Copy full SHA for d2bf967

• Add complexity measure

  MarcelGarus

  committed
  cd6f756

  Copy full SHA for cd6f756

• Clean up code of constant folding

  MarcelGarus

  committed
  dbd4c8d

  Copy full SHA for dbd4c8d

• Move UsePath into module module

  MarcelGarus

  committed
  d1165fb

  Copy full SHA for d1165fb

• Remove unused imports

  MarcelGarus

  committed
  8192cd4

  Copy full SHA for 8192cd4

• Implement module folding

  MarcelGarus

  committed
  fb12a12

  Copy full SHA for fb12a12

Commits on Oct 23, 2022

• Change expression representation in HIR

  MarcelGarus

  committed
  0c324c9

  Copy full SHA for 0c324c9

• Add MIR

  MarcelGarus

  committed
  08e2c32

  Copy full SHA for 08e2c32

• Adjust how responsibilities are passed to functions

  MarcelGarus

  committed
  1e74d55

  Copy full SHA for 1e74d55

• Migrate optimization utilities to work on MIR

  MarcelGarus

  committed
  cd4dfda

  Copy full SHA for cd4dfda

Commits on Oct 24, 2022

• Migrate optimization harness to MIR

  MarcelGarus

  committed
  84c2f4c

  Copy full SHA for 84c2f4c

• Implement following references

  MarcelGarus

  committed
  90d5b46

  Copy full SHA for 90d5b46

• Make opimizer utils more generally usable

  MarcelGarus

  committed
  129d894

  Copy full SHA for 129d894

• Implement tree shaking

  MarcelGarus

  committed
  bab6b6a

  Copy full SHA for bab6b6a

• Implement constant folding

  MarcelGarus

  committed
  5db3a3a

  Copy full SHA for 5db3a3a

• Improve logging

  MarcelGarus

  committed
  d44640a

  Copy full SHA for d44640a

Commits on Oct 25, 2022

• Implement inlining

  MarcelGarus

  committed
  6b16c47

  Copy full SHA for 6b16c47

• Clean up code

  MarcelGarus

  committed
  a9d2c36

  Copy full SHA for a9d2c36

• Implement module folding

  MarcelGarus

  committed
  dff8a99

  Copy full SHA for dff8a99

• Implement common subtree elimination

  MarcelGarus

  committed
  3d5dddb

  Copy full SHA for 3d5dddb

Commits on Oct 27, 2022

• Make MIR self-contained

  MarcelGarus

  committed
  a99b844

  Copy full SHA for a99b844

• Implement reference following

  MarcelGarus

  committed
  a9efc93

  Copy full SHA for a9efc93

• Implement tree shaking

  MarcelGarus

  committed
  10f6cd0

  Copy full SHA for 10f6cd0

• Implement constant folding

  MarcelGarus

  committed
  aaf46bb

  Copy full SHA for aaf46bb

• Add Expression::Multiple and implement flattening

  MarcelGarus

  committed
  2008c09

  Copy full SHA for 2008c09

Commits on Oct 30, 2022

• Implement inlining

  MarcelGarus

  committed
  65c7a82

  Copy full SHA for 65c7a82

• Implement inlining

  MarcelGarus

  committed
  7f354c0

  Copy full SHA for 7f354c0

• Implement module folding

  MarcelGarus

  committed
  bb43ecb

  Copy full SHA for bb43ecb

Commits on Oct 31, 2022

• Merge branch 'main' into optimize

  MarcelGarus

  committed
  8380e40

  Copy full SHA for 8380e40

Commits on Nov 1, 2022

• Implement constant lifting

  MarcelGarus

  committed
  e541ff1

  Copy full SHA for e541ff1

• Add doc comments

  MarcelGarus

  committed
  6433001

  Copy full SHA for 6433001

Commits on Nov 3, 2022

• Clean up code

  MarcelGarus

  committed
  bd5f696

  Copy full SHA for bd5f696

Commits on Nov 5, 2022

• Integrate optimizations into query framework

  MarcelGarus

  committed
  f5bd921

  Copy full SHA for f5bd921

• Add tracing instructions

  MarcelGarus

  committed
  7d04fa6

  Copy full SHA for 7d04fa6

• Optimize constant lifting

  MarcelGarus

  committed
  6f0a49a

  Copy full SHA for 6f0a49a

• Add second responsibility to needs

  MarcelGarus

  committed
  ed860f2

  Copy full SHA for ed860f2

• Make tracing instructions configurable

  MarcelGarus

  committed
  982537b

  Copy full SHA for 982537b

Commits on Nov 6, 2022

• Rename MIR's FoundFuzzableClosure

  MarcelGarus

  committed
  46a0141

  Copy full SHA for 46a0141

Commits on Nov 7, 2022

• Expend needs in MIR

  MarcelGarus

  committed
  34a80c7

  Copy full SHA for 34a80c7

• Remove fuzzable attribute from MIR lambdas

  MarcelGarus

  committed
  e06bca4

  Copy full SHA for e06bca4

• Add ModuleStarts and ModuleEnds expression to MIR

  MarcelGarus

  committed
  4868ada

  Copy full SHA for 4868ada

• Clean up code

  MarcelGarus

  committed
  7efed94

  Copy full SHA for 7efed94

• Lower MIR to LIR

  MarcelGarus

  committed
  348c553

  Copy full SHA for 348c553

Commits on Nov 8, 2022

• Rename responsibility to HirId

  MarcelGarus

  committed
  51abe51

  Copy full SHA for 51abe51

Commits on Nov 9, 2022

• Make IDs fancier

  MarcelGarus

  committed
  ba56b15

  Copy full SHA for ba56b15

• Remove HIR-to-LIR

  MarcelGarus

  committed
  39e6215

  Copy full SHA for 39e6215

• Improve caching

  MarcelGarus

  committed
  bed15ec

  Copy full SHA for bed15ec

• Make trace instructions more lightweight

  MarcelGarus

  committed
  05ebfe5

  Copy full SHA for 05ebfe5

Commits on Nov 10, 2022

• Fix basic VM functionality

  MarcelGarus

  committed
  cb49710

  Copy full SHA for cb49710

• Updates the surrounding code to work with MIR

  MarcelGarus

  committed
  711ddb5

  Copy full SHA for 711ddb5

• Fix some clippy lints

  MarcelGarus

  committed
  4eddc13

  Copy full SHA for 4eddc13

• Fix clippy lints

  MarcelGarus

  committed
  0faf9f4

  Copy full SHA for 0faf9f4

• Describe MIR in overview

  MarcelGarus

  committed
  8f132b7

  Copy full SHA for 8f132b7

• Make register vs. found fuzzable closures consistent

  MarcelGarus

  committed
  c74bd0b

  Copy full SHA for c74bd0b

Commits on Nov 11, 2022

• Merge branch 'add-ci' into optimize

  MarcelGarus

  committed
  22ea6f9

  Copy full SHA for 22ea6f9

• Merge branch 'add-ci' into optimize

  MarcelGarus

  committed
  c547bec

  Copy full SHA for c547bec

• Merge branch 'add-ci' into optimize

  MarcelGarus

  committed
  3dceee6

  Copy full SHA for 3dceee6

• Merge branch 'add-ci' into optimize

  MarcelGarus

  committed
  56960dc

  Copy full SHA for 56960dc

• Merge branch 'main' into optimize

  MarcelGarus

  committed
  9761bcd

  Copy full SHA for 9761bcd

• Remove unused import

  MarcelGarus

  committed
  b2ef599

  Copy full SHA for b2ef599

• Handle tooling responsibilities better

  MarcelGarus

  committed
  134716d

  Copy full SHA for 134716d

• Make panic reasons more consistent

  MarcelGarus

  committed
  666b8e6

  Copy full SHA for 666b8e6

Commits on Nov 12, 2022

• Also flatten Multiples in Lambdas

  MarcelGarus

  committed
  c5dfc23

  Copy full SHA for c5dfc23

• Test multiple flattening

  MarcelGarus

  committed
  1ed9274

  Copy full SHA for 1ed9274

• Make tracing configurable from CLI

  MarcelGarus

  committed
  53722ab

  Copy full SHA for 53722ab

• Format panic reason better

  MarcelGarus

  committed
  823d60f

  Copy full SHA for 823d60f

Commits on Nov 13, 2022

• Fix pipe example

  MarcelGarus

  committed
  6b71756

  Copy full SHA for 6b71756

• Make stack trace formatting more robust

  MarcelGarus

  committed
  fa566e9

  Copy full SHA for fa566e9

• Make panic reasons more consistent

  MarcelGarus

  committed
  a54553f

  Copy full SHA for a54553f

• Refactor trace instructions

  MarcelGarus

  committed
  cf4740a

  Copy full SHA for cf4740a

• Better debugging

  MarcelGarus

  committed
  9427ce5

  Copy full SHA for 9427ce5

• Fix clippy lints

  MarcelGarus

  committed
  5f8d886

  Copy full SHA for 5f8d886

Commits on Nov 14, 2022

• Fix panic instruction in fiber

  MarcelGarus

  committed
  3d8ffd6

  Copy full SHA for 3d8ffd6

• Improve the runtime error messages

  MarcelGarus

  committed
  cf4a813

  Copy full SHA for cf4a813

• Better logging

  MarcelGarus

  committed
  2081745

  Copy full SHA for 2081745

Commits on Nov 16, 2022

• Make the builtinPrint more permissive

  MarcelGarus

  committed
  acc910d

  Copy full SHA for acc910d

• Better logging

  MarcelGarus

  committed
  850acf2

  Copy full SHA for 850acf2

• Support stdin

  MarcelGarus

  committed
  584263f

  Copy full SHA for 584263f

• Export run and doNotRun functions

  MarcelGarus

  committed
  049e2c2

  Copy full SHA for 049e2c2

• Replace single test file with more examples

  MarcelGarus

  committed
  41bb30d

  Copy full SHA for 41bb30d

• Fix clippy lints

  MarcelGarus

  committed
  bcdf064

  Copy full SHA for bcdf064

• Use correct config for fuzzing

  MarcelGarus

  committed
  137e6cb

  Copy full SHA for 137e6cb

• Create cheaper version of visit

  MarcelGarus

  committed
  56971f3

  Copy full SHA for 56971f3

• Fix import

  MarcelGarus

  committed
  9b7d131

  Copy full SHA for 9b7d131

• Make visitor more efficient

  MarcelGarus

  committed
  340f497

  Copy full SHA for 340f497

• Fix benchmark code

  MarcelGarus

  committed
  1a88139

  Copy full SHA for 1a88139

• Fix sorting of completely constant MIRs

  MarcelGarus

  committed
  73f225d

  Copy full SHA for 73f225d

• Implement simple module stack cancelling

  MarcelGarus

  committed
  b92b33c

  Copy full SHA for b92b33c

• Inline more functions

  MarcelGarus

  committed
  a090a36

  Copy full SHA for a090a36

• Implement more constant folding

  MarcelGarus

  committed
  4d543c9

  Copy full SHA for 4d543c9

• Add optimize_opinionated method

  MarcelGarus

  committed
  c12b19b

  Copy full SHA for c12b19b

Commits on Nov 17, 2022

• Reorder MIR code

  MarcelGarus

  committed
  c62c794

  Copy full SHA for c62c794

• Don't lift top-level constants

  MarcelGarus

  committed
  bf56e1d

  Copy full SHA for bf56e1d

• Remove redundant return references

  MarcelGarus

  committed
  17276f2

  Copy full SHA for 17276f2

• Inline tiny functions

  MarcelGarus

  committed
  9686520

  Copy full SHA for 9686520

• Remove unused code

  MarcelGarus

  committed
  9847095

  Copy full SHA for 9847095

• Fix wording of higher-lower game

  MarcelGarus

  committed
  fd5b63d

  Copy full SHA for fd5b63d

• Fix stdout and stdin

  MarcelGarus

  committed
  e85d08c

  Copy full SHA for e85d08c

• Update compiler/src/compiler/README.md

  Show description for 7a14ac7
  

  MarcelGarus

  and

  JonasWanke

  authored
  7a14ac7

  Copy full SHA for 7a14ac7

• Apply suggestions from code review

  Show description for c647007
  

  MarcelGarus

  and

  JonasWanke

  authored
  c647007

  Copy full SHA for c647007

• Apply some suggested changes

  Show description for f7f254f
  

  MarcelGarus

  and

  JonasWanke

  committed
  f7f254f

  Copy full SHA for f7f254f

• Apply more suggestions

  Show description for 06b14db
  

  MarcelGarus

  and

  JonasWanke

  committed
  06b14db

  Copy full SHA for 06b14db

• Fix reference following

  Show description for df7f5cc
  

  MarcelGarus

  and

  JonasWanke

  committed
  df7f5cc

  Copy full SHA for df7f5cc

• Remove unused imports

  Show description for b646450
  

  MarcelGarus

  and

  JonasWanke

  committed
  b646450

  Copy full SHA for b646450

• Fix fuzzer

  MarcelGarus

  committed
  06dce77

  Copy full SHA for 06dce77

• Fix min and max

  MarcelGarus

  committed
  dc17290

  Copy full SHA for dc17290

Commits on Nov 21, 2022

• Enable semantic tokens

  MarcelGarus

  committed
  4df592e

  Copy full SHA for 4df592e

• Remove some verbose tracing

  MarcelGarus

  committed
  27c11c4

  Copy full SHA for 27c11c4

Commits on Nov 22, 2022

• Clean up code

  MarcelGarus

  committed
  785bcc6

  Copy full SHA for 785bcc6

Commits on Nov 23, 2022

• Fix value hints

  MarcelGarus

  committed
  235b0b4

  Copy full SHA for 235b0b4

• Increase hints server channel capacity

  MarcelGarus

  committed
  0fb4f50

  Copy full SHA for 0fb4f50

Commits on Nov 24, 2022

• Fuzz more generously

  MarcelGarus

  committed
  b7f52a9

  Copy full SHA for b7f52a9

• Add debug option to fuzzing

  MarcelGarus

  committed
  76c2944

  Copy full SHA for 76c2944

• Fix several errors found through fuzzing

  MarcelGarus

  committed
  ef31ece

  Copy full SHA for ef31ece

• Improve debug prints

  MarcelGarus

  committed
  40aa964

  Copy full SHA for 40aa964

• Improve formatting of fuzzer in hints server

  MarcelGarus

  committed
  49bdeb4

  Copy full SHA for 49bdeb4

• Fix fuzzing

  MarcelGarus

  committed
  1b30327

  Copy full SHA for 1b30327

• Rename closure to callee where appropriate

  MarcelGarus

  committed
  94bd36f

  Copy full SHA for 94bd36f

• Apply suggestions from code review

  Show description for e72cd34
  

  MarcelGarus

  and

  JonasWanke

  authored
  e72cd34

  Copy full SHA for e72cd34

• Implement TracingConfig::none instead of deriving Default

  MarcelGarus

  committed
  61b6119

  Copy full SHA for 61b6119

• Apply some suggestions

  Show description for 9d83789
  

  MarcelGarus

  and

  JonasWanke

  committed
  9d83789

  Copy full SHA for 9d83789

• Document cleanup

  MarcelGarus

  committed
  f5b8029

  Copy full SHA for f5b8029

• Improve semantically_equals for parameters

  MarcelGarus

  committed
  0d98fd7

  Copy full SHA for 0d98fd7

• Fix struct access constant folding

  MarcelGarus

  committed
  f9ed3dc

  Copy full SHA for f9ed3dc

• Move test_multiple_flattening

  MarcelGarus

  committed
  f0ac500

  Copy full SHA for f0ac500

• Make cancel_out_module_expresssions more efficient

  MarcelGarus

  committed
  d704373

  Copy full SHA for d704373

• Implement suggestions

  Show description for 7beac1a
  

  MarcelGarus

  and

  JonasWanke

  committed
  7beac1a

  Copy full SHA for 7beac1a

• Implement some more suggestions

  Show description for 05a05b0
  

  MarcelGarus

  and

  JonasWanke

  committed
  05a05b0

  Copy full SHA for 05a05b0

• Fix some things

  MarcelGarus

  committed
  35b9f47

  Copy full SHA for 35b9f47

Commits on Dec 1, 2022

• Rename optimize module to mir_optimize

  MarcelGarus

  committed
  f978bbd

  Copy full SHA for f978bbd

• Add comment for inline_functions_containing_use

  MarcelGarus

  committed
  2019a2d

  Copy full SHA for 2019a2d

• Support trailing commas

  MarcelGarus

  committed
  ad6efb5

  Copy full SHA for ad6efb5

• Apply suggestions

  Show description for 1254df8
  

  MarcelGarus

  and

  JonasWanke

  committed
  1254df8

  Copy full SHA for 1254df8