Code

Draft: Recent Changes#60

Code

Merged

PhilippvK merged 80 commits intomaintum-ei-eda/seal5:mainfrom philippvk-newtum-ei-eda/seal5:philippvk-newCopy head branch name to clipboardMar 28, 2024

+15,152-238

Commits

Commits on Mar 10, 2024

• settings: expose debug_build config and use_ninja to user

  PhilippvK

  committed
  dc9e029

  Copy full SHA for dc9e029

• examples/cfg/llvm.yml: no not build x86 target

  PhilippvK

  committed
  62fff51

  Copy full SHA for 62fff51

• demo: add prepatched setting

  PhilippvK

  committed
  8ee4e92

  Copy full SHA for 8ee4e92

• cdsl writer: fixes

  PhilippvK

  committed
  75c6769

  Copy full SHA for 75c6769

• mattr: use +gpr32v by default

  PhilippvK

  committed
  53a54df

  Copy full SHA for 53a54df

• add __repr__ for Seal5Operand

  PhilippvK

  committed
  e8c8ca1

  Copy full SHA for e8c8ca1

• small fix for gen_set_td

  PhilippvK

  committed
  a6ab658

  Copy full SHA for a6ab658

• examples/cfg/llvm.yml: no not build x86 target

  PhilippvK

  committed
  ec67145

  Copy full SHA for ec67145

• update llvm18 patch

  PhilippvK

  committed
  de32129

  Copy full SHA for de32129

• move pattern gen support patch to PASE_0

  PhilippvK

  committed
  9a6f11c

  Copy full SHA for 9a6f11c

• try passing legalizer settings via cmdline

  PhilippvK

  committed
  4fe35da

  Copy full SHA for 4fe35da

• WIP: add seal5 prefix to all instrs (workaround)

  PhilippvK

  committed
  2a6dd85

  Copy full SHA for 2a6dd85

• demo: expose some options as environment vars

  PhilippvK

  committed
  a059aa2

  Copy full SHA for a059aa2

• fix gen_riscv_instr_info_str

  PhilippvK

  committed
  a3e06cc

  Copy full SHA for a3e06cc

• clear filters in flow.settings.reset()

  PhilippvK

  committed
  9de8792

  Copy full SHA for 9de8792

• pattern-gen: disable-gisel-legality-check

  PhilippvK

  committed
  5fb43cd

  Copy full SHA for 5fb43cd

• filter_model: allow regex filters

  PhilippvK

  committed
  c06252e

  Copy full SHA for c06252e

Commits on Mar 11, 2024

• run pattern_gen using threadpoolexecutor

  PhilippvK

  committed
  4b93be2

  Copy full SHA for 4b93be2

• allow gloab file patterns in flow.load()

  PhilippvK

  committed
  2543668

  Copy full SHA for 2543668

• add stage runtimes to metrics

  PhilippvK

  committed
  ac6cc62

  Copy full SHA for ac6cc62

• rename test files

  PhilippvK

  committed
  74897d4

  Copy full SHA for 74897d4

• filter_model: allow regex filters 2

  PhilippvK

  committed
  0602401

  Copy full SHA for 0602401

• add sha256 examples

  PhilippvK

  committed
  378e7db

  Copy full SHA for 378e7db

• clear pass settings in flow.reset()

  PhilippvK

  committed
  b5cf73d

  Copy full SHA for b5cf73d

Commits on Mar 13, 2024

• detect_inouts: fix bug in ternary visitor

  PhilippvK

  committed
  390ffbd

  Copy full SHA for 390ffbd

• convert_behav_to_tablegen: fix

  PhilippvK

  committed
  458f7d5

  Copy full SHA for 458f7d5

• Seal5Pass: actually use user-provided overrides

  PhilippvK

  committed
  2391f5e

  Copy full SHA for 2391f5e

• Seal5Settings.reset(): clear user provided tests

  PhilippvK

  committed
  0df1450

  Copy full SHA for 0df1450

• seal5.backends.llvmir.writer: use mattr from riscv.yml

  PhilippvK

  committed
  0c0dc2d

  Copy full SHA for 0c0dc2d

• update demo files

  PhilippvK

  committed
  2d79837

  Copy full SHA for 2d79837

• add some prints for debugging

  PhilippvK

  committed
  c8a5efe

  Copy full SHA for c8a5efe

Commits on Mar 14, 2024

• seal5.transform.converter: add --prefix option

  PhilippvK

  committed
  45125b4

  Copy full SHA for 45125b4

• lint code

  PhilippvK

  committed
  3182d58

  Copy full SHA for 3182d58

Commits on Mar 19, 2024

• update xcv settings

  PhilippvK

  committed
  46eba69

  Copy full SHA for 46eba69

• expose llvm repo to seal5 flow class

  PhilippvK

  committed
  60047a0

  Copy full SHA for 60047a0

• lint

  PhilippvK

  committed
  00385c6

  Copy full SHA for 00385c6

• fix typo in example configs

  PhilippvK

  committed
  7a573f5

  Copy full SHA for 7a573f5

• fix

  PhilippvK

  committed
  93a74bf

  Copy full SHA for 93a74bf

• fix prefix overrides

  PhilippvK

  committed
  00d11c1

  Copy full SHA for 00d11c1

• fix prefix overrides

  PhilippvK

  committed
  b42577f

  Copy full SHA for b42577f

• [ci] expose demo settings as workflow inputs

  PhilippvK

  committed
  b0b1aef

  Copy full SHA for b0b1aef

• fix

  PhilippvK

  committed
  219289e

  Copy full SHA for 219289e

• fix problems with reset and clean on fresh flow

  PhilippvK

  committed
  a3a1ede

  Copy full SHA for a3a1ede

• raise error if flow.load() does not find file

  PhilippvK

  committed
  2af2a01

  Copy full SHA for 2af2a01

Commits on Mar 20, 2024

• update LIMITATIONS.md

  PhilippvK

  committed
  e6fe7b4

  Copy full SHA for e6fe7b4

• update filter.yml

  PhilippvK

  committed
  c1b5bcb

  Copy full SHA for c1b5bcb

• add custom patch: legalizer_split

  PhilippvK

  committed
  153b147

  Copy full SHA for 153b147

• backends: add missing newline

  PhilippvK

  committed
  855f0a3

  Copy full SHA for 855f0a3

• riscv_gisel_legalizer: fix

  PhilippvK

  committed
  1168db9

  Copy full SHA for 1168db9

• riscv_isa_info: sort lines alphabetically

  PhilippvK

  committed
  41640f4

  Copy full SHA for 41640f4

• insert_markers_llvm18.patch: move riscv_isa_info markers up

  PhilippvK

  committed
  381a04f

  Copy full SHA for 381a04f

• cdsl2llvm fix

  PhilippvK

  committed
  3eb89c7

  Copy full SHA for 3eb89c7

• add new rv_gen files

  PhilippvK

  committed
  88aac0e

  Copy full SHA for 88aac0e

• add new rv_tumeda files

  PhilippvK

  committed
  8bd61a2

  Copy full SHA for 8bd61a2

• refactor cfgs

  PhilippvK

  committed
  ae236df

  Copy full SHA for ae236df

• provide smaller demo scripts (grouped by corev, gen, s4e)

  PhilippvK

  committed
  49c4b62

  Copy full SHA for 49c4b62

Commits on Mar 22, 2024

• notes

  PhilippvK

  committed
  a748ae4

  Copy full SHA for a748ae4

Commits on Mar 25, 2024

• gen example updates

  PhilippvK

  committed
  82ce3b0

  Copy full SHA for 82ce3b0

• add manual uimm12_op.patch

  PhilippvK

  committed
  80cdd91

  Copy full SHA for 80cdd91

Commits on Mar 26, 2024

• gen example updates

  PhilippvK

  committed
  b5b9585

  Copy full SHA for b5b9585

• riscv_instr_info: fix handling of writeback constraints

  PhilippvK

  committed
  5c12094

  Copy full SHA for 5c12094

• seal5.transform.converter: fix

  PhilippvK

  committed
  5f1e82d

  Copy full SHA for 5f1e82d

• seal5.transform.filter_model: make assertions more helpful

  PhilippvK

  committed
  1b991c5

  Copy full SHA for 1b991c5

• update demo

  PhilippvK

  committed
  9ffb140

  Copy full SHA for 9ffb140

• add custom patches

  PhilippvK

  committed
  09a2608

  Copy full SHA for 09a2608

Commits on Mar 27, 2024

• coredsl2_seal5: add more helpful error message for missing imports

  PhilippvK

  committed
  62d4a32

  Copy full SHA for 62d4a32

• small fix for seal5.backends.coredsl2.writer when list of operands is empty

  PhilippvK

  committed
  aec7b0d

  Copy full SHA for aec7b0d

• whitespace fixes in some backends

  PhilippvK

  committed
  1392465

  Copy full SHA for 1392465

• fix for filter_model

  PhilippvK

  committed
  f80d907

  Copy full SHA for f80d907

• examples/corev_demo.py: fixes

  PhilippvK

  committed
  6d037bd

  Copy full SHA for 6d037bd

• examples/s4e_demo.py: fixes

  PhilippvK

  committed
  890c038

  Copy full SHA for 890c038

• small fix for seal5.backends.coredsl2.writer when list of operands is empty 2

  PhilippvK

  committed
  b4f9eab

  Copy full SHA for b4f9eab

Commits on Mar 28, 2024

• examples/s4e_demo.py: load test file

  PhilippvK

  committed
  7c4e8c2

  Copy full SHA for 7c4e8c2

• add missing cdsl files for rv_gen

  PhilippvK

  committed
  e8719e5

  Copy full SHA for e8719e5

• remove rv_gen dir

  PhilippvK

  committed
  793f81b

  Copy full SHA for 793f81b

• add rv_gen submodule

  PhilippvK

  committed
  ab36a8e

  Copy full SHA for ab36a8e

• [CI] .github/workflows/demo.yml: allow chooing script name for demo

  PhilippvK

  committed
  39b5e22

  Copy full SHA for 39b5e22

• update rv_s4e submodule ref

  PhilippvK

  committed
  866c183

  Copy full SHA for 866c183

• [lint] run black formatter

  PhilippvK

  committed
  7220421

  Copy full SHA for 7220421

• [lint] make flake8 happy

  PhilippvK

  committed
  af31695

  Copy full SHA for af31695