AsmWriter.cpp revision 583ffd878744e27b2ced28d67026c6ad83175ef2
18da78afce3609f8ac31bef9d1310744a47bbd0ccChris Lattner//===-- AsmWriter.cpp - Printing LLVM as an assembly file -----------------===// 2fd93908ae8b9684fe71c239e3c6cfe13ff6a2663Misha Brukman// 3b576c94c15af9a440f69d9d03c2afead7971118cJohn Criswell// The LLVM Compiler Infrastructure 4b576c94c15af9a440f69d9d03c2afead7971118cJohn Criswell// 54ee451de366474b9c228b4e5fa573795a715216dChris Lattner// This file is distributed under the University of Illinois Open Source 64ee451de366474b9c228b4e5fa573795a715216dChris Lattner// License. See LICENSE.TXT for details. 7fd93908ae8b9684fe71c239e3c6cfe13ff6a2663Misha Brukman// 8b576c94c15af9a440f69d9d03c2afead7971118cJohn Criswell//===----------------------------------------------------------------------===// 9009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner// 10009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner// This library implements the functionality defined in llvm/Assembly/Writer.h 11009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner// 1202b9399baef2afc1a0c8c83152d2f28145658bbcChris Lattner// Note that these routines must be extremely tolerant of various errors in the 138f77daef04355c00b78b645f5aae5694e7a8b631Chris Lattner// LLVM code, because it can be used for debugging transformations. 1402b9399baef2afc1a0c8c83152d2f28145658bbcChris Lattner// 15009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner//===----------------------------------------------------------------------===// 16009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner 1775cf7cf00d391ac6ca22d6240fa9d99ed427d1d5Chris Lattner#include "llvm/Assembly/Writer.h" 18f082b80828c13dcb7fb29ad5167ed161c1031534Chris Lattner#include "llvm/Assembly/PrintModulePass.h" 1995e5a2cc3fc55b262d2baa1cc417115dfa4a18eaChris Lattner#include "llvm/Assembly/AsmAnnotationWriter.h" 20d511898b581826694e6c651e23343b1e1ba5ba64Chris Lattner#include "llvm/CallingConv.h" 21f2d577b27a56a928fa3e77ab0cd83e7597751313Chris Lattner#include "llvm/Constants.h" 223eb59c0074978cb4687779365dbe664e2e18e0b2Chris Lattner#include "llvm/DerivedTypes.h" 23863517aea0b06770c809396be985c1c4cc50d3c4Chris Lattner#include "llvm/InlineAsm.h" 24b4dbb4445c67fc46e56765035c2787028a66a614Vikram S. Adve#include "llvm/Instruction.h" 2544336292fcd9f3f99cbfc2c3366bea0cf95bb675Misha Brukman#include "llvm/Instructions.h" 26f2d577b27a56a928fa3e77ab0cd83e7597751313Chris Lattner#include "llvm/Module.h" 27ef9b9a793949469cdaa4ab6d0173136229dcab7bReid Spencer#include "llvm/ValueSymbolTable.h" 2878d033e086e19e016273de014f9214aa6f3f844bReid Spencer#include "llvm/TypeSymbolTable.h" 299225507cda6c634ded5054f44a75835a0c8cf62aChris Lattner#include "llvm/ADT/DenseMap.h" 30551ccae044b0ff658fe629dd67edd5ffe75d10e8Reid Spencer#include "llvm/ADT/StringExtras.h" 31551ccae044b0ff658fe629dd67edd5ffe75d10e8Reid Spencer#include "llvm/ADT/STLExtras.h" 328f487662869d10c866b9ebdccb8f6a7509d3ab56Bill Wendling#include "llvm/Support/CFG.h" 33cb6682fa44e13262bdef7dd22b4ba90f8c2e7b97Jim Laskey#include "llvm/Support/MathExtras.h" 3445d4c73aa75fa9c6362b5c47ac520f2b2c2c1561Chris Lattner#include "llvm/Support/raw_ostream.h" 35007377f381e253cc559db8d3c94fa89b0eb55fadChris Lattner#include <algorithm> 364ad513ca153430c3a7f36be1ef43af04534e1f5dReid Spencer#include <cctype> 3731f8499e83dc4dccbb57ea7e76d1fd49b7010d0cChris Lattnerusing namespace llvm; 38d0fde30ce850b78371fd1386338350591f9ff494Brian Gaeke 39edd5d9ece15f73ec1a31423a4ae39774aa6c521cReid Spencer// Make virtual table appear in this compilation unit. 40edd5d9ece15f73ec1a31423a4ae39774aa6c521cReid SpencerAssemblyAnnotationWriter::~AssemblyAnnotationWriter() {} 41edd5d9ece15f73ec1a31423a4ae39774aa6c521cReid Spencer 426ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner//===----------------------------------------------------------------------===// 436ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner// Helper Functions 446ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner//===----------------------------------------------------------------------===// 450e25e1cdcf1f73bb9f56b91155d5c0ef42ef0a44Reid Spencer 46207b5bc6a15e12a87c3c861da680b8b23559a34cChris Lattnerstatic const Module *getModuleFromVal(const Value *V) { 47949a3628024248db01d5b13e03c415e0c88e90e4Chris Lattner if (const Argument *MA = dyn_cast<Argument>(V)) 48207b5bc6a15e12a87c3c861da680b8b23559a34cChris Lattner return MA->getParent() ? MA->getParent()->getParent() : 0; 496ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 506ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner if (const BasicBlock *BB = dyn_cast<BasicBlock>(V)) 51207b5bc6a15e12a87c3c861da680b8b23559a34cChris Lattner return BB->getParent() ? BB->getParent()->getParent() : 0; 526ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 536ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner if (const Instruction *I = dyn_cast<Instruction>(V)) { 5479df7c0aaa18129e55968c8783ef8346807bd4afChris Lattner const Function *M = I->getParent() ? I->getParent()->getParent() : 0; 55207b5bc6a15e12a87c3c861da680b8b23559a34cChris Lattner return M ? M->getParent() : 0; 566ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner } 576ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 586ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner if (const GlobalValue *GV = dyn_cast<GlobalValue>(V)) 59207b5bc6a15e12a87c3c861da680b8b23559a34cChris Lattner return GV->getParent(); 60207b5bc6a15e12a87c3c861da680b8b23559a34cChris Lattner return 0; 61207b5bc6a15e12a87c3c861da680b8b23559a34cChris Lattner} 62207b5bc6a15e12a87c3c861da680b8b23559a34cChris Lattner 63e9da133ae0a3ea5bbadd14f33c5005a4e25422eaDaniel Dunbar// PrintEscapedString - Print each character of the specified string, escaping 64e9da133ae0a3ea5bbadd14f33c5005a4e25422eaDaniel Dunbar// it if it is not printable or if it is an escape char. 65e9da133ae0a3ea5bbadd14f33c5005a4e25422eaDaniel Dunbarstatic void PrintEscapedString(const char *Str, unsigned Length, 66e9da133ae0a3ea5bbadd14f33c5005a4e25422eaDaniel Dunbar raw_ostream &Out) { 67e9da133ae0a3ea5bbadd14f33c5005a4e25422eaDaniel Dunbar for (unsigned i = 0; i != Length; ++i) { 68e9da133ae0a3ea5bbadd14f33c5005a4e25422eaDaniel Dunbar unsigned char C = Str[i]; 69e9da133ae0a3ea5bbadd14f33c5005a4e25422eaDaniel Dunbar if (isprint(C) && C != '\\' && C != '"' && isprint(C)) 70e9da133ae0a3ea5bbadd14f33c5005a4e25422eaDaniel Dunbar Out << C; 71e9da133ae0a3ea5bbadd14f33c5005a4e25422eaDaniel Dunbar else 72e9da133ae0a3ea5bbadd14f33c5005a4e25422eaDaniel Dunbar Out << '\\' << hexdigit(C >> 4) << hexdigit(C & 0x0F); 73e9da133ae0a3ea5bbadd14f33c5005a4e25422eaDaniel Dunbar } 74e9da133ae0a3ea5bbadd14f33c5005a4e25422eaDaniel Dunbar} 75e9da133ae0a3ea5bbadd14f33c5005a4e25422eaDaniel Dunbar 76e9da133ae0a3ea5bbadd14f33c5005a4e25422eaDaniel Dunbar// PrintEscapedString - Print each character of the specified string, escaping 77e9da133ae0a3ea5bbadd14f33c5005a4e25422eaDaniel Dunbar// it if it is not printable or if it is an escape char. 78e9da133ae0a3ea5bbadd14f33c5005a4e25422eaDaniel Dunbarstatic void PrintEscapedString(const std::string &Str, raw_ostream &Out) { 79e9da133ae0a3ea5bbadd14f33c5005a4e25422eaDaniel Dunbar PrintEscapedString(Str.c_str(), Str.size(), Out); 80e9da133ae0a3ea5bbadd14f33c5005a4e25422eaDaniel Dunbar} 81e9da133ae0a3ea5bbadd14f33c5005a4e25422eaDaniel Dunbar 82addd44427cb1b46d85f2eb31c267dd1d43914252Chris Lattnerenum PrefixType { 83addd44427cb1b46d85f2eb31c267dd1d43914252Chris Lattner GlobalPrefix, 84addd44427cb1b46d85f2eb31c267dd1d43914252Chris Lattner LabelPrefix, 85cad3580e99ae045e138a1d57de589a01c1f9b296Daniel Dunbar LocalPrefix, 86cad3580e99ae045e138a1d57de589a01c1f9b296Daniel Dunbar NoPrefix 87addd44427cb1b46d85f2eb31c267dd1d43914252Chris Lattner}; 88addd44427cb1b46d85f2eb31c267dd1d43914252Chris Lattner 89c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner/// PrintLLVMName - Turn the specified name into an 'LLVM name', which is either 90c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner/// prefixed with % (if the string only contains simple characters) or is 91c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner/// surrounded with ""'s (if it has special chars in it). Print it out. 92944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattnerstatic void PrintLLVMName(raw_ostream &OS, const char *NameStr, 9352b26de325e32c71159376853384789b7646eaf4Chris Lattner unsigned NameLen, PrefixType Prefix) { 9452b26de325e32c71159376853384789b7646eaf4Chris Lattner assert(NameStr && "Cannot get empty name!"); 95c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner switch (Prefix) { 9652b26de325e32c71159376853384789b7646eaf4Chris Lattner default: assert(0 && "Bad prefix!"); 97cad3580e99ae045e138a1d57de589a01c1f9b296Daniel Dunbar case NoPrefix: break; 9852b26de325e32c71159376853384789b7646eaf4Chris Lattner case GlobalPrefix: OS << '@'; break; 9952b26de325e32c71159376853384789b7646eaf4Chris Lattner case LabelPrefix: break; 10052b26de325e32c71159376853384789b7646eaf4Chris Lattner case LocalPrefix: OS << '%'; break; 101c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner } 102c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner 103c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner // Scan the name to see if it needs quotes first. 104e9da133ae0a3ea5bbadd14f33c5005a4e25422eaDaniel Dunbar bool NeedsQuotes = isdigit(NameStr[0]); 105c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner if (!NeedsQuotes) { 106c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner for (unsigned i = 0; i != NameLen; ++i) { 107c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner char C = NameStr[i]; 108c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner if (!isalnum(C) && C != '-' && C != '.' && C != '_') { 109c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner NeedsQuotes = true; 110c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner break; 111c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner } 112c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner } 113c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner } 1146ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 115c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner // If we didn't need any quotes, just write out the name in one blast. 116c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner if (!NeedsQuotes) { 117c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner OS.write(NameStr, NameLen); 118c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner return; 119c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner } 120c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner 121c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner // Okay, we need quotes. Output the quotes and escape any scary characters as 122c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner // needed. 123c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner OS << '"'; 124e9da133ae0a3ea5bbadd14f33c5005a4e25422eaDaniel Dunbar PrintEscapedString(NameStr, NameLen, OS); 125c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner OS << '"'; 126c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner} 127c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner 1286ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner/// PrintLLVMName - Turn the specified name into an 'LLVM name', which is either 1296ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner/// prefixed with % (if the string only contains simple characters) or is 1306ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner/// surrounded with ""'s (if it has special chars in it). Print it out. 131944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattnerstatic void PrintLLVMName(raw_ostream &OS, const Value *V) { 13252b26de325e32c71159376853384789b7646eaf4Chris Lattner PrintLLVMName(OS, V->getNameStart(), V->getNameLen(), 133c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner isa<GlobalValue>(V) ? GlobalPrefix : LocalPrefix); 134c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner} 135c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner 1369cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner//===----------------------------------------------------------------------===// 1379cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner// TypePrinting Class: Type printing machinery 1389cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner//===----------------------------------------------------------------------===// 1399cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner 1409cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattnernamespace { 1419cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner /// TypePrinting - Type printing machinery. 1429cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner class TypePrinting { 1439cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner std::map<const Type *, std::string> TypeNames; 1449cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner raw_ostream &OS; 1459cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner public: 1469cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner TypePrinting(const Module *M, raw_ostream &os); 1479cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner 1489cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner void print(const Type *Ty); 1499cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner void printAtLeastOneLevel(const Type *Ty); 150b840cace77b2c6afe9106698b1cb003a04e53b41Chris Lattner 151b840cace77b2c6afe9106698b1cb003a04e53b41Chris Lattner private: 152534361e7e17b34c6ac043a2c8bea626a5e9f1657Chris Lattner void CalcTypeName(const Type *Ty, SmallVectorImpl<const Type *> &TypeStack, 153534361e7e17b34c6ac043a2c8bea626a5e9f1657Chris Lattner raw_ostream &Result); 1549cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner }; 1559cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner} // end anonymous namespace. 1569cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner 1579cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris LattnerTypePrinting::TypePrinting(const Module *M, raw_ostream &os) : OS(os) { 1589cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner if (M == 0) return; 1599cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner 1609cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner // If the module has a symbol table, take all global types and stuff their 1619cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner // names into the TypeNames map. 1629cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner const TypeSymbolTable &ST = M->getTypeSymbolTable(); 1639cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner for (TypeSymbolTable::const_iterator TI = ST.begin(), E = ST.end(); 1649cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner TI != E; ++TI) { 16588344e63d4bd98a3c9a82cf84b73cd28ecef46a1Chris Lattner const Type *Ty = cast<Type>(TI->second); 16688344e63d4bd98a3c9a82cf84b73cd28ecef46a1Chris Lattner 1679cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner // As a heuristic, don't insert pointer to primitive types, because 1689cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner // they are used too often to have a single useful name. 16988344e63d4bd98a3c9a82cf84b73cd28ecef46a1Chris Lattner if (const PointerType *PTy = dyn_cast<PointerType>(Ty)) { 17088344e63d4bd98a3c9a82cf84b73cd28ecef46a1Chris Lattner const Type *PETy = PTy->getElementType(); 17188344e63d4bd98a3c9a82cf84b73cd28ecef46a1Chris Lattner if ((PETy->isPrimitiveType() || PETy->isInteger()) && 17288344e63d4bd98a3c9a82cf84b73cd28ecef46a1Chris Lattner !isa<OpaqueType>(PETy)) 17388344e63d4bd98a3c9a82cf84b73cd28ecef46a1Chris Lattner continue; 17488344e63d4bd98a3c9a82cf84b73cd28ecef46a1Chris Lattner } 17588344e63d4bd98a3c9a82cf84b73cd28ecef46a1Chris Lattner 176583ffd878744e27b2ced28d67026c6ad83175ef2Chris Lattner // Likewise don't insert primitives either. 177583ffd878744e27b2ced28d67026c6ad83175ef2Chris Lattner if (Ty->isInteger() || Ty->isPrimitiveType()) 178583ffd878744e27b2ced28d67026c6ad83175ef2Chris Lattner continue; 179583ffd878744e27b2ced28d67026c6ad83175ef2Chris Lattner 180b840cace77b2c6afe9106698b1cb003a04e53b41Chris Lattner // Get the name as a string and insert it into TypeNames. 181b1b9d91a390f805e0687dff81fdea653cc8caddeChris Lattner std::string NameStr; 182b1b9d91a390f805e0687dff81fdea653cc8caddeChris Lattner raw_string_ostream NameOS(NameStr); 183b1b9d91a390f805e0687dff81fdea653cc8caddeChris Lattner PrintLLVMName(NameOS, TI->first.c_str(), TI->first.length(), LocalPrefix); 184b1b9d91a390f805e0687dff81fdea653cc8caddeChris Lattner TypeNames.insert(std::make_pair(Ty, NameOS.str())); 1859cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner } 1869cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner} 1879cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner 188534361e7e17b34c6ac043a2c8bea626a5e9f1657Chris Lattner/// CalcTypeName - Write the specified type to the specified raw_ostream, making 189534361e7e17b34c6ac043a2c8bea626a5e9f1657Chris Lattner/// use of type names or up references to shorten the type name where possible. 190534361e7e17b34c6ac043a2c8bea626a5e9f1657Chris Lattnervoid TypePrinting::CalcTypeName(const Type *Ty, 191b840cace77b2c6afe9106698b1cb003a04e53b41Chris Lattner SmallVectorImpl<const Type *> &TypeStack, 192534361e7e17b34c6ac043a2c8bea626a5e9f1657Chris Lattner raw_ostream &Result) { 1939cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner // Check to see if the type is named. 1949cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner std::map<const Type *, std::string>::iterator I = TypeNames.find(Ty); 195a32c3e4b1d2acf5ab750fa8979f122688ec73573Chris Lattner if (I != TypeNames.end() && 196a32c3e4b1d2acf5ab750fa8979f122688ec73573Chris Lattner // If the name wasn't temporarily removed use it. 197a32c3e4b1d2acf5ab750fa8979f122688ec73573Chris Lattner !I->second.empty()) { 198534361e7e17b34c6ac043a2c8bea626a5e9f1657Chris Lattner Result << I->second; 1999cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner return; 2009cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner } 2019cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner 2029cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner // Check to see if the Type is already on the stack... 2039cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner unsigned Slot = 0, CurSize = TypeStack.size(); 2049cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner while (Slot < CurSize && TypeStack[Slot] != Ty) ++Slot; // Scan for type 2059cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner 2069cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner // This is another base case for the recursion. In this case, we know 2079cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner // that we have looped back to a type that we have previously visited. 2089cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner // Generate the appropriate upreference to handle this. 2099cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner if (Slot < CurSize) { 210534361e7e17b34c6ac043a2c8bea626a5e9f1657Chris Lattner Result << '\\' << unsigned(CurSize-Slot); // Here's the upreference 2119cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner return; 2129cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner } 2139cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner 2149cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner TypeStack.push_back(Ty); // Recursive case: Add us to the stack.. 2159cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner 2169cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner switch (Ty->getTypeID()) { 217583ffd878744e27b2ced28d67026c6ad83175ef2Chris Lattner case Type::VoidTyID: Result << "void"; break; 218583ffd878744e27b2ced28d67026c6ad83175ef2Chris Lattner case Type::FloatTyID: Result << "float"; break; 219583ffd878744e27b2ced28d67026c6ad83175ef2Chris Lattner case Type::DoubleTyID: Result << "double"; break; 220583ffd878744e27b2ced28d67026c6ad83175ef2Chris Lattner case Type::X86_FP80TyID: Result << "x86_fp80"; break; 221583ffd878744e27b2ced28d67026c6ad83175ef2Chris Lattner case Type::FP128TyID: Result << "fp128"; break; 222583ffd878744e27b2ced28d67026c6ad83175ef2Chris Lattner case Type::PPC_FP128TyID: Result << "ppc_fp128"; break; 223583ffd878744e27b2ced28d67026c6ad83175ef2Chris Lattner case Type::LabelTyID: Result << "label"; break; 224583ffd878744e27b2ced28d67026c6ad83175ef2Chris Lattner case Type::IntegerTyID: 225583ffd878744e27b2ced28d67026c6ad83175ef2Chris Lattner Result << 'i' << cast<IntegerType>(Ty)->getBitWidth(); 226583ffd878744e27b2ced28d67026c6ad83175ef2Chris Lattner break; 227583ffd878744e27b2ced28d67026c6ad83175ef2Chris Lattner 22836942d7383df0ab00f7f5b16c04f330aedf5c9f1Chris Lattner case Type::FunctionTyID: { 22936942d7383df0ab00f7f5b16c04f330aedf5c9f1Chris Lattner const FunctionType *FTy = cast<FunctionType>(Ty); 230534361e7e17b34c6ac043a2c8bea626a5e9f1657Chris Lattner CalcTypeName(FTy->getReturnType(), TypeStack, Result); 231534361e7e17b34c6ac043a2c8bea626a5e9f1657Chris Lattner Result << " ("; 23236942d7383df0ab00f7f5b16c04f330aedf5c9f1Chris Lattner for (FunctionType::param_iterator I = FTy->param_begin(), 23336942d7383df0ab00f7f5b16c04f330aedf5c9f1Chris Lattner E = FTy->param_end(); I != E; ++I) { 23436942d7383df0ab00f7f5b16c04f330aedf5c9f1Chris Lattner if (I != FTy->param_begin()) 235534361e7e17b34c6ac043a2c8bea626a5e9f1657Chris Lattner Result << ", "; 236534361e7e17b34c6ac043a2c8bea626a5e9f1657Chris Lattner CalcTypeName(*I, TypeStack, Result); 2379cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner } 23836942d7383df0ab00f7f5b16c04f330aedf5c9f1Chris Lattner if (FTy->isVarArg()) { 239534361e7e17b34c6ac043a2c8bea626a5e9f1657Chris Lattner if (FTy->getNumParams()) Result << ", "; 240534361e7e17b34c6ac043a2c8bea626a5e9f1657Chris Lattner Result << "..."; 2419cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner } 242534361e7e17b34c6ac043a2c8bea626a5e9f1657Chris Lattner Result << ')'; 24336942d7383df0ab00f7f5b16c04f330aedf5c9f1Chris Lattner break; 24436942d7383df0ab00f7f5b16c04f330aedf5c9f1Chris Lattner } 24536942d7383df0ab00f7f5b16c04f330aedf5c9f1Chris Lattner case Type::StructTyID: { 24636942d7383df0ab00f7f5b16c04f330aedf5c9f1Chris Lattner const StructType *STy = cast<StructType>(Ty); 24736942d7383df0ab00f7f5b16c04f330aedf5c9f1Chris Lattner if (STy->isPacked()) 248534361e7e17b34c6ac043a2c8bea626a5e9f1657Chris Lattner Result << '<'; 249534361e7e17b34c6ac043a2c8bea626a5e9f1657Chris Lattner Result << "{ "; 25036942d7383df0ab00f7f5b16c04f330aedf5c9f1Chris Lattner for (StructType::element_iterator I = STy->element_begin(), 25136942d7383df0ab00f7f5b16c04f330aedf5c9f1Chris Lattner E = STy->element_end(); I != E; ++I) { 252534361e7e17b34c6ac043a2c8bea626a5e9f1657Chris Lattner CalcTypeName(*I, TypeStack, Result); 25336942d7383df0ab00f7f5b16c04f330aedf5c9f1Chris Lattner if (next(I) != STy->element_end()) 254534361e7e17b34c6ac043a2c8bea626a5e9f1657Chris Lattner Result << ','; 255534361e7e17b34c6ac043a2c8bea626a5e9f1657Chris Lattner Result << ' '; 2569cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner } 257534361e7e17b34c6ac043a2c8bea626a5e9f1657Chris Lattner Result << '}'; 25836942d7383df0ab00f7f5b16c04f330aedf5c9f1Chris Lattner if (STy->isPacked()) 259534361e7e17b34c6ac043a2c8bea626a5e9f1657Chris Lattner Result << '>'; 26036942d7383df0ab00f7f5b16c04f330aedf5c9f1Chris Lattner break; 26136942d7383df0ab00f7f5b16c04f330aedf5c9f1Chris Lattner } 26236942d7383df0ab00f7f5b16c04f330aedf5c9f1Chris Lattner case Type::PointerTyID: { 26336942d7383df0ab00f7f5b16c04f330aedf5c9f1Chris Lattner const PointerType *PTy = cast<PointerType>(Ty); 264534361e7e17b34c6ac043a2c8bea626a5e9f1657Chris Lattner CalcTypeName(PTy->getElementType(), TypeStack, Result); 26536942d7383df0ab00f7f5b16c04f330aedf5c9f1Chris Lattner if (unsigned AddressSpace = PTy->getAddressSpace()) 266534361e7e17b34c6ac043a2c8bea626a5e9f1657Chris Lattner Result << " addrspace(" << AddressSpace << ')'; 267534361e7e17b34c6ac043a2c8bea626a5e9f1657Chris Lattner Result << '*'; 26836942d7383df0ab00f7f5b16c04f330aedf5c9f1Chris Lattner break; 26936942d7383df0ab00f7f5b16c04f330aedf5c9f1Chris Lattner } 27036942d7383df0ab00f7f5b16c04f330aedf5c9f1Chris Lattner case Type::ArrayTyID: { 27136942d7383df0ab00f7f5b16c04f330aedf5c9f1Chris Lattner const ArrayType *ATy = cast<ArrayType>(Ty); 272c287137ce7455c63be0075e0d5aba0bab4f125eaChris Lattner Result << '[' << ATy->getNumElements() << " x "; 273534361e7e17b34c6ac043a2c8bea626a5e9f1657Chris Lattner CalcTypeName(ATy->getElementType(), TypeStack, Result); 274534361e7e17b34c6ac043a2c8bea626a5e9f1657Chris Lattner Result << ']'; 27536942d7383df0ab00f7f5b16c04f330aedf5c9f1Chris Lattner break; 27636942d7383df0ab00f7f5b16c04f330aedf5c9f1Chris Lattner } 27736942d7383df0ab00f7f5b16c04f330aedf5c9f1Chris Lattner case Type::VectorTyID: { 27836942d7383df0ab00f7f5b16c04f330aedf5c9f1Chris Lattner const VectorType *PTy = cast<VectorType>(Ty); 279534361e7e17b34c6ac043a2c8bea626a5e9f1657Chris Lattner Result << "<" << PTy->getNumElements() << " x "; 280534361e7e17b34c6ac043a2c8bea626a5e9f1657Chris Lattner CalcTypeName(PTy->getElementType(), TypeStack, Result); 281534361e7e17b34c6ac043a2c8bea626a5e9f1657Chris Lattner Result << '>'; 28236942d7383df0ab00f7f5b16c04f330aedf5c9f1Chris Lattner break; 28336942d7383df0ab00f7f5b16c04f330aedf5c9f1Chris Lattner } 28436942d7383df0ab00f7f5b16c04f330aedf5c9f1Chris Lattner case Type::OpaqueTyID: 285534361e7e17b34c6ac043a2c8bea626a5e9f1657Chris Lattner Result << "opaque"; 28636942d7383df0ab00f7f5b16c04f330aedf5c9f1Chris Lattner break; 28736942d7383df0ab00f7f5b16c04f330aedf5c9f1Chris Lattner default: 288534361e7e17b34c6ac043a2c8bea626a5e9f1657Chris Lattner Result << "<unrecognized-type>"; 28936942d7383df0ab00f7f5b16c04f330aedf5c9f1Chris Lattner break; 2909cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner } 2919cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner 292534361e7e17b34c6ac043a2c8bea626a5e9f1657Chris Lattner TypeStack.pop_back(); // Remove self from stack. 2939cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner} 2949cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner 2959cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner/// printTypeInt - The internal guts of printing out a type that has a 2969cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner/// potentially named portion. 2979cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner/// 2989cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattnervoid TypePrinting::print(const Type *Ty) { 2999cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner // Check to see if the type is named. 3009cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner std::map<const Type*, std::string>::iterator I = TypeNames.find(Ty); 3019cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner if (I != TypeNames.end()) { 3029cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner OS << I->second; 3039cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner return; 3049cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner } 3059cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner 3069cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner // Otherwise we have a type that has not been named but is a derived type. 3079cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner // Carefully recurse the type hierarchy to print out any contained symbolic 3089cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner // names. 309b840cace77b2c6afe9106698b1cb003a04e53b41Chris Lattner SmallVector<const Type *, 16> TypeStack; 3109cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner std::string TypeName; 311534361e7e17b34c6ac043a2c8bea626a5e9f1657Chris Lattner 312534361e7e17b34c6ac043a2c8bea626a5e9f1657Chris Lattner raw_string_ostream TypeOS(TypeName); 313534361e7e17b34c6ac043a2c8bea626a5e9f1657Chris Lattner CalcTypeName(Ty, TypeStack, TypeOS); 314534361e7e17b34c6ac043a2c8bea626a5e9f1657Chris Lattner OS << TypeOS.str(); 315534361e7e17b34c6ac043a2c8bea626a5e9f1657Chris Lattner 316534361e7e17b34c6ac043a2c8bea626a5e9f1657Chris Lattner // Cache type name for later use. 317534361e7e17b34c6ac043a2c8bea626a5e9f1657Chris Lattner TypeNames.insert(std::make_pair(Ty, TypeOS.str())); 3189cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner} 3199cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner 3209cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner/// printAtLeastOneLevel - Print out one level of the possibly complex type 3219cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner/// without considering any symbolic types that we may have equal to it. 3229cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattnervoid TypePrinting::printAtLeastOneLevel(const Type *Ty) { 323a32c3e4b1d2acf5ab750fa8979f122688ec73573Chris Lattner // If the type does not have a name, then it is already guaranteed to print at 324a32c3e4b1d2acf5ab750fa8979f122688ec73573Chris Lattner // least one level. 325534361e7e17b34c6ac043a2c8bea626a5e9f1657Chris Lattner std::map<const Type*, std::string>::iterator I = TypeNames.find(Ty); 326a32c3e4b1d2acf5ab750fa8979f122688ec73573Chris Lattner if (I == TypeNames.end()) 327a32c3e4b1d2acf5ab750fa8979f122688ec73573Chris Lattner return print(Ty); 3289cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner 329a32c3e4b1d2acf5ab750fa8979f122688ec73573Chris Lattner // Otherwise, temporarily remove the name and print it. 330a32c3e4b1d2acf5ab750fa8979f122688ec73573Chris Lattner std::string OldName; 331a32c3e4b1d2acf5ab750fa8979f122688ec73573Chris Lattner std::swap(OldName, I->second); 332534361e7e17b34c6ac043a2c8bea626a5e9f1657Chris Lattner 333534361e7e17b34c6ac043a2c8bea626a5e9f1657Chris Lattner // Print the type without the name. 334a32c3e4b1d2acf5ab750fa8979f122688ec73573Chris Lattner SmallVector<const Type *, 16> TypeStack; 335534361e7e17b34c6ac043a2c8bea626a5e9f1657Chris Lattner CalcTypeName(Ty, TypeStack, OS); 336a32c3e4b1d2acf5ab750fa8979f122688ec73573Chris Lattner 337a32c3e4b1d2acf5ab750fa8979f122688ec73573Chris Lattner // Restore the name. 338a32c3e4b1d2acf5ab750fa8979f122688ec73573Chris Lattner std::swap(OldName, I->second); 3399cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner} 3409cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner 3419cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner 3429cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner/// WriteTypeSymbolic - This attempts to write the specified type as a symbolic 3439cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner/// type, iff there is an entry in the modules symbol table for the specified 344c287137ce7455c63be0075e0d5aba0bab4f125eaChris Lattner/// type or one of it's component types. 3459cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner/// 3469cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattnervoid llvm::WriteTypeSymbolic(raw_ostream &Out, const Type *Ty, const Module *M){ 347534361e7e17b34c6ac043a2c8bea626a5e9f1657Chris Lattner TypePrinting(M, Out).print(Ty); 3489cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner} 3499cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner 3506ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner//===----------------------------------------------------------------------===// 3516ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner// SlotTracker Class: Enumerate slot numbers for unnamed values 3526ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner//===----------------------------------------------------------------------===// 3536ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 3546ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattnernamespace { 3556ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 3566ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner/// This class provides computation of slot numbers for LLVM Assembly writing. 3576ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner/// 3586ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattnerclass SlotTracker { 3596ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattnerpublic: 3606ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner /// ValueMap - A mapping of Values to slot numbers 3616ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner typedef DenseMap<const Value*, unsigned> ValueMap; 3626ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 3636ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattnerprivate: 3646ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner /// TheModule - The module for which we are holding slot numbers 3656ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner const Module* TheModule; 3666ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 3676ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner /// TheFunction - The function for which we are holding slot numbers 3686ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner const Function* TheFunction; 3696ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner bool FunctionProcessed; 3706ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 3716ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner /// mMap - The TypePlanes map for the module level data 3726ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner ValueMap mMap; 3736ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner unsigned mNext; 3746ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 3756ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner /// fMap - The TypePlanes map for the function level data 3766ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner ValueMap fMap; 3776ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner unsigned fNext; 3786ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 3796ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattnerpublic: 3806ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner /// Construct from a module 3816ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner explicit SlotTracker(const Module *M); 3826ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner /// Construct from a function, starting out in incorp state. 3836ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner explicit SlotTracker(const Function *F); 3846ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 3856ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner /// Return the slot number of the specified value in it's type 3866ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner /// plane. If something is not in the SlotTracker, return -1. 3876ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner int getLocalSlot(const Value *V); 3886ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner int getGlobalSlot(const GlobalValue *V); 3896ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 3906ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner /// If you'd like to deal with a function instead of just a module, use 3916ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner /// this method to get its data into the SlotTracker. 3926ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner void incorporateFunction(const Function *F) { 3936ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner TheFunction = F; 3946ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner FunctionProcessed = false; 3956ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner } 3966ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 3976ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner /// After calling incorporateFunction, use this method to remove the 3986ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner /// most recently incorporated function from the SlotTracker. This 3996ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner /// will reset the state of the machine back to just the module contents. 4006ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner void purgeFunction(); 4016ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 4026ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner // Implementation Details 4036ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattnerprivate: 4046ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner /// This function does the actual initialization. 4056ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner inline void initialize(); 4066ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 4076ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner /// CreateModuleSlot - Insert the specified GlobalValue* into the slot table. 4086ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner void CreateModuleSlot(const GlobalValue *V); 4096ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 4106ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner /// CreateFunctionSlot - Insert the specified Value* into the slot table. 4116ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner void CreateFunctionSlot(const Value *V); 4126ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 4136ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner /// Add all of the module level global variables (and their initializers) 4146ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner /// and function declarations, but not the contents of those functions. 4156ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner void processModule(); 4166ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 4176ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner /// Add all of the functions arguments, basic blocks, and instructions 4186ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner void processFunction(); 4196ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 4206ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner SlotTracker(const SlotTracker &); // DO NOT IMPLEMENT 4216ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner void operator=(const SlotTracker &); // DO NOT IMPLEMENT 4226ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner}; 4236ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 4246ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner} // end anonymous namespace 4256ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 4266ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 4276ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattnerstatic SlotTracker *createSlotTracker(const Value *V) { 4286ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner if (const Argument *FA = dyn_cast<Argument>(V)) 4296ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner return new SlotTracker(FA->getParent()); 4306ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 4316ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner if (const Instruction *I = dyn_cast<Instruction>(V)) 4326ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner return new SlotTracker(I->getParent()->getParent()); 4336ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 4346ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner if (const BasicBlock *BB = dyn_cast<BasicBlock>(V)) 4356ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner return new SlotTracker(BB->getParent()); 4366ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 4376ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner if (const GlobalVariable *GV = dyn_cast<GlobalVariable>(V)) 4386ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner return new SlotTracker(GV->getParent()); 4396ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 4406ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner if (const GlobalAlias *GA = dyn_cast<GlobalAlias>(V)) 4416ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner return new SlotTracker(GA->getParent()); 4426ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 4436ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner if (const Function *Func = dyn_cast<Function>(V)) 4446ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner return new SlotTracker(Func); 4456ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 4466ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner return 0; 4476ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner} 4486ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 4496ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner#if 0 450242330371b2b7ab9d5a6c4f5f93ec82c514cc09aChris Lattner#define ST_DEBUG(X) cerr << X 4516ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner#else 452242330371b2b7ab9d5a6c4f5f93ec82c514cc09aChris Lattner#define ST_DEBUG(X) 4536ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner#endif 4546ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 4556ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner// Module level constructor. Causes the contents of the Module (sans functions) 4566ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner// to be added to the slot table. 4576ab910b946b6af54384662fb404d6e9b22fa5727Chris LattnerSlotTracker::SlotTracker(const Module *M) 458cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner : TheModule(M), TheFunction(0), FunctionProcessed(false), mNext(0), fNext(0) { 4596ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner} 4606ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 4616ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner// Function level constructor. Causes the contents of the Module and the one 4626ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner// function provided to be added to the slot table. 4636ab910b946b6af54384662fb404d6e9b22fa5727Chris LattnerSlotTracker::SlotTracker(const Function *F) 464cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner : TheModule(F ? F->getParent() : 0), TheFunction(F), FunctionProcessed(false), 465cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner mNext(0), fNext(0) { 4666ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner} 4676ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 4686ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattnerinline void SlotTracker::initialize() { 4696ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner if (TheModule) { 4706ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner processModule(); 4716ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner TheModule = 0; ///< Prevent re-processing next time we're called. 4726ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner } 473cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner 4746ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner if (TheFunction && !FunctionProcessed) 4756ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner processFunction(); 4766ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner} 4776ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 4786ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner// Iterate through all the global variables, functions, and global 4796ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner// variable initializers and create slots for them. 4806ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattnervoid SlotTracker::processModule() { 481242330371b2b7ab9d5a6c4f5f93ec82c514cc09aChris Lattner ST_DEBUG("begin processModule!\n"); 4826ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 4836ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner // Add all of the unnamed global variables to the value table. 4846ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner for (Module::const_global_iterator I = TheModule->global_begin(), 4856ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner E = TheModule->global_end(); I != E; ++I) 4866ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner if (!I->hasName()) 4876ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner CreateModuleSlot(I); 4886ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 4896ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner // Add all the unnamed functions to the table. 4906ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner for (Module::const_iterator I = TheModule->begin(), E = TheModule->end(); 4916ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner I != E; ++I) 4926ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner if (!I->hasName()) 4936ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner CreateModuleSlot(I); 4946ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 495242330371b2b7ab9d5a6c4f5f93ec82c514cc09aChris Lattner ST_DEBUG("end processModule!\n"); 4966ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner} 4976ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 4986ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 4996ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner// Process the arguments, basic blocks, and instructions of a function. 5006ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattnervoid SlotTracker::processFunction() { 501242330371b2b7ab9d5a6c4f5f93ec82c514cc09aChris Lattner ST_DEBUG("begin processFunction!\n"); 5026ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner fNext = 0; 5036ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 5046ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner // Add all the function arguments with no names. 5056ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner for(Function::const_arg_iterator AI = TheFunction->arg_begin(), 5066ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner AE = TheFunction->arg_end(); AI != AE; ++AI) 5076ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner if (!AI->hasName()) 5086ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner CreateFunctionSlot(AI); 5096ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 510242330371b2b7ab9d5a6c4f5f93ec82c514cc09aChris Lattner ST_DEBUG("Inserting Instructions:\n"); 5116ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 5126ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner // Add all of the basic blocks and instructions with no names. 5136ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner for (Function::const_iterator BB = TheFunction->begin(), 5146ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner E = TheFunction->end(); BB != E; ++BB) { 5156ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner if (!BB->hasName()) 5166ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner CreateFunctionSlot(BB); 5176ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner for (BasicBlock::const_iterator I = BB->begin(), E = BB->end(); I != E; ++I) 5186ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner if (I->getType() != Type::VoidTy && !I->hasName()) 5196ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner CreateFunctionSlot(I); 5206ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner } 5216ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 5226ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner FunctionProcessed = true; 5236ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 524242330371b2b7ab9d5a6c4f5f93ec82c514cc09aChris Lattner ST_DEBUG("end processFunction!\n"); 5256ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner} 5266ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 5276ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner/// Clean up after incorporating a function. This is the only way to get out of 5286ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner/// the function incorporation state that affects get*Slot/Create*Slot. Function 5296ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner/// incorporation state is indicated by TheFunction != 0. 5306ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattnervoid SlotTracker::purgeFunction() { 531242330371b2b7ab9d5a6c4f5f93ec82c514cc09aChris Lattner ST_DEBUG("begin purgeFunction!\n"); 5326ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner fMap.clear(); // Simply discard the function level map 5336ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner TheFunction = 0; 5346ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner FunctionProcessed = false; 535242330371b2b7ab9d5a6c4f5f93ec82c514cc09aChris Lattner ST_DEBUG("end purgeFunction!\n"); 5366ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner} 5376ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 5386ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner/// getGlobalSlot - Get the slot number of a global value. 5396ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattnerint SlotTracker::getGlobalSlot(const GlobalValue *V) { 5406ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner // Check for uninitialized state and do lazy initialization. 5416ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner initialize(); 5426ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 5436ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner // Find the type plane in the module map 5446ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner ValueMap::iterator MI = mMap.find(V); 545aeaf245db33fa8bccdd14bb8899ee0585a75a7b1Dan Gohman return MI == mMap.end() ? -1 : (int)MI->second; 5466ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner} 5476ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 5486ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 5496ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner/// getLocalSlot - Get the slot number for a value that is local to a function. 5506ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattnerint SlotTracker::getLocalSlot(const Value *V) { 5516ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner assert(!isa<Constant>(V) && "Can't get a constant or global slot with this!"); 5526ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 5536ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner // Check for uninitialized state and do lazy initialization. 5546ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner initialize(); 5556ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 5566ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner ValueMap::iterator FI = fMap.find(V); 557aeaf245db33fa8bccdd14bb8899ee0585a75a7b1Dan Gohman return FI == fMap.end() ? -1 : (int)FI->second; 5586ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner} 5596ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 5606ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 5616ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner/// CreateModuleSlot - Insert the specified GlobalValue* into the slot table. 5626ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattnervoid SlotTracker::CreateModuleSlot(const GlobalValue *V) { 5636ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner assert(V && "Can't insert a null Value into SlotTracker!"); 5646ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner assert(V->getType() != Type::VoidTy && "Doesn't need a slot!"); 5656ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner assert(!V->hasName() && "Doesn't need a slot!"); 5666ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 5676ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner unsigned DestSlot = mNext++; 5686ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner mMap[V] = DestSlot; 5696ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 570242330371b2b7ab9d5a6c4f5f93ec82c514cc09aChris Lattner ST_DEBUG(" Inserting value [" << V->getType() << "] = " << V << " slot=" << 5716ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner DestSlot << " ["); 5726ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner // G = Global, F = Function, A = Alias, o = other 573242330371b2b7ab9d5a6c4f5f93ec82c514cc09aChris Lattner ST_DEBUG((isa<GlobalVariable>(V) ? 'G' : 5746ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner (isa<Function>(V) ? 'F' : 5756ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner (isa<GlobalAlias>(V) ? 'A' : 'o'))) << "]\n"); 5766ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner} 5776ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 5786ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 5796ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner/// CreateSlot - Create a new slot for the specified value if it has no name. 5806ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattnervoid SlotTracker::CreateFunctionSlot(const Value *V) { 5816ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner assert(V->getType() != Type::VoidTy && !V->hasName() && 5826ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner "Doesn't need a slot!"); 5836ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 5846ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner unsigned DestSlot = fNext++; 5856ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner fMap[V] = DestSlot; 5866ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 5876ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner // G = Global, F = Function, o = other 588242330371b2b7ab9d5a6c4f5f93ec82c514cc09aChris Lattner ST_DEBUG(" Inserting value [" << V->getType() << "] = " << V << " slot=" << 5896ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner DestSlot << " [o]\n"); 5906ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner} 5916ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 5926ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 5936ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 5946ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner//===----------------------------------------------------------------------===// 5956ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner// AsmWriter Implementation 5966ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner//===----------------------------------------------------------------------===// 5976ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 598944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattnerstatic void WriteAsOperandInternal(raw_ostream &Out, const Value *V, 5999cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner TypePrinting &TypePrinter, 6006ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner SlotTracker *Machine); 6016ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 6026ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 6036ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 60482c4bc7153d390ad1c2b369e0caef456948b8825Chris Lattnerstatic const char *getPredicateText(unsigned predicate) { 60581dfeb3264d3c1f619c3f73046ded1ac6883e59dReid Spencer const char * pred = "unknown"; 60681dfeb3264d3c1f619c3f73046ded1ac6883e59dReid Spencer switch (predicate) { 60781dfeb3264d3c1f619c3f73046ded1ac6883e59dReid Spencer case FCmpInst::FCMP_FALSE: pred = "false"; break; 60881dfeb3264d3c1f619c3f73046ded1ac6883e59dReid Spencer case FCmpInst::FCMP_OEQ: pred = "oeq"; break; 60981dfeb3264d3c1f619c3f73046ded1ac6883e59dReid Spencer case FCmpInst::FCMP_OGT: pred = "ogt"; break; 61081dfeb3264d3c1f619c3f73046ded1ac6883e59dReid Spencer case FCmpInst::FCMP_OGE: pred = "oge"; break; 61181dfeb3264d3c1f619c3f73046ded1ac6883e59dReid Spencer case FCmpInst::FCMP_OLT: pred = "olt"; break; 61281dfeb3264d3c1f619c3f73046ded1ac6883e59dReid Spencer case FCmpInst::FCMP_OLE: pred = "ole"; break; 61381dfeb3264d3c1f619c3f73046ded1ac6883e59dReid Spencer case FCmpInst::FCMP_ONE: pred = "one"; break; 61481dfeb3264d3c1f619c3f73046ded1ac6883e59dReid Spencer case FCmpInst::FCMP_ORD: pred = "ord"; break; 61581dfeb3264d3c1f619c3f73046ded1ac6883e59dReid Spencer case FCmpInst::FCMP_UNO: pred = "uno"; break; 61681dfeb3264d3c1f619c3f73046ded1ac6883e59dReid Spencer case FCmpInst::FCMP_UEQ: pred = "ueq"; break; 61781dfeb3264d3c1f619c3f73046ded1ac6883e59dReid Spencer case FCmpInst::FCMP_UGT: pred = "ugt"; break; 61881dfeb3264d3c1f619c3f73046ded1ac6883e59dReid Spencer case FCmpInst::FCMP_UGE: pred = "uge"; break; 61981dfeb3264d3c1f619c3f73046ded1ac6883e59dReid Spencer case FCmpInst::FCMP_ULT: pred = "ult"; break; 62081dfeb3264d3c1f619c3f73046ded1ac6883e59dReid Spencer case FCmpInst::FCMP_ULE: pred = "ule"; break; 62181dfeb3264d3c1f619c3f73046ded1ac6883e59dReid Spencer case FCmpInst::FCMP_UNE: pred = "une"; break; 62281dfeb3264d3c1f619c3f73046ded1ac6883e59dReid Spencer case FCmpInst::FCMP_TRUE: pred = "true"; break; 62381dfeb3264d3c1f619c3f73046ded1ac6883e59dReid Spencer case ICmpInst::ICMP_EQ: pred = "eq"; break; 62481dfeb3264d3c1f619c3f73046ded1ac6883e59dReid Spencer case ICmpInst::ICMP_NE: pred = "ne"; break; 62581dfeb3264d3c1f619c3f73046ded1ac6883e59dReid Spencer case ICmpInst::ICMP_SGT: pred = "sgt"; break; 62681dfeb3264d3c1f619c3f73046ded1ac6883e59dReid Spencer case ICmpInst::ICMP_SGE: pred = "sge"; break; 62781dfeb3264d3c1f619c3f73046ded1ac6883e59dReid Spencer case ICmpInst::ICMP_SLT: pred = "slt"; break; 62881dfeb3264d3c1f619c3f73046ded1ac6883e59dReid Spencer case ICmpInst::ICMP_SLE: pred = "sle"; break; 62981dfeb3264d3c1f619c3f73046ded1ac6883e59dReid Spencer case ICmpInst::ICMP_UGT: pred = "ugt"; break; 63081dfeb3264d3c1f619c3f73046ded1ac6883e59dReid Spencer case ICmpInst::ICMP_UGE: pred = "uge"; break; 63181dfeb3264d3c1f619c3f73046ded1ac6883e59dReid Spencer case ICmpInst::ICMP_ULT: pred = "ult"; break; 63281dfeb3264d3c1f619c3f73046ded1ac6883e59dReid Spencer case ICmpInst::ICMP_ULE: pred = "ule"; break; 63381dfeb3264d3c1f619c3f73046ded1ac6883e59dReid Spencer } 63481dfeb3264d3c1f619c3f73046ded1ac6883e59dReid Spencer return pred; 63581dfeb3264d3c1f619c3f73046ded1ac6883e59dReid Spencer} 63681dfeb3264d3c1f619c3f73046ded1ac6883e59dReid Spencer 637944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattnerstatic void WriteConstantInt(raw_ostream &Out, const Constant *CV, 6389cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner TypePrinting &TypePrinter, SlotTracker *Machine) { 6396b6b6ef1677fa71b1072c2911b4c1f9524a558c9Zhou Sheng if (const ConstantInt *CI = dyn_cast<ConstantInt>(CV)) { 640fad86b003a839cef40ec8ce8408322f4913368caChris Lattner if (CI->getType() == Type::Int1Ty) { 641579dca12c2cfd60bc18aaadbd5331897d48fec29Reid Spencer Out << (CI->getZExtValue() ? "true" : "false"); 642fad86b003a839cef40ec8ce8408322f4913368caChris Lattner return; 643fad86b003a839cef40ec8ce8408322f4913368caChris Lattner } 644fad86b003a839cef40ec8ce8408322f4913368caChris Lattner Out << CI->getValue(); 645fad86b003a839cef40ec8ce8408322f4913368caChris Lattner return; 646fad86b003a839cef40ec8ce8408322f4913368caChris Lattner } 647fad86b003a839cef40ec8ce8408322f4913368caChris Lattner 648fad86b003a839cef40ec8ce8408322f4913368caChris Lattner if (const ConstantFP *CFP = dyn_cast<ConstantFP>(CV)) { 6499d5f45607793052bf5b4436d1b43013fab9999acDale Johannesen if (&CFP->getValueAPF().getSemantics() == &APFloat::IEEEdouble || 6509d5f45607793052bf5b4436d1b43013fab9999acDale Johannesen &CFP->getValueAPF().getSemantics() == &APFloat::IEEEsingle) { 6519d5f45607793052bf5b4436d1b43013fab9999acDale Johannesen // We would like to output the FP constant value in exponential notation, 6529d5f45607793052bf5b4436d1b43013fab9999acDale Johannesen // but we cannot do this if doing so will lose precision. Check here to 6539d5f45607793052bf5b4436d1b43013fab9999acDale Johannesen // make sure that we only output it in exponential format if we can parse 6549d5f45607793052bf5b4436d1b43013fab9999acDale Johannesen // the value back and get the same value. 6559d5f45607793052bf5b4436d1b43013fab9999acDale Johannesen // 656541ed9fd02ea48d2739f4a9dd681ba2d5da26886Dale Johannesen bool ignored; 6579d5f45607793052bf5b4436d1b43013fab9999acDale Johannesen bool isDouble = &CFP->getValueAPF().getSemantics()==&APFloat::IEEEdouble; 658fad86b003a839cef40ec8ce8408322f4913368caChris Lattner double Val = isDouble ? CFP->getValueAPF().convertToDouble() : 659fad86b003a839cef40ec8ce8408322f4913368caChris Lattner CFP->getValueAPF().convertToFloat(); 6609d5f45607793052bf5b4436d1b43013fab9999acDale Johannesen std::string StrVal = ftostr(CFP->getValueAPF()); 6619d5f45607793052bf5b4436d1b43013fab9999acDale Johannesen 6629d5f45607793052bf5b4436d1b43013fab9999acDale Johannesen // Check to make sure that the stringized number is not some string like 6639d5f45607793052bf5b4436d1b43013fab9999acDale Johannesen // "Inf" or NaN, that atof will accept, but the lexer will not. Check 6649d5f45607793052bf5b4436d1b43013fab9999acDale Johannesen // that the string matches the "[-+]?[0-9]" regex. 6659d5f45607793052bf5b4436d1b43013fab9999acDale Johannesen // 6669d5f45607793052bf5b4436d1b43013fab9999acDale Johannesen if ((StrVal[0] >= '0' && StrVal[0] <= '9') || 6679d5f45607793052bf5b4436d1b43013fab9999acDale Johannesen ((StrVal[0] == '-' || StrVal[0] == '+') && 6689d5f45607793052bf5b4436d1b43013fab9999acDale Johannesen (StrVal[1] >= '0' && StrVal[1] <= '9'))) { 6699d5f45607793052bf5b4436d1b43013fab9999acDale Johannesen // Reparse stringized version! 6709d5f45607793052bf5b4436d1b43013fab9999acDale Johannesen if (atof(StrVal.c_str()) == Val) { 6719d5f45607793052bf5b4436d1b43013fab9999acDale Johannesen Out << StrVal; 6729d5f45607793052bf5b4436d1b43013fab9999acDale Johannesen return; 6739d5f45607793052bf5b4436d1b43013fab9999acDale Johannesen } 67466e810be9f97fa744ca949d54b5d54358add84b8Chris Lattner } 6759d5f45607793052bf5b4436d1b43013fab9999acDale Johannesen // Otherwise we could not reparse it to exactly the same value, so we must 676541ed9fd02ea48d2739f4a9dd681ba2d5da26886Dale Johannesen // output the string in hexadecimal format! Note that loading and storing 677541ed9fd02ea48d2739f4a9dd681ba2d5da26886Dale Johannesen // floating point types changes the bits of NaNs on some hosts, notably 678541ed9fd02ea48d2739f4a9dd681ba2d5da26886Dale Johannesen // x86, so we must not use these types. 6799d5f45607793052bf5b4436d1b43013fab9999acDale Johannesen assert(sizeof(double) == sizeof(uint64_t) && 6809d5f45607793052bf5b4436d1b43013fab9999acDale Johannesen "assuming that double is 64 bits!"); 681c6a1346d7c6bb761f9e6c2c85b53febba1cb15dbChris Lattner char Buffer[40]; 682541ed9fd02ea48d2739f4a9dd681ba2d5da26886Dale Johannesen APFloat apf = CFP->getValueAPF(); 683541ed9fd02ea48d2739f4a9dd681ba2d5da26886Dale Johannesen // Floats are represented in ASCII IR as double, convert. 684541ed9fd02ea48d2739f4a9dd681ba2d5da26886Dale Johannesen if (!isDouble) 685541ed9fd02ea48d2739f4a9dd681ba2d5da26886Dale Johannesen apf.convert(APFloat::IEEEdouble, APFloat::rmNearestTiesToEven, 686541ed9fd02ea48d2739f4a9dd681ba2d5da26886Dale Johannesen &ignored); 687541ed9fd02ea48d2739f4a9dd681ba2d5da26886Dale Johannesen Out << "0x" << 688541ed9fd02ea48d2739f4a9dd681ba2d5da26886Dale Johannesen utohex_buffer(uint64_t(apf.bitcastToAPInt().getZExtValue()), 689541ed9fd02ea48d2739f4a9dd681ba2d5da26886Dale Johannesen Buffer+40); 690cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner return; 691cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner } 692cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner 693cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner // Some form of long double. These appear as a magic letter identifying 694cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner // the type, then a fixed number of hex digits. 695cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner Out << "0x"; 696cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner if (&CFP->getValueAPF().getSemantics() == &APFloat::x87DoubleExtended) 697cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner Out << 'K'; 698cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner else if (&CFP->getValueAPF().getSemantics() == &APFloat::IEEEquad) 699cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner Out << 'L'; 700cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner else if (&CFP->getValueAPF().getSemantics() == &APFloat::PPCDoubleDouble) 701cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner Out << 'M'; 702cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner else 703cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner assert(0 && "Unsupported floating point type"); 704cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner // api needed to prevent premature destruction 7057111b02c734c992b8c97d9918118768026dad79eDale Johannesen APInt api = CFP->getValueAPF().bitcastToAPInt(); 706cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner const uint64_t* p = api.getRawData(); 707cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner uint64_t word = *p; 708cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner int shiftcount=60; 709cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner int width = api.getBitWidth(); 710cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner for (int j=0; j<width; j+=4, shiftcount-=4) { 711cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner unsigned int nibble = (word>>shiftcount) & 15; 712cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner if (nibble < 10) 713cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner Out << (unsigned char)(nibble + '0'); 7149d5f45607793052bf5b4436d1b43013fab9999acDale Johannesen else 715cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner Out << (unsigned char)(nibble - 10 + 'A'); 716cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner if (shiftcount == 0 && j+4 < width) { 717cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner word = *(++p); 718cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner shiftcount = 64; 719cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner if (width-j-4 < 64) 720cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner shiftcount = width-j-4; 7219d5f45607793052bf5b4436d1b43013fab9999acDale Johannesen } 7229d5f45607793052bf5b4436d1b43013fab9999acDale Johannesen } 723cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner return; 724cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner } 725cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner 726cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner if (isa<ConstantAggregateZero>(CV)) { 727de512b5b2edebe9c9021a92c7c7a9ae9fbc380d6Chris Lattner Out << "zeroinitializer"; 728cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner return; 729cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner } 730cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner 731cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner if (const ConstantArray *CA = dyn_cast<ConstantArray>(CV)) { 73266e810be9f97fa744ca949d54b5d54358add84b8Chris Lattner // As a special case, print the array as a string if it is an array of 7339b38d7db6d9fbb5bf9d16bec590a17c5895453e1Dan Gohman // i8 with ConstantInt values. 734fd93908ae8b9684fe71c239e3c6cfe13ff6a2663Misha Brukman // 73566e810be9f97fa744ca949d54b5d54358add84b8Chris Lattner const Type *ETy = CA->getType()->getElementType(); 73618365506ebe3e28593cb36951f17f08e75712a29Chris Lattner if (CA->isString()) { 73766e810be9f97fa744ca949d54b5d54358add84b8Chris Lattner Out << "c\""; 73818365506ebe3e28593cb36951f17f08e75712a29Chris Lattner PrintEscapedString(CA->getAsString(), Out); 739cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner Out << '"'; 74066e810be9f97fa744ca949d54b5d54358add84b8Chris Lattner } else { // Cannot output in string format... 74140c732cc52a5c71cead461646667ef5b13801923Misha Brukman Out << '['; 7427a716addedc4938fa0ec6b77e5eeaced6eafc5d0Chris Lattner if (CA->getNumOperands()) { 7439cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner TypePrinter.print(ETy); 7448dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman Out << ' '; 7457a716addedc4938fa0ec6b77e5eeaced6eafc5d0Chris Lattner WriteAsOperandInternal(Out, CA->getOperand(0), 7469cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner TypePrinter, Machine); 7477a716addedc4938fa0ec6b77e5eeaced6eafc5d0Chris Lattner for (unsigned i = 1, e = CA->getNumOperands(); i != e; ++i) { 7487a716addedc4938fa0ec6b77e5eeaced6eafc5d0Chris Lattner Out << ", "; 7499cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner TypePrinter.print(ETy); 7508dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman Out << ' '; 7519cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner WriteAsOperandInternal(Out, CA->getOperand(i), TypePrinter, Machine); 7527a716addedc4938fa0ec6b77e5eeaced6eafc5d0Chris Lattner } 7537a716addedc4938fa0ec6b77e5eeaced6eafc5d0Chris Lattner } 7548dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman Out << ']'; 7557a716addedc4938fa0ec6b77e5eeaced6eafc5d0Chris Lattner } 756cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner return; 757cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner } 758cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner 759cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner if (const ConstantStruct *CS = dyn_cast<ConstantStruct>(CV)) { 76043f344a26695ba85a1a0b5407c038d9c3f980327Andrew Lenharth if (CS->getType()->isPacked()) 76143f344a26695ba85a1a0b5407c038d9c3f980327Andrew Lenharth Out << '<'; 76240c732cc52a5c71cead461646667ef5b13801923Misha Brukman Out << '{'; 763a3f332bdc3e8fd1ac78dd3dc868d871e9086c5fdJim Laskey unsigned N = CS->getNumOperands(); 764a3f332bdc3e8fd1ac78dd3dc868d871e9086c5fdJim Laskey if (N) { 765242330371b2b7ab9d5a6c4f5f93ec82c514cc09aChris Lattner Out << ' '; 7669cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner TypePrinter.print(CS->getOperand(0)->getType()); 7678dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman Out << ' '; 7687a716addedc4938fa0ec6b77e5eeaced6eafc5d0Chris Lattner 7699cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner WriteAsOperandInternal(Out, CS->getOperand(0), TypePrinter, Machine); 7707a716addedc4938fa0ec6b77e5eeaced6eafc5d0Chris Lattner 771a3f332bdc3e8fd1ac78dd3dc868d871e9086c5fdJim Laskey for (unsigned i = 1; i < N; i++) { 7727a716addedc4938fa0ec6b77e5eeaced6eafc5d0Chris Lattner Out << ", "; 7739cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner TypePrinter.print(CS->getOperand(i)->getType()); 7748dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman Out << ' '; 7757a716addedc4938fa0ec6b77e5eeaced6eafc5d0Chris Lattner 7769cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner WriteAsOperandInternal(Out, CS->getOperand(i), TypePrinter, Machine); 7777a716addedc4938fa0ec6b77e5eeaced6eafc5d0Chris Lattner } 7788dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman Out << ' '; 7797a716addedc4938fa0ec6b77e5eeaced6eafc5d0Chris Lattner } 780a3f332bdc3e8fd1ac78dd3dc868d871e9086c5fdJim Laskey 7818dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman Out << '}'; 78243f344a26695ba85a1a0b5407c038d9c3f980327Andrew Lenharth if (CS->getType()->isPacked()) 78343f344a26695ba85a1a0b5407c038d9c3f980327Andrew Lenharth Out << '>'; 784cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner return; 785cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner } 786cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner 787cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner if (const ConstantVector *CP = dyn_cast<ConstantVector>(CV)) { 788cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner const Type *ETy = CP->getType()->getElementType(); 789cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner assert(CP->getNumOperands() > 0 && 790cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner "Number of operands for a PackedConst must be > 0"); 7917dfa07f794a5dd4479e80896ef626bbe69455908Dan Gohman Out << '<'; 7929cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner TypePrinter.print(ETy); 7938dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman Out << ' '; 7949cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner WriteAsOperandInternal(Out, CP->getOperand(0), TypePrinter, Machine); 795cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner for (unsigned i = 1, e = CP->getNumOperands(); i != e; ++i) { 7964667b71f9380afad56cbdc1fd19ca32334086d2cChris Lattner Out << ", "; 7979cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner TypePrinter.print(ETy); 7988dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman Out << ' '; 7999cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner WriteAsOperandInternal(Out, CP->getOperand(i), TypePrinter, Machine); 800cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner } 8017dfa07f794a5dd4479e80896ef626bbe69455908Dan Gohman Out << '>'; 802cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner return; 803cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner } 804cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner 805cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner if (isa<ConstantPointerNull>(CV)) { 8067a716addedc4938fa0ec6b77e5eeaced6eafc5d0Chris Lattner Out << "null"; 807cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner return; 808cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner } 809cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner 810cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner if (isa<UndefValue>(CV)) { 811b976e668165e1875a8f1eb7af800e33bb1e4393dChris Lattner Out << "undef"; 812cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner return; 813cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner } 814b976e668165e1875a8f1eb7af800e33bb1e4393dChris Lattner 815cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner if (const ConstantExpr *CE = dyn_cast<ConstantExpr>(CV)) { 81681dfeb3264d3c1f619c3f73046ded1ac6883e59dReid Spencer Out << CE->getOpcodeName(); 81781dfeb3264d3c1f619c3f73046ded1ac6883e59dReid Spencer if (CE->isCompare()) 818cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner Out << ' ' << getPredicateText(CE->getPredicate()); 81981dfeb3264d3c1f619c3f73046ded1ac6883e59dReid Spencer Out << " ("; 820fd93908ae8b9684fe71c239e3c6cfe13ff6a2663Misha Brukman 821b4dbb4445c67fc46e56765035c2787028a66a614Vikram S. Adve for (User::const_op_iterator OI=CE->op_begin(); OI != CE->op_end(); ++OI) { 8229cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner TypePrinter.print((*OI)->getType()); 8238dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman Out << ' '; 8249cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner WriteAsOperandInternal(Out, *OI, TypePrinter, Machine); 825b4dbb4445c67fc46e56765035c2787028a66a614Vikram S. Adve if (OI+1 != CE->op_end()) 826c188eeb08c873da142a47398be6c405ce3f34f51Chris Lattner Out << ", "; 827b4dbb4445c67fc46e56765035c2787028a66a614Vikram S. Adve } 828fd93908ae8b9684fe71c239e3c6cfe13ff6a2663Misha Brukman 829995be7d07a0ed1f70a93b2a2e7f445461162e8a5Dan Gohman if (CE->hasIndices()) { 830995be7d07a0ed1f70a93b2a2e7f445461162e8a5Dan Gohman const SmallVector<unsigned, 4> &Indices = CE->getIndices(); 831995be7d07a0ed1f70a93b2a2e7f445461162e8a5Dan Gohman for (unsigned i = 0, e = Indices.size(); i != e; ++i) 832995be7d07a0ed1f70a93b2a2e7f445461162e8a5Dan Gohman Out << ", " << Indices[i]; 833995be7d07a0ed1f70a93b2a2e7f445461162e8a5Dan Gohman } 834995be7d07a0ed1f70a93b2a2e7f445461162e8a5Dan Gohman 8353da59db637a887474c1b1346c1f3ccf53b6c4663Reid Spencer if (CE->isCast()) { 83695586b8c833aeca112907e69f545a6ea6e2103ffChris Lattner Out << " to "; 8379cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner TypePrinter.print(CE->getType()); 83895586b8c833aeca112907e69f545a6ea6e2103ffChris Lattner } 8393da59db637a887474c1b1346c1f3ccf53b6c4663Reid Spencer 84040c732cc52a5c71cead461646667ef5b13801923Misha Brukman Out << ')'; 841cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner return; 8427a716addedc4938fa0ec6b77e5eeaced6eafc5d0Chris Lattner } 843cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner 844cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner Out << "<placeholder or erroneous Constant>"; 8457a716addedc4938fa0ec6b77e5eeaced6eafc5d0Chris Lattner} 8467a716addedc4938fa0ec6b77e5eeaced6eafc5d0Chris Lattner 8477a716addedc4938fa0ec6b77e5eeaced6eafc5d0Chris Lattner 848ab5c6003d23c19d23bbff1054900d208c55e0188Misha Brukman/// WriteAsOperand - Write the name of the specified value out to the specified 849ab5c6003d23c19d23bbff1054900d208c55e0188Misha Brukman/// ostream. This can be useful when you just want to print int %reg126, not 850ab5c6003d23c19d23bbff1054900d208c55e0188Misha Brukman/// the whole instruction that generated it. 851ab5c6003d23c19d23bbff1054900d208c55e0188Misha Brukman/// 852944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattnerstatic void WriteAsOperandInternal(raw_ostream &Out, const Value *V, 8539cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner TypePrinting &TypePrinter, 8540d9574a1cd68c6e41f725c22657b8bb3f8d74117Chris Lattner SlotTracker *Machine) { 855c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner if (V->hasName()) { 856c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner PrintLLVMName(Out, V); 857c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner return; 858c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner } 859c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner 860c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner const Constant *CV = dyn_cast<Constant>(V); 861c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner if (CV && !isa<GlobalValue>(CV)) { 8629cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner WriteConstantInt(Out, CV, TypePrinter, Machine); 863cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner return; 864cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner } 865cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner 866cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner if (const InlineAsm *IA = dyn_cast<InlineAsm>(V)) { 867c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner Out << "asm "; 868c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner if (IA->hasSideEffects()) 869c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner Out << "sideeffect "; 870c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner Out << '"'; 871c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner PrintEscapedString(IA->getAsmString(), Out); 872c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner Out << "\", \""; 873c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner PrintEscapedString(IA->getConstraintString(), Out); 874c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner Out << '"'; 875cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner return; 876cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner } 877cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner 878cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner char Prefix = '%'; 879cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner int Slot; 880cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner if (Machine) { 881cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner if (const GlobalValue *GV = dyn_cast<GlobalValue>(V)) { 882cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner Slot = Machine->getGlobalSlot(GV); 883cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner Prefix = '@'; 884cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner } else { 885cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner Slot = Machine->getLocalSlot(V); 886cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner } 887c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner } else { 888cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner Machine = createSlotTracker(V); 889c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner if (Machine) { 890c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner if (const GlobalValue *GV = dyn_cast<GlobalValue>(V)) { 891c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner Slot = Machine->getGlobalSlot(GV); 892c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner Prefix = '@'; 893c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner } else { 894c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner Slot = Machine->getLocalSlot(V); 895c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner } 89680cd11561892a639a2628d19815af0695b5dbcaaChris Lattner } else { 897cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner Slot = -1; 8987a716addedc4938fa0ec6b77e5eeaced6eafc5d0Chris Lattner } 899cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner delete Machine; 9007a716addedc4938fa0ec6b77e5eeaced6eafc5d0Chris Lattner } 901cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner 902cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner if (Slot != -1) 903cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner Out << Prefix << Slot; 904cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner else 905cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner Out << "<badref>"; 9067a716addedc4938fa0ec6b77e5eeaced6eafc5d0Chris Lattner} 9077a716addedc4938fa0ec6b77e5eeaced6eafc5d0Chris Lattner 9089d0802e7dd165dd9b7372f12799f248e7f133287Misha Brukman/// WriteAsOperand - Write the name of the specified value out to the specified 9099d0802e7dd165dd9b7372f12799f248e7f133287Misha Brukman/// ostream. This can be useful when you just want to print int %reg126, not 9109d0802e7dd165dd9b7372f12799f248e7f133287Misha Brukman/// the whole instruction that generated it. 9119d0802e7dd165dd9b7372f12799f248e7f133287Misha Brukman/// 912242330371b2b7ab9d5a6c4f5f93ec82c514cc09aChris Lattnervoid llvm::WriteAsOperand(std::ostream &Out, const Value *V, bool PrintType, 913242330371b2b7ab9d5a6c4f5f93ec82c514cc09aChris Lattner const Module *Context) { 914944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner raw_os_ostream OS(Out); 915944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner WriteAsOperand(OS, V, PrintType, Context); 916944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner} 917944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner 918944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattnervoid llvm::WriteAsOperand(raw_ostream &Out, const Value *V, bool PrintType, 919944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner const Module *Context) { 920607dc6880ecfd4807de2163d37f2fa8877b7f62dChris Lattner if (Context == 0) Context = getModuleFromVal(V); 9217a716addedc4938fa0ec6b77e5eeaced6eafc5d0Chris Lattner 9229cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner TypePrinting TypePrinter(Context, Out); 9238dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman if (PrintType) { 9249cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner TypePrinter.print(V->getType()); 9258dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman Out << ' '; 9268dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman } 927fd93908ae8b9684fe71c239e3c6cfe13ff6a2663Misha Brukman 9289cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner WriteAsOperandInternal(Out, V, TypePrinter, 0); 929622f740a7dcf0b3520244e58b2233898fd4a46e4Chris Lattner} 930622f740a7dcf0b3520244e58b2233898fd4a46e4Chris Lattner 9310e25e1cdcf1f73bb9f56b91155d5c0ef42ef0a44Reid Spencer 932cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattnernamespace { 933d8c2e42aeff8bdb3ac905b4721b3d3ca1f904cfaChris Lattner 934007377f381e253cc559db8d3c94fa89b0eb55fadChris Lattnerclass AssemblyWriter { 935944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner raw_ostream &Out; 9360d9574a1cd68c6e41f725c22657b8bb3f8d74117Chris Lattner SlotTracker &Machine; 937c1824996451d5ea93864fcd34ba8ea5e5f03e368Chris Lattner const Module *TheModule; 9389cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner TypePrinting TypePrinter; 93995e5a2cc3fc55b262d2baa1cc417115dfa4a18eaChris Lattner AssemblyAnnotationWriter *AnnotationWriter; 940009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattnerpublic: 941944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner inline AssemblyWriter(raw_ostream &o, SlotTracker &Mac, const Module *M, 94295e5a2cc3fc55b262d2baa1cc417115dfa4a18eaChris Lattner AssemblyAnnotationWriter *AAW) 9439cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner : Out(o), Machine(Mac), TheModule(M), TypePrinter(M, Out), 9449cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner AnnotationWriter(AAW) { 945009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner } 946009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner 947944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner void write(const Module *M) { printModule(M); } 948944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner 949944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner void write(const GlobalValue *G) { 950944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner if (const GlobalVariable *GV = dyn_cast<GlobalVariable>(G)) 951944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner printGlobal(GV); 952944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner else if (const GlobalAlias *GA = dyn_cast<GlobalAlias>(G)) 953944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner printAlias(GA); 954944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner else if (const Function *F = dyn_cast<Function>(G)) 955944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner printFunction(F); 956944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner else 957944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner assert(0 && "Unknown global"); 958944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner } 959944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner 960cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner void write(const BasicBlock *BB) { printBasicBlock(BB); } 961cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner void write(const Instruction *I) { printInstruction(*I); } 9629cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner// void write(const Type *Ty) { printType(Ty); } 963009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner 9642fcfdb79d0d1d2297d7aced11b567cd52494604eChris Lattner void writeOperand(const Value *Op, bool PrintType); 965eaf42abab6d465c38891345d999255871cf03943Devang Patel void writeParamOperand(const Value *Operand, Attributes Attrs); 96666e810be9f97fa744ca949d54b5d54358add84b8Chris Lattner 9675cf1acff3c32e52d79ea8b0b47e341d4e975ed8cMisha Brukman const Module* getModule() { return TheModule; } 9685cf1acff3c32e52d79ea8b0b47e341d4e975ed8cMisha Brukman 969f771bea7402f05f59b2857586de9934ff1c7bbf5Misha Brukmanprivate: 970c1824996451d5ea93864fcd34ba8ea5e5f03e368Chris Lattner void printModule(const Module *M); 97178d033e086e19e016273de014f9214aa6f3f844bReid Spencer void printTypeSymbolTable(const TypeSymbolTable &ST); 972c1824996451d5ea93864fcd34ba8ea5e5f03e368Chris Lattner void printGlobal(const GlobalVariable *GV); 9738b0a8c84da2030ee8f4440d5b60a8033de691222Anton Korobeynikov void printAlias(const GlobalAlias *GV); 97479df7c0aaa18129e55968c8783ef8346807bd4afChris Lattner void printFunction(const Function *F); 975eaf42abab6d465c38891345d999255871cf03943Devang Patel void printArgument(const Argument *FA, Attributes Attrs); 976c1824996451d5ea93864fcd34ba8ea5e5f03e368Chris Lattner void printBasicBlock(const BasicBlock *BB); 9777e70829632f82de15db187845666aaca6e04b792Chris Lattner void printInstruction(const Instruction &I); 9782761e9f076bbe6c961629aece62db4b836a41ef8Chris Lattner 9792761e9f076bbe6c961629aece62db4b836a41ef8Chris Lattner // printType - Go to extreme measures to attempt to print out a short, 9802761e9f076bbe6c961629aece62db4b836a41ef8Chris Lattner // symbolic version of a type name. 9812761e9f076bbe6c961629aece62db4b836a41ef8Chris Lattner // 9824667b71f9380afad56cbdc1fd19ca32334086d2cChris Lattner void printType(const Type *Ty) { 9839cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner TypePrinter.print(Ty); 9842761e9f076bbe6c961629aece62db4b836a41ef8Chris Lattner } 9852761e9f076bbe6c961629aece62db4b836a41ef8Chris Lattner 986e02fa8551d20081534afa46e0976811687e5183aChris Lattner // printInfoComment - Print a little comment after the instruction indicating 987e02fa8551d20081534afa46e0976811687e5183aChris Lattner // which slot it occupies. 9887e70829632f82de15db187845666aaca6e04b792Chris Lattner void printInfoComment(const Value &V); 989009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner}; 99073b7495a96e21e1515df86414e0636dbf1395fc5Reid Spencer} // end of llvm namespace 991009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner 9922761e9f076bbe6c961629aece62db4b836a41ef8Chris Lattner 9932fcfdb79d0d1d2297d7aced11b567cd52494604eChris Lattnervoid AssemblyWriter::writeOperand(const Value *Operand, bool PrintType) { 9942fcfdb79d0d1d2297d7aced11b567cd52494604eChris Lattner if (Operand == 0) { 995aab1820816facf83d7bda8f01e3d85ced99601f3Chris Lattner Out << "<null operand!>"; 9962fcfdb79d0d1d2297d7aced11b567cd52494604eChris Lattner } else { 997cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner if (PrintType) { 998cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner printType(Operand->getType()); 9998dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman Out << ' '; 1000cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner } 10019cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner WriteAsOperandInternal(Out, Operand, TypePrinter, &Machine); 1002aab1820816facf83d7bda8f01e3d85ced99601f3Chris Lattner } 1003007377f381e253cc559db8d3c94fa89b0eb55fadChris Lattner} 1004007377f381e253cc559db8d3c94fa89b0eb55fadChris Lattner 10050d51e7ec0d2dcbea9e304fd58deb05f37eb75635Dale Johannesenvoid AssemblyWriter::writeParamOperand(const Value *Operand, 1006eaf42abab6d465c38891345d999255871cf03943Devang Patel Attributes Attrs) { 1007dc024674ff96820d6020757b48d47f46d4c07db2Duncan Sands if (Operand == 0) { 1008dc024674ff96820d6020757b48d47f46d4c07db2Duncan Sands Out << "<null operand!>"; 1009dc024674ff96820d6020757b48d47f46d4c07db2Duncan Sands } else { 1010dc024674ff96820d6020757b48d47f46d4c07db2Duncan Sands // Print the type 1011dc024674ff96820d6020757b48d47f46d4c07db2Duncan Sands printType(Operand->getType()); 1012dc024674ff96820d6020757b48d47f46d4c07db2Duncan Sands // Print parameter attributes list 10130598866c052147c31b808391f58434ce3dbfb838Devang Patel if (Attrs != Attribute::None) 10140598866c052147c31b808391f58434ce3dbfb838Devang Patel Out << ' ' << Attribute::getAsString(Attrs); 10158dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman Out << ' '; 1016dc024674ff96820d6020757b48d47f46d4c07db2Duncan Sands // Print the operand 10179cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner WriteAsOperandInternal(Out, Operand, TypePrinter, &Machine); 1018dc024674ff96820d6020757b48d47f46d4c07db2Duncan Sands } 1019dc024674ff96820d6020757b48d47f46d4c07db2Duncan Sands} 1020007377f381e253cc559db8d3c94fa89b0eb55fadChris Lattner 1021c1824996451d5ea93864fcd34ba8ea5e5f03e368Chris Lattnervoid AssemblyWriter::printModule(const Module *M) { 102231ab1b3d74440908889fc8ea0615c1d397478360Chris Lattner if (!M->getModuleIdentifier().empty() && 1023fd93908ae8b9684fe71c239e3c6cfe13ff6a2663Misha Brukman // Don't print the ID if it will start a new line (which would 102431ab1b3d74440908889fc8ea0615c1d397478360Chris Lattner // require a comment char before it). 102531ab1b3d74440908889fc8ea0615c1d397478360Chris Lattner M->getModuleIdentifier().find('\n') == std::string::npos) 102631ab1b3d74440908889fc8ea0615c1d397478360Chris Lattner Out << "; ModuleID = '" << M->getModuleIdentifier() << "'\n"; 102731ab1b3d74440908889fc8ea0615c1d397478360Chris Lattner 1028cf7ff2b4c8c18d67aced9d7ba84482819b38a84bOwen Anderson if (!M->getDataLayout().empty()) 1029d2f9e609aa40de7049ebb6f838e7ba6579e3fb6aChris Lattner Out << "target datalayout = \"" << M->getDataLayout() << "\"\n"; 1030cddc86f27c822af960fc8d344a86a63fce6eab76Reid Spencer if (!M->getTargetTriple().empty()) 1031c9a1f0dcdde056a2cdbc446a9d6853684402263fReid Spencer Out << "target triple = \"" << M->getTargetTriple() << "\"\n"; 1032fd93908ae8b9684fe71c239e3c6cfe13ff6a2663Misha Brukman 1033cc041ba03aed685400197fb938b7a583713d25afChris Lattner if (!M->getModuleInlineAsm().empty()) { 103442a162ed8023088e7a4a7d81325381bd8d437bb7Chris Lattner // Split the string into lines, to make it easier to read the .ll file. 1035cc041ba03aed685400197fb938b7a583713d25afChris Lattner std::string Asm = M->getModuleInlineAsm(); 103642a162ed8023088e7a4a7d81325381bd8d437bb7Chris Lattner size_t CurPos = 0; 103742a162ed8023088e7a4a7d81325381bd8d437bb7Chris Lattner size_t NewLine = Asm.find_first_of('\n', CurPos); 103842a162ed8023088e7a4a7d81325381bd8d437bb7Chris Lattner while (NewLine != std::string::npos) { 103942a162ed8023088e7a4a7d81325381bd8d437bb7Chris Lattner // We found a newline, print the portion of the asm string from the 104042a162ed8023088e7a4a7d81325381bd8d437bb7Chris Lattner // last newline up to this newline. 104142a162ed8023088e7a4a7d81325381bd8d437bb7Chris Lattner Out << "module asm \""; 104242a162ed8023088e7a4a7d81325381bd8d437bb7Chris Lattner PrintEscapedString(std::string(Asm.begin()+CurPos, Asm.begin()+NewLine), 104342a162ed8023088e7a4a7d81325381bd8d437bb7Chris Lattner Out); 104442a162ed8023088e7a4a7d81325381bd8d437bb7Chris Lattner Out << "\"\n"; 104542a162ed8023088e7a4a7d81325381bd8d437bb7Chris Lattner CurPos = NewLine+1; 104642a162ed8023088e7a4a7d81325381bd8d437bb7Chris Lattner NewLine = Asm.find_first_of('\n', CurPos); 104742a162ed8023088e7a4a7d81325381bd8d437bb7Chris Lattner } 104871cdba31774ce18ed32e89f1c6f7716ab923aa46Chris Lattner Out << "module asm \""; 104942a162ed8023088e7a4a7d81325381bd8d437bb7Chris Lattner PrintEscapedString(std::string(Asm.begin()+CurPos, Asm.end()), Out); 105018365506ebe3e28593cb36951f17f08e75712a29Chris Lattner Out << "\"\n"; 105118365506ebe3e28593cb36951f17f08e75712a29Chris Lattner } 105218365506ebe3e28593cb36951f17f08e75712a29Chris Lattner 105344da7d79760998f9a70340b49a3811229838224dChris Lattner // Loop over the dependent libraries and emit them. 1054cfe97b78e787d232f4a82f5ff0afadf75ba95f6cChris Lattner Module::lib_iterator LI = M->lib_begin(); 1055cfe97b78e787d232f4a82f5ff0afadf75ba95f6cChris Lattner Module::lib_iterator LE = M->lib_end(); 1056cddc86f27c822af960fc8d344a86a63fce6eab76Reid Spencer if (LI != LE) { 1057cfe97b78e787d232f4a82f5ff0afadf75ba95f6cChris Lattner Out << "deplibs = [ "; 1058cfe97b78e787d232f4a82f5ff0afadf75ba95f6cChris Lattner while (LI != LE) { 105944da7d79760998f9a70340b49a3811229838224dChris Lattner Out << '"' << *LI << '"'; 1060c9a1f0dcdde056a2cdbc446a9d6853684402263fReid Spencer ++LI; 1061cfe97b78e787d232f4a82f5ff0afadf75ba95f6cChris Lattner if (LI != LE) 1062cfe97b78e787d232f4a82f5ff0afadf75ba95f6cChris Lattner Out << ", "; 1063c9a1f0dcdde056a2cdbc446a9d6853684402263fReid Spencer } 1064c9a1f0dcdde056a2cdbc446a9d6853684402263fReid Spencer Out << " ]\n"; 106583f6a77c8fc27eba21bca05be37663f3a6e123a1Reid Spencer } 1066e59eaf407a675845e278c2769e3dbed9f1daae8cReid Spencer 106744da7d79760998f9a70340b49a3811229838224dChris Lattner // Loop over the symbol table, emitting all named constants. 106878d033e086e19e016273de014f9214aa6f3f844bReid Spencer printTypeSymbolTable(M->getTypeSymbolTable()); 1069fd93908ae8b9684fe71c239e3c6cfe13ff6a2663Misha Brukman 1070d6d826cdadc4dcaa5babefda85bf08aaa57d8bc5Chris Lattner for (Module::const_global_iterator I = M->global_begin(), E = M->global_end(); 1071d6d826cdadc4dcaa5babefda85bf08aaa57d8bc5Chris Lattner I != E; ++I) 10727e70829632f82de15db187845666aaca6e04b792Chris Lattner printGlobal(I); 107369dacfce54473414c1a863d19ab8f2785cd2a4f2Chris Lattner 107469dacfce54473414c1a863d19ab8f2785cd2a4f2Chris Lattner // Output all aliases. 107569dacfce54473414c1a863d19ab8f2785cd2a4f2Chris Lattner if (!M->alias_empty()) Out << "\n"; 107669dacfce54473414c1a863d19ab8f2785cd2a4f2Chris Lattner for (Module::const_alias_iterator I = M->alias_begin(), E = M->alias_end(); 107769dacfce54473414c1a863d19ab8f2785cd2a4f2Chris Lattner I != E; ++I) 107869dacfce54473414c1a863d19ab8f2785cd2a4f2Chris Lattner printAlias(I); 1079007377f381e253cc559db8d3c94fa89b0eb55fadChris Lattner 108044da7d79760998f9a70340b49a3811229838224dChris Lattner // Output all of the functions. 10817e70829632f82de15db187845666aaca6e04b792Chris Lattner for (Module::const_iterator I = M->begin(), E = M->end(); I != E; ++I) 10827e70829632f82de15db187845666aaca6e04b792Chris Lattner printFunction(I); 1083009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner} 1084009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner 1085944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattnerstatic void PrintLinkage(GlobalValue::LinkageTypes LT, raw_ostream &Out) { 1086cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner switch (LT) { 1087bb46f52027416598a662dc1c58f48d9d56b1a65bRafael Espindola case GlobalValue::PrivateLinkage: Out << "private "; break; 1088cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner case GlobalValue::InternalLinkage: Out << "internal "; break; 1089cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner case GlobalValue::LinkOnceLinkage: Out << "linkonce "; break; 1090cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner case GlobalValue::WeakLinkage: Out << "weak "; break; 1091cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner case GlobalValue::CommonLinkage: Out << "common "; break; 1092cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner case GlobalValue::AppendingLinkage: Out << "appending "; break; 1093cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner case GlobalValue::DLLImportLinkage: Out << "dllimport "; break; 1094cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner case GlobalValue::DLLExportLinkage: Out << "dllexport "; break; 1095cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner case GlobalValue::ExternalWeakLinkage: Out << "extern_weak "; break; 1096cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner case GlobalValue::ExternalLinkage: break; 1097cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner case GlobalValue::GhostLinkage: 1098cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner Out << "GhostLinkage not allowed in AsmWriter!\n"; 1099cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner abort(); 1100cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner } 1101cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner} 1102cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner 1103cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner 1104cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattnerstatic void PrintVisibility(GlobalValue::VisibilityTypes Vis, 1105944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner raw_ostream &Out) { 1106cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner switch (Vis) { 1107cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner default: assert(0 && "Invalid visibility style!"); 1108cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner case GlobalValue::DefaultVisibility: break; 1109cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner case GlobalValue::HiddenVisibility: Out << "hidden "; break; 1110cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner case GlobalValue::ProtectedVisibility: Out << "protected "; break; 1111cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner } 1112cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner} 1113cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner 1114c1824996451d5ea93864fcd34ba8ea5e5f03e368Chris Lattnervoid AssemblyWriter::printGlobal(const GlobalVariable *GV) { 1115c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner if (GV->hasName()) { 1116c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner PrintLLVMName(Out, GV); 1117c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner Out << " = "; 1118c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner } 1119d70684f7585a85c4248c1c224059478108741c70Chris Lattner 112052b26de325e32c71159376853384789b7646eaf4Chris Lattner if (!GV->hasInitializer() && GV->hasExternalLinkage()) 112152b26de325e32c71159376853384789b7646eaf4Chris Lattner Out << "external "; 112252b26de325e32c71159376853384789b7646eaf4Chris Lattner 112352b26de325e32c71159376853384789b7646eaf4Chris Lattner PrintLinkage(GV->getLinkage(), Out); 112452b26de325e32c71159376853384789b7646eaf4Chris Lattner PrintVisibility(GV->getVisibility(), Out); 1125c763552299165b88d34a7d4f2d76ff413cbc7f67Lauro Ramos Venancio 1126c763552299165b88d34a7d4f2d76ff413cbc7f67Lauro Ramos Venancio if (GV->isThreadLocal()) Out << "thread_local "; 1127df98617b23315e427cc4fad8ccfdd50d68bec2f9Chris Lattner if (unsigned AddressSpace = GV->getType()->getAddressSpace()) 1128df98617b23315e427cc4fad8ccfdd50d68bec2f9Chris Lattner Out << "addrspace(" << AddressSpace << ") "; 11290313e0b44dcd77acd334d3f324c7da527179a690Misha Brukman Out << (GV->isConstant() ? "constant " : "global "); 11307a1767520611d9ff6face702068de858e1cadf2cChris Lattner printType(GV->getType()->getElementType()); 1131d70684f7585a85c4248c1c224059478108741c70Chris Lattner 11328dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman if (GV->hasInitializer()) { 11338dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman Out << ' '; 11342fcfdb79d0d1d2297d7aced11b567cd52494604eChris Lattner writeOperand(GV->getInitializer(), false); 11358dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman } 1136fe63fb986dc9510c5d68f2442edab9574e9e50d0Christopher Lamb 113760962dbfbaa4a9c3ca6fced08fb90b748aa99203Chris Lattner if (GV->hasSection()) 113860962dbfbaa4a9c3ca6fced08fb90b748aa99203Chris Lattner Out << ", section \"" << GV->getSection() << '"'; 113960962dbfbaa4a9c3ca6fced08fb90b748aa99203Chris Lattner if (GV->getAlignment()) 114030caa2876cd500b49e27b6810ab5dec96398c6faChris Lattner Out << ", align " << GV->getAlignment(); 11418b0a8c84da2030ee8f4440d5b60a8033de691222Anton Korobeynikov 11427e70829632f82de15db187845666aaca6e04b792Chris Lattner printInfoComment(*GV); 1143cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner Out << '\n'; 114470cc3397f84c2e1fd69c059a0ef89e398e847b00Chris Lattner} 114570cc3397f84c2e1fd69c059a0ef89e398e847b00Chris Lattner 11468b0a8c84da2030ee8f4440d5b60a8033de691222Anton Korobeynikovvoid AssemblyWriter::printAlias(const GlobalAlias *GA) { 114724f07dc6e464aa82694fd3dd5fc88dc139d16b7cDale Johannesen // Don't crash when dumping partially built GA 114824f07dc6e464aa82694fd3dd5fc88dc139d16b7cDale Johannesen if (!GA->hasName()) 114924f07dc6e464aa82694fd3dd5fc88dc139d16b7cDale Johannesen Out << "<<nameless>> = "; 1150c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner else { 1151c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner PrintLLVMName(Out, GA); 1152c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner Out << " = "; 1153c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner } 1154cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner PrintVisibility(GA->getVisibility(), Out); 11558b0a8c84da2030ee8f4440d5b60a8033de691222Anton Korobeynikov 11568b0a8c84da2030ee8f4440d5b60a8033de691222Anton Korobeynikov Out << "alias "; 11578b0a8c84da2030ee8f4440d5b60a8033de691222Anton Korobeynikov 1158cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner PrintLinkage(GA->getLinkage(), Out); 11598b0a8c84da2030ee8f4440d5b60a8033de691222Anton Korobeynikov 1160c6c98af9e5814e8066c82f20ca11cf646a5fc289Anton Korobeynikov const Constant *Aliasee = GA->getAliasee(); 11618b0a8c84da2030ee8f4440d5b60a8033de691222Anton Korobeynikov 11628b0a8c84da2030ee8f4440d5b60a8033de691222Anton Korobeynikov if (const GlobalVariable *GV = dyn_cast<GlobalVariable>(Aliasee)) { 11638b0a8c84da2030ee8f4440d5b60a8033de691222Anton Korobeynikov printType(GV->getType()); 1164c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner Out << ' '; 1165c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner PrintLLVMName(Out, GV); 11668b0a8c84da2030ee8f4440d5b60a8033de691222Anton Korobeynikov } else if (const Function *F = dyn_cast<Function>(Aliasee)) { 11678b0a8c84da2030ee8f4440d5b60a8033de691222Anton Korobeynikov printType(F->getFunctionType()); 11688b0a8c84da2030ee8f4440d5b60a8033de691222Anton Korobeynikov Out << "* "; 11698b0a8c84da2030ee8f4440d5b60a8033de691222Anton Korobeynikov 11709cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner WriteAsOperandInternal(Out, F, TypePrinter, &Machine); 1171591858a403a71fc5b30bc7b071f18bc0cf327cfcAnton Korobeynikov } else if (const GlobalAlias *GA = dyn_cast<GlobalAlias>(Aliasee)) { 1172591858a403a71fc5b30bc7b071f18bc0cf327cfcAnton Korobeynikov printType(GA->getType()); 1173c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner Out << " "; 1174c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner PrintLLVMName(Out, GA); 1175a80e1181b78183dc36ec6568559d38faa86981f0Anton Korobeynikov } else { 1176a80e1181b78183dc36ec6568559d38faa86981f0Anton Korobeynikov const ConstantExpr *CE = 0; 1177a80e1181b78183dc36ec6568559d38faa86981f0Anton Korobeynikov if ((CE = dyn_cast<ConstantExpr>(Aliasee)) && 1178a80e1181b78183dc36ec6568559d38faa86981f0Anton Korobeynikov (CE->getOpcode() == Instruction::BitCast)) { 1179a80e1181b78183dc36ec6568559d38faa86981f0Anton Korobeynikov writeOperand(CE, false); 1180a80e1181b78183dc36ec6568559d38faa86981f0Anton Korobeynikov } else 1181a80e1181b78183dc36ec6568559d38faa86981f0Anton Korobeynikov assert(0 && "Unsupported aliasee"); 1182a80e1181b78183dc36ec6568559d38faa86981f0Anton Korobeynikov } 1183a80e1181b78183dc36ec6568559d38faa86981f0Anton Korobeynikov 11848b0a8c84da2030ee8f4440d5b60a8033de691222Anton Korobeynikov printInfoComment(*GA); 118552b26de325e32c71159376853384789b7646eaf4Chris Lattner Out << '\n'; 11868b0a8c84da2030ee8f4440d5b60a8033de691222Anton Korobeynikov} 11878b0a8c84da2030ee8f4440d5b60a8033de691222Anton Korobeynikov 118878d033e086e19e016273de014f9214aa6f3f844bReid Spencervoid AssemblyWriter::printTypeSymbolTable(const TypeSymbolTable &ST) { 11899231ac8b6f2c3f9877bdb7a223f7392061258ab6Reid Spencer // Print the types. 119078d033e086e19e016273de014f9214aa6f3f844bReid Spencer for (TypeSymbolTable::const_iterator TI = ST.begin(), TE = ST.end(); 119178d033e086e19e016273de014f9214aa6f3f844bReid Spencer TI != TE; ++TI) { 119252b26de325e32c71159376853384789b7646eaf4Chris Lattner Out << '\t'; 119352b26de325e32c71159376853384789b7646eaf4Chris Lattner PrintLLVMName(Out, &TI->first[0], TI->first.size(), LocalPrefix); 119452b26de325e32c71159376853384789b7646eaf4Chris Lattner Out << " = type "; 11959231ac8b6f2c3f9877bdb7a223f7392061258ab6Reid Spencer 11969231ac8b6f2c3f9877bdb7a223f7392061258ab6Reid Spencer // Make sure we print out at least one level of the type structure, so 11979231ac8b6f2c3f9877bdb7a223f7392061258ab6Reid Spencer // that we do not get %FILE = type %FILE 11989cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner TypePrinter.printAtLeastOneLevel(TI->second); 1199cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner Out << '\n'; 12009231ac8b6f2c3f9877bdb7a223f7392061258ab6Reid Spencer } 120178d033e086e19e016273de014f9214aa6f3f844bReid Spencer} 120278d033e086e19e016273de014f9214aa6f3f844bReid Spencer 1203ab5c6003d23c19d23bbff1054900d208c55e0188Misha Brukman/// printFunction - Print all aspects of a function. 1204ab5c6003d23c19d23bbff1054900d208c55e0188Misha Brukman/// 12057e70829632f82de15db187845666aaca6e04b792Chris Lattnervoid AssemblyWriter::printFunction(const Function *F) { 1206cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner // Print out the return type and name. 1207cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner Out << '\n'; 12084ad02e726d9b634372b037d4b352d8b63bb9e849Chris Lattner 12090313e0b44dcd77acd334d3f324c7da527179a690Misha Brukman if (AnnotationWriter) AnnotationWriter->emitFunctionAnnot(F, Out); 121095e5a2cc3fc55b262d2baa1cc417115dfa4a18eaChris Lattner 12115cbf985dcbc89fba3208e7baf8b6f488b06d3ec9Reid Spencer if (F->isDeclaration()) 12123aa6066d010b2ccfd58f07fb1be874becf5807c2Chris Lattner Out << "declare "; 12133aa6066d010b2ccfd58f07fb1be874becf5807c2Chris Lattner else 1214b951bc02839e9862e02e17c7ea83e6437fc13442Reid Spencer Out << "define "; 1215cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner 1216cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner PrintLinkage(F->getLinkage(), Out); 1217cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner PrintVisibility(F->getVisibility(), Out); 12184ad02e726d9b634372b037d4b352d8b63bb9e849Chris Lattner 1219d511898b581826694e6c651e23343b1e1ba5ba64Chris Lattner // Print the calling convention. 1220d511898b581826694e6c651e23343b1e1ba5ba64Chris Lattner switch (F->getCallingConv()) { 1221d511898b581826694e6c651e23343b1e1ba5ba64Chris Lattner case CallingConv::C: break; // default 1222f824868ed9d2cc756a797f6dbd67732f75e31cd6Anton Korobeynikov case CallingConv::Fast: Out << "fastcc "; break; 1223f824868ed9d2cc756a797f6dbd67732f75e31cd6Anton Korobeynikov case CallingConv::Cold: Out << "coldcc "; break; 1224f824868ed9d2cc756a797f6dbd67732f75e31cd6Anton Korobeynikov case CallingConv::X86_StdCall: Out << "x86_stdcallcc "; break; 1225f824868ed9d2cc756a797f6dbd67732f75e31cd6Anton Korobeynikov case CallingConv::X86_FastCall: Out << "x86_fastcallcc "; break; 1226d511898b581826694e6c651e23343b1e1ba5ba64Chris Lattner default: Out << "cc" << F->getCallingConv() << " "; break; 1227d511898b581826694e6c651e23343b1e1ba5ba64Chris Lattner } 1228d511898b581826694e6c651e23343b1e1ba5ba64Chris Lattner 1229bd5db8e29b82f864c3d6525c6cfefa557fafdbb8Reid Spencer const FunctionType *FT = F->getFunctionType(); 12300598866c052147c31b808391f58434ce3dbfb838Devang Patel const AttrListPtr &Attrs = F->getAttributes(); 1231652203f3f3b6dd5062bb450d189a80d8aaa51693Devang Patel Attributes RetAttrs = Attrs.getRetAttributes(); 1232652203f3f3b6dd5062bb450d189a80d8aaa51693Devang Patel if (RetAttrs != Attribute::None) 1233652203f3f3b6dd5062bb450d189a80d8aaa51693Devang Patel Out << Attribute::getAsString(Attrs.getRetAttributes()) << ' '; 12344667b71f9380afad56cbdc1fd19ca32334086d2cChris Lattner printType(F->getReturnType()); 12354667b71f9380afad56cbdc1fd19ca32334086d2cChris Lattner Out << ' '; 12369cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner WriteAsOperandInternal(Out, F, TypePrinter, &Machine); 12370313e0b44dcd77acd334d3f324c7da527179a690Misha Brukman Out << '('; 12380d1b77e2824115d97f8392c3f4ec257b27ebbd7aReid Spencer Machine.incorporateFunction(F); 1239007377f381e253cc559db8d3c94fa89b0eb55fadChris Lattner 1240c1824996451d5ea93864fcd34ba8ea5e5f03e368Chris Lattner // Loop over the arguments, printing them... 1241007377f381e253cc559db8d3c94fa89b0eb55fadChris Lattner 1242bd5db8e29b82f864c3d6525c6cfefa557fafdbb8Reid Spencer unsigned Idx = 1; 12438dcd2f1a5bbb9151ec05532861be58bf3f078e63Chris Lattner if (!F->isDeclaration()) { 12448dcd2f1a5bbb9151ec05532861be58bf3f078e63Chris Lattner // If this isn't a declaration, print the argument names as well. 12458dcd2f1a5bbb9151ec05532861be58bf3f078e63Chris Lattner for (Function::const_arg_iterator I = F->arg_begin(), E = F->arg_end(); 12468dcd2f1a5bbb9151ec05532861be58bf3f078e63Chris Lattner I != E; ++I) { 12478dcd2f1a5bbb9151ec05532861be58bf3f078e63Chris Lattner // Insert commas as we go... the first arg doesn't get a comma 12488dcd2f1a5bbb9151ec05532861be58bf3f078e63Chris Lattner if (I != F->arg_begin()) Out << ", "; 124919c874638d9478a5d5028854817a5ee72293bb2bDevang Patel printArgument(I, Attrs.getParamAttributes(Idx)); 12508dcd2f1a5bbb9151ec05532861be58bf3f078e63Chris Lattner Idx++; 12518dcd2f1a5bbb9151ec05532861be58bf3f078e63Chris Lattner } 12528dcd2f1a5bbb9151ec05532861be58bf3f078e63Chris Lattner } else { 12538dcd2f1a5bbb9151ec05532861be58bf3f078e63Chris Lattner // Otherwise, print the types from the function type. 12548dcd2f1a5bbb9151ec05532861be58bf3f078e63Chris Lattner for (unsigned i = 0, e = FT->getNumParams(); i != e; ++i) { 12558dcd2f1a5bbb9151ec05532861be58bf3f078e63Chris Lattner // Insert commas as we go... the first arg doesn't get a comma 12568dcd2f1a5bbb9151ec05532861be58bf3f078e63Chris Lattner if (i) Out << ", "; 12578dcd2f1a5bbb9151ec05532861be58bf3f078e63Chris Lattner 12588dcd2f1a5bbb9151ec05532861be58bf3f078e63Chris Lattner // Output type... 12598dcd2f1a5bbb9151ec05532861be58bf3f078e63Chris Lattner printType(FT->getParamType(i)); 12608dcd2f1a5bbb9151ec05532861be58bf3f078e63Chris Lattner 126119c874638d9478a5d5028854817a5ee72293bb2bDevang Patel Attributes ArgAttrs = Attrs.getParamAttributes(i+1); 12620598866c052147c31b808391f58434ce3dbfb838Devang Patel if (ArgAttrs != Attribute::None) 12630598866c052147c31b808391f58434ce3dbfb838Devang Patel Out << ' ' << Attribute::getAsString(ArgAttrs); 12648dcd2f1a5bbb9151ec05532861be58bf3f078e63Chris Lattner } 1265bd5db8e29b82f864c3d6525c6cfefa557fafdbb8Reid Spencer } 1266007377f381e253cc559db8d3c94fa89b0eb55fadChris Lattner 1267007377f381e253cc559db8d3c94fa89b0eb55fadChris Lattner // Finish printing arguments... 12687e70829632f82de15db187845666aaca6e04b792Chris Lattner if (FT->isVarArg()) { 12690313e0b44dcd77acd334d3f324c7da527179a690Misha Brukman if (FT->getNumParams()) Out << ", "; 12700313e0b44dcd77acd334d3f324c7da527179a690Misha Brukman Out << "..."; // Output varargs portion of signature! 1271007377f381e253cc559db8d3c94fa89b0eb55fadChris Lattner } 12720313e0b44dcd77acd334d3f324c7da527179a690Misha Brukman Out << ')'; 127319c874638d9478a5d5028854817a5ee72293bb2bDevang Patel Attributes FnAttrs = Attrs.getFnAttributes(); 127419c874638d9478a5d5028854817a5ee72293bb2bDevang Patel if (FnAttrs != Attribute::None) 127519c874638d9478a5d5028854817a5ee72293bb2bDevang Patel Out << ' ' << Attribute::getAsString(Attrs.getFnAttributes()); 127660962dbfbaa4a9c3ca6fced08fb90b748aa99203Chris Lattner if (F->hasSection()) 127760962dbfbaa4a9c3ca6fced08fb90b748aa99203Chris Lattner Out << " section \"" << F->getSection() << '"'; 127830caa2876cd500b49e27b6810ab5dec96398c6faChris Lattner if (F->getAlignment()) 127930caa2876cd500b49e27b6810ab5dec96398c6faChris Lattner Out << " align " << F->getAlignment(); 12805eca075b74d62c621b160aa216b4cd50829a2cc7Gordon Henriksen if (F->hasGC()) 12815eca075b74d62c621b160aa216b4cd50829a2cc7Gordon Henriksen Out << " gc \"" << F->getGC() << '"'; 1282f3ba70861ccf00b1072ae1b6ade3ebe2da6cff40Devang Patel if (F->isDeclaration()) { 1283f3ba70861ccf00b1072ae1b6ade3ebe2da6cff40Devang Patel Out << "\n"; 1284f3ba70861ccf00b1072ae1b6ade3ebe2da6cff40Devang Patel } else { 1285a1b5858fda38cfe5b30055a87020b6d5f7023238Chris Lattner Out << " {"; 1286fd93908ae8b9684fe71c239e3c6cfe13ff6a2663Misha Brukman 1287b579400cd72f274607f4964a9649ea4d38e04c46Chris Lattner // Output all of its basic blocks... for the function 12887e70829632f82de15db187845666aaca6e04b792Chris Lattner for (Function::const_iterator I = F->begin(), E = F->end(); I != E; ++I) 12897e70829632f82de15db187845666aaca6e04b792Chris Lattner printBasicBlock(I); 1290007377f381e253cc559db8d3c94fa89b0eb55fadChris Lattner 12910313e0b44dcd77acd334d3f324c7da527179a690Misha Brukman Out << "}\n"; 1292007377f381e253cc559db8d3c94fa89b0eb55fadChris Lattner } 1293007377f381e253cc559db8d3c94fa89b0eb55fadChris Lattner 12940d1b77e2824115d97f8392c3f4ec257b27ebbd7aReid Spencer Machine.purgeFunction(); 1295009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner} 1296009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner 1297ab5c6003d23c19d23bbff1054900d208c55e0188Misha Brukman/// printArgument - This member is called for every argument that is passed into 1298ab5c6003d23c19d23bbff1054900d208c55e0188Misha Brukman/// the function. Simply print it out 1299ab5c6003d23c19d23bbff1054900d208c55e0188Misha Brukman/// 13000d51e7ec0d2dcbea9e304fd58deb05f37eb75635Dale Johannesenvoid AssemblyWriter::printArgument(const Argument *Arg, 1301eaf42abab6d465c38891345d999255871cf03943Devang Patel Attributes Attrs) { 1302009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner // Output type... 1303c1824996451d5ea93864fcd34ba8ea5e5f03e368Chris Lattner printType(Arg->getType()); 1304fd93908ae8b9684fe71c239e3c6cfe13ff6a2663Misha Brukman 1305dc024674ff96820d6020757b48d47f46d4c07db2Duncan Sands // Output parameter attributes list 13060598866c052147c31b808391f58434ce3dbfb838Devang Patel if (Attrs != Attribute::None) 13070598866c052147c31b808391f58434ce3dbfb838Devang Patel Out << ' ' << Attribute::getAsString(Attrs); 1308bd5db8e29b82f864c3d6525c6cfefa557fafdbb8Reid Spencer 1309009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner // Output name, if available... 1310c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner if (Arg->hasName()) { 1311c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner Out << ' '; 1312c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner PrintLLVMName(Out, Arg); 1313c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner } 1314009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner} 1315009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner 1316ab5c6003d23c19d23bbff1054900d208c55e0188Misha Brukman/// printBasicBlock - This member is called for each basic block in a method. 1317ab5c6003d23c19d23bbff1054900d208c55e0188Misha Brukman/// 1318c1824996451d5ea93864fcd34ba8ea5e5f03e368Chris Lattnervoid AssemblyWriter::printBasicBlock(const BasicBlock *BB) { 1319280a6e607d8eb7401749a92db624a82de47da777Nick Lewycky if (BB->hasName()) { // Print out the label if it exists... 1320c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner Out << "\n"; 132152b26de325e32c71159376853384789b7646eaf4Chris Lattner PrintLLVMName(Out, BB->getNameStart(), BB->getNameLen(), LabelPrefix); 1322c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner Out << ':'; 1323280a6e607d8eb7401749a92db624a82de47da777Nick Lewycky } else if (!BB->use_empty()) { // Don't print block # of no uses... 132496c5b2f8c75b10f7e61ad90582d72c500d5c7d2dChris Lattner Out << "\n; <label>:"; 132522379bc7bb28fbfb1182877e6dc316aaab98a4baChris Lattner int Slot = Machine.getLocalSlot(BB); 132669566459cc27c5210472a87ae2fe7b2ca64f9fc8Chris Lattner if (Slot != -1) 13270313e0b44dcd77acd334d3f324c7da527179a690Misha Brukman Out << Slot; 132869566459cc27c5210472a87ae2fe7b2ca64f9fc8Chris Lattner else 13290313e0b44dcd77acd334d3f324c7da527179a690Misha Brukman Out << "<badref>"; 1330061269be9723f842931f18ad207acf9a66e0cf76Chris Lattner } 13314e4d8624c5c44578d64fe1344670520cceec03f2Chris Lattner 13324e4d8624c5c44578d64fe1344670520cceec03f2Chris Lattner if (BB->getParent() == 0) 13330313e0b44dcd77acd334d3f324c7da527179a690Misha Brukman Out << "\t\t; Error: Block without parent!"; 1334eb411291fa7614496ec8b51b0ced9f6cc2b78313Chris Lattner else if (BB != &BB->getParent()->getEntryBlock()) { // Not the entry block? 1335eb411291fa7614496ec8b51b0ced9f6cc2b78313Chris Lattner // Output predecessors for the block... 1336eb411291fa7614496ec8b51b0ced9f6cc2b78313Chris Lattner Out << "\t\t;"; 1337eb411291fa7614496ec8b51b0ced9f6cc2b78313Chris Lattner pred_const_iterator PI = pred_begin(BB), PE = pred_end(BB); 1338eb411291fa7614496ec8b51b0ced9f6cc2b78313Chris Lattner 1339eb411291fa7614496ec8b51b0ced9f6cc2b78313Chris Lattner if (PI == PE) { 1340eb411291fa7614496ec8b51b0ced9f6cc2b78313Chris Lattner Out << " No predecessors!"; 1341eb411291fa7614496ec8b51b0ced9f6cc2b78313Chris Lattner } else { 13428dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman Out << " preds = "; 1343eb411291fa7614496ec8b51b0ced9f6cc2b78313Chris Lattner writeOperand(*PI, false); 1344eb411291fa7614496ec8b51b0ced9f6cc2b78313Chris Lattner for (++PI; PI != PE; ++PI) { 13458dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman Out << ", "; 13462fcfdb79d0d1d2297d7aced11b567cd52494604eChris Lattner writeOperand(*PI, false); 134740efcec8e879b3470b3c0ad9d8124abce2cd8915Chris Lattner } 1348061269be9723f842931f18ad207acf9a66e0cf76Chris Lattner } 1349009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner } 1350fd93908ae8b9684fe71c239e3c6cfe13ff6a2663Misha Brukman 1351eb411291fa7614496ec8b51b0ced9f6cc2b78313Chris Lattner Out << "\n"; 1352009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner 13530313e0b44dcd77acd334d3f324c7da527179a690Misha Brukman if (AnnotationWriter) AnnotationWriter->emitBasicBlockStartAnnot(BB, Out); 135495e5a2cc3fc55b262d2baa1cc417115dfa4a18eaChris Lattner 1355007377f381e253cc559db8d3c94fa89b0eb55fadChris Lattner // Output all of the instructions in the basic block... 13567e70829632f82de15db187845666aaca6e04b792Chris Lattner for (BasicBlock::const_iterator I = BB->begin(), E = BB->end(); I != E; ++I) 13577e70829632f82de15db187845666aaca6e04b792Chris Lattner printInstruction(*I); 13589f717ef279f4b82e28c341c98a9aa602f01f9b27Chris Lattner 13590313e0b44dcd77acd334d3f324c7da527179a690Misha Brukman if (AnnotationWriter) AnnotationWriter->emitBasicBlockEndAnnot(BB, Out); 1360009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner} 1361009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner 1362e02fa8551d20081534afa46e0976811687e5183aChris Lattner 1363ab5c6003d23c19d23bbff1054900d208c55e0188Misha Brukman/// printInfoComment - Print a little comment after the instruction indicating 1364ab5c6003d23c19d23bbff1054900d208c55e0188Misha Brukman/// which slot it occupies. 1365ab5c6003d23c19d23bbff1054900d208c55e0188Misha Brukman/// 13667e70829632f82de15db187845666aaca6e04b792Chris Lattnervoid AssemblyWriter::printInfoComment(const Value &V) { 13677e70829632f82de15db187845666aaca6e04b792Chris Lattner if (V.getType() != Type::VoidTy) { 13680313e0b44dcd77acd334d3f324c7da527179a690Misha Brukman Out << "\t\t; <"; 13694667b71f9380afad56cbdc1fd19ca32334086d2cChris Lattner printType(V.getType()); 13704667b71f9380afad56cbdc1fd19ca32334086d2cChris Lattner Out << '>'; 1371e02fa8551d20081534afa46e0976811687e5183aChris Lattner 1372828db8a2f90e0e3faf27c1fe69a632c666e3a343Chris Lattner if (!V.hasName() && !isa<Instruction>(V)) { 137322379bc7bb28fbfb1182877e6dc316aaab98a4baChris Lattner int SlotNum; 137422379bc7bb28fbfb1182877e6dc316aaab98a4baChris Lattner if (const GlobalValue *GV = dyn_cast<GlobalValue>(&V)) 137522379bc7bb28fbfb1182877e6dc316aaab98a4baChris Lattner SlotNum = Machine.getGlobalSlot(GV); 137622379bc7bb28fbfb1182877e6dc316aaab98a4baChris Lattner else 137722379bc7bb28fbfb1182877e6dc316aaab98a4baChris Lattner SlotNum = Machine.getLocalSlot(&V); 137869566459cc27c5210472a87ae2fe7b2ca64f9fc8Chris Lattner if (SlotNum == -1) 13790313e0b44dcd77acd334d3f324c7da527179a690Misha Brukman Out << ":<badref>"; 1380fc621e28781e3cf22f1850e07f285581334e2402Reid Spencer else 13810313e0b44dcd77acd334d3f324c7da527179a690Misha Brukman Out << ':' << SlotNum; // Print out the def slot taken. 1382e02fa8551d20081534afa46e0976811687e5183aChris Lattner } 13835c461404fed8d1def8eae02e6574bc5b16502575Chris Lattner Out << " [#uses=" << V.getNumUses() << ']'; // Output # uses 1384e02fa8551d20081534afa46e0976811687e5183aChris Lattner } 1385e02fa8551d20081534afa46e0976811687e5183aChris Lattner} 1386e02fa8551d20081534afa46e0976811687e5183aChris Lattner 13873a9ec2463ddeba0820f284e2952bd6919cd5e080Reid Spencer// This member is called for each Instruction in a function.. 13887e70829632f82de15db187845666aaca6e04b792Chris Lattnervoid AssemblyWriter::printInstruction(const Instruction &I) { 13890313e0b44dcd77acd334d3f324c7da527179a690Misha Brukman if (AnnotationWriter) AnnotationWriter->emitInstructionAnnot(&I, Out); 139095e5a2cc3fc55b262d2baa1cc417115dfa4a18eaChris Lattner 1391ab49ee752ec37f586e45c999eca1e29e32697cb7Chris Lattner Out << '\t'; 1392009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner 1393009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner // Print out name if it exists... 1394c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner if (I.hasName()) { 1395c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner PrintLLVMName(Out, &I); 1396c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner Out << " = "; 1397828db8a2f90e0e3faf27c1fe69a632c666e3a343Chris Lattner } else if (I.getType() != Type::VoidTy) { 1398828db8a2f90e0e3faf27c1fe69a632c666e3a343Chris Lattner // Print out the def slot taken. 1399828db8a2f90e0e3faf27c1fe69a632c666e3a343Chris Lattner int SlotNum = Machine.getLocalSlot(&I); 1400828db8a2f90e0e3faf27c1fe69a632c666e3a343Chris Lattner if (SlotNum == -1) 1401828db8a2f90e0e3faf27c1fe69a632c666e3a343Chris Lattner Out << "<badref> = "; 1402828db8a2f90e0e3faf27c1fe69a632c666e3a343Chris Lattner else 1403828db8a2f90e0e3faf27c1fe69a632c666e3a343Chris Lattner Out << '%' << SlotNum << " = "; 1404c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner } 1405009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner 1406ddb6db4fa11d06217d01d8431596131abdfb7ef0Chris Lattner // If this is a volatile load or store, print out the volatile marker. 1407e5e475e09d1e8a9ea1bda58b536867ff16600399Chris Lattner if ((isa<LoadInst>(I) && cast<LoadInst>(I).isVolatile()) || 1408ddb6db4fa11d06217d01d8431596131abdfb7ef0Chris Lattner (isa<StoreInst>(I) && cast<StoreInst>(I).isVolatile())) { 14090313e0b44dcd77acd334d3f324c7da527179a690Misha Brukman Out << "volatile "; 1410ddb6db4fa11d06217d01d8431596131abdfb7ef0Chris Lattner } else if (isa<CallInst>(I) && cast<CallInst>(I).isTailCall()) { 1411ddb6db4fa11d06217d01d8431596131abdfb7ef0Chris Lattner // If this is a call, check if it's a tail call. 1412ddb6db4fa11d06217d01d8431596131abdfb7ef0Chris Lattner Out << "tail "; 1413ddb6db4fa11d06217d01d8431596131abdfb7ef0Chris Lattner } 1414e5e475e09d1e8a9ea1bda58b536867ff16600399Chris Lattner 1415009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner // Print out the opcode... 14160313e0b44dcd77acd334d3f324c7da527179a690Misha Brukman Out << I.getOpcodeName(); 1417009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner 141874f1642bc1c2981e4573c9f0690d91b6a9bbc68cReid Spencer // Print out the compare instruction predicates 1419ac80ade1580378e484e24c9f66d2fa5b058e5891Nate Begeman if (const CmpInst *CI = dyn_cast<CmpInst>(&I)) 1420ab49ee752ec37f586e45c999eca1e29e32697cb7Chris Lattner Out << ' ' << getPredicateText(CI->getPredicate()); 142174f1642bc1c2981e4573c9f0690d91b6a9bbc68cReid Spencer 1422009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner // Print out the type of the operands... 14237e70829632f82de15db187845666aaca6e04b792Chris Lattner const Value *Operand = I.getNumOperands() ? I.getOperand(0) : 0; 1424009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner 1425009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner // Special case conditional branches to swizzle the condition out to the front 1426ccd27fb84b0ac13ad1d30b17cbeb87a0ea934154Gabor Greif if (isa<BranchInst>(I) && cast<BranchInst>(I).isConditional()) { 1427ccd27fb84b0ac13ad1d30b17cbeb87a0ea934154Gabor Greif BranchInst &BI(cast<BranchInst>(I)); 14288dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman Out << ' '; 1429ccd27fb84b0ac13ad1d30b17cbeb87a0ea934154Gabor Greif writeOperand(BI.getCondition(), true); 14308dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman Out << ", "; 1431ccd27fb84b0ac13ad1d30b17cbeb87a0ea934154Gabor Greif writeOperand(BI.getSuccessor(0), true); 14328dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman Out << ", "; 1433ccd27fb84b0ac13ad1d30b17cbeb87a0ea934154Gabor Greif writeOperand(BI.getSuccessor(1), true); 1434009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner 143594dc1f29cd1dc669680b7d3caa1f59862a656b83Chris Lattner } else if (isa<SwitchInst>(I)) { 1436009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner // Special case switch statement to get formatting nice and correct... 14378dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman Out << ' '; 1438ab49ee752ec37f586e45c999eca1e29e32697cb7Chris Lattner writeOperand(Operand , true); 14398dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman Out << ", "; 1440ab49ee752ec37f586e45c999eca1e29e32697cb7Chris Lattner writeOperand(I.getOperand(1), true); 1441ab49ee752ec37f586e45c999eca1e29e32697cb7Chris Lattner Out << " ["; 1442009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner 14437e70829632f82de15db187845666aaca6e04b792Chris Lattner for (unsigned op = 2, Eop = I.getNumOperands(); op < Eop; op += 2) { 14440313e0b44dcd77acd334d3f324c7da527179a690Misha Brukman Out << "\n\t\t"; 1445ab49ee752ec37f586e45c999eca1e29e32697cb7Chris Lattner writeOperand(I.getOperand(op ), true); 14468dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman Out << ", "; 14477e70829632f82de15db187845666aaca6e04b792Chris Lattner writeOperand(I.getOperand(op+1), true); 1448009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner } 14490313e0b44dcd77acd334d3f324c7da527179a690Misha Brukman Out << "\n\t]"; 1450b00c582b6d40e6b9ff2d1ed4f5eaf7930e792aceChris Lattner } else if (isa<PHINode>(I)) { 14510313e0b44dcd77acd334d3f324c7da527179a690Misha Brukman Out << ' '; 14527e70829632f82de15db187845666aaca6e04b792Chris Lattner printType(I.getType()); 14530313e0b44dcd77acd334d3f324c7da527179a690Misha Brukman Out << ' '; 1454009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner 14557e70829632f82de15db187845666aaca6e04b792Chris Lattner for (unsigned op = 0, Eop = I.getNumOperands(); op < Eop; op += 2) { 14560313e0b44dcd77acd334d3f324c7da527179a690Misha Brukman if (op) Out << ", "; 14578dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman Out << "[ "; 14588dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman writeOperand(I.getOperand(op ), false); Out << ", "; 14590313e0b44dcd77acd334d3f324c7da527179a690Misha Brukman writeOperand(I.getOperand(op+1), false); Out << " ]"; 1460c24d2088dc3d79e3b7e38a358b4a71f156c06836Chris Lattner } 1461995be7d07a0ed1f70a93b2a2e7f445461162e8a5Dan Gohman } else if (const ExtractValueInst *EVI = dyn_cast<ExtractValueInst>(&I)) { 14628dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman Out << ' '; 1463995be7d07a0ed1f70a93b2a2e7f445461162e8a5Dan Gohman writeOperand(I.getOperand(0), true); 1464995be7d07a0ed1f70a93b2a2e7f445461162e8a5Dan Gohman for (const unsigned *i = EVI->idx_begin(), *e = EVI->idx_end(); i != e; ++i) 1465995be7d07a0ed1f70a93b2a2e7f445461162e8a5Dan Gohman Out << ", " << *i; 1466995be7d07a0ed1f70a93b2a2e7f445461162e8a5Dan Gohman } else if (const InsertValueInst *IVI = dyn_cast<InsertValueInst>(&I)) { 14678dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman Out << ' '; 14688dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman writeOperand(I.getOperand(0), true); Out << ", "; 1469995be7d07a0ed1f70a93b2a2e7f445461162e8a5Dan Gohman writeOperand(I.getOperand(1), true); 1470995be7d07a0ed1f70a93b2a2e7f445461162e8a5Dan Gohman for (const unsigned *i = IVI->idx_begin(), *e = IVI->idx_end(); i != e; ++i) 1471995be7d07a0ed1f70a93b2a2e7f445461162e8a5Dan Gohman Out << ", " << *i; 147257ef4f46c182cdbe014d469892090ff50c739cf9Devang Patel } else if (isa<ReturnInst>(I) && !Operand) { 147357ef4f46c182cdbe014d469892090ff50c739cf9Devang Patel Out << " void"; 1474d511898b581826694e6c651e23343b1e1ba5ba64Chris Lattner } else if (const CallInst *CI = dyn_cast<CallInst>(&I)) { 1475d511898b581826694e6c651e23343b1e1ba5ba64Chris Lattner // Print the calling convention being used. 1476d511898b581826694e6c651e23343b1e1ba5ba64Chris Lattner switch (CI->getCallingConv()) { 1477d511898b581826694e6c651e23343b1e1ba5ba64Chris Lattner case CallingConv::C: break; // default 14780deaab89feb963b314428e3c3c565343cc30b5c9Chris Lattner case CallingConv::Fast: Out << " fastcc"; break; 14790deaab89feb963b314428e3c3c565343cc30b5c9Chris Lattner case CallingConv::Cold: Out << " coldcc"; break; 1480b28a6dce6d57e05aa25520915726f82d2b3dc08dChris Lattner case CallingConv::X86_StdCall: Out << " x86_stdcallcc"; break; 1481b28a6dce6d57e05aa25520915726f82d2b3dc08dChris Lattner case CallingConv::X86_FastCall: Out << " x86_fastcallcc"; break; 1482d511898b581826694e6c651e23343b1e1ba5ba64Chris Lattner default: Out << " cc" << CI->getCallingConv(); break; 1483d511898b581826694e6c651e23343b1e1ba5ba64Chris Lattner } 1484d511898b581826694e6c651e23343b1e1ba5ba64Chris Lattner 1485b138a0657f8739b6ddfeca296ff8c82ffa93b492Reid Spencer const PointerType *PTy = cast<PointerType>(Operand->getType()); 1486b138a0657f8739b6ddfeca296ff8c82ffa93b492Reid Spencer const FunctionType *FTy = cast<FunctionType>(PTy->getElementType()); 1487b138a0657f8739b6ddfeca296ff8c82ffa93b492Reid Spencer const Type *RetTy = FTy->getReturnType(); 14880598866c052147c31b808391f58434ce3dbfb838Devang Patel const AttrListPtr &PAL = CI->getAttributes(); 1489268de0464ee9f0938bfa145fdd5e7f1a46b21cf7Chris Lattner 1490652203f3f3b6dd5062bb450d189a80d8aaa51693Devang Patel if (PAL.getRetAttributes() != Attribute::None) 1491652203f3f3b6dd5062bb450d189a80d8aaa51693Devang Patel Out << ' ' << Attribute::getAsString(PAL.getRetAttributes()); 1492652203f3f3b6dd5062bb450d189a80d8aaa51693Devang Patel 14937a012299ced5cff02cec47055a63d3b2a78bb36fChris Lattner // If possible, print out the short form of the call instruction. We can 1494b579400cd72f274607f4964a9649ea4d38e04c46Chris Lattner // only do this if the first argument is a pointer to a nonvararg function, 14957a012299ced5cff02cec47055a63d3b2a78bb36fChris Lattner // and if the return type is not a pointer to a function. 1496268de0464ee9f0938bfa145fdd5e7f1a46b21cf7Chris Lattner // 14978dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman Out << ' '; 14987a012299ced5cff02cec47055a63d3b2a78bb36fChris Lattner if (!FTy->isVarArg() && 1499fd93908ae8b9684fe71c239e3c6cfe13ff6a2663Misha Brukman (!isa<PointerType>(RetTy) || 1500c1b2718acf9d566c26188f2968dece0bf3f187e3Chris Lattner !isa<FunctionType>(cast<PointerType>(RetTy)->getElementType()))) { 15018dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman printType(RetTy); 15028dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman Out << ' '; 1503268de0464ee9f0938bfa145fdd5e7f1a46b21cf7Chris Lattner writeOperand(Operand, false); 1504268de0464ee9f0938bfa145fdd5e7f1a46b21cf7Chris Lattner } else { 1505268de0464ee9f0938bfa145fdd5e7f1a46b21cf7Chris Lattner writeOperand(Operand, true); 1506268de0464ee9f0938bfa145fdd5e7f1a46b21cf7Chris Lattner } 15070313e0b44dcd77acd334d3f324c7da527179a690Misha Brukman Out << '('; 1508bd5db8e29b82f864c3d6525c6cfefa557fafdbb8Reid Spencer for (unsigned op = 1, Eop = I.getNumOperands(); op < Eop; ++op) { 1509bd5db8e29b82f864c3d6525c6cfefa557fafdbb8Reid Spencer if (op > 1) 15108dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman Out << ", "; 151119c874638d9478a5d5028854817a5ee72293bb2bDevang Patel writeParamOperand(I.getOperand(op), PAL.getParamAttributes(op)); 1512009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner } 15138dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman Out << ')'; 151419c874638d9478a5d5028854817a5ee72293bb2bDevang Patel if (PAL.getFnAttributes() != Attribute::None) 151519c874638d9478a5d5028854817a5ee72293bb2bDevang Patel Out << ' ' << Attribute::getAsString(PAL.getFnAttributes()); 15167e70829632f82de15db187845666aaca6e04b792Chris Lattner } else if (const InvokeInst *II = dyn_cast<InvokeInst>(&I)) { 1517b138a0657f8739b6ddfeca296ff8c82ffa93b492Reid Spencer const PointerType *PTy = cast<PointerType>(Operand->getType()); 1518b138a0657f8739b6ddfeca296ff8c82ffa93b492Reid Spencer const FunctionType *FTy = cast<FunctionType>(PTy->getElementType()); 1519b138a0657f8739b6ddfeca296ff8c82ffa93b492Reid Spencer const Type *RetTy = FTy->getReturnType(); 15200598866c052147c31b808391f58434ce3dbfb838Devang Patel const AttrListPtr &PAL = II->getAttributes(); 15217a012299ced5cff02cec47055a63d3b2a78bb36fChris Lattner 1522d511898b581826694e6c651e23343b1e1ba5ba64Chris Lattner // Print the calling convention being used. 1523d511898b581826694e6c651e23343b1e1ba5ba64Chris Lattner switch (II->getCallingConv()) { 1524d511898b581826694e6c651e23343b1e1ba5ba64Chris Lattner case CallingConv::C: break; // default 15250deaab89feb963b314428e3c3c565343cc30b5c9Chris Lattner case CallingConv::Fast: Out << " fastcc"; break; 15260deaab89feb963b314428e3c3c565343cc30b5c9Chris Lattner case CallingConv::Cold: Out << " coldcc"; break; 15278dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman case CallingConv::X86_StdCall: Out << " x86_stdcallcc"; break; 15288dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman case CallingConv::X86_FastCall: Out << " x86_fastcallcc"; break; 1529d511898b581826694e6c651e23343b1e1ba5ba64Chris Lattner default: Out << " cc" << II->getCallingConv(); break; 1530d511898b581826694e6c651e23343b1e1ba5ba64Chris Lattner } 1531d511898b581826694e6c651e23343b1e1ba5ba64Chris Lattner 1532652203f3f3b6dd5062bb450d189a80d8aaa51693Devang Patel if (PAL.getRetAttributes() != Attribute::None) 1533652203f3f3b6dd5062bb450d189a80d8aaa51693Devang Patel Out << ' ' << Attribute::getAsString(PAL.getRetAttributes()); 1534652203f3f3b6dd5062bb450d189a80d8aaa51693Devang Patel 15357a012299ced5cff02cec47055a63d3b2a78bb36fChris Lattner // If possible, print out the short form of the invoke instruction. We can 15367a012299ced5cff02cec47055a63d3b2a78bb36fChris Lattner // only do this if the first argument is a pointer to a nonvararg function, 15377a012299ced5cff02cec47055a63d3b2a78bb36fChris Lattner // and if the return type is not a pointer to a function. 15387a012299ced5cff02cec47055a63d3b2a78bb36fChris Lattner // 15392b6c3d9ff13180e84301da5b7d17c755704fbec0Dan Gohman Out << ' '; 15407a012299ced5cff02cec47055a63d3b2a78bb36fChris Lattner if (!FTy->isVarArg() && 1541fd93908ae8b9684fe71c239e3c6cfe13ff6a2663Misha Brukman (!isa<PointerType>(RetTy) || 15427a012299ced5cff02cec47055a63d3b2a78bb36fChris Lattner !isa<FunctionType>(cast<PointerType>(RetTy)->getElementType()))) { 15432b6c3d9ff13180e84301da5b7d17c755704fbec0Dan Gohman printType(RetTy); 15442b6c3d9ff13180e84301da5b7d17c755704fbec0Dan Gohman Out << ' '; 15457a012299ced5cff02cec47055a63d3b2a78bb36fChris Lattner writeOperand(Operand, false); 15467a012299ced5cff02cec47055a63d3b2a78bb36fChris Lattner } else { 15477a012299ced5cff02cec47055a63d3b2a78bb36fChris Lattner writeOperand(Operand, true); 15487a012299ced5cff02cec47055a63d3b2a78bb36fChris Lattner } 15490313e0b44dcd77acd334d3f324c7da527179a690Misha Brukman Out << '('; 1550bd5db8e29b82f864c3d6525c6cfefa557fafdbb8Reid Spencer for (unsigned op = 3, Eop = I.getNumOperands(); op < Eop; ++op) { 1551bd5db8e29b82f864c3d6525c6cfefa557fafdbb8Reid Spencer if (op > 3) 15528dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman Out << ", "; 155319c874638d9478a5d5028854817a5ee72293bb2bDevang Patel writeParamOperand(I.getOperand(op), PAL.getParamAttributes(op-2)); 1554e02fa8551d20081534afa46e0976811687e5183aChris Lattner } 1555e02fa8551d20081534afa46e0976811687e5183aChris Lattner 15568dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman Out << ')'; 155719c874638d9478a5d5028854817a5ee72293bb2bDevang Patel if (PAL.getFnAttributes() != Attribute::None) 155819c874638d9478a5d5028854817a5ee72293bb2bDevang Patel Out << ' ' << Attribute::getAsString(PAL.getFnAttributes()); 155919c874638d9478a5d5028854817a5ee72293bb2bDevang Patel 15608dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman Out << "\n\t\t\tto "; 1561e02fa8551d20081534afa46e0976811687e5183aChris Lattner writeOperand(II->getNormalDest(), true); 15628dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman Out << " unwind "; 1563aeb2a1d70807aa626f335fb23d47bc604ffeaa15Chris Lattner writeOperand(II->getUnwindDest(), true); 1564e02fa8551d20081534afa46e0976811687e5183aChris Lattner 15657e70829632f82de15db187845666aaca6e04b792Chris Lattner } else if (const AllocationInst *AI = dyn_cast<AllocationInst>(&I)) { 15660313e0b44dcd77acd334d3f324c7da527179a690Misha Brukman Out << ' '; 156794dc1f29cd1dc669680b7d3caa1f59862a656b83Chris Lattner printType(AI->getType()->getElementType()); 156894dc1f29cd1dc669680b7d3caa1f59862a656b83Chris Lattner if (AI->isArrayAllocation()) { 15698dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman Out << ", "; 157094dc1f29cd1dc669680b7d3caa1f59862a656b83Chris Lattner writeOperand(AI->getArraySize(), true); 1571009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner } 157214b0529532904b9e5a1e34526b4a3209f3e5bc62Nate Begeman if (AI->getAlignment()) { 15739fad0b9974beb76bef763b8fed71d0c8644403d4Chris Lattner Out << ", align " << AI->getAlignment(); 157414b0529532904b9e5a1e34526b4a3209f3e5bc62Nate Begeman } 1575e02fa8551d20081534afa46e0976811687e5183aChris Lattner } else if (isa<CastInst>(I)) { 15768dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman if (Operand) { 15778dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman Out << ' '; 15788dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman writeOperand(Operand, true); // Work with broken code 15798dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman } 15800313e0b44dcd77acd334d3f324c7da527179a690Misha Brukman Out << " to "; 15817e70829632f82de15db187845666aaca6e04b792Chris Lattner printType(I.getType()); 15824d45bd007d0c3a3a6e5b3876b67fd495acb0db2bChris Lattner } else if (isa<VAArgInst>(I)) { 15838dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman if (Operand) { 15848dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman Out << ' '; 15858dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman writeOperand(Operand, true); // Work with broken code 15868dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman } 15870313e0b44dcd77acd334d3f324c7da527179a690Misha Brukman Out << ", "; 15888f77daef04355c00b78b645f5aae5694e7a8b631Chris Lattner printType(I.getType()); 1589009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner } else if (Operand) { // Print the normal way... 1590009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner 1591fd93908ae8b9684fe71c239e3c6cfe13ff6a2663Misha Brukman // PrintAllTypes - Instructions who have operands of all the same type 1592009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner // omit the type from all but the first operand. If the instruction has 1593009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner // different type operands (for example br), then they are all printed. 1594009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner bool PrintAllTypes = false; 1595009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner const Type *TheType = Operand->getType(); 1596009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner 1597ebe57e36dff2dc3a7ceea99202bdb9eb6fe938bcReid Spencer // Select, Store and ShuffleVector always print all types. 15986494768ffcdf75e6e69a7955282db9ab9ab2e6fbDevang Patel if (isa<SelectInst>(I) || isa<StoreInst>(I) || isa<ShuffleVectorInst>(I) 15996494768ffcdf75e6e69a7955282db9ab9ab2e6fbDevang Patel || isa<ReturnInst>(I)) { 1600ffd9bf404cd36c93d82b0080113ccc6d230915b3Chris Lattner PrintAllTypes = true; 1601ffd9bf404cd36c93d82b0080113ccc6d230915b3Chris Lattner } else { 1602ffd9bf404cd36c93d82b0080113ccc6d230915b3Chris Lattner for (unsigned i = 1, E = I.getNumOperands(); i != E; ++i) { 1603ffd9bf404cd36c93d82b0080113ccc6d230915b3Chris Lattner Operand = I.getOperand(i); 16046ad2b2a3d20c667e01535fed4bc7f4753aa6fc85Nuno Lopes // note that Operand shouldn't be null, but the test helps make dump() 16056ad2b2a3d20c667e01535fed4bc7f4753aa6fc85Nuno Lopes // more tolerant of malformed IR 1606a8c78a9e89afcca4f003c55bcdbd41a23ecd5c8dNuno Lopes if (Operand && Operand->getType() != TheType) { 1607ffd9bf404cd36c93d82b0080113ccc6d230915b3Chris Lattner PrintAllTypes = true; // We have differing types! Print them all! 1608ffd9bf404cd36c93d82b0080113ccc6d230915b3Chris Lattner break; 1609ffd9bf404cd36c93d82b0080113ccc6d230915b3Chris Lattner } 1610009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner } 1611009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner } 1612fd93908ae8b9684fe71c239e3c6cfe13ff6a2663Misha Brukman 1613c1824996451d5ea93864fcd34ba8ea5e5f03e368Chris Lattner if (!PrintAllTypes) { 16140313e0b44dcd77acd334d3f324c7da527179a690Misha Brukman Out << ' '; 1615ffd9bf404cd36c93d82b0080113ccc6d230915b3Chris Lattner printType(TheType); 1616c1824996451d5ea93864fcd34ba8ea5e5f03e368Chris Lattner } 1617009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner 16188dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman Out << ' '; 16197e70829632f82de15db187845666aaca6e04b792Chris Lattner for (unsigned i = 0, E = I.getNumOperands(); i != E; ++i) { 16208dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman if (i) Out << ", "; 16217e70829632f82de15db187845666aaca6e04b792Chris Lattner writeOperand(I.getOperand(i), PrintAllTypes); 1622009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner } 1623009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner } 162443c7f37942a35398fd1e14b22f435f483a0ee863Christopher Lamb 162543c7f37942a35398fd1e14b22f435f483a0ee863Christopher Lamb // Print post operand alignment for load/store 162643c7f37942a35398fd1e14b22f435f483a0ee863Christopher Lamb if (isa<LoadInst>(I) && cast<LoadInst>(I).getAlignment()) { 162743c7f37942a35398fd1e14b22f435f483a0ee863Christopher Lamb Out << ", align " << cast<LoadInst>(I).getAlignment(); 162843c7f37942a35398fd1e14b22f435f483a0ee863Christopher Lamb } else if (isa<StoreInst>(I) && cast<StoreInst>(I).getAlignment()) { 162943c7f37942a35398fd1e14b22f435f483a0ee863Christopher Lamb Out << ", align " << cast<StoreInst>(I).getAlignment(); 163043c7f37942a35398fd1e14b22f435f483a0ee863Christopher Lamb } 1631009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner 1632e02fa8551d20081534afa46e0976811687e5183aChris Lattner printInfoComment(I); 1633ab49ee752ec37f586e45c999eca1e29e32697cb7Chris Lattner Out << '\n'; 1634009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner} 1635009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner 1636009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner 1637009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner//===----------------------------------------------------------------------===// 1638009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner// External Interface declarations 1639009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner//===----------------------------------------------------------------------===// 1640009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner 164195e5a2cc3fc55b262d2baa1cc417115dfa4a18eaChris Lattnervoid Module::print(std::ostream &o, AssemblyAnnotationWriter *AAW) const { 1642944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner raw_os_ostream OS(o); 1643944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner print(OS, AAW); 1644009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner} 1645944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattnervoid Module::print(raw_ostream &OS, AssemblyAnnotationWriter *AAW) const { 1646944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner SlotTracker SlotTable(this); 1647944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner AssemblyWriter W(OS, SlotTable, this, AAW); 164875cf7cf00d391ac6ca22d6240fa9d99ed427d1d5Chris Lattner W.write(this); 164975cf7cf00d391ac6ca22d6240fa9d99ed427d1d5Chris Lattner} 1650009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner 1651944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattnervoid Type::print(std::ostream &o) const { 1652944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner raw_os_ostream OS(o); 1653944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner print(OS); 1654009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner} 1655009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner 16566d4306e63c2ca40a0482bf74a077540bb9cda25eChris Lattnervoid Type::print(raw_ostream &OS) const { 16576d4306e63c2ca40a0482bf74a077540bb9cda25eChris Lattner if (this == 0) { 16586d4306e63c2ca40a0482bf74a077540bb9cda25eChris Lattner OS << "<null Type>"; 16596d4306e63c2ca40a0482bf74a077540bb9cda25eChris Lattner return; 16606d4306e63c2ca40a0482bf74a077540bb9cda25eChris Lattner } 16616d4306e63c2ca40a0482bf74a077540bb9cda25eChris Lattner TypePrinting(0, OS).print(this); 1662009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner} 1663009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner 1664944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattnervoid Value::print(raw_ostream &OS, AssemblyAnnotationWriter *AAW) const { 1665944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner if (this == 0) { 1666944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner OS << "printing a <null> value\n"; 1667944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner return; 1668944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner } 1669944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner 1670944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner if (const Instruction *I = dyn_cast<Instruction>(this)) { 1671944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner const Function *F = I->getParent() ? I->getParent()->getParent() : 0; 1672944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner SlotTracker SlotTable(F); 1673944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner AssemblyWriter W(OS, SlotTable, F ? F->getParent() : 0, AAW); 1674944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner W.write(I); 1675944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner } else if (const BasicBlock *BB = dyn_cast<BasicBlock>(this)) { 1676944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner SlotTracker SlotTable(BB->getParent()); 1677944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner AssemblyWriter W(OS, SlotTable, 1678944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner BB->getParent() ? BB->getParent()->getParent() : 0, AAW); 1679944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner W.write(BB); 1680944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner } else if (const GlobalValue *GV = dyn_cast<GlobalValue>(this)) { 1681944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner SlotTracker SlotTable(GV->getParent()); 1682944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner AssemblyWriter W(OS, SlotTable, GV->getParent(), 0); 1683944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner W.write(GV); 1684944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner } else if (const Constant *C = dyn_cast<Constant>(this)) { 16859cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner TypePrinting TypePrinter(0, OS); 16866d4306e63c2ca40a0482bf74a077540bb9cda25eChris Lattner TypePrinter.print(C->getType()); 16876d4306e63c2ca40a0482bf74a077540bb9cda25eChris Lattner OS << ' '; 16889cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner WriteConstantInt(OS, C, TypePrinter, 0); 1689944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner } else if (const Argument *A = dyn_cast<Argument>(this)) { 1690944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner WriteAsOperand(OS, this, true, 1691944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner A->getParent() ? A->getParent()->getParent() : 0); 1692944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner } else if (isa<InlineAsm>(this)) { 1693944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner WriteAsOperand(OS, this, true, 0); 1694944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner } else { 1695d71703deec9e3fe90833e82e0c8b6bf7e5af55fdDan Gohman assert(0 && "Unknown value to print out!"); 1696944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner } 1697944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner} 1698944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner 1699944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattnervoid Value::print(std::ostream &O, AssemblyAnnotationWriter *AAW) const { 1700944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner raw_os_ostream OS(O); 1701944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner print(OS, AAW); 170275cf7cf00d391ac6ca22d6240fa9d99ed427d1d5Chris Lattner} 1703009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner 17047059e530edcf3294315f02751c9df5e485f2932cChris Lattner// Value::dump - allow easy printing of Values from the debugger. 17053518175d4256df88fcaf133c0ed9fb166db7993cChris Lattnervoid Value::dump() const { print(errs()); errs() << '\n'; errs().flush(); } 1706fa452c05504ebee698e00050d04e1a43b0f21045Reid Spencer 17077059e530edcf3294315f02751c9df5e485f2932cChris Lattner// Type::dump - allow easy printing of Types from the debugger. 1708795daece23cdc66bc7c16e9a2043dd4a4d0bbfc0Chris Lattner// This one uses type names from the given context module 1709795daece23cdc66bc7c16e9a2043dd4a4d0bbfc0Chris Lattnervoid Type::dump(const Module *Context) const { 1710795daece23cdc66bc7c16e9a2043dd4a4d0bbfc0Chris Lattner WriteTypeSymbolic(errs(), this, Context); 1711795daece23cdc66bc7c16e9a2043dd4a4d0bbfc0Chris Lattner errs() << '\n'; 1712795daece23cdc66bc7c16e9a2043dd4a4d0bbfc0Chris Lattner errs().flush(); 1713795daece23cdc66bc7c16e9a2043dd4a4d0bbfc0Chris Lattner} 1714795daece23cdc66bc7c16e9a2043dd4a4d0bbfc0Chris Lattner 1715c287137ce7455c63be0075e0d5aba0bab4f125eaChris Lattner// Type::dump - allow easy printing of Types from the debugger. 1716c287137ce7455c63be0075e0d5aba0bab4f125eaChris Lattnervoid Type::dump() const { dump(0); } 1717c287137ce7455c63be0075e0d5aba0bab4f125eaChris Lattner 1718c287137ce7455c63be0075e0d5aba0bab4f125eaChris Lattner 17197059e530edcf3294315f02751c9df5e485f2932cChris Lattner// Module::dump() - Allow printing of Modules from the debugger. 17203518175d4256df88fcaf133c0ed9fb166db7993cChris Lattnervoid Module::dump() const { print(errs(), 0); errs().flush(); } 1721944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner 1722009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner 1723