CPPBackend.cpp revision 5b7cc334c8803284df7cf3aaee378b78f775b6ef
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" 251abf2cb59b8d63415780a03329307c0997b2670cEvan Cheng#include "llvm/MC/MCAsmInfo.h" 2659ee62d2418df8db499eca1ae17f5900dc2dcbbaEvan Cheng#include "llvm/MC/MCInstrInfo.h" 27ffc0e73046f737d75e0a62b3a83ef19bcef111e3Evan Cheng#include "llvm/MC/MCSubtargetInfo.h" 285027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov#include "llvm/ADT/SmallPtrSet.h" 295027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov#include "llvm/Support/CommandLine.h" 303046470919e648ff7c011bda9c094163062c83dcTorok Edwin#include "llvm/Support/ErrorHandling.h" 3171847813bc419f7a0667468136a07429c6d9f164David Greene#include "llvm/Support/FormattedStream.h" 323e74d6fdd248e20a280f1dff3da9a6c689c2c4c3Evan Cheng#include "llvm/Support/TargetRegistry.h" 3323132b188ba651ba172380cd082cc286df73d440Chris Lattner#include "llvm/ADT/StringExtras.h" 345027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov#include "llvm/Config/config.h" 355027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov#include <algorithm> 365027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov#include <set> 371afcace3a3a138b1b18e5c6270caa8dae2261ae2Chris Lattner#include <map> 385027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikovusing namespace llvm; 395027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov 405027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikovstatic cl::opt<std::string> 418d3e74ed49a11cd787d281a4a7afaf0f829c3fcbAnton KorobeynikovFuncName("cppfname", cl::desc("Specify the name of the generated function"), 425027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov cl::value_desc("function name")); 435027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov 445027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikovenum WhatToGenerate { 455027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov GenProgram, 465027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov GenModule, 475027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov GenContents, 485027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov GenFunction, 495027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov GenFunctions, 505027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov GenInline, 515027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov GenVariable, 525027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov GenType 535027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov}; 545027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov 558d3e74ed49a11cd787d281a4a7afaf0f829c3fcbAnton Korobeynikovstatic cl::opt<WhatToGenerate> GenerationType("cppgen", cl::Optional, 565027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov cl::desc("Choose what kind of output to generate"), 575027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov cl::init(GenProgram), 585027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov cl::values( 598d3e74ed49a11cd787d281a4a7afaf0f829c3fcbAnton Korobeynikov clEnumValN(GenProgram, "program", "Generate a complete program"), 608d3e74ed49a11cd787d281a4a7afaf0f829c3fcbAnton Korobeynikov clEnumValN(GenModule, "module", "Generate a module definition"), 618d3e74ed49a11cd787d281a4a7afaf0f829c3fcbAnton Korobeynikov clEnumValN(GenContents, "contents", "Generate contents of a module"), 628d3e74ed49a11cd787d281a4a7afaf0f829c3fcbAnton Korobeynikov clEnumValN(GenFunction, "function", "Generate a function definition"), 638d3e74ed49a11cd787d281a4a7afaf0f829c3fcbAnton Korobeynikov clEnumValN(GenFunctions,"functions", "Generate all function definitions"), 648d3e74ed49a11cd787d281a4a7afaf0f829c3fcbAnton Korobeynikov clEnumValN(GenInline, "inline", "Generate an inline function"), 658d3e74ed49a11cd787d281a4a7afaf0f829c3fcbAnton Korobeynikov clEnumValN(GenVariable, "variable", "Generate a variable definition"), 668d3e74ed49a11cd787d281a4a7afaf0f829c3fcbAnton Korobeynikov clEnumValN(GenType, "type", "Generate a type definition"), 675027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov clEnumValEnd 685027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov ) 695027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov); 705027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov 718d3e74ed49a11cd787d281a4a7afaf0f829c3fcbAnton Korobeynikovstatic cl::opt<std::string> NameToGenerate("cppfor", cl::Optional, 725027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov cl::desc("Specify the name of the thing to generate"), 735027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov cl::init("!bad!")); 745027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov 750c795d61878156817cedbac51ec2921f2634c1a5Daniel Dunbarextern "C" void LLVMInitializeCppBackendTarget() { 760c795d61878156817cedbac51ec2921f2634c1a5Daniel Dunbar // Register the target. 77214e22396fe86aa20c587d5c7df9ce63bfd4549eDaniel Dunbar RegisterTargetMachine<CPPTargetMachine> X(TheCppBackendTarget); 78ffc0e73046f737d75e0a62b3a83ef19bcef111e3Evan Cheng} 79ffc0e73046f737d75e0a62b3a83ef19bcef111e3Evan Cheng 80844731a7f1909f55935e3514c9e713a62d67662eDan Gohmannamespace { 81db125cfaf57cc83e7dd7453de2d509bc8efd0e5eChris Lattner typedef std::vector<Type*> TypeList; 82db125cfaf57cc83e7dd7453de2d509bc8efd0e5eChris Lattner typedef std::map<Type*,std::string> TypeMap; 835027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov typedef std::map<const Value*,std::string> ValueMap; 845027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov typedef std::set<std::string> NameSet; 85db125cfaf57cc83e7dd7453de2d509bc8efd0e5eChris Lattner typedef std::set<Type*> TypeSet; 865027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov typedef std::set<const Value*> ValueSet; 875027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov typedef std::map<const Value*,std::string> ForwardRefMap; 885027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov 895027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov /// CppWriter - This class is the main chunk of code that converts an LLVM 905027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov /// module to a C++ translation unit. 915027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov class CppWriter : public ModulePass { 9271847813bc419f7a0667468136a07429c6d9f164David Greene formatted_raw_ostream &Out; 935027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov const Module *TheModule; 945027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov uint64_t uniqueNum; 955027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov TypeMap TypeNames; 965027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov ValueMap ValueNames; 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 136db125cfaf57cc83e7dd7453de2d509bc8efd0e5eChris Lattner std::string getCppName(Type* val); 137db125cfaf57cc83e7dd7453de2d509bc8efd0e5eChris Lattner inline void printCppName(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); 143db125cfaf57cc83e7dd7453de2d509bc8efd0e5eChris Lattner void printType(Type* Ty); 1445027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov void printTypes(const Module* M); 1455027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov 1465027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov void printConstant(const Constant *CPV); 1475027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov void printConstants(const Module* M); 1485027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov 1495027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov void printVariableUses(const GlobalVariable *GV); 1505027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov void printVariableHead(const GlobalVariable *GV); 1515027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov void printVariableBody(const GlobalVariable *GV); 1525027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov 1535027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov void printFunctionUses(const Function *F); 1545027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov void printFunctionHead(const Function *F); 1555027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov void printFunctionBody(const Function *F); 1565027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov void printInstruction(const Instruction *I, const std::string& bbname); 157bb5a7442e362776621112dc9453e546a55878e79Eli Friedman std::string getOpName(const Value*); 1585027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov 1595027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov void printModuleBody(); 1605027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov }; 1617e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner} // end anonymous namespace. 1627e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner 1631018c24c1357f76d350dc42957108362bd3b830cChris Lattnerformatted_raw_ostream &CppWriter::nl(formatted_raw_ostream &Out, int delta) { 1641018c24c1357f76d350dc42957108362bd3b830cChris Lattner Out << '\n'; 1657e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (delta >= 0 || indent_level >= unsigned(-delta)) 1667e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner indent_level += delta; 1671018c24c1357f76d350dc42957108362bd3b830cChris Lattner Out.indent(indent_level); 1687e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner return Out; 1697e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner} 1705027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov 1717e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattnerstatic inline void sanitize(std::string &str) { 1727e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner for (size_t i = 0; i < str.length(); ++i) 1737e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (!isalnum(str[i]) && str[i] != '_') 1747e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner str[i] = '_'; 1757e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner} 1765027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov 177db125cfaf57cc83e7dd7453de2d509bc8efd0e5eChris Lattnerstatic std::string getTypePrefix(Type *Ty) { 1787e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner switch (Ty->getTypeID()) { 1797e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Type::VoidTyID: return "void_"; 1807e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Type::IntegerTyID: 1817e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner return "int" + utostr(cast<IntegerType>(Ty)->getBitWidth()) + "_"; 1827e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Type::FloatTyID: return "float_"; 1837e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Type::DoubleTyID: return "double_"; 1847e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Type::LabelTyID: return "label_"; 1857e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Type::FunctionTyID: return "func_"; 1867e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Type::StructTyID: return "struct_"; 1877e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Type::ArrayTyID: return "array_"; 1887e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Type::PointerTyID: return "ptr_"; 1897e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Type::VectorTyID: return "packed_"; 1907e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner default: return "other_"; 1915027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov } 1927e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner return "unknown_"; 1937e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner} 1945027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov 1957e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattnervoid CppWriter::error(const std::string& msg) { 1967e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner report_fatal_error(msg); 1977e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner} 1987e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner 1997e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner// printCFP - Print a floating point constant .. very carefully :) 2007e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner// This makes sure that conversion to/from floating yields the same binary 2017e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner// result so that we don't lose precision. 2027e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattnervoid CppWriter::printCFP(const ConstantFP *CFP) { 2037e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner bool ignored; 2047e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner APFloat APF = APFloat(CFP->getValueAPF()); // copy 2057e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (CFP->getType() == Type::getFloatTy(CFP->getContext())) 2067e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner APF.convert(APFloat::IEEEdouble, APFloat::rmNearestTiesToEven, &ignored); 2077e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "ConstantFP::get(mod->getContext(), "; 2087e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "APFloat("; 2095027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov#if HAVE_PRINTF_A 2107e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner char Buffer[100]; 2117e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner sprintf(Buffer, "%A", APF.convertToDouble()); 2127e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if ((!strncmp(Buffer, "0x", 2) || 2137e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner !strncmp(Buffer, "-0x", 3) || 2147e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner !strncmp(Buffer, "+0x", 3)) && 2157e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner APF.bitwiseIsEqual(APFloat(atof(Buffer)))) { 2167e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (CFP->getType() == Type::getDoubleTy(CFP->getContext())) 2177e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "BitsToDouble(" << Buffer << ")"; 2187e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner else 2197e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "BitsToFloat((float)" << Buffer << ")"; 2207e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << ")"; 2217e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } else { 2225027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov#endif 2237e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner std::string StrVal = ftostr(CFP->getValueAPF()); 2247e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner 2257e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner while (StrVal[0] == ' ') 2267e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner StrVal.erase(StrVal.begin()); 2277e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner 2287e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // Check to make sure that the stringized number is not some string like 2297e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // "Inf" or NaN. Check that the string matches the "[-+]?[0-9]" regex. 2307e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (((StrVal[0] >= '0' && StrVal[0] <= '9') || 2317e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner ((StrVal[0] == '-' || StrVal[0] == '+') && 2327e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner (StrVal[1] >= '0' && StrVal[1] <= '9'))) && 2337e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner (CFP->isExactlyValue(atof(StrVal.c_str())))) { 2347e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (CFP->getType() == Type::getDoubleTy(CFP->getContext())) 2357e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << StrVal; 2365027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov else 2377e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << StrVal << "f"; 2387e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } else if (CFP->getType() == Type::getDoubleTy(CFP->getContext())) 2397e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "BitsToDouble(0x" 2407e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << utohexstr(CFP->getValueAPF().bitcastToAPInt().getZExtValue()) 2417e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << "ULL) /* " << StrVal << " */"; 2427e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner else 2437e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "BitsToFloat(0x" 2447e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << utohexstr((uint32_t)CFP->getValueAPF(). 2457e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner bitcastToAPInt().getZExtValue()) 2467e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << "U) /* " << StrVal << " */"; 2477e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << ")"; 2485027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov#if HAVE_PRINTF_A 2497e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } 2505027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov#endif 2517e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << ")"; 2527e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner} 2537e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner 2547e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattnervoid CppWriter::printCallingConv(CallingConv::ID cc){ 2557e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // Print the calling convention. 2567e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner switch (cc) { 2577e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case CallingConv::C: Out << "CallingConv::C"; break; 2587e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case CallingConv::Fast: Out << "CallingConv::Fast"; break; 2597e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case CallingConv::Cold: Out << "CallingConv::Cold"; break; 2607e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case CallingConv::FirstTargetCC: Out << "CallingConv::FirstTargetCC"; break; 2617e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner default: Out << cc; break; 2625027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov } 2637e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner} 2645027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov 2657e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattnervoid CppWriter::printLinkageType(GlobalValue::LinkageTypes LT) { 2667e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner switch (LT) { 2677e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case GlobalValue::InternalLinkage: 2687e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "GlobalValue::InternalLinkage"; break; 2697e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case GlobalValue::PrivateLinkage: 2707e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "GlobalValue::PrivateLinkage"; break; 2717e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case GlobalValue::LinkerPrivateLinkage: 2727e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "GlobalValue::LinkerPrivateLinkage"; break; 2735e721d768254a920b78b9129d79a84c0163cb3f4Bill Wendling case GlobalValue::LinkerPrivateWeakLinkage: 2745e721d768254a920b78b9129d79a84c0163cb3f4Bill Wendling Out << "GlobalValue::LinkerPrivateWeakLinkage"; break; 27555ae515f9db484125a23429d4906c5edaf9f10d2Bill Wendling case GlobalValue::LinkerPrivateWeakDefAutoLinkage: 27655ae515f9db484125a23429d4906c5edaf9f10d2Bill Wendling Out << "GlobalValue::LinkerPrivateWeakDefAutoLinkage"; break; 2777e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case GlobalValue::AvailableExternallyLinkage: 2787e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "GlobalValue::AvailableExternallyLinkage "; break; 2797e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case GlobalValue::LinkOnceAnyLinkage: 2807e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "GlobalValue::LinkOnceAnyLinkage "; break; 2817e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case GlobalValue::LinkOnceODRLinkage: 2827e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "GlobalValue::LinkOnceODRLinkage "; break; 2837e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case GlobalValue::WeakAnyLinkage: 2847e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "GlobalValue::WeakAnyLinkage"; break; 2857e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case GlobalValue::WeakODRLinkage: 2867e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "GlobalValue::WeakODRLinkage"; break; 2877e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case GlobalValue::AppendingLinkage: 2887e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "GlobalValue::AppendingLinkage"; break; 2897e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case GlobalValue::ExternalLinkage: 2907e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "GlobalValue::ExternalLinkage"; break; 2917e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case GlobalValue::DLLImportLinkage: 2927e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "GlobalValue::DLLImportLinkage"; break; 2937e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case GlobalValue::DLLExportLinkage: 2947e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "GlobalValue::DLLExportLinkage"; break; 2957e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case GlobalValue::ExternalWeakLinkage: 2967e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "GlobalValue::ExternalWeakLinkage"; break; 2977e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case GlobalValue::CommonLinkage: 2987e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "GlobalValue::CommonLinkage"; break; 2995027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov } 3007e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner} 3015027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov 3027e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattnervoid CppWriter::printVisibilityType(GlobalValue::VisibilityTypes VisType) { 3037e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner switch (VisType) { 3047e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner default: llvm_unreachable("Unknown GVar visibility"); 3057e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case GlobalValue::DefaultVisibility: 3067e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "GlobalValue::DefaultVisibility"; 3077e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner break; 3087e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case GlobalValue::HiddenVisibility: 3097e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "GlobalValue::HiddenVisibility"; 3107e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner break; 3117e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case GlobalValue::ProtectedVisibility: 3127e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "GlobalValue::ProtectedVisibility"; 3137e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner break; 3145027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov } 3157e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner} 3165027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov 3177e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner// printEscapedString - Print each character of the specified string, escaping 3187e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner// it if it is not printable or if it is an escape char. 3197e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattnervoid CppWriter::printEscapedString(const std::string &Str) { 3207e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner for (unsigned i = 0, e = Str.size(); i != e; ++i) { 3217e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner unsigned char C = Str[i]; 3227e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (isprint(C) && C != '"' && C != '\\') { 3237e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << C; 3247e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } else { 3257e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "\\x" 3267e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << (char) ((C/16 < 10) ? ( C/16 +'0') : ( C/16 -10+'A')) 3277e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << (char)(((C&15) < 10) ? ((C&15)+'0') : ((C&15)-10+'A')); 3285027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov } 3295027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov } 3307e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner} 3315027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov 332db125cfaf57cc83e7dd7453de2d509bc8efd0e5eChris Lattnerstd::string CppWriter::getCppName(Type* Ty) { 3337e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // First, handle the primitive types .. easy 3347e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (Ty->isPrimitiveType() || Ty->isIntegerTy()) { 3357e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner switch (Ty->getTypeID()) { 3367e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Type::VoidTyID: return "Type::getVoidTy(mod->getContext())"; 3377e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Type::IntegerTyID: { 3387e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner unsigned BitWidth = cast<IntegerType>(Ty)->getBitWidth(); 3397e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner return "IntegerType::get(mod->getContext(), " + utostr(BitWidth) + ")"; 3407e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } 3417e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Type::X86_FP80TyID: return "Type::getX86_FP80Ty(mod->getContext())"; 3427e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Type::FloatTyID: return "Type::getFloatTy(mod->getContext())"; 3437e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Type::DoubleTyID: return "Type::getDoubleTy(mod->getContext())"; 3447e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Type::LabelTyID: return "Type::getLabelTy(mod->getContext())"; 345bb811a244567aa8a1522203f15588f4d001b7353Dale Johannesen case Type::X86_MMXTyID: return "Type::getX86_MMXTy(mod->getContext())"; 3467e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner default: 3477e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner error("Invalid primitive type"); 3487e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner break; 3495027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov } 3507e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // shouldn't be returned, but make it sensible 3517e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner return "Type::getVoidTy(mod->getContext())"; 3525027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov } 3535027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov 3547e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // Now, see if we've seen the type before and return that 3557e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner TypeMap::iterator I = TypeNames.find(Ty); 3567e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (I != TypeNames.end()) 3577e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner return I->second; 3587e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner 3597e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // Okay, let's build a new name for this type. Start with a prefix 3607e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner const char* prefix = 0; 3617e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner switch (Ty->getTypeID()) { 3627e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Type::FunctionTyID: prefix = "FuncTy_"; break; 3637e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Type::StructTyID: prefix = "StructTy_"; break; 3647e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Type::ArrayTyID: prefix = "ArrayTy_"; break; 3657e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Type::PointerTyID: prefix = "PointerTy_"; break; 3667e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Type::VectorTyID: prefix = "VectorTy_"; break; 3677e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner default: prefix = "OtherTy_"; break; // prevent breakage 3687e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } 3695027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov 3707e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // See if the type has a name in the symboltable and build accordingly 3717e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner std::string name; 372db125cfaf57cc83e7dd7453de2d509bc8efd0e5eChris Lattner if (StructType *STy = dyn_cast<StructType>(Ty)) 3731afcace3a3a138b1b18e5c6270caa8dae2261ae2Chris Lattner if (STy->hasName()) 3741afcace3a3a138b1b18e5c6270caa8dae2261ae2Chris Lattner name = STy->getName(); 3751afcace3a3a138b1b18e5c6270caa8dae2261ae2Chris Lattner 3761afcace3a3a138b1b18e5c6270caa8dae2261ae2Chris Lattner if (name.empty()) 3771afcace3a3a138b1b18e5c6270caa8dae2261ae2Chris Lattner name = utostr(uniqueNum++); 3781afcace3a3a138b1b18e5c6270caa8dae2261ae2Chris Lattner 3791afcace3a3a138b1b18e5c6270caa8dae2261ae2Chris Lattner name = std::string(prefix) + name; 3807e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner sanitize(name); 3817e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner 3827e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // Save the name 3837e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner return TypeNames[Ty] = name; 3847e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner} 3855027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov 386db125cfaf57cc83e7dd7453de2d509bc8efd0e5eChris Lattnervoid CppWriter::printCppName(Type* Ty) { 3877e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printEscapedString(getCppName(Ty)); 3887e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner} 3895027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov 3907e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattnerstd::string CppWriter::getCppName(const Value* val) { 3917e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner std::string name; 3927e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner ValueMap::iterator I = ValueNames.find(val); 3937e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (I != ValueNames.end() && I->first == val) 3947e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner return I->second; 3957e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner 3967e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (const GlobalVariable* GV = dyn_cast<GlobalVariable>(val)) { 3977e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner name = std::string("gvar_") + 3987e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner getTypePrefix(GV->getType()->getElementType()); 3997e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } else if (isa<Function>(val)) { 4007e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner name = std::string("func_"); 4017e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } else if (const Constant* C = dyn_cast<Constant>(val)) { 4027e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner name = std::string("const_") + getTypePrefix(C->getType()); 4037e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } else if (const Argument* Arg = dyn_cast<Argument>(val)) { 4047e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (is_inline) { 4057e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner unsigned argNum = std::distance(Arg->getParent()->arg_begin(), 4067e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Function::const_arg_iterator(Arg)) + 1; 4077e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner name = std::string("arg_") + utostr(argNum); 4087e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner NameSet::iterator NI = UsedNames.find(name); 4097e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (NI != UsedNames.end()) 4107e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner name += std::string("_") + utostr(uniqueNum++); 4117e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner UsedNames.insert(name); 4127e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner return ValueNames[val] = name; 4135027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov } else { 4145027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov name = getTypePrefix(val->getType()); 4155027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov } 4167e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } else { 4177e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner name = getTypePrefix(val->getType()); 4185027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov } 4197e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (val->hasName()) 4207e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner name += val->getName(); 4217e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner else 4227e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner name += utostr(uniqueNum++); 4237e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner sanitize(name); 4247e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner NameSet::iterator NI = UsedNames.find(name); 4257e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (NI != UsedNames.end()) 4267e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner name += std::string("_") + utostr(uniqueNum++); 4277e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner UsedNames.insert(name); 4287e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner return ValueNames[val] = name; 4297e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner} 4305027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov 4317e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattnervoid CppWriter::printCppName(const Value* val) { 4327e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printEscapedString(getCppName(val)); 4337e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner} 4345027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov 4357e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattnervoid CppWriter::printAttributes(const AttrListPtr &PAL, 4367e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner const std::string &name) { 4377e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "AttrListPtr " << name << "_PAL;"; 4387e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out); 4397e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (!PAL.isEmpty()) { 4407e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << '{'; in(); nl(Out); 4417e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "SmallVector<AttributeWithIndex, 4> Attrs;"; nl(Out); 4427e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "AttributeWithIndex PAWI;"; nl(Out); 4437e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner for (unsigned i = 0; i < PAL.getNumSlots(); ++i) { 4447e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner unsigned index = PAL.getSlot(i).Index; 4457e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Attributes attrs = PAL.getSlot(i).Attrs; 4467e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "PAWI.Index = " << index << "U; PAWI.Attrs = 0 "; 447acca9559f4fdf99de62537592d7d63409229857bChris Lattner#define HANDLE_ATTR(X) \ 4487e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (attrs & Attribute::X) \ 4497e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << " | Attribute::" #X; \ 4507e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner attrs &= ~Attribute::X; 4517e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner 4527e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner HANDLE_ATTR(SExt); 4537e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner HANDLE_ATTR(ZExt); 4547e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner HANDLE_ATTR(NoReturn); 4557e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner HANDLE_ATTR(InReg); 4567e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner HANDLE_ATTR(StructRet); 4577e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner HANDLE_ATTR(NoUnwind); 4587e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner HANDLE_ATTR(NoAlias); 4597e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner HANDLE_ATTR(ByVal); 4607e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner HANDLE_ATTR(Nest); 4617e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner HANDLE_ATTR(ReadNone); 4627e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner HANDLE_ATTR(ReadOnly); 4637e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner HANDLE_ATTR(NoInline); 4647e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner HANDLE_ATTR(AlwaysInline); 4657e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner HANDLE_ATTR(OptimizeForSize); 4667e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner HANDLE_ATTR(StackProtect); 4677e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner HANDLE_ATTR(StackProtectReq); 4687e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner HANDLE_ATTR(NoCapture); 46932bb4dfd19b9816a6380ec7e7fdb879dd28c78f8Eli Friedman HANDLE_ATTR(NoRedZone); 47032bb4dfd19b9816a6380ec7e7fdb879dd28c78f8Eli Friedman HANDLE_ATTR(NoImplicitFloat); 47132bb4dfd19b9816a6380ec7e7fdb879dd28c78f8Eli Friedman HANDLE_ATTR(Naked); 47232bb4dfd19b9816a6380ec7e7fdb879dd28c78f8Eli Friedman HANDLE_ATTR(InlineHint); 47325456ef74ca7ac9bf46451f28d995f785e2596deRafael Espindola HANDLE_ATTR(ReturnsTwice); 47454f1536927bdc3cfd4c3f725411bc1edee2937b6Bill Wendling HANDLE_ATTR(UWTable); 47554f1536927bdc3cfd4c3f725411bc1edee2937b6Bill Wendling HANDLE_ATTR(NonLazyBind); 476acca9559f4fdf99de62537592d7d63409229857bChris Lattner#undef HANDLE_ATTR 47732bb4dfd19b9816a6380ec7e7fdb879dd28c78f8Eli Friedman if (attrs & Attribute::StackAlignment) 47832bb4dfd19b9816a6380ec7e7fdb879dd28c78f8Eli Friedman Out << " | Attribute::constructStackAlignmentFromInt(" 47932bb4dfd19b9816a6380ec7e7fdb879dd28c78f8Eli Friedman << Attribute::getStackAlignmentFromAttrs(attrs) 48032bb4dfd19b9816a6380ec7e7fdb879dd28c78f8Eli Friedman << ")"; 48132bb4dfd19b9816a6380ec7e7fdb879dd28c78f8Eli Friedman attrs &= ~Attribute::StackAlignment; 4827e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner assert(attrs == 0 && "Unhandled attribute!"); 4837e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << ";"; 4847e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out); 4857e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "Attrs.push_back(PAWI);"; 4865027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov nl(Out); 4875027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov } 4887e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << name << "_PAL = AttrListPtr::get(Attrs.begin(), Attrs.end());"; 4897e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out); 4907e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner out(); nl(Out); 4917e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << '}'; nl(Out); 4925027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov } 4937e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner} 4945027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov 495db125cfaf57cc83e7dd7453de2d509bc8efd0e5eChris Lattnervoid CppWriter::printType(Type* Ty) { 4967e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // We don't print definitions for primitive types 4977e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (Ty->isPrimitiveType() || Ty->isIntegerTy()) 4985cf9fcdad197652f178b6038d7880e4f6c5f68b5Nicolas Geoffray return; 4995027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov 5007e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // If we already defined this type, we don't need to define it again. 5017e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (DefinedTypes.find(Ty) != DefinedTypes.end()) 5025cf9fcdad197652f178b6038d7880e4f6c5f68b5Nicolas Geoffray return; 5035027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov 5047e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // Everything below needs the name for the type so get it now. 5057e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner std::string typeName(getCppName(Ty)); 5067e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner 5077e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // Print the type definition 5087e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner switch (Ty->getTypeID()) { 5097e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Type::FunctionTyID: { 510db125cfaf57cc83e7dd7453de2d509bc8efd0e5eChris Lattner FunctionType* FT = cast<FunctionType>(Ty); 5115cf9fcdad197652f178b6038d7880e4f6c5f68b5Nicolas Geoffray Out << "std::vector<Type*>" << typeName << "_args;"; 5127e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out); 5137e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner FunctionType::param_iterator PI = FT->param_begin(); 5147e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner FunctionType::param_iterator PE = FT->param_end(); 5157e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner for (; PI != PE; ++PI) { 516db125cfaf57cc83e7dd7453de2d509bc8efd0e5eChris Lattner Type* argTy = static_cast<Type*>(*PI); 5175cf9fcdad197652f178b6038d7880e4f6c5f68b5Nicolas Geoffray printType(argTy); 5187e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner std::string argName(getCppName(argTy)); 5197e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << typeName << "_args.push_back(" << argName; 5207e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << ");"; 5215027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov nl(Out); 5225027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov } 5235cf9fcdad197652f178b6038d7880e4f6c5f68b5Nicolas Geoffray printType(FT->getReturnType()); 5247e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner std::string retTypeName(getCppName(FT->getReturnType())); 5257e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "FunctionType* " << typeName << " = FunctionType::get("; 5267e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner in(); nl(Out) << "/*Result=*/" << retTypeName; 5277e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << ","; 5287e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out) << "/*Params=*/" << typeName << "_args,"; 5297e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out) << "/*isVarArg=*/" << (FT->isVarArg() ? "true" : "false") << ");"; 5307e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner out(); 5317e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out); 5327e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner break; 5337e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } 5347e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Type::StructTyID: { 535db125cfaf57cc83e7dd7453de2d509bc8efd0e5eChris Lattner StructType* ST = cast<StructType>(Ty); 536c4d0e9fbddfe6b0ee5d5d7ef8eb1b341a8a242cfChris Lattner if (!ST->isLiteral()) { 537f8557957fbdd0f08da3a468daa568b2050745a98Nicolas Geoffray Out << "StructType *" << typeName << " = mod->getTypeByName(\""; 538f8557957fbdd0f08da3a468daa568b2050745a98Nicolas Geoffray printEscapedString(ST->getName()); 539f8557957fbdd0f08da3a468daa568b2050745a98Nicolas Geoffray Out << "\");"; 540f8557957fbdd0f08da3a468daa568b2050745a98Nicolas Geoffray nl(Out); 541f8557957fbdd0f08da3a468daa568b2050745a98Nicolas Geoffray Out << "if (!" << typeName << ") {"; 542f8557957fbdd0f08da3a468daa568b2050745a98Nicolas Geoffray nl(Out); 543f8557957fbdd0f08da3a468daa568b2050745a98Nicolas Geoffray Out << typeName << " = "; 544c4d0e9fbddfe6b0ee5d5d7ef8eb1b341a8a242cfChris Lattner Out << "StructType::create(mod->getContext(), \""; 5455cf9fcdad197652f178b6038d7880e4f6c5f68b5Nicolas Geoffray printEscapedString(ST->getName()); 5465cf9fcdad197652f178b6038d7880e4f6c5f68b5Nicolas Geoffray Out << "\");"; 5475cf9fcdad197652f178b6038d7880e4f6c5f68b5Nicolas Geoffray nl(Out); 548f8557957fbdd0f08da3a468daa568b2050745a98Nicolas Geoffray Out << "}"; 549f8557957fbdd0f08da3a468daa568b2050745a98Nicolas Geoffray nl(Out); 5505cf9fcdad197652f178b6038d7880e4f6c5f68b5Nicolas Geoffray // Indicate that this type is now defined. 5515cf9fcdad197652f178b6038d7880e4f6c5f68b5Nicolas Geoffray DefinedTypes.insert(Ty); 5525cf9fcdad197652f178b6038d7880e4f6c5f68b5Nicolas Geoffray } 5535cf9fcdad197652f178b6038d7880e4f6c5f68b5Nicolas Geoffray 5545cf9fcdad197652f178b6038d7880e4f6c5f68b5Nicolas Geoffray Out << "std::vector<Type*>" << typeName << "_fields;"; 5557e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out); 5567e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner StructType::element_iterator EI = ST->element_begin(); 5577e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner StructType::element_iterator EE = ST->element_end(); 5587e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner for (; EI != EE; ++EI) { 559db125cfaf57cc83e7dd7453de2d509bc8efd0e5eChris Lattner Type* fieldTy = static_cast<Type*>(*EI); 5605cf9fcdad197652f178b6038d7880e4f6c5f68b5Nicolas Geoffray printType(fieldTy); 5617e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner std::string fieldName(getCppName(fieldTy)); 5627e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << typeName << "_fields.push_back(" << fieldName; 5637e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << ");"; 5645027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov nl(Out); 5655027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov } 5665cf9fcdad197652f178b6038d7880e4f6c5f68b5Nicolas Geoffray 567c4d0e9fbddfe6b0ee5d5d7ef8eb1b341a8a242cfChris Lattner if (ST->isLiteral()) { 5685cf9fcdad197652f178b6038d7880e4f6c5f68b5Nicolas Geoffray Out << "StructType *" << typeName << " = "; 5691afcace3a3a138b1b18e5c6270caa8dae2261ae2Chris Lattner Out << "StructType::get(" << "mod->getContext(), "; 5701afcace3a3a138b1b18e5c6270caa8dae2261ae2Chris Lattner } else { 571f8557957fbdd0f08da3a468daa568b2050745a98Nicolas Geoffray Out << "if (" << typeName << "->isOpaque()) {"; 572f8557957fbdd0f08da3a468daa568b2050745a98Nicolas Geoffray nl(Out); 5731afcace3a3a138b1b18e5c6270caa8dae2261ae2Chris Lattner Out << typeName << "->setBody("; 5741afcace3a3a138b1b18e5c6270caa8dae2261ae2Chris Lattner } 5755cf9fcdad197652f178b6038d7880e4f6c5f68b5Nicolas Geoffray 5761afcace3a3a138b1b18e5c6270caa8dae2261ae2Chris Lattner Out << typeName << "_fields, /*isPacked=*/" 5777e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << (ST->isPacked() ? "true" : "false") << ");"; 5787e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out); 579f8557957fbdd0f08da3a468daa568b2050745a98Nicolas Geoffray if (!ST->isLiteral()) { 580f8557957fbdd0f08da3a468daa568b2050745a98Nicolas Geoffray Out << "}"; 581f8557957fbdd0f08da3a468daa568b2050745a98Nicolas Geoffray nl(Out); 582f8557957fbdd0f08da3a468daa568b2050745a98Nicolas Geoffray } 5837e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner break; 5847e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } 5857e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Type::ArrayTyID: { 586db125cfaf57cc83e7dd7453de2d509bc8efd0e5eChris Lattner ArrayType* AT = cast<ArrayType>(Ty); 587db125cfaf57cc83e7dd7453de2d509bc8efd0e5eChris Lattner Type* ET = AT->getElementType(); 5885cf9fcdad197652f178b6038d7880e4f6c5f68b5Nicolas Geoffray printType(ET); 5895cf9fcdad197652f178b6038d7880e4f6c5f68b5Nicolas Geoffray if (DefinedTypes.find(Ty) == DefinedTypes.end()) { 5905cf9fcdad197652f178b6038d7880e4f6c5f68b5Nicolas Geoffray std::string elemName(getCppName(ET)); 5915cf9fcdad197652f178b6038d7880e4f6c5f68b5Nicolas Geoffray Out << "ArrayType* " << typeName << " = ArrayType::get(" 5925cf9fcdad197652f178b6038d7880e4f6c5f68b5Nicolas Geoffray << elemName 5935cf9fcdad197652f178b6038d7880e4f6c5f68b5Nicolas Geoffray << ", " << utostr(AT->getNumElements()) << ");"; 5945cf9fcdad197652f178b6038d7880e4f6c5f68b5Nicolas Geoffray nl(Out); 5955cf9fcdad197652f178b6038d7880e4f6c5f68b5Nicolas Geoffray } 5967e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner break; 5977e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } 5987e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Type::PointerTyID: { 599db125cfaf57cc83e7dd7453de2d509bc8efd0e5eChris Lattner PointerType* PT = cast<PointerType>(Ty); 600db125cfaf57cc83e7dd7453de2d509bc8efd0e5eChris Lattner Type* ET = PT->getElementType(); 6015cf9fcdad197652f178b6038d7880e4f6c5f68b5Nicolas Geoffray printType(ET); 6025cf9fcdad197652f178b6038d7880e4f6c5f68b5Nicolas Geoffray if (DefinedTypes.find(Ty) == DefinedTypes.end()) { 6035cf9fcdad197652f178b6038d7880e4f6c5f68b5Nicolas Geoffray std::string elemName(getCppName(ET)); 6045cf9fcdad197652f178b6038d7880e4f6c5f68b5Nicolas Geoffray Out << "PointerType* " << typeName << " = PointerType::get(" 6055cf9fcdad197652f178b6038d7880e4f6c5f68b5Nicolas Geoffray << elemName 6065cf9fcdad197652f178b6038d7880e4f6c5f68b5Nicolas Geoffray << ", " << utostr(PT->getAddressSpace()) << ");"; 6075cf9fcdad197652f178b6038d7880e4f6c5f68b5Nicolas Geoffray nl(Out); 6085cf9fcdad197652f178b6038d7880e4f6c5f68b5Nicolas Geoffray } 6097e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner break; 6107e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } 6117e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Type::VectorTyID: { 612db125cfaf57cc83e7dd7453de2d509bc8efd0e5eChris Lattner VectorType* PT = cast<VectorType>(Ty); 613db125cfaf57cc83e7dd7453de2d509bc8efd0e5eChris Lattner Type* ET = PT->getElementType(); 6145cf9fcdad197652f178b6038d7880e4f6c5f68b5Nicolas Geoffray printType(ET); 6155cf9fcdad197652f178b6038d7880e4f6c5f68b5Nicolas Geoffray if (DefinedTypes.find(Ty) == DefinedTypes.end()) { 6165cf9fcdad197652f178b6038d7880e4f6c5f68b5Nicolas Geoffray std::string elemName(getCppName(ET)); 6175cf9fcdad197652f178b6038d7880e4f6c5f68b5Nicolas Geoffray Out << "VectorType* " << typeName << " = VectorType::get(" 6185cf9fcdad197652f178b6038d7880e4f6c5f68b5Nicolas Geoffray << elemName 6195cf9fcdad197652f178b6038d7880e4f6c5f68b5Nicolas Geoffray << ", " << utostr(PT->getNumElements()) << ");"; 6205cf9fcdad197652f178b6038d7880e4f6c5f68b5Nicolas Geoffray nl(Out); 6215cf9fcdad197652f178b6038d7880e4f6c5f68b5Nicolas Geoffray } 6227e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner break; 6237e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } 6247e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner default: 6257e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner error("Invalid TypeID"); 6267e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } 6275027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov 6287e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // Indicate that this type is now defined. 6297e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner DefinedTypes.insert(Ty); 6305027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov 6317e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // Finally, separate the type definition from other with a newline. 6327e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out); 6337e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner} 6347e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner 6357e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattnervoid CppWriter::printTypes(const Module* M) { 6361afcace3a3a138b1b18e5c6270caa8dae2261ae2Chris Lattner // Add all of the global variables to the value table. 6377e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner for (Module::const_global_iterator I = TheModule->global_begin(), 6387e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner E = TheModule->global_end(); I != E; ++I) { 6397e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (I->hasInitializer()) 6407e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printType(I->getInitializer()->getType()); 6417e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printType(I->getType()); 6427e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } 6435027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov 6447e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // Add all the functions to the table 6457e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner for (Module::const_iterator FI = TheModule->begin(), FE = TheModule->end(); 6467e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner FI != FE; ++FI) { 6477e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printType(FI->getReturnType()); 6487e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printType(FI->getFunctionType()); 6497e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // Add all the function arguments 6507e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner for (Function::const_arg_iterator AI = FI->arg_begin(), 6517e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner AE = FI->arg_end(); AI != AE; ++AI) { 6527e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printType(AI->getType()); 6537e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } 6547e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner 6557e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // Add all of the basic blocks and instructions 6567e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner for (Function::const_iterator BB = FI->begin(), 6577e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner E = FI->end(); BB != E; ++BB) { 6587e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printType(BB->getType()); 6597e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner for (BasicBlock::const_iterator I = BB->begin(), E = BB->end(); I!=E; 6607e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner ++I) { 6617e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printType(I->getType()); 6627e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner for (unsigned i = 0; i < I->getNumOperands(); ++i) 6637e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printType(I->getOperand(i)->getType()); 6645027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov } 6655027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov } 6665027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov } 6677e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner} 6685027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov 6695027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov 6707e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner// printConstant - Print out a constant pool entry... 6717e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattnervoid CppWriter::printConstant(const Constant *CV) { 6727e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // First, if the constant is actually a GlobalValue (variable or function) 6737e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // or its already in the constant list then we've printed it already and we 6747e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // can just return. 6757e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (isa<GlobalValue>(CV) || ValueNames.find(CV) != ValueNames.end()) 6767e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner return; 6775027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov 6787e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner std::string constName(getCppName(CV)); 6797e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner std::string typeName(getCppName(CV->getType())); 680ff4ca2e0883d95cbd97e09e56bee8c73fa384e6aAnton Korobeynikov 6817e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (isa<GlobalValue>(CV)) { 6827e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // Skip variables and functions, we emit them elsewhere 6837e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner return; 6847e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } 685ff4ca2e0883d95cbd97e09e56bee8c73fa384e6aAnton Korobeynikov 6867e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (const ConstantInt *CI = dyn_cast<ConstantInt>(CV)) { 6877e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner std::string constValue = CI->getValue().toString(10, true); 6887e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "ConstantInt* " << constName 6897e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << " = ConstantInt::get(mod->getContext(), APInt(" 6907e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << cast<IntegerType>(CI->getType())->getBitWidth() 6917e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << ", StringRef(\"" << constValue << "\"), 10));"; 6927e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } else if (isa<ConstantAggregateZero>(CV)) { 6937e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "ConstantAggregateZero* " << constName 6947e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << " = ConstantAggregateZero::get(" << typeName << ");"; 6957e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } else if (isa<ConstantPointerNull>(CV)) { 6967e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "ConstantPointerNull* " << constName 6977e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << " = ConstantPointerNull::get(" << typeName << ");"; 6987e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } else if (const ConstantFP *CFP = dyn_cast<ConstantFP>(CV)) { 6997e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "ConstantFP* " << constName << " = "; 7007e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printCFP(CFP); 7017e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << ";"; 7027e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } else if (const ConstantArray *CA = dyn_cast<ConstantArray>(CV)) { 7037e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (CA->isString() && 7047e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner CA->getType()->getElementType() == 7057e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Type::getInt8Ty(CA->getContext())) { 7067e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "Constant* " << constName << 7077e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner " = ConstantArray::get(mod->getContext(), \""; 7087e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner std::string tmp = CA->getAsString(); 7097e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner bool nullTerminate = false; 7107e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (tmp[tmp.length()-1] == 0) { 7117e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner tmp.erase(tmp.length()-1); 7127e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nullTerminate = true; 7135027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov } 7147e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printEscapedString(tmp); 7157e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // Determine if we want null termination or not. 7167e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (nullTerminate) 7177e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "\", true"; // Indicate that the null terminator should be 7187e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // added. 7197e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner else 7207e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "\", false";// No null terminator 7217e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << ");"; 7227e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } else { 7235027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov Out << "std::vector<Constant*> " << constName << "_elems;"; 7245027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov nl(Out); 7257e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner unsigned N = CA->getNumOperands(); 7265027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov for (unsigned i = 0; i < N; ++i) { 7277e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printConstant(CA->getOperand(i)); // recurse to print operands 7285027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov Out << constName << "_elems.push_back(" 7297e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << getCppName(CA->getOperand(i)) << ");"; 7305027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov nl(Out); 7315027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov } 7327e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "Constant* " << constName << " = ConstantArray::get(" 7335027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov << typeName << ", " << constName << "_elems);"; 7347e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } 7357e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } else if (const ConstantStruct *CS = dyn_cast<ConstantStruct>(CV)) { 7367e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "std::vector<Constant*> " << constName << "_fields;"; 7377e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out); 7387e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner unsigned N = CS->getNumOperands(); 7397e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner for (unsigned i = 0; i < N; i++) { 7407e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printConstant(CS->getOperand(i)); 7417e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << constName << "_fields.push_back(" 7427e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << getCppName(CS->getOperand(i)) << ");"; 7437e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out); 7447e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } 7457e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "Constant* " << constName << " = ConstantStruct::get(" 7467e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << typeName << ", " << constName << "_fields);"; 7477e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } else if (const ConstantVector *CP = dyn_cast<ConstantVector>(CV)) { 7487e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "std::vector<Constant*> " << constName << "_elems;"; 7497e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out); 7507e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner unsigned N = CP->getNumOperands(); 7517e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner for (unsigned i = 0; i < N; ++i) { 7527e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printConstant(CP->getOperand(i)); 7537e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << constName << "_elems.push_back(" 7547e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << getCppName(CP->getOperand(i)) << ");"; 7557e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out); 7567e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } 7577e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "Constant* " << constName << " = ConstantVector::get(" 7587e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << typeName << ", " << constName << "_elems);"; 7597e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } else if (isa<UndefValue>(CV)) { 7607e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "UndefValue* " << constName << " = UndefValue::get(" 7617e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << typeName << ");"; 7627e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } else if (const ConstantExpr *CE = dyn_cast<ConstantExpr>(CV)) { 7637e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (CE->getOpcode() == Instruction::GetElementPtr) { 7647e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "std::vector<Constant*> " << constName << "_indices;"; 7657e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out); 7667e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printConstant(CE->getOperand(0)); 7677e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner for (unsigned i = 1; i < CE->getNumOperands(); ++i ) { 7687e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printConstant(CE->getOperand(i)); 7697e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << constName << "_indices.push_back(" 7707e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << getCppName(CE->getOperand(i)) << ");"; 7715027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov nl(Out); 7727e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } 7737e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "Constant* " << constName 7747e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << " = ConstantExpr::getGetElementPtr(" 7757e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << getCppName(CE->getOperand(0)) << ", " 776a056d201679891adf691f388dce7e56f06106752Nicolas Geoffray << constName << "_indices);"; 7777e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } else if (CE->isCast()) { 7787e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printConstant(CE->getOperand(0)); 7797e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "Constant* " << constName << " = ConstantExpr::getCast("; 7807e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner switch (CE->getOpcode()) { 7817e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner default: llvm_unreachable("Invalid cast opcode"); 7827e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::Trunc: Out << "Instruction::Trunc"; break; 7837e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::ZExt: Out << "Instruction::ZExt"; break; 7847e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::SExt: Out << "Instruction::SExt"; break; 7857e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::FPTrunc: Out << "Instruction::FPTrunc"; break; 7867e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::FPExt: Out << "Instruction::FPExt"; break; 7877e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::FPToUI: Out << "Instruction::FPToUI"; break; 7887e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::FPToSI: Out << "Instruction::FPToSI"; break; 7897e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::UIToFP: Out << "Instruction::UIToFP"; break; 7907e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::SIToFP: Out << "Instruction::SIToFP"; break; 7917e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::PtrToInt: Out << "Instruction::PtrToInt"; break; 7927e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::IntToPtr: Out << "Instruction::IntToPtr"; break; 7937e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::BitCast: Out << "Instruction::BitCast"; break; 7947e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } 7957e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << ", " << getCppName(CE->getOperand(0)) << ", " 7967e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << getCppName(CE->getType()) << ");"; 7977e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } else { 7987e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner unsigned N = CE->getNumOperands(); 7997e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner for (unsigned i = 0; i < N; ++i ) { 8007e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printConstant(CE->getOperand(i)); 8017e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } 8027e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "Constant* " << constName << " = ConstantExpr::"; 8037e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner switch (CE->getOpcode()) { 8047e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::Add: Out << "getAdd("; break; 8057e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::FAdd: Out << "getFAdd("; break; 8067e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::Sub: Out << "getSub("; break; 8077e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::FSub: Out << "getFSub("; break; 8087e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::Mul: Out << "getMul("; break; 8097e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::FMul: Out << "getFMul("; break; 8107e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::UDiv: Out << "getUDiv("; break; 8117e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::SDiv: Out << "getSDiv("; break; 8127e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::FDiv: Out << "getFDiv("; break; 8137e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::URem: Out << "getURem("; break; 8147e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::SRem: Out << "getSRem("; break; 8157e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::FRem: Out << "getFRem("; break; 8167e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::And: Out << "getAnd("; break; 8177e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::Or: Out << "getOr("; break; 8187e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::Xor: Out << "getXor("; break; 8197e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::ICmp: 8207e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "getICmp(ICmpInst::ICMP_"; 8217e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner switch (CE->getPredicate()) { 8227e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case ICmpInst::ICMP_EQ: Out << "EQ"; break; 8237e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case ICmpInst::ICMP_NE: Out << "NE"; break; 8247e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case ICmpInst::ICMP_SLT: Out << "SLT"; break; 8257e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case ICmpInst::ICMP_ULT: Out << "ULT"; break; 8267e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case ICmpInst::ICMP_SGT: Out << "SGT"; break; 8277e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case ICmpInst::ICMP_UGT: Out << "UGT"; break; 8287e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case ICmpInst::ICMP_SLE: Out << "SLE"; break; 8297e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case ICmpInst::ICMP_ULE: Out << "ULE"; break; 8307e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case ICmpInst::ICMP_SGE: Out << "SGE"; break; 8317e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case ICmpInst::ICMP_UGE: Out << "UGE"; break; 8327e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner default: error("Invalid ICmp Predicate"); 8335027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov } 8347e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner break; 8357e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::FCmp: 8367e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "getFCmp(FCmpInst::FCMP_"; 8377e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner switch (CE->getPredicate()) { 8387e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case FCmpInst::FCMP_FALSE: Out << "FALSE"; break; 8397e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case FCmpInst::FCMP_ORD: Out << "ORD"; break; 8407e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case FCmpInst::FCMP_UNO: Out << "UNO"; break; 8417e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case FCmpInst::FCMP_OEQ: Out << "OEQ"; break; 8427e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case FCmpInst::FCMP_UEQ: Out << "UEQ"; break; 8437e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case FCmpInst::FCMP_ONE: Out << "ONE"; break; 8447e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case FCmpInst::FCMP_UNE: Out << "UNE"; break; 8457e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case FCmpInst::FCMP_OLT: Out << "OLT"; break; 8467e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case FCmpInst::FCMP_ULT: Out << "ULT"; break; 8477e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case FCmpInst::FCMP_OGT: Out << "OGT"; break; 8487e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case FCmpInst::FCMP_UGT: Out << "UGT"; break; 8497e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case FCmpInst::FCMP_OLE: Out << "OLE"; break; 8507e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case FCmpInst::FCMP_ULE: Out << "ULE"; break; 8517e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case FCmpInst::FCMP_OGE: Out << "OGE"; break; 8527e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case FCmpInst::FCMP_UGE: Out << "UGE"; break; 8537e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case FCmpInst::FCMP_TRUE: Out << "TRUE"; break; 8547e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner default: error("Invalid FCmp Predicate"); 8555027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov } 8567e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner break; 8577e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::Shl: Out << "getShl("; break; 8587e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::LShr: Out << "getLShr("; break; 8597e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::AShr: Out << "getAShr("; break; 8607e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::Select: Out << "getSelect("; break; 8617e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::ExtractElement: Out << "getExtractElement("; break; 8627e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::InsertElement: Out << "getInsertElement("; break; 8637e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::ShuffleVector: Out << "getShuffleVector("; break; 8647e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner default: 8657e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner error("Invalid constant expression"); 8667e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner break; 8675027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov } 8687e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << getCppName(CE->getOperand(0)); 8697e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner for (unsigned i = 1; i < CE->getNumOperands(); ++i) 8707e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << ", " << getCppName(CE->getOperand(i)); 8717e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << ");"; 8725027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov } 8733284877064af9e6f67bb8c7e540753d22bb69662Chris Lattner } else if (const BlockAddress *BA = dyn_cast<BlockAddress>(CV)) { 8743284877064af9e6f67bb8c7e540753d22bb69662Chris Lattner Out << "Constant* " << constName << " = "; 8753284877064af9e6f67bb8c7e540753d22bb69662Chris Lattner Out << "BlockAddress::get(" << getOpName(BA->getBasicBlock()) << ");"; 8767e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } else { 8777e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner error("Bad Constant"); 8787e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "Constant* " << constName << " = 0; "; 8795027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov } 8807e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out); 8817e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner} 8825027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov 8837e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattnervoid CppWriter::printConstants(const Module* M) { 8847e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // Traverse all the global variables looking for constant initializers 8857e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner for (Module::const_global_iterator I = TheModule->global_begin(), 8867e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner E = TheModule->global_end(); I != E; ++I) 8877e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (I->hasInitializer()) 8887e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printConstant(I->getInitializer()); 8897e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner 8907e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // Traverse the LLVM functions looking for constants 8917e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner for (Module::const_iterator FI = TheModule->begin(), FE = TheModule->end(); 8927e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner FI != FE; ++FI) { 8937e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // Add all of the basic blocks and instructions 8947e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner for (Function::const_iterator BB = FI->begin(), 8957e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner E = FI->end(); BB != E; ++BB) { 8967e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner for (BasicBlock::const_iterator I = BB->begin(), E = BB->end(); I!=E; 8977e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner ++I) { 8987e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner for (unsigned i = 0; i < I->getNumOperands(); ++i) { 8997e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (Constant* C = dyn_cast<Constant>(I->getOperand(i))) { 9007e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printConstant(C); 9015027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov } 9025027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov } 9035027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov } 9045027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov } 9055027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov } 9067e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner} 9075027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov 9087e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattnervoid CppWriter::printVariableUses(const GlobalVariable *GV) { 9097e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out) << "// Type Definitions"; 9107e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out); 9117e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printType(GV->getType()); 9127e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (GV->hasInitializer()) { 9137d715dfe6d66be257926f626df96a0e2bd38dc1fJay Foad const Constant *Init = GV->getInitializer(); 9147e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printType(Init->getType()); 9157d715dfe6d66be257926f626df96a0e2bd38dc1fJay Foad if (const Function *F = dyn_cast<Function>(Init)) { 9167e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out)<< "/ Function Declarations"; nl(Out); 9177e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printFunctionHead(F); 9187d715dfe6d66be257926f626df96a0e2bd38dc1fJay Foad } else if (const GlobalVariable* gv = dyn_cast<GlobalVariable>(Init)) { 9197e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out) << "// Global Variable Declarations"; nl(Out); 9207e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printVariableHead(gv); 9217e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner 9227e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out) << "// Global Variable Definitions"; nl(Out); 9237e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printVariableBody(gv); 9247e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } else { 9257e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out) << "// Constant Definitions"; nl(Out); 9267e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printConstant(Init); 9275027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov } 9285027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov } 9297e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner} 9305027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov 9317e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattnervoid CppWriter::printVariableHead(const GlobalVariable *GV) { 9327e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out) << "GlobalVariable* " << getCppName(GV); 9337e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (is_inline) { 9347e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << " = mod->getGlobalVariable(mod->getContext(), "; 9355027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov printEscapedString(GV->getName()); 9367e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << ", " << getCppName(GV->getType()->getElementType()) << ",true)"; 9377e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out) << "if (!" << getCppName(GV) << ") {"; 9387e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner in(); nl(Out) << getCppName(GV); 9397e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } 9407e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << " = new GlobalVariable(/*Module=*/*mod, "; 9417e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out) << "/*Type=*/"; 9427e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printCppName(GV->getType()->getElementType()); 9437e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << ","; 9447e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out) << "/*isConstant=*/" << (GV->isConstant()?"true":"false"); 9457e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << ","; 9467e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out) << "/*Linkage=*/"; 9477e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printLinkageType(GV->getLinkage()); 9487e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << ","; 9497e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out) << "/*Initializer=*/0, "; 9507e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (GV->hasInitializer()) { 9517e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "// has initializer, specified below"; 9527e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } 9537e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out) << "/*Name=*/\""; 9547e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printEscapedString(GV->getName()); 9557e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "\");"; 9567e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out); 9577e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner 9587e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (GV->hasSection()) { 9597e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printCppName(GV); 9607e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "->setSection(\""; 9617e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printEscapedString(GV->getSection()); 96216a412edb6d279bb5fbffba3ff1a6c914e478aafOwen Anderson Out << "\");"; 9635027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov nl(Out); 9645027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov } 9657e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (GV->getAlignment()) { 9667e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printCppName(GV); 9677e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "->setAlignment(" << utostr(GV->getAlignment()) << ");"; 9687e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out); 9697e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } 9707e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (GV->getVisibility() != GlobalValue::DefaultVisibility) { 9717e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printCppName(GV); 9727e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "->setVisibility("; 9737e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printVisibilityType(GV->getVisibility()); 9747e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << ");"; 9757e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out); 9767e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } 9777e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (GV->isThreadLocal()) { 9787e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printCppName(GV); 9797e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "->setThreadLocal(true);"; 9807e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out); 9817e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } 9827e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (is_inline) { 9837e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner out(); Out << "}"; nl(Out); 9847e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } 9857e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner} 9865027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov 9877e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattnervoid CppWriter::printVariableBody(const GlobalVariable *GV) { 9887e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (GV->hasInitializer()) { 9897e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printCppName(GV); 9907e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "->setInitializer("; 9917e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << getCppName(GV->getInitializer()) << ");"; 9927e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out); 9935027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov } 9947e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner} 9955027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov 996bb5a7442e362776621112dc9453e546a55878e79Eli Friedmanstd::string CppWriter::getOpName(const Value* V) { 9977e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (!isa<Instruction>(V) || DefinedValues.find(V) != DefinedValues.end()) 9987e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner return getCppName(V); 9995027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov 10007e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // See if its alread in the map of forward references, if so just return the 10017e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // name we already set up for it 10027e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner ForwardRefMap::const_iterator I = ForwardRefs.find(V); 10037e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (I != ForwardRefs.end()) 10047e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner return I->second; 10055027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov 10067e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // This is a new forward reference. Generate a unique name for it 10077e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner std::string result(std::string("fwdref_") + utostr(uniqueNum++)); 10085027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov 10097e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // Yes, this is a hack. An Argument is the smallest instantiable value that 10107e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // we can make as a placeholder for the real value. We'll replace these 10117e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // Argument instances later. 10127e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "Argument* " << result << " = new Argument(" 10137e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << getCppName(V->getType()) << ");"; 10147e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out); 10157e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner ForwardRefs[V] = result; 10167e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner return result; 10177e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner} 10185027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov 1019a7dd4dfccab3ab5b2a7f187baf6522a93d9acab2Eli Friedmanstatic StringRef ConvertAtomicOrdering(AtomicOrdering Ordering) { 1020a7dd4dfccab3ab5b2a7f187baf6522a93d9acab2Eli Friedman switch (Ordering) { 1021a7dd4dfccab3ab5b2a7f187baf6522a93d9acab2Eli Friedman case NotAtomic: return "NotAtomic"; 1022a7dd4dfccab3ab5b2a7f187baf6522a93d9acab2Eli Friedman case Unordered: return "Unordered"; 1023a7dd4dfccab3ab5b2a7f187baf6522a93d9acab2Eli Friedman case Monotonic: return "Monotonic"; 1024a7dd4dfccab3ab5b2a7f187baf6522a93d9acab2Eli Friedman case Acquire: return "Acquire"; 1025a7dd4dfccab3ab5b2a7f187baf6522a93d9acab2Eli Friedman case Release: return "Release"; 1026a7dd4dfccab3ab5b2a7f187baf6522a93d9acab2Eli Friedman case AcquireRelease: return "AcquireRelease"; 1027a7dd4dfccab3ab5b2a7f187baf6522a93d9acab2Eli Friedman case SequentiallyConsistent: return "SequentiallyConsistent"; 1028a7dd4dfccab3ab5b2a7f187baf6522a93d9acab2Eli Friedman } 1029a7dd4dfccab3ab5b2a7f187baf6522a93d9acab2Eli Friedman llvm_unreachable("Unknown ordering"); 1030a7dd4dfccab3ab5b2a7f187baf6522a93d9acab2Eli Friedman} 1031a7dd4dfccab3ab5b2a7f187baf6522a93d9acab2Eli Friedman 1032a7dd4dfccab3ab5b2a7f187baf6522a93d9acab2Eli Friedmanstatic StringRef ConvertAtomicSynchScope(SynchronizationScope SynchScope) { 1033a7dd4dfccab3ab5b2a7f187baf6522a93d9acab2Eli Friedman switch (SynchScope) { 1034a7dd4dfccab3ab5b2a7f187baf6522a93d9acab2Eli Friedman case SingleThread: return "SingleThread"; 1035a7dd4dfccab3ab5b2a7f187baf6522a93d9acab2Eli Friedman case CrossThread: return "CrossThread"; 1036a7dd4dfccab3ab5b2a7f187baf6522a93d9acab2Eli Friedman } 1037a7dd4dfccab3ab5b2a7f187baf6522a93d9acab2Eli Friedman llvm_unreachable("Unknown synch scope"); 1038a7dd4dfccab3ab5b2a7f187baf6522a93d9acab2Eli Friedman} 1039a7dd4dfccab3ab5b2a7f187baf6522a93d9acab2Eli Friedman 10407e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner// printInstruction - This member is called for each Instruction in a function. 10417e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattnervoid CppWriter::printInstruction(const Instruction *I, 10427e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner const std::string& bbname) { 10437e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner std::string iName(getCppName(I)); 10447e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner 10457e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // Before we emit this instruction, we need to take care of generating any 10467e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // forward references. So, we get the names of all the operands in advance 10477e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner const unsigned Ops(I->getNumOperands()); 10487e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner std::string* opNames = new std::string[Ops]; 10493284877064af9e6f67bb8c7e540753d22bb69662Chris Lattner for (unsigned i = 0; i < Ops; i++) 10507e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner opNames[i] = getOpName(I->getOperand(i)); 10515027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov 10527e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner switch (I->getOpcode()) { 10537e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner default: 10547e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner error("Invalid instruction"); 10557e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner break; 10565027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov 10577e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::Ret: { 10587e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner const ReturnInst* ret = cast<ReturnInst>(I); 10597e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "ReturnInst::Create(mod->getContext(), " 10607e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << (ret->getReturnValue() ? opNames[0] + ", " : "") << bbname << ");"; 10617e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner break; 10627e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } 10637e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::Br: { 10647e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner const BranchInst* br = cast<BranchInst>(I); 10657e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "BranchInst::Create(" ; 10663284877064af9e6f67bb8c7e540753d22bb69662Chris Lattner if (br->getNumOperands() == 3) { 10677e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << opNames[2] << ", " 10687e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << opNames[1] << ", " 10697e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << opNames[0] << ", "; 107026825a84e97790adaffc55c6101b9fe2524fe1b7Dan Gohman 10717e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } else if (br->getNumOperands() == 1) { 10727e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << opNames[0] << ", "; 10737e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } else { 10747e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner error("Branch with 2 operands?"); 10755027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov } 10767e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << bbname << ");"; 10777e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner break; 10787e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } 10797e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::Switch: { 10807e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner const SwitchInst *SI = cast<SwitchInst>(I); 10817e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "SwitchInst* " << iName << " = SwitchInst::Create(" 1082bb5a7442e362776621112dc9453e546a55878e79Eli Friedman << getOpName(SI->getCondition()) << ", " 1083bb5a7442e362776621112dc9453e546a55878e79Eli Friedman << getOpName(SI->getDefaultDest()) << ", " 10847e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << SI->getNumCases() << ", " << bbname << ");"; 10857e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out); 1086bb5a7442e362776621112dc9453e546a55878e79Eli Friedman unsigned NumCases = SI->getNumCases(); 1087bb5a7442e362776621112dc9453e546a55878e79Eli Friedman for (unsigned i = 1; i < NumCases; ++i) { 1088bb5a7442e362776621112dc9453e546a55878e79Eli Friedman const ConstantInt* CaseVal = SI->getCaseValue(i); 1089bb5a7442e362776621112dc9453e546a55878e79Eli Friedman const BasicBlock* BB = SI->getSuccessor(i); 10907e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << iName << "->addCase(" 1091bb5a7442e362776621112dc9453e546a55878e79Eli Friedman << getOpName(CaseVal) << ", " 1092bb5a7442e362776621112dc9453e546a55878e79Eli Friedman << getOpName(BB) << ");"; 10937e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out); 10945027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov } 10957e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner break; 10967e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } 10977e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::IndirectBr: { 10987e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner const IndirectBrInst *IBI = cast<IndirectBrInst>(I); 10997e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "IndirectBrInst *" << iName << " = IndirectBrInst::Create(" 11007e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << opNames[0] << ", " << IBI->getNumDestinations() << ");"; 11017e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out); 11027e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner for (unsigned i = 1; i != IBI->getNumOperands(); ++i) { 11037e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << iName << "->addDestination(" << opNames[i] << ");"; 11045027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov nl(Out); 11055027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov } 11067e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner break; 11077e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } 1108dccc03b2423fe65efb5963ae816b99c24fc53374Bill Wendling case Instruction::Resume: { 1109dccc03b2423fe65efb5963ae816b99c24fc53374Bill Wendling Out << "ResumeInst::Create(mod->getContext(), " << opNames[0] 1110dccc03b2423fe65efb5963ae816b99c24fc53374Bill Wendling << ", " << bbname << ");"; 1111dccc03b2423fe65efb5963ae816b99c24fc53374Bill Wendling break; 1112dccc03b2423fe65efb5963ae816b99c24fc53374Bill Wendling } 11137e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::Invoke: { 11147e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner const InvokeInst* inv = cast<InvokeInst>(I); 11157e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "std::vector<Value*> " << iName << "_params;"; 11167e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out); 11177e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner for (unsigned i = 0; i < inv->getNumArgOperands(); ++i) { 11187e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << iName << "_params.push_back(" 11197e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << getOpName(inv->getArgOperand(i)) << ");"; 1120627b470981a833f847005556bea04e71f94da260Chris Lattner nl(Out); 1121627b470981a833f847005556bea04e71f94da260Chris Lattner } 11227e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // FIXME: This shouldn't use magic numbers -3, -2, and -1. 11237e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "InvokeInst *" << iName << " = InvokeInst::Create(" 11247e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << getOpName(inv->getCalledFunction()) << ", " 11257e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << getOpName(inv->getNormalDest()) << ", " 11267e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << getOpName(inv->getUnwindDest()) << ", " 11273bca1013291e1b17050e3332faf3dccb128b3da0Nick Lewycky << iName << "_params, \""; 11287e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printEscapedString(inv->getName()); 11297e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "\", " << bbname << ");"; 11307e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out) << iName << "->setCallingConv("; 11317e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printCallingConv(inv->getCallingConv()); 11327e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << ");"; 11337e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printAttributes(inv->getAttributes(), iName); 11347e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << iName << "->setAttributes(" << iName << "_PAL);"; 11357e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out); 11367e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner break; 11377e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } 11387e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::Unwind: { 11397e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "new UnwindInst(" 11407e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << bbname << ");"; 11417e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner break; 11427e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } 11437e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::Unreachable: { 11447e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "new UnreachableInst(" 11457e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << "mod->getContext(), " 11467e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << bbname << ");"; 11477e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner break; 11487e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } 11497e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::Add: 11507e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::FAdd: 11517e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::Sub: 11527e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::FSub: 11537e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::Mul: 11547e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::FMul: 11557e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::UDiv: 11567e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::SDiv: 11577e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::FDiv: 11587e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::URem: 11597e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::SRem: 11607e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::FRem: 11617e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::And: 11627e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::Or: 11637e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::Xor: 11647e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::Shl: 11657e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::LShr: 11667e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::AShr:{ 11677e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "BinaryOperator* " << iName << " = BinaryOperator::Create("; 11687e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner switch (I->getOpcode()) { 11697e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::Add: Out << "Instruction::Add"; break; 11707e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::FAdd: Out << "Instruction::FAdd"; break; 11717e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::Sub: Out << "Instruction::Sub"; break; 11727e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::FSub: Out << "Instruction::FSub"; break; 11737e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::Mul: Out << "Instruction::Mul"; break; 11747e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::FMul: Out << "Instruction::FMul"; break; 11757e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::UDiv:Out << "Instruction::UDiv"; break; 11767e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::SDiv:Out << "Instruction::SDiv"; break; 11777e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::FDiv:Out << "Instruction::FDiv"; break; 11787e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::URem:Out << "Instruction::URem"; break; 11797e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::SRem:Out << "Instruction::SRem"; break; 11807e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::FRem:Out << "Instruction::FRem"; break; 11817e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::And: Out << "Instruction::And"; break; 11827e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::Or: Out << "Instruction::Or"; break; 11837e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::Xor: Out << "Instruction::Xor"; break; 11847e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::Shl: Out << "Instruction::Shl"; break; 11857e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::LShr:Out << "Instruction::LShr"; break; 11867e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::AShr:Out << "Instruction::AShr"; break; 11877e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner default: Out << "Instruction::BadOpCode"; break; 11887e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } 11897e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << ", " << opNames[0] << ", " << opNames[1] << ", \""; 11907e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printEscapedString(I->getName()); 11917e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "\", " << bbname << ");"; 11927e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner break; 11937e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } 11947e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::FCmp: { 11957e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "FCmpInst* " << iName << " = new FCmpInst(*" << bbname << ", "; 11967e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner switch (cast<FCmpInst>(I)->getPredicate()) { 11977e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case FCmpInst::FCMP_FALSE: Out << "FCmpInst::FCMP_FALSE"; break; 11987e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case FCmpInst::FCMP_OEQ : Out << "FCmpInst::FCMP_OEQ"; break; 11997e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case FCmpInst::FCMP_OGT : Out << "FCmpInst::FCMP_OGT"; break; 12007e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case FCmpInst::FCMP_OGE : Out << "FCmpInst::FCMP_OGE"; break; 12017e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case FCmpInst::FCMP_OLT : Out << "FCmpInst::FCMP_OLT"; break; 12027e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case FCmpInst::FCMP_OLE : Out << "FCmpInst::FCMP_OLE"; break; 12037e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case FCmpInst::FCMP_ONE : Out << "FCmpInst::FCMP_ONE"; break; 12047e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case FCmpInst::FCMP_ORD : Out << "FCmpInst::FCMP_ORD"; break; 12057e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case FCmpInst::FCMP_UNO : Out << "FCmpInst::FCMP_UNO"; break; 12067e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case FCmpInst::FCMP_UEQ : Out << "FCmpInst::FCMP_UEQ"; break; 12077e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case FCmpInst::FCMP_UGT : Out << "FCmpInst::FCMP_UGT"; break; 12087e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case FCmpInst::FCMP_UGE : Out << "FCmpInst::FCMP_UGE"; break; 12097e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case FCmpInst::FCMP_ULT : Out << "FCmpInst::FCMP_ULT"; break; 12107e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case FCmpInst::FCMP_ULE : Out << "FCmpInst::FCMP_ULE"; break; 12117e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case FCmpInst::FCMP_UNE : Out << "FCmpInst::FCMP_UNE"; break; 12127e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case FCmpInst::FCMP_TRUE : Out << "FCmpInst::FCMP_TRUE"; break; 12137e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner default: Out << "FCmpInst::BAD_ICMP_PREDICATE"; break; 12147e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } 12157e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << ", " << opNames[0] << ", " << opNames[1] << ", \""; 12167e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printEscapedString(I->getName()); 12177e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "\");"; 12187e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner break; 12197e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } 12207e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::ICmp: { 12217e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "ICmpInst* " << iName << " = new ICmpInst(*" << bbname << ", "; 12227e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner switch (cast<ICmpInst>(I)->getPredicate()) { 12237e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case ICmpInst::ICMP_EQ: Out << "ICmpInst::ICMP_EQ"; break; 12247e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case ICmpInst::ICMP_NE: Out << "ICmpInst::ICMP_NE"; break; 12257e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case ICmpInst::ICMP_ULE: Out << "ICmpInst::ICMP_ULE"; break; 12267e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case ICmpInst::ICMP_SLE: Out << "ICmpInst::ICMP_SLE"; break; 12277e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case ICmpInst::ICMP_UGE: Out << "ICmpInst::ICMP_UGE"; break; 12287e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case ICmpInst::ICMP_SGE: Out << "ICmpInst::ICMP_SGE"; break; 12297e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case ICmpInst::ICMP_ULT: Out << "ICmpInst::ICMP_ULT"; break; 12307e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case ICmpInst::ICMP_SLT: Out << "ICmpInst::ICMP_SLT"; break; 12317e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case ICmpInst::ICMP_UGT: Out << "ICmpInst::ICMP_UGT"; break; 12327e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case ICmpInst::ICMP_SGT: Out << "ICmpInst::ICMP_SGT"; break; 12337e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner default: Out << "ICmpInst::BAD_ICMP_PREDICATE"; break; 12347e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } 12357e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << ", " << opNames[0] << ", " << opNames[1] << ", \""; 12367e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printEscapedString(I->getName()); 12377e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "\");"; 12387e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner break; 12397e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } 12407e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::Alloca: { 12417e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner const AllocaInst* allocaI = cast<AllocaInst>(I); 12427e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "AllocaInst* " << iName << " = new AllocaInst(" 12437e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << getCppName(allocaI->getAllocatedType()) << ", "; 12447e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (allocaI->isArrayAllocation()) 12457e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << opNames[0] << ", "; 12467e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "\""; 12477e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printEscapedString(allocaI->getName()); 12487e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "\", " << bbname << ");"; 12497e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (allocaI->getAlignment()) 12507e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out) << iName << "->setAlignment(" 12517e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << allocaI->getAlignment() << ");"; 12527e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner break; 12537e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } 12547a1d92a2cbc20888260efa7d5ad987dc39fcb134Gabor Greif case Instruction::Load: { 12557e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner const LoadInst* load = cast<LoadInst>(I); 12567e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "LoadInst* " << iName << " = new LoadInst(" 12577e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << opNames[0] << ", \""; 12587e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printEscapedString(load->getName()); 12597e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "\", " << (load->isVolatile() ? "true" : "false" ) 12607e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << ", " << bbname << ");"; 1261a7dd4dfccab3ab5b2a7f187baf6522a93d9acab2Eli Friedman if (load->getAlignment()) 1262a7dd4dfccab3ab5b2a7f187baf6522a93d9acab2Eli Friedman nl(Out) << iName << "->setAlignment(" 1263a7dd4dfccab3ab5b2a7f187baf6522a93d9acab2Eli Friedman << load->getAlignment() << ");"; 1264a7dd4dfccab3ab5b2a7f187baf6522a93d9acab2Eli Friedman if (load->isAtomic()) { 1265a7dd4dfccab3ab5b2a7f187baf6522a93d9acab2Eli Friedman StringRef Ordering = ConvertAtomicOrdering(load->getOrdering()); 1266a7dd4dfccab3ab5b2a7f187baf6522a93d9acab2Eli Friedman StringRef CrossThread = ConvertAtomicSynchScope(load->getSynchScope()); 1267a7dd4dfccab3ab5b2a7f187baf6522a93d9acab2Eli Friedman nl(Out) << iName << "->setAtomic(" 1268a7dd4dfccab3ab5b2a7f187baf6522a93d9acab2Eli Friedman << Ordering << ", " << CrossThread << ");"; 1269a7dd4dfccab3ab5b2a7f187baf6522a93d9acab2Eli Friedman } 12707e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner break; 12717e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } 12727e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::Store: { 12737e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner const StoreInst* store = cast<StoreInst>(I); 1274a7dd4dfccab3ab5b2a7f187baf6522a93d9acab2Eli Friedman Out << "StoreInst* " << iName << " = new StoreInst(" 12757e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << opNames[0] << ", " 12767e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << opNames[1] << ", " 12777e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << (store->isVolatile() ? "true" : "false") 12787e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << ", " << bbname << ");"; 1279a7dd4dfccab3ab5b2a7f187baf6522a93d9acab2Eli Friedman if (store->getAlignment()) 1280a7dd4dfccab3ab5b2a7f187baf6522a93d9acab2Eli Friedman nl(Out) << iName << "->setAlignment(" 1281a7dd4dfccab3ab5b2a7f187baf6522a93d9acab2Eli Friedman << store->getAlignment() << ");"; 1282a7dd4dfccab3ab5b2a7f187baf6522a93d9acab2Eli Friedman if (store->isAtomic()) { 1283a7dd4dfccab3ab5b2a7f187baf6522a93d9acab2Eli Friedman StringRef Ordering = ConvertAtomicOrdering(store->getOrdering()); 1284a7dd4dfccab3ab5b2a7f187baf6522a93d9acab2Eli Friedman StringRef CrossThread = ConvertAtomicSynchScope(store->getSynchScope()); 1285a7dd4dfccab3ab5b2a7f187baf6522a93d9acab2Eli Friedman nl(Out) << iName << "->setAtomic(" 1286a7dd4dfccab3ab5b2a7f187baf6522a93d9acab2Eli Friedman << Ordering << ", " << CrossThread << ");"; 1287a7dd4dfccab3ab5b2a7f187baf6522a93d9acab2Eli Friedman } 12887e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner break; 12897e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } 12907e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::GetElementPtr: { 12917e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner const GetElementPtrInst* gep = cast<GetElementPtrInst>(I); 12927e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (gep->getNumOperands() <= 2) { 12937e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "GetElementPtrInst* " << iName << " = GetElementPtrInst::Create(" 12947e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << opNames[0]; 12957e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (gep->getNumOperands() == 2) 12967e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << ", " << opNames[1]; 12977e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } else { 12987e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "std::vector<Value*> " << iName << "_indices;"; 12995027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov nl(Out); 13007e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner for (unsigned i = 1; i < gep->getNumOperands(); ++i ) { 13017e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << iName << "_indices.push_back(" 13027e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << opNames[i] << ");"; 13035027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov nl(Out); 13045027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov } 13057e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "Instruction* " << iName << " = GetElementPtrInst::Create(" 130645c8d2bc9cf3d0a4da10deab45e3d0d45513e19fNicolas Geoffray << opNames[0] << ", " << iName << "_indices"; 13077e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } 13087e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << ", \""; 13097e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printEscapedString(gep->getName()); 13107e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "\", " << bbname << ");"; 13117e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner break; 13127e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } 13137e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::PHI: { 13147e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner const PHINode* phi = cast<PHINode>(I); 13157e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner 13167e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "PHINode* " << iName << " = PHINode::Create(" 1317c6cf19731504e7f922d1409ac118c59f5ab8e3c2Nicolas Geoffray << getCppName(phi->getType()) << ", " 13183ecfc861b4365f341c5c969b40e1afccde676e6fJay Foad << phi->getNumIncomingValues() << ", \""; 13197e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printEscapedString(phi->getName()); 13207e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "\", " << bbname << ");"; 13217e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out); 1322c137120bb047a7017cbab21f5f9c9e6f65e2b84fJay Foad for (unsigned i = 0; i < phi->getNumIncomingValues(); ++i) { 13237e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << iName << "->addIncoming(" 1324c137120bb047a7017cbab21f5f9c9e6f65e2b84fJay Foad << opNames[PHINode::getOperandNumForIncomingValue(i)] << ", " 132595c3e48f9557adb6064d580684bb14cacec2f826Jay Foad << getOpName(phi->getIncomingBlock(i)) << ");"; 13265027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov nl(Out); 13275027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov } 13287e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner break; 13297e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } 13307e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::Trunc: 13317e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::ZExt: 13327e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::SExt: 13337e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::FPTrunc: 13347e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::FPExt: 13357e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::FPToUI: 13367e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::FPToSI: 13377e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::UIToFP: 13387e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::SIToFP: 13397e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::PtrToInt: 13407e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::IntToPtr: 13417e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::BitCast: { 13427e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner const CastInst* cst = cast<CastInst>(I); 13437e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "CastInst* " << iName << " = new "; 13447e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner switch (I->getOpcode()) { 13457e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::Trunc: Out << "TruncInst"; break; 13467e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::ZExt: Out << "ZExtInst"; break; 13477e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::SExt: Out << "SExtInst"; break; 13487e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::FPTrunc: Out << "FPTruncInst"; break; 13497e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::FPExt: Out << "FPExtInst"; break; 13507e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::FPToUI: Out << "FPToUIInst"; break; 13517e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::FPToSI: Out << "FPToSIInst"; break; 13527e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::UIToFP: Out << "UIToFPInst"; break; 13537e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::SIToFP: Out << "SIToFPInst"; break; 13547e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::PtrToInt: Out << "PtrToIntInst"; break; 13557e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::IntToPtr: Out << "IntToPtrInst"; break; 13567e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::BitCast: Out << "BitCastInst"; break; 135723946fcaaefaf3c1a9d1ef86a3786f622c005f1aRichard Trieu default: assert(0 && "Unreachable"); break; 13587e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } 13597e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "(" << opNames[0] << ", " 13607e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << getCppName(cst->getType()) << ", \""; 13617e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printEscapedString(cst->getName()); 13627e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "\", " << bbname << ");"; 13637e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner break; 13647e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } 13657a1d92a2cbc20888260efa7d5ad987dc39fcb134Gabor Greif case Instruction::Call: { 13667e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner const CallInst* call = cast<CallInst>(I); 13677e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (const InlineAsm* ila = dyn_cast<InlineAsm>(call->getCalledValue())) { 13687e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "InlineAsm* " << getCppName(ila) << " = InlineAsm::get(" 13697e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << getCppName(ila->getFunctionType()) << ", \"" 13707e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << ila->getAsmString() << "\", \"" 13717e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << ila->getConstraintString() << "\"," 13727e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << (ila->hasSideEffects() ? "true" : "false") << ");"; 13735027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov nl(Out); 13745027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov } 13757a1d92a2cbc20888260efa7d5ad987dc39fcb134Gabor Greif if (call->getNumArgOperands() > 1) { 13767e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "std::vector<Value*> " << iName << "_params;"; 13777e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out); 137853ba550df1980164c016954e4b132d5a5552ada7Gabor Greif for (unsigned i = 0; i < call->getNumArgOperands(); ++i) { 137963d024fc9a4f89987fa2cf7ab466ea17ec78ed14Gabor Greif Out << iName << "_params.push_back(" << opNames[i] << ");"; 13805027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov nl(Out); 13815027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov } 13827e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "CallInst* " << iName << " = CallInst::Create(" 1383a399781289092fcdceb58b21174229f4373c4191Gabor Greif << opNames[call->getNumArgOperands()] << ", " 1384a056d201679891adf691f388dce7e56f06106752Nicolas Geoffray << iName << "_params, \""; 13857a1d92a2cbc20888260efa7d5ad987dc39fcb134Gabor Greif } else if (call->getNumArgOperands() == 1) { 13867e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "CallInst* " << iName << " = CallInst::Create(" 138763d024fc9a4f89987fa2cf7ab466ea17ec78ed14Gabor Greif << opNames[call->getNumArgOperands()] << ", " << opNames[0] << ", \""; 13887e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } else { 138963d024fc9a4f89987fa2cf7ab466ea17ec78ed14Gabor Greif Out << "CallInst* " << iName << " = CallInst::Create(" 139063d024fc9a4f89987fa2cf7ab466ea17ec78ed14Gabor Greif << opNames[call->getNumArgOperands()] << ", \""; 13915027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov } 13927e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printEscapedString(call->getName()); 13937e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "\", " << bbname << ");"; 13947e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out) << iName << "->setCallingConv("; 13957e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printCallingConv(call->getCallingConv()); 13967e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << ");"; 13977e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out) << iName << "->setTailCall(" 13987a1d92a2cbc20888260efa7d5ad987dc39fcb134Gabor Greif << (call->isTailCall() ? "true" : "false"); 13997e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << ");"; 1400135d7fe9bb27594820ae3b64e6f6937b5cef771eGabor Greif nl(Out); 14017e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printAttributes(call->getAttributes(), iName); 14027e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << iName << "->setAttributes(" << iName << "_PAL);"; 14037e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out); 14047e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner break; 14057e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } 14067e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::Select: { 14077e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner const SelectInst* sel = cast<SelectInst>(I); 14087e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "SelectInst* " << getCppName(sel) << " = SelectInst::Create("; 14097e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << opNames[0] << ", " << opNames[1] << ", " << opNames[2] << ", \""; 14107e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printEscapedString(sel->getName()); 14117e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "\", " << bbname << ");"; 14127e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner break; 14137e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } 14147e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::UserOp1: 14157e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner /// FALL THROUGH 14167e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::UserOp2: { 14177e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner /// FIXME: What should be done here? 14187e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner break; 14197e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } 14207e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::VAArg: { 14217e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner const VAArgInst* va = cast<VAArgInst>(I); 14227e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "VAArgInst* " << getCppName(va) << " = new VAArgInst(" 14237e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << opNames[0] << ", " << getCppName(va->getType()) << ", \""; 14247e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printEscapedString(va->getName()); 14257e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "\", " << bbname << ");"; 14267e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner break; 14277e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } 14287e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::ExtractElement: { 14297e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner const ExtractElementInst* eei = cast<ExtractElementInst>(I); 14307e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "ExtractElementInst* " << getCppName(eei) 14317e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << " = new ExtractElementInst(" << opNames[0] 14327e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << ", " << opNames[1] << ", \""; 14337e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printEscapedString(eei->getName()); 14347e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "\", " << bbname << ");"; 14357e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner break; 14367e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } 14377e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::InsertElement: { 14387e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner const InsertElementInst* iei = cast<InsertElementInst>(I); 14397e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "InsertElementInst* " << getCppName(iei) 14407e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << " = InsertElementInst::Create(" << opNames[0] 14417e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << ", " << opNames[1] << ", " << opNames[2] << ", \""; 14427e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printEscapedString(iei->getName()); 14437e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "\", " << bbname << ");"; 14447e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner break; 14457e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } 14467e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::ShuffleVector: { 14477e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner const ShuffleVectorInst* svi = cast<ShuffleVectorInst>(I); 14487e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "ShuffleVectorInst* " << getCppName(svi) 14497e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << " = new ShuffleVectorInst(" << opNames[0] 14507e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << ", " << opNames[1] << ", " << opNames[2] << ", \""; 14517e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printEscapedString(svi->getName()); 14527e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "\", " << bbname << ");"; 14537e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner break; 14547e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } 14557e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::ExtractValue: { 14567e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner const ExtractValueInst *evi = cast<ExtractValueInst>(I); 14577e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "std::vector<unsigned> " << iName << "_indices;"; 14587e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out); 14597e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner for (unsigned i = 0; i < evi->getNumIndices(); ++i) { 14607e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << iName << "_indices.push_back(" 14617e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << evi->idx_begin()[i] << ");"; 146275146a6725739fe11ca183f1c4c5518eb164b2e5Dan Gohman nl(Out); 146375146a6725739fe11ca183f1c4c5518eb164b2e5Dan Gohman } 14647e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "ExtractValueInst* " << getCppName(evi) 14657e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << " = ExtractValueInst::Create(" << opNames[0] 14667e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << ", " 14673bca1013291e1b17050e3332faf3dccb128b3da0Nick Lewycky << iName << "_indices, \""; 14687e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printEscapedString(evi->getName()); 14697e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "\", " << bbname << ");"; 14707e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner break; 14717e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } 14727e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case Instruction::InsertValue: { 14737e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner const InsertValueInst *ivi = cast<InsertValueInst>(I); 14747e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "std::vector<unsigned> " << iName << "_indices;"; 14757e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out); 14767e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner for (unsigned i = 0; i < ivi->getNumIndices(); ++i) { 14777e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << iName << "_indices.push_back(" 14787e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << ivi->idx_begin()[i] << ");"; 147975146a6725739fe11ca183f1c4c5518eb164b2e5Dan Gohman nl(Out); 148075146a6725739fe11ca183f1c4c5518eb164b2e5Dan Gohman } 14817e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "InsertValueInst* " << getCppName(ivi) 14827e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << " = InsertValueInst::Create(" << opNames[0] 14837e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << ", " << opNames[1] << ", " 14843bca1013291e1b17050e3332faf3dccb128b3da0Nick Lewycky << iName << "_indices, \""; 14857e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printEscapedString(ivi->getName()); 14867e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "\", " << bbname << ");"; 14877e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner break; 14887e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } 1489a7dd4dfccab3ab5b2a7f187baf6522a93d9acab2Eli Friedman case Instruction::Fence: { 1490a7dd4dfccab3ab5b2a7f187baf6522a93d9acab2Eli Friedman const FenceInst *fi = cast<FenceInst>(I); 1491a7dd4dfccab3ab5b2a7f187baf6522a93d9acab2Eli Friedman StringRef Ordering = ConvertAtomicOrdering(fi->getOrdering()); 1492a7dd4dfccab3ab5b2a7f187baf6522a93d9acab2Eli Friedman StringRef CrossThread = ConvertAtomicSynchScope(fi->getSynchScope()); 1493a7dd4dfccab3ab5b2a7f187baf6522a93d9acab2Eli Friedman Out << "FenceInst* " << iName 1494a7dd4dfccab3ab5b2a7f187baf6522a93d9acab2Eli Friedman << " = new FenceInst(mod->getContext(), " 14955b7cc334c8803284df7cf3aaee378b78f775b6efEli Friedman << Ordering << ", " << CrossThread << ", " << bbname 1496a7dd4dfccab3ab5b2a7f187baf6522a93d9acab2Eli Friedman << ");"; 1497a7dd4dfccab3ab5b2a7f187baf6522a93d9acab2Eli Friedman break; 1498a7dd4dfccab3ab5b2a7f187baf6522a93d9acab2Eli Friedman } 1499a7dd4dfccab3ab5b2a7f187baf6522a93d9acab2Eli Friedman case Instruction::AtomicCmpXchg: { 1500a7dd4dfccab3ab5b2a7f187baf6522a93d9acab2Eli Friedman const AtomicCmpXchgInst *cxi = cast<AtomicCmpXchgInst>(I); 1501a7dd4dfccab3ab5b2a7f187baf6522a93d9acab2Eli Friedman StringRef Ordering = ConvertAtomicOrdering(cxi->getOrdering()); 1502a7dd4dfccab3ab5b2a7f187baf6522a93d9acab2Eli Friedman StringRef CrossThread = ConvertAtomicSynchScope(cxi->getSynchScope()); 1503a7dd4dfccab3ab5b2a7f187baf6522a93d9acab2Eli Friedman Out << "AtomicCmpXchgInst* " << iName 1504a7dd4dfccab3ab5b2a7f187baf6522a93d9acab2Eli Friedman << " = new AtomicCmpXchgInst(" 1505a7dd4dfccab3ab5b2a7f187baf6522a93d9acab2Eli Friedman << opNames[0] << ", " << opNames[1] << ", " << opNames[2] << ", " 15065b7cc334c8803284df7cf3aaee378b78f775b6efEli Friedman << Ordering << ", " << CrossThread << ", " << bbname 1507a7dd4dfccab3ab5b2a7f187baf6522a93d9acab2Eli Friedman << ");"; 1508a7dd4dfccab3ab5b2a7f187baf6522a93d9acab2Eli Friedman nl(Out) << iName << "->setName(\""; 1509a7dd4dfccab3ab5b2a7f187baf6522a93d9acab2Eli Friedman printEscapedString(cxi->getName()); 1510a7dd4dfccab3ab5b2a7f187baf6522a93d9acab2Eli Friedman Out << "\");"; 1511a7dd4dfccab3ab5b2a7f187baf6522a93d9acab2Eli Friedman break; 1512a7dd4dfccab3ab5b2a7f187baf6522a93d9acab2Eli Friedman } 1513a7dd4dfccab3ab5b2a7f187baf6522a93d9acab2Eli Friedman case Instruction::AtomicRMW: { 1514a7dd4dfccab3ab5b2a7f187baf6522a93d9acab2Eli Friedman const AtomicRMWInst *rmwi = cast<AtomicRMWInst>(I); 1515a7dd4dfccab3ab5b2a7f187baf6522a93d9acab2Eli Friedman StringRef Ordering = ConvertAtomicOrdering(rmwi->getOrdering()); 1516a7dd4dfccab3ab5b2a7f187baf6522a93d9acab2Eli Friedman StringRef CrossThread = ConvertAtomicSynchScope(rmwi->getSynchScope()); 1517a7dd4dfccab3ab5b2a7f187baf6522a93d9acab2Eli Friedman StringRef Operation; 1518a7dd4dfccab3ab5b2a7f187baf6522a93d9acab2Eli Friedman switch (rmwi->getOperation()) { 1519a7dd4dfccab3ab5b2a7f187baf6522a93d9acab2Eli Friedman case AtomicRMWInst::Xchg: Operation = "AtomicRMWInst::Xchg"; break; 1520a7dd4dfccab3ab5b2a7f187baf6522a93d9acab2Eli Friedman case AtomicRMWInst::Add: Operation = "AtomicRMWInst::Add"; break; 1521a7dd4dfccab3ab5b2a7f187baf6522a93d9acab2Eli Friedman case AtomicRMWInst::Sub: Operation = "AtomicRMWInst::Sub"; break; 1522a7dd4dfccab3ab5b2a7f187baf6522a93d9acab2Eli Friedman case AtomicRMWInst::And: Operation = "AtomicRMWInst::And"; break; 1523a7dd4dfccab3ab5b2a7f187baf6522a93d9acab2Eli Friedman case AtomicRMWInst::Nand: Operation = "AtomicRMWInst::Nand"; break; 1524a7dd4dfccab3ab5b2a7f187baf6522a93d9acab2Eli Friedman case AtomicRMWInst::Or: Operation = "AtomicRMWInst::Or"; break; 1525a7dd4dfccab3ab5b2a7f187baf6522a93d9acab2Eli Friedman case AtomicRMWInst::Xor: Operation = "AtomicRMWInst::Xor"; break; 1526a7dd4dfccab3ab5b2a7f187baf6522a93d9acab2Eli Friedman case AtomicRMWInst::Max: Operation = "AtomicRMWInst::Max"; break; 1527a7dd4dfccab3ab5b2a7f187baf6522a93d9acab2Eli Friedman case AtomicRMWInst::Min: Operation = "AtomicRMWInst::Min"; break; 1528a7dd4dfccab3ab5b2a7f187baf6522a93d9acab2Eli Friedman case AtomicRMWInst::UMax: Operation = "AtomicRMWInst::UMax"; break; 1529a7dd4dfccab3ab5b2a7f187baf6522a93d9acab2Eli Friedman case AtomicRMWInst::UMin: Operation = "AtomicRMWInst::UMin"; break; 1530a7dd4dfccab3ab5b2a7f187baf6522a93d9acab2Eli Friedman case AtomicRMWInst::BAD_BINOP: llvm_unreachable("Bad atomic operation"); 1531a7dd4dfccab3ab5b2a7f187baf6522a93d9acab2Eli Friedman } 1532a7dd4dfccab3ab5b2a7f187baf6522a93d9acab2Eli Friedman Out << "AtomicRMWInst* " << iName 1533a7dd4dfccab3ab5b2a7f187baf6522a93d9acab2Eli Friedman << " = new AtomicRMWInst(" 1534a7dd4dfccab3ab5b2a7f187baf6522a93d9acab2Eli Friedman << Operation << ", " 1535a7dd4dfccab3ab5b2a7f187baf6522a93d9acab2Eli Friedman << opNames[0] << ", " << opNames[1] << ", " 15365b7cc334c8803284df7cf3aaee378b78f775b6efEli Friedman << Ordering << ", " << CrossThread << ", " << bbname 1537a7dd4dfccab3ab5b2a7f187baf6522a93d9acab2Eli Friedman << ");"; 1538a7dd4dfccab3ab5b2a7f187baf6522a93d9acab2Eli Friedman nl(Out) << iName << "->setName(\""; 1539a7dd4dfccab3ab5b2a7f187baf6522a93d9acab2Eli Friedman printEscapedString(rmwi->getName()); 1540a7dd4dfccab3ab5b2a7f187baf6522a93d9acab2Eli Friedman Out << "\");"; 1541a7dd4dfccab3ab5b2a7f187baf6522a93d9acab2Eli Friedman break; 1542a7dd4dfccab3ab5b2a7f187baf6522a93d9acab2Eli Friedman } 15435027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov } 15445027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov DefinedValues.insert(I); 15455027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov nl(Out); 15465027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov delete [] opNames; 15475027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov} 15485027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov 15497e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner// Print out the types, constants and declarations needed by one function 15507e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattnervoid CppWriter::printFunctionUses(const Function* F) { 15517e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out) << "// Type Definitions"; nl(Out); 15527e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (!is_inline) { 15537e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // Print the function's return type 15547e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printType(F->getReturnType()); 15555027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov 15567e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // Print the function's function type 15577e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printType(F->getFunctionType()); 15585027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov 15597e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // Print the types of each of the function's arguments 15607e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner for (Function::const_arg_iterator AI = F->arg_begin(), AE = F->arg_end(); 15617e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner AI != AE; ++AI) { 15627e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printType(AI->getType()); 15635027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov } 15647e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } 15655027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov 15667e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // Print type definitions for every type referenced by an instruction and 15677e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // make a note of any global values or constants that are referenced 15687e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner SmallPtrSet<GlobalValue*,64> gvs; 15697e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner SmallPtrSet<Constant*,64> consts; 15707e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner for (Function::const_iterator BB = F->begin(), BE = F->end(); 15717e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner BB != BE; ++BB){ 15727e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner for (BasicBlock::const_iterator I = BB->begin(), E = BB->end(); 15737e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner I != E; ++I) { 15747e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // Print the type of the instruction itself 15757e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printType(I->getType()); 15765027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov 15777e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // Print the type of each of the instruction's operands 15787e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner for (unsigned i = 0; i < I->getNumOperands(); ++i) { 15797e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Value* operand = I->getOperand(i); 15807e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printType(operand->getType()); 15817e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner 15827e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // If the operand references a GVal or Constant, make a note of it 15837e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (GlobalValue* GV = dyn_cast<GlobalValue>(operand)) { 15847e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner gvs.insert(GV); 15857509ccda930156d44f83b4b40eef077e93313091Nicolas Geoffray if (GenerationType != GenFunction) 15867509ccda930156d44f83b4b40eef077e93313091Nicolas Geoffray if (GlobalVariable *GVar = dyn_cast<GlobalVariable>(GV)) 15877509ccda930156d44f83b4b40eef077e93313091Nicolas Geoffray if (GVar->hasInitializer()) 15887509ccda930156d44f83b4b40eef077e93313091Nicolas Geoffray consts.insert(GVar->getInitializer()); 15897509ccda930156d44f83b4b40eef077e93313091Nicolas Geoffray } else if (Constant* C = dyn_cast<Constant>(operand)) { 15907e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner consts.insert(C); 15917509ccda930156d44f83b4b40eef077e93313091Nicolas Geoffray for (unsigned j = 0; j < C->getNumOperands(); ++j) { 15927509ccda930156d44f83b4b40eef077e93313091Nicolas Geoffray // If the operand references a GVal or Constant, make a note of it 15937509ccda930156d44f83b4b40eef077e93313091Nicolas Geoffray Value* operand = C->getOperand(j); 15947509ccda930156d44f83b4b40eef077e93313091Nicolas Geoffray printType(operand->getType()); 15957509ccda930156d44f83b4b40eef077e93313091Nicolas Geoffray if (GlobalValue* GV = dyn_cast<GlobalValue>(operand)) { 15967509ccda930156d44f83b4b40eef077e93313091Nicolas Geoffray gvs.insert(GV); 15977509ccda930156d44f83b4b40eef077e93313091Nicolas Geoffray if (GenerationType != GenFunction) 15987509ccda930156d44f83b4b40eef077e93313091Nicolas Geoffray if (GlobalVariable *GVar = dyn_cast<GlobalVariable>(GV)) 15997509ccda930156d44f83b4b40eef077e93313091Nicolas Geoffray if (GVar->hasInitializer()) 16007509ccda930156d44f83b4b40eef077e93313091Nicolas Geoffray consts.insert(GVar->getInitializer()); 16017509ccda930156d44f83b4b40eef077e93313091Nicolas Geoffray } 16027509ccda930156d44f83b4b40eef077e93313091Nicolas Geoffray } 16037509ccda930156d44f83b4b40eef077e93313091Nicolas Geoffray } 16045027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov } 16055027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov } 16067e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } 16075027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov 16087e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // Print the function declarations for any functions encountered 16097e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out) << "// Function Declarations"; nl(Out); 16107e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner for (SmallPtrSet<GlobalValue*,64>::iterator I = gvs.begin(), E = gvs.end(); 16117e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner I != E; ++I) { 16127e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (Function* Fun = dyn_cast<Function>(*I)) { 16137e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (!is_inline || Fun != F) 16147e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printFunctionHead(Fun); 16155027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov } 16167e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } 16175027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov 16187e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // Print the global variable declarations for any variables encountered 16197e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out) << "// Global Variable Declarations"; nl(Out); 16207e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner for (SmallPtrSet<GlobalValue*,64>::iterator I = gvs.begin(), E = gvs.end(); 16217e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner I != E; ++I) { 16227e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (GlobalVariable* F = dyn_cast<GlobalVariable>(*I)) 16237e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printVariableHead(F); 16247e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } 16255027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov 16267509ccda930156d44f83b4b40eef077e93313091Nicolas Geoffray // Print the constants found 16277e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out) << "// Constant Definitions"; nl(Out); 16287e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner for (SmallPtrSet<Constant*,64>::iterator I = consts.begin(), 16297e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner E = consts.end(); I != E; ++I) { 16307e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printConstant(*I); 16317e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } 16325027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov 16337e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // Process the global variables definitions now that all the constants have 16347e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // been emitted. These definitions just couple the gvars with their constant 16357e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // initializers. 16367509ccda930156d44f83b4b40eef077e93313091Nicolas Geoffray if (GenerationType != GenFunction) { 16377509ccda930156d44f83b4b40eef077e93313091Nicolas Geoffray nl(Out) << "// Global Variable Definitions"; nl(Out); 16387509ccda930156d44f83b4b40eef077e93313091Nicolas Geoffray for (SmallPtrSet<GlobalValue*,64>::iterator I = gvs.begin(), E = gvs.end(); 16397509ccda930156d44f83b4b40eef077e93313091Nicolas Geoffray I != E; ++I) { 16407509ccda930156d44f83b4b40eef077e93313091Nicolas Geoffray if (GlobalVariable* GV = dyn_cast<GlobalVariable>(*I)) 16417509ccda930156d44f83b4b40eef077e93313091Nicolas Geoffray printVariableBody(GV); 16427509ccda930156d44f83b4b40eef077e93313091Nicolas Geoffray } 16435027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov } 16447e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner} 16455027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov 16467e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattnervoid CppWriter::printFunctionHead(const Function* F) { 16477e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out) << "Function* " << getCppName(F); 1648f8557957fbdd0f08da3a468daa568b2050745a98Nicolas Geoffray Out << " = mod->getFunction(\""; 1649f8557957fbdd0f08da3a468daa568b2050745a98Nicolas Geoffray printEscapedString(F->getName()); 1650f8557957fbdd0f08da3a468daa568b2050745a98Nicolas Geoffray Out << "\");"; 1651f8557957fbdd0f08da3a468daa568b2050745a98Nicolas Geoffray nl(Out) << "if (!" << getCppName(F) << ") {"; 1652f8557957fbdd0f08da3a468daa568b2050745a98Nicolas Geoffray nl(Out) << getCppName(F); 1653f8557957fbdd0f08da3a468daa568b2050745a98Nicolas Geoffray 16547e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out<< " = Function::Create("; 16557e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out,1) << "/*Type=*/" << getCppName(F->getFunctionType()) << ","; 16567e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out) << "/*Linkage=*/"; 16577e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printLinkageType(F->getLinkage()); 16587e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << ","; 16597e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out) << "/*Name=*/\""; 16607e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printEscapedString(F->getName()); 16617e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "\", mod); " << (F->isDeclaration()? "// (external, no body)" : ""); 16627e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out,-1); 16637e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printCppName(F); 16647e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "->setCallingConv("; 16657e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printCallingConv(F->getCallingConv()); 16667e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << ");"; 16677e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out); 16687e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (F->hasSection()) { 16697e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printCppName(F); 16707e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "->setSection(\"" << F->getSection() << "\");"; 16717e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out); 16727e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } 16737e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (F->getAlignment()) { 16747e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printCppName(F); 16757e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "->setAlignment(" << F->getAlignment() << ");"; 16767e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out); 16777e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } 16787e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (F->getVisibility() != GlobalValue::DefaultVisibility) { 16795027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov printCppName(F); 16807e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "->setVisibility("; 16817e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printVisibilityType(F->getVisibility()); 16825027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov Out << ");"; 16835027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov nl(Out); 16847e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } 16857e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (F->hasGC()) { 16865027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov printCppName(F); 16877e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "->setGC(\"" << F->getGC() << "\");"; 16885027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov nl(Out); 16895027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov } 1690f8557957fbdd0f08da3a468daa568b2050745a98Nicolas Geoffray Out << "}"; 1691f8557957fbdd0f08da3a468daa568b2050745a98Nicolas Geoffray nl(Out); 16927e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printAttributes(F->getAttributes(), getCppName(F)); 16937e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printCppName(F); 16947e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "->setAttributes(" << getCppName(F) << "_PAL);"; 16957e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out); 16967e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner} 16975027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov 16987e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattnervoid CppWriter::printFunctionBody(const Function *F) { 16997e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (F->isDeclaration()) 17007e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner return; // external functions have no bodies. 17015027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov 17027e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // Clear the DefinedValues and ForwardRefs maps because we can't have 17037e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // cross-function forward refs 17047e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner ForwardRefs.clear(); 17057e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner DefinedValues.clear(); 17065027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov 17077e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // Create all the argument values 17087e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (!is_inline) { 17097e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (!F->arg_empty()) { 17107e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "Function::arg_iterator args = " << getCppName(F) 17117e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << "->arg_begin();"; 17125027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov nl(Out); 17135027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov } 17147e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner for (Function::const_arg_iterator AI = F->arg_begin(), AE = F->arg_end(); 17157e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner AI != AE; ++AI) { 17167e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "Value* " << getCppName(AI) << " = args++;"; 17175027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov nl(Out); 17187e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (AI->hasName()) { 1719a7dd4dfccab3ab5b2a7f187baf6522a93d9acab2Eli Friedman Out << getCppName(AI) << "->setName(\""; 1720a7dd4dfccab3ab5b2a7f187baf6522a93d9acab2Eli Friedman printEscapedString(AI->getName()); 1721a7dd4dfccab3ab5b2a7f187baf6522a93d9acab2Eli Friedman Out << "\");"; 17227e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out); 17235027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov } 17245027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov } 17257e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } 17265027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov 17277e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // Create all the basic blocks 17287e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out); 17297e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner for (Function::const_iterator BI = F->begin(), BE = F->end(); 17307e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner BI != BE; ++BI) { 17317e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner std::string bbname(getCppName(BI)); 17327e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "BasicBlock* " << bbname << 17337e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner " = BasicBlock::Create(mod->getContext(), \""; 17347e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (BI->hasName()) 17357e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printEscapedString(BI->getName()); 17367e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "\"," << getCppName(BI->getParent()) << ",0);"; 17377e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out); 17387e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } 17395027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov 17407e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // Output all of its basic blocks... for the function 17417e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner for (Function::const_iterator BI = F->begin(), BE = F->end(); 17427e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner BI != BE; ++BI) { 17437e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner std::string bbname(getCppName(BI)); 17447e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out) << "// Block " << BI->getName() << " (" << bbname << ")"; 17457e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out); 17467e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner 17477e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // Output all of the instructions in the basic block... 17487e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner for (BasicBlock::const_iterator I = BI->begin(), E = BI->end(); 17497e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner I != E; ++I) { 17507e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printInstruction(I,bbname); 17515027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov } 17525027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov } 17535027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov 17547e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // Loop over the ForwardRefs and resolve them now that all instructions 17557e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // are generated. 17567e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (!ForwardRefs.empty()) { 17577e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out) << "// Resolve Forward References"; 17585027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov nl(Out); 17597e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } 17607e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner 17617e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner while (!ForwardRefs.empty()) { 17627e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner ForwardRefMap::iterator I = ForwardRefs.begin(); 17637e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << I->second << "->replaceAllUsesWith(" 17647e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << getCppName(I->first) << "); delete " << I->second << ";"; 17655027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov nl(Out); 17667e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner ForwardRefs.erase(I); 17675027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov } 17687e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner} 17695027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov 17707e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattnervoid CppWriter::printInline(const std::string& fname, 17717e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner const std::string& func) { 17727e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner const Function* F = TheModule->getFunction(func); 17737e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (!F) { 17747e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner error(std::string("Function '") + func + "' not found in input module"); 17757e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner return; 17767e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } 17777e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (F->isDeclaration()) { 17787e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner error(std::string("Function '") + func + "' is external!"); 17797e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner return; 17807e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } 17817e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out) << "BasicBlock* " << fname << "(Module* mod, Function *" 17827e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << getCppName(F); 17837e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner unsigned arg_count = 1; 17847e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner for (Function::const_arg_iterator AI = F->arg_begin(), AE = F->arg_end(); 17857e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner AI != AE; ++AI) { 17867e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << ", Value* arg_" << arg_count; 17877e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } 17887e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << ") {"; 17897e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out); 17907e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner is_inline = true; 17917e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printFunctionUses(F); 17927e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printFunctionBody(F); 17937e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner is_inline = false; 17947e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "return " << getCppName(F->begin()) << ";"; 17957e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out) << "}"; 17967e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out); 17977e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner} 17985027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov 17997e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattnervoid CppWriter::printModuleBody() { 18007e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // Print out all the type definitions 18017e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out) << "// Type Definitions"; nl(Out); 18027e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printTypes(TheModule); 18037e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner 18047e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // Functions can call each other and global variables can reference them so 18057e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // define all the functions first before emitting their function bodies. 18067e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out) << "// Function Declarations"; nl(Out); 18077e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner for (Module::const_iterator I = TheModule->begin(), E = TheModule->end(); 18087e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner I != E; ++I) 18097e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printFunctionHead(I); 18107e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner 18117e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // Process the global variables declarations. We can't initialze them until 18127e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // after the constants are printed so just print a header for each global 18137e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out) << "// Global Variable Declarations\n"; nl(Out); 18147e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner for (Module::const_global_iterator I = TheModule->global_begin(), 18157e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner E = TheModule->global_end(); I != E; ++I) { 18167e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printVariableHead(I); 18177e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } 18185027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov 18197e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // Print out all the constants definitions. Constants don't recurse except 18207e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // through GlobalValues. All GlobalValues have been declared at this point 18217e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // so we can proceed to generate the constants. 18227e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out) << "// Constant Definitions"; nl(Out); 18237e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printConstants(TheModule); 18247e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner 18257e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // Process the global variables definitions now that all the constants have 18267e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // been emitted. These definitions just couple the gvars with their constant 18277e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // initializers. 18287e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out) << "// Global Variable Definitions"; nl(Out); 18297e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner for (Module::const_global_iterator I = TheModule->global_begin(), 18307e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner E = TheModule->global_end(); I != E; ++I) { 18317e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printVariableBody(I); 18325027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov } 18335027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov 18347e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // Finally, we can safely put out all of the function bodies. 18357e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out) << "// Function Definitions"; nl(Out); 18367e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner for (Module::const_iterator I = TheModule->begin(), E = TheModule->end(); 18377e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner I != E; ++I) { 18387e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (!I->isDeclaration()) { 18397e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out) << "// Function: " << I->getName() << " (" << getCppName(I) 18407e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << ")"; 18417e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out) << "{"; 18427e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out,1); 18437e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printFunctionBody(I); 18447e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out,-1) << "}"; 18457e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out); 18465027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov } 18477e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } 18487e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner} 18495027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov 18507e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattnervoid CppWriter::printProgram(const std::string& fname, 18517e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner const std::string& mName) { 18527e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "#include <llvm/LLVMContext.h>\n"; 18537e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "#include <llvm/Module.h>\n"; 18547e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "#include <llvm/DerivedTypes.h>\n"; 18557e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "#include <llvm/Constants.h>\n"; 18567e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "#include <llvm/GlobalVariable.h>\n"; 18577e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "#include <llvm/Function.h>\n"; 18587e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "#include <llvm/CallingConv.h>\n"; 18597e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "#include <llvm/BasicBlock.h>\n"; 18607e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "#include <llvm/Instructions.h>\n"; 18617e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "#include <llvm/InlineAsm.h>\n"; 18627e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "#include <llvm/Support/FormattedStream.h>\n"; 18637e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "#include <llvm/Support/MathExtras.h>\n"; 18647e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "#include <llvm/Pass.h>\n"; 18657e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "#include <llvm/PassManager.h>\n"; 18667e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "#include <llvm/ADT/SmallVector.h>\n"; 18677e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "#include <llvm/Analysis/Verifier.h>\n"; 18687e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "#include <llvm/Assembly/PrintModulePass.h>\n"; 18697e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "#include <algorithm>\n"; 18707e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "using namespace llvm;\n\n"; 18717e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "Module* " << fname << "();\n\n"; 18727e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "int main(int argc, char**argv) {\n"; 18737e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << " Module* Mod = " << fname << "();\n"; 18747e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << " verifyModule(*Mod, PrintMessageAction);\n"; 18757e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << " PassManager PM;\n"; 18767e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << " PM.add(createPrintModulePass(&outs()));\n"; 18777e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << " PM.run(*Mod);\n"; 18787e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << " return 0;\n"; 18797e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "}\n\n"; 18807e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printModule(fname,mName); 18817e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner} 18825027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov 18837e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattnervoid CppWriter::printModule(const std::string& fname, 18847e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner const std::string& mName) { 18857e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out) << "Module* " << fname << "() {"; 18867e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out,1) << "// Module Construction"; 18877e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out) << "Module* mod = new Module(\""; 18887e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printEscapedString(mName); 18897e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "\", getGlobalContext());"; 18907e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (!TheModule->getTargetTriple().empty()) { 18917e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out) << "mod->setDataLayout(\"" << TheModule->getDataLayout() << "\");"; 18927e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } 18937e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (!TheModule->getTargetTriple().empty()) { 18947e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out) << "mod->setTargetTriple(\"" << TheModule->getTargetTriple() 18957e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner << "\");"; 18967e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } 18977e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner 18987e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (!TheModule->getModuleInlineAsm().empty()) { 18997e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out) << "mod->setModuleInlineAsm(\""; 19007e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printEscapedString(TheModule->getModuleInlineAsm()); 19017e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "\");"; 19027e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } 19037e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out); 19047e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner 19057e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // Loop over the dependent libraries and emit them. 19067e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Module::lib_iterator LI = TheModule->lib_begin(); 19077e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Module::lib_iterator LE = TheModule->lib_end(); 19087e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner while (LI != LE) { 19097e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "mod->addLibrary(\"" << *LI << "\");"; 19105027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov nl(Out); 19117e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner ++LI; 19125027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov } 19137e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printModuleBody(); 19147e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out) << "return mod;"; 19157e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out,-1) << "}"; 19167e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner nl(Out); 19177e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner} 19187e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner 19197e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattnervoid CppWriter::printContents(const std::string& fname, 19207e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner const std::string& mName) { 19217e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "\nModule* " << fname << "(Module *mod) {\n"; 19227e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "\nmod->setModuleIdentifier(\""; 19237e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printEscapedString(mName); 19247e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "\");\n"; 19257e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printModuleBody(); 19267e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "\nreturn mod;\n"; 19277e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "\n}\n"; 19287e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner} 19295027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov 19307e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattnervoid CppWriter::printFunction(const std::string& fname, 19317e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner const std::string& funcName) { 19327e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner const Function* F = TheModule->getFunction(funcName); 19337e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (!F) { 19347e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner error(std::string("Function '") + funcName + "' not found in input module"); 19357e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner return; 19365027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov } 19377e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "\nFunction* " << fname << "(Module *mod) {\n"; 19387e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printFunctionUses(F); 19397e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printFunctionHead(F); 19407e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printFunctionBody(F); 19417e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "return " << getCppName(F) << ";\n"; 19427e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "}\n"; 19437e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner} 19445027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov 19457e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattnervoid CppWriter::printFunctions() { 19467e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner const Module::FunctionListType &funcs = TheModule->getFunctionList(); 19477e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Module::const_iterator I = funcs.begin(); 19487e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Module::const_iterator IE = funcs.end(); 19497e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner 19507e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner for (; I != IE; ++I) { 19517e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner const Function &func = *I; 19527e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (!func.isDeclaration()) { 19537e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner std::string name("define_"); 19547e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner name += func.getName(); 19557e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printFunction(name, func.getName()); 19565027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov } 19575027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov } 19587e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner} 19595027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov 19607e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattnervoid CppWriter::printVariable(const std::string& fname, 19617e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner const std::string& varName) { 19627e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner const GlobalVariable* GV = TheModule->getNamedGlobal(varName); 19635027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov 19647e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (!GV) { 19657e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner error(std::string("Variable '") + varName + "' not found in input module"); 19667e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner return; 19677e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } 19687e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "\nGlobalVariable* " << fname << "(Module *mod) {\n"; 19697e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printVariableUses(GV); 19707e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printVariableHead(GV); 19717e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printVariableBody(GV); 19727e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "return " << getCppName(GV) << ";\n"; 19737e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "}\n"; 19747e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner} 19755027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov 19761afcace3a3a138b1b18e5c6270caa8dae2261ae2Chris Lattnervoid CppWriter::printType(const std::string &fname, 19771afcace3a3a138b1b18e5c6270caa8dae2261ae2Chris Lattner const std::string &typeName) { 1978db125cfaf57cc83e7dd7453de2d509bc8efd0e5eChris Lattner Type* Ty = TheModule->getTypeByName(typeName); 19797e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (!Ty) { 19807e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner error(std::string("Type '") + typeName + "' not found in input module"); 19817e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner return; 19825027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov } 19837e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "\nType* " << fname << "(Module *mod) {\n"; 19847e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printType(Ty); 19857e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "return " << getCppName(Ty) << ";\n"; 19867e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "}\n"; 19877e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner} 19887e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner 19897e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattnerbool CppWriter::runOnModule(Module &M) { 19907e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner TheModule = &M; 19917e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner 19927e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // Emit a header 19937e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner Out << "// Generated by llvm2cpp - DO NOT MODIFY!\n\n"; 19947e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner 19957e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // Get the name of the function we're supposed to generate 19967e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner std::string fname = FuncName.getValue(); 19977e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner 19987e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner // Get the name of the thing we are to generate 19997e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner std::string tgtname = NameToGenerate.getValue(); 20007e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (GenerationType == GenModule || 20017e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner GenerationType == GenContents || 20027e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner GenerationType == GenProgram || 20037e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner GenerationType == GenFunctions) { 20047e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (tgtname == "!bad!") { 20057e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (M.getModuleIdentifier() == "-") 20067e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner tgtname = "<stdin>"; 20077e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner else 20087e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner tgtname = M.getModuleIdentifier(); 20097e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } 20107e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } else if (tgtname == "!bad!") 20117e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner error("You must use the -for option with -gen-{function,variable,type}"); 20127e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner 20137e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner switch (WhatToGenerate(GenerationType)) { 20147e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case GenProgram: 20157e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (fname.empty()) 20167e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner fname = "makeLLVMModule"; 20177e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printProgram(fname,tgtname); 20187e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner break; 20197e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case GenModule: 20207e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (fname.empty()) 20217e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner fname = "makeLLVMModule"; 20227e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printModule(fname,tgtname); 20237e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner break; 20247e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case GenContents: 20257e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (fname.empty()) 20267e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner fname = "makeLLVMModuleContents"; 20277e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printContents(fname,tgtname); 20287e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner break; 20297e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case GenFunction: 20307e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (fname.empty()) 20317e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner fname = "makeLLVMFunction"; 20327e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printFunction(fname,tgtname); 20337e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner break; 20347e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case GenFunctions: 20357e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printFunctions(); 20367e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner break; 20377e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case GenInline: 20387e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (fname.empty()) 20397e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner fname = "makeLLVMInline"; 20407e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printInline(fname,tgtname); 20417e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner break; 20427e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case GenVariable: 20437e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (fname.empty()) 20447e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner fname = "makeLLVMVariable"; 20457e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printVariable(fname,tgtname); 20467e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner break; 20477e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner case GenType: 20487e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner if (fname.empty()) 20497e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner fname = "makeLLVMType"; 20507e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner printType(fname,tgtname); 20517e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner break; 20527e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner default: 20537e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner error("Invalid generation option"); 20547e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner } 20557e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner 20567e6d7451ae35ff148e8e264c6593780101c22d3bChris Lattner return false; 20575027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov} 20585027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov 20595027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikovchar CppWriter::ID = 0; 20605027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov 20615027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov//===----------------------------------------------------------------------===// 20625027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov// External Interface declaration 20635027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov//===----------------------------------------------------------------------===// 20645027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov 206599dca4fde746eb76253e737cca166261c767412dDan Gohmanbool CPPTargetMachine::addPassesToEmitFile(PassManagerBase &PM, 206699dca4fde746eb76253e737cca166261c767412dDan Gohman formatted_raw_ostream &o, 206799dca4fde746eb76253e737cca166261c767412dDan Gohman CodeGenFileType FileType, 206899dca4fde746eb76253e737cca166261c767412dDan Gohman CodeGenOpt::Level OptLevel, 206999dca4fde746eb76253e737cca166261c767412dDan Gohman bool DisableVerify) { 2070211edae4843f5c2ee9c376e88e4cf0ecc8745f03Chris Lattner if (FileType != TargetMachine::CGFT_AssemblyFile) return true; 20715027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov PM.add(new CppWriter(o)); 20725027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov return false; 20735027652b8ae5414d634288d456364ef2534cb406Anton Korobeynikov} 2074