aboutsummaryrefslogtreecommitdiffstats
path: root/libyul/optimiser
Commit message (Collapse)AuthorAgeFilesLines
* Stabilize SSAReverser.Daniel Kirchner2019-01-185-5/+49
|
* Undo second SSA transformation and add more tests.Daniel Kirchner2019-01-182-29/+74
|
* Add SSAReverser to the yul optimiser.Daniel Kirchner2019-01-183-3/+135
|
* libyul: changing some AST members from shared_ptr<> to unique_ptr<>Christian Parpart2019-01-169-34/+52
| | | | | * Some spaces look a little more verbose now, but that shouln't be a problem as it also should raise readability, too. * This makes some use of return-value-optimizations also.
* Add equivalent function combiner as Yul optimizer step.Daniel Kirchner2019-01-169-48/+437
|
* Disallow mismatching types in switch cases and detect duplicates by value ↵Daniel Kirchner2019-01-159-20/+9
| | | | for number literals.
* Avoid explicit conversion from Block to Statement in CodeSize visit.Daniel Kirchner2019-01-111-1/+1
|
* Adjust inlining thresholds.chriseth2019-01-092-6/+10
|
* Variables are free with regards to code size.chriseth2019-01-092-3/+22
|
* Use the block flattener.chriseth2019-01-081-0/+8
|
* Make function grouper idempotent.chriseth2019-01-082-0/+18
|
* Take special functions that require literals into account.chriseth2019-01-086-6/+28
|
* Make the dialect available everywhere.chriseth2019-01-0724-80/+151
|
* Use rematerializer if variable is unreferenced or value is "cheap".chriseth2019-01-075-4/+124
|
* make use of C++ `= default` constructor declarations as well as more ↵Christian Parpart2018-12-191-1/+1
| | | | non-static member initialization syntax.
* Merge pull request #5613 from ethereum/yulStringLiteralschriseth2018-12-171-2/+2
|\ | | | | [Yul] Use C++ user-defined literals for creating YulString constants.
| * Use C++ user-defined literals for creating YulString constants.Daniel Kirchner2018-12-131-2/+2
| |
* | Remove VarDeclPropagator.chriseth2018-12-133-193/+0
| |
* | Do not create unassigned variables.chriseth2018-12-131-0/+4
| |
* | Add variable declaration initializer.chriseth2018-12-133-0/+96
| |
* | Consider return variables to be zero initially.chriseth2018-12-133-2/+15
| |
* | Do not inline into already big functions.chriseth2018-12-134-10/+31
| |
* | Support unassigned variables in the SSA value tracker and the data flow ↵chriseth2018-12-134-7/+15
|/ | | | analyzer.
* Fix compilation for certain combinations of boost and gcc.Daniel Kirchner2018-12-121-1/+1
|
* Reuse stack slots in Yul to EVM code generation.liangdzou2018-12-102-16/+24
|
* Add structural simplifier as optimization step for Yul.Daniel Kirchner2018-12-076-4/+204
|
* SSAValueTracker should only use nullptr for default valuesMathias Baumann2018-12-062-1/+3
|
* Merge pull request #5593 from ethereum/issue-5384chriseth2018-12-061-1/+2
|\ | | | | Fix expression simplifier asserting on default values
| * Fix expression simplifier asserting on default valuesMathias Baumann2018-12-051-1/+2
| |
* | Relax dependency of FullInliner on FunctionHoister.Daniel Kirchner2018-12-052-13/+23
|/
* Properly recurse in ForLoopInitRewriterDaniel Kirchner2018-12-041-2/+9
|
* Remove superfluous libyul/ASTDataForward.h and include libyul/AsmDataForward ↵Christian Parpart2018-11-2320-20/+20
| | | | directly instead.
* Isolating libyul library API into its own namespace `yul`.Christian Parpart2018-11-2362-154/+51
|
* Reorder some include files and group <libyul/>'s together (as much as possible)Christian Parpart2018-11-2327-30/+1
|
* Rewrite header paths to adapt to recent `git mv` of libsolidity/inlineasm to ↵Christian Parpart2018-11-2334-37/+37
| | | | libyul
* Introduce namespace `langutil` in liblangutil directory.Christian Parpart2018-11-224-1/+4
| | | | | | | Also: - Use {}-style list initialisation for SourceLocation construction - Introduce new system includes - Changes the API of the Scanner to take source as value (with move) as opposed to as a reference
* Isolating files shared between Yul- and Solidity language frontend.Christian Parpart2018-11-221-1/+1
|
* Merge pull request #5444 from Mordax/issue-5168-rmvirtualAlex Beregszaszi2018-11-2115-57/+57
|\ | | | | Removing redundant virtual from override function declaration
| * Removing redundant virtual from override function declarationmordax2018-11-2115-57/+57
| | | | | | | | | | | | Remove trailing whitespace Remove changelog change
* | [Yul] Implements a pass to rewrite for-loop's pre block into the parent's Block.Christian Parpart2018-11-163-0/+84
|/
* Remove variables that go out of scope from data structure.chriseth2018-11-132-10/+29
|
* Use map join algorithm for performance.chriseth2018-11-132-10/+35
|
* Remove side-effect-free statements.chriseth2018-11-093-4/+14
|
* Merge pull request #5325 from ethereum/fixDataFlowchriseth2018-11-081-0/+13
|\ | | | | [Yul] Fix data flow analyzer for function definitions.
| * Fix data flow analyzer for function definitions.chriseth2018-11-081-0/+13
| |
* | Merge pull request #5365 from ethereum/improveNameDispenserchriseth2018-11-082-3/+3
|\ \ | | | | | | [Yul] Use single counter for name dispenser for performance reasons.
| * | Use single counter for name dispenser for performance reasons.chriseth2018-11-082-3/+3
| |/
* / Add VarDeclPropagator to full suite and interactive optimizer.chriseth2018-11-081-0/+7
|/
* Performance: Replace string by special single-copy YulString class.chriseth2018-11-0843-168/+167
|
* Eliminate `byte`-typedef and use `uint8_t` in all their places instead.Christian Parpart2018-11-071-3/+3
| | | | | | | | | | | This change is made to (easily) be forward compatible with future C++ standards, in order to allow compiling the code with newer standards at some point in the future. * Removed the `using byte = uint8_t;` line from Common.h * Mechanically change all uses of `byte` to `uint8_t`. Tested with GCC 7.3 in C++11/14/17 modes :-)
* Merge pull request #5247 from ethereum/yul-vardecl-propagationchriseth2018-10-292-0/+192
|\ | | | | Yul: Implements empty-var-decl-propagation
| * Yul: Implements empty-var-decl-propagationChristian Parpart2018-10-262-0/+192
| |
* | [Yul] ExpressionJoiner: code cleanupChristian Parpart2018-10-262-36/+20
|/ | | | | | | | | * ensure public API is only containing `run(Block&)`, all the rest is private API / implementation details * adding some comments to class data members to quicker understand their meaning * eliminate unnecessary `operator()(If&)` as it's not changing default behaviour of `ASTModifier` * simplify readability of `visit(Expression&)`'s impl, also moving assert's into "isLatestStatementVarDeclOf", as this one is already ensuring exactly that. * ctor impl's use of ReferenceCounter use shortened. * renamed and improved `isLatestStatementVarDeclOf` to better match its meaning (especially since it's only used once)
* Merge pull request #5242 from ethereum/someCheckschriseth2018-10-251-0/+1
|\ | | | | Some well-formedness checks for the Yul AST.
| * Some well-formedness checks for the Yul AST.chriseth2018-10-221-0/+1
| |
* | Full suite tests.chriseth2018-10-252-0/+168
| |
* | Redundant assign eliminator.chriseth2018-10-242-0/+378
|/
* Merge pull request #5267 from ethereum/ssatransformchriseth2018-10-192-0/+228
|\ | | | | SSA transform - first step.
| * SSA transform - first step.chriseth2018-10-192-0/+228
| |
* | Merge pull request #5270 from ethereum/inlineFlexiblechriseth2018-10-192-12/+11
|\ \ | | | | | | Make full inliner more flexible.
| * | Make full inliner more flexible.chriseth2018-10-182-12/+11
| |/
* / Fix a bug in CSE where a variable that was already out of scope was used.chriseth2018-10-184-23/+34
|/
* Merge pull request #5240 from ethereum/limitDispenserSizechriseth2018-10-185-19/+57
|\ | | | | [Yul] Limit name length created by dispenser
| * Limit size of generated names and add convenience constructors.chriseth2018-10-175-19/+57
| |
* | Merge pull request #5232 from ethereum/inlineHeuristicchriseth2018-10-174-8/+73
|\ \ | |/ |/| [Yul] Add simple inlining heuristic
| * Use metrics in the full inliner.chriseth2018-10-174-8/+73
| |
* | Handle externally supplied variables correctly in disambiguator.chriseth2018-10-172-3/+12
| |
* | Prevent externally used functions from being removed.chriseth2018-10-172-5/+7
|/
* Inline each function separately.chriseth2018-10-162-28/+13
|
* New full inliner.chriseth2018-10-162-197/+102
|
* New simplifier via broken expressions.chriseth2018-10-164-15/+73
|
* SSA value tracker.chriseth2018-10-162-0/+111
|
* Yul: Introduces a block flattening pass + testsChristian Parpart2018-10-162-0/+75
|
* Some renaming leftovers.chriseth2018-10-152-3/+3
|
* Renaming namespace dev::julia to dev::yul.Christian Parpart2018-10-1548-49/+49
|
* Renaming libjulia to libyulChristian Parpart2018-10-1549-0/+4196