Code

Draft: Support 48bit encodings#176

Code

Draft

PhilippvK wants to merge 22 commits intodeveloptum-ei-eda/seal5:developfrom support-48bittum-ei-eda/seal5:support-48bitCopy head branch name to clipboard

+672-22

Commits

Commits on Mar 6, 2025

• examples: add 48bit_demo.py (untested)

  PhilippvK

  committed
  f151f00

  Copy full SHA for f151f00

• example: add ExampleRV32K.core_desc (WIP)

  PhilippvK

  committed
  dd0f30e

  Copy full SHA for dd0f30e

• examples: update 48bit_demo.py (use lrz gitlab)

  PhilippvK

  committed
  d28cbf6

  Copy full SHA for d28cbf6

• examples/48bit_demo.py: update LLVM_REF

  PhilippvK

  committed
  2adca32

  Copy full SHA for 2adca32

• ExampleRV32K.core_desc: fixes

  PhilippvK

  committed
  dd05baf

  Copy full SHA for dd05baf

• ExampleRV32K: move to new hierachy

  PhilippvK

  committed
  1ab915d

  Copy full SHA for 1ab915d

• ExampleRV32K: add todo

  PhilippvK

  committed
  973e5f6

  Copy full SHA for 973e5f6

• filter: support 48bit enc size

  PhilippvK

  committed
  cec6fdd

  Copy full SHA for cec6fdd

• 48bit_demo.py: use ssh url

  PhilippvK

  committed
  0645751

  Copy full SHA for 0645751

• instr_tablegen.mako: Softfail should have enc_size bits?

  PhilippvK

  committed
  e1feb37

  Copy full SHA for e1feb37

• examples/48bit/cdsl/ExampleRV32K.core_desc: fix include

  PhilippvK

  committed
  b45b74d

  Copy full SHA for b45b74d

• ExampleRV32K.core_desc: comment our store/load multiples

  PhilippvK

  committed
  0eea607

  Copy full SHA for 0eea607

• ExampleRV32K.core_desc: add suffix to instruction names to avoid conflicts with existing ones (TODO: revert)

  PhilippvK

  committed
  bba3643

  Copy full SHA for bba3643

• ExampleRV32K.core_desc: add K_XORI and K_ORI

  PhilippvK

  committed
  eb7e1e9

  Copy full SHA for eb7e1e9

• 48bit_demo: use commit sha for LLVM_REF instead of branch

  PhilippvK

  committed
  0f1a43e

  Copy full SHA for 0f1a43e

• 48bit_demo: lint

  PhilippvK

  committed
  62679a8

  Copy full SHA for 62679a8

• filters.yml: allow 48bit opcodes

  PhilippvK

  committed
  f808866

  Copy full SHA for f808866

• add insert_markers_llvm18_48bit (TODO: revert)

  PhilippvK

  committed
  f76dfc9

  Copy full SHA for f76dfc9

• filter_model: comment in some 48-bit specific opcodes

  PhilippvK

  committed
  b3b7f51

  Copy full SHA for b3b7f51

• filter_model: drop unused class

  PhilippvK

  committed
  766ba20

  Copy full SHA for 766ba20

• filter_model: better logging

  PhilippvK

  committed
  1cf8b1b

  Copy full SHA for 1cf8b1b

• check_pattern_support: handle is_extended

  PhilippvK

  committed
  89abb38

  Copy full SHA for 89abb38