dewolf
dewolf copied to clipboard
[Expression Propagation] remove propagation limit
Proposal
We have decided to propagate expressions so far it is possible. Afterwards, subsequent stages should control resulting expression length. Hence, we don't need propagation limits in the user config.
Approach
- Remove all configuration options for
expression-propagation
,expression-propagation-memory
andexpression-propagation-function-call
fromutil/default.json
. - Remove the rule that controls expression length (
_resulting_instruction_is_too_long(self, target, definition){...}
) fromExpressionPropagationBase
. - Remove calls to
_resulting_instruction_is_too_long
fromExpressionPropagation
,ExpressionPropagationMemory
,ExpressionPropagationFunctionCall
.