Code

feat: SSA parser#6489

Code

Merged

asterite merged 68 commits intomasternoir-lang/noir:masterfrom ab/ssa-parsernoir-lang/noir:ab/ssa-parserCopy head branch name to clipboardNov 12, 2024

+2,910-1,029

Commits

Commits on Nov 7, 2024

• WIP

  asterite

  committed
  a5c4c5f

  Copy full SHA for a5c4c5f

• SSA printer: don't leave extra space after return without values

  asterite

  committed
  d610616

  Copy full SHA for d610616

• SSA parser: parse an empty function

  asterite

  committed
  0876084

  Copy full SHA for 0876084

• Also test brillig function

  asterite

  committed
  c2f9164

  Copy full SHA for c2f9164

Commits on Nov 8, 2024

• return Field

  asterite

  committed
  70ab9b0

  Copy full SHA for 70ab9b0

• Parse all integer types

  asterite

  committed
  6bb0bcc

  Copy full SHA for 6bb0bcc

• Arrays

  asterite

  committed
  a69145f

  Copy full SHA for a69145f

• Block parameters and variables

  asterite

  committed
  b7dba51

  Copy full SHA for b7dba51

• Carry spans in identifiers

  asterite

  committed
  30b49ef

  Copy full SHA for 30b49ef

• Blocks and jmp

  asterite

  committed
  994dc38

  Copy full SHA for 994dc38

• jmpif

  asterite

  committed
  fb5c8b6

  Copy full SHA for fb5c8b6

• Handle ambiguity with return

  asterite

  committed
  3861d82

  Copy full SHA for 3861d82

• Functions and calls

  asterite

  committed
  cead105

  Copy full SHA for cead105

• Multiple return values

  asterite

  committed
  3744974

  Copy full SHA for 3744974

• cast

  asterite

  committed
  1d7c2a2

  Copy full SHA for 1d7c2a2

• Helper to define variables

  asterite

  committed
  af954ec

  Copy full SHA for af954ec

• constrain

  asterite

  committed
  e179d10

  Copy full SHA for e179d10

• Simplify one test

  asterite

  committed
  989fc0e

  Copy full SHA for 989fc0e

• enable_side_effects

  asterite

  committed
  3907e7f

  Copy full SHA for 3907e7f

• array_get

  asterite

  committed
  7ba73ff

  Copy full SHA for 7ba73ff

• Simplify another test

  asterite

  committed
  61c0880

  Copy full SHA for 61c0880

• Slightly better tests

  asterite

  committed
  3601c77

  Copy full SHA for 3601c77

• Better place for test helper

  asterite

  committed
  4a190ca

  Copy full SHA for 4a190ca

• binary

  asterite

  committed
  cf4e560

  Copy full SHA for cf4e560

• Simplify another test

  asterite

  committed
  733ae28

  Copy full SHA for 733ae28

• truncate

  asterite

  committed
  4aac831

  Copy full SHA for 4aac831

• Simplify another test

  asterite

  committed
  d048cb1

  Copy full SHA for d048cb1

• Fix serialization test

  asterite

  committed
  3ae58b2

  Copy full SHA for 3ae58b2

• array_set

  asterite

  committed
  3885151

  Copy full SHA for 3885151

• Fix bug in array set

  asterite

  committed
  eb9c706

  Copy full SHA for eb9c706

• Simplify another test

  asterite

  committed
  1182893

  Copy full SHA for 1182893

Commits on Nov 9, 2024

• More uniform way to specify types

  asterite

  committed
  85ccc2a

  Copy full SHA for 85ccc2a

• not

  asterite

  committed
  241f0ed

  Copy full SHA for 241f0ed

• range_check

  asterite

  committed
  18ba63e

  Copy full SHA for 18ba63e

• Fix serialization roundtrip again

  asterite

  committed
  19341b6

  Copy full SHA for 19341b6

• allocate

  asterite

  committed
  5a27b52

  Copy full SHA for 5a27b52

• load

  asterite

  committed
  253897f

  Copy full SHA for 253897f

• store

  asterite

  committed
  7b2870b

  Copy full SHA for 7b2870b

• inc_rc

  asterite

  committed
  af832a5

  Copy full SHA for af832a5

• dec_rc

  asterite

  committed
  eb512ae

  Copy full SHA for eb512ae

• call without returns

  asterite

  committed
  962b80e

  Copy full SHA for 962b80e

• Intrinsic

  asterite

  committed
  2d06011

  Copy full SHA for 2d06011

Commits on Nov 10, 2024

• Trim leading whitespace from lines for better-looking tests

  asterite

  committed
  543acad

  Copy full SHA for 543acad

• Update more examples

  asterite

  committed
  f720d39

  Copy full SHA for f720d39

• Fix test

  asterite

  committed
  08e8f33

  Copy full SHA for 08e8f33

• Merge branch 'master' into ab/ssa-parser

  asterite

  committed
  95b65ae

  Copy full SHA for 95b65ae

• Another example

  asterite

  committed
  2e13c59

  Copy full SHA for 2e13c59

• Align src

  asterite

  committed
  53d3027

  Copy full SHA for 53d3027

• More examples

  asterite

  committed
  457a20b

  Copy full SHA for 457a20b

• mutable array_set

  asterite

  committed
  f75ca44

  Copy full SHA for f75ca44

• Some die tests

  asterite

  committed
  a049769

  Copy full SHA for a049769

Commits on Nov 11, 2024

• More die test s

  asterite

  committed
  9bb740f

  Copy full SHA for 9bb740f

• Parse &mut type

  asterite

  committed
  9415de2

  Copy full SHA for 9415de2

• A few more tests

  asterite

  committed
  0254be9

  Copy full SHA for 0254be9

• Allow comments in SSA

  asterite

  committed
  bacca20

  Copy full SHA for bacca20

• Simplify a test that has a comment

  asterite

  committed
  5da0cc0

  Copy full SHA for 5da0cc0

• Refactor

  asterite

  committed
  8c53a41

  Copy full SHA for 8c53a41

• Extract parse_assignment

  asterite

  committed
  6cec6cb

  Copy full SHA for 6cec6cb

• Simplify eat_binary_op

  asterite

  committed
  8854b7d

  Copy full SHA for 8854b7d

• Error in parse_assignment, not outside

  asterite

  committed
  ed10260

  Copy full SHA for ed10260

Commits on Nov 12, 2024

• Make allocate return -> &mut ...

  asterite

  committed
  51af914

  Copy full SHA for 51af914

• Merge branch 'master' into ab/ssa-parser

  TomAFrench

  authored
  52dc715

  Copy full SHA for 52dc715

• Merge branch 'ab/ssa-parser' of github.com:noir-lang/noir into ab/ssa-parser

  asterite

  committed
  13e55b1

  Copy full SHA for 13e55b1

• Show parse errors embedded in the original code

  asterite

  committed
  280b522

  Copy full SHA for 280b522

• Swap arguments order in assert_ssa_equals

  asterite

  committed
  8825b25

  Copy full SHA for 8825b25

• Error early if expected SSA is not valid SSA

  asterite

  committed
  757c8bd

  Copy full SHA for 757c8bd

• assert_ssa_equals -> assert_normalized_ssa_equals

  asterite

  committed
  cdfb505

  Copy full SHA for cdfb505

• Fix test

  asterite

  committed
  9e6dc2d

  Copy full SHA for 9e6dc2d