Code

[Feature] Inline Assembly#2322

Code

Draft

d0cd wants to merge 31 commits intotestnet3ProvableHQ/leo:testnet3from feat/inline-asmProvableHQ/leo:feat/inline-asmCopy head branch name to clipboard

+5,492-3,599

Commits

Commits on Mar 27, 2023

• Add asm token

  d0cd

  committed
  4e47170

• Add AssemblyBlock to AST

  d0cd

  committed
  66d02e5

• Add Operand to AST

  d0cd

  committed
  88a3b24

• Add Binary instructions to AST

  d0cd

  committed
  d2afc3f

• Add Call instruction to AST

  d0cd

  committed
  8f4e635

• Add Cast instruction to AST

  d0cd

  committed
  c17c193

• Add Decrement instruction to AST

  d0cd

  committed
  7c90766

• Add Increment statement to AST

  d0cd

  committed
  c287c34

• Add Ternary instruciton to AST

  d0cd

  committed
  cb73e71

• Add Unary instruction to AST

  d0cd

  committed
  9b2a7cc

• Add Span to ProgramID

  d0cd

  committed
  d68acdb

• Regen expectations due to AST changes

  d0cd

  committed
  5f36bda

• Add Aleo instruction symbols

  d0cd

  committed
  1fcecd5

• WIP instruction parser

  d0cd

  committed
  3bbd6d8

• WIP instruction parsing

  d0cd

  committed
  d1e7465

• More grammar updates

  d0cd

  committed
  b00e001

• Add parser tests

  d0cd

  committed
  0dab9fb

• Refactor Consumer trait

  d0cd

  committed
  512813e

• Minimize AST repr for instructions

  d0cd

  committed
  ca4d39e

• Refactor Reconstructor trait

  d0cd

  committed
  b6238fc

• Refactor Visitor trait

  d0cd

  committed
  b25818e

• Cleanup

  d0cd

  committed
  e32136c

• Simplify parser

  d0cd

  committed
  f2b4e33

• Use updated pass traits

  d0cd

  committed
  7a27b25

• WIP type checking for instructions

  d0cd

  committed
  6a1f855

• Remove cast, call, increment, decrement opcodes

  d0cd

  committed
  bfd04c1

• Impl tyc for instructions

  d0cd

  committed
  fbcef55

• More safety checks in the parser

  d0cd

  committed
  231f9e9

• Check that ASM block is well-formed

  d0cd

  committed
  45ba8d2

• Implement SSA for inline assembly

  d0cd

  committed
  586c56b

• Add compiler tests for assembly instructions

  d0cd

  committed
  be6061d