Code

Reimplement static-timing pass.#909

Code

Merged

mikeurbach merged 52 commits intomastercalyxir/calyx:masterfrom top-down-stcalyxir/calyx:top-down-stCopy head branch name to clipboardFeb 22, 2022

+683-184

Commits

Commits on Feb 11, 2022

• Add in TopDownStaticTiming and start on calculate_states.

  mikeurbach

  committed
  140a277

  Copy full SHA for 140a277

• Make calculate_states return a result and add If handling.

  mikeurbach

  committed
  932ab5e

  Copy full SHA for 932ab5e

• Add another static test.

  mikeurbach

  committed
  326affc

  Copy full SHA for 326affc

• Add realize_schedule function starting with enables.

  mikeurbach

  committed
  56a44e1

  Copy full SHA for 56a44e1

• Add If guard condition to enables.

  mikeurbach

  committed
  bf066f0

  Copy full SHA for bf066f0

• Switch to returning a vector of predecessor edges.

  mikeurbach

  committed
  47fd904

  Copy full SHA for 47fd904

• Add transitions for seq, if, and enable.

  mikeurbach

  committed
  8ef011b

  Copy full SHA for 8ef011b

• Rework sequential transitions.

  mikeurbach

  committed
  b96fa69

  Copy full SHA for b96fa69

• And the pre_guard with the port_guard in if_calculate_states.

  mikeurbach

  committed
  e6ed617

  Copy full SHA for e6ed617

• Rework parallel transitions.

  mikeurbach

  committed
  9fb704a

  Copy full SHA for 9fb704a

• Move helper down below.

  mikeurbach

  committed
  9ad95c2

  Copy full SHA for 9ad95c2

• Ensure every node in the schedule has a static timing.

  mikeurbach

  committed
  f5d4e8e

  Copy full SHA for f5d4e8e

• Flesh out realize_schedule to build transitions.

  mikeurbach

  committed
  21bb092

  Copy full SHA for 21bb092

• Reset tests, and re-enable correctness static tests.

  mikeurbach

  committed
  d833743

  Copy full SHA for d833743

• Add dump_fsm flag to control schedule display.

  mikeurbach

  committed
  e963d01

  Copy full SHA for e963d01

• Use ? operator instead of match.

  mikeurbach

  committed
  44ada5d

  Copy full SHA for 44ada5d

• Spruce up dumping FSM.

  mikeurbach

  committed
  c4ee4cd

  Copy full SHA for c4ee4cd

• Enable static-timing tests like tdcc tests.

  mikeurbach

  committed
  d38daa4

  Copy full SHA for d38daa4

• Muck with schedule display more; Fix edge case in par handling.

  mikeurbach

  committed
  740138d

  Copy full SHA for 740138d

• asdf

  mikeurbach

  committed
  1332939

  Copy full SHA for 1332939

• Enable static par test.

  mikeurbach

  committed
  057ddde

  Copy full SHA for 057ddde

• Enable static if test.

  mikeurbach

  committed
  c441b7d

  Copy full SHA for c441b7d

• Remove static requirement for everything but enable.

  mikeurbach

  committed
  7818e9b

  Copy full SHA for 7818e9b

• Add while_calculate_states.

  mikeurbach

  committed
  8f92a87

  Copy full SHA for 8f92a87

• Make transition order deterministic in tests.

  mikeurbach

  committed
  43b8c22

  Copy full SHA for 43b8c22

• Make absence of static timing error; proceed on error.

  mikeurbach

  committed
  58d77c9

  Copy full SHA for 58d77c9

Commits on Feb 14, 2022

• clippy warnings

  rachitnigam

  committed
  62bffe0

  Copy full SHA for 62bffe0

• and_then for chained comparison

  rachitnigam

  committed
  cb069dc

  Copy full SHA for cb069dc

• better error on unexpected control

  rachitnigam

  committed
  3a0ff8f

  Copy full SHA for 3a0ff8f

Commits on Feb 16, 2022

• Special case FSM comparision when lower bound is 0.

  Show description for 6124a1e
  mikeurbach

  committed
  6124a1e

  Copy full SHA for 6124a1e

• Merge branch 'master' into top-down-st

  mikeurbach

  authored
  0ae82b9

  Copy full SHA for 0ae82b9

• Disable infer-static-timing for correctness dynamic tests.

  mikeurbach

  committed
  d30288f

  Copy full SHA for d30288f

• Make static-timing tests pure unit tests of top-down-st pass.

  mikeurbach

  committed
  6ae1beb

  Copy full SHA for 6ae1beb

• Disable top-down-st for tdcc tests.

  mikeurbach

  committed
  9c472b1

  Copy full SHA for 9c472b1

• Disable top-down-st for more test suites.

  mikeurbach

  committed
  e76f6d7

  Copy full SHA for e76f6d7

Commits on Feb 18, 2022

• Use start_* methods and rely on top-down @static annotations.

  mikeurbach

  committed
  bc22ce9

  Copy full SHA for bc22ce9

• Merge branch 'master' into top-down-st

  mikeurbach

  authored
  186031b

  Copy full SHA for 186031b

• Disable static timing for exp correctness tests.

  mikeurbach

  committed
  69450ca

  Copy full SHA for 69450ca

Commits on Feb 20, 2022

• propagate error instead of unwrapping

  rachitnigam

  committed
  f1c38ea

  Copy full SHA for f1c38ea

• use icarus in flag compare

  rachitnigam

  committed
  1db5506

  Copy full SHA for 1db5506

• Put back interpreter.data in flag-compare.sh.

  mikeurbach

  committed
  4693544

  Copy full SHA for 4693544

• Merge branch 'master' into top-down-st

  mikeurbach

  authored
  87d144a

  Copy full SHA for 87d144a

• Disable for NTT, now that we know it's correct.

  mikeurbach

  committed
  32248bd

  Copy full SHA for 32248bd

Commits on Feb 21, 2022

• use get_opts to compute CLI options

  rachitnigam

  committed
  04d7d29

  Copy full SHA for 04d7d29

• doc comment

  rachitnigam

  committed
  4bdbee8

  Copy full SHA for 4bdbee8

• position in error message

  rachitnigam

  committed
  bc45438

  Copy full SHA for bc45438

• more source positions

  rachitnigam

  committed
  4d34ef9

  Copy full SHA for 4d34ef9

• define state calculation methods on Schedule struct

  rachitnigam

  committed
  3be9080

  Copy full SHA for 3be9080

• Compile while statically when bound is present.

  mikeurbach

  committed
  ebe100f

  Copy full SHA for ebe100f

• Update expected cycles rather than disabling top-down-st.

  mikeurbach

  committed
  546caa0

  Copy full SHA for 546caa0

• Merge branch 'master' into top-down-st

  mikeurbach

  authored
  0aab14a

  Copy full SHA for 0aab14a

• Check while for bound as well.

  mikeurbach

  committed
  806abab

  Copy full SHA for 806abab