Code

Merge recent changes#134

Code

Merged

PhilippvK merged 110 commits intodeveloptum-ei-eda/seal5:developfrom openasip-3tum-ei-eda/seal5:openasip-3Copy head branch name to clipboardNov 4, 2024

+3,830-377

Commits

Commits on Oct 28, 2024

• use new openasip files

  PhilippvK

  committed
  e853f80

• cdsl2llvm: switch to philippvk5 branch

  PhilippvK

  committed
  72f18d9

• add openasip yml

  PhilippvK

  committed
  c9a79ed

• update openasip submodule

  PhilippvK

  committed
  43b0aa4

• instr_tablegen2.mako: remove comment

  PhilippvK

  committed
  dbbfacc

• patterngen: support --no-extend

  PhilippvK

  committed
  9b1557b

• convert_ll_to_gmir: make optimization level configurable

  PhilippvK

  committed
  fe35b76

• add inline_functions pass

  PhilippvK

  committed
  7e845a3

• add Seal5FunctionAttribute.INLINE

  PhilippvK

  committed
  d29b878

• pattern-gen: --mattr2 -> --mattr

  PhilippvK

  committed
  01a772a

• update rv_openasip ref

  PhilippvK

  committed
  1b829cd

• cdsl2llvm: enable no_extend mode

  PhilippvK

  committed
  64cc530

• ExtensionsSettings: prefix arch with x

  PhilippvK

  committed
  5d74f48

• cleanup seal5/transform/inline_functions/optimizer.py

  PhilippvK

  committed
  1326b5f

• add seal5.backends.properties.writer (experimental, see #117)

  PhilippvK

  committed
  5183ac0

• seal5/backends/properties/writer.py: improvements

  PhilippvK

  committed
  41bd33c

• backends: write metrics.csv with pandas for proper escaping

  PhilippvK

  committed
  26f1acd

• backends: add more info to metrics (instr/set names)

  PhilippvK

  committed
  2253427

• add metrics to PassResult

  PhilippvK

  committed
  88aa2d6

• add seal5.backends.status.writer (experimental, see #120)

  PhilippvK

  committed
  3e0a52c

• seal5/backends/coredsl2/writer.py: add metrics support

  PhilippvK

  committed
  3e01f2b

• seal5/backends/properties/writer.py: allow exporting markdown and pkl

  PhilippvK

  committed
  439de1e

• seal5/backends/riscv_instr_info/writer.py: add metrics support

  PhilippvK

  committed
  6b7905f

• seal5/backends/riscv_intrinsics/writer.py: fixes and error handling

  PhilippvK

  committed
  77cd30f

• seal5/backends/status/writer.py: allow exporting markdown and pkl and add cols2rows flag

  PhilippvK

  committed
  fd57388

• store test metrics in settings (resolves #122)

  PhilippvK

  committed
  99c8fdc

• /seal5/transform,pass_list.py: enable --metrics for most transforms

  PhilippvK

  committed
  b836445

• examples/openasip_demo.py: disable experimental mode (WIP, revert after #127 fixed)

  PhilippvK

  committed
  d010095

• add example openasip instrinsic

  PhilippvK

  committed
  059e9a2

• add example openasip test files (see #129)

  PhilippvK

  committed
  868503c

• implement seal5.backends.test_results.writer (resolves #123)

  PhilippvK

  committed
  31bfa7d

• flow.py: add stage start/end time to metrics

  PhilippvK

  committed
  32db47c

• passes.py: add pass start/end time to metrics

  PhilippvK

  committed
  d7f85cd

• add seal5.backend.times.writer

  PhilippvK

  committed
  f0d4830

Commits on Oct 30, 2024

• track number of changes in patch stage (resolve #138)

  PhilippvK

  committed
  d1e29b4

• track number of changes in deploy stage (resolve #138)

  PhilippvK

  committed
  6edccca

• move some backends in seal5.backend.report namespace

  PhilippvK

  committed
  ad3bd33

• integrate reports backends in ci demo (manual)

  PhilippvK

  committed
  c0f34e6

• ci: add missing step names

  PhilippvK

  committed
  ee1267e

• integrate reports backends in ci demo (weekly)

  PhilippvK

  committed
  9da6974

• add missing file seal5/metrics.py

  PhilippvK

  committed
  e7f0a07

• update COMPATIBILITY.md to list supported LLVM versions

  PhilippvK

  committed
  9ac6a55

• update requirements.txt

  PhilippvK

  committed
  3cd05bc

• remove print statements

  PhilippvK

  committed
  e04a6c9

• ci: fix typo

  PhilippvK

  committed
  d47048f

• flow: fix test score if no tests are available

  PhilippvK

  committed
  81840ff

• add seal5.backend.report.diff

  PhilippvK

  committed
  9c8cc9f

Commits on Oct 31, 2024

• enable use_subprocess: true globally to allow running passes in parallel

  PhilippvK

  committed
  37413c0

• skip patterngen for compressed instructions (fix #126)

  PhilippvK

  committed
  1693ff4

• update pass_list.py

  PhilippvK

  committed
  1df4843

• add seal5.backend.report.diff

  PhilippvK

  committed
  01160a5

• ci: fix

  PhilippvK

  committed
  5bd86d0

• seal5/backends/report/properties/writer.py: fix

  PhilippvK

  committed
  697cd8e

• seal5/backends/report/test_results/writer.py: replace assert with warning

  PhilippvK

  committed
  6ccc522

• seal5/backends/riscv_register_info/writer.py: add comment

  PhilippvK

  committed
  921e2e7

• seal5/backends/riscv_register_info/writer.py: do not add empty patches to index

  PhilippvK

  committed
  446f213

• cleanup

  PhilippvK

  committed
  8e27eea

• test_results/writer.py: support multiple models

  PhilippvK

  committed
  3e59acb

• test_results/writer.py: support multiple models & fix test detection

  PhilippvK

  committed
  e673a26

• seal5/settings.py: fix

  PhilippvK

  committed
  c49a679

• split all tests per instruction

  PhilippvK

  committed
  3f8807c

• openasip_base_max.test-cg.c: fix

  PhilippvK

  committed
  84c30bb

• reports: handle multiple input models

  PhilippvK

  committed
  8bdcc5b

• enable subincacc intrin for demo_rv64.py

  PhilippvK

  committed
  13fb91c

• tests: add *.test-builtin.ll for openasip and xexample{64}

  PhilippvK

  committed
  c9d3edb

• fix tests

  PhilippvK

  committed
  6b86d7f

• examples: fixes

  PhilippvK

  committed
  abe4578

• test: fix dirname

  PhilippvK

  committed
  d5a6777

• examples: fixes

  PhilippvK

  committed
  7a7d77c

• test: fix xexample

  PhilippvK

  committed
  9121bd3

• test: fix xrvc

  PhilippvK

  committed
  d25a77c

• seal5/backends/report/properties/writer.py: detect opcode and enc_size

  PhilippvK

  committed
  6d2255b

• add todo

  PhilippvK

  committed
  e3eff0f

• examples: fixes

  PhilippvK

  committed
  158dc96

• patterngen: skip if using custom regs

  PhilippvK

  committed
  4897cdf

• test: fix xexample

  PhilippvK

  committed
  bdfeb21

• examples: fixes

  PhilippvK

  committed
  19f92e7

• patterngen: skip if using custom regs

  PhilippvK

  committed
  9c53664

• refactor s4e tests

  PhilippvK

  committed
  c384b68

• fix xrvc tests

  PhilippvK

  committed
  2d072e3

• fix examples/cfg/example/intrinsics.yml

  PhilippvK

  committed
  f3109e4

• make seal5/backends/report/test_results/writer.py detect more instrs

  PhilippvK

  committed
  5565eb9

• handle more types in seal5/backends/riscv_intrinsics/writer.py

  PhilippvK

  committed
  379454b

• fix xexample64 tests

  PhilippvK

  committed
  d3eae4e

• extend tumeda tests

  PhilippvK

  committed
  23dc85c

• examples: fixes

  PhilippvK

  committed
  60c408d

• intrinsics_writer: check instr name and mnemonic

  PhilippvK

  committed
  41537fa

• seal5/backends/riscv_intrinsics/writer.py: add missing return

  PhilippvK

  committed
  292346d

• add missing files

  PhilippvK

  committed
  08a2aec

• ci fix

  PhilippvK

  committed
  38fc709

• openasip example: also add instrs from paper

  PhilippvK

  committed
  315e8ab

• intrinsics: add set_name to intrinsics to handle multiple sets

  PhilippvK

  committed
  68bf945

• tests: fix cv-addun.test-cg.ll

  PhilippvK

  committed
  d5e4105

• openasip example: also add instrs from paper

  PhilippvK

  committed
  1c0c1a4

• update submodules

  PhilippvK

  committed
  576fc83

Commits on Nov 1, 2024

• update submodules

  PhilippvK

  committed
  2341f3f

• implement instr format detection

  PhilippvK

  committed
  52a07d6

• fix settings

  PhilippvK

  committed
  c19f023

• fix xcvalu test

  PhilippvK

  committed
  c055592

• fix settings

  PhilippvK

  committed
  b444870

Commits on Nov 4, 2024

• seal5/backends/report/test_results/writer.py: also add other (non-instr) tests to dataframe

  PhilippvK

  committed
  a08939d

• examples/cfg/s4e/s4e-mac.yml: use set name instead of model name

  PhilippvK

  committed
  90d5bf6

• seal5/backends/coredsl2/visitor.py: fix

  PhilippvK

  committed
  30e6bd6

• seal5/backends/report/properties/writer.py: improve format detection

  PhilippvK

  committed
  e4e35ea

• seal5/backends/report/properties/writer.py: add has_imm_leaf

  PhilippvK

  committed
  0bda1a5

• add new pass: detect_imm_leafs

  PhilippvK

  committed
  49f328f

• lint code

  PhilippvK

  committed
  efd1de2

• lint code 2

  PhilippvK

  committed
  cd77a6b

• ci: rm todos

  PhilippvK

  committed
  ccef157

• add missing module docstrings

  PhilippvK

  committed
  585f9ca