Method run

test/libyul/ssa/StackLayoutGeneratorTest.cpp:132–223

}

frontend::test::TestCase::TestResult StackLayoutGeneratorTest::run(std::ostream& _stream, std::string const& _linePrefix, bool const _formatted)
{
	static std::string_view constexpr SUBOBJECT_GRAPH_SEPARATOR = "\n>>>>> GRAPH SEPARATOR\n";
	YulStack const yulStack = yul::test::parseYul(m_source);
	if (yulStack.hasErrors())
	{
		yul::test::printYulErrors(yulStack, _stream, _linePrefix, _formatted);
		return TestResult::FatalError;
	}

	std::set<Object const*> visited;
	visited.insert(yulStack.parserResult().get());

	std::vector<Object const*> toVisit{yulStack.parserResult().get()};
	while (!toVisit.empty())
	{
		auto const& object = *toVisit.back();
		toVisit.pop_back();

		auto const* evmDialect = dynamic_cast<EVMDialect const*>(object.dialect());
		yulAssert(evmDialect);

		std::unique_ptr<ControlFlowGraphs> const controlFlowGraphs = SSACFGBuilder::build(
			*object.analysisInfo,
			*evmDialect,
			object.code()->root(),
			false
		);
		// insert separator
		if (!m_obtainedResult.empty())
			m_obtainedResult += SUBOBJECT_GRAPH_SEPARATOR;

		m_obtainedResult += "digraph SSACFG {\nnodesep=0.7;\ngraph[fontname=\"DejaVu Sans\", rankdir=LR]\nnode[shape=box,fontname=\"DejaVu Sans\"];\n\n";

		for (std::size_t index = 0; index < controlFlowGraphs->functionGraphs.size(); ++index)
		{
			auto const& cfg = *controlFlowGraphs->functionGraphs[index];
			SSACFGStackLayout const layout = StackLayoutGenerator::generate(
				LivenessAnalysis(cfg),
				gatherCallSites(cfg),
				static_cast<ControlFlowGraphs::FunctionGraphID>(index)
			);
			StackLayoutDotExporter exporter(cfg, index, layout, *controlFlowGraphs);
			if (!cfg.isMainGraph())
				m_obtainedResult += exporter.exportFunction(cfg, false);
			else
				m_obtainedResult += exporter.exportBlocks(cfg.entry, false);
		}

		m_obtainedResult += "}\n";

		for (auto const& subNode: object.subObjects)
			if (auto subObject = std::dynamic_pointer_cast<Object>(subNode))
				if (!visited.contains(subObject.get()))
				{
					visited.insert(subObject.get());
					toVisit.push_back(subObject.get());
				}