AsmWriter.cpp revision ab7c09b6b6f4516a631fd6788918c237c83939af
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" 26cb33799b9f4e152e3460faa83e59b53ff604c87dNick Lewycky#include "llvm/MDNode.h" 27f2d577b27a56a928fa3e77ab0cd83e7597751313Chris Lattner#include "llvm/Module.h" 28ef9b9a793949469cdaa4ab6d0173136229dcab7bReid Spencer#include "llvm/ValueSymbolTable.h" 2978d033e086e19e016273de014f9214aa6f3f844bReid Spencer#include "llvm/TypeSymbolTable.h" 30413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner#include "llvm/ADT/DenseSet.h" 31551ccae044b0ff658fe629dd67edd5ffe75d10e8Reid Spencer#include "llvm/ADT/StringExtras.h" 32551ccae044b0ff658fe629dd67edd5ffe75d10e8Reid Spencer#include "llvm/ADT/STLExtras.h" 338f487662869d10c866b9ebdccb8f6a7509d3ab56Bill Wendling#include "llvm/Support/CFG.h" 34ab7c09b6b6f4516a631fd6788918c237c83939afTorok Edwin#include "llvm/Support/ErrorHandling.h" 35cb6682fa44e13262bdef7dd22b4ba90f8c2e7b97Jim Laskey#include "llvm/Support/MathExtras.h" 3645d4c73aa75fa9c6362b5c47ac520f2b2c2c1561Chris Lattner#include "llvm/Support/raw_ostream.h" 37007377f381e253cc559db8d3c94fa89b0eb55fadChris Lattner#include <algorithm> 384ad513ca153430c3a7f36be1ef43af04534e1f5dReid Spencer#include <cctype> 39923078c65d5a37a4f135705300c9feea49487de5Devang Patel#include <map> 4031f8499e83dc4dccbb57ea7e76d1fd49b7010d0cChris Lattnerusing namespace llvm; 41d0fde30ce850b78371fd1386338350591f9ff494Brian Gaeke 42edd5d9ece15f73ec1a31423a4ae39774aa6c521cReid Spencer// Make virtual table appear in this compilation unit. 43edd5d9ece15f73ec1a31423a4ae39774aa6c521cReid SpencerAssemblyAnnotationWriter::~AssemblyAnnotationWriter() {} 44edd5d9ece15f73ec1a31423a4ae39774aa6c521cReid Spencer 456ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner//===----------------------------------------------------------------------===// 466ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner// Helper Functions 476ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner//===----------------------------------------------------------------------===// 480e25e1cdcf1f73bb9f56b91155d5c0ef42ef0a44Reid Spencer 49207b5bc6a15e12a87c3c861da680b8b23559a34cChris Lattnerstatic const Module *getModuleFromVal(const Value *V) { 50949a3628024248db01d5b13e03c415e0c88e90e4Chris Lattner if (const Argument *MA = dyn_cast<Argument>(V)) 51207b5bc6a15e12a87c3c861da680b8b23559a34cChris Lattner return MA->getParent() ? MA->getParent()->getParent() : 0; 526ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 536ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner if (const BasicBlock *BB = dyn_cast<BasicBlock>(V)) 54207b5bc6a15e12a87c3c861da680b8b23559a34cChris Lattner return BB->getParent() ? BB->getParent()->getParent() : 0; 556ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 566ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner if (const Instruction *I = dyn_cast<Instruction>(V)) { 5779df7c0aaa18129e55968c8783ef8346807bd4afChris Lattner const Function *M = I->getParent() ? I->getParent()->getParent() : 0; 58207b5bc6a15e12a87c3c861da680b8b23559a34cChris Lattner return M ? M->getParent() : 0; 596ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner } 606ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 616ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner if (const GlobalValue *GV = dyn_cast<GlobalValue>(V)) 62207b5bc6a15e12a87c3c861da680b8b23559a34cChris Lattner return GV->getParent(); 63207b5bc6a15e12a87c3c861da680b8b23559a34cChris Lattner return 0; 64207b5bc6a15e12a87c3c861da680b8b23559a34cChris Lattner} 65207b5bc6a15e12a87c3c861da680b8b23559a34cChris Lattner 66e9da133ae0a3ea5bbadd14f33c5005a4e25422eaDaniel Dunbar// PrintEscapedString - Print each character of the specified string, escaping 67e9da133ae0a3ea5bbadd14f33c5005a4e25422eaDaniel Dunbar// it if it is not printable or if it is an escape char. 68e9da133ae0a3ea5bbadd14f33c5005a4e25422eaDaniel Dunbarstatic void PrintEscapedString(const char *Str, unsigned Length, 69e9da133ae0a3ea5bbadd14f33c5005a4e25422eaDaniel Dunbar raw_ostream &Out) { 70e9da133ae0a3ea5bbadd14f33c5005a4e25422eaDaniel Dunbar for (unsigned i = 0; i != Length; ++i) { 71e9da133ae0a3ea5bbadd14f33c5005a4e25422eaDaniel Dunbar unsigned char C = Str[i]; 7234a408639fbdb41add1a86af689c73fb4e9947a8Nick Lewycky if (isprint(C) && C != '\\' && C != '"') 73e9da133ae0a3ea5bbadd14f33c5005a4e25422eaDaniel Dunbar Out << C; 74e9da133ae0a3ea5bbadd14f33c5005a4e25422eaDaniel Dunbar else 75e9da133ae0a3ea5bbadd14f33c5005a4e25422eaDaniel Dunbar Out << '\\' << hexdigit(C >> 4) << hexdigit(C & 0x0F); 76e9da133ae0a3ea5bbadd14f33c5005a4e25422eaDaniel Dunbar } 77e9da133ae0a3ea5bbadd14f33c5005a4e25422eaDaniel Dunbar} 78e9da133ae0a3ea5bbadd14f33c5005a4e25422eaDaniel Dunbar 79e9da133ae0a3ea5bbadd14f33c5005a4e25422eaDaniel Dunbar// PrintEscapedString - Print each character of the specified string, escaping 80e9da133ae0a3ea5bbadd14f33c5005a4e25422eaDaniel Dunbar// it if it is not printable or if it is an escape char. 81e9da133ae0a3ea5bbadd14f33c5005a4e25422eaDaniel Dunbarstatic void PrintEscapedString(const std::string &Str, raw_ostream &Out) { 82e9da133ae0a3ea5bbadd14f33c5005a4e25422eaDaniel Dunbar PrintEscapedString(Str.c_str(), Str.size(), Out); 83e9da133ae0a3ea5bbadd14f33c5005a4e25422eaDaniel Dunbar} 84e9da133ae0a3ea5bbadd14f33c5005a4e25422eaDaniel Dunbar 85addd44427cb1b46d85f2eb31c267dd1d43914252Chris Lattnerenum PrefixType { 86addd44427cb1b46d85f2eb31c267dd1d43914252Chris Lattner GlobalPrefix, 87addd44427cb1b46d85f2eb31c267dd1d43914252Chris Lattner LabelPrefix, 88cad3580e99ae045e138a1d57de589a01c1f9b296Daniel Dunbar LocalPrefix, 89cad3580e99ae045e138a1d57de589a01c1f9b296Daniel Dunbar NoPrefix 90addd44427cb1b46d85f2eb31c267dd1d43914252Chris Lattner}; 91addd44427cb1b46d85f2eb31c267dd1d43914252Chris Lattner 92c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner/// PrintLLVMName - Turn the specified name into an 'LLVM name', which is either 93c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner/// prefixed with % (if the string only contains simple characters) or is 94c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner/// surrounded with ""'s (if it has special chars in it). Print it out. 95944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattnerstatic void PrintLLVMName(raw_ostream &OS, const char *NameStr, 9652b26de325e32c71159376853384789b7646eaf4Chris Lattner unsigned NameLen, PrefixType Prefix) { 9752b26de325e32c71159376853384789b7646eaf4Chris Lattner assert(NameStr && "Cannot get empty name!"); 98c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner switch (Prefix) { 9952b26de325e32c71159376853384789b7646eaf4Chris Lattner default: assert(0 && "Bad prefix!"); 100cad3580e99ae045e138a1d57de589a01c1f9b296Daniel Dunbar case NoPrefix: break; 10152b26de325e32c71159376853384789b7646eaf4Chris Lattner case GlobalPrefix: OS << '@'; break; 10252b26de325e32c71159376853384789b7646eaf4Chris Lattner case LabelPrefix: break; 10352b26de325e32c71159376853384789b7646eaf4Chris Lattner case LocalPrefix: OS << '%'; break; 104042348343e8c10b6cd60d2dca2b95ba27428ddc2Nick Lewycky } 105c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner 106c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner // Scan the name to see if it needs quotes first. 107e9da133ae0a3ea5bbadd14f33c5005a4e25422eaDaniel Dunbar bool NeedsQuotes = isdigit(NameStr[0]); 108c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner if (!NeedsQuotes) { 109c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner for (unsigned i = 0; i != NameLen; ++i) { 110c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner char C = NameStr[i]; 111c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner if (!isalnum(C) && C != '-' && C != '.' && C != '_') { 112c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner NeedsQuotes = true; 113c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner break; 114c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner } 115c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner } 116c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner } 1176ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 118c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner // If we didn't need any quotes, just write out the name in one blast. 119c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner if (!NeedsQuotes) { 120c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner OS.write(NameStr, NameLen); 121c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner return; 122c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner } 123c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner 124c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner // Okay, we need quotes. Output the quotes and escape any scary characters as 125c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner // needed. 126c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner OS << '"'; 127e9da133ae0a3ea5bbadd14f33c5005a4e25422eaDaniel Dunbar PrintEscapedString(NameStr, NameLen, OS); 128c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner OS << '"'; 129c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner} 130c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner 1316ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner/// PrintLLVMName - Turn the specified name into an 'LLVM name', which is either 1326ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner/// prefixed with % (if the string only contains simple characters) or is 1336ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner/// surrounded with ""'s (if it has special chars in it). Print it out. 134944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattnerstatic void PrintLLVMName(raw_ostream &OS, const Value *V) { 13552b26de325e32c71159376853384789b7646eaf4Chris Lattner PrintLLVMName(OS, V->getNameStart(), V->getNameLen(), 136c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner isa<GlobalValue>(V) ? GlobalPrefix : LocalPrefix); 137c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner} 138c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner 1399cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner//===----------------------------------------------------------------------===// 1409cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner// TypePrinting Class: Type printing machinery 1419cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner//===----------------------------------------------------------------------===// 1429cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner 14387185e82f683cf3c046ddf974513d5a286422f5fChris Lattnerstatic DenseMap<const Type *, std::string> &getTypeNamesMap(void *M) { 14487185e82f683cf3c046ddf974513d5a286422f5fChris Lattner return *static_cast<DenseMap<const Type *, std::string>*>(M); 145d8030a7179a0d301dd3fb4c42c65a8f01dfe398eChris Lattner} 146d8030a7179a0d301dd3fb4c42c65a8f01dfe398eChris Lattner 147d8030a7179a0d301dd3fb4c42c65a8f01dfe398eChris Lattnervoid TypePrinting::clear() { 148d8030a7179a0d301dd3fb4c42c65a8f01dfe398eChris Lattner getTypeNamesMap(TypeNames).clear(); 149d8030a7179a0d301dd3fb4c42c65a8f01dfe398eChris Lattner} 1509cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner 151e9fa33eb6629aea72cd59560216bb6a7b8ebc689Chris Lattnerbool TypePrinting::hasTypeName(const Type *Ty) const { 152e9fa33eb6629aea72cd59560216bb6a7b8ebc689Chris Lattner return getTypeNamesMap(TypeNames).count(Ty); 153e9fa33eb6629aea72cd59560216bb6a7b8ebc689Chris Lattner} 154e9fa33eb6629aea72cd59560216bb6a7b8ebc689Chris Lattner 155e9fa33eb6629aea72cd59560216bb6a7b8ebc689Chris Lattnervoid TypePrinting::addTypeName(const Type *Ty, const std::string &N) { 156e9fa33eb6629aea72cd59560216bb6a7b8ebc689Chris Lattner getTypeNamesMap(TypeNames).insert(std::make_pair(Ty, N)); 157e9fa33eb6629aea72cd59560216bb6a7b8ebc689Chris Lattner} 158e9fa33eb6629aea72cd59560216bb6a7b8ebc689Chris Lattner 159e9fa33eb6629aea72cd59560216bb6a7b8ebc689Chris Lattner 160e9fa33eb6629aea72cd59560216bb6a7b8ebc689Chris LattnerTypePrinting::TypePrinting() { 16187185e82f683cf3c046ddf974513d5a286422f5fChris Lattner TypeNames = new DenseMap<const Type *, std::string>(); 1629cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner} 1639cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner 164d8030a7179a0d301dd3fb4c42c65a8f01dfe398eChris LattnerTypePrinting::~TypePrinting() { 165d8030a7179a0d301dd3fb4c42c65a8f01dfe398eChris Lattner delete &getTypeNamesMap(TypeNames); 166d8030a7179a0d301dd3fb4c42c65a8f01dfe398eChris Lattner} 167d8030a7179a0d301dd3fb4c42c65a8f01dfe398eChris Lattner 168534361e7e17b34c6ac043a2c8bea626a5e9f1657Chris Lattner/// CalcTypeName - Write the specified type to the specified raw_ostream, making 169534361e7e17b34c6ac043a2c8bea626a5e9f1657Chris Lattner/// use of type names or up references to shorten the type name where possible. 170534361e7e17b34c6ac043a2c8bea626a5e9f1657Chris Lattnervoid TypePrinting::CalcTypeName(const Type *Ty, 171b840cace77b2c6afe9106698b1cb003a04e53b41Chris Lattner SmallVectorImpl<const Type *> &TypeStack, 172d2b6cb0a2b6e5994ff871027617c5efd69f7e3adChris Lattner raw_ostream &OS, bool IgnoreTopLevelName) { 1739cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner // Check to see if the type is named. 174d2b6cb0a2b6e5994ff871027617c5efd69f7e3adChris Lattner if (!IgnoreTopLevelName) { 175042348343e8c10b6cd60d2dca2b95ba27428ddc2Nick Lewycky DenseMap<const Type *, std::string> &TM = getTypeNamesMap(TypeNames); 176d2b6cb0a2b6e5994ff871027617c5efd69f7e3adChris Lattner DenseMap<const Type *, std::string>::iterator I = TM.find(Ty); 177d2b6cb0a2b6e5994ff871027617c5efd69f7e3adChris Lattner if (I != TM.end()) { 178d2b6cb0a2b6e5994ff871027617c5efd69f7e3adChris Lattner OS << I->second; 179d2b6cb0a2b6e5994ff871027617c5efd69f7e3adChris Lattner return; 180d2b6cb0a2b6e5994ff871027617c5efd69f7e3adChris Lattner } 1819cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner } 1829cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner 1839cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner // Check to see if the Type is already on the stack... 1849cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner unsigned Slot = 0, CurSize = TypeStack.size(); 1859cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner while (Slot < CurSize && TypeStack[Slot] != Ty) ++Slot; // Scan for type 1869cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner 1879cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner // This is another base case for the recursion. In this case, we know 1889cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner // that we have looped back to a type that we have previously visited. 1899cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner // Generate the appropriate upreference to handle this. 1909cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner if (Slot < CurSize) { 19130794269d5ba15613d4e013d9fe1eb9e892fa6daChris Lattner OS << '\\' << unsigned(CurSize-Slot); // Here's the upreference 1929cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner return; 1939cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner } 1949cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner 1959cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner TypeStack.push_back(Ty); // Recursive case: Add us to the stack.. 1969cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner 1979cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner switch (Ty->getTypeID()) { 19830794269d5ba15613d4e013d9fe1eb9e892fa6daChris Lattner case Type::VoidTyID: OS << "void"; break; 19930794269d5ba15613d4e013d9fe1eb9e892fa6daChris Lattner case Type::FloatTyID: OS << "float"; break; 20030794269d5ba15613d4e013d9fe1eb9e892fa6daChris Lattner case Type::DoubleTyID: OS << "double"; break; 20130794269d5ba15613d4e013d9fe1eb9e892fa6daChris Lattner case Type::X86_FP80TyID: OS << "x86_fp80"; break; 20230794269d5ba15613d4e013d9fe1eb9e892fa6daChris Lattner case Type::FP128TyID: OS << "fp128"; break; 20330794269d5ba15613d4e013d9fe1eb9e892fa6daChris Lattner case Type::PPC_FP128TyID: OS << "ppc_fp128"; break; 20430794269d5ba15613d4e013d9fe1eb9e892fa6daChris Lattner case Type::LabelTyID: OS << "label"; break; 2057a0370f66ab5739f42ffe822f33494e0de9b182bNick Lewycky case Type::MetadataTyID: OS << "metadata"; break; 206583ffd878744e27b2ced28d67026c6ad83175ef2Chris Lattner case Type::IntegerTyID: 20730794269d5ba15613d4e013d9fe1eb9e892fa6daChris Lattner OS << 'i' << cast<IntegerType>(Ty)->getBitWidth(); 208583ffd878744e27b2ced28d67026c6ad83175ef2Chris Lattner break; 209583ffd878744e27b2ced28d67026c6ad83175ef2Chris Lattner 21036942d7383df0ab00f7f5b16c04f330aedf5c9f1Chris Lattner case Type::FunctionTyID: { 21136942d7383df0ab00f7f5b16c04f330aedf5c9f1Chris Lattner const FunctionType *FTy = cast<FunctionType>(Ty); 21230794269d5ba15613d4e013d9fe1eb9e892fa6daChris Lattner CalcTypeName(FTy->getReturnType(), TypeStack, OS); 21330794269d5ba15613d4e013d9fe1eb9e892fa6daChris Lattner OS << " ("; 21436942d7383df0ab00f7f5b16c04f330aedf5c9f1Chris Lattner for (FunctionType::param_iterator I = FTy->param_begin(), 21536942d7383df0ab00f7f5b16c04f330aedf5c9f1Chris Lattner E = FTy->param_end(); I != E; ++I) { 21636942d7383df0ab00f7f5b16c04f330aedf5c9f1Chris Lattner if (I != FTy->param_begin()) 21730794269d5ba15613d4e013d9fe1eb9e892fa6daChris Lattner OS << ", "; 21830794269d5ba15613d4e013d9fe1eb9e892fa6daChris Lattner CalcTypeName(*I, TypeStack, OS); 2199cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner } 22036942d7383df0ab00f7f5b16c04f330aedf5c9f1Chris Lattner if (FTy->isVarArg()) { 22130794269d5ba15613d4e013d9fe1eb9e892fa6daChris Lattner if (FTy->getNumParams()) OS << ", "; 22230794269d5ba15613d4e013d9fe1eb9e892fa6daChris Lattner OS << "..."; 2239cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner } 22430794269d5ba15613d4e013d9fe1eb9e892fa6daChris Lattner OS << ')'; 22536942d7383df0ab00f7f5b16c04f330aedf5c9f1Chris Lattner break; 22636942d7383df0ab00f7f5b16c04f330aedf5c9f1Chris Lattner } 22736942d7383df0ab00f7f5b16c04f330aedf5c9f1Chris Lattner case Type::StructTyID: { 22836942d7383df0ab00f7f5b16c04f330aedf5c9f1Chris Lattner const StructType *STy = cast<StructType>(Ty); 22936942d7383df0ab00f7f5b16c04f330aedf5c9f1Chris Lattner if (STy->isPacked()) 23030794269d5ba15613d4e013d9fe1eb9e892fa6daChris Lattner OS << '<'; 23130794269d5ba15613d4e013d9fe1eb9e892fa6daChris Lattner OS << "{ "; 23236942d7383df0ab00f7f5b16c04f330aedf5c9f1Chris Lattner for (StructType::element_iterator I = STy->element_begin(), 23336942d7383df0ab00f7f5b16c04f330aedf5c9f1Chris Lattner E = STy->element_end(); I != E; ++I) { 23430794269d5ba15613d4e013d9fe1eb9e892fa6daChris Lattner CalcTypeName(*I, TypeStack, OS); 23536942d7383df0ab00f7f5b16c04f330aedf5c9f1Chris Lattner if (next(I) != STy->element_end()) 23630794269d5ba15613d4e013d9fe1eb9e892fa6daChris Lattner OS << ','; 23730794269d5ba15613d4e013d9fe1eb9e892fa6daChris Lattner OS << ' '; 2389cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner } 23930794269d5ba15613d4e013d9fe1eb9e892fa6daChris Lattner OS << '}'; 24036942d7383df0ab00f7f5b16c04f330aedf5c9f1Chris Lattner if (STy->isPacked()) 24130794269d5ba15613d4e013d9fe1eb9e892fa6daChris Lattner OS << '>'; 24236942d7383df0ab00f7f5b16c04f330aedf5c9f1Chris Lattner break; 24336942d7383df0ab00f7f5b16c04f330aedf5c9f1Chris Lattner } 24436942d7383df0ab00f7f5b16c04f330aedf5c9f1Chris Lattner case Type::PointerTyID: { 24536942d7383df0ab00f7f5b16c04f330aedf5c9f1Chris Lattner const PointerType *PTy = cast<PointerType>(Ty); 24630794269d5ba15613d4e013d9fe1eb9e892fa6daChris Lattner CalcTypeName(PTy->getElementType(), TypeStack, OS); 24736942d7383df0ab00f7f5b16c04f330aedf5c9f1Chris Lattner if (unsigned AddressSpace = PTy->getAddressSpace()) 24830794269d5ba15613d4e013d9fe1eb9e892fa6daChris Lattner OS << " addrspace(" << AddressSpace << ')'; 24930794269d5ba15613d4e013d9fe1eb9e892fa6daChris Lattner OS << '*'; 25036942d7383df0ab00f7f5b16c04f330aedf5c9f1Chris Lattner break; 25136942d7383df0ab00f7f5b16c04f330aedf5c9f1Chris Lattner } 25236942d7383df0ab00f7f5b16c04f330aedf5c9f1Chris Lattner case Type::ArrayTyID: { 25336942d7383df0ab00f7f5b16c04f330aedf5c9f1Chris Lattner const ArrayType *ATy = cast<ArrayType>(Ty); 25430794269d5ba15613d4e013d9fe1eb9e892fa6daChris Lattner OS << '[' << ATy->getNumElements() << " x "; 25530794269d5ba15613d4e013d9fe1eb9e892fa6daChris Lattner CalcTypeName(ATy->getElementType(), TypeStack, OS); 25630794269d5ba15613d4e013d9fe1eb9e892fa6daChris Lattner OS << ']'; 25736942d7383df0ab00f7f5b16c04f330aedf5c9f1Chris Lattner break; 25836942d7383df0ab00f7f5b16c04f330aedf5c9f1Chris Lattner } 25936942d7383df0ab00f7f5b16c04f330aedf5c9f1Chris Lattner case Type::VectorTyID: { 26036942d7383df0ab00f7f5b16c04f330aedf5c9f1Chris Lattner const VectorType *PTy = cast<VectorType>(Ty); 26130794269d5ba15613d4e013d9fe1eb9e892fa6daChris Lattner OS << "<" << PTy->getNumElements() << " x "; 26230794269d5ba15613d4e013d9fe1eb9e892fa6daChris Lattner CalcTypeName(PTy->getElementType(), TypeStack, OS); 26330794269d5ba15613d4e013d9fe1eb9e892fa6daChris Lattner OS << '>'; 26436942d7383df0ab00f7f5b16c04f330aedf5c9f1Chris Lattner break; 26536942d7383df0ab00f7f5b16c04f330aedf5c9f1Chris Lattner } 26636942d7383df0ab00f7f5b16c04f330aedf5c9f1Chris Lattner case Type::OpaqueTyID: 26730794269d5ba15613d4e013d9fe1eb9e892fa6daChris Lattner OS << "opaque"; 26836942d7383df0ab00f7f5b16c04f330aedf5c9f1Chris Lattner break; 26936942d7383df0ab00f7f5b16c04f330aedf5c9f1Chris Lattner default: 27030794269d5ba15613d4e013d9fe1eb9e892fa6daChris Lattner OS << "<unrecognized-type>"; 27136942d7383df0ab00f7f5b16c04f330aedf5c9f1Chris Lattner break; 2729cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner } 2739cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner 274534361e7e17b34c6ac043a2c8bea626a5e9f1657Chris Lattner TypeStack.pop_back(); // Remove self from stack. 2759cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner} 2769cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner 2779cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner/// printTypeInt - The internal guts of printing out a type that has a 2789cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner/// potentially named portion. 2799cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner/// 280d2b6cb0a2b6e5994ff871027617c5efd69f7e3adChris Lattnervoid TypePrinting::print(const Type *Ty, raw_ostream &OS, 281d2b6cb0a2b6e5994ff871027617c5efd69f7e3adChris Lattner bool IgnoreTopLevelName) { 2829cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner // Check to see if the type is named. 28387185e82f683cf3c046ddf974513d5a286422f5fChris Lattner DenseMap<const Type*, std::string> &TM = getTypeNamesMap(TypeNames); 284d2b6cb0a2b6e5994ff871027617c5efd69f7e3adChris Lattner if (!IgnoreTopLevelName) { 285d2b6cb0a2b6e5994ff871027617c5efd69f7e3adChris Lattner DenseMap<const Type*, std::string>::iterator I = TM.find(Ty); 286d2b6cb0a2b6e5994ff871027617c5efd69f7e3adChris Lattner if (I != TM.end()) { 287d2b6cb0a2b6e5994ff871027617c5efd69f7e3adChris Lattner OS << I->second; 288d2b6cb0a2b6e5994ff871027617c5efd69f7e3adChris Lattner return; 289d2b6cb0a2b6e5994ff871027617c5efd69f7e3adChris Lattner } 2909cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner } 2919cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner 2929cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner // Otherwise we have a type that has not been named but is a derived type. 2939cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner // Carefully recurse the type hierarchy to print out any contained symbolic 2949cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner // names. 295b840cace77b2c6afe9106698b1cb003a04e53b41Chris Lattner SmallVector<const Type *, 16> TypeStack; 2969cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner std::string TypeName; 297534361e7e17b34c6ac043a2c8bea626a5e9f1657Chris Lattner 298534361e7e17b34c6ac043a2c8bea626a5e9f1657Chris Lattner raw_string_ostream TypeOS(TypeName); 299d2b6cb0a2b6e5994ff871027617c5efd69f7e3adChris Lattner CalcTypeName(Ty, TypeStack, TypeOS, IgnoreTopLevelName); 300534361e7e17b34c6ac043a2c8bea626a5e9f1657Chris Lattner OS << TypeOS.str(); 301534361e7e17b34c6ac043a2c8bea626a5e9f1657Chris Lattner 302534361e7e17b34c6ac043a2c8bea626a5e9f1657Chris Lattner // Cache type name for later use. 303d2b6cb0a2b6e5994ff871027617c5efd69f7e3adChris Lattner if (!IgnoreTopLevelName) 304d2b6cb0a2b6e5994ff871027617c5efd69f7e3adChris Lattner TM.insert(std::make_pair(Ty, TypeOS.str())); 3059cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner} 3069cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner 307413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattnernamespace { 308413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner class TypeFinder { 309413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner // To avoid walking constant expressions multiple times and other IR 310413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner // objects, we keep several helper maps. 311413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner DenseSet<const Value*> VisitedConstants; 312413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner DenseSet<const Type*> VisitedTypes; 313413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner 314413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner TypePrinting &TP; 315413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner std::vector<const Type*> &NumberedTypes; 316413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner public: 317413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner TypeFinder(TypePrinting &tp, std::vector<const Type*> &numberedTypes) 318413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner : TP(tp), NumberedTypes(numberedTypes) {} 319413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner 320413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner void Run(const Module &M) { 321884858608b0107df56e671406d280e9617988f36Chris Lattner // Get types from the type symbol table. This gets opaque types referened 322884858608b0107df56e671406d280e9617988f36Chris Lattner // only through derived named types. 323884858608b0107df56e671406d280e9617988f36Chris Lattner const TypeSymbolTable &ST = M.getTypeSymbolTable(); 324884858608b0107df56e671406d280e9617988f36Chris Lattner for (TypeSymbolTable::const_iterator TI = ST.begin(), E = ST.end(); 325884858608b0107df56e671406d280e9617988f36Chris Lattner TI != E; ++TI) 326884858608b0107df56e671406d280e9617988f36Chris Lattner IncorporateType(TI->second); 327884858608b0107df56e671406d280e9617988f36Chris Lattner 328413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner // Get types from global variables. 329413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner for (Module::const_global_iterator I = M.global_begin(), 330413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner E = M.global_end(); I != E; ++I) { 331413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner IncorporateType(I->getType()); 332413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner if (I->hasInitializer()) 333413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner IncorporateValue(I->getInitializer()); 334413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner } 335413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner 336413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner // Get types from aliases. 337413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner for (Module::const_alias_iterator I = M.alias_begin(), 338413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner E = M.alias_end(); I != E; ++I) { 339413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner IncorporateType(I->getType()); 340413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner IncorporateValue(I->getAliasee()); 341413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner } 342413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner 343413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner // Get types from functions. 344413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner for (Module::const_iterator FI = M.begin(), E = M.end(); FI != E; ++FI) { 345413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner IncorporateType(FI->getType()); 346413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner 347413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner for (Function::const_iterator BB = FI->begin(), E = FI->end(); 348413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner BB != E;++BB) 349413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner for (BasicBlock::const_iterator II = BB->begin(), 350413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner E = BB->end(); II != E; ++II) { 351413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner const Instruction &I = *II; 352413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner // Incorporate the type of the instruction and all its operands. 353413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner IncorporateType(I.getType()); 354413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner for (User::const_op_iterator OI = I.op_begin(), OE = I.op_end(); 355413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner OI != OE; ++OI) 356413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner IncorporateValue(*OI); 357413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner } 358413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner } 359413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner } 360413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner 361413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner private: 362413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner void IncorporateType(const Type *Ty) { 363413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner // Check to see if we're already visited this type. 364884858608b0107df56e671406d280e9617988f36Chris Lattner if (!VisitedTypes.insert(Ty).second) 365413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner return; 366413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner 367413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner // If this is a structure or opaque type, add a name for the type. 36821cc4460efa104e8591b05a90f20130291614344Nick Lewycky if (((isa<StructType>(Ty) && cast<StructType>(Ty)->getNumElements()) 36921cc4460efa104e8591b05a90f20130291614344Nick Lewycky || isa<OpaqueType>(Ty)) && !TP.hasTypeName(Ty)) { 370413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner TP.addTypeName(Ty, "%"+utostr(unsigned(NumberedTypes.size()))); 371413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner NumberedTypes.push_back(Ty); 372413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner } 373413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner 374413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner // Recursively walk all contained types. 375413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner for (Type::subtype_iterator I = Ty->subtype_begin(), 376413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner E = Ty->subtype_end(); I != E; ++I) 377413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner IncorporateType(*I); 378413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner } 379413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner 380413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner /// IncorporateValue - This method is used to walk operand lists finding 381413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner /// types hiding in constant expressions and other operands that won't be 382413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner /// walked in other ways. GlobalValues, basic blocks, instructions, and 383413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner /// inst operands are all explicitly enumerated. 384413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner void IncorporateValue(const Value *V) { 385413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner if (V == 0 || !isa<Constant>(V) || isa<GlobalValue>(V)) return; 386413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner 387413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner // Already visited? 388413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner if (!VisitedConstants.insert(V).second) 389413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner return; 390413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner 391413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner // Check this type. 392413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner IncorporateType(V->getType()); 393413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner 394413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner // Look in operands for types. 395413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner const Constant *C = cast<Constant>(V); 396413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner for (Constant::const_op_iterator I = C->op_begin(), 397413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner E = C->op_end(); I != E;++I) 398413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner IncorporateValue(*I); 399413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner } 400413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner }; 401413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner} // end anonymous namespace 402413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner 403413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner 404413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner/// AddModuleTypesToPrinter - Add all of the symbolic type names for types in 405413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner/// the specified module to the TypePrinter and all numbered types to it and the 406413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner/// NumberedTypes table. 407413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattnerstatic void AddModuleTypesToPrinter(TypePrinting &TP, 408413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner std::vector<const Type*> &NumberedTypes, 409413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner const Module *M) { 410e9fa33eb6629aea72cd59560216bb6a7b8ebc689Chris Lattner if (M == 0) return; 411e9fa33eb6629aea72cd59560216bb6a7b8ebc689Chris Lattner 412e9fa33eb6629aea72cd59560216bb6a7b8ebc689Chris Lattner // If the module has a symbol table, take all global types and stuff their 413e9fa33eb6629aea72cd59560216bb6a7b8ebc689Chris Lattner // names into the TypeNames map. 414e9fa33eb6629aea72cd59560216bb6a7b8ebc689Chris Lattner const TypeSymbolTable &ST = M->getTypeSymbolTable(); 415e9fa33eb6629aea72cd59560216bb6a7b8ebc689Chris Lattner for (TypeSymbolTable::const_iterator TI = ST.begin(), E = ST.end(); 416e9fa33eb6629aea72cd59560216bb6a7b8ebc689Chris Lattner TI != E; ++TI) { 417e9fa33eb6629aea72cd59560216bb6a7b8ebc689Chris Lattner const Type *Ty = cast<Type>(TI->second); 418e9fa33eb6629aea72cd59560216bb6a7b8ebc689Chris Lattner 419e9fa33eb6629aea72cd59560216bb6a7b8ebc689Chris Lattner // As a heuristic, don't insert pointer to primitive types, because 420e9fa33eb6629aea72cd59560216bb6a7b8ebc689Chris Lattner // they are used too often to have a single useful name. 421e9fa33eb6629aea72cd59560216bb6a7b8ebc689Chris Lattner if (const PointerType *PTy = dyn_cast<PointerType>(Ty)) { 422e9fa33eb6629aea72cd59560216bb6a7b8ebc689Chris Lattner const Type *PETy = PTy->getElementType(); 423e9fa33eb6629aea72cd59560216bb6a7b8ebc689Chris Lattner if ((PETy->isPrimitiveType() || PETy->isInteger()) && 424e9fa33eb6629aea72cd59560216bb6a7b8ebc689Chris Lattner !isa<OpaqueType>(PETy)) 425e9fa33eb6629aea72cd59560216bb6a7b8ebc689Chris Lattner continue; 426e9fa33eb6629aea72cd59560216bb6a7b8ebc689Chris Lattner } 427e9fa33eb6629aea72cd59560216bb6a7b8ebc689Chris Lattner 428e9fa33eb6629aea72cd59560216bb6a7b8ebc689Chris Lattner // Likewise don't insert primitives either. 429e9fa33eb6629aea72cd59560216bb6a7b8ebc689Chris Lattner if (Ty->isInteger() || Ty->isPrimitiveType()) 430e9fa33eb6629aea72cd59560216bb6a7b8ebc689Chris Lattner continue; 431e9fa33eb6629aea72cd59560216bb6a7b8ebc689Chris Lattner 432e9fa33eb6629aea72cd59560216bb6a7b8ebc689Chris Lattner // Get the name as a string and insert it into TypeNames. 433e9fa33eb6629aea72cd59560216bb6a7b8ebc689Chris Lattner std::string NameStr; 434e9fa33eb6629aea72cd59560216bb6a7b8ebc689Chris Lattner raw_string_ostream NameOS(NameStr); 435e9fa33eb6629aea72cd59560216bb6a7b8ebc689Chris Lattner PrintLLVMName(NameOS, TI->first.c_str(), TI->first.length(), LocalPrefix); 436e9fa33eb6629aea72cd59560216bb6a7b8ebc689Chris Lattner TP.addTypeName(Ty, NameOS.str()); 437e9fa33eb6629aea72cd59560216bb6a7b8ebc689Chris Lattner } 438413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner 439413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner // Walk the entire module to find references to unnamed structure and opaque 440413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner // types. This is required for correctness by opaque types (because multiple 441413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner // uses of an unnamed opaque type needs to be referred to by the same ID) and 442413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner // it shrinks complex recursive structure types substantially in some cases. 443413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner TypeFinder(TP, NumberedTypes).Run(*M); 444e9fa33eb6629aea72cd59560216bb6a7b8ebc689Chris Lattner} 445e9fa33eb6629aea72cd59560216bb6a7b8ebc689Chris Lattner 4469cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner 4479cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner/// WriteTypeSymbolic - This attempts to write the specified type as a symbolic 4489cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner/// type, iff there is an entry in the modules symbol table for the specified 449c287137ce7455c63be0075e0d5aba0bab4f125eaChris Lattner/// type or one of it's component types. 4509cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner/// 451e9fa33eb6629aea72cd59560216bb6a7b8ebc689Chris Lattnervoid llvm::WriteTypeSymbolic(raw_ostream &OS, const Type *Ty, const Module *M) { 452e9fa33eb6629aea72cd59560216bb6a7b8ebc689Chris Lattner TypePrinting Printer; 453413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner std::vector<const Type*> NumberedTypes; 454413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner AddModuleTypesToPrinter(Printer, NumberedTypes, M); 455e9fa33eb6629aea72cd59560216bb6a7b8ebc689Chris Lattner Printer.print(Ty, OS); 4569cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner} 4579cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner 4586ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner//===----------------------------------------------------------------------===// 4596ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner// SlotTracker Class: Enumerate slot numbers for unnamed values 4606ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner//===----------------------------------------------------------------------===// 4616ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 4626ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattnernamespace { 4636ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 4646ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner/// This class provides computation of slot numbers for LLVM Assembly writing. 4656ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner/// 4666ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattnerclass SlotTracker { 4676ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattnerpublic: 4686ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner /// ValueMap - A mapping of Values to slot numbers 4696ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner typedef DenseMap<const Value*, unsigned> ValueMap; 4706ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 4716ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattnerprivate: 4726ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner /// TheModule - The module for which we are holding slot numbers 4736ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner const Module* TheModule; 4746ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 4756ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner /// TheFunction - The function for which we are holding slot numbers 4766ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner const Function* TheFunction; 4776ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner bool FunctionProcessed; 4786ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 4796ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner /// mMap - The TypePlanes map for the module level data 4806ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner ValueMap mMap; 4816ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner unsigned mNext; 4826ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 4836ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner /// fMap - The TypePlanes map for the function level data 4846ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner ValueMap fMap; 4856ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner unsigned fNext; 4866ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 4876ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattnerpublic: 4886ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner /// Construct from a module 4896ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner explicit SlotTracker(const Module *M); 4906ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner /// Construct from a function, starting out in incorp state. 4916ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner explicit SlotTracker(const Function *F); 4926ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 4936ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner /// Return the slot number of the specified value in it's type 4946ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner /// plane. If something is not in the SlotTracker, return -1. 4956ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner int getLocalSlot(const Value *V); 4966ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner int getGlobalSlot(const GlobalValue *V); 4976ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 4986ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner /// If you'd like to deal with a function instead of just a module, use 4996ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner /// this method to get its data into the SlotTracker. 5006ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner void incorporateFunction(const Function *F) { 5016ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner TheFunction = F; 5026ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner FunctionProcessed = false; 5036ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner } 5046ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 5056ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner /// After calling incorporateFunction, use this method to remove the 5066ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner /// most recently incorporated function from the SlotTracker. This 5076ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner /// will reset the state of the machine back to just the module contents. 5086ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner void purgeFunction(); 5096ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 5106ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner // Implementation Details 5116ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattnerprivate: 5126ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner /// This function does the actual initialization. 5136ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner inline void initialize(); 5146ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 5156ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner /// CreateModuleSlot - Insert the specified GlobalValue* into the slot table. 5166ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner void CreateModuleSlot(const GlobalValue *V); 5176ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 5186ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner /// CreateFunctionSlot - Insert the specified Value* into the slot table. 5196ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner void CreateFunctionSlot(const Value *V); 5206ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 5216ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner /// Add all of the module level global variables (and their initializers) 5226ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner /// and function declarations, but not the contents of those functions. 5236ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner void processModule(); 5246ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 5256ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner /// Add all of the functions arguments, basic blocks, and instructions 5266ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner void processFunction(); 5276ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 5286ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner SlotTracker(const SlotTracker &); // DO NOT IMPLEMENT 5296ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner void operator=(const SlotTracker &); // DO NOT IMPLEMENT 5306ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner}; 5316ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 5326ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner} // end anonymous namespace 5336ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 5346ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 5356ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattnerstatic SlotTracker *createSlotTracker(const Value *V) { 5366ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner if (const Argument *FA = dyn_cast<Argument>(V)) 5376ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner return new SlotTracker(FA->getParent()); 5386ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 5396ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner if (const Instruction *I = dyn_cast<Instruction>(V)) 5406ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner return new SlotTracker(I->getParent()->getParent()); 5416ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 5426ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner if (const BasicBlock *BB = dyn_cast<BasicBlock>(V)) 5436ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner return new SlotTracker(BB->getParent()); 5446ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 5456ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner if (const GlobalVariable *GV = dyn_cast<GlobalVariable>(V)) 5466ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner return new SlotTracker(GV->getParent()); 5476ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 5486ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner if (const GlobalAlias *GA = dyn_cast<GlobalAlias>(V)) 5496ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner return new SlotTracker(GA->getParent()); 5506ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 5516ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner if (const Function *Func = dyn_cast<Function>(V)) 5526ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner return new SlotTracker(Func); 5536ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 5546ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner return 0; 5556ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner} 5566ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 5576ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner#if 0 558242330371b2b7ab9d5a6c4f5f93ec82c514cc09aChris Lattner#define ST_DEBUG(X) cerr << X 5596ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner#else 560242330371b2b7ab9d5a6c4f5f93ec82c514cc09aChris Lattner#define ST_DEBUG(X) 5616ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner#endif 5626ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 5636ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner// Module level constructor. Causes the contents of the Module (sans functions) 5646ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner// to be added to the slot table. 5656ab910b946b6af54384662fb404d6e9b22fa5727Chris LattnerSlotTracker::SlotTracker(const Module *M) 566cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner : TheModule(M), TheFunction(0), FunctionProcessed(false), mNext(0), fNext(0) { 5676ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner} 5686ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 5696ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner// Function level constructor. Causes the contents of the Module and the one 5706ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner// function provided to be added to the slot table. 5716ab910b946b6af54384662fb404d6e9b22fa5727Chris LattnerSlotTracker::SlotTracker(const Function *F) 572cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner : TheModule(F ? F->getParent() : 0), TheFunction(F), FunctionProcessed(false), 573cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner mNext(0), fNext(0) { 5746ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner} 5756ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 5766ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattnerinline void SlotTracker::initialize() { 5776ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner if (TheModule) { 5786ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner processModule(); 5796ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner TheModule = 0; ///< Prevent re-processing next time we're called. 5806ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner } 581cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner 5826ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner if (TheFunction && !FunctionProcessed) 5836ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner processFunction(); 5846ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner} 5856ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 5866ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner// Iterate through all the global variables, functions, and global 5876ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner// variable initializers and create slots for them. 5886ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattnervoid SlotTracker::processModule() { 589242330371b2b7ab9d5a6c4f5f93ec82c514cc09aChris Lattner ST_DEBUG("begin processModule!\n"); 5906ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 5916ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner // Add all of the unnamed global variables to the value table. 5926ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner for (Module::const_global_iterator I = TheModule->global_begin(), 5936ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner E = TheModule->global_end(); I != E; ++I) 5946ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner if (!I->hasName()) 5956ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner CreateModuleSlot(I); 5966ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 5976ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner // Add all the unnamed functions to the table. 5986ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner for (Module::const_iterator I = TheModule->begin(), E = TheModule->end(); 5996ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner I != E; ++I) 6006ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner if (!I->hasName()) 6016ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner CreateModuleSlot(I); 6026ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 603242330371b2b7ab9d5a6c4f5f93ec82c514cc09aChris Lattner ST_DEBUG("end processModule!\n"); 6046ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner} 6056ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 6066ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 6076ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner// Process the arguments, basic blocks, and instructions of a function. 6086ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattnervoid SlotTracker::processFunction() { 609242330371b2b7ab9d5a6c4f5f93ec82c514cc09aChris Lattner ST_DEBUG("begin processFunction!\n"); 6106ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner fNext = 0; 6116ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 6126ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner // Add all the function arguments with no names. 6136ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner for(Function::const_arg_iterator AI = TheFunction->arg_begin(), 6146ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner AE = TheFunction->arg_end(); AI != AE; ++AI) 6156ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner if (!AI->hasName()) 6166ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner CreateFunctionSlot(AI); 6176ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 618242330371b2b7ab9d5a6c4f5f93ec82c514cc09aChris Lattner ST_DEBUG("Inserting Instructions:\n"); 6196ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 6206ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner // Add all of the basic blocks and instructions with no names. 6216ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner for (Function::const_iterator BB = TheFunction->begin(), 6226ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner E = TheFunction->end(); BB != E; ++BB) { 6236ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner if (!BB->hasName()) 6246ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner CreateFunctionSlot(BB); 6256ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner for (BasicBlock::const_iterator I = BB->begin(), E = BB->end(); I != E; ++I) 6266ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner if (I->getType() != Type::VoidTy && !I->hasName()) 6276ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner CreateFunctionSlot(I); 6286ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner } 6296ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 6306ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner FunctionProcessed = true; 6316ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 632242330371b2b7ab9d5a6c4f5f93ec82c514cc09aChris Lattner ST_DEBUG("end processFunction!\n"); 6336ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner} 6346ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 6356ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner/// Clean up after incorporating a function. This is the only way to get out of 6366ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner/// the function incorporation state that affects get*Slot/Create*Slot. Function 6376ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner/// incorporation state is indicated by TheFunction != 0. 6386ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattnervoid SlotTracker::purgeFunction() { 639242330371b2b7ab9d5a6c4f5f93ec82c514cc09aChris Lattner ST_DEBUG("begin purgeFunction!\n"); 6406ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner fMap.clear(); // Simply discard the function level map 6416ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner TheFunction = 0; 6426ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner FunctionProcessed = false; 643242330371b2b7ab9d5a6c4f5f93ec82c514cc09aChris Lattner ST_DEBUG("end purgeFunction!\n"); 6446ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner} 6456ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 6466ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner/// getGlobalSlot - Get the slot number of a global value. 6476ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattnerint SlotTracker::getGlobalSlot(const GlobalValue *V) { 6486ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner // Check for uninitialized state and do lazy initialization. 6496ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner initialize(); 6506ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 6516ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner // Find the type plane in the module map 6526ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner ValueMap::iterator MI = mMap.find(V); 653aeaf245db33fa8bccdd14bb8899ee0585a75a7b1Dan Gohman return MI == mMap.end() ? -1 : (int)MI->second; 6546ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner} 6556ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 6566ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 6576ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner/// getLocalSlot - Get the slot number for a value that is local to a function. 6586ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattnerint SlotTracker::getLocalSlot(const Value *V) { 6596ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner assert(!isa<Constant>(V) && "Can't get a constant or global slot with this!"); 6606ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 6616ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner // Check for uninitialized state and do lazy initialization. 6626ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner initialize(); 6636ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 6646ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner ValueMap::iterator FI = fMap.find(V); 665aeaf245db33fa8bccdd14bb8899ee0585a75a7b1Dan Gohman return FI == fMap.end() ? -1 : (int)FI->second; 6666ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner} 6676ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 6686ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 6696ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner/// CreateModuleSlot - Insert the specified GlobalValue* into the slot table. 6706ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattnervoid SlotTracker::CreateModuleSlot(const GlobalValue *V) { 6716ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner assert(V && "Can't insert a null Value into SlotTracker!"); 6726ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner assert(V->getType() != Type::VoidTy && "Doesn't need a slot!"); 6736ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner assert(!V->hasName() && "Doesn't need a slot!"); 6746ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 6756ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner unsigned DestSlot = mNext++; 6766ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner mMap[V] = DestSlot; 6776ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 678242330371b2b7ab9d5a6c4f5f93ec82c514cc09aChris Lattner ST_DEBUG(" Inserting value [" << V->getType() << "] = " << V << " slot=" << 6796ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner DestSlot << " ["); 6806ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner // G = Global, F = Function, A = Alias, o = other 681242330371b2b7ab9d5a6c4f5f93ec82c514cc09aChris Lattner ST_DEBUG((isa<GlobalVariable>(V) ? 'G' : 6826ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner (isa<Function>(V) ? 'F' : 6836ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner (isa<GlobalAlias>(V) ? 'A' : 'o'))) << "]\n"); 6846ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner} 6856ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 6866ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 6876ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner/// CreateSlot - Create a new slot for the specified value if it has no name. 6886ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattnervoid SlotTracker::CreateFunctionSlot(const Value *V) { 6896ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner assert(V->getType() != Type::VoidTy && !V->hasName() && 6906ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner "Doesn't need a slot!"); 6916ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 6926ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner unsigned DestSlot = fNext++; 6936ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner fMap[V] = DestSlot; 6946ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 6956ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner // G = Global, F = Function, o = other 696242330371b2b7ab9d5a6c4f5f93ec82c514cc09aChris Lattner ST_DEBUG(" Inserting value [" << V->getType() << "] = " << V << " slot=" << 6976ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner DestSlot << " [o]\n"); 6986ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner} 6996ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 7006ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 7016ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 7026ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner//===----------------------------------------------------------------------===// 7036ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner// AsmWriter Implementation 7046ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner//===----------------------------------------------------------------------===// 7056ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 706944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattnerstatic void WriteAsOperandInternal(raw_ostream &Out, const Value *V, 7079cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner TypePrinting &TypePrinter, 7086ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner SlotTracker *Machine); 7096ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 7106ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 7116ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 71282c4bc7153d390ad1c2b369e0caef456948b8825Chris Lattnerstatic const char *getPredicateText(unsigned predicate) { 71381dfeb3264d3c1f619c3f73046ded1ac6883e59dReid Spencer const char * pred = "unknown"; 71481dfeb3264d3c1f619c3f73046ded1ac6883e59dReid Spencer switch (predicate) { 71581dfeb3264d3c1f619c3f73046ded1ac6883e59dReid Spencer case FCmpInst::FCMP_FALSE: pred = "false"; break; 71681dfeb3264d3c1f619c3f73046ded1ac6883e59dReid Spencer case FCmpInst::FCMP_OEQ: pred = "oeq"; break; 71781dfeb3264d3c1f619c3f73046ded1ac6883e59dReid Spencer case FCmpInst::FCMP_OGT: pred = "ogt"; break; 71881dfeb3264d3c1f619c3f73046ded1ac6883e59dReid Spencer case FCmpInst::FCMP_OGE: pred = "oge"; break; 71981dfeb3264d3c1f619c3f73046ded1ac6883e59dReid Spencer case FCmpInst::FCMP_OLT: pred = "olt"; break; 72081dfeb3264d3c1f619c3f73046ded1ac6883e59dReid Spencer case FCmpInst::FCMP_OLE: pred = "ole"; break; 72181dfeb3264d3c1f619c3f73046ded1ac6883e59dReid Spencer case FCmpInst::FCMP_ONE: pred = "one"; break; 72281dfeb3264d3c1f619c3f73046ded1ac6883e59dReid Spencer case FCmpInst::FCMP_ORD: pred = "ord"; break; 72381dfeb3264d3c1f619c3f73046ded1ac6883e59dReid Spencer case FCmpInst::FCMP_UNO: pred = "uno"; break; 72481dfeb3264d3c1f619c3f73046ded1ac6883e59dReid Spencer case FCmpInst::FCMP_UEQ: pred = "ueq"; break; 72581dfeb3264d3c1f619c3f73046ded1ac6883e59dReid Spencer case FCmpInst::FCMP_UGT: pred = "ugt"; break; 72681dfeb3264d3c1f619c3f73046ded1ac6883e59dReid Spencer case FCmpInst::FCMP_UGE: pred = "uge"; break; 72781dfeb3264d3c1f619c3f73046ded1ac6883e59dReid Spencer case FCmpInst::FCMP_ULT: pred = "ult"; break; 72881dfeb3264d3c1f619c3f73046ded1ac6883e59dReid Spencer case FCmpInst::FCMP_ULE: pred = "ule"; break; 72981dfeb3264d3c1f619c3f73046ded1ac6883e59dReid Spencer case FCmpInst::FCMP_UNE: pred = "une"; break; 73081dfeb3264d3c1f619c3f73046ded1ac6883e59dReid Spencer case FCmpInst::FCMP_TRUE: pred = "true"; break; 73181dfeb3264d3c1f619c3f73046ded1ac6883e59dReid Spencer case ICmpInst::ICMP_EQ: pred = "eq"; break; 73281dfeb3264d3c1f619c3f73046ded1ac6883e59dReid Spencer case ICmpInst::ICMP_NE: pred = "ne"; break; 73381dfeb3264d3c1f619c3f73046ded1ac6883e59dReid Spencer case ICmpInst::ICMP_SGT: pred = "sgt"; break; 73481dfeb3264d3c1f619c3f73046ded1ac6883e59dReid Spencer case ICmpInst::ICMP_SGE: pred = "sge"; break; 73581dfeb3264d3c1f619c3f73046ded1ac6883e59dReid Spencer case ICmpInst::ICMP_SLT: pred = "slt"; break; 73681dfeb3264d3c1f619c3f73046ded1ac6883e59dReid Spencer case ICmpInst::ICMP_SLE: pred = "sle"; break; 73781dfeb3264d3c1f619c3f73046ded1ac6883e59dReid Spencer case ICmpInst::ICMP_UGT: pred = "ugt"; break; 73881dfeb3264d3c1f619c3f73046ded1ac6883e59dReid Spencer case ICmpInst::ICMP_UGE: pred = "uge"; break; 73981dfeb3264d3c1f619c3f73046ded1ac6883e59dReid Spencer case ICmpInst::ICMP_ULT: pred = "ult"; break; 74081dfeb3264d3c1f619c3f73046ded1ac6883e59dReid Spencer case ICmpInst::ICMP_ULE: pred = "ule"; break; 74181dfeb3264d3c1f619c3f73046ded1ac6883e59dReid Spencer } 74281dfeb3264d3c1f619c3f73046ded1ac6883e59dReid Spencer return pred; 74381dfeb3264d3c1f619c3f73046ded1ac6883e59dReid Spencer} 74481dfeb3264d3c1f619c3f73046ded1ac6883e59dReid Spencer 745944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattnerstatic void WriteConstantInt(raw_ostream &Out, const Constant *CV, 7469cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner TypePrinting &TypePrinter, SlotTracker *Machine) { 7476b6b6ef1677fa71b1072c2911b4c1f9524a558c9Zhou Sheng if (const ConstantInt *CI = dyn_cast<ConstantInt>(CV)) { 748fad86b003a839cef40ec8ce8408322f4913368caChris Lattner if (CI->getType() == Type::Int1Ty) { 749579dca12c2cfd60bc18aaadbd5331897d48fec29Reid Spencer Out << (CI->getZExtValue() ? "true" : "false"); 750fad86b003a839cef40ec8ce8408322f4913368caChris Lattner return; 751fad86b003a839cef40ec8ce8408322f4913368caChris Lattner } 752fad86b003a839cef40ec8ce8408322f4913368caChris Lattner Out << CI->getValue(); 753fad86b003a839cef40ec8ce8408322f4913368caChris Lattner return; 754fad86b003a839cef40ec8ce8408322f4913368caChris Lattner } 755fad86b003a839cef40ec8ce8408322f4913368caChris Lattner 756fad86b003a839cef40ec8ce8408322f4913368caChris Lattner if (const ConstantFP *CFP = dyn_cast<ConstantFP>(CV)) { 7579d5f45607793052bf5b4436d1b43013fab9999acDale Johannesen if (&CFP->getValueAPF().getSemantics() == &APFloat::IEEEdouble || 7589d5f45607793052bf5b4436d1b43013fab9999acDale Johannesen &CFP->getValueAPF().getSemantics() == &APFloat::IEEEsingle) { 7599d5f45607793052bf5b4436d1b43013fab9999acDale Johannesen // We would like to output the FP constant value in exponential notation, 7609d5f45607793052bf5b4436d1b43013fab9999acDale Johannesen // but we cannot do this if doing so will lose precision. Check here to 7619d5f45607793052bf5b4436d1b43013fab9999acDale Johannesen // make sure that we only output it in exponential format if we can parse 7629d5f45607793052bf5b4436d1b43013fab9999acDale Johannesen // the value back and get the same value. 7639d5f45607793052bf5b4436d1b43013fab9999acDale Johannesen // 764541ed9fd02ea48d2739f4a9dd681ba2d5da26886Dale Johannesen bool ignored; 7659d5f45607793052bf5b4436d1b43013fab9999acDale Johannesen bool isDouble = &CFP->getValueAPF().getSemantics()==&APFloat::IEEEdouble; 766fad86b003a839cef40ec8ce8408322f4913368caChris Lattner double Val = isDouble ? CFP->getValueAPF().convertToDouble() : 767fad86b003a839cef40ec8ce8408322f4913368caChris Lattner CFP->getValueAPF().convertToFloat(); 7689d5f45607793052bf5b4436d1b43013fab9999acDale Johannesen std::string StrVal = ftostr(CFP->getValueAPF()); 7699d5f45607793052bf5b4436d1b43013fab9999acDale Johannesen 7709d5f45607793052bf5b4436d1b43013fab9999acDale Johannesen // Check to make sure that the stringized number is not some string like 7719d5f45607793052bf5b4436d1b43013fab9999acDale Johannesen // "Inf" or NaN, that atof will accept, but the lexer will not. Check 7729d5f45607793052bf5b4436d1b43013fab9999acDale Johannesen // that the string matches the "[-+]?[0-9]" regex. 7739d5f45607793052bf5b4436d1b43013fab9999acDale Johannesen // 7749d5f45607793052bf5b4436d1b43013fab9999acDale Johannesen if ((StrVal[0] >= '0' && StrVal[0] <= '9') || 7759d5f45607793052bf5b4436d1b43013fab9999acDale Johannesen ((StrVal[0] == '-' || StrVal[0] == '+') && 7769d5f45607793052bf5b4436d1b43013fab9999acDale Johannesen (StrVal[1] >= '0' && StrVal[1] <= '9'))) { 7779d5f45607793052bf5b4436d1b43013fab9999acDale Johannesen // Reparse stringized version! 7789d5f45607793052bf5b4436d1b43013fab9999acDale Johannesen if (atof(StrVal.c_str()) == Val) { 7799d5f45607793052bf5b4436d1b43013fab9999acDale Johannesen Out << StrVal; 7809d5f45607793052bf5b4436d1b43013fab9999acDale Johannesen return; 7819d5f45607793052bf5b4436d1b43013fab9999acDale Johannesen } 78266e810be9f97fa744ca949d54b5d54358add84b8Chris Lattner } 7839d5f45607793052bf5b4436d1b43013fab9999acDale Johannesen // Otherwise we could not reparse it to exactly the same value, so we must 784541ed9fd02ea48d2739f4a9dd681ba2d5da26886Dale Johannesen // output the string in hexadecimal format! Note that loading and storing 785541ed9fd02ea48d2739f4a9dd681ba2d5da26886Dale Johannesen // floating point types changes the bits of NaNs on some hosts, notably 786541ed9fd02ea48d2739f4a9dd681ba2d5da26886Dale Johannesen // x86, so we must not use these types. 7879d5f45607793052bf5b4436d1b43013fab9999acDale Johannesen assert(sizeof(double) == sizeof(uint64_t) && 7889d5f45607793052bf5b4436d1b43013fab9999acDale Johannesen "assuming that double is 64 bits!"); 789c6a1346d7c6bb761f9e6c2c85b53febba1cb15dbChris Lattner char Buffer[40]; 790541ed9fd02ea48d2739f4a9dd681ba2d5da26886Dale Johannesen APFloat apf = CFP->getValueAPF(); 791541ed9fd02ea48d2739f4a9dd681ba2d5da26886Dale Johannesen // Floats are represented in ASCII IR as double, convert. 792541ed9fd02ea48d2739f4a9dd681ba2d5da26886Dale Johannesen if (!isDouble) 793541ed9fd02ea48d2739f4a9dd681ba2d5da26886Dale Johannesen apf.convert(APFloat::IEEEdouble, APFloat::rmNearestTiesToEven, 794541ed9fd02ea48d2739f4a9dd681ba2d5da26886Dale Johannesen &ignored); 795541ed9fd02ea48d2739f4a9dd681ba2d5da26886Dale Johannesen Out << "0x" << 796541ed9fd02ea48d2739f4a9dd681ba2d5da26886Dale Johannesen utohex_buffer(uint64_t(apf.bitcastToAPInt().getZExtValue()), 797541ed9fd02ea48d2739f4a9dd681ba2d5da26886Dale Johannesen Buffer+40); 798cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner return; 799cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner } 800cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner 801cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner // Some form of long double. These appear as a magic letter identifying 802cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner // the type, then a fixed number of hex digits. 803cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner Out << "0x"; 8041b25cb2416c46a6cebf2a6c52235e9fe46a10d11Dale Johannesen if (&CFP->getValueAPF().getSemantics() == &APFloat::x87DoubleExtended) { 805cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner Out << 'K'; 8061b25cb2416c46a6cebf2a6c52235e9fe46a10d11Dale Johannesen // api needed to prevent premature destruction 8071b25cb2416c46a6cebf2a6c52235e9fe46a10d11Dale Johannesen APInt api = CFP->getValueAPF().bitcastToAPInt(); 8081b25cb2416c46a6cebf2a6c52235e9fe46a10d11Dale Johannesen const uint64_t* p = api.getRawData(); 8091b25cb2416c46a6cebf2a6c52235e9fe46a10d11Dale Johannesen uint64_t word = p[1]; 8101b25cb2416c46a6cebf2a6c52235e9fe46a10d11Dale Johannesen int shiftcount=12; 8111b25cb2416c46a6cebf2a6c52235e9fe46a10d11Dale Johannesen int width = api.getBitWidth(); 8121b25cb2416c46a6cebf2a6c52235e9fe46a10d11Dale Johannesen for (int j=0; j<width; j+=4, shiftcount-=4) { 8131b25cb2416c46a6cebf2a6c52235e9fe46a10d11Dale Johannesen unsigned int nibble = (word>>shiftcount) & 15; 8141b25cb2416c46a6cebf2a6c52235e9fe46a10d11Dale Johannesen if (nibble < 10) 8151b25cb2416c46a6cebf2a6c52235e9fe46a10d11Dale Johannesen Out << (unsigned char)(nibble + '0'); 8161b25cb2416c46a6cebf2a6c52235e9fe46a10d11Dale Johannesen else 8171b25cb2416c46a6cebf2a6c52235e9fe46a10d11Dale Johannesen Out << (unsigned char)(nibble - 10 + 'A'); 8181b25cb2416c46a6cebf2a6c52235e9fe46a10d11Dale Johannesen if (shiftcount == 0 && j+4 < width) { 8191b25cb2416c46a6cebf2a6c52235e9fe46a10d11Dale Johannesen word = *p; 8201b25cb2416c46a6cebf2a6c52235e9fe46a10d11Dale Johannesen shiftcount = 64; 8211b25cb2416c46a6cebf2a6c52235e9fe46a10d11Dale Johannesen if (width-j-4 < 64) 8221b25cb2416c46a6cebf2a6c52235e9fe46a10d11Dale Johannesen shiftcount = width-j-4; 8231b25cb2416c46a6cebf2a6c52235e9fe46a10d11Dale Johannesen } 8241b25cb2416c46a6cebf2a6c52235e9fe46a10d11Dale Johannesen } 8251b25cb2416c46a6cebf2a6c52235e9fe46a10d11Dale Johannesen return; 8261b25cb2416c46a6cebf2a6c52235e9fe46a10d11Dale Johannesen } else if (&CFP->getValueAPF().getSemantics() == &APFloat::IEEEquad) 827cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner Out << 'L'; 828cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner else if (&CFP->getValueAPF().getSemantics() == &APFloat::PPCDoubleDouble) 829cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner Out << 'M'; 830cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner else 831cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner assert(0 && "Unsupported floating point type"); 832cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner // api needed to prevent premature destruction 8337111b02c734c992b8c97d9918118768026dad79eDale Johannesen APInt api = CFP->getValueAPF().bitcastToAPInt(); 834cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner const uint64_t* p = api.getRawData(); 835cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner uint64_t word = *p; 836cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner int shiftcount=60; 837cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner int width = api.getBitWidth(); 838cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner for (int j=0; j<width; j+=4, shiftcount-=4) { 839cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner unsigned int nibble = (word>>shiftcount) & 15; 840cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner if (nibble < 10) 841cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner Out << (unsigned char)(nibble + '0'); 8429d5f45607793052bf5b4436d1b43013fab9999acDale Johannesen else 843cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner Out << (unsigned char)(nibble - 10 + 'A'); 844cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner if (shiftcount == 0 && j+4 < width) { 845cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner word = *(++p); 846cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner shiftcount = 64; 847cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner if (width-j-4 < 64) 848cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner shiftcount = width-j-4; 8499d5f45607793052bf5b4436d1b43013fab9999acDale Johannesen } 8509d5f45607793052bf5b4436d1b43013fab9999acDale Johannesen } 851cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner return; 852cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner } 853cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner 854cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner if (isa<ConstantAggregateZero>(CV)) { 855de512b5b2edebe9c9021a92c7c7a9ae9fbc380d6Chris Lattner Out << "zeroinitializer"; 856cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner return; 857cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner } 858cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner 859cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner if (const ConstantArray *CA = dyn_cast<ConstantArray>(CV)) { 86066e810be9f97fa744ca949d54b5d54358add84b8Chris Lattner // As a special case, print the array as a string if it is an array of 8619b38d7db6d9fbb5bf9d16bec590a17c5895453e1Dan Gohman // i8 with ConstantInt values. 862fd93908ae8b9684fe71c239e3c6cfe13ff6a2663Misha Brukman // 86366e810be9f97fa744ca949d54b5d54358add84b8Chris Lattner const Type *ETy = CA->getType()->getElementType(); 86418365506ebe3e28593cb36951f17f08e75712a29Chris Lattner if (CA->isString()) { 86566e810be9f97fa744ca949d54b5d54358add84b8Chris Lattner Out << "c\""; 86618365506ebe3e28593cb36951f17f08e75712a29Chris Lattner PrintEscapedString(CA->getAsString(), Out); 867cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner Out << '"'; 86866e810be9f97fa744ca949d54b5d54358add84b8Chris Lattner } else { // Cannot output in string format... 86940c732cc52a5c71cead461646667ef5b13801923Misha Brukman Out << '['; 8707a716addedc4938fa0ec6b77e5eeaced6eafc5d0Chris Lattner if (CA->getNumOperands()) { 8710f7364b4aa15263827af49d046fd6147ac769eefChris Lattner TypePrinter.print(ETy, Out); 8728dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman Out << ' '; 8737a716addedc4938fa0ec6b77e5eeaced6eafc5d0Chris Lattner WriteAsOperandInternal(Out, CA->getOperand(0), 8749cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner TypePrinter, Machine); 8757a716addedc4938fa0ec6b77e5eeaced6eafc5d0Chris Lattner for (unsigned i = 1, e = CA->getNumOperands(); i != e; ++i) { 8767a716addedc4938fa0ec6b77e5eeaced6eafc5d0Chris Lattner Out << ", "; 8770f7364b4aa15263827af49d046fd6147ac769eefChris Lattner TypePrinter.print(ETy, Out); 8788dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman Out << ' '; 8799cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner WriteAsOperandInternal(Out, CA->getOperand(i), TypePrinter, Machine); 8807a716addedc4938fa0ec6b77e5eeaced6eafc5d0Chris Lattner } 8817a716addedc4938fa0ec6b77e5eeaced6eafc5d0Chris Lattner } 8828dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman Out << ']'; 8837a716addedc4938fa0ec6b77e5eeaced6eafc5d0Chris Lattner } 884cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner return; 885cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner } 886cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner 887cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner if (const ConstantStruct *CS = dyn_cast<ConstantStruct>(CV)) { 88843f344a26695ba85a1a0b5407c038d9c3f980327Andrew Lenharth if (CS->getType()->isPacked()) 88943f344a26695ba85a1a0b5407c038d9c3f980327Andrew Lenharth Out << '<'; 89040c732cc52a5c71cead461646667ef5b13801923Misha Brukman Out << '{'; 891a3f332bdc3e8fd1ac78dd3dc868d871e9086c5fdJim Laskey unsigned N = CS->getNumOperands(); 892a3f332bdc3e8fd1ac78dd3dc868d871e9086c5fdJim Laskey if (N) { 893242330371b2b7ab9d5a6c4f5f93ec82c514cc09aChris Lattner Out << ' '; 8940f7364b4aa15263827af49d046fd6147ac769eefChris Lattner TypePrinter.print(CS->getOperand(0)->getType(), Out); 8958dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman Out << ' '; 8967a716addedc4938fa0ec6b77e5eeaced6eafc5d0Chris Lattner 8979cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner WriteAsOperandInternal(Out, CS->getOperand(0), TypePrinter, Machine); 8987a716addedc4938fa0ec6b77e5eeaced6eafc5d0Chris Lattner 899a3f332bdc3e8fd1ac78dd3dc868d871e9086c5fdJim Laskey for (unsigned i = 1; i < N; i++) { 9007a716addedc4938fa0ec6b77e5eeaced6eafc5d0Chris Lattner Out << ", "; 9010f7364b4aa15263827af49d046fd6147ac769eefChris Lattner TypePrinter.print(CS->getOperand(i)->getType(), Out); 9028dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman Out << ' '; 9037a716addedc4938fa0ec6b77e5eeaced6eafc5d0Chris Lattner 9049cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner WriteAsOperandInternal(Out, CS->getOperand(i), TypePrinter, Machine); 9057a716addedc4938fa0ec6b77e5eeaced6eafc5d0Chris Lattner } 9068dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman Out << ' '; 9077a716addedc4938fa0ec6b77e5eeaced6eafc5d0Chris Lattner } 908a3f332bdc3e8fd1ac78dd3dc868d871e9086c5fdJim Laskey 9098dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman Out << '}'; 91043f344a26695ba85a1a0b5407c038d9c3f980327Andrew Lenharth if (CS->getType()->isPacked()) 91143f344a26695ba85a1a0b5407c038d9c3f980327Andrew Lenharth Out << '>'; 912cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner return; 913cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner } 914cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner 915cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner if (const ConstantVector *CP = dyn_cast<ConstantVector>(CV)) { 916cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner const Type *ETy = CP->getType()->getElementType(); 917cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner assert(CP->getNumOperands() > 0 && 918cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner "Number of operands for a PackedConst must be > 0"); 9197dfa07f794a5dd4479e80896ef626bbe69455908Dan Gohman Out << '<'; 9200f7364b4aa15263827af49d046fd6147ac769eefChris Lattner TypePrinter.print(ETy, Out); 9218dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman Out << ' '; 9229cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner WriteAsOperandInternal(Out, CP->getOperand(0), TypePrinter, Machine); 923cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner for (unsigned i = 1, e = CP->getNumOperands(); i != e; ++i) { 9244667b71f9380afad56cbdc1fd19ca32334086d2cChris Lattner Out << ", "; 9250f7364b4aa15263827af49d046fd6147ac769eefChris Lattner TypePrinter.print(ETy, Out); 9268dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman Out << ' '; 9279cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner WriteAsOperandInternal(Out, CP->getOperand(i), TypePrinter, Machine); 928cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner } 9297dfa07f794a5dd4479e80896ef626bbe69455908Dan Gohman Out << '>'; 930cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner return; 931cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner } 932cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner 933cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner if (isa<ConstantPointerNull>(CV)) { 9347a716addedc4938fa0ec6b77e5eeaced6eafc5d0Chris Lattner Out << "null"; 935cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner return; 936cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner } 937cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner 938cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner if (isa<UndefValue>(CV)) { 939b976e668165e1875a8f1eb7af800e33bb1e4393dChris Lattner Out << "undef"; 940cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner return; 941cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner } 94221cc4460efa104e8591b05a90f20130291614344Nick Lewycky 94321cc4460efa104e8591b05a90f20130291614344Nick Lewycky if (const MDString *S = dyn_cast<MDString>(CV)) { 94421cc4460efa104e8591b05a90f20130291614344Nick Lewycky Out << "!\""; 94521cc4460efa104e8591b05a90f20130291614344Nick Lewycky PrintEscapedString(S->begin(), S->size(), Out); 94621cc4460efa104e8591b05a90f20130291614344Nick Lewycky Out << '"'; 94721cc4460efa104e8591b05a90f20130291614344Nick Lewycky return; 94821cc4460efa104e8591b05a90f20130291614344Nick Lewycky } 949b976e668165e1875a8f1eb7af800e33bb1e4393dChris Lattner 950cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner if (const ConstantExpr *CE = dyn_cast<ConstantExpr>(CV)) { 95181dfeb3264d3c1f619c3f73046ded1ac6883e59dReid Spencer Out << CE->getOpcodeName(); 95281dfeb3264d3c1f619c3f73046ded1ac6883e59dReid Spencer if (CE->isCompare()) 953cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner Out << ' ' << getPredicateText(CE->getPredicate()); 95481dfeb3264d3c1f619c3f73046ded1ac6883e59dReid Spencer Out << " ("; 955fd93908ae8b9684fe71c239e3c6cfe13ff6a2663Misha Brukman 956b4dbb4445c67fc46e56765035c2787028a66a614Vikram S. Adve for (User::const_op_iterator OI=CE->op_begin(); OI != CE->op_end(); ++OI) { 9570f7364b4aa15263827af49d046fd6147ac769eefChris Lattner TypePrinter.print((*OI)->getType(), Out); 9588dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman Out << ' '; 9599cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner WriteAsOperandInternal(Out, *OI, TypePrinter, Machine); 960b4dbb4445c67fc46e56765035c2787028a66a614Vikram S. Adve if (OI+1 != CE->op_end()) 961c188eeb08c873da142a47398be6c405ce3f34f51Chris Lattner Out << ", "; 962b4dbb4445c67fc46e56765035c2787028a66a614Vikram S. Adve } 963fd93908ae8b9684fe71c239e3c6cfe13ff6a2663Misha Brukman 964995be7d07a0ed1f70a93b2a2e7f445461162e8a5Dan Gohman if (CE->hasIndices()) { 965995be7d07a0ed1f70a93b2a2e7f445461162e8a5Dan Gohman const SmallVector<unsigned, 4> &Indices = CE->getIndices(); 966995be7d07a0ed1f70a93b2a2e7f445461162e8a5Dan Gohman for (unsigned i = 0, e = Indices.size(); i != e; ++i) 967995be7d07a0ed1f70a93b2a2e7f445461162e8a5Dan Gohman Out << ", " << Indices[i]; 968995be7d07a0ed1f70a93b2a2e7f445461162e8a5Dan Gohman } 969995be7d07a0ed1f70a93b2a2e7f445461162e8a5Dan Gohman 9703da59db637a887474c1b1346c1f3ccf53b6c4663Reid Spencer if (CE->isCast()) { 97195586b8c833aeca112907e69f545a6ea6e2103ffChris Lattner Out << " to "; 9720f7364b4aa15263827af49d046fd6147ac769eefChris Lattner TypePrinter.print(CE->getType(), Out); 97395586b8c833aeca112907e69f545a6ea6e2103ffChris Lattner } 9743da59db637a887474c1b1346c1f3ccf53b6c4663Reid Spencer 97540c732cc52a5c71cead461646667ef5b13801923Misha Brukman Out << ')'; 976cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner return; 9777a716addedc4938fa0ec6b77e5eeaced6eafc5d0Chris Lattner } 978cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner 979cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner Out << "<placeholder or erroneous Constant>"; 9807a716addedc4938fa0ec6b77e5eeaced6eafc5d0Chris Lattner} 9817a716addedc4938fa0ec6b77e5eeaced6eafc5d0Chris Lattner 9827a716addedc4938fa0ec6b77e5eeaced6eafc5d0Chris Lattner 983ab5c6003d23c19d23bbff1054900d208c55e0188Misha Brukman/// WriteAsOperand - Write the name of the specified value out to the specified 984ab5c6003d23c19d23bbff1054900d208c55e0188Misha Brukman/// ostream. This can be useful when you just want to print int %reg126, not 985ab5c6003d23c19d23bbff1054900d208c55e0188Misha Brukman/// the whole instruction that generated it. 986ab5c6003d23c19d23bbff1054900d208c55e0188Misha Brukman/// 987944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattnerstatic void WriteAsOperandInternal(raw_ostream &Out, const Value *V, 9889cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner TypePrinting &TypePrinter, 9890d9574a1cd68c6e41f725c22657b8bb3f8d74117Chris Lattner SlotTracker *Machine) { 990c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner if (V->hasName()) { 991c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner PrintLLVMName(Out, V); 992c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner return; 993c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner } 994c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner 995c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner const Constant *CV = dyn_cast<Constant>(V); 996c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner if (CV && !isa<GlobalValue>(CV)) { 9979cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner WriteConstantInt(Out, CV, TypePrinter, Machine); 998cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner return; 999cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner } 1000cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner 1001cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner if (const InlineAsm *IA = dyn_cast<InlineAsm>(V)) { 1002c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner Out << "asm "; 1003c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner if (IA->hasSideEffects()) 1004c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner Out << "sideeffect "; 1005c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner Out << '"'; 1006c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner PrintEscapedString(IA->getAsmString(), Out); 1007c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner Out << "\", \""; 1008c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner PrintEscapedString(IA->getConstraintString(), Out); 1009c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner Out << '"'; 1010cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner return; 1011cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner } 1012cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner 1013cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner char Prefix = '%'; 1014cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner int Slot; 1015cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner if (Machine) { 1016cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner if (const GlobalValue *GV = dyn_cast<GlobalValue>(V)) { 1017cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner Slot = Machine->getGlobalSlot(GV); 1018cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner Prefix = '@'; 1019cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner } else { 1020cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner Slot = Machine->getLocalSlot(V); 1021cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner } 1022c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner } else { 1023cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner Machine = createSlotTracker(V); 1024c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner if (Machine) { 1025c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner if (const GlobalValue *GV = dyn_cast<GlobalValue>(V)) { 1026c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner Slot = Machine->getGlobalSlot(GV); 1027c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner Prefix = '@'; 1028c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner } else { 1029c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner Slot = Machine->getLocalSlot(V); 1030c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner } 103180cd11561892a639a2628d19815af0695b5dbcaaChris Lattner } else { 1032cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner Slot = -1; 10337a716addedc4938fa0ec6b77e5eeaced6eafc5d0Chris Lattner } 1034cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner delete Machine; 10357a716addedc4938fa0ec6b77e5eeaced6eafc5d0Chris Lattner } 1036cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner 1037cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner if (Slot != -1) 1038cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner Out << Prefix << Slot; 1039cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner else 1040cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner Out << "<badref>"; 10417a716addedc4938fa0ec6b77e5eeaced6eafc5d0Chris Lattner} 10427a716addedc4938fa0ec6b77e5eeaced6eafc5d0Chris Lattner 10439d0802e7dd165dd9b7372f12799f248e7f133287Misha Brukman/// WriteAsOperand - Write the name of the specified value out to the specified 10449d0802e7dd165dd9b7372f12799f248e7f133287Misha Brukman/// ostream. This can be useful when you just want to print int %reg126, not 10459d0802e7dd165dd9b7372f12799f248e7f133287Misha Brukman/// the whole instruction that generated it. 10469d0802e7dd165dd9b7372f12799f248e7f133287Misha Brukman/// 1047242330371b2b7ab9d5a6c4f5f93ec82c514cc09aChris Lattnervoid llvm::WriteAsOperand(std::ostream &Out, const Value *V, bool PrintType, 1048242330371b2b7ab9d5a6c4f5f93ec82c514cc09aChris Lattner const Module *Context) { 1049944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner raw_os_ostream OS(Out); 1050944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner WriteAsOperand(OS, V, PrintType, Context); 1051944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner} 1052944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner 1053944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattnervoid llvm::WriteAsOperand(raw_ostream &Out, const Value *V, bool PrintType, 1054944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner const Module *Context) { 1055607dc6880ecfd4807de2163d37f2fa8877b7f62dChris Lattner if (Context == 0) Context = getModuleFromVal(V); 10567a716addedc4938fa0ec6b77e5eeaced6eafc5d0Chris Lattner 1057e9fa33eb6629aea72cd59560216bb6a7b8ebc689Chris Lattner TypePrinting TypePrinter; 1058413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner std::vector<const Type*> NumberedTypes; 1059413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner AddModuleTypesToPrinter(TypePrinter, NumberedTypes, Context); 10608dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman if (PrintType) { 10610f7364b4aa15263827af49d046fd6147ac769eefChris Lattner TypePrinter.print(V->getType(), Out); 10628dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman Out << ' '; 10638dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman } 1064fd93908ae8b9684fe71c239e3c6cfe13ff6a2663Misha Brukman 10659cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner WriteAsOperandInternal(Out, V, TypePrinter, 0); 1066622f740a7dcf0b3520244e58b2233898fd4a46e4Chris Lattner} 1067622f740a7dcf0b3520244e58b2233898fd4a46e4Chris Lattner 10680e25e1cdcf1f73bb9f56b91155d5c0ef42ef0a44Reid Spencer 1069cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattnernamespace { 1070d8c2e42aeff8bdb3ac905b4721b3d3ca1f904cfaChris Lattner 1071007377f381e253cc559db8d3c94fa89b0eb55fadChris Lattnerclass AssemblyWriter { 1072944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner raw_ostream &Out; 10730d9574a1cd68c6e41f725c22657b8bb3f8d74117Chris Lattner SlotTracker &Machine; 1074c1824996451d5ea93864fcd34ba8ea5e5f03e368Chris Lattner const Module *TheModule; 10759cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner TypePrinting TypePrinter; 107695e5a2cc3fc55b262d2baa1cc417115dfa4a18eaChris Lattner AssemblyAnnotationWriter *AnnotationWriter; 1077413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner std::vector<const Type*> NumberedTypes; 1078923078c65d5a37a4f135705300c9feea49487de5Devang Patel 1079923078c65d5a37a4f135705300c9feea49487de5Devang Patel // Each MDNode is assigned unique MetadataIDNo. 1080923078c65d5a37a4f135705300c9feea49487de5Devang Patel std::map<const MDNode *, unsigned> MDNodes; 1081923078c65d5a37a4f135705300c9feea49487de5Devang Patel unsigned MetadataIDNo; 1082009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattnerpublic: 1083944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner inline AssemblyWriter(raw_ostream &o, SlotTracker &Mac, const Module *M, 108495e5a2cc3fc55b262d2baa1cc417115dfa4a18eaChris Lattner AssemblyAnnotationWriter *AAW) 1085923078c65d5a37a4f135705300c9feea49487de5Devang Patel : Out(o), Machine(Mac), TheModule(M), AnnotationWriter(AAW), MetadataIDNo(0) { 1086413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner AddModuleTypesToPrinter(TypePrinter, NumberedTypes, M); 1087009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner } 1088009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner 1089413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner void write(const Module *M) { printModule(M); } 1090944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner 1091944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner void write(const GlobalValue *G) { 1092944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner if (const GlobalVariable *GV = dyn_cast<GlobalVariable>(G)) 1093944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner printGlobal(GV); 1094944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner else if (const GlobalAlias *GA = dyn_cast<GlobalAlias>(G)) 1095944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner printAlias(GA); 1096944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner else if (const Function *F = dyn_cast<Function>(G)) 1097944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner printFunction(F); 1098944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner else 1099944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner assert(0 && "Unknown global"); 1100944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner } 1101944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner 1102cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner void write(const BasicBlock *BB) { printBasicBlock(BB); } 1103cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner void write(const Instruction *I) { printInstruction(*I); } 1104009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner 11052fcfdb79d0d1d2297d7aced11b567cd52494604eChris Lattner void writeOperand(const Value *Op, bool PrintType); 1106eaf42abab6d465c38891345d999255871cf03943Devang Patel void writeParamOperand(const Value *Operand, Attributes Attrs); 1107fcd65ae28fe797c174be350a07955713fd42d110Devang Patel void printMDNode(const MDNode *Node, bool StandAlone); 110866e810be9f97fa744ca949d54b5d54358add84b8Chris Lattner 11095cf1acff3c32e52d79ea8b0b47e341d4e975ed8cMisha Brukman const Module* getModule() { return TheModule; } 11105cf1acff3c32e52d79ea8b0b47e341d4e975ed8cMisha Brukman 1111f771bea7402f05f59b2857586de9934ff1c7bbf5Misha Brukmanprivate: 1112c1824996451d5ea93864fcd34ba8ea5e5f03e368Chris Lattner void printModule(const Module *M); 111378d033e086e19e016273de014f9214aa6f3f844bReid Spencer void printTypeSymbolTable(const TypeSymbolTable &ST); 1114c1824996451d5ea93864fcd34ba8ea5e5f03e368Chris Lattner void printGlobal(const GlobalVariable *GV); 11158b0a8c84da2030ee8f4440d5b60a8033de691222Anton Korobeynikov void printAlias(const GlobalAlias *GV); 111679df7c0aaa18129e55968c8783ef8346807bd4afChris Lattner void printFunction(const Function *F); 1117eaf42abab6d465c38891345d999255871cf03943Devang Patel void printArgument(const Argument *FA, Attributes Attrs); 1118c1824996451d5ea93864fcd34ba8ea5e5f03e368Chris Lattner void printBasicBlock(const BasicBlock *BB); 11197e70829632f82de15db187845666aaca6e04b792Chris Lattner void printInstruction(const Instruction &I); 11202761e9f076bbe6c961629aece62db4b836a41ef8Chris Lattner 1121e02fa8551d20081534afa46e0976811687e5183aChris Lattner // printInfoComment - Print a little comment after the instruction indicating 1122e02fa8551d20081534afa46e0976811687e5183aChris Lattner // which slot it occupies. 11237e70829632f82de15db187845666aaca6e04b792Chris Lattner void printInfoComment(const Value &V); 1124009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner}; 1125413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner} // end of anonymous namespace 1126009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner 11272761e9f076bbe6c961629aece62db4b836a41ef8Chris Lattner 11282fcfdb79d0d1d2297d7aced11b567cd52494604eChris Lattnervoid AssemblyWriter::writeOperand(const Value *Operand, bool PrintType) { 11292fcfdb79d0d1d2297d7aced11b567cd52494604eChris Lattner if (Operand == 0) { 1130aab1820816facf83d7bda8f01e3d85ced99601f3Chris Lattner Out << "<null operand!>"; 11312fcfdb79d0d1d2297d7aced11b567cd52494604eChris Lattner } else { 1132cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner if (PrintType) { 11330f7364b4aa15263827af49d046fd6147ac769eefChris Lattner TypePrinter.print(Operand->getType(), Out); 11348dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman Out << ' '; 1135cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner } 11369cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner WriteAsOperandInternal(Out, Operand, TypePrinter, &Machine); 1137aab1820816facf83d7bda8f01e3d85ced99601f3Chris Lattner } 1138007377f381e253cc559db8d3c94fa89b0eb55fadChris Lattner} 1139007377f381e253cc559db8d3c94fa89b0eb55fadChris Lattner 11400d51e7ec0d2dcbea9e304fd58deb05f37eb75635Dale Johannesenvoid AssemblyWriter::writeParamOperand(const Value *Operand, 1141eaf42abab6d465c38891345d999255871cf03943Devang Patel Attributes Attrs) { 1142dc024674ff96820d6020757b48d47f46d4c07db2Duncan Sands if (Operand == 0) { 1143dc024674ff96820d6020757b48d47f46d4c07db2Duncan Sands Out << "<null operand!>"; 1144dc024674ff96820d6020757b48d47f46d4c07db2Duncan Sands } else { 1145dc024674ff96820d6020757b48d47f46d4c07db2Duncan Sands // Print the type 11460f7364b4aa15263827af49d046fd6147ac769eefChris Lattner TypePrinter.print(Operand->getType(), Out); 1147dc024674ff96820d6020757b48d47f46d4c07db2Duncan Sands // Print parameter attributes list 11480598866c052147c31b808391f58434ce3dbfb838Devang Patel if (Attrs != Attribute::None) 11490598866c052147c31b808391f58434ce3dbfb838Devang Patel Out << ' ' << Attribute::getAsString(Attrs); 11508dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman Out << ' '; 1151dc024674ff96820d6020757b48d47f46d4c07db2Duncan Sands // Print the operand 11529cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner WriteAsOperandInternal(Out, Operand, TypePrinter, &Machine); 1153dc024674ff96820d6020757b48d47f46d4c07db2Duncan Sands } 1154dc024674ff96820d6020757b48d47f46d4c07db2Duncan Sands} 1155007377f381e253cc559db8d3c94fa89b0eb55fadChris Lattner 1156c1824996451d5ea93864fcd34ba8ea5e5f03e368Chris Lattnervoid AssemblyWriter::printModule(const Module *M) { 115731ab1b3d74440908889fc8ea0615c1d397478360Chris Lattner if (!M->getModuleIdentifier().empty() && 1158fd93908ae8b9684fe71c239e3c6cfe13ff6a2663Misha Brukman // Don't print the ID if it will start a new line (which would 115931ab1b3d74440908889fc8ea0615c1d397478360Chris Lattner // require a comment char before it). 116031ab1b3d74440908889fc8ea0615c1d397478360Chris Lattner M->getModuleIdentifier().find('\n') == std::string::npos) 116131ab1b3d74440908889fc8ea0615c1d397478360Chris Lattner Out << "; ModuleID = '" << M->getModuleIdentifier() << "'\n"; 116231ab1b3d74440908889fc8ea0615c1d397478360Chris Lattner 1163cf7ff2b4c8c18d67aced9d7ba84482819b38a84bOwen Anderson if (!M->getDataLayout().empty()) 1164d2f9e609aa40de7049ebb6f838e7ba6579e3fb6aChris Lattner Out << "target datalayout = \"" << M->getDataLayout() << "\"\n"; 1165cddc86f27c822af960fc8d344a86a63fce6eab76Reid Spencer if (!M->getTargetTriple().empty()) 1166c9a1f0dcdde056a2cdbc446a9d6853684402263fReid Spencer Out << "target triple = \"" << M->getTargetTriple() << "\"\n"; 1167fd93908ae8b9684fe71c239e3c6cfe13ff6a2663Misha Brukman 1168cc041ba03aed685400197fb938b7a583713d25afChris Lattner if (!M->getModuleInlineAsm().empty()) { 116942a162ed8023088e7a4a7d81325381bd8d437bb7Chris Lattner // Split the string into lines, to make it easier to read the .ll file. 1170cc041ba03aed685400197fb938b7a583713d25afChris Lattner std::string Asm = M->getModuleInlineAsm(); 117142a162ed8023088e7a4a7d81325381bd8d437bb7Chris Lattner size_t CurPos = 0; 117242a162ed8023088e7a4a7d81325381bd8d437bb7Chris Lattner size_t NewLine = Asm.find_first_of('\n', CurPos); 117342a162ed8023088e7a4a7d81325381bd8d437bb7Chris Lattner while (NewLine != std::string::npos) { 117442a162ed8023088e7a4a7d81325381bd8d437bb7Chris Lattner // We found a newline, print the portion of the asm string from the 117542a162ed8023088e7a4a7d81325381bd8d437bb7Chris Lattner // last newline up to this newline. 117642a162ed8023088e7a4a7d81325381bd8d437bb7Chris Lattner Out << "module asm \""; 117742a162ed8023088e7a4a7d81325381bd8d437bb7Chris Lattner PrintEscapedString(std::string(Asm.begin()+CurPos, Asm.begin()+NewLine), 117842a162ed8023088e7a4a7d81325381bd8d437bb7Chris Lattner Out); 117942a162ed8023088e7a4a7d81325381bd8d437bb7Chris Lattner Out << "\"\n"; 118042a162ed8023088e7a4a7d81325381bd8d437bb7Chris Lattner CurPos = NewLine+1; 118142a162ed8023088e7a4a7d81325381bd8d437bb7Chris Lattner NewLine = Asm.find_first_of('\n', CurPos); 118242a162ed8023088e7a4a7d81325381bd8d437bb7Chris Lattner } 118371cdba31774ce18ed32e89f1c6f7716ab923aa46Chris Lattner Out << "module asm \""; 118442a162ed8023088e7a4a7d81325381bd8d437bb7Chris Lattner PrintEscapedString(std::string(Asm.begin()+CurPos, Asm.end()), Out); 118518365506ebe3e28593cb36951f17f08e75712a29Chris Lattner Out << "\"\n"; 118618365506ebe3e28593cb36951f17f08e75712a29Chris Lattner } 118718365506ebe3e28593cb36951f17f08e75712a29Chris Lattner 118844da7d79760998f9a70340b49a3811229838224dChris Lattner // Loop over the dependent libraries and emit them. 1189cfe97b78e787d232f4a82f5ff0afadf75ba95f6cChris Lattner Module::lib_iterator LI = M->lib_begin(); 1190cfe97b78e787d232f4a82f5ff0afadf75ba95f6cChris Lattner Module::lib_iterator LE = M->lib_end(); 1191cddc86f27c822af960fc8d344a86a63fce6eab76Reid Spencer if (LI != LE) { 1192cfe97b78e787d232f4a82f5ff0afadf75ba95f6cChris Lattner Out << "deplibs = [ "; 1193cfe97b78e787d232f4a82f5ff0afadf75ba95f6cChris Lattner while (LI != LE) { 119444da7d79760998f9a70340b49a3811229838224dChris Lattner Out << '"' << *LI << '"'; 1195c9a1f0dcdde056a2cdbc446a9d6853684402263fReid Spencer ++LI; 1196cfe97b78e787d232f4a82f5ff0afadf75ba95f6cChris Lattner if (LI != LE) 1197cfe97b78e787d232f4a82f5ff0afadf75ba95f6cChris Lattner Out << ", "; 1198c9a1f0dcdde056a2cdbc446a9d6853684402263fReid Spencer } 1199c9a1f0dcdde056a2cdbc446a9d6853684402263fReid Spencer Out << " ]\n"; 120083f6a77c8fc27eba21bca05be37663f3a6e123a1Reid Spencer } 1201e59eaf407a675845e278c2769e3dbed9f1daae8cReid Spencer 1202413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner // Loop over the symbol table, emitting all id'd types. 120378d033e086e19e016273de014f9214aa6f3f844bReid Spencer printTypeSymbolTable(M->getTypeSymbolTable()); 1204fd93908ae8b9684fe71c239e3c6cfe13ff6a2663Misha Brukman 1205d6d826cdadc4dcaa5babefda85bf08aaa57d8bc5Chris Lattner for (Module::const_global_iterator I = M->global_begin(), E = M->global_end(); 1206d6d826cdadc4dcaa5babefda85bf08aaa57d8bc5Chris Lattner I != E; ++I) 12077e70829632f82de15db187845666aaca6e04b792Chris Lattner printGlobal(I); 120869dacfce54473414c1a863d19ab8f2785cd2a4f2Chris Lattner 120969dacfce54473414c1a863d19ab8f2785cd2a4f2Chris Lattner // Output all aliases. 121069dacfce54473414c1a863d19ab8f2785cd2a4f2Chris Lattner if (!M->alias_empty()) Out << "\n"; 121169dacfce54473414c1a863d19ab8f2785cd2a4f2Chris Lattner for (Module::const_alias_iterator I = M->alias_begin(), E = M->alias_end(); 121269dacfce54473414c1a863d19ab8f2785cd2a4f2Chris Lattner I != E; ++I) 121369dacfce54473414c1a863d19ab8f2785cd2a4f2Chris Lattner printAlias(I); 1214007377f381e253cc559db8d3c94fa89b0eb55fadChris Lattner 121544da7d79760998f9a70340b49a3811229838224dChris Lattner // Output all of the functions. 12167e70829632f82de15db187845666aaca6e04b792Chris Lattner for (Module::const_iterator I = M->begin(), E = M->end(); I != E; ++I) 12177e70829632f82de15db187845666aaca6e04b792Chris Lattner printFunction(I); 1218009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner} 1219009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner 1220944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattnerstatic void PrintLinkage(GlobalValue::LinkageTypes LT, raw_ostream &Out) { 1221cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner switch (LT) { 1222667d4b8de6dea70195ff12ef39a4deebffa2f5c7Duncan Sands case GlobalValue::PrivateLinkage: Out << "private "; break; 1223667d4b8de6dea70195ff12ef39a4deebffa2f5c7Duncan Sands case GlobalValue::InternalLinkage: Out << "internal "; break; 1224266c7bbbbcc4b326dea82e577de1a415d6acc23eChris Lattner case GlobalValue::AvailableExternallyLinkage: 1225266c7bbbbcc4b326dea82e577de1a415d6acc23eChris Lattner Out << "available_externally "; 1226266c7bbbbcc4b326dea82e577de1a415d6acc23eChris Lattner break; 1227667d4b8de6dea70195ff12ef39a4deebffa2f5c7Duncan Sands case GlobalValue::LinkOnceAnyLinkage: Out << "linkonce "; break; 1228667d4b8de6dea70195ff12ef39a4deebffa2f5c7Duncan Sands case GlobalValue::LinkOnceODRLinkage: Out << "linkonce_odr "; break; 1229667d4b8de6dea70195ff12ef39a4deebffa2f5c7Duncan Sands case GlobalValue::WeakAnyLinkage: Out << "weak "; break; 1230667d4b8de6dea70195ff12ef39a4deebffa2f5c7Duncan Sands case GlobalValue::WeakODRLinkage: Out << "weak_odr "; break; 12314dc2b39bf89d7c87868008ef8a0f807e0419aca6Duncan Sands case GlobalValue::CommonLinkage: Out << "common "; break; 1232667d4b8de6dea70195ff12ef39a4deebffa2f5c7Duncan Sands case GlobalValue::AppendingLinkage: Out << "appending "; break; 1233667d4b8de6dea70195ff12ef39a4deebffa2f5c7Duncan Sands case GlobalValue::DLLImportLinkage: Out << "dllimport "; break; 1234667d4b8de6dea70195ff12ef39a4deebffa2f5c7Duncan Sands case GlobalValue::DLLExportLinkage: Out << "dllexport "; break; 12355f4ee1fc5d00ae55c30fa2ce450c69be4c6d6e63Duncan Sands case GlobalValue::ExternalWeakLinkage: Out << "extern_weak "; break; 1236cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner case GlobalValue::ExternalLinkage: break; 1237cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner case GlobalValue::GhostLinkage: 1238ab7c09b6b6f4516a631fd6788918c237c83939afTorok Edwin llvm_report_error("GhostLinkage not allowed in AsmWriter!"); 1239cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner } 1240cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner} 1241667d4b8de6dea70195ff12ef39a4deebffa2f5c7Duncan Sands 1242cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner 1243cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattnerstatic void PrintVisibility(GlobalValue::VisibilityTypes Vis, 1244944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner raw_ostream &Out) { 1245cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner switch (Vis) { 1246cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner default: assert(0 && "Invalid visibility style!"); 1247cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner case GlobalValue::DefaultVisibility: break; 1248cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner case GlobalValue::HiddenVisibility: Out << "hidden "; break; 1249cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner case GlobalValue::ProtectedVisibility: Out << "protected "; break; 1250cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner } 1251cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner} 1252cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner 1253c1824996451d5ea93864fcd34ba8ea5e5f03e368Chris Lattnervoid AssemblyWriter::printGlobal(const GlobalVariable *GV) { 1254923078c65d5a37a4f135705300c9feea49487de5Devang Patel if (GV->hasInitializer()) 1255923078c65d5a37a4f135705300c9feea49487de5Devang Patel // If GV is initialized using Metadata then separate out metadata 1256923078c65d5a37a4f135705300c9feea49487de5Devang Patel // operands used by the initializer. Note, MDNodes are not cyclic. 1257923078c65d5a37a4f135705300c9feea49487de5Devang Patel if (MDNode *N = dyn_cast<MDNode>(GV->getInitializer())) { 1258923078c65d5a37a4f135705300c9feea49487de5Devang Patel SmallVector<const MDNode *, 4> WorkList; 1259923078c65d5a37a4f135705300c9feea49487de5Devang Patel // Collect MDNodes used by the initializer. 1260923078c65d5a37a4f135705300c9feea49487de5Devang Patel for (MDNode::const_elem_iterator I = N->elem_begin(), E = N->elem_end(); 1261923078c65d5a37a4f135705300c9feea49487de5Devang Patel I != E; ++I) { 1262923078c65d5a37a4f135705300c9feea49487de5Devang Patel const Value *TV = *I; 1263923078c65d5a37a4f135705300c9feea49487de5Devang Patel if (TV) 1264923078c65d5a37a4f135705300c9feea49487de5Devang Patel if (const MDNode *NN = dyn_cast<MDNode>(TV)) 1265923078c65d5a37a4f135705300c9feea49487de5Devang Patel WorkList.push_back(NN); 1266923078c65d5a37a4f135705300c9feea49487de5Devang Patel } 1267923078c65d5a37a4f135705300c9feea49487de5Devang Patel 1268923078c65d5a37a4f135705300c9feea49487de5Devang Patel // Print MDNodes used by the initializer. 1269923078c65d5a37a4f135705300c9feea49487de5Devang Patel while (!WorkList.empty()) { 1270923078c65d5a37a4f135705300c9feea49487de5Devang Patel const MDNode *N = WorkList.back(); WorkList.pop_back(); 1271923078c65d5a37a4f135705300c9feea49487de5Devang Patel printMDNode(N, true); 1272923078c65d5a37a4f135705300c9feea49487de5Devang Patel Out << '\n'; 1273923078c65d5a37a4f135705300c9feea49487de5Devang Patel } 1274923078c65d5a37a4f135705300c9feea49487de5Devang Patel } 1275923078c65d5a37a4f135705300c9feea49487de5Devang Patel 1276c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner if (GV->hasName()) { 1277c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner PrintLLVMName(Out, GV); 1278c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner Out << " = "; 1279c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner } 1280d70684f7585a85c4248c1c224059478108741c70Chris Lattner 128152b26de325e32c71159376853384789b7646eaf4Chris Lattner if (!GV->hasInitializer() && GV->hasExternalLinkage()) 128252b26de325e32c71159376853384789b7646eaf4Chris Lattner Out << "external "; 128352b26de325e32c71159376853384789b7646eaf4Chris Lattner 128452b26de325e32c71159376853384789b7646eaf4Chris Lattner PrintLinkage(GV->getLinkage(), Out); 128552b26de325e32c71159376853384789b7646eaf4Chris Lattner PrintVisibility(GV->getVisibility(), Out); 1286c763552299165b88d34a7d4f2d76ff413cbc7f67Lauro Ramos Venancio 1287c763552299165b88d34a7d4f2d76ff413cbc7f67Lauro Ramos Venancio if (GV->isThreadLocal()) Out << "thread_local "; 1288df98617b23315e427cc4fad8ccfdd50d68bec2f9Chris Lattner if (unsigned AddressSpace = GV->getType()->getAddressSpace()) 1289df98617b23315e427cc4fad8ccfdd50d68bec2f9Chris Lattner Out << "addrspace(" << AddressSpace << ") "; 12900313e0b44dcd77acd334d3f324c7da527179a690Misha Brukman Out << (GV->isConstant() ? "constant " : "global "); 12910f7364b4aa15263827af49d046fd6147ac769eefChris Lattner TypePrinter.print(GV->getType()->getElementType(), Out); 1292d70684f7585a85c4248c1c224059478108741c70Chris Lattner 12938dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman if (GV->hasInitializer()) { 12948dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman Out << ' '; 1295923078c65d5a37a4f135705300c9feea49487de5Devang Patel if (MDNode *N = dyn_cast<MDNode>(GV->getInitializer())) 1296923078c65d5a37a4f135705300c9feea49487de5Devang Patel printMDNode(N, false); 1297923078c65d5a37a4f135705300c9feea49487de5Devang Patel else 1298923078c65d5a37a4f135705300c9feea49487de5Devang Patel writeOperand(GV->getInitializer(), false); 12998dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman } 1300fe63fb986dc9510c5d68f2442edab9574e9e50d0Christopher Lamb 130160962dbfbaa4a9c3ca6fced08fb90b748aa99203Chris Lattner if (GV->hasSection()) 130260962dbfbaa4a9c3ca6fced08fb90b748aa99203Chris Lattner Out << ", section \"" << GV->getSection() << '"'; 130360962dbfbaa4a9c3ca6fced08fb90b748aa99203Chris Lattner if (GV->getAlignment()) 130430caa2876cd500b49e27b6810ab5dec96398c6faChris Lattner Out << ", align " << GV->getAlignment(); 13058b0a8c84da2030ee8f4440d5b60a8033de691222Anton Korobeynikov 13067e70829632f82de15db187845666aaca6e04b792Chris Lattner printInfoComment(*GV); 1307cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner Out << '\n'; 130870cc3397f84c2e1fd69c059a0ef89e398e847b00Chris Lattner} 130970cc3397f84c2e1fd69c059a0ef89e398e847b00Chris Lattner 1310923078c65d5a37a4f135705300c9feea49487de5Devang Patelvoid AssemblyWriter::printMDNode(const MDNode *Node, 1311923078c65d5a37a4f135705300c9feea49487de5Devang Patel bool StandAlone) { 1312923078c65d5a37a4f135705300c9feea49487de5Devang Patel std::map<const MDNode *, unsigned>::iterator MI = MDNodes.find(Node); 1313923078c65d5a37a4f135705300c9feea49487de5Devang Patel // If this node is already printed then just refer it using its Metadata 1314923078c65d5a37a4f135705300c9feea49487de5Devang Patel // id number. 1315923078c65d5a37a4f135705300c9feea49487de5Devang Patel if (MI != MDNodes.end()) { 131605a0e6a01c92d4934b5e87be4669124aa9b46ae9Devang Patel if (!StandAlone) 1317fcd65ae28fe797c174be350a07955713fd42d110Devang Patel Out << "!" << MI->second; 1318923078c65d5a37a4f135705300c9feea49487de5Devang Patel return; 1319923078c65d5a37a4f135705300c9feea49487de5Devang Patel } 1320923078c65d5a37a4f135705300c9feea49487de5Devang Patel 1321923078c65d5a37a4f135705300c9feea49487de5Devang Patel if (StandAlone) { 1322923078c65d5a37a4f135705300c9feea49487de5Devang Patel // Print standalone MDNode. 1323923078c65d5a37a4f135705300c9feea49487de5Devang Patel // !42 = !{ ... } 1324923078c65d5a37a4f135705300c9feea49487de5Devang Patel Out << "!" << MetadataIDNo << " = "; 1325923078c65d5a37a4f135705300c9feea49487de5Devang Patel Out << "constant metadata "; 1326923078c65d5a37a4f135705300c9feea49487de5Devang Patel } 1327fcd65ae28fe797c174be350a07955713fd42d110Devang Patel 1328923078c65d5a37a4f135705300c9feea49487de5Devang Patel Out << "!{"; 1329923078c65d5a37a4f135705300c9feea49487de5Devang Patel for (MDNode::const_elem_iterator I = Node->elem_begin(), E = Node->elem_end(); 1330923078c65d5a37a4f135705300c9feea49487de5Devang Patel I != E;) { 1331923078c65d5a37a4f135705300c9feea49487de5Devang Patel const Value *TV = *I; 1332923078c65d5a37a4f135705300c9feea49487de5Devang Patel if (!TV) 1333923078c65d5a37a4f135705300c9feea49487de5Devang Patel Out << "null"; 1334fcd65ae28fe797c174be350a07955713fd42d110Devang Patel else if (const MDNode *N = dyn_cast<MDNode>(TV)) { 1335fcd65ae28fe797c174be350a07955713fd42d110Devang Patel TypePrinter.print(N->getType(), Out); 1336fcd65ae28fe797c174be350a07955713fd42d110Devang Patel Out << ' '; 1337923078c65d5a37a4f135705300c9feea49487de5Devang Patel printMDNode(N, StandAlone); 1338fcd65ae28fe797c174be350a07955713fd42d110Devang Patel } 1339923078c65d5a37a4f135705300c9feea49487de5Devang Patel else if (!*I) 1340923078c65d5a37a4f135705300c9feea49487de5Devang Patel Out << "null"; 1341923078c65d5a37a4f135705300c9feea49487de5Devang Patel else 1342923078c65d5a37a4f135705300c9feea49487de5Devang Patel writeOperand(*I, true); 1343923078c65d5a37a4f135705300c9feea49487de5Devang Patel if (++I != E) 1344923078c65d5a37a4f135705300c9feea49487de5Devang Patel Out << ", "; 1345923078c65d5a37a4f135705300c9feea49487de5Devang Patel } 1346923078c65d5a37a4f135705300c9feea49487de5Devang Patel Out << "}"; 1347923078c65d5a37a4f135705300c9feea49487de5Devang Patel 1348923078c65d5a37a4f135705300c9feea49487de5Devang Patel MDNodes[Node] = MetadataIDNo++; 1349923078c65d5a37a4f135705300c9feea49487de5Devang Patel} 1350923078c65d5a37a4f135705300c9feea49487de5Devang Patel 13518b0a8c84da2030ee8f4440d5b60a8033de691222Anton Korobeynikovvoid AssemblyWriter::printAlias(const GlobalAlias *GA) { 135224f07dc6e464aa82694fd3dd5fc88dc139d16b7cDale Johannesen // Don't crash when dumping partially built GA 135324f07dc6e464aa82694fd3dd5fc88dc139d16b7cDale Johannesen if (!GA->hasName()) 135424f07dc6e464aa82694fd3dd5fc88dc139d16b7cDale Johannesen Out << "<<nameless>> = "; 1355c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner else { 1356c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner PrintLLVMName(Out, GA); 1357c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner Out << " = "; 1358c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner } 1359cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner PrintVisibility(GA->getVisibility(), Out); 13608b0a8c84da2030ee8f4440d5b60a8033de691222Anton Korobeynikov 13618b0a8c84da2030ee8f4440d5b60a8033de691222Anton Korobeynikov Out << "alias "; 13628b0a8c84da2030ee8f4440d5b60a8033de691222Anton Korobeynikov 1363cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner PrintLinkage(GA->getLinkage(), Out); 13648b0a8c84da2030ee8f4440d5b60a8033de691222Anton Korobeynikov 1365c6c98af9e5814e8066c82f20ca11cf646a5fc289Anton Korobeynikov const Constant *Aliasee = GA->getAliasee(); 13668b0a8c84da2030ee8f4440d5b60a8033de691222Anton Korobeynikov 13678b0a8c84da2030ee8f4440d5b60a8033de691222Anton Korobeynikov if (const GlobalVariable *GV = dyn_cast<GlobalVariable>(Aliasee)) { 13680f7364b4aa15263827af49d046fd6147ac769eefChris Lattner TypePrinter.print(GV->getType(), Out); 1369c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner Out << ' '; 1370c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner PrintLLVMName(Out, GV); 13718b0a8c84da2030ee8f4440d5b60a8033de691222Anton Korobeynikov } else if (const Function *F = dyn_cast<Function>(Aliasee)) { 13720f7364b4aa15263827af49d046fd6147ac769eefChris Lattner TypePrinter.print(F->getFunctionType(), Out); 13738b0a8c84da2030ee8f4440d5b60a8033de691222Anton Korobeynikov Out << "* "; 13748b0a8c84da2030ee8f4440d5b60a8033de691222Anton Korobeynikov 13759cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner WriteAsOperandInternal(Out, F, TypePrinter, &Machine); 1376591858a403a71fc5b30bc7b071f18bc0cf327cfcAnton Korobeynikov } else if (const GlobalAlias *GA = dyn_cast<GlobalAlias>(Aliasee)) { 13770f7364b4aa15263827af49d046fd6147ac769eefChris Lattner TypePrinter.print(GA->getType(), Out); 13780f7364b4aa15263827af49d046fd6147ac769eefChris Lattner Out << ' '; 1379c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner PrintLLVMName(Out, GA); 1380a80e1181b78183dc36ec6568559d38faa86981f0Anton Korobeynikov } else { 1381a2165ed6ee7f73b5cf272a0b5d5d4ed448f52665Chris Lattner const ConstantExpr *CE = cast<ConstantExpr>(Aliasee); 1382a2165ed6ee7f73b5cf272a0b5d5d4ed448f52665Chris Lattner // The only valid GEP is an all zero GEP. 1383a2165ed6ee7f73b5cf272a0b5d5d4ed448f52665Chris Lattner assert((CE->getOpcode() == Instruction::BitCast || 1384a2165ed6ee7f73b5cf272a0b5d5d4ed448f52665Chris Lattner CE->getOpcode() == Instruction::GetElementPtr) && 1385a2165ed6ee7f73b5cf272a0b5d5d4ed448f52665Chris Lattner "Unsupported aliasee"); 1386a2165ed6ee7f73b5cf272a0b5d5d4ed448f52665Chris Lattner writeOperand(CE, false); 1387a80e1181b78183dc36ec6568559d38faa86981f0Anton Korobeynikov } 1388a80e1181b78183dc36ec6568559d38faa86981f0Anton Korobeynikov 13898b0a8c84da2030ee8f4440d5b60a8033de691222Anton Korobeynikov printInfoComment(*GA); 139052b26de325e32c71159376853384789b7646eaf4Chris Lattner Out << '\n'; 13918b0a8c84da2030ee8f4440d5b60a8033de691222Anton Korobeynikov} 13928b0a8c84da2030ee8f4440d5b60a8033de691222Anton Korobeynikov 139378d033e086e19e016273de014f9214aa6f3f844bReid Spencervoid AssemblyWriter::printTypeSymbolTable(const TypeSymbolTable &ST) { 1394413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner // Emit all numbered types. 1395413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner for (unsigned i = 0, e = NumberedTypes.size(); i != e; ++i) { 1396413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner Out << "\ttype "; 1397413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner 1398413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner // Make sure we print out at least one level of the type structure, so 1399413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner // that we do not get %2 = type %2 1400413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner TypePrinter.printAtLeastOneLevel(NumberedTypes[i], Out); 1401413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner Out << "\t\t; type %" << i << '\n'; 1402413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner } 1403413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner 1404413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner // Print the named types. 140578d033e086e19e016273de014f9214aa6f3f844bReid Spencer for (TypeSymbolTable::const_iterator TI = ST.begin(), TE = ST.end(); 140678d033e086e19e016273de014f9214aa6f3f844bReid Spencer TI != TE; ++TI) { 140752b26de325e32c71159376853384789b7646eaf4Chris Lattner Out << '\t'; 140852b26de325e32c71159376853384789b7646eaf4Chris Lattner PrintLLVMName(Out, &TI->first[0], TI->first.size(), LocalPrefix); 140952b26de325e32c71159376853384789b7646eaf4Chris Lattner Out << " = type "; 14109231ac8b6f2c3f9877bdb7a223f7392061258ab6Reid Spencer 14119231ac8b6f2c3f9877bdb7a223f7392061258ab6Reid Spencer // Make sure we print out at least one level of the type structure, so 14129231ac8b6f2c3f9877bdb7a223f7392061258ab6Reid Spencer // that we do not get %FILE = type %FILE 14130f7364b4aa15263827af49d046fd6147ac769eefChris Lattner TypePrinter.printAtLeastOneLevel(TI->second, Out); 1414cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner Out << '\n'; 14159231ac8b6f2c3f9877bdb7a223f7392061258ab6Reid Spencer } 141678d033e086e19e016273de014f9214aa6f3f844bReid Spencer} 141778d033e086e19e016273de014f9214aa6f3f844bReid Spencer 1418ab5c6003d23c19d23bbff1054900d208c55e0188Misha Brukman/// printFunction - Print all aspects of a function. 1419ab5c6003d23c19d23bbff1054900d208c55e0188Misha Brukman/// 14207e70829632f82de15db187845666aaca6e04b792Chris Lattnervoid AssemblyWriter::printFunction(const Function *F) { 1421cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner // Print out the return type and name. 1422cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner Out << '\n'; 14234ad02e726d9b634372b037d4b352d8b63bb9e849Chris Lattner 14240313e0b44dcd77acd334d3f324c7da527179a690Misha Brukman if (AnnotationWriter) AnnotationWriter->emitFunctionAnnot(F, Out); 142595e5a2cc3fc55b262d2baa1cc417115dfa4a18eaChris Lattner 14265cbf985dcbc89fba3208e7baf8b6f488b06d3ec9Reid Spencer if (F->isDeclaration()) 14273aa6066d010b2ccfd58f07fb1be874becf5807c2Chris Lattner Out << "declare "; 14283aa6066d010b2ccfd58f07fb1be874becf5807c2Chris Lattner else 1429b951bc02839e9862e02e17c7ea83e6437fc13442Reid Spencer Out << "define "; 1430cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner 1431cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner PrintLinkage(F->getLinkage(), Out); 1432cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner PrintVisibility(F->getVisibility(), Out); 14334ad02e726d9b634372b037d4b352d8b63bb9e849Chris Lattner 1434d511898b581826694e6c651e23343b1e1ba5ba64Chris Lattner // Print the calling convention. 1435d511898b581826694e6c651e23343b1e1ba5ba64Chris Lattner switch (F->getCallingConv()) { 1436d511898b581826694e6c651e23343b1e1ba5ba64Chris Lattner case CallingConv::C: break; // default 1437f824868ed9d2cc756a797f6dbd67732f75e31cd6Anton Korobeynikov case CallingConv::Fast: Out << "fastcc "; break; 1438f824868ed9d2cc756a797f6dbd67732f75e31cd6Anton Korobeynikov case CallingConv::Cold: Out << "coldcc "; break; 1439f824868ed9d2cc756a797f6dbd67732f75e31cd6Anton Korobeynikov case CallingConv::X86_StdCall: Out << "x86_stdcallcc "; break; 1440385f5a99ecc7fee48a7539bc63d3e1d3b5089c0dAnton Korobeynikov case CallingConv::X86_FastCall: Out << "x86_fastcallcc "; break; 1441385f5a99ecc7fee48a7539bc63d3e1d3b5089c0dAnton Korobeynikov case CallingConv::ARM_APCS: Out << "arm_apcscc "; break; 1442385f5a99ecc7fee48a7539bc63d3e1d3b5089c0dAnton Korobeynikov case CallingConv::ARM_AAPCS: Out << "arm_aapcscc "; break; 1443385f5a99ecc7fee48a7539bc63d3e1d3b5089c0dAnton Korobeynikov case CallingConv::ARM_AAPCS_VFP:Out << "arm_aapcs_vfpcc "; break; 1444d511898b581826694e6c651e23343b1e1ba5ba64Chris Lattner default: Out << "cc" << F->getCallingConv() << " "; break; 1445d511898b581826694e6c651e23343b1e1ba5ba64Chris Lattner } 1446d511898b581826694e6c651e23343b1e1ba5ba64Chris Lattner 1447bd5db8e29b82f864c3d6525c6cfefa557fafdbb8Reid Spencer const FunctionType *FT = F->getFunctionType(); 14480598866c052147c31b808391f58434ce3dbfb838Devang Patel const AttrListPtr &Attrs = F->getAttributes(); 1449652203f3f3b6dd5062bb450d189a80d8aaa51693Devang Patel Attributes RetAttrs = Attrs.getRetAttributes(); 1450652203f3f3b6dd5062bb450d189a80d8aaa51693Devang Patel if (RetAttrs != Attribute::None) 1451652203f3f3b6dd5062bb450d189a80d8aaa51693Devang Patel Out << Attribute::getAsString(Attrs.getRetAttributes()) << ' '; 14520f7364b4aa15263827af49d046fd6147ac769eefChris Lattner TypePrinter.print(F->getReturnType(), Out); 14534667b71f9380afad56cbdc1fd19ca32334086d2cChris Lattner Out << ' '; 14549cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner WriteAsOperandInternal(Out, F, TypePrinter, &Machine); 14550313e0b44dcd77acd334d3f324c7da527179a690Misha Brukman Out << '('; 14560d1b77e2824115d97f8392c3f4ec257b27ebbd7aReid Spencer Machine.incorporateFunction(F); 1457007377f381e253cc559db8d3c94fa89b0eb55fadChris Lattner 1458c1824996451d5ea93864fcd34ba8ea5e5f03e368Chris Lattner // Loop over the arguments, printing them... 1459007377f381e253cc559db8d3c94fa89b0eb55fadChris Lattner 1460bd5db8e29b82f864c3d6525c6cfefa557fafdbb8Reid Spencer unsigned Idx = 1; 14618dcd2f1a5bbb9151ec05532861be58bf3f078e63Chris Lattner if (!F->isDeclaration()) { 14628dcd2f1a5bbb9151ec05532861be58bf3f078e63Chris Lattner // If this isn't a declaration, print the argument names as well. 14638dcd2f1a5bbb9151ec05532861be58bf3f078e63Chris Lattner for (Function::const_arg_iterator I = F->arg_begin(), E = F->arg_end(); 14648dcd2f1a5bbb9151ec05532861be58bf3f078e63Chris Lattner I != E; ++I) { 14658dcd2f1a5bbb9151ec05532861be58bf3f078e63Chris Lattner // Insert commas as we go... the first arg doesn't get a comma 14668dcd2f1a5bbb9151ec05532861be58bf3f078e63Chris Lattner if (I != F->arg_begin()) Out << ", "; 146719c874638d9478a5d5028854817a5ee72293bb2bDevang Patel printArgument(I, Attrs.getParamAttributes(Idx)); 14688dcd2f1a5bbb9151ec05532861be58bf3f078e63Chris Lattner Idx++; 14698dcd2f1a5bbb9151ec05532861be58bf3f078e63Chris Lattner } 14708dcd2f1a5bbb9151ec05532861be58bf3f078e63Chris Lattner } else { 14718dcd2f1a5bbb9151ec05532861be58bf3f078e63Chris Lattner // Otherwise, print the types from the function type. 14728dcd2f1a5bbb9151ec05532861be58bf3f078e63Chris Lattner for (unsigned i = 0, e = FT->getNumParams(); i != e; ++i) { 14738dcd2f1a5bbb9151ec05532861be58bf3f078e63Chris Lattner // Insert commas as we go... the first arg doesn't get a comma 14748dcd2f1a5bbb9151ec05532861be58bf3f078e63Chris Lattner if (i) Out << ", "; 14758dcd2f1a5bbb9151ec05532861be58bf3f078e63Chris Lattner 14768dcd2f1a5bbb9151ec05532861be58bf3f078e63Chris Lattner // Output type... 14770f7364b4aa15263827af49d046fd6147ac769eefChris Lattner TypePrinter.print(FT->getParamType(i), Out); 14788dcd2f1a5bbb9151ec05532861be58bf3f078e63Chris Lattner 147919c874638d9478a5d5028854817a5ee72293bb2bDevang Patel Attributes ArgAttrs = Attrs.getParamAttributes(i+1); 14800598866c052147c31b808391f58434ce3dbfb838Devang Patel if (ArgAttrs != Attribute::None) 14810598866c052147c31b808391f58434ce3dbfb838Devang Patel Out << ' ' << Attribute::getAsString(ArgAttrs); 14828dcd2f1a5bbb9151ec05532861be58bf3f078e63Chris Lattner } 1483bd5db8e29b82f864c3d6525c6cfefa557fafdbb8Reid Spencer } 1484007377f381e253cc559db8d3c94fa89b0eb55fadChris Lattner 1485007377f381e253cc559db8d3c94fa89b0eb55fadChris Lattner // Finish printing arguments... 14867e70829632f82de15db187845666aaca6e04b792Chris Lattner if (FT->isVarArg()) { 14870313e0b44dcd77acd334d3f324c7da527179a690Misha Brukman if (FT->getNumParams()) Out << ", "; 14880313e0b44dcd77acd334d3f324c7da527179a690Misha Brukman Out << "..."; // Output varargs portion of signature! 1489007377f381e253cc559db8d3c94fa89b0eb55fadChris Lattner } 14900313e0b44dcd77acd334d3f324c7da527179a690Misha Brukman Out << ')'; 149119c874638d9478a5d5028854817a5ee72293bb2bDevang Patel Attributes FnAttrs = Attrs.getFnAttributes(); 149219c874638d9478a5d5028854817a5ee72293bb2bDevang Patel if (FnAttrs != Attribute::None) 149319c874638d9478a5d5028854817a5ee72293bb2bDevang Patel Out << ' ' << Attribute::getAsString(Attrs.getFnAttributes()); 149460962dbfbaa4a9c3ca6fced08fb90b748aa99203Chris Lattner if (F->hasSection()) 149560962dbfbaa4a9c3ca6fced08fb90b748aa99203Chris Lattner Out << " section \"" << F->getSection() << '"'; 149630caa2876cd500b49e27b6810ab5dec96398c6faChris Lattner if (F->getAlignment()) 149730caa2876cd500b49e27b6810ab5dec96398c6faChris Lattner Out << " align " << F->getAlignment(); 14985eca075b74d62c621b160aa216b4cd50829a2cc7Gordon Henriksen if (F->hasGC()) 14995eca075b74d62c621b160aa216b4cd50829a2cc7Gordon Henriksen Out << " gc \"" << F->getGC() << '"'; 1500f3ba70861ccf00b1072ae1b6ade3ebe2da6cff40Devang Patel if (F->isDeclaration()) { 1501f3ba70861ccf00b1072ae1b6ade3ebe2da6cff40Devang Patel Out << "\n"; 1502f3ba70861ccf00b1072ae1b6ade3ebe2da6cff40Devang Patel } else { 1503a1b5858fda38cfe5b30055a87020b6d5f7023238Chris Lattner Out << " {"; 1504fd93908ae8b9684fe71c239e3c6cfe13ff6a2663Misha Brukman 1505b579400cd72f274607f4964a9649ea4d38e04c46Chris Lattner // Output all of its basic blocks... for the function 15067e70829632f82de15db187845666aaca6e04b792Chris Lattner for (Function::const_iterator I = F->begin(), E = F->end(); I != E; ++I) 15077e70829632f82de15db187845666aaca6e04b792Chris Lattner printBasicBlock(I); 1508007377f381e253cc559db8d3c94fa89b0eb55fadChris Lattner 15090313e0b44dcd77acd334d3f324c7da527179a690Misha Brukman Out << "}\n"; 1510007377f381e253cc559db8d3c94fa89b0eb55fadChris Lattner } 1511007377f381e253cc559db8d3c94fa89b0eb55fadChris Lattner 15120d1b77e2824115d97f8392c3f4ec257b27ebbd7aReid Spencer Machine.purgeFunction(); 1513009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner} 1514009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner 1515ab5c6003d23c19d23bbff1054900d208c55e0188Misha Brukman/// printArgument - This member is called for every argument that is passed into 1516ab5c6003d23c19d23bbff1054900d208c55e0188Misha Brukman/// the function. Simply print it out 1517ab5c6003d23c19d23bbff1054900d208c55e0188Misha Brukman/// 15180d51e7ec0d2dcbea9e304fd58deb05f37eb75635Dale Johannesenvoid AssemblyWriter::printArgument(const Argument *Arg, 1519eaf42abab6d465c38891345d999255871cf03943Devang Patel Attributes Attrs) { 1520009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner // Output type... 15210f7364b4aa15263827af49d046fd6147ac769eefChris Lattner TypePrinter.print(Arg->getType(), Out); 1522fd93908ae8b9684fe71c239e3c6cfe13ff6a2663Misha Brukman 1523dc024674ff96820d6020757b48d47f46d4c07db2Duncan Sands // Output parameter attributes list 15240598866c052147c31b808391f58434ce3dbfb838Devang Patel if (Attrs != Attribute::None) 15250598866c052147c31b808391f58434ce3dbfb838Devang Patel Out << ' ' << Attribute::getAsString(Attrs); 1526bd5db8e29b82f864c3d6525c6cfefa557fafdbb8Reid Spencer 1527009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner // Output name, if available... 1528c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner if (Arg->hasName()) { 1529c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner Out << ' '; 1530c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner PrintLLVMName(Out, Arg); 1531c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner } 1532009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner} 1533009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner 1534ab5c6003d23c19d23bbff1054900d208c55e0188Misha Brukman/// printBasicBlock - This member is called for each basic block in a method. 1535ab5c6003d23c19d23bbff1054900d208c55e0188Misha Brukman/// 1536c1824996451d5ea93864fcd34ba8ea5e5f03e368Chris Lattnervoid AssemblyWriter::printBasicBlock(const BasicBlock *BB) { 1537280a6e607d8eb7401749a92db624a82de47da777Nick Lewycky if (BB->hasName()) { // Print out the label if it exists... 1538c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner Out << "\n"; 153952b26de325e32c71159376853384789b7646eaf4Chris Lattner PrintLLVMName(Out, BB->getNameStart(), BB->getNameLen(), LabelPrefix); 1540c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner Out << ':'; 1541280a6e607d8eb7401749a92db624a82de47da777Nick Lewycky } else if (!BB->use_empty()) { // Don't print block # of no uses... 154296c5b2f8c75b10f7e61ad90582d72c500d5c7d2dChris Lattner Out << "\n; <label>:"; 154322379bc7bb28fbfb1182877e6dc316aaab98a4baChris Lattner int Slot = Machine.getLocalSlot(BB); 154469566459cc27c5210472a87ae2fe7b2ca64f9fc8Chris Lattner if (Slot != -1) 15450313e0b44dcd77acd334d3f324c7da527179a690Misha Brukman Out << Slot; 154669566459cc27c5210472a87ae2fe7b2ca64f9fc8Chris Lattner else 15470313e0b44dcd77acd334d3f324c7da527179a690Misha Brukman Out << "<badref>"; 1548061269be9723f842931f18ad207acf9a66e0cf76Chris Lattner } 15494e4d8624c5c44578d64fe1344670520cceec03f2Chris Lattner 15504e4d8624c5c44578d64fe1344670520cceec03f2Chris Lattner if (BB->getParent() == 0) 15510313e0b44dcd77acd334d3f324c7da527179a690Misha Brukman Out << "\t\t; Error: Block without parent!"; 1552eb411291fa7614496ec8b51b0ced9f6cc2b78313Chris Lattner else if (BB != &BB->getParent()->getEntryBlock()) { // Not the entry block? 1553eb411291fa7614496ec8b51b0ced9f6cc2b78313Chris Lattner // Output predecessors for the block... 1554eb411291fa7614496ec8b51b0ced9f6cc2b78313Chris Lattner Out << "\t\t;"; 1555eb411291fa7614496ec8b51b0ced9f6cc2b78313Chris Lattner pred_const_iterator PI = pred_begin(BB), PE = pred_end(BB); 1556eb411291fa7614496ec8b51b0ced9f6cc2b78313Chris Lattner 1557eb411291fa7614496ec8b51b0ced9f6cc2b78313Chris Lattner if (PI == PE) { 1558eb411291fa7614496ec8b51b0ced9f6cc2b78313Chris Lattner Out << " No predecessors!"; 1559eb411291fa7614496ec8b51b0ced9f6cc2b78313Chris Lattner } else { 15608dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman Out << " preds = "; 1561eb411291fa7614496ec8b51b0ced9f6cc2b78313Chris Lattner writeOperand(*PI, false); 1562eb411291fa7614496ec8b51b0ced9f6cc2b78313Chris Lattner for (++PI; PI != PE; ++PI) { 15638dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman Out << ", "; 15642fcfdb79d0d1d2297d7aced11b567cd52494604eChris Lattner writeOperand(*PI, false); 156540efcec8e879b3470b3c0ad9d8124abce2cd8915Chris Lattner } 1566061269be9723f842931f18ad207acf9a66e0cf76Chris Lattner } 1567009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner } 1568fd93908ae8b9684fe71c239e3c6cfe13ff6a2663Misha Brukman 1569eb411291fa7614496ec8b51b0ced9f6cc2b78313Chris Lattner Out << "\n"; 1570009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner 15710313e0b44dcd77acd334d3f324c7da527179a690Misha Brukman if (AnnotationWriter) AnnotationWriter->emitBasicBlockStartAnnot(BB, Out); 157295e5a2cc3fc55b262d2baa1cc417115dfa4a18eaChris Lattner 1573007377f381e253cc559db8d3c94fa89b0eb55fadChris Lattner // Output all of the instructions in the basic block... 15747e70829632f82de15db187845666aaca6e04b792Chris Lattner for (BasicBlock::const_iterator I = BB->begin(), E = BB->end(); I != E; ++I) 15757e70829632f82de15db187845666aaca6e04b792Chris Lattner printInstruction(*I); 15769f717ef279f4b82e28c341c98a9aa602f01f9b27Chris Lattner 15770313e0b44dcd77acd334d3f324c7da527179a690Misha Brukman if (AnnotationWriter) AnnotationWriter->emitBasicBlockEndAnnot(BB, Out); 1578009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner} 1579009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner 1580e02fa8551d20081534afa46e0976811687e5183aChris Lattner 1581ab5c6003d23c19d23bbff1054900d208c55e0188Misha Brukman/// printInfoComment - Print a little comment after the instruction indicating 1582ab5c6003d23c19d23bbff1054900d208c55e0188Misha Brukman/// which slot it occupies. 1583ab5c6003d23c19d23bbff1054900d208c55e0188Misha Brukman/// 15847e70829632f82de15db187845666aaca6e04b792Chris Lattnervoid AssemblyWriter::printInfoComment(const Value &V) { 15857e70829632f82de15db187845666aaca6e04b792Chris Lattner if (V.getType() != Type::VoidTy) { 15860313e0b44dcd77acd334d3f324c7da527179a690Misha Brukman Out << "\t\t; <"; 15870f7364b4aa15263827af49d046fd6147ac769eefChris Lattner TypePrinter.print(V.getType(), Out); 15884667b71f9380afad56cbdc1fd19ca32334086d2cChris Lattner Out << '>'; 1589e02fa8551d20081534afa46e0976811687e5183aChris Lattner 1590828db8a2f90e0e3faf27c1fe69a632c666e3a343Chris Lattner if (!V.hasName() && !isa<Instruction>(V)) { 159122379bc7bb28fbfb1182877e6dc316aaab98a4baChris Lattner int SlotNum; 159222379bc7bb28fbfb1182877e6dc316aaab98a4baChris Lattner if (const GlobalValue *GV = dyn_cast<GlobalValue>(&V)) 159322379bc7bb28fbfb1182877e6dc316aaab98a4baChris Lattner SlotNum = Machine.getGlobalSlot(GV); 159422379bc7bb28fbfb1182877e6dc316aaab98a4baChris Lattner else 159522379bc7bb28fbfb1182877e6dc316aaab98a4baChris Lattner SlotNum = Machine.getLocalSlot(&V); 159669566459cc27c5210472a87ae2fe7b2ca64f9fc8Chris Lattner if (SlotNum == -1) 15970313e0b44dcd77acd334d3f324c7da527179a690Misha Brukman Out << ":<badref>"; 1598fc621e28781e3cf22f1850e07f285581334e2402Reid Spencer else 15990313e0b44dcd77acd334d3f324c7da527179a690Misha Brukman Out << ':' << SlotNum; // Print out the def slot taken. 1600e02fa8551d20081534afa46e0976811687e5183aChris Lattner } 16015c461404fed8d1def8eae02e6574bc5b16502575Chris Lattner Out << " [#uses=" << V.getNumUses() << ']'; // Output # uses 1602e02fa8551d20081534afa46e0976811687e5183aChris Lattner } 1603e02fa8551d20081534afa46e0976811687e5183aChris Lattner} 1604e02fa8551d20081534afa46e0976811687e5183aChris Lattner 16053a9ec2463ddeba0820f284e2952bd6919cd5e080Reid Spencer// This member is called for each Instruction in a function.. 16067e70829632f82de15db187845666aaca6e04b792Chris Lattnervoid AssemblyWriter::printInstruction(const Instruction &I) { 16070313e0b44dcd77acd334d3f324c7da527179a690Misha Brukman if (AnnotationWriter) AnnotationWriter->emitInstructionAnnot(&I, Out); 160895e5a2cc3fc55b262d2baa1cc417115dfa4a18eaChris Lattner 1609ab49ee752ec37f586e45c999eca1e29e32697cb7Chris Lattner Out << '\t'; 1610009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner 1611009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner // Print out name if it exists... 1612c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner if (I.hasName()) { 1613c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner PrintLLVMName(Out, &I); 1614c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner Out << " = "; 1615828db8a2f90e0e3faf27c1fe69a632c666e3a343Chris Lattner } else if (I.getType() != Type::VoidTy) { 1616828db8a2f90e0e3faf27c1fe69a632c666e3a343Chris Lattner // Print out the def slot taken. 1617828db8a2f90e0e3faf27c1fe69a632c666e3a343Chris Lattner int SlotNum = Machine.getLocalSlot(&I); 1618828db8a2f90e0e3faf27c1fe69a632c666e3a343Chris Lattner if (SlotNum == -1) 1619828db8a2f90e0e3faf27c1fe69a632c666e3a343Chris Lattner Out << "<badref> = "; 1620828db8a2f90e0e3faf27c1fe69a632c666e3a343Chris Lattner else 1621828db8a2f90e0e3faf27c1fe69a632c666e3a343Chris Lattner Out << '%' << SlotNum << " = "; 1622c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner } 1623009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner 1624ddb6db4fa11d06217d01d8431596131abdfb7ef0Chris Lattner // If this is a volatile load or store, print out the volatile marker. 1625e5e475e09d1e8a9ea1bda58b536867ff16600399Chris Lattner if ((isa<LoadInst>(I) && cast<LoadInst>(I).isVolatile()) || 1626ddb6db4fa11d06217d01d8431596131abdfb7ef0Chris Lattner (isa<StoreInst>(I) && cast<StoreInst>(I).isVolatile())) { 16270313e0b44dcd77acd334d3f324c7da527179a690Misha Brukman Out << "volatile "; 1628ddb6db4fa11d06217d01d8431596131abdfb7ef0Chris Lattner } else if (isa<CallInst>(I) && cast<CallInst>(I).isTailCall()) { 1629ddb6db4fa11d06217d01d8431596131abdfb7ef0Chris Lattner // If this is a call, check if it's a tail call. 1630ddb6db4fa11d06217d01d8431596131abdfb7ef0Chris Lattner Out << "tail "; 1631ddb6db4fa11d06217d01d8431596131abdfb7ef0Chris Lattner } 1632e5e475e09d1e8a9ea1bda58b536867ff16600399Chris Lattner 1633009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner // Print out the opcode... 16340313e0b44dcd77acd334d3f324c7da527179a690Misha Brukman Out << I.getOpcodeName(); 1635009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner 163674f1642bc1c2981e4573c9f0690d91b6a9bbc68cReid Spencer // Print out the compare instruction predicates 1637ac80ade1580378e484e24c9f66d2fa5b058e5891Nate Begeman if (const CmpInst *CI = dyn_cast<CmpInst>(&I)) 1638ab49ee752ec37f586e45c999eca1e29e32697cb7Chris Lattner Out << ' ' << getPredicateText(CI->getPredicate()); 163974f1642bc1c2981e4573c9f0690d91b6a9bbc68cReid Spencer 1640009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner // Print out the type of the operands... 16417e70829632f82de15db187845666aaca6e04b792Chris Lattner const Value *Operand = I.getNumOperands() ? I.getOperand(0) : 0; 1642009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner 1643009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner // Special case conditional branches to swizzle the condition out to the front 1644ccd27fb84b0ac13ad1d30b17cbeb87a0ea934154Gabor Greif if (isa<BranchInst>(I) && cast<BranchInst>(I).isConditional()) { 1645ccd27fb84b0ac13ad1d30b17cbeb87a0ea934154Gabor Greif BranchInst &BI(cast<BranchInst>(I)); 16468dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman Out << ' '; 1647ccd27fb84b0ac13ad1d30b17cbeb87a0ea934154Gabor Greif writeOperand(BI.getCondition(), true); 16488dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman Out << ", "; 1649ccd27fb84b0ac13ad1d30b17cbeb87a0ea934154Gabor Greif writeOperand(BI.getSuccessor(0), true); 16508dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman Out << ", "; 1651ccd27fb84b0ac13ad1d30b17cbeb87a0ea934154Gabor Greif writeOperand(BI.getSuccessor(1), true); 1652009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner 165394dc1f29cd1dc669680b7d3caa1f59862a656b83Chris Lattner } else if (isa<SwitchInst>(I)) { 1654009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner // Special case switch statement to get formatting nice and correct... 16558dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman Out << ' '; 1656ab49ee752ec37f586e45c999eca1e29e32697cb7Chris Lattner writeOperand(Operand , true); 16578dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman Out << ", "; 1658ab49ee752ec37f586e45c999eca1e29e32697cb7Chris Lattner writeOperand(I.getOperand(1), true); 1659ab49ee752ec37f586e45c999eca1e29e32697cb7Chris Lattner Out << " ["; 1660009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner 16617e70829632f82de15db187845666aaca6e04b792Chris Lattner for (unsigned op = 2, Eop = I.getNumOperands(); op < Eop; op += 2) { 16620313e0b44dcd77acd334d3f324c7da527179a690Misha Brukman Out << "\n\t\t"; 1663ab49ee752ec37f586e45c999eca1e29e32697cb7Chris Lattner writeOperand(I.getOperand(op ), true); 16648dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman Out << ", "; 16657e70829632f82de15db187845666aaca6e04b792Chris Lattner writeOperand(I.getOperand(op+1), true); 1666009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner } 16670313e0b44dcd77acd334d3f324c7da527179a690Misha Brukman Out << "\n\t]"; 1668b00c582b6d40e6b9ff2d1ed4f5eaf7930e792aceChris Lattner } else if (isa<PHINode>(I)) { 16690313e0b44dcd77acd334d3f324c7da527179a690Misha Brukman Out << ' '; 16700f7364b4aa15263827af49d046fd6147ac769eefChris Lattner TypePrinter.print(I.getType(), Out); 16710313e0b44dcd77acd334d3f324c7da527179a690Misha Brukman Out << ' '; 1672009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner 16737e70829632f82de15db187845666aaca6e04b792Chris Lattner for (unsigned op = 0, Eop = I.getNumOperands(); op < Eop; op += 2) { 16740313e0b44dcd77acd334d3f324c7da527179a690Misha Brukman if (op) Out << ", "; 16758dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman Out << "[ "; 16768dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman writeOperand(I.getOperand(op ), false); Out << ", "; 16770313e0b44dcd77acd334d3f324c7da527179a690Misha Brukman writeOperand(I.getOperand(op+1), false); Out << " ]"; 1678c24d2088dc3d79e3b7e38a358b4a71f156c06836Chris Lattner } 1679995be7d07a0ed1f70a93b2a2e7f445461162e8a5Dan Gohman } else if (const ExtractValueInst *EVI = dyn_cast<ExtractValueInst>(&I)) { 16808dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman Out << ' '; 1681995be7d07a0ed1f70a93b2a2e7f445461162e8a5Dan Gohman writeOperand(I.getOperand(0), true); 1682995be7d07a0ed1f70a93b2a2e7f445461162e8a5Dan Gohman for (const unsigned *i = EVI->idx_begin(), *e = EVI->idx_end(); i != e; ++i) 1683995be7d07a0ed1f70a93b2a2e7f445461162e8a5Dan Gohman Out << ", " << *i; 1684995be7d07a0ed1f70a93b2a2e7f445461162e8a5Dan Gohman } else if (const InsertValueInst *IVI = dyn_cast<InsertValueInst>(&I)) { 16858dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman Out << ' '; 16868dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman writeOperand(I.getOperand(0), true); Out << ", "; 1687995be7d07a0ed1f70a93b2a2e7f445461162e8a5Dan Gohman writeOperand(I.getOperand(1), true); 1688995be7d07a0ed1f70a93b2a2e7f445461162e8a5Dan Gohman for (const unsigned *i = IVI->idx_begin(), *e = IVI->idx_end(); i != e; ++i) 1689995be7d07a0ed1f70a93b2a2e7f445461162e8a5Dan Gohman Out << ", " << *i; 169057ef4f46c182cdbe014d469892090ff50c739cf9Devang Patel } else if (isa<ReturnInst>(I) && !Operand) { 169157ef4f46c182cdbe014d469892090ff50c739cf9Devang Patel Out << " void"; 1692d511898b581826694e6c651e23343b1e1ba5ba64Chris Lattner } else if (const CallInst *CI = dyn_cast<CallInst>(&I)) { 1693d511898b581826694e6c651e23343b1e1ba5ba64Chris Lattner // Print the calling convention being used. 1694d511898b581826694e6c651e23343b1e1ba5ba64Chris Lattner switch (CI->getCallingConv()) { 1695d511898b581826694e6c651e23343b1e1ba5ba64Chris Lattner case CallingConv::C: break; // default 16960deaab89feb963b314428e3c3c565343cc30b5c9Chris Lattner case CallingConv::Fast: Out << " fastcc"; break; 16970deaab89feb963b314428e3c3c565343cc30b5c9Chris Lattner case CallingConv::Cold: Out << " coldcc"; break; 1698b28a6dce6d57e05aa25520915726f82d2b3dc08dChris Lattner case CallingConv::X86_StdCall: Out << " x86_stdcallcc"; break; 1699385f5a99ecc7fee48a7539bc63d3e1d3b5089c0dAnton Korobeynikov case CallingConv::X86_FastCall: Out << " x86_fastcallcc"; break; 1700385f5a99ecc7fee48a7539bc63d3e1d3b5089c0dAnton Korobeynikov case CallingConv::ARM_APCS: Out << " arm_apcscc "; break; 1701385f5a99ecc7fee48a7539bc63d3e1d3b5089c0dAnton Korobeynikov case CallingConv::ARM_AAPCS: Out << " arm_aapcscc "; break; 1702385f5a99ecc7fee48a7539bc63d3e1d3b5089c0dAnton Korobeynikov case CallingConv::ARM_AAPCS_VFP:Out << " arm_aapcs_vfpcc "; break; 1703d511898b581826694e6c651e23343b1e1ba5ba64Chris Lattner default: Out << " cc" << CI->getCallingConv(); break; 1704d511898b581826694e6c651e23343b1e1ba5ba64Chris Lattner } 1705d511898b581826694e6c651e23343b1e1ba5ba64Chris Lattner 1706b138a0657f8739b6ddfeca296ff8c82ffa93b492Reid Spencer const PointerType *PTy = cast<PointerType>(Operand->getType()); 1707b138a0657f8739b6ddfeca296ff8c82ffa93b492Reid Spencer const FunctionType *FTy = cast<FunctionType>(PTy->getElementType()); 1708b138a0657f8739b6ddfeca296ff8c82ffa93b492Reid Spencer const Type *RetTy = FTy->getReturnType(); 17090598866c052147c31b808391f58434ce3dbfb838Devang Patel const AttrListPtr &PAL = CI->getAttributes(); 1710268de0464ee9f0938bfa145fdd5e7f1a46b21cf7Chris Lattner 1711652203f3f3b6dd5062bb450d189a80d8aaa51693Devang Patel if (PAL.getRetAttributes() != Attribute::None) 1712652203f3f3b6dd5062bb450d189a80d8aaa51693Devang Patel Out << ' ' << Attribute::getAsString(PAL.getRetAttributes()); 1713652203f3f3b6dd5062bb450d189a80d8aaa51693Devang Patel 17147a012299ced5cff02cec47055a63d3b2a78bb36fChris Lattner // If possible, print out the short form of the call instruction. We can 1715b579400cd72f274607f4964a9649ea4d38e04c46Chris Lattner // only do this if the first argument is a pointer to a nonvararg function, 17167a012299ced5cff02cec47055a63d3b2a78bb36fChris Lattner // and if the return type is not a pointer to a function. 1717268de0464ee9f0938bfa145fdd5e7f1a46b21cf7Chris Lattner // 17188dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman Out << ' '; 17197a012299ced5cff02cec47055a63d3b2a78bb36fChris Lattner if (!FTy->isVarArg() && 1720fd93908ae8b9684fe71c239e3c6cfe13ff6a2663Misha Brukman (!isa<PointerType>(RetTy) || 1721c1b2718acf9d566c26188f2968dece0bf3f187e3Chris Lattner !isa<FunctionType>(cast<PointerType>(RetTy)->getElementType()))) { 17220f7364b4aa15263827af49d046fd6147ac769eefChris Lattner TypePrinter.print(RetTy, Out); 17238dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman Out << ' '; 1724268de0464ee9f0938bfa145fdd5e7f1a46b21cf7Chris Lattner writeOperand(Operand, false); 1725268de0464ee9f0938bfa145fdd5e7f1a46b21cf7Chris Lattner } else { 1726268de0464ee9f0938bfa145fdd5e7f1a46b21cf7Chris Lattner writeOperand(Operand, true); 1727268de0464ee9f0938bfa145fdd5e7f1a46b21cf7Chris Lattner } 17280313e0b44dcd77acd334d3f324c7da527179a690Misha Brukman Out << '('; 1729bd5db8e29b82f864c3d6525c6cfefa557fafdbb8Reid Spencer for (unsigned op = 1, Eop = I.getNumOperands(); op < Eop; ++op) { 1730bd5db8e29b82f864c3d6525c6cfefa557fafdbb8Reid Spencer if (op > 1) 17318dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman Out << ", "; 173219c874638d9478a5d5028854817a5ee72293bb2bDevang Patel writeParamOperand(I.getOperand(op), PAL.getParamAttributes(op)); 1733009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner } 17348dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman Out << ')'; 173519c874638d9478a5d5028854817a5ee72293bb2bDevang Patel if (PAL.getFnAttributes() != Attribute::None) 173619c874638d9478a5d5028854817a5ee72293bb2bDevang Patel Out << ' ' << Attribute::getAsString(PAL.getFnAttributes()); 17377e70829632f82de15db187845666aaca6e04b792Chris Lattner } else if (const InvokeInst *II = dyn_cast<InvokeInst>(&I)) { 1738b138a0657f8739b6ddfeca296ff8c82ffa93b492Reid Spencer const PointerType *PTy = cast<PointerType>(Operand->getType()); 1739b138a0657f8739b6ddfeca296ff8c82ffa93b492Reid Spencer const FunctionType *FTy = cast<FunctionType>(PTy->getElementType()); 1740b138a0657f8739b6ddfeca296ff8c82ffa93b492Reid Spencer const Type *RetTy = FTy->getReturnType(); 17410598866c052147c31b808391f58434ce3dbfb838Devang Patel const AttrListPtr &PAL = II->getAttributes(); 17427a012299ced5cff02cec47055a63d3b2a78bb36fChris Lattner 1743d511898b581826694e6c651e23343b1e1ba5ba64Chris Lattner // Print the calling convention being used. 1744d511898b581826694e6c651e23343b1e1ba5ba64Chris Lattner switch (II->getCallingConv()) { 1745d511898b581826694e6c651e23343b1e1ba5ba64Chris Lattner case CallingConv::C: break; // default 17460deaab89feb963b314428e3c3c565343cc30b5c9Chris Lattner case CallingConv::Fast: Out << " fastcc"; break; 17470deaab89feb963b314428e3c3c565343cc30b5c9Chris Lattner case CallingConv::Cold: Out << " coldcc"; break; 17488dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman case CallingConv::X86_StdCall: Out << " x86_stdcallcc"; break; 17498dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman case CallingConv::X86_FastCall: Out << " x86_fastcallcc"; break; 1750385f5a99ecc7fee48a7539bc63d3e1d3b5089c0dAnton Korobeynikov case CallingConv::ARM_APCS: Out << " arm_apcscc "; break; 1751385f5a99ecc7fee48a7539bc63d3e1d3b5089c0dAnton Korobeynikov case CallingConv::ARM_AAPCS: Out << " arm_aapcscc "; break; 1752385f5a99ecc7fee48a7539bc63d3e1d3b5089c0dAnton Korobeynikov case CallingConv::ARM_AAPCS_VFP:Out << " arm_aapcs_vfpcc "; break; 1753d511898b581826694e6c651e23343b1e1ba5ba64Chris Lattner default: Out << " cc" << II->getCallingConv(); break; 1754d511898b581826694e6c651e23343b1e1ba5ba64Chris Lattner } 1755d511898b581826694e6c651e23343b1e1ba5ba64Chris Lattner 1756652203f3f3b6dd5062bb450d189a80d8aaa51693Devang Patel if (PAL.getRetAttributes() != Attribute::None) 1757652203f3f3b6dd5062bb450d189a80d8aaa51693Devang Patel Out << ' ' << Attribute::getAsString(PAL.getRetAttributes()); 1758652203f3f3b6dd5062bb450d189a80d8aaa51693Devang Patel 17597a012299ced5cff02cec47055a63d3b2a78bb36fChris Lattner // If possible, print out the short form of the invoke instruction. We can 17607a012299ced5cff02cec47055a63d3b2a78bb36fChris Lattner // only do this if the first argument is a pointer to a nonvararg function, 17617a012299ced5cff02cec47055a63d3b2a78bb36fChris Lattner // and if the return type is not a pointer to a function. 17627a012299ced5cff02cec47055a63d3b2a78bb36fChris Lattner // 17632b6c3d9ff13180e84301da5b7d17c755704fbec0Dan Gohman Out << ' '; 17647a012299ced5cff02cec47055a63d3b2a78bb36fChris Lattner if (!FTy->isVarArg() && 1765fd93908ae8b9684fe71c239e3c6cfe13ff6a2663Misha Brukman (!isa<PointerType>(RetTy) || 17667a012299ced5cff02cec47055a63d3b2a78bb36fChris Lattner !isa<FunctionType>(cast<PointerType>(RetTy)->getElementType()))) { 17670f7364b4aa15263827af49d046fd6147ac769eefChris Lattner TypePrinter.print(RetTy, Out); 17682b6c3d9ff13180e84301da5b7d17c755704fbec0Dan Gohman Out << ' '; 17697a012299ced5cff02cec47055a63d3b2a78bb36fChris Lattner writeOperand(Operand, false); 17707a012299ced5cff02cec47055a63d3b2a78bb36fChris Lattner } else { 17717a012299ced5cff02cec47055a63d3b2a78bb36fChris Lattner writeOperand(Operand, true); 17727a012299ced5cff02cec47055a63d3b2a78bb36fChris Lattner } 17730313e0b44dcd77acd334d3f324c7da527179a690Misha Brukman Out << '('; 17749a507cd915e6460bc7dadee2185c53df326274c1Bill Wendling for (unsigned op = 3, Eop = I.getNumOperands(); op < Eop; ++op) { 17759a507cd915e6460bc7dadee2185c53df326274c1Bill Wendling if (op > 3) 17768dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman Out << ", "; 17779a507cd915e6460bc7dadee2185c53df326274c1Bill Wendling writeParamOperand(I.getOperand(op), PAL.getParamAttributes(op-2)); 1778e02fa8551d20081534afa46e0976811687e5183aChris Lattner } 1779e02fa8551d20081534afa46e0976811687e5183aChris Lattner 17808dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman Out << ')'; 178119c874638d9478a5d5028854817a5ee72293bb2bDevang Patel if (PAL.getFnAttributes() != Attribute::None) 178219c874638d9478a5d5028854817a5ee72293bb2bDevang Patel Out << ' ' << Attribute::getAsString(PAL.getFnAttributes()); 178319c874638d9478a5d5028854817a5ee72293bb2bDevang Patel 17848dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman Out << "\n\t\t\tto "; 1785e02fa8551d20081534afa46e0976811687e5183aChris Lattner writeOperand(II->getNormalDest(), true); 17868dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman Out << " unwind "; 1787aeb2a1d70807aa626f335fb23d47bc604ffeaa15Chris Lattner writeOperand(II->getUnwindDest(), true); 1788e02fa8551d20081534afa46e0976811687e5183aChris Lattner 17897e70829632f82de15db187845666aaca6e04b792Chris Lattner } else if (const AllocationInst *AI = dyn_cast<AllocationInst>(&I)) { 17900313e0b44dcd77acd334d3f324c7da527179a690Misha Brukman Out << ' '; 17910f7364b4aa15263827af49d046fd6147ac769eefChris Lattner TypePrinter.print(AI->getType()->getElementType(), Out); 179294dc1f29cd1dc669680b7d3caa1f59862a656b83Chris Lattner if (AI->isArrayAllocation()) { 17938dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman Out << ", "; 179494dc1f29cd1dc669680b7d3caa1f59862a656b83Chris Lattner writeOperand(AI->getArraySize(), true); 1795009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner } 179614b0529532904b9e5a1e34526b4a3209f3e5bc62Nate Begeman if (AI->getAlignment()) { 17979fad0b9974beb76bef763b8fed71d0c8644403d4Chris Lattner Out << ", align " << AI->getAlignment(); 179814b0529532904b9e5a1e34526b4a3209f3e5bc62Nate Begeman } 1799e02fa8551d20081534afa46e0976811687e5183aChris Lattner } else if (isa<CastInst>(I)) { 18008dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman if (Operand) { 18018dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman Out << ' '; 18028dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman writeOperand(Operand, true); // Work with broken code 18038dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman } 18040313e0b44dcd77acd334d3f324c7da527179a690Misha Brukman Out << " to "; 18050f7364b4aa15263827af49d046fd6147ac769eefChris Lattner TypePrinter.print(I.getType(), Out); 18064d45bd007d0c3a3a6e5b3876b67fd495acb0db2bChris Lattner } else if (isa<VAArgInst>(I)) { 18078dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman if (Operand) { 18088dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman Out << ' '; 18098dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman writeOperand(Operand, true); // Work with broken code 18108dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman } 18110313e0b44dcd77acd334d3f324c7da527179a690Misha Brukman Out << ", "; 18120f7364b4aa15263827af49d046fd6147ac769eefChris Lattner TypePrinter.print(I.getType(), Out); 18130f7364b4aa15263827af49d046fd6147ac769eefChris Lattner } else if (Operand) { // Print the normal way. 1814009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner 1815fd93908ae8b9684fe71c239e3c6cfe13ff6a2663Misha Brukman // PrintAllTypes - Instructions who have operands of all the same type 1816009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner // omit the type from all but the first operand. If the instruction has 1817009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner // different type operands (for example br), then they are all printed. 1818009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner bool PrintAllTypes = false; 1819009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner const Type *TheType = Operand->getType(); 1820009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner 1821ebe57e36dff2dc3a7ceea99202bdb9eb6fe938bcReid Spencer // Select, Store and ShuffleVector always print all types. 18226494768ffcdf75e6e69a7955282db9ab9ab2e6fbDevang Patel if (isa<SelectInst>(I) || isa<StoreInst>(I) || isa<ShuffleVectorInst>(I) 18236494768ffcdf75e6e69a7955282db9ab9ab2e6fbDevang Patel || isa<ReturnInst>(I)) { 1824ffd9bf404cd36c93d82b0080113ccc6d230915b3Chris Lattner PrintAllTypes = true; 1825ffd9bf404cd36c93d82b0080113ccc6d230915b3Chris Lattner } else { 1826ffd9bf404cd36c93d82b0080113ccc6d230915b3Chris Lattner for (unsigned i = 1, E = I.getNumOperands(); i != E; ++i) { 1827ffd9bf404cd36c93d82b0080113ccc6d230915b3Chris Lattner Operand = I.getOperand(i); 18286ad2b2a3d20c667e01535fed4bc7f4753aa6fc85Nuno Lopes // note that Operand shouldn't be null, but the test helps make dump() 18296ad2b2a3d20c667e01535fed4bc7f4753aa6fc85Nuno Lopes // more tolerant of malformed IR 1830a8c78a9e89afcca4f003c55bcdbd41a23ecd5c8dNuno Lopes if (Operand && Operand->getType() != TheType) { 1831ffd9bf404cd36c93d82b0080113ccc6d230915b3Chris Lattner PrintAllTypes = true; // We have differing types! Print them all! 1832ffd9bf404cd36c93d82b0080113ccc6d230915b3Chris Lattner break; 1833ffd9bf404cd36c93d82b0080113ccc6d230915b3Chris Lattner } 1834009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner } 1835009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner } 1836fd93908ae8b9684fe71c239e3c6cfe13ff6a2663Misha Brukman 1837c1824996451d5ea93864fcd34ba8ea5e5f03e368Chris Lattner if (!PrintAllTypes) { 18380313e0b44dcd77acd334d3f324c7da527179a690Misha Brukman Out << ' '; 18390f7364b4aa15263827af49d046fd6147ac769eefChris Lattner TypePrinter.print(TheType, Out); 1840c1824996451d5ea93864fcd34ba8ea5e5f03e368Chris Lattner } 1841009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner 18428dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman Out << ' '; 18437e70829632f82de15db187845666aaca6e04b792Chris Lattner for (unsigned i = 0, E = I.getNumOperands(); i != E; ++i) { 18448dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman if (i) Out << ", "; 18457e70829632f82de15db187845666aaca6e04b792Chris Lattner writeOperand(I.getOperand(i), PrintAllTypes); 1846009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner } 1847009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner } 184843c7f37942a35398fd1e14b22f435f483a0ee863Christopher Lamb 184943c7f37942a35398fd1e14b22f435f483a0ee863Christopher Lamb // Print post operand alignment for load/store 185043c7f37942a35398fd1e14b22f435f483a0ee863Christopher Lamb if (isa<LoadInst>(I) && cast<LoadInst>(I).getAlignment()) { 185143c7f37942a35398fd1e14b22f435f483a0ee863Christopher Lamb Out << ", align " << cast<LoadInst>(I).getAlignment(); 185243c7f37942a35398fd1e14b22f435f483a0ee863Christopher Lamb } else if (isa<StoreInst>(I) && cast<StoreInst>(I).getAlignment()) { 185343c7f37942a35398fd1e14b22f435f483a0ee863Christopher Lamb Out << ", align " << cast<StoreInst>(I).getAlignment(); 185443c7f37942a35398fd1e14b22f435f483a0ee863Christopher Lamb } 1855009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner 1856e02fa8551d20081534afa46e0976811687e5183aChris Lattner printInfoComment(I); 1857ab49ee752ec37f586e45c999eca1e29e32697cb7Chris Lattner Out << '\n'; 1858009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner} 1859009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner 1860009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner 1861009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner//===----------------------------------------------------------------------===// 1862009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner// External Interface declarations 1863009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner//===----------------------------------------------------------------------===// 1864009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner 186595e5a2cc3fc55b262d2baa1cc417115dfa4a18eaChris Lattnervoid Module::print(std::ostream &o, AssemblyAnnotationWriter *AAW) const { 1866944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner raw_os_ostream OS(o); 1867944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner print(OS, AAW); 1868009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner} 1869944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattnervoid Module::print(raw_ostream &OS, AssemblyAnnotationWriter *AAW) const { 1870944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner SlotTracker SlotTable(this); 1871944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner AssemblyWriter W(OS, SlotTable, this, AAW); 187275cf7cf00d391ac6ca22d6240fa9d99ed427d1d5Chris Lattner W.write(this); 187375cf7cf00d391ac6ca22d6240fa9d99ed427d1d5Chris Lattner} 1874009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner 1875944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattnervoid Type::print(std::ostream &o) const { 1876944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner raw_os_ostream OS(o); 1877944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner print(OS); 1878009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner} 1879009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner 18806d4306e63c2ca40a0482bf74a077540bb9cda25eChris Lattnervoid Type::print(raw_ostream &OS) const { 18816d4306e63c2ca40a0482bf74a077540bb9cda25eChris Lattner if (this == 0) { 18826d4306e63c2ca40a0482bf74a077540bb9cda25eChris Lattner OS << "<null Type>"; 18836d4306e63c2ca40a0482bf74a077540bb9cda25eChris Lattner return; 18846d4306e63c2ca40a0482bf74a077540bb9cda25eChris Lattner } 1885e9fa33eb6629aea72cd59560216bb6a7b8ebc689Chris Lattner TypePrinting().print(this, OS); 1886009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner} 1887009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner 1888944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattnervoid Value::print(raw_ostream &OS, AssemblyAnnotationWriter *AAW) const { 1889944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner if (this == 0) { 1890944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner OS << "printing a <null> value\n"; 1891944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner return; 1892944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner } 1893944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner 1894944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner if (const Instruction *I = dyn_cast<Instruction>(this)) { 1895944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner const Function *F = I->getParent() ? I->getParent()->getParent() : 0; 1896944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner SlotTracker SlotTable(F); 1897944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner AssemblyWriter W(OS, SlotTable, F ? F->getParent() : 0, AAW); 1898944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner W.write(I); 1899944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner } else if (const BasicBlock *BB = dyn_cast<BasicBlock>(this)) { 1900944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner SlotTracker SlotTable(BB->getParent()); 1901944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner AssemblyWriter W(OS, SlotTable, 1902944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner BB->getParent() ? BB->getParent()->getParent() : 0, AAW); 1903944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner W.write(BB); 1904944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner } else if (const GlobalValue *GV = dyn_cast<GlobalValue>(this)) { 1905944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner SlotTracker SlotTable(GV->getParent()); 1906ba0941fbe0db832b0bdca450688b63ddf6a45b0aDan Gohman AssemblyWriter W(OS, SlotTable, GV->getParent(), AAW); 1907944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner W.write(GV); 1908fcd65ae28fe797c174be350a07955713fd42d110Devang Patel } else if (const MDNode *N = dyn_cast<MDNode>(this)) { 1909fcd65ae28fe797c174be350a07955713fd42d110Devang Patel TypePrinting TypePrinter; 1910fcd65ae28fe797c174be350a07955713fd42d110Devang Patel TypePrinter.print(N->getType(), OS); 1911fcd65ae28fe797c174be350a07955713fd42d110Devang Patel OS << ' '; 1912fcd65ae28fe797c174be350a07955713fd42d110Devang Patel // FIXME: Do we need a slot tracker for metadata ? 1913fcd65ae28fe797c174be350a07955713fd42d110Devang Patel SlotTracker SlotTable((const Function *)NULL); 1914fcd65ae28fe797c174be350a07955713fd42d110Devang Patel AssemblyWriter W(OS, SlotTable, NULL, AAW); 1915fcd65ae28fe797c174be350a07955713fd42d110Devang Patel W.printMDNode(N, false); 1916944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner } else if (const Constant *C = dyn_cast<Constant>(this)) { 1917e9fa33eb6629aea72cd59560216bb6a7b8ebc689Chris Lattner TypePrinting TypePrinter; 19180f7364b4aa15263827af49d046fd6147ac769eefChris Lattner TypePrinter.print(C->getType(), OS); 19196d4306e63c2ca40a0482bf74a077540bb9cda25eChris Lattner OS << ' '; 19209cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner WriteConstantInt(OS, C, TypePrinter, 0); 1921944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner } else if (const Argument *A = dyn_cast<Argument>(this)) { 1922944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner WriteAsOperand(OS, this, true, 1923944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner A->getParent() ? A->getParent()->getParent() : 0); 1924944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner } else if (isa<InlineAsm>(this)) { 1925944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner WriteAsOperand(OS, this, true, 0); 1926944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner } else { 1927d71703deec9e3fe90833e82e0c8b6bf7e5af55fdDan Gohman assert(0 && "Unknown value to print out!"); 1928944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner } 1929944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner} 1930944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner 1931944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattnervoid Value::print(std::ostream &O, AssemblyAnnotationWriter *AAW) const { 1932944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner raw_os_ostream OS(O); 1933944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner print(OS, AAW); 193475cf7cf00d391ac6ca22d6240fa9d99ed427d1d5Chris Lattner} 1935009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner 19367059e530edcf3294315f02751c9df5e485f2932cChris Lattner// Value::dump - allow easy printing of Values from the debugger. 1937f871ccb853a2ccbe8675c912330c041b318be8cdDan Gohmanvoid Value::dump() const { print(errs()); errs() << '\n'; } 1938fa452c05504ebee698e00050d04e1a43b0f21045Reid Spencer 19397059e530edcf3294315f02751c9df5e485f2932cChris Lattner// Type::dump - allow easy printing of Types from the debugger. 1940795daece23cdc66bc7c16e9a2043dd4a4d0bbfc0Chris Lattner// This one uses type names from the given context module 1941795daece23cdc66bc7c16e9a2043dd4a4d0bbfc0Chris Lattnervoid Type::dump(const Module *Context) const { 1942795daece23cdc66bc7c16e9a2043dd4a4d0bbfc0Chris Lattner WriteTypeSymbolic(errs(), this, Context); 1943795daece23cdc66bc7c16e9a2043dd4a4d0bbfc0Chris Lattner errs() << '\n'; 1944795daece23cdc66bc7c16e9a2043dd4a4d0bbfc0Chris Lattner} 1945795daece23cdc66bc7c16e9a2043dd4a4d0bbfc0Chris Lattner 1946c287137ce7455c63be0075e0d5aba0bab4f125eaChris Lattner// Type::dump - allow easy printing of Types from the debugger. 1947c287137ce7455c63be0075e0d5aba0bab4f125eaChris Lattnervoid Type::dump() const { dump(0); } 1948c287137ce7455c63be0075e0d5aba0bab4f125eaChris Lattner 19497059e530edcf3294315f02751c9df5e485f2932cChris Lattner// Module::dump() - Allow printing of Modules from the debugger. 1950f871ccb853a2ccbe8675c912330c041b318be8cdDan Gohmanvoid Module::dump() const { print(errs(), 0); } 1951