Code

WASM support#2576

Code

Draft

lvella wants to merge 43 commits intomainpowdr-labs/powdr:mainfrom wasmpowdr-labs/powdr:wasmCopy head branch name to clipboard

Commits

Commits on Mar 14, 2025

• Starting the parsing of WASM functions.

  lvella

  committed
  b9cb901

  Copy full SHA for b9cb901

• Handling the stack and locals movements.

  lvella

  committed
  ef8c685

  Copy full SHA for ef8c685

Commits on Mar 17, 2025

• Trying to handle blocks as well as functions.

  lvella

  committed
  ba24f8e

  Copy full SHA for ba24f8e

Commits on Mar 18, 2025

• Started handling "else" block.

  lvella

  committed
  2263614

  Copy full SHA for 2263614

Commits on Mar 19, 2025

• Started a function to compute the instruction type.

  Show description for 95b7130
  lvella

  committed
  95b7130

  Copy full SHA for 95b7130

• Operation type function almost done.

  lvella

  committed
  9c15776

  Copy full SHA for 9c15776

• Returning none for complicated operations.

  lvella

  committed
  1d3b53f

  Copy full SHA for 1d3b53f

• Handling blocks.

  lvella

  committed
  76da873

  Copy full SHA for 76da873

Commits on Mar 20, 2025

• Tentative br implementation, but a little broken...

  lvella

  committed
  33b1a08

  Copy full SHA for 33b1a08

Commits on Mar 21, 2025

• Fixed if and properly implemented br and br_if.

  lvella

  committed
  4ae736f

  Copy full SHA for 4ae736f

• Implemented return as a special case of br

  lvella

  committed
  122d2e0

  Copy full SHA for 122d2e0

• Sorting out function call mechanism.

  lvella

  committed
  d7db04c

  Copy full SHA for d7db04c

• br_table and call implemented

  lvella

  committed
  94a9f08

  Copy full SHA for 94a9f08

• Almost all instructions handled in the allocation.

  Show description for 00fb9bf
  lvella

  committed
  00fb9bf

  Copy full SHA for 00fb9bf

Commits on Mar 24, 2025

• Organizing the sections that must be parsed.

  lvella

  committed
  23d7161

  Copy full SHA for 23d7161

• Renaming powdr-riscv-syscalls to powdr-syscalls.

  Show description for afe2638
  lvella

  committed
  afe2638

  Copy full SHA for afe2638

• Each syscall have the number of inputs and outputs words.

  lvella

  committed
  5e2e7ac

  Copy full SHA for 5e2e7ac

• Returning arity in a single call.

  lvella

  committed
  714d199

  Copy full SHA for 714d199

• Merge branch 'main' into wasm

  lvella

  committed
  4aec525

  Copy full SHA for 4aec525

• Merge branch 'powdr-syscalls' into wasm

  lvella

  committed
  6756684

  Copy full SHA for 6756684

• Importing system functions.

  lvella

  committed
  064db15

  Copy full SHA for 064db15

Commits on Mar 26, 2025

• Fix lint.

  lvella

  committed
  308f1b4

  Copy full SHA for 308f1b4

• Merge branch 'main' into wasm

  lvella

  committed
  971bae4

  Copy full SHA for 971bae4

Commits on Mar 27, 2025

• A few logs.

  lvella

  committed
  980266c

  Copy full SHA for 980266c

• Function return is wrong!

  lvella

  committed
  c0dcacb

  Copy full SHA for c0dcacb

• Fixed else and a bit of refactor.

  Show description for 0fdb36c
  lvella

  committed
  0fdb36c

  Copy full SHA for 0fdb36c

• Getting memory limits.

  lvella

  committed
  c48d1ec

  Copy full SHA for c48d1ec

Commits on Mar 28, 2025

• Function return almost fixed.

  lvella

  committed
  ec80458

  Copy full SHA for ec80458

• Function probably working.

  lvella

  committed
  9f6942a

  Copy full SHA for 9f6942a

• Inlining static calls to system calls.

  lvella

  committed
  f3335e2

  Copy full SHA for f3335e2

• Proxy functions to system calls.

  lvella

  committed
  54fc662

  Copy full SHA for 54fc662

Commits on Mar 29, 2025

• Overall progress...

  Show description for 1ff6d80
  lvella

  committed
  1ff6d80

  Copy full SHA for 1ff6d80

Commits on Mar 31, 2025

• Element Section loaded.

  lvella

  committed
  3ac8e54

  Copy full SHA for 3ac8e54

• Started memory initialization.

  lvella

  committed
  e814c99

  Copy full SHA for e814c99

Commits on Apr 1, 2025

• Finished memory layout and initialization.

  lvella

  committed
  383e51a

  Copy full SHA for 383e51a

• A few fixes and a lot of debug print.

  lvella

  committed
  e6325ca

  Copy full SHA for e6325ca

• Fixed handling of Element Section.

  lvella

  committed
  8098fc6

  Copy full SHA for 8098fc6

• A few errors fixed.

  lvella

  committed
  91640f9

  Copy full SHA for 91640f9

Commits on Apr 2, 2025

• Fixed memory segment reservation.

  lvella

  committed
  8fc4df3

  Copy full SHA for 8fc4df3

• Lots of fixes.

  Show description for 7d52d35
  lvella

  committed
  7d52d35

  Copy full SHA for 7d52d35

• Entire file almost parsed.

  lvella

  committed
  192d017

  Copy full SHA for 192d017

Commits on Apr 3, 2025

• Fixed control stack.

  lvella

  committed
  7ea1310

  Copy full SHA for 7ea1310

• Full vec_median parsed.

  lvella

  committed
  aaaa265

  Copy full SHA for aaaa265