Code

Tail Recursion Optimization#218

Code

Merged

LPTK merged 62 commits intohkust-taco:mlscripthkust-taco/mlscript:mlscriptfrom

CAG2Mark:tailrecCAG2Mark/mlscript:tailrecCopy head branch name to clipboard

Jun 20, 2024

Commits

Commits on Mar 13, 2024

• move changes from tailrec-opt to new branch

  CAG2Mark

  committed
  8b73a24

  Copy full SHA for 8b73a24

Commits on Mar 23, 2024

• Optimize strongly connected components

  CAG2Mark

  committed
  93bf78f

  Copy full SHA for 93bf78f

Commits on Mar 24, 2024

• update map braces

  CAG2Mark

  committed
  9b65640

  Copy full SHA for 9b65640

• small refactor

  CAG2Mark

  committed
  915891d

  Copy full SHA for 915891d

• refactor

  CAG2Mark

  committed
  6f2ca3d

  Copy full SHA for 6f2ca3d

Commits on Mar 29, 2024

• Update test infrastructure, fix code, add basic test for tailrec.

  CAG2Mark

  committed
  f987e02

  Copy full SHA for f987e02

• Update test

  CAG2Mark

  committed
  184a5de

  Copy full SHA for 184a5de

• remove todos

  CAG2Mark

  committed
  3066c7f

  Copy full SHA for 3066c7f

Commits on Apr 8, 2024

• Add field assignment to IR

  CAG2Mark

  committed
  d7b4bb3

  Copy full SHA for d7b4bb3

Commits on Apr 14, 2024

• Prevent unnecessary inlining for mutually tail recursive funcs, handle variable name clash

  CAG2Mark

  committed
  058a929

  Copy full SHA for 058a929

• Update test

  CAG2Mark

  committed
  0e3a875

  Copy full SHA for 0e3a875

• Improved tests

  CAG2Mark

  committed
  dd50c7a

  Copy full SHA for dd50c7a

• Fix bugs and cases

  CAG2Mark

  committed
  fc282e7

  Copy full SHA for fc282e7

Commits on Apr 20, 2024

• Interpret field assignment

  CAG2Mark

  committed
  edf7c89

  Copy full SHA for edf7c89

Commits on Apr 25, 2024

• add class info to field assignment

  CAG2Mark

  committed
  c08f31b

  Copy full SHA for c08f31b

Commits on Apr 27, 2024

• propagate tailrec, fix tailrec parsing issue

  CAG2Mark

  committed
  518ffb4

  Copy full SHA for 518ffb4

Commits on Apr 29, 2024

• progress, fix bug

  CAG2Mark

  committed
  d00d072

  Copy full SHA for d00d072

• Detect mod cons tail calls

  CAG2Mark

  committed
  e45412b

  Copy full SHA for e45412b

• Refactor tail call discovery

  CAG2Mark

  committed
  fc473a4

  Copy full SHA for fc473a4

• change test

  CAG2Mark

  committed
  22dd518

  Copy full SHA for 22dd518

• add test, verify mod cons call discovery works

  CAG2Mark

  committed
  c1d90d9

  Copy full SHA for c1d90d9

• add tests, improve formatting

  CAG2Mark

  committed
  16134c2

  Copy full SHA for 16134c2

• remove newlines

  CAG2Mark

  committed
  e9d6c54

  Copy full SHA for e9d6c54

Commits on Apr 30, 2024

• add tostring, improve formatting

  CAG2Mark

  committed
  dcd616b

  Copy full SHA for dcd616b

• remove println

  CAG2Mark

  committed
  8b91f91

  Copy full SHA for 8b91f91

• actually handle single tail recursive

  CAG2Mark

  committed
  8d6e14f

  Copy full SHA for 8d6e14f

• properly attach tags

  CAG2Mark

  committed
  6213d51

  Copy full SHA for 6213d51

Commits on May 1, 2024

• progress, handle join points properly

  CAG2Mark

  committed
  e778810

  Copy full SHA for e778810

• fix test

  CAG2Mark

  committed
  934c324

  Copy full SHA for 934c324

• Done

  CAG2Mark

  committed
  b27cf3a

  Copy full SHA for b27cf3a

• re-enable normal tailrec optimization, clean up code

  CAG2Mark

  committed
  31bd2f5

  Copy full SHA for 31bd2f5

• Merge branch 'mlscript' into tailrec

  CAG2Mark

  authored
  0e64e67

  Copy full SHA for 0e64e67

• Update tests

  CAG2Mark

  committed
  715ef73

  Copy full SHA for 715ef73

Commits on May 12, 2024

• fix some tests

  CAG2Mark

  committed
  d8d05be

  Copy full SHA for d8d05be

• Propagate tailrec, fix join point infinite recursion bug

  CAG2Mark

  committed
  5887014

  Copy full SHA for 5887014

• refactor and check @tailrec for function definitions

  CAG2Mark

  committed
  78da910

  Copy full SHA for 78da910

• update

  CAG2Mark

  committed
  42b264f

  Copy full SHA for 42b264f

Commits on Jun 1, 2024

• make AssiggnField an Expr instead of a Node

  CAG2Mark

  committed
  2199e37

  Copy full SHA for 2199e37

• Fix unsafe partial destruction

  CAG2Mark

  committed
  eacf538

  Copy full SHA for eacf538

• rename @tailrec to @tailcall for call-level annotations

  CAG2Mark

  committed
  214f9d3

  Copy full SHA for 214f9d3

• Propagate positions of calls and @tailrec annotations

  CAG2Mark

  committed
  51af35f

  Copy full SHA for 51af35f

• Add error reporting to IR diff tests, report tailrec IR errors, fix bug

  CAG2Mark

  committed
  8ce1b35

  Copy full SHA for 8ce1b35

• fix tests

  CAG2Mark

  committed
  ee15969

  Copy full SHA for ee15969

• fix tests

  CAG2Mark

  committed
  5af3621

  Copy full SHA for 5af3621

• Fix grammar

  CAG2Mark

  committed
  487279e

  Copy full SHA for 487279e

Commits on Jun 5, 2024

• Purity check, fix join point bug

  CAG2Mark

  committed
  a4efc7a

  Copy full SHA for a4efc7a

• Build in true/false class in IR

  CAG2Mark

  committed
  0c8dec1

  Copy full SHA for 0c8dec1

• restore nuscratch changes

  CAG2Mark

  committed
  1ea98f1

  Copy full SHA for 1ea98f1

• Ensure no function name clashes

  CAG2Mark

  committed
  abcadfe

  Copy full SHA for abcadfe

• Document, add undefined literal and address remaining todos

  CAG2Mark

  committed
  ea8d442

  Copy full SHA for ea8d442

• use unitlit instead of a new literal type for undefined

  CAG2Mark

  committed
  0125b1e

  Copy full SHA for 0125b1e

Commits on Jun 10, 2024

• Document @tailcall and @tailrec

  CAG2Mark

  committed
  dd8f2ae

  Copy full SHA for dd8f2ae

Commits on Jun 17, 2024

• properly raise errors in IR builder

  CAG2Mark

  committed
  398bd9e

  Copy full SHA for 398bd9e

• fix some documentation

  CAG2Mark

  committed
  4f93b76

  Copy full SHA for 4f93b76

• Merge master

  CAG2Mark

  committed
  f1b5fcb

  Copy full SHA for f1b5fcb

• remove bad copy paste

  CAG2Mark

  committed
  f479ecc

  Copy full SHA for f479ecc

• fix typo

  CAG2Mark

  committed
  49a4993

  Copy full SHA for 49a4993

• Improve todo comment

  CAG2Mark

  committed
  875484c

  Copy full SHA for 875484c

Commits on Jun 18, 2024

• respond to code review

  CAG2Mark

  committed
  92039ea

  Copy full SHA for 92039ea

• Improve test format

  CAG2Mark

  committed
  22d4f47

  Copy full SHA for 22d4f47

• Merge master

  CAG2Mark

  committed
  263b82a

  Copy full SHA for 263b82a

• re-run tests to fix line numbers

  CAG2Mark

  committed
  d0923c3

  Copy full SHA for d0923c3