Code

Impl pass block::NonEmpty#78

Code

Open

emhane wants to merge 18 commits intofe-lang:mainfe-lang/sonatina:mainfrom emhane:non-empty-blockemhane/sonatina:non-empty-blockCopy head branch name to clipboard

+330-4

Commits

Commits on Oct 14, 2024

• Define VerificationCtx

  emhane

  committed
  4921a8d

  Copy full SHA for 4921a8d

• Define trait VerificationPass

  emhane

  committed
  1b5fc95

  Copy full SHA for 1b5fc95

• Add module docs

  emhane

  committed
  781fcf8

  Copy full SHA for 781fcf8

• Remove redundant synchronisation primitives

  emhane

  committed
  89189d0

  Copy full SHA for 89189d0

• Explicitly handle fatal error

  emhane

  committed
  685aed9

  Copy full SHA for 685aed9

• Shrink verification context scope to verification on function-basis

  emhane

  committed
  0167bca

  Copy full SHA for 0167bca

• Move methods to report error into VerificationCtx

  emhane

  committed
  1b16d1c

  Copy full SHA for 1b16d1c

• Define verification result

  emhane

  committed
  184356a

  Copy full SHA for 184356a

• Add FuncRef to verification context

  emhane

  committed
  a90ae0d

  Copy full SHA for a90ae0d

• Impl verification block ends in terminator

  emhane

  committed
  65b7bc9

  Copy full SHA for 65b7bc9

• Fix bug, return correct ErrorKind for terminator mid-block

  emhane

  committed
  901dfa0

  Copy full SHA for 901dfa0

• Move EndInTerminator pass into own module

  emhane

  committed
  4f4f70e

  Copy full SHA for 4f4f70e

• Add test for last insn in block not terminator

  emhane

  committed
  d8c076f

  Copy full SHA for d8c076f

• Add test for terminator mid-block

  emhane

  committed
  fb3d24b

  Copy full SHA for fb3d24b

• Fix rebase conflicts

  emhane

  committed
  9c21287

  Copy full SHA for 9c21287

• Add verification pass non-empty block

  emhane

  committed
  033dafe

  Copy full SHA for 033dafe

• Add test for NonEmpty block pass

  emhane

  committed
  dc5984e

  Copy full SHA for dc5984e

Commits on Oct 16, 2024

• Fix lint

  emhane

  committed
  90578f6

  Copy full SHA for 90578f6