CPPBackend.cpp revision 90c579de5a383cee278acc3f7e7b9d0a656e6a35
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; 1021018c24c1357f76d350dc42957108362bd3b830cChris Lattner unsigned indent_level; 1035027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov 1045027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov public: 1055027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov static char ID; 10671847813bc419f7a0667468136a07429c6d9f164David Greene explicit CppWriter(formatted_raw_ostream &o) : 10790c579de5a383cee278acc3f7e7b9d0a656e6a35Owen Anderson ModulePass(ID), Out(o), uniqueNum(0), is_inline(false), indent_level(0){} 1085027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov 1095027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov virtual const char *getPassName() const { return "C++ backend"; } 1105027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov 1115027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov bool runOnModule(Module &M); 1125027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov 1135027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov void printProgram(const std::string& fname, const std::string& modName ); 1145027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov void printModule(const std::string& fname, const std::string& modName ); 1155027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov void printContents(const std::string& fname, const std::string& modName ); 1165027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov void printFunction(const std::string& fname, const std::string& funcName ); 1175027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov void printFunctions(); 1185027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov void printInline(const std::string& fname, const std::string& funcName ); 1195027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov void printVariable(const std::string& fname, const std::string& varName ); 1205027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov void printType(const std::string& fname, const std::string& typeName ); 1215027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov 1225027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov void error(const std::string& msg); 1235027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov 1241018c24c1357f76d350dc42957108362bd3b830cChris Lattner 1251018c24c1357f76d350dc42957108362bd3b830cChris Lattner formatted_raw_ostream& nl(formatted_raw_ostream &Out, int delta = 0); 1261018c24c1357f76d350dc42957108362bd3b830cChris Lattner inline void in() { indent_level++; } 1271018c24c1357f76d350dc42957108362bd3b830cChris Lattner inline void out() { if (indent_level >0) indent_level--; } 1281018c24c1357f76d350dc42957108362bd3b830cChris Lattner 1295027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov private: 1305027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov void printLinkageType(GlobalValue::LinkageTypes LT); 1315027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov void printVisibilityType(GlobalValue::VisibilityTypes VisTypes); 13265c3c8f323198b99b88b109654194540cf9b3fa5Sandeep Patel void printCallingConv(CallingConv::ID cc); 1335027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov void printEscapedString(const std::string& str); 1345027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov void printCFP(const ConstantFP* CFP); 1355027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov 1365027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov std::string getCppName(const Type* val); 1375027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov inline void printCppName(const Type* val); 1385027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov 1395027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov std::string getCppName(const Value* val); 1405027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov inline void printCppName(const Value* val); 1415027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov 1420598866c052147c31b808391f58434ce3dbfb838Devang Patel void printAttributes(const AttrListPtr &PAL, const std::string &name); 1435027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov bool printTypeInternal(const Type* Ty); 1445027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov inline void printType(const Type* Ty); 1455027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov void printTypes(const Module* M); 1465027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov 1475027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov void printConstant(const Constant *CPV); 1485027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov void printConstants(const Module* M); 1495027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov 1505027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov void printVariableUses(const GlobalVariable *GV); 1515027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov void printVariableHead(const GlobalVariable *GV); 1525027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov void printVariableBody(const GlobalVariable *GV); 1535027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov 1545027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov void printFunctionUses(const Function *F); 1555027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov void printFunctionHead(const Function *F); 1565027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov void printFunctionBody(const Function *F); 1575027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov void printInstruction(const Instruction *I, const std::string& bbname); 1585027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov std::string getOpName(Value*); 1595027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov 1605027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov void printModuleBody(); 1615027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov }; 1627e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner} // end anonymous namespace. 1637e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner 1641018c24c1357f76d350dc42957108362bd3b830cChris Lattnerformatted_raw_ostream &CppWriter::nl(formatted_raw_ostream &Out, int delta) { 1651018c24c1357f76d350dc42957108362bd3b830cChris Lattner Out << '\n'; 1667e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (delta >= 0 || indent_level >= unsigned(-delta)) 1677e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner indent_level += delta; 1681018c24c1357f76d350dc42957108362bd3b830cChris Lattner Out.indent(indent_level); 1697e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner return Out; 1707e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner} 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; 2895e721d768254a920b78b9129d79a84c0163cb3f4Bill Wendling case GlobalValue::LinkerPrivateWeakLinkage: 2905e721d768254a920b78b9129d79a84c0163cb3f4Bill Wendling Out << "GlobalValue::LinkerPrivateWeakLinkage"; break; 2917e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case GlobalValue::AvailableExternallyLinkage: 2927e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "GlobalValue::AvailableExternallyLinkage "; break; 2937e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case GlobalValue::LinkOnceAnyLinkage: 2947e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "GlobalValue::LinkOnceAnyLinkage "; break; 2957e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case GlobalValue::LinkOnceODRLinkage: 2967e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "GlobalValue::LinkOnceODRLinkage "; break; 2977e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case GlobalValue::WeakAnyLinkage: 2987e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "GlobalValue::WeakAnyLinkage"; break; 2997e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case GlobalValue::WeakODRLinkage: 3007e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "GlobalValue::WeakODRLinkage"; break; 3017e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case GlobalValue::AppendingLinkage: 3027e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "GlobalValue::AppendingLinkage"; break; 3037e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case GlobalValue::ExternalLinkage: 3047e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "GlobalValue::ExternalLinkage"; break; 3057e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case GlobalValue::DLLImportLinkage: 3067e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "GlobalValue::DLLImportLinkage"; break; 3077e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case GlobalValue::DLLExportLinkage: 3087e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "GlobalValue::DLLExportLinkage"; break; 3097e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case GlobalValue::ExternalWeakLinkage: 3107e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "GlobalValue::ExternalWeakLinkage"; break; 3117e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case GlobalValue::CommonLinkage: 3127e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "GlobalValue::CommonLinkage"; break; 3135027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov } 3147e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner} 3155027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov 3167e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattnervoid CppWriter::printVisibilityType(GlobalValue::VisibilityTypes VisType) { 3177e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner switch (VisType) { 3187e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner default: llvm_unreachable("Unknown GVar visibility"); 3197e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case GlobalValue::DefaultVisibility: 3207e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "GlobalValue::DefaultVisibility"; 3217e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner break; 3227e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case GlobalValue::HiddenVisibility: 3237e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "GlobalValue::HiddenVisibility"; 3247e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner break; 3257e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case GlobalValue::ProtectedVisibility: 3267e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "GlobalValue::ProtectedVisibility"; 3277e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner break; 3285027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov } 3297e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner} 3305027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov 3317e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner// printEscapedString - Print each character of the specified string, escaping 3327e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner// it if it is not printable or if it is an escape char. 3337e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattnervoid CppWriter::printEscapedString(const std::string &Str) { 3347e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner for (unsigned i = 0, e = Str.size(); i != e; ++i) { 3357e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner unsigned char C = Str[i]; 3367e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (isprint(C) && C != '"' && C != '\\') { 3377e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << C; 3387e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } else { 3397e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "\\x" 3407e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << (char) ((C/16 < 10) ? ( C/16 +'0') : ( C/16 -10+'A')) 3417e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << (char)(((C&15) < 10) ? ((C&15)+'0') : ((C&15)-10+'A')); 3425027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov } 3435027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov } 3447e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner} 3455027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov 3467e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattnerstd::string CppWriter::getCppName(const Type* Ty) { 3477e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // First, handle the primitive types .. easy 3487e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (Ty->isPrimitiveType() || Ty->isIntegerTy()) { 3497e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner switch (Ty->getTypeID()) { 3507e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Type::VoidTyID: return "Type::getVoidTy(mod->getContext())"; 3517e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Type::IntegerTyID: { 3527e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner unsigned BitWidth = cast<IntegerType>(Ty)->getBitWidth(); 3537e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner return "IntegerType::get(mod->getContext(), " + utostr(BitWidth) + ")"; 3547e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } 3557e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Type::X86_FP80TyID: return "Type::getX86_FP80Ty(mod->getContext())"; 3567e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Type::FloatTyID: return "Type::getFloatTy(mod->getContext())"; 3577e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Type::DoubleTyID: return "Type::getDoubleTy(mod->getContext())"; 3587e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Type::LabelTyID: return "Type::getLabelTy(mod->getContext())"; 3597e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner default: 3607e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner error("Invalid primitive type"); 3617e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner break; 3625027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov } 3637e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // shouldn't be returned, but make it sensible 3647e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner return "Type::getVoidTy(mod->getContext())"; 3655027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov } 3665027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov 3677e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // Now, see if we've seen the type before and return that 3687e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner TypeMap::iterator I = TypeNames.find(Ty); 3697e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (I != TypeNames.end()) 3707e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner return I->second; 3717e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner 3727e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // Okay, let's build a new name for this type. Start with a prefix 3737e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner const char* prefix = 0; 3747e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner switch (Ty->getTypeID()) { 3757e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Type::FunctionTyID: prefix = "FuncTy_"; break; 3767e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Type::StructTyID: prefix = "StructTy_"; break; 3777e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Type::ArrayTyID: prefix = "ArrayTy_"; break; 3787e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Type::PointerTyID: prefix = "PointerTy_"; break; 3797e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Type::OpaqueTyID: prefix = "OpaqueTy_"; break; 3807e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Type::VectorTyID: prefix = "VectorTy_"; break; 3817e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner default: prefix = "OtherTy_"; break; // prevent breakage 3827e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } 3835027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov 3847e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // See if the type has a name in the symboltable and build accordingly 3857e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner const std::string* tName = findTypeName(TheModule->getTypeSymbolTable(), Ty); 3867e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner std::string name; 3877e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (tName) 3887e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner name = std::string(prefix) + *tName; 3897e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner else 3907e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner name = std::string(prefix) + utostr(uniqueNum++); 3917e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner sanitize(name); 3927e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner 3937e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // Save the name 3947e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner return TypeNames[Ty] = name; 3957e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner} 3965027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov 3977e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattnervoid CppWriter::printCppName(const Type* Ty) { 3987e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printEscapedString(getCppName(Ty)); 3997e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner} 4005027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov 4017e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattnerstd::string CppWriter::getCppName(const Value* val) { 4027e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner std::string name; 4037e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner ValueMap::iterator I = ValueNames.find(val); 4047e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (I != ValueNames.end() && I->first == val) 4057e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner return I->second; 4067e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner 4077e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (const GlobalVariable* GV = dyn_cast<GlobalVariable>(val)) { 4087e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner name = std::string("gvar_") + 4097e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner getTypePrefix(GV->getType()->getElementType()); 4107e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } else if (isa<Function>(val)) { 4117e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner name = std::string("func_"); 4127e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } else if (const Constant* C = dyn_cast<Constant>(val)) { 4137e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner name = std::string("const_") + getTypePrefix(C->getType()); 4147e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } else if (const Argument* Arg = dyn_cast<Argument>(val)) { 4157e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (is_inline) { 4167e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner unsigned argNum = std::distance(Arg->getParent()->arg_begin(), 4177e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Function::const_arg_iterator(Arg)) + 1; 4187e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner name = std::string("arg_") + utostr(argNum); 4197e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner NameSet::iterator NI = UsedNames.find(name); 4207e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (NI != UsedNames.end()) 4217e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner name += std::string("_") + utostr(uniqueNum++); 4227e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner UsedNames.insert(name); 4237e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner return ValueNames[val] = name; 4245027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov } else { 4255027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov name = getTypePrefix(val->getType()); 4265027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov } 4277e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } else { 4287e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner name = getTypePrefix(val->getType()); 4295027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov } 4307e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (val->hasName()) 4317e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner name += val->getName(); 4327e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner else 4337e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner name += utostr(uniqueNum++); 4347e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner sanitize(name); 4357e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner NameSet::iterator NI = UsedNames.find(name); 4367e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (NI != UsedNames.end()) 4377e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner name += std::string("_") + utostr(uniqueNum++); 4387e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner UsedNames.insert(name); 4397e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner return ValueNames[val] = name; 4407e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner} 4415027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov 4427e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattnervoid CppWriter::printCppName(const Value* val) { 4437e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printEscapedString(getCppName(val)); 4447e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner} 4455027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov 4467e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattnervoid CppWriter::printAttributes(const AttrListPtr &PAL, 4477e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner const std::string &name) { 4487e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "AttrListPtr " << name << "_PAL;"; 4497e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out); 4507e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (!PAL.isEmpty()) { 4517e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << '{'; in(); nl(Out); 4527e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "SmallVector<AttributeWithIndex, 4> Attrs;"; nl(Out); 4537e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "AttributeWithIndex PAWI;"; nl(Out); 4547e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner for (unsigned i = 0; i < PAL.getNumSlots(); ++i) { 4557e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner unsigned index = PAL.getSlot(i).Index; 4567e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Attributes attrs = PAL.getSlot(i).Attrs; 4577e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "PAWI.Index = " << index << "U; PAWI.Attrs = 0 "; 458acca9559f4fdf99de62537592d7d63409229857bChris Lattner#define HANDLE_ATTR(X) \ 4597e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (attrs & Attribute::X) \ 4607e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << " | Attribute::" #X; \ 4617e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner attrs &= ~Attribute::X; 4627e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner 4637e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner HANDLE_ATTR(SExt); 4647e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner HANDLE_ATTR(ZExt); 4657e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner HANDLE_ATTR(NoReturn); 4667e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner HANDLE_ATTR(InReg); 4677e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner HANDLE_ATTR(StructRet); 4687e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner HANDLE_ATTR(NoUnwind); 4697e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner HANDLE_ATTR(NoAlias); 4707e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner HANDLE_ATTR(ByVal); 4717e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner HANDLE_ATTR(Nest); 4727e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner HANDLE_ATTR(ReadNone); 4737e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner HANDLE_ATTR(ReadOnly); 4747e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner HANDLE_ATTR(NoInline); 4757e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner HANDLE_ATTR(AlwaysInline); 4767e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner HANDLE_ATTR(OptimizeForSize); 4777e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner HANDLE_ATTR(StackProtect); 4787e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner HANDLE_ATTR(StackProtectReq); 4797e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner HANDLE_ATTR(NoCapture); 48032bb4dfd19b9816a6380ec7e7fdb879dd28c78f8Eli Friedman HANDLE_ATTR(NoRedZone); 48132bb4dfd19b9816a6380ec7e7fdb879dd28c78f8Eli Friedman HANDLE_ATTR(NoImplicitFloat); 48232bb4dfd19b9816a6380ec7e7fdb879dd28c78f8Eli Friedman HANDLE_ATTR(Naked); 48332bb4dfd19b9816a6380ec7e7fdb879dd28c78f8Eli Friedman HANDLE_ATTR(InlineHint); 484acca9559f4fdf99de62537592d7d63409229857bChris Lattner#undef HANDLE_ATTR 48532bb4dfd19b9816a6380ec7e7fdb879dd28c78f8Eli Friedman if (attrs & Attribute::StackAlignment) 48632bb4dfd19b9816a6380ec7e7fdb879dd28c78f8Eli Friedman Out << " | Attribute::constructStackAlignmentFromInt(" 48732bb4dfd19b9816a6380ec7e7fdb879dd28c78f8Eli Friedman << Attribute::getStackAlignmentFromAttrs(attrs) 48832bb4dfd19b9816a6380ec7e7fdb879dd28c78f8Eli Friedman << ")"; 48932bb4dfd19b9816a6380ec7e7fdb879dd28c78f8Eli Friedman attrs &= ~Attribute::StackAlignment; 4907e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner assert(attrs == 0 && "Unhandled attribute!"); 4917e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << ";"; 4927e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out); 4937e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "Attrs.push_back(PAWI);"; 4945027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov nl(Out); 4955027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov } 4967e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << name << "_PAL = AttrListPtr::get(Attrs.begin(), Attrs.end());"; 4977e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out); 4987e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner out(); nl(Out); 4997e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << '}'; nl(Out); 5005027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov } 5017e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner} 5025027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov 5037e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattnerbool CppWriter::printTypeInternal(const Type* Ty) { 5047e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // We don't print definitions for primitive types 5057e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (Ty->isPrimitiveType() || Ty->isIntegerTy()) 5067e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner return false; 5075027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov 5087e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // If we already defined this type, we don't need to define it again. 5097e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (DefinedTypes.find(Ty) != DefinedTypes.end()) 5107e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner return false; 5115027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov 5127e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // Everything below needs the name for the type so get it now. 5137e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner std::string typeName(getCppName(Ty)); 5147e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner 5157e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // Search the type stack for recursion. If we find it, then generate this 5167e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // as an OpaqueType, but make sure not to do this multiple times because 5177e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // the type could appear in multiple places on the stack. Once the opaque 5187e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // definition is issued, it must not be re-issued. Consequently we have to 5197e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // check the UnresolvedTypes list as well. 5207e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner TypeList::const_iterator TI = std::find(TypeStack.begin(), TypeStack.end(), 5217e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Ty); 5227e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (TI != TypeStack.end()) { 5237e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner TypeMap::const_iterator I = UnresolvedTypes.find(Ty); 5247e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (I == UnresolvedTypes.end()) { 5257e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "PATypeHolder " << typeName; 5267e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "_fwd = OpaqueType::get(mod->getContext());"; 5275027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov nl(Out); 5287e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner UnresolvedTypes[Ty] = typeName; 5297e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } 5307e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner return true; 5317e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } 5327e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner 5337e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // We're going to print a derived type which, by definition, contains other 5347e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // types. So, push this one we're printing onto the type stack to assist with 5357e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // recursive definitions. 5367e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner TypeStack.push_back(Ty); 5377e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner 5387e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // Print the type definition 5397e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner switch (Ty->getTypeID()) { 5407e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Type::FunctionTyID: { 5417e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner const FunctionType* FT = cast<FunctionType>(Ty); 5427e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "std::vector<const Type*>" << typeName << "_args;"; 5437e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out); 5447e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner FunctionType::param_iterator PI = FT->param_begin(); 5457e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner FunctionType::param_iterator PE = FT->param_end(); 5467e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner for (; PI != PE; ++PI) { 5477e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner const Type* argTy = static_cast<const Type*>(*PI); 5487e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner bool isForward = printTypeInternal(argTy); 5497e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner std::string argName(getCppName(argTy)); 5507e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << typeName << "_args.push_back(" << argName; 5515027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov if (isForward) 5525027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov Out << "_fwd"; 5537e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << ");"; 5545027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov nl(Out); 5555027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov } 5567e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner bool isForward = printTypeInternal(FT->getReturnType()); 5577e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner std::string retTypeName(getCppName(FT->getReturnType())); 5587e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "FunctionType* " << typeName << " = FunctionType::get("; 5597e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner in(); nl(Out) << "/*Result=*/" << retTypeName; 5607e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (isForward) 5617e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "_fwd"; 5627e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << ","; 5637e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out) << "/*Params=*/" << typeName << "_args,"; 5647e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out) << "/*isVarArg=*/" << (FT->isVarArg() ? "true" : "false") << ");"; 5657e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner out(); 5667e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out); 5677e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner break; 5687e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } 5697e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Type::StructTyID: { 5707e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner const StructType* ST = cast<StructType>(Ty); 5717e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "std::vector<const Type*>" << typeName << "_fields;"; 5727e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out); 5737e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner StructType::element_iterator EI = ST->element_begin(); 5747e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner StructType::element_iterator EE = ST->element_end(); 5757e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner for (; EI != EE; ++EI) { 5767e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner const Type* fieldTy = static_cast<const Type*>(*EI); 5777e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner bool isForward = printTypeInternal(fieldTy); 5787e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner std::string fieldName(getCppName(fieldTy)); 5797e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << typeName << "_fields.push_back(" << fieldName; 5807e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (isForward) 5817e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "_fwd"; 5827e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << ");"; 5835027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov nl(Out); 5845027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov } 5857e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "StructType* " << typeName << " = StructType::get(" 5867e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << "mod->getContext(), " 5877e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << typeName << "_fields, /*isPacked=*/" 5887e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << (ST->isPacked() ? "true" : "false") << ");"; 5897e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out); 5907e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner break; 5917e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } 5927e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Type::ArrayTyID: { 5937e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner const ArrayType* AT = cast<ArrayType>(Ty); 5947e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner const Type* ET = AT->getElementType(); 5957e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner bool isForward = printTypeInternal(ET); 5967e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner std::string elemName(getCppName(ET)); 5977e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "ArrayType* " << typeName << " = ArrayType::get(" 5987e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << elemName << (isForward ? "_fwd" : "") 5997e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << ", " << utostr(AT->getNumElements()) << ");"; 6007e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out); 6017e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner break; 6027e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } 6037e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Type::PointerTyID: { 6047e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner const PointerType* PT = cast<PointerType>(Ty); 6057e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner const Type* ET = PT->getElementType(); 6067e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner bool isForward = printTypeInternal(ET); 6077e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner std::string elemName(getCppName(ET)); 6087e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "PointerType* " << typeName << " = PointerType::get(" 6097e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << elemName << (isForward ? "_fwd" : "") 6107e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << ", " << utostr(PT->getAddressSpace()) << ");"; 6117e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out); 6127e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner break; 6137e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } 6147e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Type::VectorTyID: { 6157e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner const VectorType* PT = cast<VectorType>(Ty); 6167e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner const Type* ET = PT->getElementType(); 6177e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner bool isForward = printTypeInternal(ET); 6187e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner std::string elemName(getCppName(ET)); 6197e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "VectorType* " << typeName << " = VectorType::get(" 6207e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << elemName << (isForward ? "_fwd" : "") 6217e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << ", " << utostr(PT->getNumElements()) << ");"; 6227e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out); 6237e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner break; 6247e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } 6257e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Type::OpaqueTyID: { 6267e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "OpaqueType* " << typeName; 6277e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << " = OpaqueType::get(mod->getContext());"; 6287e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out); 6297e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner break; 6307e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } 6317e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner default: 6327e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner error("Invalid TypeID"); 6337e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } 6345027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov 6357e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // If the type had a name, make sure we recreate it. 6367e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner const std::string* progTypeName = 6377e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner findTypeName(TheModule->getTypeSymbolTable(),Ty); 6387e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (progTypeName) { 6397e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "mod->addTypeName(\"" << *progTypeName << "\", " 6407e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << typeName << ");"; 6417e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out); 6427e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } 6435027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov 6447e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // Pop us off the type stack 6457e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner TypeStack.pop_back(); 6465027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov 6477e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // Indicate that this type is now defined. 6487e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner DefinedTypes.insert(Ty); 6495027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov 6507e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // Early resolve as many unresolved types as possible. Search the unresolved 6517e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // types map for the type we just printed. Now that its definition is complete 6527e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // we can resolve any previous references to it. This prevents a cascade of 6537e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // unresolved types. 6547e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner TypeMap::iterator I = UnresolvedTypes.find(Ty); 6557e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (I != UnresolvedTypes.end()) { 6567e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "cast<OpaqueType>(" << I->second 6577e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << "_fwd.get())->refineAbstractTypeTo(" << I->second << ");"; 6585027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov nl(Out); 6597e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << I->second << " = cast<"; 6607e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner switch (Ty->getTypeID()) { 6617e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Type::FunctionTyID: Out << "FunctionType"; break; 6627e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Type::ArrayTyID: Out << "ArrayType"; break; 6637e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Type::StructTyID: Out << "StructType"; break; 6647e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Type::VectorTyID: Out << "VectorType"; break; 6657e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Type::PointerTyID: Out << "PointerType"; break; 6667e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Type::OpaqueTyID: Out << "OpaqueType"; break; 6677e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner default: Out << "NoSuchDerivedType"; break; 6687e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } 6697e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << ">(" << I->second << "_fwd.get());"; 6707e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out); nl(Out); 6717e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner UnresolvedTypes.erase(I); 6725027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov } 6735027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov 6747e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // Finally, separate the type definition from other with a newline. 6757e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out); 6765027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov 6777e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // We weren't a recursive type 6787e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner return false; 6797e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner} 6807e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner 6817e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner// Prints a type definition. Returns true if it could not resolve all the 6827e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner// types in the definition but had to use a forward reference. 6837e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattnervoid CppWriter::printType(const Type* Ty) { 6847e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner assert(TypeStack.empty()); 6857e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner TypeStack.clear(); 6867e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printTypeInternal(Ty); 6877e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner assert(TypeStack.empty()); 6887e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner} 6897e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner 6907e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattnervoid CppWriter::printTypes(const Module* M) { 6917e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // Walk the symbol table and print out all its types 6927e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner const TypeSymbolTable& symtab = M->getTypeSymbolTable(); 6937e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner for (TypeSymbolTable::const_iterator TI = symtab.begin(), TE = symtab.end(); 6947e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner TI != TE; ++TI) { 6957e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner 6967e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // For primitive types and types already defined, just add a name 6977e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner TypeMap::const_iterator TNI = TypeNames.find(TI->second); 6987e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (TI->second->isIntegerTy() || TI->second->isPrimitiveType() || 6997e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner TNI != TypeNames.end()) { 7007e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "mod->addTypeName(\""; 7017e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printEscapedString(TI->first); 7027e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "\", " << getCppName(TI->second) << ");"; 7037e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out); 7047e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // For everything else, define the type 7057e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } else { 7067e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printType(TI->second); 7075027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov } 7087e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } 7095027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov 7107e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // Add all of the global variables to the value table... 7117e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner for (Module::const_global_iterator I = TheModule->global_begin(), 7127e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner E = TheModule->global_end(); I != E; ++I) { 7137e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (I->hasInitializer()) 7147e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printType(I->getInitializer()->getType()); 7157e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printType(I->getType()); 7167e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } 7175027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov 7187e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // Add all the functions to the table 7197e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner for (Module::const_iterator FI = TheModule->begin(), FE = TheModule->end(); 7207e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner FI != FE; ++FI) { 7217e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printType(FI->getReturnType()); 7227e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printType(FI->getFunctionType()); 7237e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // Add all the function arguments 7247e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner for (Function::const_arg_iterator AI = FI->arg_begin(), 7257e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner AE = FI->arg_end(); AI != AE; ++AI) { 7267e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printType(AI->getType()); 7277e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } 7287e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner 7297e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // Add all of the basic blocks and instructions 7307e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner for (Function::const_iterator BB = FI->begin(), 7317e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner E = FI->end(); BB != E; ++BB) { 7327e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printType(BB->getType()); 7337e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner for (BasicBlock::const_iterator I = BB->begin(), E = BB->end(); I!=E; 7347e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner ++I) { 7357e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printType(I->getType()); 7367e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner for (unsigned i = 0; i < I->getNumOperands(); ++i) 7377e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printType(I->getOperand(i)->getType()); 7385027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov } 7395027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov } 7405027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov } 7417e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner} 7425027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov 7435027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov 7447e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner// printConstant - Print out a constant pool entry... 7457e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattnervoid CppWriter::printConstant(const Constant *CV) { 7467e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // First, if the constant is actually a GlobalValue (variable or function) 7477e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // or its already in the constant list then we've printed it already and we 7487e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // can just return. 7497e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (isa<GlobalValue>(CV) || ValueNames.find(CV) != ValueNames.end()) 7507e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner return; 7515027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov 7527e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner std::string constName(getCppName(CV)); 7537e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner std::string typeName(getCppName(CV->getType())); 754ff4ca2e0883d95cbd97e09e56bee8c73fa384e6aAnton Korobeynikov 7557e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (isa<GlobalValue>(CV)) { 7567e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // Skip variables and functions, we emit them elsewhere 7577e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner return; 7587e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } 759ff4ca2e0883d95cbd97e09e56bee8c73fa384e6aAnton Korobeynikov 7607e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (const ConstantInt *CI = dyn_cast<ConstantInt>(CV)) { 7617e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner std::string constValue = CI->getValue().toString(10, true); 7627e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "ConstantInt* " << constName 7637e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << " = ConstantInt::get(mod->getContext(), APInt(" 7647e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << cast<IntegerType>(CI->getType())->getBitWidth() 7657e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << ", StringRef(\"" << constValue << "\"), 10));"; 7667e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } else if (isa<ConstantAggregateZero>(CV)) { 7677e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "ConstantAggregateZero* " << constName 7687e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << " = ConstantAggregateZero::get(" << typeName << ");"; 7697e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } else if (isa<ConstantPointerNull>(CV)) { 7707e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "ConstantPointerNull* " << constName 7717e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << " = ConstantPointerNull::get(" << typeName << ");"; 7727e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } else if (const ConstantFP *CFP = dyn_cast<ConstantFP>(CV)) { 7737e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "ConstantFP* " << constName << " = "; 7747e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printCFP(CFP); 7757e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << ";"; 7767e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } else if (const ConstantArray *CA = dyn_cast<ConstantArray>(CV)) { 7777e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (CA->isString() && 7787e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner CA->getType()->getElementType() == 7797e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Type::getInt8Ty(CA->getContext())) { 7807e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "Constant* " << constName << 7817e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner " = ConstantArray::get(mod->getContext(), \""; 7827e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner std::string tmp = CA->getAsString(); 7837e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner bool nullTerminate = false; 7847e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (tmp[tmp.length()-1] == 0) { 7857e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner tmp.erase(tmp.length()-1); 7867e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nullTerminate = true; 7875027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov } 7887e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printEscapedString(tmp); 7897e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // Determine if we want null termination or not. 7907e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (nullTerminate) 7917e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "\", true"; // Indicate that the null terminator should be 7927e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // added. 7937e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner else 7947e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "\", false";// No null terminator 7957e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << ");"; 7967e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } else { 7975027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov Out << "std::vector<Constant*> " << constName << "_elems;"; 7985027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov nl(Out); 7997e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner unsigned N = CA->getNumOperands(); 8005027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov for (unsigned i = 0; i < N; ++i) { 8017e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printConstant(CA->getOperand(i)); // recurse to print operands 8025027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov Out << constName << "_elems.push_back(" 8037e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << getCppName(CA->getOperand(i)) << ");"; 8045027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov nl(Out); 8055027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov } 8067e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "Constant* " << constName << " = ConstantArray::get(" 8075027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov << typeName << ", " << constName << "_elems);"; 8087e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } 8097e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } else if (const ConstantStruct *CS = dyn_cast<ConstantStruct>(CV)) { 8107e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "std::vector<Constant*> " << constName << "_fields;"; 8117e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out); 8127e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner unsigned N = CS->getNumOperands(); 8137e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner for (unsigned i = 0; i < N; i++) { 8147e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printConstant(CS->getOperand(i)); 8157e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << constName << "_fields.push_back(" 8167e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << getCppName(CS->getOperand(i)) << ");"; 8177e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out); 8187e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } 8197e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "Constant* " << constName << " = ConstantStruct::get(" 8207e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << typeName << ", " << constName << "_fields);"; 8217e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } else if (const ConstantVector *CP = dyn_cast<ConstantVector>(CV)) { 8227e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "std::vector<Constant*> " << constName << "_elems;"; 8237e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out); 8247e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner unsigned N = CP->getNumOperands(); 8257e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner for (unsigned i = 0; i < N; ++i) { 8267e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printConstant(CP->getOperand(i)); 8277e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << constName << "_elems.push_back(" 8287e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << getCppName(CP->getOperand(i)) << ");"; 8297e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out); 8307e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } 8317e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "Constant* " << constName << " = ConstantVector::get(" 8327e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << typeName << ", " << constName << "_elems);"; 8337e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } else if (isa<UndefValue>(CV)) { 8347e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "UndefValue* " << constName << " = UndefValue::get(" 8357e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << typeName << ");"; 8367e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } else if (const ConstantExpr *CE = dyn_cast<ConstantExpr>(CV)) { 8377e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (CE->getOpcode() == Instruction::GetElementPtr) { 8387e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "std::vector<Constant*> " << constName << "_indices;"; 8397e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out); 8407e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printConstant(CE->getOperand(0)); 8417e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner for (unsigned i = 1; i < CE->getNumOperands(); ++i ) { 8427e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printConstant(CE->getOperand(i)); 8437e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << constName << "_indices.push_back(" 8447e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << getCppName(CE->getOperand(i)) << ");"; 8455027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov nl(Out); 8467e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } 8477e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "Constant* " << constName 8487e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << " = ConstantExpr::getGetElementPtr(" 8497e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << getCppName(CE->getOperand(0)) << ", " 8507e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << "&" << constName << "_indices[0], " 8517e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << constName << "_indices.size()" 8527e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << ");"; 8537e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } else if (CE->isCast()) { 8547e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printConstant(CE->getOperand(0)); 8557e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "Constant* " << constName << " = ConstantExpr::getCast("; 8567e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner switch (CE->getOpcode()) { 8577e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner default: llvm_unreachable("Invalid cast opcode"); 8587e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::Trunc: Out << "Instruction::Trunc"; break; 8597e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::ZExt: Out << "Instruction::ZExt"; break; 8607e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::SExt: Out << "Instruction::SExt"; break; 8617e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::FPTrunc: Out << "Instruction::FPTrunc"; break; 8627e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::FPExt: Out << "Instruction::FPExt"; break; 8637e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::FPToUI: Out << "Instruction::FPToUI"; break; 8647e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::FPToSI: Out << "Instruction::FPToSI"; break; 8657e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::UIToFP: Out << "Instruction::UIToFP"; break; 8667e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::SIToFP: Out << "Instruction::SIToFP"; break; 8677e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::PtrToInt: Out << "Instruction::PtrToInt"; break; 8687e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::IntToPtr: Out << "Instruction::IntToPtr"; break; 8697e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::BitCast: Out << "Instruction::BitCast"; break; 8707e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } 8717e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << ", " << getCppName(CE->getOperand(0)) << ", " 8727e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << getCppName(CE->getType()) << ");"; 8737e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } else { 8747e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner unsigned N = CE->getNumOperands(); 8757e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner for (unsigned i = 0; i < N; ++i ) { 8767e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printConstant(CE->getOperand(i)); 8777e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } 8787e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "Constant* " << constName << " = ConstantExpr::"; 8797e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner switch (CE->getOpcode()) { 8807e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::Add: Out << "getAdd("; break; 8817e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::FAdd: Out << "getFAdd("; break; 8827e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::Sub: Out << "getSub("; break; 8837e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::FSub: Out << "getFSub("; break; 8847e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::Mul: Out << "getMul("; break; 8857e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::FMul: Out << "getFMul("; break; 8867e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::UDiv: Out << "getUDiv("; break; 8877e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::SDiv: Out << "getSDiv("; break; 8887e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::FDiv: Out << "getFDiv("; break; 8897e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::URem: Out << "getURem("; break; 8907e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::SRem: Out << "getSRem("; break; 8917e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::FRem: Out << "getFRem("; break; 8927e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::And: Out << "getAnd("; break; 8937e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::Or: Out << "getOr("; break; 8947e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::Xor: Out << "getXor("; break; 8957e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::ICmp: 8967e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "getICmp(ICmpInst::ICMP_"; 8977e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner switch (CE->getPredicate()) { 8987e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case ICmpInst::ICMP_EQ: Out << "EQ"; break; 8997e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case ICmpInst::ICMP_NE: Out << "NE"; break; 9007e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case ICmpInst::ICMP_SLT: Out << "SLT"; break; 9017e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case ICmpInst::ICMP_ULT: Out << "ULT"; break; 9027e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case ICmpInst::ICMP_SGT: Out << "SGT"; break; 9037e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case ICmpInst::ICMP_UGT: Out << "UGT"; break; 9047e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case ICmpInst::ICMP_SLE: Out << "SLE"; break; 9057e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case ICmpInst::ICMP_ULE: Out << "ULE"; break; 9067e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case ICmpInst::ICMP_SGE: Out << "SGE"; break; 9077e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case ICmpInst::ICMP_UGE: Out << "UGE"; break; 9087e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner default: error("Invalid ICmp Predicate"); 9095027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov } 9107e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner break; 9117e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::FCmp: 9127e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "getFCmp(FCmpInst::FCMP_"; 9137e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner switch (CE->getPredicate()) { 9147e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case FCmpInst::FCMP_FALSE: Out << "FALSE"; break; 9157e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case FCmpInst::FCMP_ORD: Out << "ORD"; break; 9167e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case FCmpInst::FCMP_UNO: Out << "UNO"; break; 9177e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case FCmpInst::FCMP_OEQ: Out << "OEQ"; break; 9187e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case FCmpInst::FCMP_UEQ: Out << "UEQ"; break; 9197e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case FCmpInst::FCMP_ONE: Out << "ONE"; break; 9207e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case FCmpInst::FCMP_UNE: Out << "UNE"; break; 9217e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case FCmpInst::FCMP_OLT: Out << "OLT"; break; 9227e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case FCmpInst::FCMP_ULT: Out << "ULT"; break; 9237e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case FCmpInst::FCMP_OGT: Out << "OGT"; break; 9247e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case FCmpInst::FCMP_UGT: Out << "UGT"; break; 9257e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case FCmpInst::FCMP_OLE: Out << "OLE"; break; 9267e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case FCmpInst::FCMP_ULE: Out << "ULE"; break; 9277e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case FCmpInst::FCMP_OGE: Out << "OGE"; break; 9287e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case FCmpInst::FCMP_UGE: Out << "UGE"; break; 9297e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case FCmpInst::FCMP_TRUE: Out << "TRUE"; break; 9307e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner default: error("Invalid FCmp Predicate"); 9315027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov } 9327e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner break; 9337e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::Shl: Out << "getShl("; break; 9347e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::LShr: Out << "getLShr("; break; 9357e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::AShr: Out << "getAShr("; break; 9367e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::Select: Out << "getSelect("; break; 9377e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::ExtractElement: Out << "getExtractElement("; break; 9387e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::InsertElement: Out << "getInsertElement("; break; 9397e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::ShuffleVector: Out << "getShuffleVector("; break; 9407e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner default: 9417e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner error("Invalid constant expression"); 9427e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner break; 9435027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov } 9447e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << getCppName(CE->getOperand(0)); 9457e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner for (unsigned i = 1; i < CE->getNumOperands(); ++i) 9467e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << ", " << getCppName(CE->getOperand(i)); 9477e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << ");"; 9485027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov } 9493284877064af9e6f67bb8c7e540753d22bb69662Chris Lattner } else if (const BlockAddress *BA = dyn_cast<BlockAddress>(CV)) { 9503284877064af9e6f67bb8c7e540753d22bb69662Chris Lattner Out << "Constant* " << constName << " = "; 9513284877064af9e6f67bb8c7e540753d22bb69662Chris Lattner Out << "BlockAddress::get(" << getOpName(BA->getBasicBlock()) << ");"; 9527e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } else { 9537e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner error("Bad Constant"); 9547e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "Constant* " << constName << " = 0; "; 9555027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov } 9567e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out); 9577e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner} 9585027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov 9597e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattnervoid CppWriter::printConstants(const Module* M) { 9607e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // Traverse all the global variables looking for constant initializers 9617e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner for (Module::const_global_iterator I = TheModule->global_begin(), 9627e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner E = TheModule->global_end(); I != E; ++I) 9637e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (I->hasInitializer()) 9647e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printConstant(I->getInitializer()); 9657e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner 9667e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // Traverse the LLVM functions looking for constants 9677e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner for (Module::const_iterator FI = TheModule->begin(), FE = TheModule->end(); 9687e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner FI != FE; ++FI) { 9697e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // Add all of the basic blocks and instructions 9707e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner for (Function::const_iterator BB = FI->begin(), 9717e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner E = FI->end(); BB != E; ++BB) { 9727e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner for (BasicBlock::const_iterator I = BB->begin(), E = BB->end(); I!=E; 9737e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner ++I) { 9747e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner for (unsigned i = 0; i < I->getNumOperands(); ++i) { 9757e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (Constant* C = dyn_cast<Constant>(I->getOperand(i))) { 9767e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printConstant(C); 9775027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov } 9785027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov } 9795027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov } 9805027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov } 9815027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov } 9827e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner} 9835027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov 9847e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattnervoid CppWriter::printVariableUses(const GlobalVariable *GV) { 9857e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out) << "// Type Definitions"; 9867e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out); 9877e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printType(GV->getType()); 9887e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (GV->hasInitializer()) { 9897e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Constant *Init = GV->getInitializer(); 9907e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printType(Init->getType()); 9917e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (Function *F = dyn_cast<Function>(Init)) { 9927e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out)<< "/ Function Declarations"; nl(Out); 9937e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printFunctionHead(F); 9947e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } else if (GlobalVariable* gv = dyn_cast<GlobalVariable>(Init)) { 9957e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out) << "// Global Variable Declarations"; nl(Out); 9967e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printVariableHead(gv); 9977e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner 9987e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out) << "// Global Variable Definitions"; nl(Out); 9997e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printVariableBody(gv); 10007e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } else { 10017e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out) << "// Constant Definitions"; nl(Out); 10027e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printConstant(Init); 10035027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov } 10045027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov } 10057e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner} 10065027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov 10077e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattnervoid CppWriter::printVariableHead(const GlobalVariable *GV) { 10087e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out) << "GlobalVariable* " << getCppName(GV); 10097e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (is_inline) { 10107e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << " = mod->getGlobalVariable(mod->getContext(), "; 10115027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov printEscapedString(GV->getName()); 10127e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << ", " << getCppName(GV->getType()->getElementType()) << ",true)"; 10137e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out) << "if (!" << getCppName(GV) << ") {"; 10147e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner in(); nl(Out) << getCppName(GV); 10157e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } 10167e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << " = new GlobalVariable(/*Module=*/*mod, "; 10177e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out) << "/*Type=*/"; 10187e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printCppName(GV->getType()->getElementType()); 10197e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << ","; 10207e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out) << "/*isConstant=*/" << (GV->isConstant()?"true":"false"); 10217e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << ","; 10227e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out) << "/*Linkage=*/"; 10237e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printLinkageType(GV->getLinkage()); 10247e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << ","; 10257e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out) << "/*Initializer=*/0, "; 10267e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (GV->hasInitializer()) { 10277e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "// has initializer, specified below"; 10287e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } 10297e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out) << "/*Name=*/\""; 10307e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printEscapedString(GV->getName()); 10317e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "\");"; 10327e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out); 10337e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner 10347e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (GV->hasSection()) { 10357e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printCppName(GV); 10367e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "->setSection(\""; 10377e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printEscapedString(GV->getSection()); 103816a412edb6d279bb5fbffba3ff1a6c914e478aafOwen Anderson Out << "\");"; 10395027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov nl(Out); 10405027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov } 10417e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (GV->getAlignment()) { 10427e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printCppName(GV); 10437e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "->setAlignment(" << utostr(GV->getAlignment()) << ");"; 10447e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out); 10457e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } 10467e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (GV->getVisibility() != GlobalValue::DefaultVisibility) { 10477e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printCppName(GV); 10487e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "->setVisibility("; 10497e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printVisibilityType(GV->getVisibility()); 10507e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << ");"; 10517e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out); 10527e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } 10537e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (GV->isThreadLocal()) { 10547e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printCppName(GV); 10557e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "->setThreadLocal(true);"; 10567e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out); 10577e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } 10587e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (is_inline) { 10597e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner out(); Out << "}"; nl(Out); 10607e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } 10617e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner} 10625027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov 10637e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattnervoid CppWriter::printVariableBody(const GlobalVariable *GV) { 10647e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (GV->hasInitializer()) { 10657e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printCppName(GV); 10667e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "->setInitializer("; 10677e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << getCppName(GV->getInitializer()) << ");"; 10687e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out); 10695027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov } 10707e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner} 10715027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov 10727e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattnerstd::string CppWriter::getOpName(Value* V) { 10737e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (!isa<Instruction>(V) || DefinedValues.find(V) != DefinedValues.end()) 10747e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner return getCppName(V); 10755027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov 10767e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // See if its alread in the map of forward references, if so just return the 10777e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // name we already set up for it 10787e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner ForwardRefMap::const_iterator I = ForwardRefs.find(V); 10797e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (I != ForwardRefs.end()) 10807e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner return I->second; 10815027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov 10827e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // This is a new forward reference. Generate a unique name for it 10837e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner std::string result(std::string("fwdref_") + utostr(uniqueNum++)); 10845027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov 10857e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // Yes, this is a hack. An Argument is the smallest instantiable value that 10867e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // we can make as a placeholder for the real value. We'll replace these 10877e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // Argument instances later. 10887e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "Argument* " << result << " = new Argument(" 10897e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << getCppName(V->getType()) << ");"; 10907e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out); 10917e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner ForwardRefs[V] = result; 10927e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner return result; 10937e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner} 10945027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov 10957e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner// printInstruction - This member is called for each Instruction in a function. 10967e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattnervoid CppWriter::printInstruction(const Instruction *I, 10977e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner const std::string& bbname) { 10987e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner std::string iName(getCppName(I)); 10997e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner 11007e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // Before we emit this instruction, we need to take care of generating any 11017e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // forward references. So, we get the names of all the operands in advance 11027e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner const unsigned Ops(I->getNumOperands()); 11037e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner std::string* opNames = new std::string[Ops]; 11043284877064af9e6f67bb8c7e540753d22bb69662Chris Lattner for (unsigned i = 0; i < Ops; i++) 11057e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner opNames[i] = getOpName(I->getOperand(i)); 11065027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov 11077e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner switch (I->getOpcode()) { 11087e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner default: 11097e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner error("Invalid instruction"); 11107e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner break; 11115027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov 11127e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::Ret: { 11137e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner const ReturnInst* ret = cast<ReturnInst>(I); 11147e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "ReturnInst::Create(mod->getContext(), " 11157e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << (ret->getReturnValue() ? opNames[0] + ", " : "") << bbname << ");"; 11167e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner break; 11177e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } 11187e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::Br: { 11197e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner const BranchInst* br = cast<BranchInst>(I); 11207e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "BranchInst::Create(" ; 11213284877064af9e6f67bb8c7e540753d22bb69662Chris Lattner if (br->getNumOperands() == 3) { 11227e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << opNames[2] << ", " 11237e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << opNames[1] << ", " 11247e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << opNames[0] << ", "; 112526825a84e97790adaffc55c6101b9fe2524fe1b7Dan Gohman 11267e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } else if (br->getNumOperands() == 1) { 11277e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << opNames[0] << ", "; 11287e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } else { 11297e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner error("Branch with 2 operands?"); 11305027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov } 11317e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << bbname << ");"; 11327e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner break; 11337e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } 11347e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::Switch: { 11357e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner const SwitchInst *SI = cast<SwitchInst>(I); 11367e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "SwitchInst* " << iName << " = SwitchInst::Create(" 11377e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << opNames[0] << ", " 11387e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << opNames[1] << ", " 11397e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << SI->getNumCases() << ", " << bbname << ");"; 11407e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out); 11417e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner for (unsigned i = 2; i != SI->getNumOperands(); i += 2) { 11427e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << iName << "->addCase(" 11437e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << opNames[i] << ", " 11447e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << opNames[i+1] << ");"; 11457e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out); 11465027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov } 11477e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner break; 11487e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } 11497e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::IndirectBr: { 11507e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner const IndirectBrInst *IBI = cast<IndirectBrInst>(I); 11517e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "IndirectBrInst *" << iName << " = IndirectBrInst::Create(" 11527e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << opNames[0] << ", " << IBI->getNumDestinations() << ");"; 11537e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out); 11547e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner for (unsigned i = 1; i != IBI->getNumOperands(); ++i) { 11557e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << iName << "->addDestination(" << opNames[i] << ");"; 11565027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov nl(Out); 11575027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov } 11587e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner break; 11597e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } 11607e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::Invoke: { 11617e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner const InvokeInst* inv = cast<InvokeInst>(I); 11627e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "std::vector<Value*> " << iName << "_params;"; 11637e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out); 11647e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner for (unsigned i = 0; i < inv->getNumArgOperands(); ++i) { 11657e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << iName << "_params.push_back(" 11667e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << getOpName(inv->getArgOperand(i)) << ");"; 1167627b470981a833f847005556bea04e71f94da260Chris Lattner nl(Out); 1168627b470981a833f847005556bea04e71f94da260Chris Lattner } 11697e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // FIXME: This shouldn't use magic numbers -3, -2, and -1. 11707e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "InvokeInst *" << iName << " = InvokeInst::Create(" 11717e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << getOpName(inv->getCalledFunction()) << ", " 11727e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << getOpName(inv->getNormalDest()) << ", " 11737e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << getOpName(inv->getUnwindDest()) << ", " 11747e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << iName << "_params.begin(), " 11757e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << iName << "_params.end(), \""; 11767e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printEscapedString(inv->getName()); 11777e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "\", " << bbname << ");"; 11787e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out) << iName << "->setCallingConv("; 11797e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printCallingConv(inv->getCallingConv()); 11807e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << ");"; 11817e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printAttributes(inv->getAttributes(), iName); 11827e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << iName << "->setAttributes(" << iName << "_PAL);"; 11837e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out); 11847e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner break; 11857e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } 11867e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::Unwind: { 11877e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "new UnwindInst(" 11887e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << bbname << ");"; 11897e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner break; 11907e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } 11917e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::Unreachable: { 11927e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "new UnreachableInst(" 11937e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << "mod->getContext(), " 11947e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << bbname << ");"; 11957e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner break; 11967e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } 11977e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::Add: 11987e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::FAdd: 11997e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::Sub: 12007e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::FSub: 12017e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::Mul: 12027e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::FMul: 12037e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::UDiv: 12047e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::SDiv: 12057e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::FDiv: 12067e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::URem: 12077e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::SRem: 12087e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::FRem: 12097e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::And: 12107e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::Or: 12117e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::Xor: 12127e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::Shl: 12137e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::LShr: 12147e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::AShr:{ 12157e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "BinaryOperator* " << iName << " = BinaryOperator::Create("; 12167e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner switch (I->getOpcode()) { 12177e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::Add: Out << "Instruction::Add"; break; 12187e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::FAdd: Out << "Instruction::FAdd"; break; 12197e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::Sub: Out << "Instruction::Sub"; break; 12207e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::FSub: Out << "Instruction::FSub"; break; 12217e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::Mul: Out << "Instruction::Mul"; break; 12227e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::FMul: Out << "Instruction::FMul"; break; 12237e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::UDiv:Out << "Instruction::UDiv"; break; 12247e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::SDiv:Out << "Instruction::SDiv"; break; 12257e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::FDiv:Out << "Instruction::FDiv"; break; 12267e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::URem:Out << "Instruction::URem"; break; 12277e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::SRem:Out << "Instruction::SRem"; break; 12287e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::FRem:Out << "Instruction::FRem"; break; 12297e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::And: Out << "Instruction::And"; break; 12307e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::Or: Out << "Instruction::Or"; break; 12317e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::Xor: Out << "Instruction::Xor"; break; 12327e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::Shl: Out << "Instruction::Shl"; break; 12337e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::LShr:Out << "Instruction::LShr"; break; 12347e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::AShr:Out << "Instruction::AShr"; break; 12357e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner default: Out << "Instruction::BadOpCode"; break; 12367e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } 12377e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << ", " << opNames[0] << ", " << opNames[1] << ", \""; 12387e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printEscapedString(I->getName()); 12397e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "\", " << bbname << ");"; 12407e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner break; 12417e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } 12427e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::FCmp: { 12437e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "FCmpInst* " << iName << " = new FCmpInst(*" << bbname << ", "; 12447e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner switch (cast<FCmpInst>(I)->getPredicate()) { 12457e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case FCmpInst::FCMP_FALSE: Out << "FCmpInst::FCMP_FALSE"; break; 12467e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case FCmpInst::FCMP_OEQ : Out << "FCmpInst::FCMP_OEQ"; break; 12477e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case FCmpInst::FCMP_OGT : Out << "FCmpInst::FCMP_OGT"; break; 12487e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case FCmpInst::FCMP_OGE : Out << "FCmpInst::FCMP_OGE"; break; 12497e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case FCmpInst::FCMP_OLT : Out << "FCmpInst::FCMP_OLT"; break; 12507e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case FCmpInst::FCMP_OLE : Out << "FCmpInst::FCMP_OLE"; break; 12517e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case FCmpInst::FCMP_ONE : Out << "FCmpInst::FCMP_ONE"; break; 12527e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case FCmpInst::FCMP_ORD : Out << "FCmpInst::FCMP_ORD"; break; 12537e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case FCmpInst::FCMP_UNO : Out << "FCmpInst::FCMP_UNO"; break; 12547e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case FCmpInst::FCMP_UEQ : Out << "FCmpInst::FCMP_UEQ"; break; 12557e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case FCmpInst::FCMP_UGT : Out << "FCmpInst::FCMP_UGT"; break; 12567e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case FCmpInst::FCMP_UGE : Out << "FCmpInst::FCMP_UGE"; break; 12577e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case FCmpInst::FCMP_ULT : Out << "FCmpInst::FCMP_ULT"; break; 12587e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case FCmpInst::FCMP_ULE : Out << "FCmpInst::FCMP_ULE"; break; 12597e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case FCmpInst::FCMP_UNE : Out << "FCmpInst::FCMP_UNE"; break; 12607e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case FCmpInst::FCMP_TRUE : Out << "FCmpInst::FCMP_TRUE"; break; 12617e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner default: Out << "FCmpInst::BAD_ICMP_PREDICATE"; break; 12627e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } 12637e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << ", " << opNames[0] << ", " << opNames[1] << ", \""; 12647e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printEscapedString(I->getName()); 12657e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "\");"; 12667e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner break; 12677e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } 12687e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::ICmp: { 12697e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "ICmpInst* " << iName << " = new ICmpInst(*" << bbname << ", "; 12707e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner switch (cast<ICmpInst>(I)->getPredicate()) { 12717e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case ICmpInst::ICMP_EQ: Out << "ICmpInst::ICMP_EQ"; break; 12727e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case ICmpInst::ICMP_NE: Out << "ICmpInst::ICMP_NE"; break; 12737e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case ICmpInst::ICMP_ULE: Out << "ICmpInst::ICMP_ULE"; break; 12747e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case ICmpInst::ICMP_SLE: Out << "ICmpInst::ICMP_SLE"; break; 12757e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case ICmpInst::ICMP_UGE: Out << "ICmpInst::ICMP_UGE"; break; 12767e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case ICmpInst::ICMP_SGE: Out << "ICmpInst::ICMP_SGE"; break; 12777e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case ICmpInst::ICMP_ULT: Out << "ICmpInst::ICMP_ULT"; break; 12787e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case ICmpInst::ICMP_SLT: Out << "ICmpInst::ICMP_SLT"; break; 12797e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case ICmpInst::ICMP_UGT: Out << "ICmpInst::ICMP_UGT"; break; 12807e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case ICmpInst::ICMP_SGT: Out << "ICmpInst::ICMP_SGT"; break; 12817e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner default: Out << "ICmpInst::BAD_ICMP_PREDICATE"; break; 12827e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } 12837e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << ", " << opNames[0] << ", " << opNames[1] << ", \""; 12847e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printEscapedString(I->getName()); 12857e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "\");"; 12867e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner break; 12877e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } 12887e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::Alloca: { 12897e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner const AllocaInst* allocaI = cast<AllocaInst>(I); 12907e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "AllocaInst* " << iName << " = new AllocaInst(" 12917e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << getCppName(allocaI->getAllocatedType()) << ", "; 12927e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (allocaI->isArrayAllocation()) 12937e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << opNames[0] << ", "; 12947e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "\""; 12957e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printEscapedString(allocaI->getName()); 12967e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "\", " << bbname << ");"; 12977e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (allocaI->getAlignment()) 12987e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out) << iName << "->setAlignment(" 12997e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << allocaI->getAlignment() << ");"; 13007e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner break; 13017e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } 13027a1d92a2cbc20888260efa7d5ad987dc39fcb134Gabor Greif case Instruction::Load: { 13037e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner const LoadInst* load = cast<LoadInst>(I); 13047e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "LoadInst* " << iName << " = new LoadInst(" 13057e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << opNames[0] << ", \""; 13067e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printEscapedString(load->getName()); 13077e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "\", " << (load->isVolatile() ? "true" : "false" ) 13087e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << ", " << bbname << ");"; 13097e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner break; 13107e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } 13117e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::Store: { 13127e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner const StoreInst* store = cast<StoreInst>(I); 13137e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << " new StoreInst(" 13147e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << opNames[0] << ", " 13157e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << opNames[1] << ", " 13167e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << (store->isVolatile() ? "true" : "false") 13177e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << ", " << bbname << ");"; 13187e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner break; 13197e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } 13207e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::GetElementPtr: { 13217e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner const GetElementPtrInst* gep = cast<GetElementPtrInst>(I); 13227e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (gep->getNumOperands() <= 2) { 13237e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "GetElementPtrInst* " << iName << " = GetElementPtrInst::Create(" 13247e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << opNames[0]; 13257e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (gep->getNumOperands() == 2) 13267e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << ", " << opNames[1]; 13277e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } else { 13287e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "std::vector<Value*> " << iName << "_indices;"; 13295027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov nl(Out); 13307e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner for (unsigned i = 1; i < gep->getNumOperands(); ++i ) { 13317e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << iName << "_indices.push_back(" 13327e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << opNames[i] << ");"; 13335027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov nl(Out); 13345027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov } 13357e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "Instruction* " << iName << " = GetElementPtrInst::Create(" 13367e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << opNames[0] << ", " << iName << "_indices.begin(), " 13377e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << iName << "_indices.end()"; 13387e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } 13397e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << ", \""; 13407e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printEscapedString(gep->getName()); 13417e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "\", " << bbname << ");"; 13427e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner break; 13437e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } 13447e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::PHI: { 13457e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner const PHINode* phi = cast<PHINode>(I); 13467e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner 13477e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "PHINode* " << iName << " = PHINode::Create(" 13487e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << getCppName(phi->getType()) << ", \""; 13497e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printEscapedString(phi->getName()); 13507e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "\", " << bbname << ");"; 13517e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out) << iName << "->reserveOperandSpace(" 13527e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << phi->getNumIncomingValues() 13537e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << ");"; 13547e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out); 13557e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner for (unsigned i = 0; i < phi->getNumOperands(); i+=2) { 13567e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << iName << "->addIncoming(" 13577e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << opNames[i] << ", " << opNames[i+1] << ");"; 13585027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov nl(Out); 13595027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov } 13607e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner break; 13617e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } 13627e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::Trunc: 13637e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::ZExt: 13647e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::SExt: 13657e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::FPTrunc: 13667e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::FPExt: 13677e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::FPToUI: 13687e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::FPToSI: 13697e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::UIToFP: 13707e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::SIToFP: 13717e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::PtrToInt: 13727e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::IntToPtr: 13737e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::BitCast: { 13747e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner const CastInst* cst = cast<CastInst>(I); 13757e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "CastInst* " << iName << " = new "; 13767e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner switch (I->getOpcode()) { 13777e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::Trunc: Out << "TruncInst"; break; 13787e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::ZExt: Out << "ZExtInst"; break; 13797e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::SExt: Out << "SExtInst"; break; 13807e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::FPTrunc: Out << "FPTruncInst"; break; 13817e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::FPExt: Out << "FPExtInst"; break; 13827e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::FPToUI: Out << "FPToUIInst"; break; 13837e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::FPToSI: Out << "FPToSIInst"; break; 13847e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::UIToFP: Out << "UIToFPInst"; break; 13857e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::SIToFP: Out << "SIToFPInst"; break; 13867e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::PtrToInt: Out << "PtrToIntInst"; break; 13877e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::IntToPtr: Out << "IntToPtrInst"; break; 13887e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::BitCast: Out << "BitCastInst"; break; 13897e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner default: assert(!"Unreachable"); break; 13907e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } 13917e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "(" << opNames[0] << ", " 13927e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << getCppName(cst->getType()) << ", \""; 13937e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printEscapedString(cst->getName()); 13947e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "\", " << bbname << ");"; 13957e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner break; 13967e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } 13977a1d92a2cbc20888260efa7d5ad987dc39fcb134Gabor Greif case Instruction::Call: { 13987e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner const CallInst* call = cast<CallInst>(I); 13997e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (const InlineAsm* ila = dyn_cast<InlineAsm>(call->getCalledValue())) { 14007e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "InlineAsm* " << getCppName(ila) << " = InlineAsm::get(" 14017e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << getCppName(ila->getFunctionType()) << ", \"" 14027e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << ila->getAsmString() << "\", \"" 14037e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << ila->getConstraintString() << "\"," 14047e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << (ila->hasSideEffects() ? "true" : "false") << ");"; 14055027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov nl(Out); 14065027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov } 14077a1d92a2cbc20888260efa7d5ad987dc39fcb134Gabor Greif if (call->getNumArgOperands() > 1) { 14087e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "std::vector<Value*> " << iName << "_params;"; 14097e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out); 141053ba550df1980164c016954e4b132d5a5552ada7Gabor Greif for (unsigned i = 0; i < call->getNumArgOperands(); ++i) { 141163d024fc9a4f89987fa2cf7ab466ea17ec78ed14Gabor Greif Out << iName << "_params.push_back(" << opNames[i] << ");"; 14125027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov nl(Out); 14135027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov } 14147e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "CallInst* " << iName << " = CallInst::Create(" 1415a399781289092fcdceb58b21174229f4373c4191Gabor Greif << opNames[call->getNumArgOperands()] << ", " 1416a399781289092fcdceb58b21174229f4373c4191Gabor Greif << iName << "_params.begin(), " 14177e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << iName << "_params.end(), \""; 14187a1d92a2cbc20888260efa7d5ad987dc39fcb134Gabor Greif } else if (call->getNumArgOperands() == 1) { 14197e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "CallInst* " << iName << " = CallInst::Create(" 142063d024fc9a4f89987fa2cf7ab466ea17ec78ed14Gabor Greif << opNames[call->getNumArgOperands()] << ", " << opNames[0] << ", \""; 14217e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } else { 142263d024fc9a4f89987fa2cf7ab466ea17ec78ed14Gabor Greif Out << "CallInst* " << iName << " = CallInst::Create(" 142363d024fc9a4f89987fa2cf7ab466ea17ec78ed14Gabor Greif << opNames[call->getNumArgOperands()] << ", \""; 14245027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov } 14257e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printEscapedString(call->getName()); 14267e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "\", " << bbname << ");"; 14277e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out) << iName << "->setCallingConv("; 14287e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printCallingConv(call->getCallingConv()); 14297e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << ");"; 14307e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out) << iName << "->setTailCall(" 14317a1d92a2cbc20888260efa7d5ad987dc39fcb134Gabor Greif << (call->isTailCall() ? "true" : "false"); 14327e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << ");"; 1433135d7fe9bb27594820ae3b64e6f6937b5cef771eGabor Greif nl(Out); 14347e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printAttributes(call->getAttributes(), iName); 14357e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << iName << "->setAttributes(" << iName << "_PAL);"; 14367e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out); 14377e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner break; 14387e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } 14397e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::Select: { 14407e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner const SelectInst* sel = cast<SelectInst>(I); 14417e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "SelectInst* " << getCppName(sel) << " = SelectInst::Create("; 14427e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << opNames[0] << ", " << opNames[1] << ", " << opNames[2] << ", \""; 14437e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printEscapedString(sel->getName()); 14447e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "\", " << bbname << ");"; 14457e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner break; 14467e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } 14477e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::UserOp1: 14487e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner /// FALL THROUGH 14497e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::UserOp2: { 14507e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner /// FIXME: What should be done here? 14517e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner break; 14527e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } 14537e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::VAArg: { 14547e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner const VAArgInst* va = cast<VAArgInst>(I); 14557e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "VAArgInst* " << getCppName(va) << " = new VAArgInst(" 14567e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << opNames[0] << ", " << getCppName(va->getType()) << ", \""; 14577e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printEscapedString(va->getName()); 14587e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "\", " << bbname << ");"; 14597e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner break; 14607e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } 14617e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::ExtractElement: { 14627e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner const ExtractElementInst* eei = cast<ExtractElementInst>(I); 14637e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "ExtractElementInst* " << getCppName(eei) 14647e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << " = new ExtractElementInst(" << opNames[0] 14657e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << ", " << opNames[1] << ", \""; 14667e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printEscapedString(eei->getName()); 14677e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "\", " << bbname << ");"; 14687e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner break; 14697e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } 14707e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::InsertElement: { 14717e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner const InsertElementInst* iei = cast<InsertElementInst>(I); 14727e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "InsertElementInst* " << getCppName(iei) 14737e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << " = InsertElementInst::Create(" << opNames[0] 14747e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << ", " << opNames[1] << ", " << opNames[2] << ", \""; 14757e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printEscapedString(iei->getName()); 14767e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "\", " << bbname << ");"; 14777e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner break; 14787e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } 14797e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::ShuffleVector: { 14807e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner const ShuffleVectorInst* svi = cast<ShuffleVectorInst>(I); 14817e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "ShuffleVectorInst* " << getCppName(svi) 14827e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << " = new ShuffleVectorInst(" << opNames[0] 14837e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << ", " << opNames[1] << ", " << opNames[2] << ", \""; 14847e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printEscapedString(svi->getName()); 14857e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "\", " << bbname << ");"; 14867e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner break; 14877e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } 14887e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::ExtractValue: { 14897e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner const ExtractValueInst *evi = cast<ExtractValueInst>(I); 14907e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "std::vector<unsigned> " << iName << "_indices;"; 14917e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out); 14927e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner for (unsigned i = 0; i < evi->getNumIndices(); ++i) { 14937e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << iName << "_indices.push_back(" 14947e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << evi->idx_begin()[i] << ");"; 149575146a6725739fe11ca183f1c4c5518eb164b2e5Dan Gohman nl(Out); 149675146a6725739fe11ca183f1c4c5518eb164b2e5Dan Gohman } 14977e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "ExtractValueInst* " << getCppName(evi) 14987e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << " = ExtractValueInst::Create(" << opNames[0] 14997e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << ", " 15007e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << iName << "_indices.begin(), " << iName << "_indices.end(), \""; 15017e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printEscapedString(evi->getName()); 15027e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "\", " << bbname << ");"; 15037e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner break; 15047e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } 15057e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::InsertValue: { 15067e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner const InsertValueInst *ivi = cast<InsertValueInst>(I); 15077e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "std::vector<unsigned> " << iName << "_indices;"; 15087e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out); 15097e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner for (unsigned i = 0; i < ivi->getNumIndices(); ++i) { 15107e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << iName << "_indices.push_back(" 15117e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << ivi->idx_begin()[i] << ");"; 151275146a6725739fe11ca183f1c4c5518eb164b2e5Dan Gohman nl(Out); 151375146a6725739fe11ca183f1c4c5518eb164b2e5Dan Gohman } 15147e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "InsertValueInst* " << getCppName(ivi) 15157e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << " = InsertValueInst::Create(" << opNames[0] 15167e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << ", " << opNames[1] << ", " 15177e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << iName << "_indices.begin(), " << iName << "_indices.end(), \""; 15187e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printEscapedString(ivi->getName()); 15197e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "\", " << bbname << ");"; 15207e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner break; 15217e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } 15225027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov } 15235027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov DefinedValues.insert(I); 15245027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov nl(Out); 15255027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov delete [] opNames; 15265027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov} 15275027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov 15287e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner// Print out the types, constants and declarations needed by one function 15297e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattnervoid CppWriter::printFunctionUses(const Function* F) { 15307e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out) << "// Type Definitions"; nl(Out); 15317e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (!is_inline) { 15327e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // Print the function's return type 15337e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printType(F->getReturnType()); 15345027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov 15357e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // Print the function's function type 15367e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printType(F->getFunctionType()); 15375027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov 15387e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // Print the types of each of the function's arguments 15397e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner for (Function::const_arg_iterator AI = F->arg_begin(), AE = F->arg_end(); 15407e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner AI != AE; ++AI) { 15417e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printType(AI->getType()); 15425027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov } 15437e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } 15445027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov 15457e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // Print type definitions for every type referenced by an instruction and 15467e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // make a note of any global values or constants that are referenced 15477e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner SmallPtrSet<GlobalValue*,64> gvs; 15487e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner SmallPtrSet<Constant*,64> consts; 15497e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner for (Function::const_iterator BB = F->begin(), BE = F->end(); 15507e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner BB != BE; ++BB){ 15517e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner for (BasicBlock::const_iterator I = BB->begin(), E = BB->end(); 15527e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner I != E; ++I) { 15537e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // Print the type of the instruction itself 15547e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printType(I->getType()); 15555027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov 15567e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // Print the type of each of the instruction's operands 15577e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner for (unsigned i = 0; i < I->getNumOperands(); ++i) { 15587e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Value* operand = I->getOperand(i); 15597e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printType(operand->getType()); 15607e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner 15617e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // If the operand references a GVal or Constant, make a note of it 15627e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (GlobalValue* GV = dyn_cast<GlobalValue>(operand)) { 15637e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner gvs.insert(GV); 15647e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (GlobalVariable *GVar = dyn_cast<GlobalVariable>(GV)) 15657e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (GVar->hasInitializer()) 15667e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner consts.insert(GVar->getInitializer()); 15677e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } else if (Constant* C = dyn_cast<Constant>(operand)) 15687e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner consts.insert(C); 15695027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov } 15705027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov } 15717e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } 15725027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov 15737e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // Print the function declarations for any functions encountered 15747e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out) << "// Function Declarations"; nl(Out); 15757e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner for (SmallPtrSet<GlobalValue*,64>::iterator I = gvs.begin(), E = gvs.end(); 15767e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner I != E; ++I) { 15777e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (Function* Fun = dyn_cast<Function>(*I)) { 15787e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (!is_inline || Fun != F) 15797e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printFunctionHead(Fun); 15805027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov } 15817e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } 15825027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov 15837e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // Print the global variable declarations for any variables encountered 15847e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out) << "// Global Variable Declarations"; nl(Out); 15857e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner for (SmallPtrSet<GlobalValue*,64>::iterator I = gvs.begin(), E = gvs.end(); 15867e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner I != E; ++I) { 15877e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (GlobalVariable* F = dyn_cast<GlobalVariable>(*I)) 15887e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printVariableHead(F); 15897e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } 15905027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov 15917e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner// Print the constants found 15927e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out) << "// Constant Definitions"; nl(Out); 15937e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner for (SmallPtrSet<Constant*,64>::iterator I = consts.begin(), 15947e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner E = consts.end(); I != E; ++I) { 15957e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printConstant(*I); 15967e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } 15975027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov 15987e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // Process the global variables definitions now that all the constants have 15997e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // been emitted. These definitions just couple the gvars with their constant 16007e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // initializers. 16017e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out) << "// Global Variable Definitions"; nl(Out); 16027e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner for (SmallPtrSet<GlobalValue*,64>::iterator I = gvs.begin(), E = gvs.end(); 16037e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner I != E; ++I) { 16047e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (GlobalVariable* GV = dyn_cast<GlobalVariable>(*I)) 16057e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printVariableBody(GV); 16065027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov } 16077e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner} 16085027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov 16097e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattnervoid CppWriter::printFunctionHead(const Function* F) { 16107e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out) << "Function* " << getCppName(F); 16117e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (is_inline) { 16127e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << " = mod->getFunction(\""; 16135027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov printEscapedString(F->getName()); 16147e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "\", " << getCppName(F->getFunctionType()) << ");"; 16157e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out) << "if (!" << getCppName(F) << ") {"; 16167e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out) << getCppName(F); 16177e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } 16187e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out<< " = Function::Create("; 16197e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out,1) << "/*Type=*/" << getCppName(F->getFunctionType()) << ","; 16207e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out) << "/*Linkage=*/"; 16217e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printLinkageType(F->getLinkage()); 16227e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << ","; 16237e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out) << "/*Name=*/\""; 16247e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printEscapedString(F->getName()); 16257e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "\", mod); " << (F->isDeclaration()? "// (external, no body)" : ""); 16267e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out,-1); 16277e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printCppName(F); 16287e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "->setCallingConv("; 16297e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printCallingConv(F->getCallingConv()); 16307e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << ");"; 16317e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out); 16327e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (F->hasSection()) { 16337e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printCppName(F); 16347e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "->setSection(\"" << F->getSection() << "\");"; 16357e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out); 16367e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } 16377e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (F->getAlignment()) { 16387e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printCppName(F); 16397e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "->setAlignment(" << F->getAlignment() << ");"; 16407e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out); 16417e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } 16427e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (F->getVisibility() != GlobalValue::DefaultVisibility) { 16435027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov printCppName(F); 16447e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "->setVisibility("; 16457e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printVisibilityType(F->getVisibility()); 16465027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov Out << ");"; 16475027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov nl(Out); 16487e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } 16497e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (F->hasGC()) { 16505027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov printCppName(F); 16517e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "->setGC(\"" << F->getGC() << "\");"; 16525027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov nl(Out); 16535027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov } 16547e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (is_inline) { 16557e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "}"; 16567e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out); 16577e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } 16587e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printAttributes(F->getAttributes(), getCppName(F)); 16597e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printCppName(F); 16607e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "->setAttributes(" << getCppName(F) << "_PAL);"; 16617e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out); 16627e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner} 16635027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov 16647e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattnervoid CppWriter::printFunctionBody(const Function *F) { 16657e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (F->isDeclaration()) 16667e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner return; // external functions have no bodies. 16675027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov 16687e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // Clear the DefinedValues and ForwardRefs maps because we can't have 16697e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // cross-function forward refs 16707e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner ForwardRefs.clear(); 16717e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner DefinedValues.clear(); 16725027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov 16737e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // Create all the argument values 16747e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (!is_inline) { 16757e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (!F->arg_empty()) { 16767e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "Function::arg_iterator args = " << getCppName(F) 16777e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << "->arg_begin();"; 16785027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov nl(Out); 16795027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov } 16807e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner for (Function::const_arg_iterator AI = F->arg_begin(), AE = F->arg_end(); 16817e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner AI != AE; ++AI) { 16827e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "Value* " << getCppName(AI) << " = args++;"; 16835027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov nl(Out); 16847e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (AI->hasName()) { 16857e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << getCppName(AI) << "->setName(\"" << AI->getName() << "\");"; 16867e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out); 16875027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov } 16885027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov } 16897e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } 16905027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov 16917e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // Create all the basic blocks 16927e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out); 16937e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner for (Function::const_iterator BI = F->begin(), BE = F->end(); 16947e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner BI != BE; ++BI) { 16957e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner std::string bbname(getCppName(BI)); 16967e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "BasicBlock* " << bbname << 16977e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner " = BasicBlock::Create(mod->getContext(), \""; 16987e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (BI->hasName()) 16997e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printEscapedString(BI->getName()); 17007e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "\"," << getCppName(BI->getParent()) << ",0);"; 17017e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out); 17027e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } 17035027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov 17047e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // Output all of its basic blocks... for the function 17057e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner for (Function::const_iterator BI = F->begin(), BE = F->end(); 17067e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner BI != BE; ++BI) { 17077e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner std::string bbname(getCppName(BI)); 17087e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out) << "// Block " << BI->getName() << " (" << bbname << ")"; 17097e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out); 17107e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner 17117e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // Output all of the instructions in the basic block... 17127e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner for (BasicBlock::const_iterator I = BI->begin(), E = BI->end(); 17137e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner I != E; ++I) { 17147e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printInstruction(I,bbname); 17155027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov } 17165027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov } 17175027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov 17187e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // Loop over the ForwardRefs and resolve them now that all instructions 17197e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // are generated. 17207e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (!ForwardRefs.empty()) { 17217e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out) << "// Resolve Forward References"; 17225027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov nl(Out); 17237e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } 17247e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner 17257e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner while (!ForwardRefs.empty()) { 17267e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner ForwardRefMap::iterator I = ForwardRefs.begin(); 17277e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << I->second << "->replaceAllUsesWith(" 17287e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << getCppName(I->first) << "); delete " << I->second << ";"; 17295027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov nl(Out); 17307e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner ForwardRefs.erase(I); 17315027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov } 17327e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner} 17335027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov 17347e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattnervoid CppWriter::printInline(const std::string& fname, 17357e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner const std::string& func) { 17367e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner const Function* F = TheModule->getFunction(func); 17377e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (!F) { 17387e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner error(std::string("Function '") + func + "' not found in input module"); 17397e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner return; 17407e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } 17417e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (F->isDeclaration()) { 17427e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner error(std::string("Function '") + func + "' is external!"); 17437e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner return; 17447e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } 17457e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out) << "BasicBlock* " << fname << "(Module* mod, Function *" 17467e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << getCppName(F); 17477e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner unsigned arg_count = 1; 17487e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner for (Function::const_arg_iterator AI = F->arg_begin(), AE = F->arg_end(); 17497e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner AI != AE; ++AI) { 17507e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << ", Value* arg_" << arg_count; 17517e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } 17527e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << ") {"; 17537e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out); 17547e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner is_inline = true; 17557e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printFunctionUses(F); 17567e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printFunctionBody(F); 17577e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner is_inline = false; 17587e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "return " << getCppName(F->begin()) << ";"; 17597e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out) << "}"; 17607e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out); 17617e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner} 17625027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov 17637e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattnervoid CppWriter::printModuleBody() { 17647e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // Print out all the type definitions 17657e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out) << "// Type Definitions"; nl(Out); 17667e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printTypes(TheModule); 17677e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner 17687e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // Functions can call each other and global variables can reference them so 17697e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // define all the functions first before emitting their function bodies. 17707e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out) << "// Function Declarations"; nl(Out); 17717e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner for (Module::const_iterator I = TheModule->begin(), E = TheModule->end(); 17727e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner I != E; ++I) 17737e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printFunctionHead(I); 17747e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner 17757e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // Process the global variables declarations. We can't initialze them until 17767e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // after the constants are printed so just print a header for each global 17777e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out) << "// Global Variable Declarations\n"; nl(Out); 17787e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner for (Module::const_global_iterator I = TheModule->global_begin(), 17797e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner E = TheModule->global_end(); I != E; ++I) { 17807e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printVariableHead(I); 17817e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } 17825027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov 17837e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // Print out all the constants definitions. Constants don't recurse except 17847e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // through GlobalValues. All GlobalValues have been declared at this point 17857e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // so we can proceed to generate the constants. 17867e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out) << "// Constant Definitions"; nl(Out); 17877e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printConstants(TheModule); 17887e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner 17897e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // Process the global variables definitions now that all the constants have 17907e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // been emitted. These definitions just couple the gvars with their constant 17917e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // initializers. 17927e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out) << "// Global Variable Definitions"; nl(Out); 17937e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner for (Module::const_global_iterator I = TheModule->global_begin(), 17947e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner E = TheModule->global_end(); I != E; ++I) { 17957e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printVariableBody(I); 17965027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov } 17975027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov 17987e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // Finally, we can safely put out all of the function bodies. 17997e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out) << "// Function Definitions"; nl(Out); 18007e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner for (Module::const_iterator I = TheModule->begin(), E = TheModule->end(); 18017e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner I != E; ++I) { 18027e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (!I->isDeclaration()) { 18037e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out) << "// Function: " << I->getName() << " (" << getCppName(I) 18047e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << ")"; 18057e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out) << "{"; 18067e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out,1); 18077e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printFunctionBody(I); 18087e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out,-1) << "}"; 18097e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out); 18105027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov } 18117e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } 18127e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner} 18135027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov 18147e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattnervoid CppWriter::printProgram(const std::string& fname, 18157e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner const std::string& mName) { 18167e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "#include <llvm/LLVMContext.h>\n"; 18177e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "#include <llvm/Module.h>\n"; 18187e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "#include <llvm/DerivedTypes.h>\n"; 18197e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "#include <llvm/Constants.h>\n"; 18207e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "#include <llvm/GlobalVariable.h>\n"; 18217e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "#include <llvm/Function.h>\n"; 18227e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "#include <llvm/CallingConv.h>\n"; 18237e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "#include <llvm/BasicBlock.h>\n"; 18247e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "#include <llvm/Instructions.h>\n"; 18257e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "#include <llvm/InlineAsm.h>\n"; 18267e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "#include <llvm/Support/FormattedStream.h>\n"; 18277e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "#include <llvm/Support/MathExtras.h>\n"; 18287e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "#include <llvm/Pass.h>\n"; 18297e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "#include <llvm/PassManager.h>\n"; 18307e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "#include <llvm/ADT/SmallVector.h>\n"; 18317e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "#include <llvm/Analysis/Verifier.h>\n"; 18327e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "#include <llvm/Assembly/PrintModulePass.h>\n"; 18337e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "#include <algorithm>\n"; 18347e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "using namespace llvm;\n\n"; 18357e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "Module* " << fname << "();\n\n"; 18367e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "int main(int argc, char**argv) {\n"; 18377e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << " Module* Mod = " << fname << "();\n"; 18387e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << " verifyModule(*Mod, PrintMessageAction);\n"; 18397e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << " PassManager PM;\n"; 18407e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << " PM.add(createPrintModulePass(&outs()));\n"; 18417e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << " PM.run(*Mod);\n"; 18427e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << " return 0;\n"; 18437e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "}\n\n"; 18447e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printModule(fname,mName); 18457e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner} 18465027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov 18477e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattnervoid CppWriter::printModule(const std::string& fname, 18487e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner const std::string& mName) { 18497e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out) << "Module* " << fname << "() {"; 18507e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out,1) << "// Module Construction"; 18517e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out) << "Module* mod = new Module(\""; 18527e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printEscapedString(mName); 18537e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "\", getGlobalContext());"; 18547e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (!TheModule->getTargetTriple().empty()) { 18557e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out) << "mod->setDataLayout(\"" << TheModule->getDataLayout() << "\");"; 18567e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } 18577e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (!TheModule->getTargetTriple().empty()) { 18587e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out) << "mod->setTargetTriple(\"" << TheModule->getTargetTriple() 18597e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << "\");"; 18607e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } 18617e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner 18627e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (!TheModule->getModuleInlineAsm().empty()) { 18637e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out) << "mod->setModuleInlineAsm(\""; 18647e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printEscapedString(TheModule->getModuleInlineAsm()); 18657e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "\");"; 18667e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } 18677e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out); 18687e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner 18697e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // Loop over the dependent libraries and emit them. 18707e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Module::lib_iterator LI = TheModule->lib_begin(); 18717e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Module::lib_iterator LE = TheModule->lib_end(); 18727e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner while (LI != LE) { 18737e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "mod->addLibrary(\"" << *LI << "\");"; 18745027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov nl(Out); 18757e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner ++LI; 18765027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov } 18777e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printModuleBody(); 18787e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out) << "return mod;"; 18797e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out,-1) << "}"; 18807e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out); 18817e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner} 18827e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner 18837e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattnervoid CppWriter::printContents(const std::string& fname, 18847e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner const std::string& mName) { 18857e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "\nModule* " << fname << "(Module *mod) {\n"; 18867e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "\nmod->setModuleIdentifier(\""; 18877e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printEscapedString(mName); 18887e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "\");\n"; 18897e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printModuleBody(); 18907e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "\nreturn mod;\n"; 18917e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "\n}\n"; 18927e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner} 18935027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov 18947e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattnervoid CppWriter::printFunction(const std::string& fname, 18957e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner const std::string& funcName) { 18967e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner const Function* F = TheModule->getFunction(funcName); 18977e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (!F) { 18987e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner error(std::string("Function '") + funcName + "' not found in input module"); 18997e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner return; 19005027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov } 19017e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "\nFunction* " << fname << "(Module *mod) {\n"; 19027e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printFunctionUses(F); 19037e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printFunctionHead(F); 19047e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printFunctionBody(F); 19057e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "return " << getCppName(F) << ";\n"; 19067e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "}\n"; 19077e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner} 19085027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov 19097e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattnervoid CppWriter::printFunctions() { 19107e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner const Module::FunctionListType &funcs = TheModule->getFunctionList(); 19117e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Module::const_iterator I = funcs.begin(); 19127e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Module::const_iterator IE = funcs.end(); 19137e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner 19147e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner for (; I != IE; ++I) { 19157e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner const Function &func = *I; 19167e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (!func.isDeclaration()) { 19177e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner std::string name("define_"); 19187e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner name += func.getName(); 19197e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printFunction(name, func.getName()); 19205027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov } 19215027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov } 19227e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner} 19235027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov 19247e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattnervoid CppWriter::printVariable(const std::string& fname, 19257e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner const std::string& varName) { 19267e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner const GlobalVariable* GV = TheModule->getNamedGlobal(varName); 19275027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov 19287e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (!GV) { 19297e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner error(std::string("Variable '") + varName + "' not found in input module"); 19307e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner return; 19317e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } 19327e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "\nGlobalVariable* " << fname << "(Module *mod) {\n"; 19337e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printVariableUses(GV); 19347e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printVariableHead(GV); 19357e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printVariableBody(GV); 19367e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "return " << getCppName(GV) << ";\n"; 19377e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "}\n"; 19387e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner} 19395027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov 19407e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattnervoid CppWriter::printType(const std::string& fname, 19417e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner const std::string& typeName) { 19427e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner const Type* Ty = TheModule->getTypeByName(typeName); 19437e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (!Ty) { 19447e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner error(std::string("Type '") + typeName + "' not found in input module"); 19457e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner return; 19465027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov } 19477e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "\nType* " << fname << "(Module *mod) {\n"; 19487e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printType(Ty); 19497e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "return " << getCppName(Ty) << ";\n"; 19507e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "}\n"; 19517e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner} 19527e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner 19537e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattnerbool CppWriter::runOnModule(Module &M) { 19547e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner TheModule = &M; 19557e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner 19567e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // Emit a header 19577e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "// Generated by llvm2cpp - DO NOT MODIFY!\n\n"; 19587e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner 19597e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // Get the name of the function we're supposed to generate 19607e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner std::string fname = FuncName.getValue(); 19617e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner 19627e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // Get the name of the thing we are to generate 19637e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner std::string tgtname = NameToGenerate.getValue(); 19647e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (GenerationType == GenModule || 19657e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner GenerationType == GenContents || 19667e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner GenerationType == GenProgram || 19677e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner GenerationType == GenFunctions) { 19687e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (tgtname == "!bad!") { 19697e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (M.getModuleIdentifier() == "-") 19707e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner tgtname = "<stdin>"; 19717e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner else 19727e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner tgtname = M.getModuleIdentifier(); 19737e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } 19747e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } else if (tgtname == "!bad!") 19757e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner error("You must use the -for option with -gen-{function,variable,type}"); 19767e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner 19777e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner switch (WhatToGenerate(GenerationType)) { 19787e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case GenProgram: 19797e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (fname.empty()) 19807e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner fname = "makeLLVMModule"; 19817e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printProgram(fname,tgtname); 19827e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner break; 19837e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case GenModule: 19847e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (fname.empty()) 19857e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner fname = "makeLLVMModule"; 19867e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printModule(fname,tgtname); 19877e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner break; 19887e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case GenContents: 19897e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (fname.empty()) 19907e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner fname = "makeLLVMModuleContents"; 19917e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printContents(fname,tgtname); 19927e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner break; 19937e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case GenFunction: 19947e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (fname.empty()) 19957e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner fname = "makeLLVMFunction"; 19967e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printFunction(fname,tgtname); 19977e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner break; 19987e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case GenFunctions: 19997e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printFunctions(); 20007e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner break; 20017e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case GenInline: 20027e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (fname.empty()) 20037e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner fname = "makeLLVMInline"; 20047e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printInline(fname,tgtname); 20057e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner break; 20067e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case GenVariable: 20077e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (fname.empty()) 20087e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner fname = "makeLLVMVariable"; 20097e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printVariable(fname,tgtname); 20107e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner break; 20117e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case GenType: 20127e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (fname.empty()) 20137e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner fname = "makeLLVMType"; 20147e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printType(fname,tgtname); 20157e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner break; 20167e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner default: 20177e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner error("Invalid generation option"); 20187e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } 20197e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner 20207e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner return false; 20215027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov} 20225027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov 20235027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikovchar CppWriter::ID = 0; 20245027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov 20255027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov//===----------------------------------------------------------------------===// 20265027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov// External Interface declaration 20275027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov//===----------------------------------------------------------------------===// 20285027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov 202999dca4fde746eb76253e737cca166261c767412dDan Gohmanbool CPPTargetMachine::addPassesToEmitFile(PassManagerBase &PM, 203099dca4fde746eb76253e737cca166261c767412dDan Gohman formatted_raw_ostream &o, 203199dca4fde746eb76253e737cca166261c767412dDan Gohman CodeGenFileType FileType, 203299dca4fde746eb76253e737cca166261c767412dDan Gohman CodeGenOpt::Level OptLevel, 203399dca4fde746eb76253e737cca166261c767412dDan Gohman bool DisableVerify) { 2034211edae4843f5c2ee9c376e88e4cf0ecc8745f03Chris Lattner if (FileType != TargetMachine::CGFT_AssemblyFile) return true; 20355027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov PM.add(new CppWriter(o)); 20365027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov return false; 20375027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov} 2038