From f062fd0165b33ed2b4060942ba9e59734de8a65a Mon Sep 17 00:00:00 2001
From: artur-zawlocki <artur.zawlocki@gmail.com>
Date: Thu, 16 Oct 2014 12:35:51 +0100
Subject: [PATCH] Dumping CFG to .dot: showing indirect jumps with dashed lines

---
 evmcc/Compiler.cpp | 11 ++++-------
 1 file changed, 4 insertions(+), 7 deletions(-)

diff --git a/evmcc/Compiler.cpp b/evmcc/Compiler.cpp
index a7e8ba483..8acfa7d05 100644
--- a/evmcc/Compiler.cpp
+++ b/evmcc/Compiler.cpp
@@ -935,7 +935,6 @@ void Compiler::dumpBasicBlockGraph(std::ostream& out)
 	    << "  node [shape=record];\n"
 	    << "  entry [share=record, label=\"entry block\"];\n";
 
-	// std::map<std::string, BasicBlock*> blocksByName;
 	std::vector<BasicBlock*> blocks;
 	for (auto& pair : this->basicBlocks)
 	{
@@ -948,7 +947,6 @@ void Compiler::dumpBasicBlockGraph(std::ostream& out)
 	for (auto bb : blocks)
 	{
 		std::string blockName = bb->llvm()->getName();
-		// blocksByName.insert(std::pair<std::string, BasicBlock*>(blockName, bb));
 
 		int numOfPhiNodes = 0;
 		auto firstNonPhiPtr = bb->llvm()->getFirstNonPHI();
@@ -957,10 +955,8 @@ void Compiler::dumpBasicBlockGraph(std::ostream& out)
 		auto endStackSize = bb->getStack().size();
 
 		out << "  \"" << blockName  << "\" [shape=record, label=\""
-			<< std::to_string(numOfPhiNodes) << "|"
-			<< blockName << "|"
-			<< std::to_string(endStackSize)
-		<< "\"];\n";
+			<< numOfPhiNodes << "|" << blockName << "|" << endStackSize
+			<< "\"];\n";
 	}
 
 	out << "  entry -> \"Instr.0\";\n";
@@ -974,7 +970,8 @@ void Compiler::dumpBasicBlockGraph(std::ostream& out)
 		for (llvm::succ_iterator it = llvm::succ_begin(bb->llvm()); it != end; ++it)
 		{
 			std::string succName = it->getName();
-			out << "  \"" << blockName << "\" -> \"" << succName << "\";\n";
+			out << "  \"" << blockName << "\" -> \"" << succName << "\""
+			    << ((bb == m_jumpTableBlock.get()) ? " [style = dashed];\n" : "\n");
 		}
 	}