From d6844943892e83a84816bd814573d1c614cbb1b1 Mon Sep 17 00:00:00 2001 From: Mariela Mantle Date: Fri, 8 Oct 2021 13:51:23 -0400 Subject: [PATCH] feat(docs): get mismatched Yul optimizer step lists back in sync --- docs/internals/optimizer.rst | 17 +++++++++-------- docs/yul.rst | 1 + 2 files changed, 10 insertions(+), 8 deletions(-) diff --git a/docs/internals/optimizer.rst b/docs/internals/optimizer.rst index e5de8a197..93179c041 100644 --- a/docs/internals/optimizer.rst +++ b/docs/internals/optimizer.rst @@ -275,7 +275,7 @@ The following transformation steps are the main components: - Common Subexpression Eliminator - Expression Simplifier - Redundant Assign Eliminator -- Full Function Inliner +- Full Inliner Optimizer Steps --------------- @@ -297,7 +297,8 @@ on the individual steps and their sequence below. - :ref:`for-loop-condition-into-body`. - :ref:`for-loop-condition-out-of-body`. - :ref:`for-loop-init-rewriter`. -- :ref:`functional-inliner`. +- :ref:`expression-inliner`. +- :ref:`full-inliner`. - :ref:`function-grouper`. - :ref:`function-hoister`. - :ref:`function-specializer`. @@ -1082,9 +1083,9 @@ The actual removal of the function is performed by the Unused Pruner. Function Inlining ----------------- -.. _functional-inliner: +.. _expression-inliner: -FunctionalInliner +ExpressionInliner ^^^^^^^^^^^^^^^^^ This component of the optimizer performs restricted function inlining by inlining functions that can be @@ -1107,12 +1108,12 @@ The result of this inlining is always a single expression. This component can only be used on sources with unique names. -.. _full-function-inliner: +.. _full-inliner: -FullFunctionInliner -^^^^^^^^^^^^^^^^^^^ +FullInliner +^^^^^^^^^^^ -The Full Function Inliner replaces certain calls of certain functions +The Full Inliner replaces certain calls of certain functions by the function's body. This is not very helpful in most cases, because it just increases the code size but does not have a benefit. Furthermore, code is usually very expensive and we would often rather have shorter diff --git a/docs/yul.rst b/docs/yul.rst index 0a90a2825..433f175f0 100644 --- a/docs/yul.rst +++ b/docs/yul.rst @@ -1265,6 +1265,7 @@ Abbreviation Full name ``a`` ``SSATransform`` ``t`` ``StructuralSimplifier`` ``u`` ``UnusedPruner`` +``p`` ``UnusedFunctionParameterPruner`` ``d`` ``VarDeclInitializer`` ============ ===============================