Code

Implement Wasm tail-call proposal#683

Code

Merged

Robbepop merged 30 commits intomasterwasmi-labs/wasmi:masterfrom rf-wasm-tail-callswasmi-labs/wasmi:rf-wasm-tail-callsCopy head branch name to clipboardMar 1, 2023

+375-97

Commits

Commits on Feb 16, 2023

• add tail call support to Config

  Robbepop

  committed
  29bb7ff

  Copy full SHA for 29bb7ff

• implement return_call[_indirect] for func translator

  Robbepop

  committed
  0ca3b81

  Copy full SHA for 0ca3b81

• add tail-call tests from Wasm spec testsuite

  Robbepop

  committed
  759c01d

  Copy full SHA for 759c01d

• expect failure for tail call tests since not yet implemented

  Robbepop

  committed
  084780d

  Copy full SHA for 084780d

• generalize CallOutcome to later support tail calls

  Robbepop

  committed
  c87b105

  Copy full SHA for c87b105

• make StoreIdx base on NonZeroU32

  Robbepop

  committed
  97ea69f

  Copy full SHA for 97ea69f

• apply rustfmt

  Robbepop

  committed
  afc4ef4

  Copy full SHA for afc4ef4

• partially implement return_call[_indirect]

  Robbepop

  committed
  faf0611

  Copy full SHA for faf0611

• revert

  Robbepop

  committed
  5802a8b

  Copy full SHA for 5802a8b

• add DropKeep to return call bytecodes

  Robbepop

  committed
  616ed6c

  Copy full SHA for 616ed6c

• create unique drop_keep for return calls

  Robbepop

  committed
  4ab5c24

  Copy full SHA for 4ab5c24

• fix bug in drop_keep_return_call method

  Robbepop

  committed
  b756bcb

  Copy full SHA for b756bcb

• wasm_return_call works now

  Robbepop

  committed
  a20f016

  Copy full SHA for a20f016

• apply clippy suggestion

  Robbepop

  committed
  1cd11a8

  Copy full SHA for 1cd11a8

• properly charge for drop_keep in return_call_indirect

  Robbepop

  committed
  8cc5bbd

  Copy full SHA for 8cc5bbd

• fix return_call_indirect

  Robbepop

  committed
  7fa9148

  Copy full SHA for 7fa9148

• enable return_call_indirect Wasm spec test case

  Robbepop

  committed
  48f7324

  Copy full SHA for 48f7324

• fix performance regressions

  Robbepop

  committed
  ffd7248

  Copy full SHA for ffd7248

• add fib_tail_recursive to benchmarks

  Robbepop

  committed
  849edef

  Copy full SHA for 849edef

• add TODO comment for resumable calls

  Robbepop

  committed
  6041845

  Copy full SHA for 6041845

• add more TODO comments for resumable calls

  Robbepop

  committed
  5505735

  Copy full SHA for 5505735

• comment out fib_tail_recursive

  Show description for b55bda2
  Robbepop

  committed
  b55bda2

  Copy full SHA for b55bda2

Commits on Feb 28, 2023

• Merge branch 'master' into rf-wasm-tail-calls

  Robbepop

  committed
  b1314e0

  Copy full SHA for b1314e0

• make use of return_call in benchmark .wat

  Robbepop

  committed
  51b221f

  Copy full SHA for 51b221f

• refactor engine executor calls

  Robbepop

  committed
  83c0725

  Copy full SHA for 83c0725

• apply rustfmt

  Robbepop

  committed
  d50ac60

  Copy full SHA for d50ac60

• add doc comments

  Robbepop

  committed
  ec3f2c2

  Copy full SHA for ec3f2c2

• revert changes as it slowed down Wasm targets

  Robbepop

  committed
  a93949e

  Copy full SHA for a93949e

Commits on Mar 1, 2023

• add tests for resumable calls + tail calls

  Robbepop

  committed
  12efc9b

  Copy full SHA for 12efc9b

• fix resumable tail calls edge case

  Robbepop

  committed
  f4b4612

  Copy full SHA for f4b4612