Method reduceSingleCaseSwitch

libyul/optimiser/ControlFlowSimplifier.cpp:192–227

}

OptionalStatements ControlFlowSimplifier::reduceSingleCaseSwitch(Switch& _switchStmt) const
{
	yulAssert(_switchStmt.cases.size() == 1, "Expected only one case!");

	auto& switchCase = _switchStmt.cases.front();
	langutil::DebugData::ConstPtr debugData = debugDataOf(*_switchStmt.expression);
	if (switchCase.value)
	{
		if (!m_dialect.equalityFunctionHandle())
			return {};
		BuiltinName const builtinName{debugData, *m_dialect.equalityFunctionHandle()};
		return make_vector<Statement>(If{
			std::move(_switchStmt.debugData),
			std::make_unique<Expression>(FunctionCall{
				debugData,
				builtinName,
				{std::move(*switchCase.value), std::move(*_switchStmt.expression)}
			}),
			std::move(switchCase.body)
		});
	}
	else
	{
		if (!m_dialect.discardFunctionHandle())
			return {};

		return make_vector<Statement>(
			makeDiscardCall(
				debugData,
				*m_dialect.discardFunctionHandle(),
				std::move(*_switchStmt.expression)
			),
			std::move(switchCase.body)
		);
	}
}