CPPBackend.cpp revision 7e6d7451ae35ff148e8e264c6593780101c22d3b
15027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov//===-- CPPBackend.cpp - Library for converting LLVM code to C++ code -----===// 25027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov// 35027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov// The LLVM Compiler Infrastructure 45027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov// 55027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov// This file is distributed under the University of Illinois Open Source 65027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov// License. See LICENSE.TXT for details. 75027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov// 85027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov//===----------------------------------------------------------------------===// 95027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov// 105027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov// This file implements the writing of the LLVM IR as a set of C++ calls to the 115027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov// LLVM IR interface. The input module is assumed to be verified. 125027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov// 135027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov//===----------------------------------------------------------------------===// 145027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov 155027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov#include "CPPTargetMachine.h" 165027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov#include "llvm/CallingConv.h" 175027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov#include "llvm/Constants.h" 185027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov#include "llvm/DerivedTypes.h" 195027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov#include "llvm/InlineAsm.h" 205027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov#include "llvm/Instruction.h" 215027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov#include "llvm/Instructions.h" 225027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov#include "llvm/Module.h" 235027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov#include "llvm/Pass.h" 245027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov#include "llvm/PassManager.h" 255027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov#include "llvm/TypeSymbolTable.h" 265027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov#include "llvm/ADT/SmallPtrSet.h" 275027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov#include "llvm/Support/CommandLine.h" 283046470919e648ff7c011bda9c094163062c83dcTorok Edwin#include "llvm/Support/ErrorHandling.h" 2971847813bc419f7a0667468136a07429c6d9f164David Greene#include "llvm/Support/FormattedStream.h" 300c795d61878156817cedbac51ec2921f2634c1a5Daniel Dunbar#include "llvm/Target/TargetRegistry.h" 3123132b188ba651ba172380cd082cc286df73d440Chris Lattner#include "llvm/ADT/StringExtras.h" 325027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov#include "llvm/Config/config.h" 335027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov#include <algorithm> 345027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov#include <set> 355027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov 365027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikovusing namespace llvm; 375027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov 385027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikovstatic cl::opt<std::string> 398d3e74ed49a11cd787d281a4a7afaf0f829c3fcbAnton KorobeynikovFuncName("cppfname", cl::desc("Specify the name of the generated function"), 405027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov cl::value_desc("function name")); 415027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov 425027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikovenum WhatToGenerate { 435027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov GenProgram, 445027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov GenModule, 455027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov GenContents, 465027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov GenFunction, 475027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov GenFunctions, 485027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov GenInline, 495027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov GenVariable, 505027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov GenType 515027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov}; 525027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov 538d3e74ed49a11cd787d281a4a7afaf0f829c3fcbAnton Korobeynikovstatic cl::opt<WhatToGenerate> GenerationType("cppgen", cl::Optional, 545027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov cl::desc("Choose what kind of output to generate"), 555027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov cl::init(GenProgram), 565027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov cl::values( 578d3e74ed49a11cd787d281a4a7afaf0f829c3fcbAnton Korobeynikov clEnumValN(GenProgram, "program", "Generate a complete program"), 588d3e74ed49a11cd787d281a4a7afaf0f829c3fcbAnton Korobeynikov clEnumValN(GenModule, "module", "Generate a module definition"), 598d3e74ed49a11cd787d281a4a7afaf0f829c3fcbAnton Korobeynikov clEnumValN(GenContents, "contents", "Generate contents of a module"), 608d3e74ed49a11cd787d281a4a7afaf0f829c3fcbAnton Korobeynikov clEnumValN(GenFunction, "function", "Generate a function definition"), 618d3e74ed49a11cd787d281a4a7afaf0f829c3fcbAnton Korobeynikov clEnumValN(GenFunctions,"functions", "Generate all function definitions"), 628d3e74ed49a11cd787d281a4a7afaf0f829c3fcbAnton Korobeynikov clEnumValN(GenInline, "inline", "Generate an inline function"), 638d3e74ed49a11cd787d281a4a7afaf0f829c3fcbAnton Korobeynikov clEnumValN(GenVariable, "variable", "Generate a variable definition"), 648d3e74ed49a11cd787d281a4a7afaf0f829c3fcbAnton Korobeynikov clEnumValN(GenType, "type", "Generate a type definition"), 655027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov clEnumValEnd 665027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov ) 675027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov); 685027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov 698d3e74ed49a11cd787d281a4a7afaf0f829c3fcbAnton Korobeynikovstatic cl::opt<std::string> NameToGenerate("cppfor", cl::Optional, 705027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov cl::desc("Specify the name of the thing to generate"), 715027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov cl::init("!bad!")); 725027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov 730c795d61878156817cedbac51ec2921f2634c1a5Daniel Dunbarextern "C" void LLVMInitializeCppBackendTarget() { 740c795d61878156817cedbac51ec2921f2634c1a5Daniel Dunbar // Register the target. 75214e22396fe86aa20c587d5c7df9ce63bfd4549eDaniel Dunbar RegisterTargetMachine<CPPTargetMachine> X(TheCppBackendTarget); 760c795d61878156817cedbac51ec2921f2634c1a5Daniel Dunbar} 771555a23335400143f2b54a66aedc4b5cbbb79f8dDouglas Gregor 78844731a7f1909f55935e3514c9e713a62d67662eDan Gohmannamespace { 795027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov typedef std::vector<const Type*> TypeList; 805027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov typedef std::map<const Type*,std::string> TypeMap; 815027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov typedef std::map<const Value*,std::string> ValueMap; 825027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov typedef std::set<std::string> NameSet; 835027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov typedef std::set<const Type*> TypeSet; 845027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov typedef std::set<const Value*> ValueSet; 855027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov typedef std::map<const Value*,std::string> ForwardRefMap; 865027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov 875027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov /// CppWriter - This class is the main chunk of code that converts an LLVM 885027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov /// module to a C++ translation unit. 895027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov class CppWriter : public ModulePass { 9071847813bc419f7a0667468136a07429c6d9f164David Greene formatted_raw_ostream &Out; 915027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov const Module *TheModule; 925027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov uint64_t uniqueNum; 935027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov TypeMap TypeNames; 945027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov ValueMap ValueNames; 955027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov TypeMap UnresolvedTypes; 965027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov TypeList TypeStack; 975027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov NameSet UsedNames; 985027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov TypeSet DefinedTypes; 995027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov ValueSet DefinedValues; 1005027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov ForwardRefMap ForwardRefs; 1015027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov bool is_inline; 1025027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov 1035027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov public: 1045027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov static char ID; 10571847813bc419f7a0667468136a07429c6d9f164David Greene explicit CppWriter(formatted_raw_ostream &o) : 106ae73dc1448d25b02cabc7c64c86c64371453dda8Dan Gohman ModulePass(&ID), Out(o), uniqueNum(0), is_inline(false) {} 1075027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov 1085027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov virtual const char *getPassName() const { return "C++ backend"; } 1095027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov 1105027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov bool runOnModule(Module &M); 1115027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov 1125027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov void printProgram(const std::string& fname, const std::string& modName ); 1135027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov void printModule(const std::string& fname, const std::string& modName ); 1145027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov void printContents(const std::string& fname, const std::string& modName ); 1155027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov void printFunction(const std::string& fname, const std::string& funcName ); 1165027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov void printFunctions(); 1175027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov void printInline(const std::string& fname, const std::string& funcName ); 1185027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov void printVariable(const std::string& fname, const std::string& varName ); 1195027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov void printType(const std::string& fname, const std::string& typeName ); 1205027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov 1215027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov void error(const std::string& msg); 1225027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov 1235027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov private: 1245027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov void printLinkageType(GlobalValue::LinkageTypes LT); 1255027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov void printVisibilityType(GlobalValue::VisibilityTypes VisTypes); 12665c3c8f323198b99b88b109654194540cf9b3fa5Sandeep Patel void printCallingConv(CallingConv::ID cc); 1275027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov void printEscapedString(const std::string& str); 1285027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov void printCFP(const ConstantFP* CFP); 1295027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov 1305027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov std::string getCppName(const Type* val); 1315027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov inline void printCppName(const Type* val); 1325027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov 1335027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov std::string getCppName(const Value* val); 1345027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov inline void printCppName(const Value* val); 1355027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov 1360598866c052147c31b808391f58434ce3dbfb838Devang Patel void printAttributes(const AttrListPtr &PAL, const std::string &name); 1375027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov bool printTypeInternal(const Type* Ty); 1385027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov inline void printType(const Type* Ty); 1395027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov void printTypes(const Module* M); 1405027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov 1415027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov void printConstant(const Constant *CPV); 1425027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov void printConstants(const Module* M); 1435027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov 1445027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov void printVariableUses(const GlobalVariable *GV); 1455027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov void printVariableHead(const GlobalVariable *GV); 1465027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov void printVariableBody(const GlobalVariable *GV); 1475027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov 1485027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov void printFunctionUses(const Function *F); 1495027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov void printFunctionHead(const Function *F); 1505027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov void printFunctionBody(const Function *F); 1515027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov void printInstruction(const Instruction *I, const std::string& bbname); 1525027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov std::string getOpName(Value*); 1535027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov 1545027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov void printModuleBody(); 1555027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov }; 1567e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner} // end anonymous namespace. 1577e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner 1587e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner// FIXME: Shouldn't be using globals for this. 1597e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattnerstatic unsigned indent_level = 0; 1607e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattnerstatic formatted_raw_ostream& nl(formatted_raw_ostream &Out, int delta = 0) { 1617e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "\n"; 1627e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (delta >= 0 || indent_level >= unsigned(-delta)) 1637e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner indent_level += delta; 1647e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner for (unsigned i = 0; i < indent_level; ++i) 1657e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << " "; 1667e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner return Out; 1677e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner} 1685027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov 1697e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattnerstatic inline void in() { indent_level++; } 1707e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattnerstatic inline void out() { if (indent_level >0) indent_level--; } 1715027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov 1727e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattnerstatic inline void sanitize(std::string &str) { 1737e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner for (size_t i = 0; i < str.length(); ++i) 1747e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (!isalnum(str[i]) && str[i] != '_') 1757e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner str[i] = '_'; 1767e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner} 1775027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov 1787e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattnerstatic std::string getTypePrefix(const Type *Ty) { 1797e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner switch (Ty->getTypeID()) { 1807e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Type::VoidTyID: return "void_"; 1817e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Type::IntegerTyID: 1827e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner return "int" + utostr(cast<IntegerType>(Ty)->getBitWidth()) + "_"; 1837e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Type::FloatTyID: return "float_"; 1847e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Type::DoubleTyID: return "double_"; 1857e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Type::LabelTyID: return "label_"; 1867e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Type::FunctionTyID: return "func_"; 1877e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Type::StructTyID: return "struct_"; 1887e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Type::ArrayTyID: return "array_"; 1897e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Type::PointerTyID: return "ptr_"; 1907e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Type::VectorTyID: return "packed_"; 1917e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Type::OpaqueTyID: return "opaque_"; 1927e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner default: return "other_"; 1935027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov } 1947e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner return "unknown_"; 1957e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner} 1965027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov 1977e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner// Looks up the type in the symbol table and returns a pointer to its name or 1987e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner// a null pointer if it wasn't found. Note that this isn't the same as the 1997e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner// Mode::getTypeName function which will return an empty string, not a null 2007e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner// pointer if the name is not found. 2017e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattnerstatic const std::string * 2027e6d7451ae35ff148e8e264c6593780101c22d3bChris LattnerfindTypeName(const TypeSymbolTable& ST, const Type* Ty) { 2037e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner TypeSymbolTable::const_iterator TI = ST.begin(); 2047e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner TypeSymbolTable::const_iterator TE = ST.end(); 2057e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner for (;TI != TE; ++TI) 2067e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (TI->second == Ty) 2077e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner return &(TI->first); 2087e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner return 0; 2097e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner} 2107e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner 2117e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattnervoid CppWriter::error(const std::string& msg) { 2127e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner report_fatal_error(msg); 2137e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner} 2147e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner 2157e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner// printCFP - Print a floating point constant .. very carefully :) 2167e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner// This makes sure that conversion to/from floating yields the same binary 2177e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner// result so that we don't lose precision. 2187e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattnervoid CppWriter::printCFP(const ConstantFP *CFP) { 2197e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner bool ignored; 2207e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner APFloat APF = APFloat(CFP->getValueAPF()); // copy 2217e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (CFP->getType() == Type::getFloatTy(CFP->getContext())) 2227e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner APF.convert(APFloat::IEEEdouble, APFloat::rmNearestTiesToEven, &ignored); 2237e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "ConstantFP::get(mod->getContext(), "; 2247e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "APFloat("; 2255027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov#if HAVE_PRINTF_A 2267e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner char Buffer[100]; 2277e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner sprintf(Buffer, "%A", APF.convertToDouble()); 2287e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if ((!strncmp(Buffer, "0x", 2) || 2297e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner !strncmp(Buffer, "-0x", 3) || 2307e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner !strncmp(Buffer, "+0x", 3)) && 2317e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner APF.bitwiseIsEqual(APFloat(atof(Buffer)))) { 2327e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (CFP->getType() == Type::getDoubleTy(CFP->getContext())) 2337e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "BitsToDouble(" << Buffer << ")"; 2347e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner else 2357e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "BitsToFloat((float)" << Buffer << ")"; 2367e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << ")"; 2377e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } else { 2385027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov#endif 2397e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner std::string StrVal = ftostr(CFP->getValueAPF()); 2407e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner 2417e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner while (StrVal[0] == ' ') 2427e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner StrVal.erase(StrVal.begin()); 2437e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner 2447e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // Check to make sure that the stringized number is not some string like 2457e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // "Inf" or NaN. Check that the string matches the "[-+]?[0-9]" regex. 2467e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (((StrVal[0] >= '0' && StrVal[0] <= '9') || 2477e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner ((StrVal[0] == '-' || StrVal[0] == '+') && 2487e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner (StrVal[1] >= '0' && StrVal[1] <= '9'))) && 2497e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner (CFP->isExactlyValue(atof(StrVal.c_str())))) { 2507e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (CFP->getType() == Type::getDoubleTy(CFP->getContext())) 2517e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << StrVal; 2525027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov else 2537e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << StrVal << "f"; 2547e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } else if (CFP->getType() == Type::getDoubleTy(CFP->getContext())) 2557e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "BitsToDouble(0x" 2567e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << utohexstr(CFP->getValueAPF().bitcastToAPInt().getZExtValue()) 2577e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << "ULL) /* " << StrVal << " */"; 2587e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner else 2597e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "BitsToFloat(0x" 2607e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << utohexstr((uint32_t)CFP->getValueAPF(). 2617e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner bitcastToAPInt().getZExtValue()) 2627e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << "U) /* " << StrVal << " */"; 2637e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << ")"; 2645027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov#if HAVE_PRINTF_A 2657e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } 2665027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov#endif 2677e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << ")"; 2687e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner} 2697e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner 2707e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattnervoid CppWriter::printCallingConv(CallingConv::ID cc){ 2717e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // Print the calling convention. 2727e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner switch (cc) { 2737e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case CallingConv::C: Out << "CallingConv::C"; break; 2747e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case CallingConv::Fast: Out << "CallingConv::Fast"; break; 2757e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case CallingConv::Cold: Out << "CallingConv::Cold"; break; 2767e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case CallingConv::FirstTargetCC: Out << "CallingConv::FirstTargetCC"; break; 2777e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner default: Out << cc; break; 2785027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov } 2797e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner} 2805027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov 2817e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattnervoid CppWriter::printLinkageType(GlobalValue::LinkageTypes LT) { 2827e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner switch (LT) { 2837e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case GlobalValue::InternalLinkage: 2847e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "GlobalValue::InternalLinkage"; break; 2857e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case GlobalValue::PrivateLinkage: 2867e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "GlobalValue::PrivateLinkage"; break; 2877e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case GlobalValue::LinkerPrivateLinkage: 2887e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "GlobalValue::LinkerPrivateLinkage"; break; 2897e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case GlobalValue::AvailableExternallyLinkage: 2907e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "GlobalValue::AvailableExternallyLinkage "; break; 2917e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case GlobalValue::LinkOnceAnyLinkage: 2927e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "GlobalValue::LinkOnceAnyLinkage "; break; 2937e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case GlobalValue::LinkOnceODRLinkage: 2947e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "GlobalValue::LinkOnceODRLinkage "; break; 2957e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case GlobalValue::WeakAnyLinkage: 2967e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "GlobalValue::WeakAnyLinkage"; break; 2977e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case GlobalValue::WeakODRLinkage: 2987e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "GlobalValue::WeakODRLinkage"; break; 2997e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case GlobalValue::AppendingLinkage: 3007e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "GlobalValue::AppendingLinkage"; break; 3017e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case GlobalValue::ExternalLinkage: 3027e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "GlobalValue::ExternalLinkage"; break; 3037e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case GlobalValue::DLLImportLinkage: 3047e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "GlobalValue::DLLImportLinkage"; break; 3057e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case GlobalValue::DLLExportLinkage: 3067e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "GlobalValue::DLLExportLinkage"; break; 3077e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case GlobalValue::ExternalWeakLinkage: 3087e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "GlobalValue::ExternalWeakLinkage"; break; 3097e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case GlobalValue::CommonLinkage: 3107e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "GlobalValue::CommonLinkage"; break; 3115027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov } 3127e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner} 3135027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov 3147e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattnervoid CppWriter::printVisibilityType(GlobalValue::VisibilityTypes VisType) { 3157e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner switch (VisType) { 3167e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner default: llvm_unreachable("Unknown GVar visibility"); 3177e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case GlobalValue::DefaultVisibility: 3187e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "GlobalValue::DefaultVisibility"; 3197e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner break; 3207e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case GlobalValue::HiddenVisibility: 3217e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "GlobalValue::HiddenVisibility"; 3227e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner break; 3237e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case GlobalValue::ProtectedVisibility: 3247e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "GlobalValue::ProtectedVisibility"; 3257e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner break; 3265027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov } 3277e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner} 3285027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov 3297e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner// printEscapedString - Print each character of the specified string, escaping 3307e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner// it if it is not printable or if it is an escape char. 3317e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattnervoid CppWriter::printEscapedString(const std::string &Str) { 3327e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner for (unsigned i = 0, e = Str.size(); i != e; ++i) { 3337e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner unsigned char C = Str[i]; 3347e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (isprint(C) && C != '"' && C != '\\') { 3357e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << C; 3367e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } else { 3377e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "\\x" 3387e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << (char) ((C/16 < 10) ? ( C/16 +'0') : ( C/16 -10+'A')) 3397e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << (char)(((C&15) < 10) ? ((C&15)+'0') : ((C&15)-10+'A')); 3405027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov } 3415027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov } 3427e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner} 3435027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov 3447e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattnerstd::string CppWriter::getCppName(const Type* Ty) { 3457e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // First, handle the primitive types .. easy 3467e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (Ty->isPrimitiveType() || Ty->isIntegerTy()) { 3477e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner switch (Ty->getTypeID()) { 3487e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Type::VoidTyID: return "Type::getVoidTy(mod->getContext())"; 3497e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Type::IntegerTyID: { 3507e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner unsigned BitWidth = cast<IntegerType>(Ty)->getBitWidth(); 3517e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner return "IntegerType::get(mod->getContext(), " + utostr(BitWidth) + ")"; 3527e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } 3537e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Type::X86_FP80TyID: return "Type::getX86_FP80Ty(mod->getContext())"; 3547e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Type::FloatTyID: return "Type::getFloatTy(mod->getContext())"; 3557e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Type::DoubleTyID: return "Type::getDoubleTy(mod->getContext())"; 3567e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Type::LabelTyID: return "Type::getLabelTy(mod->getContext())"; 3577e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner default: 3587e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner error("Invalid primitive type"); 3597e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner break; 3605027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov } 3617e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // shouldn't be returned, but make it sensible 3627e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner return "Type::getVoidTy(mod->getContext())"; 3635027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov } 3645027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov 3657e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // Now, see if we've seen the type before and return that 3667e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner TypeMap::iterator I = TypeNames.find(Ty); 3677e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (I != TypeNames.end()) 3687e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner return I->second; 3697e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner 3707e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // Okay, let's build a new name for this type. Start with a prefix 3717e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner const char* prefix = 0; 3727e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner switch (Ty->getTypeID()) { 3737e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Type::FunctionTyID: prefix = "FuncTy_"; break; 3747e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Type::StructTyID: prefix = "StructTy_"; break; 3757e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Type::ArrayTyID: prefix = "ArrayTy_"; break; 3767e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Type::PointerTyID: prefix = "PointerTy_"; break; 3777e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Type::OpaqueTyID: prefix = "OpaqueTy_"; break; 3787e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Type::VectorTyID: prefix = "VectorTy_"; break; 3797e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner default: prefix = "OtherTy_"; break; // prevent breakage 3807e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } 3815027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov 3827e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // See if the type has a name in the symboltable and build accordingly 3837e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner const std::string* tName = findTypeName(TheModule->getTypeSymbolTable(), Ty); 3847e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner std::string name; 3857e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (tName) 3867e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner name = std::string(prefix) + *tName; 3877e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner else 3887e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner name = std::string(prefix) + utostr(uniqueNum++); 3897e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner sanitize(name); 3907e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner 3917e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // Save the name 3927e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner return TypeNames[Ty] = name; 3937e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner} 3945027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov 3957e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattnervoid CppWriter::printCppName(const Type* Ty) { 3967e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printEscapedString(getCppName(Ty)); 3977e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner} 3985027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov 3997e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattnerstd::string CppWriter::getCppName(const Value* val) { 4007e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner std::string name; 4017e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner ValueMap::iterator I = ValueNames.find(val); 4027e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (I != ValueNames.end() && I->first == val) 4037e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner return I->second; 4047e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner 4057e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (const GlobalVariable* GV = dyn_cast<GlobalVariable>(val)) { 4067e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner name = std::string("gvar_") + 4077e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner getTypePrefix(GV->getType()->getElementType()); 4087e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } else if (isa<Function>(val)) { 4097e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner name = std::string("func_"); 4107e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } else if (const Constant* C = dyn_cast<Constant>(val)) { 4117e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner name = std::string("const_") + getTypePrefix(C->getType()); 4127e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } else if (const Argument* Arg = dyn_cast<Argument>(val)) { 4137e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (is_inline) { 4147e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner unsigned argNum = std::distance(Arg->getParent()->arg_begin(), 4157e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Function::const_arg_iterator(Arg)) + 1; 4167e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner name = std::string("arg_") + utostr(argNum); 4177e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner NameSet::iterator NI = UsedNames.find(name); 4187e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (NI != UsedNames.end()) 4197e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner name += std::string("_") + utostr(uniqueNum++); 4207e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner UsedNames.insert(name); 4217e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner return ValueNames[val] = name; 4225027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov } else { 4235027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov name = getTypePrefix(val->getType()); 4245027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov } 4257e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } else { 4267e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner name = getTypePrefix(val->getType()); 4275027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov } 4287e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (val->hasName()) 4297e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner name += val->getName(); 4307e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner else 4317e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner name += utostr(uniqueNum++); 4327e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner sanitize(name); 4337e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner NameSet::iterator NI = UsedNames.find(name); 4347e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (NI != UsedNames.end()) 4357e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner name += std::string("_") + utostr(uniqueNum++); 4367e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner UsedNames.insert(name); 4377e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner return ValueNames[val] = name; 4387e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner} 4395027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov 4407e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattnervoid CppWriter::printCppName(const Value* val) { 4417e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printEscapedString(getCppName(val)); 4427e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner} 4435027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov 4447e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattnervoid CppWriter::printAttributes(const AttrListPtr &PAL, 4457e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner const std::string &name) { 4467e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "AttrListPtr " << name << "_PAL;"; 4477e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out); 4487e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (!PAL.isEmpty()) { 4497e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << '{'; in(); nl(Out); 4507e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "SmallVector<AttributeWithIndex, 4> Attrs;"; nl(Out); 4517e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "AttributeWithIndex PAWI;"; nl(Out); 4527e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner for (unsigned i = 0; i < PAL.getNumSlots(); ++i) { 4537e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner unsigned index = PAL.getSlot(i).Index; 4547e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Attributes attrs = PAL.getSlot(i).Attrs; 4557e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "PAWI.Index = " << index << "U; PAWI.Attrs = 0 "; 456acca9559f4fdf99de62537592d7d63409229857bChris Lattner#define HANDLE_ATTR(X) \ 4577e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (attrs & Attribute::X) \ 4587e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << " | Attribute::" #X; \ 4597e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner attrs &= ~Attribute::X; 4607e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner 4617e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner HANDLE_ATTR(SExt); 4627e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner HANDLE_ATTR(ZExt); 4637e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner HANDLE_ATTR(NoReturn); 4647e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner HANDLE_ATTR(InReg); 4657e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner HANDLE_ATTR(StructRet); 4667e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner HANDLE_ATTR(NoUnwind); 4677e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner HANDLE_ATTR(NoAlias); 4687e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner HANDLE_ATTR(ByVal); 4697e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner HANDLE_ATTR(Nest); 4707e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner HANDLE_ATTR(ReadNone); 4717e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner HANDLE_ATTR(ReadOnly); 4727e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner HANDLE_ATTR(InlineHint); 4737e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner HANDLE_ATTR(NoInline); 4747e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner HANDLE_ATTR(AlwaysInline); 4757e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner HANDLE_ATTR(OptimizeForSize); 4767e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner HANDLE_ATTR(StackProtect); 4777e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner HANDLE_ATTR(StackProtectReq); 4787e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner HANDLE_ATTR(NoCapture); 479acca9559f4fdf99de62537592d7d63409229857bChris Lattner#undef HANDLE_ATTR 4807e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner assert(attrs == 0 && "Unhandled attribute!"); 4817e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << ";"; 4827e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out); 4837e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "Attrs.push_back(PAWI);"; 4845027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov nl(Out); 4855027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov } 4867e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << name << "_PAL = AttrListPtr::get(Attrs.begin(), Attrs.end());"; 4877e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out); 4887e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner out(); nl(Out); 4897e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << '}'; nl(Out); 4905027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov } 4917e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner} 4925027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov 4937e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattnerbool CppWriter::printTypeInternal(const Type* Ty) { 4947e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // We don't print definitions for primitive types 4957e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (Ty->isPrimitiveType() || Ty->isIntegerTy()) 4967e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner return false; 4975027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov 4987e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // If we already defined this type, we don't need to define it again. 4997e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (DefinedTypes.find(Ty) != DefinedTypes.end()) 5007e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner return false; 5015027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov 5027e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // Everything below needs the name for the type so get it now. 5037e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner std::string typeName(getCppName(Ty)); 5047e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner 5057e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // Search the type stack for recursion. If we find it, then generate this 5067e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // as an OpaqueType, but make sure not to do this multiple times because 5077e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // the type could appear in multiple places on the stack. Once the opaque 5087e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // definition is issued, it must not be re-issued. Consequently we have to 5097e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // check the UnresolvedTypes list as well. 5107e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner TypeList::const_iterator TI = std::find(TypeStack.begin(), TypeStack.end(), 5117e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Ty); 5127e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (TI != TypeStack.end()) { 5137e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner TypeMap::const_iterator I = UnresolvedTypes.find(Ty); 5147e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (I == UnresolvedTypes.end()) { 5157e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "PATypeHolder " << typeName; 5167e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "_fwd = OpaqueType::get(mod->getContext());"; 5175027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov nl(Out); 5187e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner UnresolvedTypes[Ty] = typeName; 5197e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } 5207e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner return true; 5217e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } 5227e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner 5237e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // We're going to print a derived type which, by definition, contains other 5247e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // types. So, push this one we're printing onto the type stack to assist with 5257e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // recursive definitions. 5267e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner TypeStack.push_back(Ty); 5277e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner 5287e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // Print the type definition 5297e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner switch (Ty->getTypeID()) { 5307e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Type::FunctionTyID: { 5317e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner const FunctionType* FT = cast<FunctionType>(Ty); 5327e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "std::vector<const Type*>" << typeName << "_args;"; 5337e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out); 5347e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner FunctionType::param_iterator PI = FT->param_begin(); 5357e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner FunctionType::param_iterator PE = FT->param_end(); 5367e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner for (; PI != PE; ++PI) { 5377e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner const Type* argTy = static_cast<const Type*>(*PI); 5387e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner bool isForward = printTypeInternal(argTy); 5397e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner std::string argName(getCppName(argTy)); 5407e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << typeName << "_args.push_back(" << argName; 5415027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov if (isForward) 5425027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov Out << "_fwd"; 5437e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << ");"; 5445027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov nl(Out); 5455027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov } 5467e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner bool isForward = printTypeInternal(FT->getReturnType()); 5477e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner std::string retTypeName(getCppName(FT->getReturnType())); 5487e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "FunctionType* " << typeName << " = FunctionType::get("; 5497e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner in(); nl(Out) << "/*Result=*/" << retTypeName; 5507e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (isForward) 5517e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "_fwd"; 5527e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << ","; 5537e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out) << "/*Params=*/" << typeName << "_args,"; 5547e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out) << "/*isVarArg=*/" << (FT->isVarArg() ? "true" : "false") << ");"; 5557e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner out(); 5567e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out); 5577e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner break; 5587e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } 5597e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Type::StructTyID: { 5607e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner const StructType* ST = cast<StructType>(Ty); 5617e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "std::vector<const Type*>" << typeName << "_fields;"; 5627e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out); 5637e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner StructType::element_iterator EI = ST->element_begin(); 5647e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner StructType::element_iterator EE = ST->element_end(); 5657e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner for (; EI != EE; ++EI) { 5667e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner const Type* fieldTy = static_cast<const Type*>(*EI); 5677e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner bool isForward = printTypeInternal(fieldTy); 5687e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner std::string fieldName(getCppName(fieldTy)); 5697e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << typeName << "_fields.push_back(" << fieldName; 5707e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (isForward) 5717e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "_fwd"; 5727e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << ");"; 5735027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov nl(Out); 5745027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov } 5757e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "StructType* " << typeName << " = StructType::get(" 5767e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << "mod->getContext(), " 5777e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << typeName << "_fields, /*isPacked=*/" 5787e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << (ST->isPacked() ? "true" : "false") << ");"; 5797e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out); 5807e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner break; 5817e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } 5827e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Type::ArrayTyID: { 5837e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner const ArrayType* AT = cast<ArrayType>(Ty); 5847e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner const Type* ET = AT->getElementType(); 5857e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner bool isForward = printTypeInternal(ET); 5867e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner std::string elemName(getCppName(ET)); 5877e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "ArrayType* " << typeName << " = ArrayType::get(" 5887e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << elemName << (isForward ? "_fwd" : "") 5897e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << ", " << utostr(AT->getNumElements()) << ");"; 5907e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out); 5917e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner break; 5927e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } 5937e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Type::PointerTyID: { 5947e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner const PointerType* PT = cast<PointerType>(Ty); 5957e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner const Type* ET = PT->getElementType(); 5967e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner bool isForward = printTypeInternal(ET); 5977e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner std::string elemName(getCppName(ET)); 5987e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "PointerType* " << typeName << " = PointerType::get(" 5997e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << elemName << (isForward ? "_fwd" : "") 6007e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << ", " << utostr(PT->getAddressSpace()) << ");"; 6017e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out); 6027e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner break; 6037e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } 6047e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Type::VectorTyID: { 6057e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner const VectorType* PT = cast<VectorType>(Ty); 6067e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner const Type* ET = PT->getElementType(); 6077e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner bool isForward = printTypeInternal(ET); 6087e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner std::string elemName(getCppName(ET)); 6097e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "VectorType* " << typeName << " = VectorType::get(" 6107e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << elemName << (isForward ? "_fwd" : "") 6117e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << ", " << utostr(PT->getNumElements()) << ");"; 6127e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out); 6137e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner break; 6147e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } 6157e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Type::OpaqueTyID: { 6167e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "OpaqueType* " << typeName; 6177e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << " = OpaqueType::get(mod->getContext());"; 6187e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out); 6197e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner break; 6207e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } 6217e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner default: 6227e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner error("Invalid TypeID"); 6237e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } 6245027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov 6257e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // If the type had a name, make sure we recreate it. 6267e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner const std::string* progTypeName = 6277e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner findTypeName(TheModule->getTypeSymbolTable(),Ty); 6287e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (progTypeName) { 6297e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "mod->addTypeName(\"" << *progTypeName << "\", " 6307e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << typeName << ");"; 6317e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out); 6327e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } 6335027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov 6347e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // Pop us off the type stack 6357e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner TypeStack.pop_back(); 6365027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov 6377e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // Indicate that this type is now defined. 6387e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner DefinedTypes.insert(Ty); 6395027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov 6407e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // Early resolve as many unresolved types as possible. Search the unresolved 6417e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // types map for the type we just printed. Now that its definition is complete 6427e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // we can resolve any previous references to it. This prevents a cascade of 6437e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // unresolved types. 6447e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner TypeMap::iterator I = UnresolvedTypes.find(Ty); 6457e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (I != UnresolvedTypes.end()) { 6467e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "cast<OpaqueType>(" << I->second 6477e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << "_fwd.get())->refineAbstractTypeTo(" << I->second << ");"; 6485027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov nl(Out); 6497e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << I->second << " = cast<"; 6507e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner switch (Ty->getTypeID()) { 6517e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Type::FunctionTyID: Out << "FunctionType"; break; 6527e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Type::ArrayTyID: Out << "ArrayType"; break; 6537e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Type::StructTyID: Out << "StructType"; break; 6547e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Type::VectorTyID: Out << "VectorType"; break; 6557e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Type::PointerTyID: Out << "PointerType"; break; 6567e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Type::OpaqueTyID: Out << "OpaqueType"; break; 6577e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner default: Out << "NoSuchDerivedType"; break; 6587e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } 6597e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << ">(" << I->second << "_fwd.get());"; 6607e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out); nl(Out); 6617e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner UnresolvedTypes.erase(I); 6625027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov } 6635027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov 6647e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // Finally, separate the type definition from other with a newline. 6657e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out); 6665027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov 6677e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // We weren't a recursive type 6687e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner return false; 6697e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner} 6707e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner 6717e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner// Prints a type definition. Returns true if it could not resolve all the 6727e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner// types in the definition but had to use a forward reference. 6737e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattnervoid CppWriter::printType(const Type* Ty) { 6747e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner assert(TypeStack.empty()); 6757e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner TypeStack.clear(); 6767e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printTypeInternal(Ty); 6777e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner assert(TypeStack.empty()); 6787e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner} 6797e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner 6807e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattnervoid CppWriter::printTypes(const Module* M) { 6817e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // Walk the symbol table and print out all its types 6827e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner const TypeSymbolTable& symtab = M->getTypeSymbolTable(); 6837e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner for (TypeSymbolTable::const_iterator TI = symtab.begin(), TE = symtab.end(); 6847e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner TI != TE; ++TI) { 6857e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner 6867e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // For primitive types and types already defined, just add a name 6877e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner TypeMap::const_iterator TNI = TypeNames.find(TI->second); 6887e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (TI->second->isIntegerTy() || TI->second->isPrimitiveType() || 6897e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner TNI != TypeNames.end()) { 6907e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "mod->addTypeName(\""; 6917e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printEscapedString(TI->first); 6927e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "\", " << getCppName(TI->second) << ");"; 6937e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out); 6947e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // For everything else, define the type 6957e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } else { 6967e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printType(TI->second); 6975027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov } 6987e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } 6995027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov 7007e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // Add all of the global variables to the value table... 7017e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner for (Module::const_global_iterator I = TheModule->global_begin(), 7027e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner E = TheModule->global_end(); I != E; ++I) { 7037e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (I->hasInitializer()) 7047e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printType(I->getInitializer()->getType()); 7057e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printType(I->getType()); 7067e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } 7075027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov 7087e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // Add all the functions to the table 7097e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner for (Module::const_iterator FI = TheModule->begin(), FE = TheModule->end(); 7107e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner FI != FE; ++FI) { 7117e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printType(FI->getReturnType()); 7127e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printType(FI->getFunctionType()); 7137e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // Add all the function arguments 7147e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner for (Function::const_arg_iterator AI = FI->arg_begin(), 7157e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner AE = FI->arg_end(); AI != AE; ++AI) { 7167e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printType(AI->getType()); 7177e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } 7187e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner 7197e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // Add all of the basic blocks and instructions 7207e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner for (Function::const_iterator BB = FI->begin(), 7217e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner E = FI->end(); BB != E; ++BB) { 7227e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printType(BB->getType()); 7237e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner for (BasicBlock::const_iterator I = BB->begin(), E = BB->end(); I!=E; 7247e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner ++I) { 7257e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printType(I->getType()); 7267e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner for (unsigned i = 0; i < I->getNumOperands(); ++i) 7277e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printType(I->getOperand(i)->getType()); 7285027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov } 7295027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov } 7305027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov } 7317e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner} 7325027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov 7335027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov 7347e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner// printConstant - Print out a constant pool entry... 7357e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattnervoid CppWriter::printConstant(const Constant *CV) { 7367e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // First, if the constant is actually a GlobalValue (variable or function) 7377e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // or its already in the constant list then we've printed it already and we 7387e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // can just return. 7397e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (isa<GlobalValue>(CV) || ValueNames.find(CV) != ValueNames.end()) 7407e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner return; 7415027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov 7427e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner std::string constName(getCppName(CV)); 7437e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner std::string typeName(getCppName(CV->getType())); 744ff4ca2e0883d95cbd97e09e56bee8c73fa384e6aAnton Korobeynikov 7457e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (isa<GlobalValue>(CV)) { 7467e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // Skip variables and functions, we emit them elsewhere 7477e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner return; 7487e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } 749ff4ca2e0883d95cbd97e09e56bee8c73fa384e6aAnton Korobeynikov 7507e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (const ConstantInt *CI = dyn_cast<ConstantInt>(CV)) { 7517e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner std::string constValue = CI->getValue().toString(10, true); 7527e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "ConstantInt* " << constName 7537e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << " = ConstantInt::get(mod->getContext(), APInt(" 7547e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << cast<IntegerType>(CI->getType())->getBitWidth() 7557e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << ", StringRef(\"" << constValue << "\"), 10));"; 7567e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } else if (isa<ConstantAggregateZero>(CV)) { 7577e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "ConstantAggregateZero* " << constName 7587e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << " = ConstantAggregateZero::get(" << typeName << ");"; 7597e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } else if (isa<ConstantPointerNull>(CV)) { 7607e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "ConstantPointerNull* " << constName 7617e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << " = ConstantPointerNull::get(" << typeName << ");"; 7627e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } else if (const ConstantFP *CFP = dyn_cast<ConstantFP>(CV)) { 7637e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "ConstantFP* " << constName << " = "; 7647e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printCFP(CFP); 7657e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << ";"; 7667e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } else if (const ConstantArray *CA = dyn_cast<ConstantArray>(CV)) { 7677e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (CA->isString() && 7687e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner CA->getType()->getElementType() == 7697e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Type::getInt8Ty(CA->getContext())) { 7707e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "Constant* " << constName << 7717e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner " = ConstantArray::get(mod->getContext(), \""; 7727e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner std::string tmp = CA->getAsString(); 7737e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner bool nullTerminate = false; 7747e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (tmp[tmp.length()-1] == 0) { 7757e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner tmp.erase(tmp.length()-1); 7767e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nullTerminate = true; 7775027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov } 7787e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printEscapedString(tmp); 7797e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // Determine if we want null termination or not. 7807e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (nullTerminate) 7817e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "\", true"; // Indicate that the null terminator should be 7827e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // added. 7837e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner else 7847e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "\", false";// No null terminator 7857e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << ");"; 7867e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } else { 7875027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov Out << "std::vector<Constant*> " << constName << "_elems;"; 7885027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov nl(Out); 7897e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner unsigned N = CA->getNumOperands(); 7905027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov for (unsigned i = 0; i < N; ++i) { 7917e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printConstant(CA->getOperand(i)); // recurse to print operands 7925027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov Out << constName << "_elems.push_back(" 7937e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << getCppName(CA->getOperand(i)) << ");"; 7945027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov nl(Out); 7955027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov } 7967e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "Constant* " << constName << " = ConstantArray::get(" 7975027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov << typeName << ", " << constName << "_elems);"; 7987e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } 7997e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } else if (const ConstantStruct *CS = dyn_cast<ConstantStruct>(CV)) { 8007e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "std::vector<Constant*> " << constName << "_fields;"; 8017e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out); 8027e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner unsigned N = CS->getNumOperands(); 8037e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner for (unsigned i = 0; i < N; i++) { 8047e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printConstant(CS->getOperand(i)); 8057e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << constName << "_fields.push_back(" 8067e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << getCppName(CS->getOperand(i)) << ");"; 8077e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out); 8087e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } 8097e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "Constant* " << constName << " = ConstantStruct::get(" 8107e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << typeName << ", " << constName << "_fields);"; 8117e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } else if (const ConstantVector *CP = dyn_cast<ConstantVector>(CV)) { 8127e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "std::vector<Constant*> " << constName << "_elems;"; 8137e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out); 8147e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner unsigned N = CP->getNumOperands(); 8157e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner for (unsigned i = 0; i < N; ++i) { 8167e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printConstant(CP->getOperand(i)); 8177e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << constName << "_elems.push_back(" 8187e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << getCppName(CP->getOperand(i)) << ");"; 8197e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out); 8207e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } 8217e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "Constant* " << constName << " = ConstantVector::get(" 8227e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << typeName << ", " << constName << "_elems);"; 8237e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } else if (isa<UndefValue>(CV)) { 8247e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "UndefValue* " << constName << " = UndefValue::get(" 8257e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << typeName << ");"; 8267e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } else if (const ConstantExpr *CE = dyn_cast<ConstantExpr>(CV)) { 8277e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (CE->getOpcode() == Instruction::GetElementPtr) { 8287e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "std::vector<Constant*> " << constName << "_indices;"; 8297e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out); 8307e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printConstant(CE->getOperand(0)); 8317e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner for (unsigned i = 1; i < CE->getNumOperands(); ++i ) { 8327e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printConstant(CE->getOperand(i)); 8337e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << constName << "_indices.push_back(" 8347e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << getCppName(CE->getOperand(i)) << ");"; 8355027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov nl(Out); 8367e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } 8377e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "Constant* " << constName 8387e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << " = ConstantExpr::getGetElementPtr(" 8397e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << getCppName(CE->getOperand(0)) << ", " 8407e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << "&" << constName << "_indices[0], " 8417e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << constName << "_indices.size()" 8427e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << ");"; 8437e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } else if (CE->isCast()) { 8447e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printConstant(CE->getOperand(0)); 8457e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "Constant* " << constName << " = ConstantExpr::getCast("; 8467e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner switch (CE->getOpcode()) { 8477e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner default: llvm_unreachable("Invalid cast opcode"); 8487e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::Trunc: Out << "Instruction::Trunc"; break; 8497e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::ZExt: Out << "Instruction::ZExt"; break; 8507e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::SExt: Out << "Instruction::SExt"; break; 8517e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::FPTrunc: Out << "Instruction::FPTrunc"; break; 8527e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::FPExt: Out << "Instruction::FPExt"; break; 8537e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::FPToUI: Out << "Instruction::FPToUI"; break; 8547e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::FPToSI: Out << "Instruction::FPToSI"; break; 8557e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::UIToFP: Out << "Instruction::UIToFP"; break; 8567e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::SIToFP: Out << "Instruction::SIToFP"; break; 8577e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::PtrToInt: Out << "Instruction::PtrToInt"; break; 8587e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::IntToPtr: Out << "Instruction::IntToPtr"; break; 8597e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::BitCast: Out << "Instruction::BitCast"; break; 8607e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } 8617e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << ", " << getCppName(CE->getOperand(0)) << ", " 8627e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << getCppName(CE->getType()) << ");"; 8637e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } else { 8647e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner unsigned N = CE->getNumOperands(); 8657e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner for (unsigned i = 0; i < N; ++i ) { 8667e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printConstant(CE->getOperand(i)); 8677e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } 8687e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "Constant* " << constName << " = ConstantExpr::"; 8697e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner switch (CE->getOpcode()) { 8707e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::Add: Out << "getAdd("; break; 8717e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::FAdd: Out << "getFAdd("; break; 8727e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::Sub: Out << "getSub("; break; 8737e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::FSub: Out << "getFSub("; break; 8747e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::Mul: Out << "getMul("; break; 8757e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::FMul: Out << "getFMul("; break; 8767e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::UDiv: Out << "getUDiv("; break; 8777e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::SDiv: Out << "getSDiv("; break; 8787e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::FDiv: Out << "getFDiv("; break; 8797e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::URem: Out << "getURem("; break; 8807e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::SRem: Out << "getSRem("; break; 8817e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::FRem: Out << "getFRem("; break; 8827e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::And: Out << "getAnd("; break; 8837e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::Or: Out << "getOr("; break; 8847e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::Xor: Out << "getXor("; break; 8857e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::ICmp: 8867e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "getICmp(ICmpInst::ICMP_"; 8877e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner switch (CE->getPredicate()) { 8887e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case ICmpInst::ICMP_EQ: Out << "EQ"; break; 8897e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case ICmpInst::ICMP_NE: Out << "NE"; break; 8907e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case ICmpInst::ICMP_SLT: Out << "SLT"; break; 8917e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case ICmpInst::ICMP_ULT: Out << "ULT"; break; 8927e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case ICmpInst::ICMP_SGT: Out << "SGT"; break; 8937e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case ICmpInst::ICMP_UGT: Out << "UGT"; break; 8947e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case ICmpInst::ICMP_SLE: Out << "SLE"; break; 8957e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case ICmpInst::ICMP_ULE: Out << "ULE"; break; 8967e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case ICmpInst::ICMP_SGE: Out << "SGE"; break; 8977e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case ICmpInst::ICMP_UGE: Out << "UGE"; break; 8987e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner default: error("Invalid ICmp Predicate"); 8995027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov } 9007e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner break; 9017e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::FCmp: 9027e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "getFCmp(FCmpInst::FCMP_"; 9037e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner switch (CE->getPredicate()) { 9047e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case FCmpInst::FCMP_FALSE: Out << "FALSE"; break; 9057e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case FCmpInst::FCMP_ORD: Out << "ORD"; break; 9067e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case FCmpInst::FCMP_UNO: Out << "UNO"; break; 9077e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case FCmpInst::FCMP_OEQ: Out << "OEQ"; break; 9087e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case FCmpInst::FCMP_UEQ: Out << "UEQ"; break; 9097e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case FCmpInst::FCMP_ONE: Out << "ONE"; break; 9107e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case FCmpInst::FCMP_UNE: Out << "UNE"; break; 9117e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case FCmpInst::FCMP_OLT: Out << "OLT"; break; 9127e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case FCmpInst::FCMP_ULT: Out << "ULT"; break; 9137e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case FCmpInst::FCMP_OGT: Out << "OGT"; break; 9147e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case FCmpInst::FCMP_UGT: Out << "UGT"; break; 9157e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case FCmpInst::FCMP_OLE: Out << "OLE"; break; 9167e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case FCmpInst::FCMP_ULE: Out << "ULE"; break; 9177e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case FCmpInst::FCMP_OGE: Out << "OGE"; break; 9187e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case FCmpInst::FCMP_UGE: Out << "UGE"; break; 9197e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case FCmpInst::FCMP_TRUE: Out << "TRUE"; break; 9207e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner default: error("Invalid FCmp Predicate"); 9215027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov } 9227e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner break; 9237e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::Shl: Out << "getShl("; break; 9247e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::LShr: Out << "getLShr("; break; 9257e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::AShr: Out << "getAShr("; break; 9267e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::Select: Out << "getSelect("; break; 9277e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::ExtractElement: Out << "getExtractElement("; break; 9287e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::InsertElement: Out << "getInsertElement("; break; 9297e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::ShuffleVector: Out << "getShuffleVector("; break; 9307e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner default: 9317e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner error("Invalid constant expression"); 9327e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner break; 9335027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov } 9347e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << getCppName(CE->getOperand(0)); 9357e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner for (unsigned i = 1; i < CE->getNumOperands(); ++i) 9367e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << ", " << getCppName(CE->getOperand(i)); 9377e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << ");"; 9385027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov } 9397e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } else { 9407e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner error("Bad Constant"); 9417e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "Constant* " << constName << " = 0; "; 9425027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov } 9437e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out); 9447e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner} 9455027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov 9467e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattnervoid CppWriter::printConstants(const Module* M) { 9477e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // Traverse all the global variables looking for constant initializers 9487e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner for (Module::const_global_iterator I = TheModule->global_begin(), 9497e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner E = TheModule->global_end(); I != E; ++I) 9507e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (I->hasInitializer()) 9517e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printConstant(I->getInitializer()); 9527e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner 9537e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // Traverse the LLVM functions looking for constants 9547e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner for (Module::const_iterator FI = TheModule->begin(), FE = TheModule->end(); 9557e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner FI != FE; ++FI) { 9567e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // Add all of the basic blocks and instructions 9577e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner for (Function::const_iterator BB = FI->begin(), 9587e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner E = FI->end(); BB != E; ++BB) { 9597e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner for (BasicBlock::const_iterator I = BB->begin(), E = BB->end(); I!=E; 9607e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner ++I) { 9617e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner for (unsigned i = 0; i < I->getNumOperands(); ++i) { 9627e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (Constant* C = dyn_cast<Constant>(I->getOperand(i))) { 9637e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printConstant(C); 9645027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov } 9655027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov } 9665027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov } 9675027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov } 9685027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov } 9697e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner} 9705027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov 9717e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattnervoid CppWriter::printVariableUses(const GlobalVariable *GV) { 9727e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out) << "// Type Definitions"; 9737e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out); 9747e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printType(GV->getType()); 9757e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (GV->hasInitializer()) { 9767e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Constant *Init = GV->getInitializer(); 9777e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printType(Init->getType()); 9787e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (Function *F = dyn_cast<Function>(Init)) { 9797e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out)<< "/ Function Declarations"; nl(Out); 9807e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printFunctionHead(F); 9817e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } else if (GlobalVariable* gv = dyn_cast<GlobalVariable>(Init)) { 9827e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out) << "// Global Variable Declarations"; nl(Out); 9837e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printVariableHead(gv); 9847e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner 9857e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out) << "// Global Variable Definitions"; nl(Out); 9867e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printVariableBody(gv); 9877e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } else { 9887e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out) << "// Constant Definitions"; nl(Out); 9897e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printConstant(Init); 9905027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov } 9915027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov } 9927e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner} 9935027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov 9947e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattnervoid CppWriter::printVariableHead(const GlobalVariable *GV) { 9957e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out) << "GlobalVariable* " << getCppName(GV); 9967e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (is_inline) { 9977e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << " = mod->getGlobalVariable(mod->getContext(), "; 9985027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov printEscapedString(GV->getName()); 9997e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << ", " << getCppName(GV->getType()->getElementType()) << ",true)"; 10007e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out) << "if (!" << getCppName(GV) << ") {"; 10017e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner in(); nl(Out) << getCppName(GV); 10027e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } 10037e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << " = new GlobalVariable(/*Module=*/*mod, "; 10047e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out) << "/*Type=*/"; 10057e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printCppName(GV->getType()->getElementType()); 10067e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << ","; 10077e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out) << "/*isConstant=*/" << (GV->isConstant()?"true":"false"); 10087e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << ","; 10097e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out) << "/*Linkage=*/"; 10107e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printLinkageType(GV->getLinkage()); 10117e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << ","; 10127e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out) << "/*Initializer=*/0, "; 10137e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (GV->hasInitializer()) { 10147e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "// has initializer, specified below"; 10157e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } 10167e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out) << "/*Name=*/\""; 10177e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printEscapedString(GV->getName()); 10187e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "\");"; 10197e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out); 10207e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner 10217e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (GV->hasSection()) { 10227e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printCppName(GV); 10237e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "->setSection(\""; 10247e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printEscapedString(GV->getSection()); 102516a412edb6d279bb5fbffba3ff1a6c914e478aafOwen Anderson Out << "\");"; 10265027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov nl(Out); 10275027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov } 10287e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (GV->getAlignment()) { 10297e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printCppName(GV); 10307e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "->setAlignment(" << utostr(GV->getAlignment()) << ");"; 10317e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out); 10327e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } 10337e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (GV->getVisibility() != GlobalValue::DefaultVisibility) { 10347e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printCppName(GV); 10357e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "->setVisibility("; 10367e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printVisibilityType(GV->getVisibility()); 10377e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << ");"; 10387e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out); 10397e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } 10407e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (GV->isThreadLocal()) { 10417e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printCppName(GV); 10427e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "->setThreadLocal(true);"; 10437e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out); 10447e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } 10457e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (is_inline) { 10467e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner out(); Out << "}"; nl(Out); 10477e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } 10487e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner} 10495027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov 10507e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattnervoid CppWriter::printVariableBody(const GlobalVariable *GV) { 10517e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (GV->hasInitializer()) { 10527e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printCppName(GV); 10537e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "->setInitializer("; 10547e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << getCppName(GV->getInitializer()) << ");"; 10557e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out); 10565027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov } 10577e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner} 10585027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov 10597e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattnerstd::string CppWriter::getOpName(Value* V) { 10607e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (!isa<Instruction>(V) || DefinedValues.find(V) != DefinedValues.end()) 10617e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner return getCppName(V); 10625027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov 10637e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // See if its alread in the map of forward references, if so just return the 10647e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // name we already set up for it 10657e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner ForwardRefMap::const_iterator I = ForwardRefs.find(V); 10667e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (I != ForwardRefs.end()) 10677e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner return I->second; 10685027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov 10697e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // This is a new forward reference. Generate a unique name for it 10707e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner std::string result(std::string("fwdref_") + utostr(uniqueNum++)); 10715027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov 10727e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // Yes, this is a hack. An Argument is the smallest instantiable value that 10737e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // we can make as a placeholder for the real value. We'll replace these 10747e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // Argument instances later. 10757e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "Argument* " << result << " = new Argument(" 10767e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << getCppName(V->getType()) << ");"; 10777e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out); 10787e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner ForwardRefs[V] = result; 10797e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner return result; 10807e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner} 10815027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov 10827e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner// printInstruction - This member is called for each Instruction in a function. 10837e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattnervoid CppWriter::printInstruction(const Instruction *I, 10847e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner const std::string& bbname) { 10857e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner std::string iName(getCppName(I)); 10867e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner 10877e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // Before we emit this instruction, we need to take care of generating any 10887e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // forward references. So, we get the names of all the operands in advance 10897e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner const unsigned Ops(I->getNumOperands()); 10907e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner std::string* opNames = new std::string[Ops]; 10917e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner for (unsigned i = 0; i < Ops; i++) { 10927e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner opNames[i] = getOpName(I->getOperand(i)); 10937e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } 10945027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov 10957e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner switch (I->getOpcode()) { 10967e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner default: 10977e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner error("Invalid instruction"); 10987e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner break; 10995027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov 11007e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::Ret: { 11017e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner const ReturnInst* ret = cast<ReturnInst>(I); 11027e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "ReturnInst::Create(mod->getContext(), " 11037e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << (ret->getReturnValue() ? opNames[0] + ", " : "") << bbname << ");"; 11047e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner break; 11057e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } 11067e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::Br: { 11077e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner const BranchInst* br = cast<BranchInst>(I); 11087e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "BranchInst::Create(" ; 11097e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (br->getNumOperands() == 3 ) { 11107e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << opNames[2] << ", " 11117e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << opNames[1] << ", " 11127e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << opNames[0] << ", "; 111326825a84e97790adaffc55c6101b9fe2524fe1b7Dan Gohman 11147e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } else if (br->getNumOperands() == 1) { 11157e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << opNames[0] << ", "; 11167e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } else { 11177e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner error("Branch with 2 operands?"); 11185027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov } 11197e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << bbname << ");"; 11207e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner break; 11217e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } 11227e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::Switch: { 11237e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner const SwitchInst *SI = cast<SwitchInst>(I); 11247e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "SwitchInst* " << iName << " = SwitchInst::Create(" 11257e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << opNames[0] << ", " 11267e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << opNames[1] << ", " 11277e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << SI->getNumCases() << ", " << bbname << ");"; 11287e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out); 11297e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner for (unsigned i = 2; i != SI->getNumOperands(); i += 2) { 11307e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << iName << "->addCase(" 11317e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << opNames[i] << ", " 11327e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << opNames[i+1] << ");"; 11337e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out); 11345027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov } 11357e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner break; 11367e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } 11377e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::IndirectBr: { 11387e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner const IndirectBrInst *IBI = cast<IndirectBrInst>(I); 11397e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "IndirectBrInst *" << iName << " = IndirectBrInst::Create(" 11407e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << opNames[0] << ", " << IBI->getNumDestinations() << ");"; 11417e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out); 11427e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner for (unsigned i = 1; i != IBI->getNumOperands(); ++i) { 11437e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << iName << "->addDestination(" << opNames[i] << ");"; 11445027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov nl(Out); 11455027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov } 11467e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner break; 11477e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } 11487e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::Invoke: { 11497e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner const InvokeInst* inv = cast<InvokeInst>(I); 11507e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "std::vector<Value*> " << iName << "_params;"; 11517e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out); 11527e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner for (unsigned i = 0; i < inv->getNumArgOperands(); ++i) { 11537e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << iName << "_params.push_back(" 11547e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << getOpName(inv->getArgOperand(i)) << ");"; 1155627b470981a833f847005556bea04e71f94da260Chris Lattner nl(Out); 1156627b470981a833f847005556bea04e71f94da260Chris Lattner } 11577e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // FIXME: This shouldn't use magic numbers -3, -2, and -1. 11587e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "InvokeInst *" << iName << " = InvokeInst::Create(" 11597e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << getOpName(inv->getCalledFunction()) << ", " 11607e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << getOpName(inv->getNormalDest()) << ", " 11617e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << getOpName(inv->getUnwindDest()) << ", " 11627e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << iName << "_params.begin(), " 11637e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << iName << "_params.end(), \""; 11647e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printEscapedString(inv->getName()); 11657e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "\", " << bbname << ");"; 11667e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out) << iName << "->setCallingConv("; 11677e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printCallingConv(inv->getCallingConv()); 11687e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << ");"; 11697e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printAttributes(inv->getAttributes(), iName); 11707e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << iName << "->setAttributes(" << iName << "_PAL);"; 11717e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out); 11727e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner break; 11737e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } 11747e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::Unwind: { 11757e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "new UnwindInst(" 11767e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << bbname << ");"; 11777e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner break; 11787e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } 11797e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::Unreachable: { 11807e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "new UnreachableInst(" 11817e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << "mod->getContext(), " 11827e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << bbname << ");"; 11837e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner break; 11847e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } 11857e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::Add: 11867e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::FAdd: 11877e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::Sub: 11887e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::FSub: 11897e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::Mul: 11907e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::FMul: 11917e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::UDiv: 11927e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::SDiv: 11937e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::FDiv: 11947e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::URem: 11957e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::SRem: 11967e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::FRem: 11977e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::And: 11987e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::Or: 11997e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::Xor: 12007e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::Shl: 12017e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::LShr: 12027e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::AShr:{ 12037e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "BinaryOperator* " << iName << " = BinaryOperator::Create("; 12047e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner switch (I->getOpcode()) { 12057e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::Add: Out << "Instruction::Add"; break; 12067e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::FAdd: Out << "Instruction::FAdd"; break; 12077e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::Sub: Out << "Instruction::Sub"; break; 12087e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::FSub: Out << "Instruction::FSub"; break; 12097e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::Mul: Out << "Instruction::Mul"; break; 12107e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::FMul: Out << "Instruction::FMul"; break; 12117e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::UDiv:Out << "Instruction::UDiv"; break; 12127e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::SDiv:Out << "Instruction::SDiv"; break; 12137e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::FDiv:Out << "Instruction::FDiv"; break; 12147e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::URem:Out << "Instruction::URem"; break; 12157e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::SRem:Out << "Instruction::SRem"; break; 12167e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::FRem:Out << "Instruction::FRem"; break; 12177e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::And: Out << "Instruction::And"; break; 12187e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::Or: Out << "Instruction::Or"; break; 12197e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::Xor: Out << "Instruction::Xor"; break; 12207e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::Shl: Out << "Instruction::Shl"; break; 12217e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::LShr:Out << "Instruction::LShr"; break; 12227e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::AShr:Out << "Instruction::AShr"; break; 12237e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner default: Out << "Instruction::BadOpCode"; break; 12247e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } 12257e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << ", " << opNames[0] << ", " << opNames[1] << ", \""; 12267e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printEscapedString(I->getName()); 12277e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "\", " << bbname << ");"; 12287e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner break; 12297e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } 12307e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::FCmp: { 12317e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "FCmpInst* " << iName << " = new FCmpInst(*" << bbname << ", "; 12327e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner switch (cast<FCmpInst>(I)->getPredicate()) { 12337e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case FCmpInst::FCMP_FALSE: Out << "FCmpInst::FCMP_FALSE"; break; 12347e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case FCmpInst::FCMP_OEQ : Out << "FCmpInst::FCMP_OEQ"; break; 12357e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case FCmpInst::FCMP_OGT : Out << "FCmpInst::FCMP_OGT"; break; 12367e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case FCmpInst::FCMP_OGE : Out << "FCmpInst::FCMP_OGE"; break; 12377e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case FCmpInst::FCMP_OLT : Out << "FCmpInst::FCMP_OLT"; break; 12387e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case FCmpInst::FCMP_OLE : Out << "FCmpInst::FCMP_OLE"; break; 12397e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case FCmpInst::FCMP_ONE : Out << "FCmpInst::FCMP_ONE"; break; 12407e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case FCmpInst::FCMP_ORD : Out << "FCmpInst::FCMP_ORD"; break; 12417e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case FCmpInst::FCMP_UNO : Out << "FCmpInst::FCMP_UNO"; break; 12427e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case FCmpInst::FCMP_UEQ : Out << "FCmpInst::FCMP_UEQ"; break; 12437e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case FCmpInst::FCMP_UGT : Out << "FCmpInst::FCMP_UGT"; break; 12447e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case FCmpInst::FCMP_UGE : Out << "FCmpInst::FCMP_UGE"; break; 12457e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case FCmpInst::FCMP_ULT : Out << "FCmpInst::FCMP_ULT"; break; 12467e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case FCmpInst::FCMP_ULE : Out << "FCmpInst::FCMP_ULE"; break; 12477e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case FCmpInst::FCMP_UNE : Out << "FCmpInst::FCMP_UNE"; break; 12487e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case FCmpInst::FCMP_TRUE : Out << "FCmpInst::FCMP_TRUE"; break; 12497e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner default: Out << "FCmpInst::BAD_ICMP_PREDICATE"; break; 12507e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } 12517e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << ", " << opNames[0] << ", " << opNames[1] << ", \""; 12527e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printEscapedString(I->getName()); 12537e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "\");"; 12547e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner break; 12557e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } 12567e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::ICmp: { 12577e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "ICmpInst* " << iName << " = new ICmpInst(*" << bbname << ", "; 12587e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner switch (cast<ICmpInst>(I)->getPredicate()) { 12597e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case ICmpInst::ICMP_EQ: Out << "ICmpInst::ICMP_EQ"; break; 12607e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case ICmpInst::ICMP_NE: Out << "ICmpInst::ICMP_NE"; break; 12617e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case ICmpInst::ICMP_ULE: Out << "ICmpInst::ICMP_ULE"; break; 12627e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case ICmpInst::ICMP_SLE: Out << "ICmpInst::ICMP_SLE"; break; 12637e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case ICmpInst::ICMP_UGE: Out << "ICmpInst::ICMP_UGE"; break; 12647e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case ICmpInst::ICMP_SGE: Out << "ICmpInst::ICMP_SGE"; break; 12657e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case ICmpInst::ICMP_ULT: Out << "ICmpInst::ICMP_ULT"; break; 12667e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case ICmpInst::ICMP_SLT: Out << "ICmpInst::ICMP_SLT"; break; 12677e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case ICmpInst::ICMP_UGT: Out << "ICmpInst::ICMP_UGT"; break; 12687e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case ICmpInst::ICMP_SGT: Out << "ICmpInst::ICMP_SGT"; break; 12697e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner default: Out << "ICmpInst::BAD_ICMP_PREDICATE"; break; 12707e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } 12717e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << ", " << opNames[0] << ", " << opNames[1] << ", \""; 12727e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printEscapedString(I->getName()); 12737e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "\");"; 12747e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner break; 12757e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } 12767e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::Alloca: { 12777e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner const AllocaInst* allocaI = cast<AllocaInst>(I); 12787e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "AllocaInst* " << iName << " = new AllocaInst(" 12797e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << getCppName(allocaI->getAllocatedType()) << ", "; 12807e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (allocaI->isArrayAllocation()) 12817e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << opNames[0] << ", "; 12827e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "\""; 12837e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printEscapedString(allocaI->getName()); 12847e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "\", " << bbname << ");"; 12857e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (allocaI->getAlignment()) 12867e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out) << iName << "->setAlignment(" 12877e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << allocaI->getAlignment() << ");"; 12887e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner break; 12897e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } 12907e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::Load:{ 12917e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner const LoadInst* load = cast<LoadInst>(I); 12927e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "LoadInst* " << iName << " = new LoadInst(" 12937e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << opNames[0] << ", \""; 12947e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printEscapedString(load->getName()); 12957e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "\", " << (load->isVolatile() ? "true" : "false" ) 12967e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << ", " << bbname << ");"; 12977e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner break; 12987e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } 12997e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::Store: { 13007e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner const StoreInst* store = cast<StoreInst>(I); 13017e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << " new StoreInst(" 13027e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << opNames[0] << ", " 13037e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << opNames[1] << ", " 13047e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << (store->isVolatile() ? "true" : "false") 13057e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << ", " << bbname << ");"; 13067e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner break; 13077e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } 13087e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::GetElementPtr: { 13097e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner const GetElementPtrInst* gep = cast<GetElementPtrInst>(I); 13107e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (gep->getNumOperands() <= 2) { 13117e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "GetElementPtrInst* " << iName << " = GetElementPtrInst::Create(" 13127e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << opNames[0]; 13137e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (gep->getNumOperands() == 2) 13147e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << ", " << opNames[1]; 13157e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } else { 13167e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "std::vector<Value*> " << iName << "_indices;"; 13175027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov nl(Out); 13187e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner for (unsigned i = 1; i < gep->getNumOperands(); ++i ) { 13197e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << iName << "_indices.push_back(" 13207e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << opNames[i] << ");"; 13215027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov nl(Out); 13225027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov } 13237e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "Instruction* " << iName << " = GetElementPtrInst::Create(" 13247e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << opNames[0] << ", " << iName << "_indices.begin(), " 13257e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << iName << "_indices.end()"; 13267e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } 13277e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << ", \""; 13287e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printEscapedString(gep->getName()); 13297e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "\", " << bbname << ");"; 13307e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner break; 13317e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } 13327e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::PHI: { 13337e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner const PHINode* phi = cast<PHINode>(I); 13347e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner 13357e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "PHINode* " << iName << " = PHINode::Create(" 13367e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << getCppName(phi->getType()) << ", \""; 13377e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printEscapedString(phi->getName()); 13387e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "\", " << bbname << ");"; 13397e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out) << iName << "->reserveOperandSpace(" 13407e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << phi->getNumIncomingValues() 13417e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << ");"; 13427e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out); 13437e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner for (unsigned i = 0; i < phi->getNumOperands(); i+=2) { 13447e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << iName << "->addIncoming(" 13457e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << opNames[i] << ", " << opNames[i+1] << ");"; 13465027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov nl(Out); 13475027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov } 13487e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner break; 13497e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } 13507e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::Trunc: 13517e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::ZExt: 13527e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::SExt: 13537e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::FPTrunc: 13547e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::FPExt: 13557e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::FPToUI: 13567e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::FPToSI: 13577e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::UIToFP: 13587e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::SIToFP: 13597e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::PtrToInt: 13607e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::IntToPtr: 13617e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::BitCast: { 13627e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner const CastInst* cst = cast<CastInst>(I); 13637e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "CastInst* " << iName << " = new "; 13647e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner switch (I->getOpcode()) { 13657e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::Trunc: Out << "TruncInst"; break; 13667e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::ZExt: Out << "ZExtInst"; break; 13677e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::SExt: Out << "SExtInst"; break; 13687e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::FPTrunc: Out << "FPTruncInst"; break; 13697e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::FPExt: Out << "FPExtInst"; break; 13707e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::FPToUI: Out << "FPToUIInst"; break; 13717e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::FPToSI: Out << "FPToSIInst"; break; 13727e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::UIToFP: Out << "UIToFPInst"; break; 13737e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::SIToFP: Out << "SIToFPInst"; break; 13747e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::PtrToInt: Out << "PtrToIntInst"; break; 13757e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::IntToPtr: Out << "IntToPtrInst"; break; 13767e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::BitCast: Out << "BitCastInst"; break; 13777e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner default: assert(!"Unreachable"); break; 13787e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } 13797e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "(" << opNames[0] << ", " 13807e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << getCppName(cst->getType()) << ", \""; 13817e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printEscapedString(cst->getName()); 13827e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "\", " << bbname << ");"; 13837e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner break; 13847e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } 13857e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::Call:{ 13867e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner const CallInst* call = cast<CallInst>(I); 13877e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (const InlineAsm* ila = dyn_cast<InlineAsm>(call->getCalledValue())) { 13887e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "InlineAsm* " << getCppName(ila) << " = InlineAsm::get(" 13897e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << getCppName(ila->getFunctionType()) << ", \"" 13907e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << ila->getAsmString() << "\", \"" 13917e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << ila->getConstraintString() << "\"," 13927e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << (ila->hasSideEffects() ? "true" : "false") << ");"; 13935027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov nl(Out); 13945027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov } 13957e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (call->getNumOperands() > 2) { 13967e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "std::vector<Value*> " << iName << "_params;"; 13977e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out); 13987e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner for (unsigned i = 1; i < call->getNumOperands(); ++i) { 13997e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << iName << "_params.push_back(" << opNames[i] << ");"; 14005027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov nl(Out); 14015027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov } 14027e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "CallInst* " << iName << " = CallInst::Create(" 14037e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << opNames[0] << ", " << iName << "_params.begin(), " 14047e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << iName << "_params.end(), \""; 14057e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } else if (call->getNumOperands() == 2) { 14067e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "CallInst* " << iName << " = CallInst::Create(" 14077e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << opNames[0] << ", " << opNames[1] << ", \""; 14087e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } else { 14097e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "CallInst* " << iName << " = CallInst::Create(" << opNames[0] 14107e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << ", \""; 14115027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov } 14127e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printEscapedString(call->getName()); 14137e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "\", " << bbname << ");"; 14147e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out) << iName << "->setCallingConv("; 14157e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printCallingConv(call->getCallingConv()); 14167e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << ");"; 14177e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out) << iName << "->setTailCall(" 14187e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << (call->isTailCall() ? "true":"false"); 14197e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << ");"; 14207e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printAttributes(call->getAttributes(), iName); 14217e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << iName << "->setAttributes(" << iName << "_PAL);"; 14227e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out); 14237e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner break; 14247e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } 14257e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::Select: { 14267e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner const SelectInst* sel = cast<SelectInst>(I); 14277e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "SelectInst* " << getCppName(sel) << " = SelectInst::Create("; 14287e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << opNames[0] << ", " << opNames[1] << ", " << opNames[2] << ", \""; 14297e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printEscapedString(sel->getName()); 14307e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "\", " << bbname << ");"; 14317e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner break; 14327e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } 14337e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::UserOp1: 14347e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner /// FALL THROUGH 14357e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::UserOp2: { 14367e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner /// FIXME: What should be done here? 14377e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner break; 14387e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } 14397e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::VAArg: { 14407e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner const VAArgInst* va = cast<VAArgInst>(I); 14417e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "VAArgInst* " << getCppName(va) << " = new VAArgInst(" 14427e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << opNames[0] << ", " << getCppName(va->getType()) << ", \""; 14437e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printEscapedString(va->getName()); 14447e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "\", " << bbname << ");"; 14457e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner break; 14467e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } 14477e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::ExtractElement: { 14487e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner const ExtractElementInst* eei = cast<ExtractElementInst>(I); 14497e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "ExtractElementInst* " << getCppName(eei) 14507e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << " = new ExtractElementInst(" << opNames[0] 14517e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << ", " << opNames[1] << ", \""; 14527e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printEscapedString(eei->getName()); 14537e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "\", " << bbname << ");"; 14547e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner break; 14557e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } 14567e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::InsertElement: { 14577e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner const InsertElementInst* iei = cast<InsertElementInst>(I); 14587e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "InsertElementInst* " << getCppName(iei) 14597e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << " = InsertElementInst::Create(" << opNames[0] 14607e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << ", " << opNames[1] << ", " << opNames[2] << ", \""; 14617e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printEscapedString(iei->getName()); 14627e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "\", " << bbname << ");"; 14637e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner break; 14647e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } 14657e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::ShuffleVector: { 14667e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner const ShuffleVectorInst* svi = cast<ShuffleVectorInst>(I); 14677e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "ShuffleVectorInst* " << getCppName(svi) 14687e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << " = new ShuffleVectorInst(" << opNames[0] 14697e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << ", " << opNames[1] << ", " << opNames[2] << ", \""; 14707e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printEscapedString(svi->getName()); 14717e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "\", " << bbname << ");"; 14727e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner break; 14737e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } 14747e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::ExtractValue: { 14757e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner const ExtractValueInst *evi = cast<ExtractValueInst>(I); 14767e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "std::vector<unsigned> " << iName << "_indices;"; 14777e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out); 14787e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner for (unsigned i = 0; i < evi->getNumIndices(); ++i) { 14797e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << iName << "_indices.push_back(" 14807e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << evi->idx_begin()[i] << ");"; 148175146a6725739fe11ca183f1c4c5518eb164b2e5Dan Gohman nl(Out); 148275146a6725739fe11ca183f1c4c5518eb164b2e5Dan Gohman } 14837e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "ExtractValueInst* " << getCppName(evi) 14847e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << " = ExtractValueInst::Create(" << opNames[0] 14857e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << ", " 14867e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << iName << "_indices.begin(), " << iName << "_indices.end(), \""; 14877e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printEscapedString(evi->getName()); 14887e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "\", " << bbname << ");"; 14897e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner break; 14907e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } 14917e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::InsertValue: { 14927e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner const InsertValueInst *ivi = cast<InsertValueInst>(I); 14937e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "std::vector<unsigned> " << iName << "_indices;"; 14947e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out); 14957e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner for (unsigned i = 0; i < ivi->getNumIndices(); ++i) { 14967e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << iName << "_indices.push_back(" 14977e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << ivi->idx_begin()[i] << ");"; 149875146a6725739fe11ca183f1c4c5518eb164b2e5Dan Gohman nl(Out); 149975146a6725739fe11ca183f1c4c5518eb164b2e5Dan Gohman } 15007e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "InsertValueInst* " << getCppName(ivi) 15017e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << " = InsertValueInst::Create(" << opNames[0] 15027e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << ", " << opNames[1] << ", " 15037e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << iName << "_indices.begin(), " << iName << "_indices.end(), \""; 15047e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printEscapedString(ivi->getName()); 15057e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "\", " << bbname << ");"; 15067e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner break; 15077e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } 15085027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov } 15095027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov DefinedValues.insert(I); 15105027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov nl(Out); 15115027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov delete [] opNames; 15125027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov} 15135027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov 15147e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner// Print out the types, constants and declarations needed by one function 15157e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattnervoid CppWriter::printFunctionUses(const Function* F) { 15167e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out) << "// Type Definitions"; nl(Out); 15177e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (!is_inline) { 15187e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // Print the function's return type 15197e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printType(F->getReturnType()); 15205027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov 15217e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // Print the function's function type 15227e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printType(F->getFunctionType()); 15235027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov 15247e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // Print the types of each of the function's arguments 15257e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner for (Function::const_arg_iterator AI = F->arg_begin(), AE = F->arg_end(); 15267e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner AI != AE; ++AI) { 15277e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printType(AI->getType()); 15285027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov } 15297e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } 15305027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov 15317e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // Print type definitions for every type referenced by an instruction and 15327e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // make a note of any global values or constants that are referenced 15337e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner SmallPtrSet<GlobalValue*,64> gvs; 15347e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner SmallPtrSet<Constant*,64> consts; 15357e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner for (Function::const_iterator BB = F->begin(), BE = F->end(); 15367e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner BB != BE; ++BB){ 15377e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner for (BasicBlock::const_iterator I = BB->begin(), E = BB->end(); 15387e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner I != E; ++I) { 15397e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // Print the type of the instruction itself 15407e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printType(I->getType()); 15415027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov 15427e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // Print the type of each of the instruction's operands 15437e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner for (unsigned i = 0; i < I->getNumOperands(); ++i) { 15447e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Value* operand = I->getOperand(i); 15457e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printType(operand->getType()); 15467e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner 15477e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // If the operand references a GVal or Constant, make a note of it 15487e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (GlobalValue* GV = dyn_cast<GlobalValue>(operand)) { 15497e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner gvs.insert(GV); 15507e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (GlobalVariable *GVar = dyn_cast<GlobalVariable>(GV)) 15517e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (GVar->hasInitializer()) 15527e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner consts.insert(GVar->getInitializer()); 15537e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } else if (Constant* C = dyn_cast<Constant>(operand)) 15547e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner consts.insert(C); 15555027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov } 15565027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov } 15577e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } 15585027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov 15597e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // Print the function declarations for any functions encountered 15607e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out) << "// Function Declarations"; nl(Out); 15617e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner for (SmallPtrSet<GlobalValue*,64>::iterator I = gvs.begin(), E = gvs.end(); 15627e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner I != E; ++I) { 15637e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (Function* Fun = dyn_cast<Function>(*I)) { 15647e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (!is_inline || Fun != F) 15657e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printFunctionHead(Fun); 15665027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov } 15677e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } 15685027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov 15697e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // Print the global variable declarations for any variables encountered 15707e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out) << "// Global Variable Declarations"; nl(Out); 15717e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner for (SmallPtrSet<GlobalValue*,64>::iterator I = gvs.begin(), E = gvs.end(); 15727e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner I != E; ++I) { 15737e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (GlobalVariable* F = dyn_cast<GlobalVariable>(*I)) 15747e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printVariableHead(F); 15757e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } 15765027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov 15777e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner// Print the constants found 15787e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out) << "// Constant Definitions"; nl(Out); 15797e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner for (SmallPtrSet<Constant*,64>::iterator I = consts.begin(), 15807e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner E = consts.end(); I != E; ++I) { 15817e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printConstant(*I); 15827e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } 15835027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov 15847e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // Process the global variables definitions now that all the constants have 15857e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // been emitted. These definitions just couple the gvars with their constant 15867e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // initializers. 15877e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out) << "// Global Variable Definitions"; nl(Out); 15887e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner for (SmallPtrSet<GlobalValue*,64>::iterator I = gvs.begin(), E = gvs.end(); 15897e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner I != E; ++I) { 15907e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (GlobalVariable* GV = dyn_cast<GlobalVariable>(*I)) 15917e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printVariableBody(GV); 15925027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov } 15937e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner} 15945027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov 15957e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattnervoid CppWriter::printFunctionHead(const Function* F) { 15967e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out) << "Function* " << getCppName(F); 15977e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (is_inline) { 15987e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << " = mod->getFunction(\""; 15995027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov printEscapedString(F->getName()); 16007e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "\", " << getCppName(F->getFunctionType()) << ");"; 16017e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out) << "if (!" << getCppName(F) << ") {"; 16027e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out) << getCppName(F); 16037e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } 16047e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out<< " = Function::Create("; 16057e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out,1) << "/*Type=*/" << getCppName(F->getFunctionType()) << ","; 16067e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out) << "/*Linkage=*/"; 16077e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printLinkageType(F->getLinkage()); 16087e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << ","; 16097e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out) << "/*Name=*/\""; 16107e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printEscapedString(F->getName()); 16117e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "\", mod); " << (F->isDeclaration()? "// (external, no body)" : ""); 16127e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out,-1); 16137e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printCppName(F); 16147e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "->setCallingConv("; 16157e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printCallingConv(F->getCallingConv()); 16167e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << ");"; 16177e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out); 16187e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (F->hasSection()) { 16197e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printCppName(F); 16207e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "->setSection(\"" << F->getSection() << "\");"; 16217e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out); 16227e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } 16237e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (F->getAlignment()) { 16247e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printCppName(F); 16257e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "->setAlignment(" << F->getAlignment() << ");"; 16267e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out); 16277e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } 16287e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (F->getVisibility() != GlobalValue::DefaultVisibility) { 16295027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov printCppName(F); 16307e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "->setVisibility("; 16317e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printVisibilityType(F->getVisibility()); 16325027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov Out << ");"; 16335027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov nl(Out); 16347e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } 16357e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (F->hasGC()) { 16365027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov printCppName(F); 16377e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "->setGC(\"" << F->getGC() << "\");"; 16385027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov nl(Out); 16395027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov } 16407e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (is_inline) { 16417e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "}"; 16427e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out); 16437e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } 16447e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printAttributes(F->getAttributes(), getCppName(F)); 16457e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printCppName(F); 16467e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "->setAttributes(" << getCppName(F) << "_PAL);"; 16477e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out); 16487e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner} 16495027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov 16507e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattnervoid CppWriter::printFunctionBody(const Function *F) { 16517e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (F->isDeclaration()) 16527e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner return; // external functions have no bodies. 16535027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov 16547e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // Clear the DefinedValues and ForwardRefs maps because we can't have 16557e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // cross-function forward refs 16567e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner ForwardRefs.clear(); 16577e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner DefinedValues.clear(); 16585027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov 16597e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // Create all the argument values 16607e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (!is_inline) { 16617e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (!F->arg_empty()) { 16627e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "Function::arg_iterator args = " << getCppName(F) 16637e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << "->arg_begin();"; 16645027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov nl(Out); 16655027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov } 16667e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner for (Function::const_arg_iterator AI = F->arg_begin(), AE = F->arg_end(); 16677e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner AI != AE; ++AI) { 16687e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "Value* " << getCppName(AI) << " = args++;"; 16695027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov nl(Out); 16707e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (AI->hasName()) { 16717e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << getCppName(AI) << "->setName(\"" << AI->getName() << "\");"; 16727e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out); 16735027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov } 16745027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov } 16757e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } 16765027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov 16777e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // Create all the basic blocks 16787e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out); 16797e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner for (Function::const_iterator BI = F->begin(), BE = F->end(); 16807e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner BI != BE; ++BI) { 16817e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner std::string bbname(getCppName(BI)); 16827e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "BasicBlock* " << bbname << 16837e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner " = BasicBlock::Create(mod->getContext(), \""; 16847e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (BI->hasName()) 16857e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printEscapedString(BI->getName()); 16867e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "\"," << getCppName(BI->getParent()) << ",0);"; 16877e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out); 16887e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } 16895027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov 16907e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // Output all of its basic blocks... for the function 16917e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner for (Function::const_iterator BI = F->begin(), BE = F->end(); 16927e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner BI != BE; ++BI) { 16937e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner std::string bbname(getCppName(BI)); 16947e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out) << "// Block " << BI->getName() << " (" << bbname << ")"; 16957e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out); 16967e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner 16977e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // Output all of the instructions in the basic block... 16987e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner for (BasicBlock::const_iterator I = BI->begin(), E = BI->end(); 16997e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner I != E; ++I) { 17007e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printInstruction(I,bbname); 17015027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov } 17025027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov } 17035027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov 17047e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // Loop over the ForwardRefs and resolve them now that all instructions 17057e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // are generated. 17067e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (!ForwardRefs.empty()) { 17077e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out) << "// Resolve Forward References"; 17085027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov nl(Out); 17097e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } 17107e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner 17117e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner while (!ForwardRefs.empty()) { 17127e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner ForwardRefMap::iterator I = ForwardRefs.begin(); 17137e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << I->second << "->replaceAllUsesWith(" 17147e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << getCppName(I->first) << "); delete " << I->second << ";"; 17155027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov nl(Out); 17167e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner ForwardRefs.erase(I); 17175027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov } 17187e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner} 17195027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov 17207e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattnervoid CppWriter::printInline(const std::string& fname, 17217e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner const std::string& func) { 17227e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner const Function* F = TheModule->getFunction(func); 17237e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (!F) { 17247e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner error(std::string("Function '") + func + "' not found in input module"); 17257e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner return; 17267e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } 17277e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (F->isDeclaration()) { 17287e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner error(std::string("Function '") + func + "' is external!"); 17297e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner return; 17307e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } 17317e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out) << "BasicBlock* " << fname << "(Module* mod, Function *" 17327e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << getCppName(F); 17337e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner unsigned arg_count = 1; 17347e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner for (Function::const_arg_iterator AI = F->arg_begin(), AE = F->arg_end(); 17357e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner AI != AE; ++AI) { 17367e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << ", Value* arg_" << arg_count; 17377e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } 17387e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << ") {"; 17397e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out); 17407e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner is_inline = true; 17417e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printFunctionUses(F); 17427e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printFunctionBody(F); 17437e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner is_inline = false; 17447e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "return " << getCppName(F->begin()) << ";"; 17457e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out) << "}"; 17467e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out); 17477e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner} 17485027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov 17497e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattnervoid CppWriter::printModuleBody() { 17507e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // Print out all the type definitions 17517e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out) << "// Type Definitions"; nl(Out); 17527e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printTypes(TheModule); 17537e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner 17547e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // Functions can call each other and global variables can reference them so 17557e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // define all the functions first before emitting their function bodies. 17567e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out) << "// Function Declarations"; nl(Out); 17577e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner for (Module::const_iterator I = TheModule->begin(), E = TheModule->end(); 17587e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner I != E; ++I) 17597e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printFunctionHead(I); 17607e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner 17617e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // Process the global variables declarations. We can't initialze them until 17627e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // after the constants are printed so just print a header for each global 17637e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out) << "// Global Variable Declarations\n"; nl(Out); 17647e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner for (Module::const_global_iterator I = TheModule->global_begin(), 17657e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner E = TheModule->global_end(); I != E; ++I) { 17667e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printVariableHead(I); 17677e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } 17685027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov 17697e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // Print out all the constants definitions. Constants don't recurse except 17707e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // through GlobalValues. All GlobalValues have been declared at this point 17717e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // so we can proceed to generate the constants. 17727e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out) << "// Constant Definitions"; nl(Out); 17737e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printConstants(TheModule); 17747e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner 17757e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // Process the global variables definitions now that all the constants have 17767e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // been emitted. These definitions just couple the gvars with their constant 17777e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // initializers. 17787e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out) << "// Global Variable Definitions"; nl(Out); 17797e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner for (Module::const_global_iterator I = TheModule->global_begin(), 17807e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner E = TheModule->global_end(); I != E; ++I) { 17817e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printVariableBody(I); 17825027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov } 17835027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov 17847e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // Finally, we can safely put out all of the function bodies. 17857e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out) << "// Function Definitions"; nl(Out); 17867e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner for (Module::const_iterator I = TheModule->begin(), E = TheModule->end(); 17877e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner I != E; ++I) { 17887e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (!I->isDeclaration()) { 17897e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out) << "// Function: " << I->getName() << " (" << getCppName(I) 17907e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << ")"; 17917e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out) << "{"; 17927e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out,1); 17937e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printFunctionBody(I); 17947e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out,-1) << "}"; 17957e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out); 17965027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov } 17977e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } 17987e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner} 17995027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov 18007e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattnervoid CppWriter::printProgram(const std::string& fname, 18017e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner const std::string& mName) { 18027e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "#include <llvm/LLVMContext.h>\n"; 18037e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "#include <llvm/Module.h>\n"; 18047e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "#include <llvm/DerivedTypes.h>\n"; 18057e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "#include <llvm/Constants.h>\n"; 18067e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "#include <llvm/GlobalVariable.h>\n"; 18077e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "#include <llvm/Function.h>\n"; 18087e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "#include <llvm/CallingConv.h>\n"; 18097e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "#include <llvm/BasicBlock.h>\n"; 18107e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "#include <llvm/Instructions.h>\n"; 18117e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "#include <llvm/InlineAsm.h>\n"; 18127e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "#include <llvm/Support/FormattedStream.h>\n"; 18137e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "#include <llvm/Support/MathExtras.h>\n"; 18147e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "#include <llvm/Pass.h>\n"; 18157e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "#include <llvm/PassManager.h>\n"; 18167e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "#include <llvm/ADT/SmallVector.h>\n"; 18177e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "#include <llvm/Analysis/Verifier.h>\n"; 18187e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "#include <llvm/Assembly/PrintModulePass.h>\n"; 18197e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "#include <algorithm>\n"; 18207e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "using namespace llvm;\n\n"; 18217e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "Module* " << fname << "();\n\n"; 18227e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "int main(int argc, char**argv) {\n"; 18237e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << " Module* Mod = " << fname << "();\n"; 18247e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << " verifyModule(*Mod, PrintMessageAction);\n"; 18257e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << " PassManager PM;\n"; 18267e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << " PM.add(createPrintModulePass(&outs()));\n"; 18277e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << " PM.run(*Mod);\n"; 18287e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << " return 0;\n"; 18297e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "}\n\n"; 18307e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printModule(fname,mName); 18317e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner} 18325027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov 18337e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattnervoid CppWriter::printModule(const std::string& fname, 18347e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner const std::string& mName) { 18357e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out) << "Module* " << fname << "() {"; 18367e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out,1) << "// Module Construction"; 18377e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out) << "Module* mod = new Module(\""; 18387e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printEscapedString(mName); 18397e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "\", getGlobalContext());"; 18407e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (!TheModule->getTargetTriple().empty()) { 18417e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out) << "mod->setDataLayout(\"" << TheModule->getDataLayout() << "\");"; 18427e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } 18437e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (!TheModule->getTargetTriple().empty()) { 18447e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out) << "mod->setTargetTriple(\"" << TheModule->getTargetTriple() 18457e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << "\");"; 18467e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } 18477e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner 18487e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (!TheModule->getModuleInlineAsm().empty()) { 18497e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out) << "mod->setModuleInlineAsm(\""; 18507e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printEscapedString(TheModule->getModuleInlineAsm()); 18517e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "\");"; 18527e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } 18537e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out); 18547e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner 18557e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // Loop over the dependent libraries and emit them. 18567e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Module::lib_iterator LI = TheModule->lib_begin(); 18577e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Module::lib_iterator LE = TheModule->lib_end(); 18587e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner while (LI != LE) { 18597e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "mod->addLibrary(\"" << *LI << "\");"; 18605027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov nl(Out); 18617e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner ++LI; 18625027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov } 18637e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printModuleBody(); 18647e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out) << "return mod;"; 18657e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out,-1) << "}"; 18667e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out); 18677e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner} 18687e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner 18697e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattnervoid CppWriter::printContents(const std::string& fname, 18707e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner const std::string& mName) { 18717e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "\nModule* " << fname << "(Module *mod) {\n"; 18727e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "\nmod->setModuleIdentifier(\""; 18737e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printEscapedString(mName); 18747e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "\");\n"; 18757e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printModuleBody(); 18767e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "\nreturn mod;\n"; 18777e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "\n}\n"; 18787e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner} 18795027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov 18807e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattnervoid CppWriter::printFunction(const std::string& fname, 18817e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner const std::string& funcName) { 18827e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner const Function* F = TheModule->getFunction(funcName); 18837e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (!F) { 18847e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner error(std::string("Function '") + funcName + "' not found in input module"); 18857e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner return; 18865027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov } 18877e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "\nFunction* " << fname << "(Module *mod) {\n"; 18887e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printFunctionUses(F); 18897e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printFunctionHead(F); 18907e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printFunctionBody(F); 18917e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "return " << getCppName(F) << ";\n"; 18927e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "}\n"; 18937e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner} 18945027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov 18957e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattnervoid CppWriter::printFunctions() { 18967e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner const Module::FunctionListType &funcs = TheModule->getFunctionList(); 18977e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Module::const_iterator I = funcs.begin(); 18987e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Module::const_iterator IE = funcs.end(); 18997e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner 19007e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner for (; I != IE; ++I) { 19017e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner const Function &func = *I; 19027e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (!func.isDeclaration()) { 19037e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner std::string name("define_"); 19047e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner name += func.getName(); 19057e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printFunction(name, func.getName()); 19065027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov } 19075027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov } 19087e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner} 19095027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov 19107e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattnervoid CppWriter::printVariable(const std::string& fname, 19117e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner const std::string& varName) { 19127e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner const GlobalVariable* GV = TheModule->getNamedGlobal(varName); 19135027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov 19147e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (!GV) { 19157e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner error(std::string("Variable '") + varName + "' not found in input module"); 19167e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner return; 19177e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } 19187e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "\nGlobalVariable* " << fname << "(Module *mod) {\n"; 19197e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printVariableUses(GV); 19207e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printVariableHead(GV); 19217e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printVariableBody(GV); 19227e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "return " << getCppName(GV) << ";\n"; 19237e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "}\n"; 19247e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner} 19255027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov 19267e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattnervoid CppWriter::printType(const std::string& fname, 19277e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner const std::string& typeName) { 19287e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner const Type* Ty = TheModule->getTypeByName(typeName); 19297e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (!Ty) { 19307e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner error(std::string("Type '") + typeName + "' not found in input module"); 19317e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner return; 19325027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov } 19337e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "\nType* " << fname << "(Module *mod) {\n"; 19347e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printType(Ty); 19357e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "return " << getCppName(Ty) << ";\n"; 19367e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "}\n"; 19377e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner} 19387e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner 19397e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattnerbool CppWriter::runOnModule(Module &M) { 19407e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner TheModule = &M; 19417e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner 19427e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // Emit a header 19437e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "// Generated by llvm2cpp - DO NOT MODIFY!\n\n"; 19447e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner 19457e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // Get the name of the function we're supposed to generate 19467e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner std::string fname = FuncName.getValue(); 19477e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner 19487e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // Get the name of the thing we are to generate 19497e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner std::string tgtname = NameToGenerate.getValue(); 19507e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (GenerationType == GenModule || 19517e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner GenerationType == GenContents || 19527e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner GenerationType == GenProgram || 19537e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner GenerationType == GenFunctions) { 19547e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (tgtname == "!bad!") { 19557e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (M.getModuleIdentifier() == "-") 19567e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner tgtname = "<stdin>"; 19577e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner else 19587e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner tgtname = M.getModuleIdentifier(); 19597e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } 19607e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } else if (tgtname == "!bad!") 19617e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner error("You must use the -for option with -gen-{function,variable,type}"); 19627e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner 19637e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner switch (WhatToGenerate(GenerationType)) { 19647e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case GenProgram: 19657e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (fname.empty()) 19667e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner fname = "makeLLVMModule"; 19677e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printProgram(fname,tgtname); 19687e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner break; 19697e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case GenModule: 19707e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (fname.empty()) 19717e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner fname = "makeLLVMModule"; 19727e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printModule(fname,tgtname); 19737e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner break; 19747e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case GenContents: 19757e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (fname.empty()) 19767e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner fname = "makeLLVMModuleContents"; 19777e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printContents(fname,tgtname); 19787e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner break; 19797e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case GenFunction: 19807e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (fname.empty()) 19817e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner fname = "makeLLVMFunction"; 19827e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printFunction(fname,tgtname); 19837e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner break; 19847e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case GenFunctions: 19857e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printFunctions(); 19867e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner break; 19877e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case GenInline: 19887e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (fname.empty()) 19897e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner fname = "makeLLVMInline"; 19907e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printInline(fname,tgtname); 19917e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner break; 19927e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case GenVariable: 19937e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (fname.empty()) 19947e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner fname = "makeLLVMVariable"; 19957e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printVariable(fname,tgtname); 19967e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner break; 19977e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case GenType: 19987e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (fname.empty()) 19997e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner fname = "makeLLVMType"; 20007e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printType(fname,tgtname); 20017e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner break; 20027e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner default: 20037e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner error("Invalid generation option"); 20047e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } 20057e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner 20067e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner return false; 20075027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov} 20085027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov 20095027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikovchar CppWriter::ID = 0; 20105027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov 20115027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov//===----------------------------------------------------------------------===// 20125027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov// External Interface declaration 20135027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov//===----------------------------------------------------------------------===// 20145027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov 201599dca4fde746eb76253e737cca166261c767412dDan Gohmanbool CPPTargetMachine::addPassesToEmitFile(PassManagerBase &PM, 201699dca4fde746eb76253e737cca166261c767412dDan Gohman formatted_raw_ostream &o, 201799dca4fde746eb76253e737cca166261c767412dDan Gohman CodeGenFileType FileType, 201899dca4fde746eb76253e737cca166261c767412dDan Gohman CodeGenOpt::Level OptLevel, 201999dca4fde746eb76253e737cca166261c767412dDan Gohman bool DisableVerify) { 2020211edae4843f5c2ee9c376e88e4cf0ecc8745f03Chris Lattner if (FileType != TargetMachine::CGFT_AssemblyFile) return true; 20215027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov PM.add(new CppWriter(o)); 20225027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov return false; 20235027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov} 2024