Code

refactor: reimplement AST folding#3669

Code

Merged

charles-cooper merged 189 commits intovyperlang:mastervyperlang/vyper:masterfrom tserg:refactor/folding_alt2tserg/vyper:refactor/folding_alt2Copy head branch name to clipboardDec 31, 2023

+1,464-1,230

Commits

Commits on Nov 8, 2023

• wip

  tserg

  committed
  50dc8fa

Commits on Nov 9, 2023

• Merge branch 'master' of https://github.com/vyperlang/vyper into refactor/folding_alt2

  tserg

  committed
  78d954c

• use folded kwargs for fn defaults

  tserg

  committed
  fafb447

• separate expansion steps

  tserg

  committed
  0f6b929

• add comment

  tserg

  committed
  6069f3b

Commits on Nov 10, 2023

• move remove unused statements after folding

  tserg

  committed
  1c4bf3d

• fix get_index_value

  tserg

  committed
  0aa3b69

• wip

  tserg

  committed
  f2afc0d

• fix lint

  tserg

  committed
  7f75749

Commits on Nov 12, 2023

• add compile time and runtime constants attributes

  tserg

  committed
  415e123

Commits on Nov 13, 2023

• fix list tests

  tserg

  committed
  1557927

• fix tuple exprinfo ctor; fix lint

  tserg

  committed
  0bebd49

• set folded_value metadata in constant node ctor

  tserg

  committed
  0f0ecd1

• fix for loop bound

  tserg

  committed
  e9be281

• wip

  tserg

  committed
  94f4f88

• fix folding tests

  tserg

  committed
  3340cd1

• fix darray from annotation

  tserg

  committed
  763ab84

• fix raw call kwargs

  tserg

  committed
  56b4149

• fix constant expression visit

  tserg

  committed
  7c4fe7b

• fix unary op

  tserg

  committed
  e549ce2

• fix exception

  tserg

  committed
  7409e11

• revert folding tests

  tserg

  committed
  a89b14b

• remove literal bounds validation

  tserg

  committed
  6d0f714

• validate folded value with typ

  tserg

  committed
  7b38284

• revert literal validation in folding

  tserg

  committed
  78de745

• fix some tests

  tserg

  committed
  519ec25

• fix kwarg handler

  tserg

  committed
  04ccfa6

• fix for semantics

  tserg

  committed
  c10095b

• fix iteration tests

  tserg

  committed
  e14da49

• fix lint

  tserg

  committed
  9b94fdd

Commits on Nov 14, 2023

• update tests

  tserg

  committed
  e74d701

• fix minmax

  tserg

  committed
  bbf0510

• fix lint

  tserg

  committed
  6be94e3

• fix infer_arg_types sig

  tserg

  committed
  0b0c947

• fix prefold annotation

  tserg

  committed
  5fa44d7

• make prefold a wrapper over evaluate

  tserg

  committed
  0252268

• fix abs test

  tserg

  committed
  e46f528

• fix lint

  tserg

  committed
  f96d25f

• fix typo

  tserg

  committed
  d961beb

• fix interface tests

  tserg

  committed
  3c37c52

• fix some builtins wip

  tserg

  committed
  23fe402

• fix tests

  tserg

  committed
  dd8cb8f

• fix interface repr

  tserg

  committed
  93c2e31

• add annotated ast output

  tserg

  committed
  02af165

• fix compiler phases

  tserg

  committed
  3b59708

• add prefold to builtin fn sig

  tserg

  committed
  0bfaf2f

• clean up prefold

  tserg

  committed
  78bad6c

• fix lint

  tserg

  committed
  524fb8f

• fix mypy lint

  tserg

  committed
  92a33cf

• fix ast dict test

  tserg

  committed
  28e202f

• fix mypy

  tserg

  committed
  07f2026

Commits on Nov 15, 2023

• add tests

  tserg

  committed
  092f71b

• fix builtins wip

  tserg

  committed
  cd5f6cc

• add raw ast output

  tserg

  committed
  b0b39e4

• remove dead code

  tserg

  committed
  55a125e

• add type propagation for subscript folding

  tserg

  committed
  c480521

• rename to always_folded_before_codegen

  tserg

  committed
  6de0e81

• introduce constancy

  tserg

  committed
  6a0ca23

• fix lint

  tserg

  committed
  d13eabb

• rename to VariableConstancy

  tserg

  committed
  16b069c

• fix lint

  tserg

  committed
  2705f10

• use IntEnum

  tserg

  committed
  5a51de3

• fix more builtins

  tserg

  committed
  3078bcc

• add test

  tserg

  committed
  1683fb8

• rename unannotated ast output option

  tserg

  committed
  28b02e7

• fix method id typo

  tserg

  committed
  7b46c4e

• fix help test

  tserg

  committed
  fc565d6

Commits on Nov 16, 2023

• refactor user defined const folding

  tserg

  committed
  7a13db2

• add darray test

  tserg

  committed
  8785e02

• combine check_kwargable and check_constant

  tserg

  committed
  926fef6

• remove folded_before_codegen attribute

  tserg

  committed
  19b0102

• fix lint

  tserg

  committed
  596958a

• fix methodid

  tserg

  committed
  19f5c7f

• clean up NameConstant

  tserg

  committed
  c7585c6

• rewrite shift check

  tserg

  committed
  12ac785

Commits on Nov 17, 2023

• clean up builtins

  tserg

  committed
  37681b7

• add builtins tests

  tserg

  committed
  d82dbc0

• fix call args constancy

  tserg

  committed
  eda9ba8

• fix abs test

  tserg

  committed
  2520b90

• improve error msg for as_wei_value

  tserg

  committed
  3d7d317

• fix folded builtins for constants

  tserg

  committed
  c77244c

• fix constant var decl expr visit

  tserg

  committed
  f39effa

• fix lint

  tserg

  committed
  e55eba6

Commits on Nov 18, 2023

• add unaryop and compare to constancy check

  tserg

  committed
  5816107

• add for bound tests

  tserg

  committed
  5620301

• clean up index value getter

  tserg

  committed
  6a5e00d

• fix lint

  tserg

  committed
  6505a94

Commits on Dec 21, 2023

• Merge branch 'master' of https://github.com/vyperlang/vyper into refactor/folding_alt2

  tserg

  committed
  6af3191

• fix lint

  tserg

  committed
  0f2302b

• fix tests; relax type propagation in folding builtins

  tserg

  committed
  4256dca

• rename evaluate to fold

  tserg

  committed
  ce3f61f

Commits on Dec 22, 2023

• add immutable enum to modifiability

  tserg

  committed
  83a8b66

• add _is_prefoldable attribute to nodes

  tserg

  committed
  59d2a04

Commits on Dec 24, 2023

• Merge branch 'master' of https://github.com/vyperlang/vyper into refactor/folding_alt2

  tserg

  committed
  be4be41

• remove prefold; add get_folded_value and get_folded_value_maybe

  tserg

  committed
  7898efe

• uncatch vy exc in prefold

  tserg

  committed
  3b6a566

• fix unary fold node type

  tserg

  committed
  51d9344

• fix bool test

  tserg

  committed
  64214ec

• rename get_folded_value to get_folded_value_throwing

  tserg

  committed
  1d3de4b

• use maybe for side efx in prefold

  tserg

  committed
  1d8b5be

• replace get with maybe variant

  tserg

  committed
  6e3ad8e

• use get_folded_value_throwing for prefold

  tserg

  committed
  5bde191

Commits on Dec 25, 2023

• Merge branch 'master' of https://github.com/vyperlang/vyper into refactor/folding_alt2

  tserg

  committed
  4f4576c

• remove is_immutable; rename constancy to modifiability

  tserg

  committed
  6daf69f

Commits on Dec 26, 2023

• use throwing instead of maybe when folding

  tserg

  committed
  ade20fd

• fix as wei value test

  tserg

  committed
  b0a295d

• fix lint

  tserg

  committed
  6838aa2

• use throwing in prefold

  tserg

  committed
  bce87d1

• remove folding

  tserg

  committed
  e4fb5d8

• Merge branch 'master' of https://github.com/vyperlang/vyper into refactor/no_folding

  tserg

  committed
  7134cc2

Commits on Dec 27, 2023

• fix minmax folded node

  tserg

  committed
  1f9be95

• improve tests

  tserg

  committed
  81d1bfb

• use pytest.raises instead of assert_compile_failed

  tserg

  committed
  3736bf5

• Merge branch 'refactor/folding_alt2' into refactor/no_folding

  tserg

  committed
  dd2522d

• fix kwarg handling

  tserg

  committed
  e1e5576

• fix kwargs and constant structs

  tserg

  committed
  3a642fb

• fix list codegen

  tserg

  committed
  27441ec

• uncatch vyper exception when prefolding call nodes

  tserg

  committed
  394c9fb

Commits on Dec 28, 2023

• handle const, list and tuples

  tserg

  committed
  17f01fa

• Merge branch 'master' of https://github.com/vyperlang/vyper into refactor/folding_alt2

  tserg

  committed
  4df618f

• fix tuple

  tserg

  committed
  93a9b42

• read folded value from metadata

  tserg

  committed
  14d1e09

• Merge branch 'master' of https://github.com/vyperlang/vyper into refactor/no_folding

  tserg

  committed
  85de1de

• try reverting const amendment

  tserg

  committed
  59f7d36

• revert; assert struct

  tserg

  committed
  1f57495

• clean up expr codegen ctor

  tserg

  committed
  13b341b

• relax module node for exception str

  tserg

  committed
  1709d3a

• fix lint

  tserg

  committed
  fe925d6

• Merge branch 'refactor/no_folding' into refactor/folding_alt2

  tserg

  committed
  8ddd2ca

• remove folded ast output

  tserg

  committed
  5cffa31

• remove folding

  tserg

  committed
  aff2fc1

• update READMEs

  tserg

  committed
  a37fc0e

• remove outdated comment

  tserg

  committed
  bb066c8

• fix tests

  tserg

  committed
  20c773d

• fix outdated comments

  tserg

  committed
  9ae1344

• replace _kwargable with modifiability for builtins

  tserg

  committed
  d6f79e8

Commits on Dec 29, 2023

• remove maybe variant; add is_literal_value and has_folded_value properties

  tserg

  committed
  3cf993b

• refactor is_literal_value

  tserg

  committed
  9dbc5db

• minor touch up

  tserg

  committed
  4130dbb

• remove _is_prefoldable

  tserg

  committed
  b3d9f20

• minor clean up

  tserg

  committed
  6d2addc

• fix range

  tserg

  committed
  6eca837

• clean up has_folded_value branches

  tserg

  committed
  5432063

• add expected_return_typ named kwarg

  tserg

  committed
  87e6469

• fix mypy

  tserg

  committed
  9beacb2

• fix range test

  tserg

  committed
  31791b2

• try simplifying const structs codegen

  tserg

  committed
  37e9a28

Commits on Dec 30, 2023

• move validate_literal_nodes into parse_with_settings

  Show description for 1375c03
  charles-cooper

  committed
  1375c03

• update some comments

  charles-cooper

  committed
  00dadf7

• set parent on folded nodes

  charles-cooper

  committed
  5012cb6

• fix lint

  charles-cooper

  committed
  2adda25

• remove dead function: Module.replace_in_tree

  charles-cooper

  committed
  ead4f3d

• improve a comment

  charles-cooper

  committed
  ecabcc5

• refactor pre_typecheck

  Show description for 730fbc6
  charles-cooper

  committed
  730fbc6

• fix modification of list while iterating over it

  charles-cooper

  committed
  0e225d5

• update calls to fold() in tests

  charles-cooper

  committed
  c947593

• bugfix

  charles-cooper

  committed
  8f29c77

• remove an isinstance check

  charles-cooper

  committed
  4095ced

• fix mypy

  charles-cooper

  committed
  be04b01

• fix some exception handling

  charles-cooper

  committed
  211a233

• fix some more bugs

  charles-cooper

  committed
  f862b2b

• rollback change moving validate_literal_nodes

  Show description for 9a318d5
  charles-cooper

  committed
  9a318d5

• fix lint

  charles-cooper

  committed
  c2ec198

• clarify a comment

  charles-cooper

  committed
  cc15bf3

• improve vy_ast.Hex API

  Show description for ce8a192
  charles-cooper

  committed
  ce8a192

• rewrite some error messages

  charles-cooper

  committed
  1ea47ad

• remove "type-checking" _try_folds

  Show description for c87b156
  charles-cooper

  committed
  c87b156

• fix a bug

  charles-cooper

  committed
  6437230

• rewrite a ternary op

  charles-cooper

  committed
  5648335

Commits on Dec 31, 2023

• simplify the modifiability hierarchy

  charles-cooper

  committed
  94a562e

• fix lint

  charles-cooper

  committed
  853f046

• fix transient variables

  charles-cooper

  committed
  d04fb7c

• some comments

  charles-cooper

  committed
  c93ece1

• add another note

  charles-cooper

  committed
  2f00b29

• add back in deepcopy of vyper_module

  Show description for 58f25b6
  charles-cooper

  committed
  58f25b6

• change unannotated_ast/ast to ast/annotated_ast, respectively

  Show description for 580bd89
  charles-cooper

  committed
  580bd89

• fix lint

  charles-cooper

  committed
  3fb3bc0

• fix lint, some tests

  charles-cooper

  committed
  8ac8fe6

• simplify infer_kwarg_types for method_id

  charles-cooper

  committed
  4937876

• use pytest.raises instead of assert_compile_failed for a new test

  charles-cooper

  committed
  41e0fa3

• clarify a branch condition

  charles-cooper

  committed
  2303b37

• remove a redundant __init__ implementation

  charles-cooper

  committed
  a31611e

• lint, fix an error message

  charles-cooper

  committed
  18a1453

• improve an error message

  charles-cooper

  committed
  d826be8

• fix: block None nodes at ast level

  charles-cooper

  committed
  c4757dd

• fix lint

  charles-cooper

  committed
  f7edbbd

• fix an error message

  charles-cooper

  committed
  4296250

• fix some comments, remove a dead function

  charles-cooper

  committed
  1ada8f1

• fix comment

  charles-cooper

  committed
  c19f04e