Code

Inst as Type#59

Code

Merged

Y-Nak merged 26 commits intofe-lang:mainfe-lang/sonatina:mainfrom Y-Nak:inst-as-typeY-Nak/sonatina:inst-as-typeCopy head branch name to clipboardSep 12, 2024

+1,876

Commits

Commits on Sep 7, 2024

• Define trait

  Y-Nak

  committed
  dd3048f

  Copy full SHA for dd3048f

• Implement a macro to provide an easy way to define Inst types

  Y-Nak

  committed
  2a9da44

  Copy full SHA for 2a9da44

Commits on Sep 8, 2024

• Define basic instructions

  Y-Nak

  committed
  c40008e

  Copy full SHA for c40008e

• Define HasInst<I> as a bulding block of IsaGroup

  Y-Nak

  committed
  38d61d9

  Copy full SHA for 38d61d9

Commits on Sep 9, 2024

• Define Inst derive proc macro

  Y-Nak

  committed
  dac7644

  Copy full SHA for dac7644

• Define ValueVisitable trait

  Y-Nak

  committed
  2271f80

  Copy full SHA for 2271f80

• Improve Inst derive macro

  Y-Nak

  committed
  c7b6826

  Copy full SHA for c7b6826

• Use Inst derive macro

  Y-Nak

  committed
  327ac61

  Copy full SHA for 327ac61

• Cleanup related module structure

  Y-Nak

  committed
  fe88bff

  Copy full SHA for fe88bff

• Define macro to define DynINstGroup

  Y-Nak

  committed
  0fe0d38

  Copy full SHA for 0fe0d38

• Register basic insts to InstGroup

  Y-Nak

  committed
  3e57817

  Copy full SHA for 3e57817

Commits on Sep 10, 2024

• Make the naming rule more clearer

  Y-Nak

  committed
  152665c

  Copy full SHA for 152665c

• Define inst_set macro

  Y-Nak

  committed
  0436c23

  Copy full SHA for 0436c23

• Add prelude for inst related traits

  Y-Nak

  committed
  d58f60f

  Copy full SHA for d58f60f

• Let inst_set macro generate InstKind enum from a given inst set

  Y-Nak

  committed
  41bd4b4

  Copy full SHA for 41bd4b4

• Extend inst_set macro so it can generate InstSetExt impl and constructor

  Y-Nak

  committed
  5ecbe35

  Copy full SHA for 5ecbe35

• Add runtime tests for macro-generated instruction sets

  Y-Nak

  committed
  1deeb4e

  Copy full SHA for 1deeb4e

Commits on Sep 11, 2024

• Simplify has_side_effect specifier

  Y-Nak

  committed
  23e2143

  Copy full SHA for 23e2143

• Simplify inst def

  Y-Nak

  committed
  ae17d47

  Copy full SHA for ae17d47

• Allow attributes in InstSetBase definition

  Y-Nak

  committed
  35f6052

  Copy full SHA for 35f6052

• Docwork

  Y-Nak

  committed
  1be6d6e

  Copy full SHA for 1be6d6e

• Cleanup inst module structure

  Y-Nak

  committed
  84dfc54

  Copy full SHA for 84dfc54

• Define evm instructions

  Y-Nak

  committed
  9d5d3e9

  Copy full SHA for 9d5d3e9

• suppress clippy warning from macro generated code

  Y-Nak

  committed
  5e82248

  Copy full SHA for 5e82248

Commits on Sep 12, 2024

• Fix bug in inst_set macro

  Y-Nak

  committed
  1b5a36f

  Copy full SHA for 1b5a36f

• Define EvmInstSet

  Y-Nak

  committed
  9b471b9

  Copy full SHA for 9b471b9