dewolf icon indicating copy to clipboard operation
dewolf copied to clipboard

[Expression Propagation] remove propagation limit

Open mari-mari opened this issue 3 years ago • 0 comments

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 and expression-propagation-function-call from util/default.json.
  • Remove the rule that controls expression length (_resulting_instruction_is_too_long(self, target, definition){...}) from ExpressionPropagationBase.
  • Remove calls to _resulting_instruction_is_too_long from ExpressionPropagation, ExpressionPropagationMemory, ExpressionPropagationFunctionCall.

mari-mari avatar Jan 24 '22 15:01 mari-mari