cerc-io/solidity
11
0 Fork 0
mirror of https://github.com/ethereum/solidity synced 2023-10-03 13:03:40 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity
Files
5294ead64f57ae01869927fd2e6861c7a3a2ee33
solidity/libyul/optimiser
T
History
Nikola Matić b205fe8494 Merge pull request #13501 from ethereum/document-unused-store-eliminator 
Document UnusedStoreEliminator
2022-10-21 07:06:20 -05:00
..
ASTCopier.cpp
…
ASTCopier.h
…
ASTWalker.cpp
…
ASTWalker.h
Minor fix to forEach on Yul AST nodes.
2021-11-05 13:24:30 +01:00
BlockFlattener.cpp
Keep canonical form of Yul code at all times.
2021-11-09 13:29:10 +01:00
BlockFlattener.h
Keep canonical form of Yul code at all times.
2021-11-09 13:29:10 +01:00
BlockHasher.cpp
…
BlockHasher.h
…
CallGraphGenerator.cpp
…
CallGraphGenerator.h
…
CircularReferencesPruner.cpp
Keep canonical form of Yul code at all times.
2021-11-09 13:29:10 +01:00
CircularReferencesPruner.h
…
CommonSubexpressionEliminator.cpp
Only analyze memory in DataFlowAnalyzer if it is needed in the optimizer step.
2022-07-11 15:51:25 +02:00
CommonSubexpressionEliminator.h
…
ConditionalSimplifier.cpp
Control flow side effects on non-disambiguated source.
2021-11-04 16:32:11 +01:00
ConditionalSimplifier.h
Add std:: qualifier to move() calls
2022-08-30 11:12:15 +02:00
ConditionalUnsimplifier.cpp
Control flow side effects on non-disambiguated source.
2021-11-04 16:32:11 +01:00
ConditionalUnsimplifier.h
Use side effects of user-defined functions in other optimizer steps.
2021-11-02 11:59:01 +01:00
ControlFlowSimplifier.cpp
Add helper to see if a switch has a default case.
2022-03-15 14:29:54 +01:00
ControlFlowSimplifier.h
…
DataFlowAnalyzer.cpp
Yul Optimizer: Simplify start offset of zero-length operations.
2022-08-15 15:42:51 +02:00
DataFlowAnalyzer.h
Yul Optimizer: Simplify start offset of zero-length operations.
2022-08-15 15:42:51 +02:00
DeadCodeEliminator.cpp
Control flow side effects on non-disambiguated source.
2021-11-04 16:32:11 +01:00
DeadCodeEliminator.h
Add std:: qualifier to move() calls
2022-08-30 11:12:15 +02:00
Disambiguator.cpp
…
Disambiguator.h
…
EqualStoreEliminator.cpp
Refactor data flow analyzer state access.
2022-03-14 19:32:33 +01:00
EqualStoreEliminator.h
Only analyze memory in DataFlowAnalyzer if it is needed in the optimizer step.
2022-07-11 15:51:25 +02:00
EquivalentFunctionCombiner.cpp
…
EquivalentFunctionCombiner.h
…
EquivalentFunctionDetector.cpp
…
EquivalentFunctionDetector.h
…
ExpressionInliner.cpp
…
ExpressionInliner.h
…
ExpressionJoiner.cpp
Keep canonical form of Yul code at all times.
2021-11-09 13:29:10 +01:00
ExpressionJoiner.h
…
ExpressionSimplifier.cpp
Yul Optimizer: Simplify start offset of zero-length operations.
2022-08-15 15:42:51 +02:00
ExpressionSimplifier.h
Yul Optimizer: Simplify start offset of zero-length operations.
2022-08-15 15:42:51 +02:00
ExpressionSplitter.cpp
…
ExpressionSplitter.h
…
ForLoopConditionIntoBody.cpp
…
ForLoopConditionIntoBody.h
…
ForLoopConditionOutOfBody.cpp
…
ForLoopConditionOutOfBody.h
…
ForLoopInitRewriter.cpp
Add std:: qualifier to move() calls
2022-08-30 11:12:15 +02:00
ForLoopInitRewriter.h
…
FullInliner.cpp
Update FullInliner.cpp
2022-08-14 03:14:15 +03:00
FullInliner.h
Relax inliner heuristics.
2022-05-23 13:37:50 +02:00
FunctionCallFinder.cpp
…
FunctionCallFinder.h
…
FunctionGrouper.cpp
…
FunctionGrouper.h
Keep canonical form of Yul code at all times.
2021-11-09 13:29:10 +01:00
FunctionHoister.cpp
…
FunctionHoister.h
…
FunctionSpecializer.cpp
Add std:: qualifier to move() calls
2022-08-30 11:12:15 +02:00
FunctionSpecializer.h
…
InlinableExpressionFunctionFinder.cpp
…
InlinableExpressionFunctionFinder.h
…
KnowledgeBase.cpp
Add std:: qualifier to move() calls
2022-08-30 11:12:15 +02:00
KnowledgeBase.h
Refactor data flow analyzer state access.
2022-03-14 19:32:33 +01:00
LoadResolver.cpp
Refactor data flow analyzer state access.
2022-03-14 19:32:33 +01:00
LoadResolver.h
Only analyze memory in DataFlowAnalyzer if it is needed in the optimizer step.
2022-07-11 15:51:25 +02:00
LoopInvariantCodeMotion.cpp
…
LoopInvariantCodeMotion.h
…
MainFunction.cpp
…
MainFunction.h
…
Metrics.cpp
…
Metrics.h
…
NameCollector.cpp
Refactor stack compressor.
2022-03-15 21:28:47 +01:00
NameCollector.h
Refactor stack compressor.
2022-03-15 21:28:47 +01:00
NameDispenser.cpp
Add std:: qualifier to move() calls
2022-08-30 11:12:15 +02:00
NameDispenser.h
…
NameDisplacer.cpp
…
NameDisplacer.h
…
NameSimplifier.cpp
Add std:: qualifier to move() calls
2022-08-30 11:12:15 +02:00
NameSimplifier.h
…
OptimiserStep.h
…
OptimizerUtilities.cpp
Equal store eliminator.
2022-01-03 15:52:05 +01:00
OptimizerUtilities.h
Equal store eliminator.
2022-01-03 15:52:05 +01:00
README.md
…
ReasoningBasedSimplifier.cpp
Forward declare Instruction enum in EVMVersion
2022-09-29 13:41:58 +02:00
ReasoningBasedSimplifier.h
…
Rematerialiser.cpp
Only analyze memory in DataFlowAnalyzer if it is needed in the optimizer step.
2022-07-11 15:51:25 +02:00
Rematerialiser.h
Only analyze memory in DataFlowAnalyzer if it is needed in the optimizer step.
2022-07-11 15:51:25 +02:00
Semantics.cpp
Use side effects of user-defined functions in other optimizer steps.
2021-11-02 11:59:01 +01:00
Semantics.h
Use side effects of user-defined functions in other optimizer steps.
2021-11-02 11:59:01 +01:00
SimplificationRules.cpp
Refactor data flow analyzer state access.
2022-03-14 19:32:33 +01:00
SimplificationRules.h
Refactor data flow analyzer state access.
2022-03-14 19:32:33 +01:00
SMTSolver.cpp
…
SMTSolver.h
…
SSAReverser.cpp
…
SSAReverser.h
…
SSATransform.cpp
Introduce forEach for yul ast nodes.
2021-11-04 16:14:43 +01:00
SSATransform.h
Rename RedundantAssignEliminator to UnusedAssignEliminator.
2021-11-23 10:38:36 +01:00
SSAValueTracker.cpp
…
SSAValueTracker.h
…
StackCompressor.cpp
Add std:: qualifier to move() calls
2022-08-30 11:12:15 +02:00
StackCompressor.h
…
StackLimitEvader.cpp
Introduce forEach for yul ast nodes.
2021-11-04 16:14:43 +01:00
StackLimitEvader.h
Compatibility with StackCompressor and StackLimitEvader.
2021-11-03 12:39:55 +01:00
StackToMemoryMover.cpp
Add std:: qualifier to move() calls
2022-08-30 11:12:15 +02:00
StackToMemoryMover.h
Split Common.h into Numeric.h.
2021-09-23 15:27:29 +02:00
StructuralSimplifier.cpp
Refix MSVC Debug crash
2022-04-26 01:52:56 +02:00
StructuralSimplifier.h
Remove unneeded header files.
2022-03-10 09:55:05 +01:00
Substitution.cpp
…
Substitution.h
…
Suite.cpp
Address review comments
2022-09-13 17:23:31 +02:00
Suite.h
Make hardcoded parts of the optimizer sequence configurable
2022-09-12 10:57:36 +02:00
SyntacticalEquality.cpp
…
SyntacticalEquality.h
…
TypeInfo.cpp
…
TypeInfo.h
…
UnusedAssignEliminator.cpp
Equal store eliminator.
2022-01-03 15:52:05 +01:00
UnusedAssignEliminator.h
Rename RedundantAssignEliminator to UnusedAssignEliminator.
2021-11-23 10:38:36 +01:00
UnusedFunctionParameterPruner.cpp
Replace use of boost::algorithm::all_of with ranges::all_of
2022-09-27 03:33:13 +02:00
UnusedFunctionParameterPruner.h
…
UnusedFunctionsCommon.cpp
…
UnusedFunctionsCommon.h
…
UnusedPruner.cpp
Keep canonical form of Yul code at all times.
2021-11-09 13:29:10 +01:00
UnusedPruner.h
Keep canonical form of Yul code at all times.
2021-11-09 13:29:10 +01:00
UnusedStoreBase.cpp
Add std:: qualifier to move() calls
2022-08-30 11:12:15 +02:00
UnusedStoreBase.h
Equal store eliminator.
2022-01-03 15:52:05 +01:00
UnusedStoreEliminator.cpp
Bugfix and tests.
2022-09-08 11:54:14 +02:00
UnusedStoreEliminator.h
Document UnusedStoreEliminator
2022-10-21 13:19:56 +02:00
VarDeclInitializer.cpp
…
VarDeclInitializer.h
…
VarNameCleaner.cpp
Split Common.h into Numeric.h.
2021-09-23 15:27:29 +02:00
VarNameCleaner.h
…

README.md

Yul-Based Optimizer

The documentation of the Yul-based optimizer module has been moved to the official Solidity documentation.

Please refer to the optimizer documentation for a description of all optimization stages and how to use the optimizer and to the Yul documentation for more information on the optimization step sequence and a list of abbreviations for each step.

Reference in new issue View Git Blame Copy Permalink