Method tryToSimplify

libevmasm/ExpressionClasses.cpp:205–234

}

ExpressionClasses::Id ExpressionClasses::tryToSimplify(Expression const& _expr)
{
	static Rules rules;
	assertThrow(rules.isInitialized(), OptimizerException, "Rule list not properly initialized.");

	if (
		!_expr.item ||
		_expr.item->type() != Operation ||
		!SemanticInformation::isDeterministic(*_expr.item)
	)
		return std::numeric_limits<unsigned>::max();

	if (auto match = rules.findFirstMatch(_expr, *this))
	{
		// Debug info
		if (false)
		{
			std::cout << "Simplifying " << *_expr.item << "(";
			for (Id arg: _expr.arguments)
				std::cout << fullDAGToString(arg) << ", ";
			std::cout << ")" << std::endl;
			std::cout << "with rule " << match->pattern.toString() << std::endl;
			std::cout << "to " << match->action().toString() << std::endl;
		}

		return rebuildExpression(ExpressionTemplate(match->action(), _expr.item->debugData()));
	}

	return std::numeric_limits<unsigned>::max();
}

ExpressionClasses::Id ExpressionClasses::rebuildExpression(ExpressionTemplate const& _template)
{