CPPBackend.cpp revision 7509ccda930156d44f83b4b40eef077e93313091
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; 29155ae515f9db484125a23429d4906c5edaf9f10d2Bill Wendling case GlobalValue::LinkerPrivateWeakDefAutoLinkage: 29255ae515f9db484125a23429d4906c5edaf9f10d2Bill Wendling Out << "GlobalValue::LinkerPrivateWeakDefAutoLinkage"; break; 2937e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case GlobalValue::AvailableExternallyLinkage: 2947e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "GlobalValue::AvailableExternallyLinkage "; break; 2957e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case GlobalValue::LinkOnceAnyLinkage: 2967e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "GlobalValue::LinkOnceAnyLinkage "; break; 2977e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case GlobalValue::LinkOnceODRLinkage: 2987e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "GlobalValue::LinkOnceODRLinkage "; break; 2997e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case GlobalValue::WeakAnyLinkage: 3007e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "GlobalValue::WeakAnyLinkage"; break; 3017e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case GlobalValue::WeakODRLinkage: 3027e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "GlobalValue::WeakODRLinkage"; break; 3037e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case GlobalValue::AppendingLinkage: 3047e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "GlobalValue::AppendingLinkage"; break; 3057e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case GlobalValue::ExternalLinkage: 3067e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "GlobalValue::ExternalLinkage"; break; 3077e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case GlobalValue::DLLImportLinkage: 3087e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "GlobalValue::DLLImportLinkage"; break; 3097e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case GlobalValue::DLLExportLinkage: 3107e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "GlobalValue::DLLExportLinkage"; break; 3117e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case GlobalValue::ExternalWeakLinkage: 3127e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "GlobalValue::ExternalWeakLinkage"; break; 3137e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case GlobalValue::CommonLinkage: 3147e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "GlobalValue::CommonLinkage"; break; 3155027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov } 3167e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner} 3175027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov 3187e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattnervoid CppWriter::printVisibilityType(GlobalValue::VisibilityTypes VisType) { 3197e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner switch (VisType) { 3207e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner default: llvm_unreachable("Unknown GVar visibility"); 3217e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case GlobalValue::DefaultVisibility: 3227e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "GlobalValue::DefaultVisibility"; 3237e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner break; 3247e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case GlobalValue::HiddenVisibility: 3257e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "GlobalValue::HiddenVisibility"; 3267e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner break; 3277e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case GlobalValue::ProtectedVisibility: 3287e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "GlobalValue::ProtectedVisibility"; 3297e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner break; 3305027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov } 3317e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner} 3325027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov 3337e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner// printEscapedString - Print each character of the specified string, escaping 3347e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner// it if it is not printable or if it is an escape char. 3357e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattnervoid CppWriter::printEscapedString(const std::string &Str) { 3367e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner for (unsigned i = 0, e = Str.size(); i != e; ++i) { 3377e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner unsigned char C = Str[i]; 3387e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (isprint(C) && C != '"' && C != '\\') { 3397e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << C; 3407e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } else { 3417e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "\\x" 3427e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << (char) ((C/16 < 10) ? ( C/16 +'0') : ( C/16 -10+'A')) 3437e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << (char)(((C&15) < 10) ? ((C&15)+'0') : ((C&15)-10+'A')); 3445027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov } 3455027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov } 3467e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner} 3475027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov 3487e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattnerstd::string CppWriter::getCppName(const Type* Ty) { 3497e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // First, handle the primitive types .. easy 3507e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (Ty->isPrimitiveType() || Ty->isIntegerTy()) { 3517e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner switch (Ty->getTypeID()) { 3527e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Type::VoidTyID: return "Type::getVoidTy(mod->getContext())"; 3537e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Type::IntegerTyID: { 3547e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner unsigned BitWidth = cast<IntegerType>(Ty)->getBitWidth(); 3557e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner return "IntegerType::get(mod->getContext(), " + utostr(BitWidth) + ")"; 3567e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } 3577e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Type::X86_FP80TyID: return "Type::getX86_FP80Ty(mod->getContext())"; 3587e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Type::FloatTyID: return "Type::getFloatTy(mod->getContext())"; 3597e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Type::DoubleTyID: return "Type::getDoubleTy(mod->getContext())"; 3607e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Type::LabelTyID: return "Type::getLabelTy(mod->getContext())"; 361bb811a244567aa8a1522203f15588f4d001b7353Dale Johannesen case Type::X86_MMXTyID: return "Type::getX86_MMXTy(mod->getContext())"; 3627e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner default: 3637e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner error("Invalid primitive type"); 3647e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner break; 3655027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov } 3667e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // shouldn't be returned, but make it sensible 3677e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner return "Type::getVoidTy(mod->getContext())"; 3685027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov } 3695027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov 3707e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // Now, see if we've seen the type before and return that 3717e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner TypeMap::iterator I = TypeNames.find(Ty); 3727e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (I != TypeNames.end()) 3737e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner return I->second; 3747e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner 3757e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // Okay, let's build a new name for this type. Start with a prefix 3767e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner const char* prefix = 0; 3777e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner switch (Ty->getTypeID()) { 3787e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Type::FunctionTyID: prefix = "FuncTy_"; break; 3797e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Type::StructTyID: prefix = "StructTy_"; break; 3807e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Type::ArrayTyID: prefix = "ArrayTy_"; break; 3817e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Type::PointerTyID: prefix = "PointerTy_"; break; 3827e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Type::OpaqueTyID: prefix = "OpaqueTy_"; break; 3837e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Type::VectorTyID: prefix = "VectorTy_"; break; 3847e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner default: prefix = "OtherTy_"; break; // prevent breakage 3857e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } 3865027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov 3877e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // See if the type has a name in the symboltable and build accordingly 3887e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner const std::string* tName = findTypeName(TheModule->getTypeSymbolTable(), Ty); 3897e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner std::string name; 3907e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (tName) 3917e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner name = std::string(prefix) + *tName; 3927e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner else 3937e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner name = std::string(prefix) + utostr(uniqueNum++); 3947e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner sanitize(name); 3957e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner 3967e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // Save the name 3977e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner return TypeNames[Ty] = name; 3987e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner} 3995027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov 4007e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattnervoid CppWriter::printCppName(const Type* Ty) { 4017e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printEscapedString(getCppName(Ty)); 4027e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner} 4035027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov 4047e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattnerstd::string CppWriter::getCppName(const Value* val) { 4057e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner std::string name; 4067e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner ValueMap::iterator I = ValueNames.find(val); 4077e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (I != ValueNames.end() && I->first == val) 4087e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner return I->second; 4097e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner 4107e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (const GlobalVariable* GV = dyn_cast<GlobalVariable>(val)) { 4117e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner name = std::string("gvar_") + 4127e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner getTypePrefix(GV->getType()->getElementType()); 4137e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } else if (isa<Function>(val)) { 4147e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner name = std::string("func_"); 4157e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } else if (const Constant* C = dyn_cast<Constant>(val)) { 4167e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner name = std::string("const_") + getTypePrefix(C->getType()); 4177e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } else if (const Argument* Arg = dyn_cast<Argument>(val)) { 4187e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (is_inline) { 4197e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner unsigned argNum = std::distance(Arg->getParent()->arg_begin(), 4207e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Function::const_arg_iterator(Arg)) + 1; 4217e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner name = std::string("arg_") + utostr(argNum); 4227e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner NameSet::iterator NI = UsedNames.find(name); 4237e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (NI != UsedNames.end()) 4247e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner name += std::string("_") + utostr(uniqueNum++); 4257e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner UsedNames.insert(name); 4267e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner return ValueNames[val] = name; 4275027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov } else { 4285027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov name = getTypePrefix(val->getType()); 4295027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov } 4307e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } else { 4317e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner name = getTypePrefix(val->getType()); 4325027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov } 4337e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (val->hasName()) 4347e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner name += val->getName(); 4357e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner else 4367e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner name += utostr(uniqueNum++); 4377e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner sanitize(name); 4387e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner NameSet::iterator NI = UsedNames.find(name); 4397e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (NI != UsedNames.end()) 4407e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner name += std::string("_") + utostr(uniqueNum++); 4417e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner UsedNames.insert(name); 4427e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner return ValueNames[val] = name; 4437e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner} 4445027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov 4457e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattnervoid CppWriter::printCppName(const Value* val) { 4467e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printEscapedString(getCppName(val)); 4477e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner} 4485027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov 4497e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattnervoid CppWriter::printAttributes(const AttrListPtr &PAL, 4507e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner const std::string &name) { 4517e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "AttrListPtr " << name << "_PAL;"; 4527e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out); 4537e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (!PAL.isEmpty()) { 4547e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << '{'; in(); nl(Out); 4557e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "SmallVector<AttributeWithIndex, 4> Attrs;"; nl(Out); 4567e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "AttributeWithIndex PAWI;"; nl(Out); 4577e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner for (unsigned i = 0; i < PAL.getNumSlots(); ++i) { 4587e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner unsigned index = PAL.getSlot(i).Index; 4597e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Attributes attrs = PAL.getSlot(i).Attrs; 4607e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "PAWI.Index = " << index << "U; PAWI.Attrs = 0 "; 461acca9559f4fdf99de62537592d7d63409229857bChris Lattner#define HANDLE_ATTR(X) \ 4627e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (attrs & Attribute::X) \ 4637e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << " | Attribute::" #X; \ 4647e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner attrs &= ~Attribute::X; 4657e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner 4667e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner HANDLE_ATTR(SExt); 4677e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner HANDLE_ATTR(ZExt); 4687e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner HANDLE_ATTR(NoReturn); 4697e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner HANDLE_ATTR(InReg); 4707e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner HANDLE_ATTR(StructRet); 4717e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner HANDLE_ATTR(NoUnwind); 4727e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner HANDLE_ATTR(NoAlias); 4737e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner HANDLE_ATTR(ByVal); 4747e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner HANDLE_ATTR(Nest); 4757e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner HANDLE_ATTR(ReadNone); 4767e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner HANDLE_ATTR(ReadOnly); 4777e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner HANDLE_ATTR(NoInline); 4787e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner HANDLE_ATTR(AlwaysInline); 4797e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner HANDLE_ATTR(OptimizeForSize); 4807e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner HANDLE_ATTR(StackProtect); 4817e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner HANDLE_ATTR(StackProtectReq); 4827e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner HANDLE_ATTR(NoCapture); 48332bb4dfd19b9816a6380ec7e7fdb879dd28c78f8Eli Friedman HANDLE_ATTR(NoRedZone); 48432bb4dfd19b9816a6380ec7e7fdb879dd28c78f8Eli Friedman HANDLE_ATTR(NoImplicitFloat); 48532bb4dfd19b9816a6380ec7e7fdb879dd28c78f8Eli Friedman HANDLE_ATTR(Naked); 48632bb4dfd19b9816a6380ec7e7fdb879dd28c78f8Eli Friedman HANDLE_ATTR(InlineHint); 487acca9559f4fdf99de62537592d7d63409229857bChris Lattner#undef HANDLE_ATTR 48832bb4dfd19b9816a6380ec7e7fdb879dd28c78f8Eli Friedman if (attrs & Attribute::StackAlignment) 48932bb4dfd19b9816a6380ec7e7fdb879dd28c78f8Eli Friedman Out << " | Attribute::constructStackAlignmentFromInt(" 49032bb4dfd19b9816a6380ec7e7fdb879dd28c78f8Eli Friedman << Attribute::getStackAlignmentFromAttrs(attrs) 49132bb4dfd19b9816a6380ec7e7fdb879dd28c78f8Eli Friedman << ")"; 49232bb4dfd19b9816a6380ec7e7fdb879dd28c78f8Eli Friedman attrs &= ~Attribute::StackAlignment; 4937e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner assert(attrs == 0 && "Unhandled attribute!"); 4947e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << ";"; 4957e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out); 4967e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "Attrs.push_back(PAWI);"; 4975027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov nl(Out); 4985027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov } 4997e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << name << "_PAL = AttrListPtr::get(Attrs.begin(), Attrs.end());"; 5007e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out); 5017e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner out(); nl(Out); 5027e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << '}'; nl(Out); 5035027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov } 5047e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner} 5055027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov 5067e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattnerbool CppWriter::printTypeInternal(const Type* Ty) { 5077e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // We don't print definitions for primitive types 5087e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (Ty->isPrimitiveType() || Ty->isIntegerTy()) 5097e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner return false; 5105027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov 5117e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // If we already defined this type, we don't need to define it again. 5127e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (DefinedTypes.find(Ty) != DefinedTypes.end()) 5137e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner return false; 5145027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov 5157e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // Everything below needs the name for the type so get it now. 5167e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner std::string typeName(getCppName(Ty)); 5177e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner 5187e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // Search the type stack for recursion. If we find it, then generate this 5197e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // as an OpaqueType, but make sure not to do this multiple times because 5207e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // the type could appear in multiple places on the stack. Once the opaque 5217e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // definition is issued, it must not be re-issued. Consequently we have to 5227e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // check the UnresolvedTypes list as well. 5237e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner TypeList::const_iterator TI = std::find(TypeStack.begin(), TypeStack.end(), 5247e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Ty); 5257e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (TI != TypeStack.end()) { 5267e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner TypeMap::const_iterator I = UnresolvedTypes.find(Ty); 5277e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (I == UnresolvedTypes.end()) { 5287e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "PATypeHolder " << typeName; 5297e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "_fwd = OpaqueType::get(mod->getContext());"; 5305027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov nl(Out); 5317e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner UnresolvedTypes[Ty] = typeName; 5327e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } 5337e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner return true; 5347e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } 5357e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner 5367e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // We're going to print a derived type which, by definition, contains other 5377e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // types. So, push this one we're printing onto the type stack to assist with 5387e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // recursive definitions. 5397e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner TypeStack.push_back(Ty); 5407e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner 5417e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // Print the type definition 5427e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner switch (Ty->getTypeID()) { 5437e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Type::FunctionTyID: { 5447e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner const FunctionType* FT = cast<FunctionType>(Ty); 5457e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "std::vector<const Type*>" << typeName << "_args;"; 5467e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out); 5477e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner FunctionType::param_iterator PI = FT->param_begin(); 5487e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner FunctionType::param_iterator PE = FT->param_end(); 5497e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner for (; PI != PE; ++PI) { 5507e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner const Type* argTy = static_cast<const Type*>(*PI); 5517e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner bool isForward = printTypeInternal(argTy); 5527e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner std::string argName(getCppName(argTy)); 5537e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << typeName << "_args.push_back(" << argName; 5545027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov if (isForward) 5555027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov Out << "_fwd"; 5567e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << ");"; 5575027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov nl(Out); 5585027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov } 5597e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner bool isForward = printTypeInternal(FT->getReturnType()); 5607e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner std::string retTypeName(getCppName(FT->getReturnType())); 5617e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "FunctionType* " << typeName << " = FunctionType::get("; 5627e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner in(); nl(Out) << "/*Result=*/" << retTypeName; 5637e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (isForward) 5647e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "_fwd"; 5657e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << ","; 5667e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out) << "/*Params=*/" << typeName << "_args,"; 5677e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out) << "/*isVarArg=*/" << (FT->isVarArg() ? "true" : "false") << ");"; 5687e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner out(); 5697e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out); 5707e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner break; 5717e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } 5727e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Type::StructTyID: { 5737e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner const StructType* ST = cast<StructType>(Ty); 5747e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "std::vector<const Type*>" << typeName << "_fields;"; 5757e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out); 5767e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner StructType::element_iterator EI = ST->element_begin(); 5777e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner StructType::element_iterator EE = ST->element_end(); 5787e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner for (; EI != EE; ++EI) { 5797e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner const Type* fieldTy = static_cast<const Type*>(*EI); 5807e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner bool isForward = printTypeInternal(fieldTy); 5817e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner std::string fieldName(getCppName(fieldTy)); 5827e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << typeName << "_fields.push_back(" << fieldName; 5837e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (isForward) 5847e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "_fwd"; 5857e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << ");"; 5865027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov nl(Out); 5875027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov } 5887e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "StructType* " << typeName << " = StructType::get(" 5897e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << "mod->getContext(), " 5907e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << typeName << "_fields, /*isPacked=*/" 5917e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << (ST->isPacked() ? "true" : "false") << ");"; 5927e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out); 5937e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner break; 5947e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } 5957e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Type::ArrayTyID: { 5967e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner const ArrayType* AT = cast<ArrayType>(Ty); 5977e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner const Type* ET = AT->getElementType(); 5987e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner bool isForward = printTypeInternal(ET); 5997e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner std::string elemName(getCppName(ET)); 6007e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "ArrayType* " << typeName << " = ArrayType::get(" 6017e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << elemName << (isForward ? "_fwd" : "") 6027e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << ", " << utostr(AT->getNumElements()) << ");"; 6037e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out); 6047e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner break; 6057e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } 6067e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Type::PointerTyID: { 6077e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner const PointerType* PT = cast<PointerType>(Ty); 6087e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner const Type* ET = PT->getElementType(); 6097e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner bool isForward = printTypeInternal(ET); 6107e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner std::string elemName(getCppName(ET)); 6117e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "PointerType* " << typeName << " = PointerType::get(" 6127e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << elemName << (isForward ? "_fwd" : "") 6137e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << ", " << utostr(PT->getAddressSpace()) << ");"; 6147e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out); 6157e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner break; 6167e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } 6177e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Type::VectorTyID: { 6187e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner const VectorType* PT = cast<VectorType>(Ty); 6197e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner const Type* ET = PT->getElementType(); 6207e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner bool isForward = printTypeInternal(ET); 6217e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner std::string elemName(getCppName(ET)); 6227e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "VectorType* " << typeName << " = VectorType::get(" 6237e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << elemName << (isForward ? "_fwd" : "") 6247e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << ", " << utostr(PT->getNumElements()) << ");"; 6257e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out); 6267e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner break; 6277e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } 6287e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Type::OpaqueTyID: { 6297e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "OpaqueType* " << typeName; 6307e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << " = OpaqueType::get(mod->getContext());"; 6317e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out); 6327e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner break; 6337e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } 6347e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner default: 6357e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner error("Invalid TypeID"); 6367e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } 6375027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov 6387e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // If the type had a name, make sure we recreate it. 6397e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner const std::string* progTypeName = 6407e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner findTypeName(TheModule->getTypeSymbolTable(),Ty); 6417e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (progTypeName) { 6427e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "mod->addTypeName(\"" << *progTypeName << "\", " 6437e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << typeName << ");"; 6447e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out); 6457e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } 6465027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov 6477e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // Pop us off the type stack 6487e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner TypeStack.pop_back(); 6495027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov 6507e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // Indicate that this type is now defined. 6517e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner DefinedTypes.insert(Ty); 6525027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov 6537e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // Early resolve as many unresolved types as possible. Search the unresolved 6547e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // types map for the type we just printed. Now that its definition is complete 6557e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // we can resolve any previous references to it. This prevents a cascade of 6567e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // unresolved types. 6577e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner TypeMap::iterator I = UnresolvedTypes.find(Ty); 6587e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (I != UnresolvedTypes.end()) { 6597e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "cast<OpaqueType>(" << I->second 6607e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << "_fwd.get())->refineAbstractTypeTo(" << I->second << ");"; 6615027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov nl(Out); 6627e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << I->second << " = cast<"; 6637e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner switch (Ty->getTypeID()) { 6647e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Type::FunctionTyID: Out << "FunctionType"; break; 6657e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Type::ArrayTyID: Out << "ArrayType"; break; 6667e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Type::StructTyID: Out << "StructType"; break; 6677e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Type::VectorTyID: Out << "VectorType"; break; 6687e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Type::PointerTyID: Out << "PointerType"; break; 6697e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Type::OpaqueTyID: Out << "OpaqueType"; break; 6707e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner default: Out << "NoSuchDerivedType"; break; 6717e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } 6727e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << ">(" << I->second << "_fwd.get());"; 6737e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out); nl(Out); 6747e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner UnresolvedTypes.erase(I); 6755027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov } 6765027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov 6777e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // Finally, separate the type definition from other with a newline. 6787e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out); 6795027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov 6807e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // We weren't a recursive type 6817e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner return false; 6827e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner} 6837e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner 6847e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner// Prints a type definition. Returns true if it could not resolve all the 6857e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner// types in the definition but had to use a forward reference. 6867e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattnervoid CppWriter::printType(const Type* Ty) { 6877e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner assert(TypeStack.empty()); 6887e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner TypeStack.clear(); 6897e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printTypeInternal(Ty); 6907e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner assert(TypeStack.empty()); 6917e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner} 6927e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner 6937e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattnervoid CppWriter::printTypes(const Module* M) { 6947e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // Walk the symbol table and print out all its types 6957e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner const TypeSymbolTable& symtab = M->getTypeSymbolTable(); 6967e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner for (TypeSymbolTable::const_iterator TI = symtab.begin(), TE = symtab.end(); 6977e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner TI != TE; ++TI) { 6987e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner 6997e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // For primitive types and types already defined, just add a name 7007e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner TypeMap::const_iterator TNI = TypeNames.find(TI->second); 7017e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (TI->second->isIntegerTy() || TI->second->isPrimitiveType() || 7027e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner TNI != TypeNames.end()) { 7037e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "mod->addTypeName(\""; 7047e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printEscapedString(TI->first); 7057e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "\", " << getCppName(TI->second) << ");"; 7067e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out); 7077e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // For everything else, define the type 7087e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } else { 7097e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printType(TI->second); 7105027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov } 7117e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } 7125027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov 7137e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // Add all of the global variables to the value table... 7147e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner for (Module::const_global_iterator I = TheModule->global_begin(), 7157e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner E = TheModule->global_end(); I != E; ++I) { 7167e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (I->hasInitializer()) 7177e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printType(I->getInitializer()->getType()); 7187e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printType(I->getType()); 7197e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } 7205027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov 7217e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // Add all the functions to the table 7227e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner for (Module::const_iterator FI = TheModule->begin(), FE = TheModule->end(); 7237e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner FI != FE; ++FI) { 7247e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printType(FI->getReturnType()); 7257e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printType(FI->getFunctionType()); 7267e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // Add all the function arguments 7277e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner for (Function::const_arg_iterator AI = FI->arg_begin(), 7287e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner AE = FI->arg_end(); AI != AE; ++AI) { 7297e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printType(AI->getType()); 7307e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } 7317e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner 7327e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // Add all of the basic blocks and instructions 7337e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner for (Function::const_iterator BB = FI->begin(), 7347e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner E = FI->end(); BB != E; ++BB) { 7357e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printType(BB->getType()); 7367e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner for (BasicBlock::const_iterator I = BB->begin(), E = BB->end(); I!=E; 7377e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner ++I) { 7387e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printType(I->getType()); 7397e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner for (unsigned i = 0; i < I->getNumOperands(); ++i) 7407e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printType(I->getOperand(i)->getType()); 7415027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov } 7425027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov } 7435027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov } 7447e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner} 7455027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov 7465027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov 7477e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner// printConstant - Print out a constant pool entry... 7487e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattnervoid CppWriter::printConstant(const Constant *CV) { 7497e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // First, if the constant is actually a GlobalValue (variable or function) 7507e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // or its already in the constant list then we've printed it already and we 7517e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // can just return. 7527e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (isa<GlobalValue>(CV) || ValueNames.find(CV) != ValueNames.end()) 7537e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner return; 7545027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov 7557e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner std::string constName(getCppName(CV)); 7567e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner std::string typeName(getCppName(CV->getType())); 757ff4ca2e0883d95cbd97e09e56bee8c73fa384e6aAnton Korobeynikov 7587e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (isa<GlobalValue>(CV)) { 7597e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // Skip variables and functions, we emit them elsewhere 7607e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner return; 7617e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } 762ff4ca2e0883d95cbd97e09e56bee8c73fa384e6aAnton Korobeynikov 7637e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (const ConstantInt *CI = dyn_cast<ConstantInt>(CV)) { 7647e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner std::string constValue = CI->getValue().toString(10, true); 7657e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "ConstantInt* " << constName 7667e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << " = ConstantInt::get(mod->getContext(), APInt(" 7677e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << cast<IntegerType>(CI->getType())->getBitWidth() 7687e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << ", StringRef(\"" << constValue << "\"), 10));"; 7697e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } else if (isa<ConstantAggregateZero>(CV)) { 7707e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "ConstantAggregateZero* " << constName 7717e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << " = ConstantAggregateZero::get(" << typeName << ");"; 7727e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } else if (isa<ConstantPointerNull>(CV)) { 7737e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "ConstantPointerNull* " << constName 7747e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << " = ConstantPointerNull::get(" << typeName << ");"; 7757e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } else if (const ConstantFP *CFP = dyn_cast<ConstantFP>(CV)) { 7767e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "ConstantFP* " << constName << " = "; 7777e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printCFP(CFP); 7787e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << ";"; 7797e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } else if (const ConstantArray *CA = dyn_cast<ConstantArray>(CV)) { 7807e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (CA->isString() && 7817e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner CA->getType()->getElementType() == 7827e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Type::getInt8Ty(CA->getContext())) { 7837e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "Constant* " << constName << 7847e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner " = ConstantArray::get(mod->getContext(), \""; 7857e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner std::string tmp = CA->getAsString(); 7867e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner bool nullTerminate = false; 7877e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (tmp[tmp.length()-1] == 0) { 7887e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner tmp.erase(tmp.length()-1); 7897e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nullTerminate = true; 7905027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov } 7917e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printEscapedString(tmp); 7927e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // Determine if we want null termination or not. 7937e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (nullTerminate) 7947e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "\", true"; // Indicate that the null terminator should be 7957e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // added. 7967e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner else 7977e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "\", false";// No null terminator 7987e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << ");"; 7997e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } else { 8005027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov Out << "std::vector<Constant*> " << constName << "_elems;"; 8015027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov nl(Out); 8027e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner unsigned N = CA->getNumOperands(); 8035027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov for (unsigned i = 0; i < N; ++i) { 8047e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printConstant(CA->getOperand(i)); // recurse to print operands 8055027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov Out << constName << "_elems.push_back(" 8067e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << getCppName(CA->getOperand(i)) << ");"; 8075027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov nl(Out); 8085027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov } 8097e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "Constant* " << constName << " = ConstantArray::get(" 8105027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov << typeName << ", " << constName << "_elems);"; 8117e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } 8127e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } else if (const ConstantStruct *CS = dyn_cast<ConstantStruct>(CV)) { 8137e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "std::vector<Constant*> " << constName << "_fields;"; 8147e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out); 8157e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner unsigned N = CS->getNumOperands(); 8167e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner for (unsigned i = 0; i < N; i++) { 8177e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printConstant(CS->getOperand(i)); 8187e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << constName << "_fields.push_back(" 8197e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << getCppName(CS->getOperand(i)) << ");"; 8207e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out); 8217e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } 8227e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "Constant* " << constName << " = ConstantStruct::get(" 8237e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << typeName << ", " << constName << "_fields);"; 8247e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } else if (const ConstantVector *CP = dyn_cast<ConstantVector>(CV)) { 8257e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "std::vector<Constant*> " << constName << "_elems;"; 8267e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out); 8277e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner unsigned N = CP->getNumOperands(); 8287e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner for (unsigned i = 0; i < N; ++i) { 8297e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printConstant(CP->getOperand(i)); 8307e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << constName << "_elems.push_back(" 8317e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << getCppName(CP->getOperand(i)) << ");"; 8327e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out); 8337e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } 8347e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "Constant* " << constName << " = ConstantVector::get(" 8357e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << typeName << ", " << constName << "_elems);"; 8367e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } else if (isa<UndefValue>(CV)) { 8377e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "UndefValue* " << constName << " = UndefValue::get(" 8387e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << typeName << ");"; 8397e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } else if (const ConstantExpr *CE = dyn_cast<ConstantExpr>(CV)) { 8407e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (CE->getOpcode() == Instruction::GetElementPtr) { 8417e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "std::vector<Constant*> " << constName << "_indices;"; 8427e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out); 8437e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printConstant(CE->getOperand(0)); 8447e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner for (unsigned i = 1; i < CE->getNumOperands(); ++i ) { 8457e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printConstant(CE->getOperand(i)); 8467e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << constName << "_indices.push_back(" 8477e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << getCppName(CE->getOperand(i)) << ");"; 8485027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov nl(Out); 8497e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } 8507e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "Constant* " << constName 8517e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << " = ConstantExpr::getGetElementPtr(" 8527e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << getCppName(CE->getOperand(0)) << ", " 8537e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << "&" << constName << "_indices[0], " 8547e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << constName << "_indices.size()" 8557e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << ");"; 8567e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } else if (CE->isCast()) { 8577e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printConstant(CE->getOperand(0)); 8587e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "Constant* " << constName << " = ConstantExpr::getCast("; 8597e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner switch (CE->getOpcode()) { 8607e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner default: llvm_unreachable("Invalid cast opcode"); 8617e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::Trunc: Out << "Instruction::Trunc"; break; 8627e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::ZExt: Out << "Instruction::ZExt"; break; 8637e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::SExt: Out << "Instruction::SExt"; break; 8647e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::FPTrunc: Out << "Instruction::FPTrunc"; break; 8657e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::FPExt: Out << "Instruction::FPExt"; break; 8667e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::FPToUI: Out << "Instruction::FPToUI"; break; 8677e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::FPToSI: Out << "Instruction::FPToSI"; break; 8687e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::UIToFP: Out << "Instruction::UIToFP"; break; 8697e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::SIToFP: Out << "Instruction::SIToFP"; break; 8707e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::PtrToInt: Out << "Instruction::PtrToInt"; break; 8717e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::IntToPtr: Out << "Instruction::IntToPtr"; break; 8727e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::BitCast: Out << "Instruction::BitCast"; break; 8737e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } 8747e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << ", " << getCppName(CE->getOperand(0)) << ", " 8757e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << getCppName(CE->getType()) << ");"; 8767e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } else { 8777e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner unsigned N = CE->getNumOperands(); 8787e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner for (unsigned i = 0; i < N; ++i ) { 8797e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printConstant(CE->getOperand(i)); 8807e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } 8817e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "Constant* " << constName << " = ConstantExpr::"; 8827e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner switch (CE->getOpcode()) { 8837e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::Add: Out << "getAdd("; break; 8847e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::FAdd: Out << "getFAdd("; break; 8857e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::Sub: Out << "getSub("; break; 8867e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::FSub: Out << "getFSub("; break; 8877e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::Mul: Out << "getMul("; break; 8887e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::FMul: Out << "getFMul("; break; 8897e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::UDiv: Out << "getUDiv("; break; 8907e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::SDiv: Out << "getSDiv("; break; 8917e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::FDiv: Out << "getFDiv("; break; 8927e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::URem: Out << "getURem("; break; 8937e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::SRem: Out << "getSRem("; break; 8947e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::FRem: Out << "getFRem("; break; 8957e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::And: Out << "getAnd("; break; 8967e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::Or: Out << "getOr("; break; 8977e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::Xor: Out << "getXor("; break; 8987e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::ICmp: 8997e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "getICmp(ICmpInst::ICMP_"; 9007e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner switch (CE->getPredicate()) { 9017e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case ICmpInst::ICMP_EQ: Out << "EQ"; break; 9027e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case ICmpInst::ICMP_NE: Out << "NE"; break; 9037e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case ICmpInst::ICMP_SLT: Out << "SLT"; break; 9047e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case ICmpInst::ICMP_ULT: Out << "ULT"; break; 9057e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case ICmpInst::ICMP_SGT: Out << "SGT"; break; 9067e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case ICmpInst::ICMP_UGT: Out << "UGT"; break; 9077e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case ICmpInst::ICMP_SLE: Out << "SLE"; break; 9087e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case ICmpInst::ICMP_ULE: Out << "ULE"; break; 9097e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case ICmpInst::ICMP_SGE: Out << "SGE"; break; 9107e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case ICmpInst::ICMP_UGE: Out << "UGE"; break; 9117e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner default: error("Invalid ICmp Predicate"); 9125027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov } 9137e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner break; 9147e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::FCmp: 9157e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "getFCmp(FCmpInst::FCMP_"; 9167e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner switch (CE->getPredicate()) { 9177e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case FCmpInst::FCMP_FALSE: Out << "FALSE"; break; 9187e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case FCmpInst::FCMP_ORD: Out << "ORD"; break; 9197e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case FCmpInst::FCMP_UNO: Out << "UNO"; break; 9207e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case FCmpInst::FCMP_OEQ: Out << "OEQ"; break; 9217e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case FCmpInst::FCMP_UEQ: Out << "UEQ"; break; 9227e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case FCmpInst::FCMP_ONE: Out << "ONE"; break; 9237e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case FCmpInst::FCMP_UNE: Out << "UNE"; break; 9247e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case FCmpInst::FCMP_OLT: Out << "OLT"; break; 9257e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case FCmpInst::FCMP_ULT: Out << "ULT"; break; 9267e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case FCmpInst::FCMP_OGT: Out << "OGT"; break; 9277e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case FCmpInst::FCMP_UGT: Out << "UGT"; break; 9287e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case FCmpInst::FCMP_OLE: Out << "OLE"; break; 9297e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case FCmpInst::FCMP_ULE: Out << "ULE"; break; 9307e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case FCmpInst::FCMP_OGE: Out << "OGE"; break; 9317e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case FCmpInst::FCMP_UGE: Out << "UGE"; break; 9327e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case FCmpInst::FCMP_TRUE: Out << "TRUE"; break; 9337e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner default: error("Invalid FCmp Predicate"); 9345027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov } 9357e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner break; 9367e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::Shl: Out << "getShl("; break; 9377e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::LShr: Out << "getLShr("; break; 9387e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::AShr: Out << "getAShr("; break; 9397e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::Select: Out << "getSelect("; break; 9407e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::ExtractElement: Out << "getExtractElement("; break; 9417e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::InsertElement: Out << "getInsertElement("; break; 9427e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::ShuffleVector: Out << "getShuffleVector("; break; 9437e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner default: 9447e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner error("Invalid constant expression"); 9457e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner break; 9465027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov } 9477e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << getCppName(CE->getOperand(0)); 9487e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner for (unsigned i = 1; i < CE->getNumOperands(); ++i) 9497e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << ", " << getCppName(CE->getOperand(i)); 9507e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << ");"; 9515027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov } 9523284877064af9e6f67bb8c7e540753d22bb69662Chris Lattner } else if (const BlockAddress *BA = dyn_cast<BlockAddress>(CV)) { 9533284877064af9e6f67bb8c7e540753d22bb69662Chris Lattner Out << "Constant* " << constName << " = "; 9543284877064af9e6f67bb8c7e540753d22bb69662Chris Lattner Out << "BlockAddress::get(" << getOpName(BA->getBasicBlock()) << ");"; 9557e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } else { 9567e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner error("Bad Constant"); 9577e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "Constant* " << constName << " = 0; "; 9585027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov } 9597e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out); 9607e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner} 9615027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov 9627e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattnervoid CppWriter::printConstants(const Module* M) { 9637e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // Traverse all the global variables looking for constant initializers 9647e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner for (Module::const_global_iterator I = TheModule->global_begin(), 9657e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner E = TheModule->global_end(); I != E; ++I) 9667e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (I->hasInitializer()) 9677e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printConstant(I->getInitializer()); 9687e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner 9697e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // Traverse the LLVM functions looking for constants 9707e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner for (Module::const_iterator FI = TheModule->begin(), FE = TheModule->end(); 9717e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner FI != FE; ++FI) { 9727e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // Add all of the basic blocks and instructions 9737e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner for (Function::const_iterator BB = FI->begin(), 9747e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner E = FI->end(); BB != E; ++BB) { 9757e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner for (BasicBlock::const_iterator I = BB->begin(), E = BB->end(); I!=E; 9767e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner ++I) { 9777e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner for (unsigned i = 0; i < I->getNumOperands(); ++i) { 9787e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (Constant* C = dyn_cast<Constant>(I->getOperand(i))) { 9797e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printConstant(C); 9805027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov } 9815027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov } 9825027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov } 9835027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov } 9845027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov } 9857e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner} 9865027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov 9877e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattnervoid CppWriter::printVariableUses(const GlobalVariable *GV) { 9887e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out) << "// Type Definitions"; 9897e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out); 9907e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printType(GV->getType()); 9917e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (GV->hasInitializer()) { 9927e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Constant *Init = GV->getInitializer(); 9937e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printType(Init->getType()); 9947e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (Function *F = dyn_cast<Function>(Init)) { 9957e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out)<< "/ Function Declarations"; nl(Out); 9967e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printFunctionHead(F); 9977e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } else if (GlobalVariable* gv = dyn_cast<GlobalVariable>(Init)) { 9987e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out) << "// Global Variable Declarations"; nl(Out); 9997e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printVariableHead(gv); 10007e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner 10017e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out) << "// Global Variable Definitions"; nl(Out); 10027e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printVariableBody(gv); 10037e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } else { 10047e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out) << "// Constant Definitions"; nl(Out); 10057e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printConstant(Init); 10065027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov } 10075027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov } 10087e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner} 10095027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov 10107e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattnervoid CppWriter::printVariableHead(const GlobalVariable *GV) { 10117e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out) << "GlobalVariable* " << getCppName(GV); 10127e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (is_inline) { 10137e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << " = mod->getGlobalVariable(mod->getContext(), "; 10145027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov printEscapedString(GV->getName()); 10157e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << ", " << getCppName(GV->getType()->getElementType()) << ",true)"; 10167e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out) << "if (!" << getCppName(GV) << ") {"; 10177e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner in(); nl(Out) << getCppName(GV); 10187e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } 10197e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << " = new GlobalVariable(/*Module=*/*mod, "; 10207e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out) << "/*Type=*/"; 10217e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printCppName(GV->getType()->getElementType()); 10227e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << ","; 10237e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out) << "/*isConstant=*/" << (GV->isConstant()?"true":"false"); 10247e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << ","; 10257e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out) << "/*Linkage=*/"; 10267e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printLinkageType(GV->getLinkage()); 10277e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << ","; 10287e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out) << "/*Initializer=*/0, "; 10297e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (GV->hasInitializer()) { 10307e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "// has initializer, specified below"; 10317e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } 10327e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out) << "/*Name=*/\""; 10337e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printEscapedString(GV->getName()); 10347e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "\");"; 10357e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out); 10367e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner 10377e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (GV->hasSection()) { 10387e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printCppName(GV); 10397e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "->setSection(\""; 10407e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printEscapedString(GV->getSection()); 104116a412edb6d279bb5fbffba3ff1a6c914e478aafOwen Anderson Out << "\");"; 10425027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov nl(Out); 10435027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov } 10447e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (GV->getAlignment()) { 10457e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printCppName(GV); 10467e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "->setAlignment(" << utostr(GV->getAlignment()) << ");"; 10477e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out); 10487e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } 10497e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (GV->getVisibility() != GlobalValue::DefaultVisibility) { 10507e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printCppName(GV); 10517e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "->setVisibility("; 10527e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printVisibilityType(GV->getVisibility()); 10537e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << ");"; 10547e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out); 10557e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } 10567e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (GV->isThreadLocal()) { 10577e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printCppName(GV); 10587e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "->setThreadLocal(true);"; 10597e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out); 10607e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } 10617e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (is_inline) { 10627e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner out(); Out << "}"; nl(Out); 10637e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } 10647e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner} 10655027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov 10667e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattnervoid CppWriter::printVariableBody(const GlobalVariable *GV) { 10677e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (GV->hasInitializer()) { 10687e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printCppName(GV); 10697e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "->setInitializer("; 10707e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << getCppName(GV->getInitializer()) << ");"; 10717e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out); 10725027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov } 10737e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner} 10745027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov 10757e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattnerstd::string CppWriter::getOpName(Value* V) { 10767e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (!isa<Instruction>(V) || DefinedValues.find(V) != DefinedValues.end()) 10777e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner return getCppName(V); 10785027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov 10797e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // See if its alread in the map of forward references, if so just return the 10807e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // name we already set up for it 10817e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner ForwardRefMap::const_iterator I = ForwardRefs.find(V); 10827e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (I != ForwardRefs.end()) 10837e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner return I->second; 10845027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov 10857e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // This is a new forward reference. Generate a unique name for it 10867e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner std::string result(std::string("fwdref_") + utostr(uniqueNum++)); 10875027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov 10887e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // Yes, this is a hack. An Argument is the smallest instantiable value that 10897e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // we can make as a placeholder for the real value. We'll replace these 10907e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // Argument instances later. 10917e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "Argument* " << result << " = new Argument(" 10927e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << getCppName(V->getType()) << ");"; 10937e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out); 10947e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner ForwardRefs[V] = result; 10957e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner return result; 10967e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner} 10975027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov 10987e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner// printInstruction - This member is called for each Instruction in a function. 10997e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattnervoid CppWriter::printInstruction(const Instruction *I, 11007e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner const std::string& bbname) { 11017e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner std::string iName(getCppName(I)); 11027e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner 11037e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // Before we emit this instruction, we need to take care of generating any 11047e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // forward references. So, we get the names of all the operands in advance 11057e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner const unsigned Ops(I->getNumOperands()); 11067e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner std::string* opNames = new std::string[Ops]; 11073284877064af9e6f67bb8c7e540753d22bb69662Chris Lattner for (unsigned i = 0; i < Ops; i++) 11087e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner opNames[i] = getOpName(I->getOperand(i)); 11095027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov 11107e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner switch (I->getOpcode()) { 11117e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner default: 11127e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner error("Invalid instruction"); 11137e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner break; 11145027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov 11157e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::Ret: { 11167e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner const ReturnInst* ret = cast<ReturnInst>(I); 11177e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "ReturnInst::Create(mod->getContext(), " 11187e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << (ret->getReturnValue() ? opNames[0] + ", " : "") << bbname << ");"; 11197e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner break; 11207e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } 11217e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::Br: { 11227e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner const BranchInst* br = cast<BranchInst>(I); 11237e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "BranchInst::Create(" ; 11243284877064af9e6f67bb8c7e540753d22bb69662Chris Lattner if (br->getNumOperands() == 3) { 11257e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << opNames[2] << ", " 11267e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << opNames[1] << ", " 11277e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << opNames[0] << ", "; 112826825a84e97790adaffc55c6101b9fe2524fe1b7Dan Gohman 11297e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } else if (br->getNumOperands() == 1) { 11307e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << opNames[0] << ", "; 11317e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } else { 11327e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner error("Branch with 2 operands?"); 11335027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov } 11347e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << bbname << ");"; 11357e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner break; 11367e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } 11377e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::Switch: { 11387e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner const SwitchInst *SI = cast<SwitchInst>(I); 11397e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "SwitchInst* " << iName << " = SwitchInst::Create(" 11407e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << opNames[0] << ", " 11417e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << opNames[1] << ", " 11427e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << SI->getNumCases() << ", " << bbname << ");"; 11437e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out); 11447e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner for (unsigned i = 2; i != SI->getNumOperands(); i += 2) { 11457e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << iName << "->addCase(" 11467e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << opNames[i] << ", " 11477e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << opNames[i+1] << ");"; 11487e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out); 11495027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov } 11507e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner break; 11517e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } 11527e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::IndirectBr: { 11537e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner const IndirectBrInst *IBI = cast<IndirectBrInst>(I); 11547e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "IndirectBrInst *" << iName << " = IndirectBrInst::Create(" 11557e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << opNames[0] << ", " << IBI->getNumDestinations() << ");"; 11567e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out); 11577e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner for (unsigned i = 1; i != IBI->getNumOperands(); ++i) { 11587e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << iName << "->addDestination(" << opNames[i] << ");"; 11595027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov nl(Out); 11605027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov } 11617e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner break; 11627e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } 11637e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::Invoke: { 11647e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner const InvokeInst* inv = cast<InvokeInst>(I); 11657e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "std::vector<Value*> " << iName << "_params;"; 11667e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out); 11677e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner for (unsigned i = 0; i < inv->getNumArgOperands(); ++i) { 11687e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << iName << "_params.push_back(" 11697e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << getOpName(inv->getArgOperand(i)) << ");"; 1170627b470981a833f847005556bea04e71f94da260Chris Lattner nl(Out); 1171627b470981a833f847005556bea04e71f94da260Chris Lattner } 11727e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // FIXME: This shouldn't use magic numbers -3, -2, and -1. 11737e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "InvokeInst *" << iName << " = InvokeInst::Create(" 11747e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << getOpName(inv->getCalledFunction()) << ", " 11757e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << getOpName(inv->getNormalDest()) << ", " 11767e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << getOpName(inv->getUnwindDest()) << ", " 11777e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << iName << "_params.begin(), " 11787e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << iName << "_params.end(), \""; 11797e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printEscapedString(inv->getName()); 11807e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "\", " << bbname << ");"; 11817e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out) << iName << "->setCallingConv("; 11827e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printCallingConv(inv->getCallingConv()); 11837e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << ");"; 11847e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printAttributes(inv->getAttributes(), iName); 11857e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << iName << "->setAttributes(" << iName << "_PAL);"; 11867e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out); 11877e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner break; 11887e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } 11897e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::Unwind: { 11907e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "new UnwindInst(" 11917e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << bbname << ");"; 11927e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner break; 11937e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } 11947e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::Unreachable: { 11957e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "new UnreachableInst(" 11967e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << "mod->getContext(), " 11977e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << bbname << ");"; 11987e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner break; 11997e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } 12007e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::Add: 12017e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::FAdd: 12027e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::Sub: 12037e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::FSub: 12047e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::Mul: 12057e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::FMul: 12067e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::UDiv: 12077e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::SDiv: 12087e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::FDiv: 12097e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::URem: 12107e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::SRem: 12117e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::FRem: 12127e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::And: 12137e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::Or: 12147e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::Xor: 12157e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::Shl: 12167e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::LShr: 12177e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::AShr:{ 12187e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "BinaryOperator* " << iName << " = BinaryOperator::Create("; 12197e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner switch (I->getOpcode()) { 12207e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::Add: Out << "Instruction::Add"; break; 12217e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::FAdd: Out << "Instruction::FAdd"; break; 12227e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::Sub: Out << "Instruction::Sub"; break; 12237e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::FSub: Out << "Instruction::FSub"; break; 12247e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::Mul: Out << "Instruction::Mul"; break; 12257e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::FMul: Out << "Instruction::FMul"; break; 12267e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::UDiv:Out << "Instruction::UDiv"; break; 12277e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::SDiv:Out << "Instruction::SDiv"; break; 12287e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::FDiv:Out << "Instruction::FDiv"; break; 12297e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::URem:Out << "Instruction::URem"; break; 12307e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::SRem:Out << "Instruction::SRem"; break; 12317e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::FRem:Out << "Instruction::FRem"; break; 12327e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::And: Out << "Instruction::And"; break; 12337e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::Or: Out << "Instruction::Or"; break; 12347e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::Xor: Out << "Instruction::Xor"; break; 12357e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::Shl: Out << "Instruction::Shl"; break; 12367e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::LShr:Out << "Instruction::LShr"; break; 12377e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::AShr:Out << "Instruction::AShr"; break; 12387e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner default: Out << "Instruction::BadOpCode"; break; 12397e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } 12407e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << ", " << opNames[0] << ", " << opNames[1] << ", \""; 12417e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printEscapedString(I->getName()); 12427e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "\", " << bbname << ");"; 12437e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner break; 12447e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } 12457e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::FCmp: { 12467e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "FCmpInst* " << iName << " = new FCmpInst(*" << bbname << ", "; 12477e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner switch (cast<FCmpInst>(I)->getPredicate()) { 12487e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case FCmpInst::FCMP_FALSE: Out << "FCmpInst::FCMP_FALSE"; break; 12497e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case FCmpInst::FCMP_OEQ : Out << "FCmpInst::FCMP_OEQ"; break; 12507e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case FCmpInst::FCMP_OGT : Out << "FCmpInst::FCMP_OGT"; break; 12517e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case FCmpInst::FCMP_OGE : Out << "FCmpInst::FCMP_OGE"; break; 12527e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case FCmpInst::FCMP_OLT : Out << "FCmpInst::FCMP_OLT"; break; 12537e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case FCmpInst::FCMP_OLE : Out << "FCmpInst::FCMP_OLE"; break; 12547e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case FCmpInst::FCMP_ONE : Out << "FCmpInst::FCMP_ONE"; break; 12557e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case FCmpInst::FCMP_ORD : Out << "FCmpInst::FCMP_ORD"; break; 12567e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case FCmpInst::FCMP_UNO : Out << "FCmpInst::FCMP_UNO"; break; 12577e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case FCmpInst::FCMP_UEQ : Out << "FCmpInst::FCMP_UEQ"; break; 12587e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case FCmpInst::FCMP_UGT : Out << "FCmpInst::FCMP_UGT"; break; 12597e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case FCmpInst::FCMP_UGE : Out << "FCmpInst::FCMP_UGE"; break; 12607e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case FCmpInst::FCMP_ULT : Out << "FCmpInst::FCMP_ULT"; break; 12617e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case FCmpInst::FCMP_ULE : Out << "FCmpInst::FCMP_ULE"; break; 12627e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case FCmpInst::FCMP_UNE : Out << "FCmpInst::FCMP_UNE"; break; 12637e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case FCmpInst::FCMP_TRUE : Out << "FCmpInst::FCMP_TRUE"; break; 12647e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner default: Out << "FCmpInst::BAD_ICMP_PREDICATE"; break; 12657e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } 12667e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << ", " << opNames[0] << ", " << opNames[1] << ", \""; 12677e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printEscapedString(I->getName()); 12687e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "\");"; 12697e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner break; 12707e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } 12717e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::ICmp: { 12727e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "ICmpInst* " << iName << " = new ICmpInst(*" << bbname << ", "; 12737e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner switch (cast<ICmpInst>(I)->getPredicate()) { 12747e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case ICmpInst::ICMP_EQ: Out << "ICmpInst::ICMP_EQ"; break; 12757e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case ICmpInst::ICMP_NE: Out << "ICmpInst::ICMP_NE"; break; 12767e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case ICmpInst::ICMP_ULE: Out << "ICmpInst::ICMP_ULE"; break; 12777e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case ICmpInst::ICMP_SLE: Out << "ICmpInst::ICMP_SLE"; break; 12787e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case ICmpInst::ICMP_UGE: Out << "ICmpInst::ICMP_UGE"; break; 12797e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case ICmpInst::ICMP_SGE: Out << "ICmpInst::ICMP_SGE"; break; 12807e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case ICmpInst::ICMP_ULT: Out << "ICmpInst::ICMP_ULT"; break; 12817e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case ICmpInst::ICMP_SLT: Out << "ICmpInst::ICMP_SLT"; break; 12827e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case ICmpInst::ICMP_UGT: Out << "ICmpInst::ICMP_UGT"; break; 12837e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case ICmpInst::ICMP_SGT: Out << "ICmpInst::ICMP_SGT"; break; 12847e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner default: Out << "ICmpInst::BAD_ICMP_PREDICATE"; break; 12857e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } 12867e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << ", " << opNames[0] << ", " << opNames[1] << ", \""; 12877e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printEscapedString(I->getName()); 12887e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "\");"; 12897e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner break; 12907e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } 12917e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::Alloca: { 12927e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner const AllocaInst* allocaI = cast<AllocaInst>(I); 12937e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "AllocaInst* " << iName << " = new AllocaInst(" 12947e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << getCppName(allocaI->getAllocatedType()) << ", "; 12957e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (allocaI->isArrayAllocation()) 12967e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << opNames[0] << ", "; 12977e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "\""; 12987e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printEscapedString(allocaI->getName()); 12997e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "\", " << bbname << ");"; 13007e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (allocaI->getAlignment()) 13017e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out) << iName << "->setAlignment(" 13027e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << allocaI->getAlignment() << ");"; 13037e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner break; 13047e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } 13057a1d92a2cbc20888260efa7d5ad987dc39fcb134Gabor Greif case Instruction::Load: { 13067e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner const LoadInst* load = cast<LoadInst>(I); 13077e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "LoadInst* " << iName << " = new LoadInst(" 13087e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << opNames[0] << ", \""; 13097e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printEscapedString(load->getName()); 13107e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "\", " << (load->isVolatile() ? "true" : "false" ) 13117e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << ", " << bbname << ");"; 13127e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner break; 13137e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } 13147e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::Store: { 13157e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner const StoreInst* store = cast<StoreInst>(I); 13167e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << " new StoreInst(" 13177e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << opNames[0] << ", " 13187e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << opNames[1] << ", " 13197e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << (store->isVolatile() ? "true" : "false") 13207e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << ", " << bbname << ");"; 13217e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner break; 13227e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } 13237e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::GetElementPtr: { 13247e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner const GetElementPtrInst* gep = cast<GetElementPtrInst>(I); 13257e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (gep->getNumOperands() <= 2) { 13267e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "GetElementPtrInst* " << iName << " = GetElementPtrInst::Create(" 13277e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << opNames[0]; 13287e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (gep->getNumOperands() == 2) 13297e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << ", " << opNames[1]; 13307e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } else { 13317e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "std::vector<Value*> " << iName << "_indices;"; 13325027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov nl(Out); 13337e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner for (unsigned i = 1; i < gep->getNumOperands(); ++i ) { 13347e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << iName << "_indices.push_back(" 13357e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << opNames[i] << ");"; 13365027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov nl(Out); 13375027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov } 13387e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "Instruction* " << iName << " = GetElementPtrInst::Create(" 13397e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << opNames[0] << ", " << iName << "_indices.begin(), " 13407e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << iName << "_indices.end()"; 13417e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } 13427e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << ", \""; 13437e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printEscapedString(gep->getName()); 13447e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "\", " << bbname << ");"; 13457e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner break; 13467e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } 13477e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::PHI: { 13487e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner const PHINode* phi = cast<PHINode>(I); 13497e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner 13507e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "PHINode* " << iName << " = PHINode::Create(" 13517e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << getCppName(phi->getType()) << ", \""; 13527e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printEscapedString(phi->getName()); 13537e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "\", " << bbname << ");"; 13547e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out) << iName << "->reserveOperandSpace(" 13557e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << phi->getNumIncomingValues() 13567e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << ");"; 13577e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out); 13587e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner for (unsigned i = 0; i < phi->getNumOperands(); i+=2) { 13597e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << iName << "->addIncoming(" 13607e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << opNames[i] << ", " << opNames[i+1] << ");"; 13615027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov nl(Out); 13625027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov } 13637e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner break; 13647e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } 13657e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::Trunc: 13667e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::ZExt: 13677e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::SExt: 13687e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::FPTrunc: 13697e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::FPExt: 13707e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::FPToUI: 13717e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::FPToSI: 13727e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::UIToFP: 13737e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::SIToFP: 13747e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::PtrToInt: 13757e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::IntToPtr: 13767e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::BitCast: { 13777e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner const CastInst* cst = cast<CastInst>(I); 13787e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "CastInst* " << iName << " = new "; 13797e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner switch (I->getOpcode()) { 13807e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::Trunc: Out << "TruncInst"; break; 13817e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::ZExt: Out << "ZExtInst"; break; 13827e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::SExt: Out << "SExtInst"; break; 13837e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::FPTrunc: Out << "FPTruncInst"; break; 13847e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::FPExt: Out << "FPExtInst"; break; 13857e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::FPToUI: Out << "FPToUIInst"; break; 13867e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::FPToSI: Out << "FPToSIInst"; break; 13877e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::UIToFP: Out << "UIToFPInst"; break; 13887e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::SIToFP: Out << "SIToFPInst"; break; 13897e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::PtrToInt: Out << "PtrToIntInst"; break; 13907e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::IntToPtr: Out << "IntToPtrInst"; break; 13917e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::BitCast: Out << "BitCastInst"; break; 13927e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner default: assert(!"Unreachable"); break; 13937e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } 13947e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "(" << opNames[0] << ", " 13957e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << getCppName(cst->getType()) << ", \""; 13967e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printEscapedString(cst->getName()); 13977e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "\", " << bbname << ");"; 13987e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner break; 13997e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } 14007a1d92a2cbc20888260efa7d5ad987dc39fcb134Gabor Greif case Instruction::Call: { 14017e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner const CallInst* call = cast<CallInst>(I); 14027e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (const InlineAsm* ila = dyn_cast<InlineAsm>(call->getCalledValue())) { 14037e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "InlineAsm* " << getCppName(ila) << " = InlineAsm::get(" 14047e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << getCppName(ila->getFunctionType()) << ", \"" 14057e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << ila->getAsmString() << "\", \"" 14067e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << ila->getConstraintString() << "\"," 14077e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << (ila->hasSideEffects() ? "true" : "false") << ");"; 14085027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov nl(Out); 14095027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov } 14107a1d92a2cbc20888260efa7d5ad987dc39fcb134Gabor Greif if (call->getNumArgOperands() > 1) { 14117e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "std::vector<Value*> " << iName << "_params;"; 14127e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out); 141353ba550df1980164c016954e4b132d5a5552ada7Gabor Greif for (unsigned i = 0; i < call->getNumArgOperands(); ++i) { 141463d024fc9a4f89987fa2cf7ab466ea17ec78ed14Gabor Greif Out << iName << "_params.push_back(" << opNames[i] << ");"; 14155027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov nl(Out); 14165027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov } 14177e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "CallInst* " << iName << " = CallInst::Create(" 1418a399781289092fcdceb58b21174229f4373c4191Gabor Greif << opNames[call->getNumArgOperands()] << ", " 1419a399781289092fcdceb58b21174229f4373c4191Gabor Greif << iName << "_params.begin(), " 14207e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << iName << "_params.end(), \""; 14217a1d92a2cbc20888260efa7d5ad987dc39fcb134Gabor Greif } else if (call->getNumArgOperands() == 1) { 14227e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "CallInst* " << iName << " = CallInst::Create(" 142363d024fc9a4f89987fa2cf7ab466ea17ec78ed14Gabor Greif << opNames[call->getNumArgOperands()] << ", " << opNames[0] << ", \""; 14247e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } else { 142563d024fc9a4f89987fa2cf7ab466ea17ec78ed14Gabor Greif Out << "CallInst* " << iName << " = CallInst::Create(" 142663d024fc9a4f89987fa2cf7ab466ea17ec78ed14Gabor Greif << opNames[call->getNumArgOperands()] << ", \""; 14275027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov } 14287e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printEscapedString(call->getName()); 14297e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "\", " << bbname << ");"; 14307e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out) << iName << "->setCallingConv("; 14317e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printCallingConv(call->getCallingConv()); 14327e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << ");"; 14337e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out) << iName << "->setTailCall(" 14347a1d92a2cbc20888260efa7d5ad987dc39fcb134Gabor Greif << (call->isTailCall() ? "true" : "false"); 14357e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << ");"; 1436135d7fe9bb27594820ae3b64e6f6937b5cef771eGabor Greif nl(Out); 14377e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printAttributes(call->getAttributes(), iName); 14387e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << iName << "->setAttributes(" << iName << "_PAL);"; 14397e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out); 14407e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner break; 14417e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } 14427e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::Select: { 14437e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner const SelectInst* sel = cast<SelectInst>(I); 14447e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "SelectInst* " << getCppName(sel) << " = SelectInst::Create("; 14457e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << opNames[0] << ", " << opNames[1] << ", " << opNames[2] << ", \""; 14467e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printEscapedString(sel->getName()); 14477e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "\", " << bbname << ");"; 14487e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner break; 14497e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } 14507e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::UserOp1: 14517e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner /// FALL THROUGH 14527e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::UserOp2: { 14537e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner /// FIXME: What should be done here? 14547e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner break; 14557e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } 14567e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::VAArg: { 14577e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner const VAArgInst* va = cast<VAArgInst>(I); 14587e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "VAArgInst* " << getCppName(va) << " = new VAArgInst(" 14597e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << opNames[0] << ", " << getCppName(va->getType()) << ", \""; 14607e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printEscapedString(va->getName()); 14617e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "\", " << bbname << ");"; 14627e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner break; 14637e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } 14647e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::ExtractElement: { 14657e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner const ExtractElementInst* eei = cast<ExtractElementInst>(I); 14667e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "ExtractElementInst* " << getCppName(eei) 14677e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << " = new ExtractElementInst(" << opNames[0] 14687e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << ", " << opNames[1] << ", \""; 14697e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printEscapedString(eei->getName()); 14707e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "\", " << bbname << ");"; 14717e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner break; 14727e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } 14737e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::InsertElement: { 14747e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner const InsertElementInst* iei = cast<InsertElementInst>(I); 14757e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "InsertElementInst* " << getCppName(iei) 14767e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << " = InsertElementInst::Create(" << opNames[0] 14777e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << ", " << opNames[1] << ", " << opNames[2] << ", \""; 14787e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printEscapedString(iei->getName()); 14797e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "\", " << bbname << ");"; 14807e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner break; 14817e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } 14827e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::ShuffleVector: { 14837e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner const ShuffleVectorInst* svi = cast<ShuffleVectorInst>(I); 14847e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "ShuffleVectorInst* " << getCppName(svi) 14857e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << " = new ShuffleVectorInst(" << opNames[0] 14867e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << ", " << opNames[1] << ", " << opNames[2] << ", \""; 14877e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printEscapedString(svi->getName()); 14887e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "\", " << bbname << ");"; 14897e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner break; 14907e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } 14917e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::ExtractValue: { 14927e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner const ExtractValueInst *evi = cast<ExtractValueInst>(I); 14937e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "std::vector<unsigned> " << iName << "_indices;"; 14947e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out); 14957e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner for (unsigned i = 0; i < evi->getNumIndices(); ++i) { 14967e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << iName << "_indices.push_back(" 14977e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << evi->idx_begin()[i] << ");"; 149875146a6725739fe11ca183f1c4c5518eb164b2e5Dan Gohman nl(Out); 149975146a6725739fe11ca183f1c4c5518eb164b2e5Dan Gohman } 15007e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "ExtractValueInst* " << getCppName(evi) 15017e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << " = ExtractValueInst::Create(" << opNames[0] 15027e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << ", " 15037e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << iName << "_indices.begin(), " << iName << "_indices.end(), \""; 15047e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printEscapedString(evi->getName()); 15057e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "\", " << bbname << ");"; 15067e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner break; 15077e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } 15087e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::InsertValue: { 15097e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner const InsertValueInst *ivi = cast<InsertValueInst>(I); 15107e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "std::vector<unsigned> " << iName << "_indices;"; 15117e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out); 15127e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner for (unsigned i = 0; i < ivi->getNumIndices(); ++i) { 15137e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << iName << "_indices.push_back(" 15147e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << ivi->idx_begin()[i] << ");"; 151575146a6725739fe11ca183f1c4c5518eb164b2e5Dan Gohman nl(Out); 151675146a6725739fe11ca183f1c4c5518eb164b2e5Dan Gohman } 15177e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "InsertValueInst* " << getCppName(ivi) 15187e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << " = InsertValueInst::Create(" << opNames[0] 15197e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << ", " << opNames[1] << ", " 15207e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << iName << "_indices.begin(), " << iName << "_indices.end(), \""; 15217e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printEscapedString(ivi->getName()); 15227e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "\", " << bbname << ");"; 15237e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner break; 15247e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } 15255027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov } 15265027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov DefinedValues.insert(I); 15275027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov nl(Out); 15285027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov delete [] opNames; 15295027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov} 15305027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov 15317e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner// Print out the types, constants and declarations needed by one function 15327e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattnervoid CppWriter::printFunctionUses(const Function* F) { 15337e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out) << "// Type Definitions"; nl(Out); 15347e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (!is_inline) { 15357e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // Print the function's return type 15367e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printType(F->getReturnType()); 15375027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov 15387e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // Print the function's function type 15397e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printType(F->getFunctionType()); 15405027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov 15417e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // Print the types of each of the function's arguments 15427e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner for (Function::const_arg_iterator AI = F->arg_begin(), AE = F->arg_end(); 15437e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner AI != AE; ++AI) { 15447e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printType(AI->getType()); 15455027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov } 15467e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } 15475027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov 15487e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // Print type definitions for every type referenced by an instruction and 15497e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // make a note of any global values or constants that are referenced 15507e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner SmallPtrSet<GlobalValue*,64> gvs; 15517e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner SmallPtrSet<Constant*,64> consts; 15527e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner for (Function::const_iterator BB = F->begin(), BE = F->end(); 15537e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner BB != BE; ++BB){ 15547e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner for (BasicBlock::const_iterator I = BB->begin(), E = BB->end(); 15557e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner I != E; ++I) { 15567e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // Print the type of the instruction itself 15577e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printType(I->getType()); 15585027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov 15597e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // Print the type of each of the instruction's operands 15607e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner for (unsigned i = 0; i < I->getNumOperands(); ++i) { 15617e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Value* operand = I->getOperand(i); 15627e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printType(operand->getType()); 15637e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner 15647e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // If the operand references a GVal or Constant, make a note of it 15657e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (GlobalValue* GV = dyn_cast<GlobalValue>(operand)) { 15667e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner gvs.insert(GV); 15677509ccda930156d44f83b4b40eef077e93313091Nicolas Geoffray if (GenerationType != GenFunction) 15687509ccda930156d44f83b4b40eef077e93313091Nicolas Geoffray if (GlobalVariable *GVar = dyn_cast<GlobalVariable>(GV)) 15697509ccda930156d44f83b4b40eef077e93313091Nicolas Geoffray if (GVar->hasInitializer()) 15707509ccda930156d44f83b4b40eef077e93313091Nicolas Geoffray consts.insert(GVar->getInitializer()); 15717509ccda930156d44f83b4b40eef077e93313091Nicolas Geoffray } else if (Constant* C = dyn_cast<Constant>(operand)) { 15727e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner consts.insert(C); 15737509ccda930156d44f83b4b40eef077e93313091Nicolas Geoffray for (unsigned j = 0; j < C->getNumOperands(); ++j) { 15747509ccda930156d44f83b4b40eef077e93313091Nicolas Geoffray // If the operand references a GVal or Constant, make a note of it 15757509ccda930156d44f83b4b40eef077e93313091Nicolas Geoffray Value* operand = C->getOperand(j); 15767509ccda930156d44f83b4b40eef077e93313091Nicolas Geoffray printType(operand->getType()); 15777509ccda930156d44f83b4b40eef077e93313091Nicolas Geoffray if (GlobalValue* GV = dyn_cast<GlobalValue>(operand)) { 15787509ccda930156d44f83b4b40eef077e93313091Nicolas Geoffray gvs.insert(GV); 15797509ccda930156d44f83b4b40eef077e93313091Nicolas Geoffray if (GenerationType != GenFunction) 15807509ccda930156d44f83b4b40eef077e93313091Nicolas Geoffray if (GlobalVariable *GVar = dyn_cast<GlobalVariable>(GV)) 15817509ccda930156d44f83b4b40eef077e93313091Nicolas Geoffray if (GVar->hasInitializer()) 15827509ccda930156d44f83b4b40eef077e93313091Nicolas Geoffray consts.insert(GVar->getInitializer()); 15837509ccda930156d44f83b4b40eef077e93313091Nicolas Geoffray } 15847509ccda930156d44f83b4b40eef077e93313091Nicolas Geoffray } 15857509ccda930156d44f83b4b40eef077e93313091Nicolas Geoffray } 15865027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov } 15875027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov } 15887e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } 15895027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov 15907e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // Print the function declarations for any functions encountered 15917e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out) << "// Function Declarations"; nl(Out); 15927e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner for (SmallPtrSet<GlobalValue*,64>::iterator I = gvs.begin(), E = gvs.end(); 15937e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner I != E; ++I) { 15947e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (Function* Fun = dyn_cast<Function>(*I)) { 15957e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (!is_inline || Fun != F) 15967e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printFunctionHead(Fun); 15975027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov } 15987e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } 15995027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov 16007e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // Print the global variable declarations for any variables encountered 16017e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out) << "// Global Variable Declarations"; nl(Out); 16027e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner for (SmallPtrSet<GlobalValue*,64>::iterator I = gvs.begin(), E = gvs.end(); 16037e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner I != E; ++I) { 16047e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (GlobalVariable* F = dyn_cast<GlobalVariable>(*I)) 16057e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printVariableHead(F); 16067e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } 16075027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov 16087509ccda930156d44f83b4b40eef077e93313091Nicolas Geoffray // Print the constants found 16097e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out) << "// Constant Definitions"; nl(Out); 16107e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner for (SmallPtrSet<Constant*,64>::iterator I = consts.begin(), 16117e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner E = consts.end(); I != E; ++I) { 16127e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printConstant(*I); 16137e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } 16145027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov 16157e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // Process the global variables definitions now that all the constants have 16167e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // been emitted. These definitions just couple the gvars with their constant 16177e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // initializers. 16187509ccda930156d44f83b4b40eef077e93313091Nicolas Geoffray if (GenerationType != GenFunction) { 16197509ccda930156d44f83b4b40eef077e93313091Nicolas Geoffray nl(Out) << "// Global Variable Definitions"; nl(Out); 16207509ccda930156d44f83b4b40eef077e93313091Nicolas Geoffray for (SmallPtrSet<GlobalValue*,64>::iterator I = gvs.begin(), E = gvs.end(); 16217509ccda930156d44f83b4b40eef077e93313091Nicolas Geoffray I != E; ++I) { 16227509ccda930156d44f83b4b40eef077e93313091Nicolas Geoffray if (GlobalVariable* GV = dyn_cast<GlobalVariable>(*I)) 16237509ccda930156d44f83b4b40eef077e93313091Nicolas Geoffray printVariableBody(GV); 16247509ccda930156d44f83b4b40eef077e93313091Nicolas Geoffray } 16255027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov } 16267e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner} 16275027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov 16287e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattnervoid CppWriter::printFunctionHead(const Function* F) { 16297e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out) << "Function* " << getCppName(F); 16307e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (is_inline) { 16317e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << " = mod->getFunction(\""; 16325027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov printEscapedString(F->getName()); 16337e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "\", " << getCppName(F->getFunctionType()) << ");"; 16347e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out) << "if (!" << getCppName(F) << ") {"; 16357e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out) << getCppName(F); 16367e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } 16377e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out<< " = Function::Create("; 16387e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out,1) << "/*Type=*/" << getCppName(F->getFunctionType()) << ","; 16397e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out) << "/*Linkage=*/"; 16407e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printLinkageType(F->getLinkage()); 16417e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << ","; 16427e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out) << "/*Name=*/\""; 16437e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printEscapedString(F->getName()); 16447e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "\", mod); " << (F->isDeclaration()? "// (external, no body)" : ""); 16457e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out,-1); 16467e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printCppName(F); 16477e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "->setCallingConv("; 16487e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printCallingConv(F->getCallingConv()); 16497e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << ");"; 16507e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out); 16517e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (F->hasSection()) { 16527e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printCppName(F); 16537e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "->setSection(\"" << F->getSection() << "\");"; 16547e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out); 16557e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } 16567e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (F->getAlignment()) { 16577e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printCppName(F); 16587e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "->setAlignment(" << F->getAlignment() << ");"; 16597e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out); 16607e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } 16617e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (F->getVisibility() != GlobalValue::DefaultVisibility) { 16625027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov printCppName(F); 16637e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "->setVisibility("; 16647e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printVisibilityType(F->getVisibility()); 16655027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov Out << ");"; 16665027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov nl(Out); 16677e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } 16687e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (F->hasGC()) { 16695027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov printCppName(F); 16707e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "->setGC(\"" << F->getGC() << "\");"; 16715027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov nl(Out); 16725027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov } 16737e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (is_inline) { 16747e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "}"; 16757e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out); 16767e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } 16777e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printAttributes(F->getAttributes(), getCppName(F)); 16787e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printCppName(F); 16797e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "->setAttributes(" << getCppName(F) << "_PAL);"; 16807e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out); 16817e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner} 16825027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov 16837e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattnervoid CppWriter::printFunctionBody(const Function *F) { 16847e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (F->isDeclaration()) 16857e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner return; // external functions have no bodies. 16865027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov 16877e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // Clear the DefinedValues and ForwardRefs maps because we can't have 16887e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // cross-function forward refs 16897e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner ForwardRefs.clear(); 16907e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner DefinedValues.clear(); 16915027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov 16927e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // Create all the argument values 16937e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (!is_inline) { 16947e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (!F->arg_empty()) { 16957e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "Function::arg_iterator args = " << getCppName(F) 16967e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << "->arg_begin();"; 16975027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov nl(Out); 16985027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov } 16997e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner for (Function::const_arg_iterator AI = F->arg_begin(), AE = F->arg_end(); 17007e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner AI != AE; ++AI) { 17017e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "Value* " << getCppName(AI) << " = args++;"; 17025027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov nl(Out); 17037e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (AI->hasName()) { 17047e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << getCppName(AI) << "->setName(\"" << AI->getName() << "\");"; 17057e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out); 17065027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov } 17075027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov } 17087e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } 17095027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov 17107e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // Create all the basic blocks 17117e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out); 17127e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner for (Function::const_iterator BI = F->begin(), BE = F->end(); 17137e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner BI != BE; ++BI) { 17147e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner std::string bbname(getCppName(BI)); 17157e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "BasicBlock* " << bbname << 17167e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner " = BasicBlock::Create(mod->getContext(), \""; 17177e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (BI->hasName()) 17187e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printEscapedString(BI->getName()); 17197e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "\"," << getCppName(BI->getParent()) << ",0);"; 17207e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out); 17217e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } 17225027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov 17237e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // Output all of its basic blocks... for the function 17247e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner for (Function::const_iterator BI = F->begin(), BE = F->end(); 17257e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner BI != BE; ++BI) { 17267e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner std::string bbname(getCppName(BI)); 17277e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out) << "// Block " << BI->getName() << " (" << bbname << ")"; 17287e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out); 17297e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner 17307e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // Output all of the instructions in the basic block... 17317e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner for (BasicBlock::const_iterator I = BI->begin(), E = BI->end(); 17327e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner I != E; ++I) { 17337e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printInstruction(I,bbname); 17345027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov } 17355027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov } 17365027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov 17377e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // Loop over the ForwardRefs and resolve them now that all instructions 17387e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // are generated. 17397e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (!ForwardRefs.empty()) { 17407e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out) << "// Resolve Forward References"; 17415027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov nl(Out); 17427e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } 17437e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner 17447e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner while (!ForwardRefs.empty()) { 17457e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner ForwardRefMap::iterator I = ForwardRefs.begin(); 17467e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << I->second << "->replaceAllUsesWith(" 17477e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << getCppName(I->first) << "); delete " << I->second << ";"; 17485027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov nl(Out); 17497e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner ForwardRefs.erase(I); 17505027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov } 17517e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner} 17525027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov 17537e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattnervoid CppWriter::printInline(const std::string& fname, 17547e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner const std::string& func) { 17557e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner const Function* F = TheModule->getFunction(func); 17567e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (!F) { 17577e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner error(std::string("Function '") + func + "' not found in input module"); 17587e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner return; 17597e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } 17607e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (F->isDeclaration()) { 17617e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner error(std::string("Function '") + func + "' is external!"); 17627e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner return; 17637e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } 17647e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out) << "BasicBlock* " << fname << "(Module* mod, Function *" 17657e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << getCppName(F); 17667e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner unsigned arg_count = 1; 17677e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner for (Function::const_arg_iterator AI = F->arg_begin(), AE = F->arg_end(); 17687e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner AI != AE; ++AI) { 17697e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << ", Value* arg_" << arg_count; 17707e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } 17717e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << ") {"; 17727e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out); 17737e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner is_inline = true; 17747e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printFunctionUses(F); 17757e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printFunctionBody(F); 17767e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner is_inline = false; 17777e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "return " << getCppName(F->begin()) << ";"; 17787e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out) << "}"; 17797e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out); 17807e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner} 17815027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov 17827e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattnervoid CppWriter::printModuleBody() { 17837e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // Print out all the type definitions 17847e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out) << "// Type Definitions"; nl(Out); 17857e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printTypes(TheModule); 17867e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner 17877e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // Functions can call each other and global variables can reference them so 17887e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // define all the functions first before emitting their function bodies. 17897e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out) << "// Function Declarations"; nl(Out); 17907e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner for (Module::const_iterator I = TheModule->begin(), E = TheModule->end(); 17917e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner I != E; ++I) 17927e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printFunctionHead(I); 17937e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner 17947e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // Process the global variables declarations. We can't initialze them until 17957e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // after the constants are printed so just print a header for each global 17967e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out) << "// Global Variable Declarations\n"; nl(Out); 17977e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner for (Module::const_global_iterator I = TheModule->global_begin(), 17987e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner E = TheModule->global_end(); I != E; ++I) { 17997e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printVariableHead(I); 18007e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } 18015027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov 18027e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // Print out all the constants definitions. Constants don't recurse except 18037e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // through GlobalValues. All GlobalValues have been declared at this point 18047e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // so we can proceed to generate the constants. 18057e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out) << "// Constant Definitions"; nl(Out); 18067e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printConstants(TheModule); 18077e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner 18087e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // Process the global variables definitions now that all the constants have 18097e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // been emitted. These definitions just couple the gvars with their constant 18107e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // initializers. 18117e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out) << "// Global Variable Definitions"; nl(Out); 18127e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner for (Module::const_global_iterator I = TheModule->global_begin(), 18137e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner E = TheModule->global_end(); I != E; ++I) { 18147e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printVariableBody(I); 18155027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov } 18165027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov 18177e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // Finally, we can safely put out all of the function bodies. 18187e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out) << "// Function Definitions"; nl(Out); 18197e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner for (Module::const_iterator I = TheModule->begin(), E = TheModule->end(); 18207e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner I != E; ++I) { 18217e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (!I->isDeclaration()) { 18227e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out) << "// Function: " << I->getName() << " (" << getCppName(I) 18237e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << ")"; 18247e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out) << "{"; 18257e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out,1); 18267e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printFunctionBody(I); 18277e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out,-1) << "}"; 18287e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out); 18295027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov } 18307e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } 18317e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner} 18325027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov 18337e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattnervoid CppWriter::printProgram(const std::string& fname, 18347e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner const std::string& mName) { 18357e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "#include <llvm/LLVMContext.h>\n"; 18367e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "#include <llvm/Module.h>\n"; 18377e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "#include <llvm/DerivedTypes.h>\n"; 18387e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "#include <llvm/Constants.h>\n"; 18397e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "#include <llvm/GlobalVariable.h>\n"; 18407e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "#include <llvm/Function.h>\n"; 18417e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "#include <llvm/CallingConv.h>\n"; 18427e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "#include <llvm/BasicBlock.h>\n"; 18437e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "#include <llvm/Instructions.h>\n"; 18447e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "#include <llvm/InlineAsm.h>\n"; 18457e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "#include <llvm/Support/FormattedStream.h>\n"; 18467e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "#include <llvm/Support/MathExtras.h>\n"; 18477e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "#include <llvm/Pass.h>\n"; 18487e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "#include <llvm/PassManager.h>\n"; 18497e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "#include <llvm/ADT/SmallVector.h>\n"; 18507e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "#include <llvm/Analysis/Verifier.h>\n"; 18517e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "#include <llvm/Assembly/PrintModulePass.h>\n"; 18527e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "#include <algorithm>\n"; 18537e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "using namespace llvm;\n\n"; 18547e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "Module* " << fname << "();\n\n"; 18557e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "int main(int argc, char**argv) {\n"; 18567e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << " Module* Mod = " << fname << "();\n"; 18577e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << " verifyModule(*Mod, PrintMessageAction);\n"; 18587e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << " PassManager PM;\n"; 18597e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << " PM.add(createPrintModulePass(&outs()));\n"; 18607e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << " PM.run(*Mod);\n"; 18617e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << " return 0;\n"; 18627e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "}\n\n"; 18637e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printModule(fname,mName); 18647e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner} 18655027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov 18667e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattnervoid CppWriter::printModule(const std::string& fname, 18677e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner const std::string& mName) { 18687e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out) << "Module* " << fname << "() {"; 18697e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out,1) << "// Module Construction"; 18707e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out) << "Module* mod = new Module(\""; 18717e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printEscapedString(mName); 18727e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "\", getGlobalContext());"; 18737e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (!TheModule->getTargetTriple().empty()) { 18747e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out) << "mod->setDataLayout(\"" << TheModule->getDataLayout() << "\");"; 18757e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } 18767e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (!TheModule->getTargetTriple().empty()) { 18777e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out) << "mod->setTargetTriple(\"" << TheModule->getTargetTriple() 18787e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << "\");"; 18797e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } 18807e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner 18817e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (!TheModule->getModuleInlineAsm().empty()) { 18827e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out) << "mod->setModuleInlineAsm(\""; 18837e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printEscapedString(TheModule->getModuleInlineAsm()); 18847e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "\");"; 18857e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } 18867e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out); 18877e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner 18887e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // Loop over the dependent libraries and emit them. 18897e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Module::lib_iterator LI = TheModule->lib_begin(); 18907e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Module::lib_iterator LE = TheModule->lib_end(); 18917e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner while (LI != LE) { 18927e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "mod->addLibrary(\"" << *LI << "\");"; 18935027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov nl(Out); 18947e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner ++LI; 18955027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov } 18967e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printModuleBody(); 18977e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out) << "return mod;"; 18987e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out,-1) << "}"; 18997e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out); 19007e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner} 19017e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner 19027e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattnervoid CppWriter::printContents(const std::string& fname, 19037e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner const std::string& mName) { 19047e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "\nModule* " << fname << "(Module *mod) {\n"; 19057e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "\nmod->setModuleIdentifier(\""; 19067e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printEscapedString(mName); 19077e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "\");\n"; 19087e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printModuleBody(); 19097e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "\nreturn mod;\n"; 19107e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "\n}\n"; 19117e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner} 19125027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov 19137e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattnervoid CppWriter::printFunction(const std::string& fname, 19147e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner const std::string& funcName) { 19157e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner const Function* F = TheModule->getFunction(funcName); 19167e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (!F) { 19177e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner error(std::string("Function '") + funcName + "' not found in input module"); 19187e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner return; 19195027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov } 19207e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "\nFunction* " << fname << "(Module *mod) {\n"; 19217e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printFunctionUses(F); 19227e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printFunctionHead(F); 19237e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printFunctionBody(F); 19247e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "return " << getCppName(F) << ";\n"; 19257e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "}\n"; 19267e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner} 19275027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov 19287e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattnervoid CppWriter::printFunctions() { 19297e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner const Module::FunctionListType &funcs = TheModule->getFunctionList(); 19307e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Module::const_iterator I = funcs.begin(); 19317e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Module::const_iterator IE = funcs.end(); 19327e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner 19337e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner for (; I != IE; ++I) { 19347e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner const Function &func = *I; 19357e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (!func.isDeclaration()) { 19367e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner std::string name("define_"); 19377e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner name += func.getName(); 19387e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printFunction(name, func.getName()); 19395027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov } 19405027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov } 19417e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner} 19425027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov 19437e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattnervoid CppWriter::printVariable(const std::string& fname, 19447e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner const std::string& varName) { 19457e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner const GlobalVariable* GV = TheModule->getNamedGlobal(varName); 19465027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov 19477e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (!GV) { 19487e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner error(std::string("Variable '") + varName + "' not found in input module"); 19497e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner return; 19507e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } 19517e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "\nGlobalVariable* " << fname << "(Module *mod) {\n"; 19527e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printVariableUses(GV); 19537e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printVariableHead(GV); 19547e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printVariableBody(GV); 19557e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "return " << getCppName(GV) << ";\n"; 19567e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "}\n"; 19577e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner} 19585027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov 19597e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattnervoid CppWriter::printType(const std::string& fname, 19607e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner const std::string& typeName) { 19617e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner const Type* Ty = TheModule->getTypeByName(typeName); 19627e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (!Ty) { 19637e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner error(std::string("Type '") + typeName + "' not found in input module"); 19647e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner return; 19655027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov } 19667e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "\nType* " << fname << "(Module *mod) {\n"; 19677e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printType(Ty); 19687e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "return " << getCppName(Ty) << ";\n"; 19697e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "}\n"; 19707e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner} 19717e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner 19727e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattnerbool CppWriter::runOnModule(Module &M) { 19737e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner TheModule = &M; 19747e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner 19757e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // Emit a header 19767e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "// Generated by llvm2cpp - DO NOT MODIFY!\n\n"; 19777e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner 19787e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // Get the name of the function we're supposed to generate 19797e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner std::string fname = FuncName.getValue(); 19807e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner 19817e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // Get the name of the thing we are to generate 19827e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner std::string tgtname = NameToGenerate.getValue(); 19837e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (GenerationType == GenModule || 19847e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner GenerationType == GenContents || 19857e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner GenerationType == GenProgram || 19867e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner GenerationType == GenFunctions) { 19877e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (tgtname == "!bad!") { 19887e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (M.getModuleIdentifier() == "-") 19897e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner tgtname = "<stdin>"; 19907e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner else 19917e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner tgtname = M.getModuleIdentifier(); 19927e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } 19937e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } else if (tgtname == "!bad!") 19947e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner error("You must use the -for option with -gen-{function,variable,type}"); 19957e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner 19967e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner switch (WhatToGenerate(GenerationType)) { 19977e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case GenProgram: 19987e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (fname.empty()) 19997e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner fname = "makeLLVMModule"; 20007e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printProgram(fname,tgtname); 20017e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner break; 20027e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case GenModule: 20037e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (fname.empty()) 20047e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner fname = "makeLLVMModule"; 20057e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printModule(fname,tgtname); 20067e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner break; 20077e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case GenContents: 20087e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (fname.empty()) 20097e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner fname = "makeLLVMModuleContents"; 20107e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printContents(fname,tgtname); 20117e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner break; 20127e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case GenFunction: 20137e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (fname.empty()) 20147e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner fname = "makeLLVMFunction"; 20157e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printFunction(fname,tgtname); 20167e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner break; 20177e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case GenFunctions: 20187e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printFunctions(); 20197e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner break; 20207e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case GenInline: 20217e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (fname.empty()) 20227e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner fname = "makeLLVMInline"; 20237e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printInline(fname,tgtname); 20247e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner break; 20257e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case GenVariable: 20267e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (fname.empty()) 20277e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner fname = "makeLLVMVariable"; 20287e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printVariable(fname,tgtname); 20297e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner break; 20307e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case GenType: 20317e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (fname.empty()) 20327e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner fname = "makeLLVMType"; 20337e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printType(fname,tgtname); 20347e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner break; 20357e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner default: 20367e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner error("Invalid generation option"); 20377e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } 20387e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner 20397e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner return false; 20405027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov} 20415027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov 20425027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikovchar CppWriter::ID = 0; 20435027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov 20445027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov//===----------------------------------------------------------------------===// 20455027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov// External Interface declaration 20465027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov//===----------------------------------------------------------------------===// 20475027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov 204899dca4fde746eb76253e737cca166261c767412dDan Gohmanbool CPPTargetMachine::addPassesToEmitFile(PassManagerBase &PM, 204999dca4fde746eb76253e737cca166261c767412dDan Gohman formatted_raw_ostream &o, 205099dca4fde746eb76253e737cca166261c767412dDan Gohman CodeGenFileType FileType, 205199dca4fde746eb76253e737cca166261c767412dDan Gohman CodeGenOpt::Level OptLevel, 205299dca4fde746eb76253e737cca166261c767412dDan Gohman bool DisableVerify) { 2053211edae4843f5c2ee9c376e88e4cf0ecc8745f03Chris Lattner if (FileType != TargetMachine::CGFT_AssemblyFile) return true; 20545027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov PM.add(new CppWriter(o)); 20555027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov return false; 20565027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov} 2057