Code

Various fixes for benchmarks#62

Code

Merged

tim-hoffman merged 22 commits intollvm-v2Veridise/circom:llvm-v2from th/benchmark-fixesVeridise/circom:th/benchmark-fixesCopy head branch name to clipboardOct 30, 2023

+4,140-1,063

Commits

Commits on Oct 24, 2023

• skip body extraction when the loop has 0 iterations

  tim-hoffman

  committed
  08a8d8e

  Copy full SHA for 08a8d8e

• convert tab to space

  tim-hoffman

  committed
  4b9feca

  Copy full SHA for 4b9feca

• Modify interpreter to distiguish between circom functions and loop body functions

  

  0xddom

  authored and

  tim-hoffman

  committed
  b8a7020

  Copy full SHA for b8a7020

• [VAN-676] duplicate extracted functions when flattening branch buckets

  tim-hoffman

  committed
  0247fba

  Copy full SHA for 0247fba

• [VAN-670] generate and flatten subcmp counter/run

  tim-hoffman

  committed
  59ccc3b

  Copy full SHA for 59ccc3b

• impl Debug for Env to be more friendly, expand on test case comment

  tim-hoffman

  committed
  8449d2a

  Copy full SHA for 8449d2a

• remove debug println

  tim-hoffman

  committed
  8b1c6ab

  Copy full SHA for 8b1c6ab

• fix: conditions not flattening in non-generated methods

  tim-hoffman

  committed
  3ae300b

  Copy full SHA for 3ae300b

• Fix the build and tests (due to rebasing)

  tim-hoffman

  committed
  7ab1115

  Copy full SHA for 7ab1115

• [VAN-582] properly convert mapped to indexed when there are multiple versions of the subcomponent

  tim-hoffman

  committed
  329308d

  Copy full SHA for 329308d

• fix XFAIL test outputs so they pass

  tim-hoffman

  committed
  56aec48

  Copy full SHA for 56aec48

• add test cases

  tim-hoffman

  committed
  e69fcd6

  Copy full SHA for e69fcd6

• handle CallBucket return case in mapped_to_indexed

  tim-hoffman

  committed
  0b5977e

  Copy full SHA for 0b5977e

• Fix the tests (due to rebasing)

  tim-hoffman

  committed
  760ba21

  Copy full SHA for 760ba21

• fix body_extractor assertion failure

  tim-hoffman

  committed
  4a75e65

  Copy full SHA for 4a75e65

• fix segfault from improper GEP

  tim-hoffman

  committed
  31a30f7

  Copy full SHA for 31a30f7

• use BucketId as key to speed up SimplificationPass

  tim-hoffman

  committed
  0111f3d

  Copy full SHA for 0111f3d

• fix function name to reflect actual usage

  tim-hoffman

  committed
  80800a9

  Copy full SHA for 80800a9

• Remove functions that cannot be reached from any template

  tim-hoffman

  committed
  ecfdc58

  Copy full SHA for ecfdc58

• xfail the new test temporarily ~eyeroll~

  tim-hoffman

  committed
  db5ec42

  Copy full SHA for db5ec42

• Fix merge conflict and tests

  tim-hoffman

  committed
  c1ee0be

  Copy full SHA for c1ee0be

Commits on Oct 30, 2023

• address PR feedback

  tim-hoffman

  committed
  08d46e8

  Copy full SHA for 08d46e8