AsmWriter.cpp revision 211a14e476abc9b864ab6a5d5e0bbb86d288b650
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" 26f3523592b21af09a5a0032f8261f2f61c302fbd9Chris Lattner#include "llvm/LLVMContext.h" 271224c386981f7948f298ed9ad444c40609570f2eDan Gohman#include "llvm/Operator.h" 280a9f7b9c3ebe7d0ec033462e1a7c9101279956f9Devang Patel#include "llvm/Metadata.h" 29f2d577b27a56a928fa3e77ab0cd83e7597751313Chris Lattner#include "llvm/Module.h" 30ef9b9a793949469cdaa4ab6d0173136229dcab7bReid Spencer#include "llvm/ValueSymbolTable.h" 3178d033e086e19e016273de014f9214aa6f3f844bReid Spencer#include "llvm/TypeSymbolTable.h" 32413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner#include "llvm/ADT/DenseSet.h" 33551ccae044b0ff658fe629dd67edd5ffe75d10e8Reid Spencer#include "llvm/ADT/StringExtras.h" 34551ccae044b0ff658fe629dd67edd5ffe75d10e8Reid Spencer#include "llvm/ADT/STLExtras.h" 358f487662869d10c866b9ebdccb8f6a7509d3ab56Bill Wendling#include "llvm/Support/CFG.h" 362d5988d9baba15ecf27b724937dbf44182a518a2Devang Patel#include "llvm/Support/Dwarf.h" 37ab7c09b6b6f4516a631fd6788918c237c83939afTorok Edwin#include "llvm/Support/ErrorHandling.h" 38cb6682fa44e13262bdef7dd22b4ba90f8c2e7b97Jim Laskey#include "llvm/Support/MathExtras.h" 39683e922d299bdfa9ec609bd58a0eed20568303f1Dan Gohman#include "llvm/Support/FormattedStream.h" 40007377f381e253cc559db8d3c94fa89b0eb55fadChris Lattner#include <algorithm> 414ad513ca153430c3a7f36be1ef43af04534e1f5dReid Spencer#include <cctype> 42923078c65d5a37a4f135705300c9feea49487de5Devang Patel#include <map> 4331f8499e83dc4dccbb57ea7e76d1fd49b7010d0cChris Lattnerusing namespace llvm; 44d0fde30ce850b78371fd1386338350591f9ff494Brian Gaeke 45edd5d9ece15f73ec1a31423a4ae39774aa6c521cReid Spencer// Make virtual table appear in this compilation unit. 46edd5d9ece15f73ec1a31423a4ae39774aa6c521cReid SpencerAssemblyAnnotationWriter::~AssemblyAnnotationWriter() {} 47edd5d9ece15f73ec1a31423a4ae39774aa6c521cReid Spencer 486ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner//===----------------------------------------------------------------------===// 496ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner// Helper Functions 506ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner//===----------------------------------------------------------------------===// 510e25e1cdcf1f73bb9f56b91155d5c0ef42ef0a44Reid Spencer 52207b5bc6a15e12a87c3c861da680b8b23559a34cChris Lattnerstatic const Module *getModuleFromVal(const Value *V) { 53949a3628024248db01d5b13e03c415e0c88e90e4Chris Lattner if (const Argument *MA = dyn_cast<Argument>(V)) 54207b5bc6a15e12a87c3c861da680b8b23559a34cChris Lattner return MA->getParent() ? MA->getParent()->getParent() : 0; 55a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar 566ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner if (const BasicBlock *BB = dyn_cast<BasicBlock>(V)) 57207b5bc6a15e12a87c3c861da680b8b23559a34cChris Lattner return BB->getParent() ? BB->getParent()->getParent() : 0; 58a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar 596ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner if (const Instruction *I = dyn_cast<Instruction>(V)) { 6079df7c0aaa18129e55968c8783ef8346807bd4afChris Lattner const Function *M = I->getParent() ? I->getParent()->getParent() : 0; 61207b5bc6a15e12a87c3c861da680b8b23559a34cChris Lattner return M ? M->getParent() : 0; 626ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner } 63a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar 646ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner if (const GlobalValue *GV = dyn_cast<GlobalValue>(V)) 65207b5bc6a15e12a87c3c861da680b8b23559a34cChris Lattner return GV->getParent(); 66207b5bc6a15e12a87c3c861da680b8b23559a34cChris Lattner return 0; 67207b5bc6a15e12a87c3c861da680b8b23559a34cChris Lattner} 68207b5bc6a15e12a87c3c861da680b8b23559a34cChris Lattner 69e9da133ae0a3ea5bbadd14f33c5005a4e25422eaDaniel Dunbar// PrintEscapedString - Print each character of the specified string, escaping 70e9da133ae0a3ea5bbadd14f33c5005a4e25422eaDaniel Dunbar// it if it is not printable or if it is an escape char. 71683e922d299bdfa9ec609bd58a0eed20568303f1Dan Gohmanstatic void PrintEscapedString(const StringRef &Name, 721220e10f70f89e0f8082344646d79805edf9025dDan Gohman raw_ostream &Out) { 7303d7651c3652e1f0cc86e79b26585d86818da9cfDaniel Dunbar for (unsigned i = 0, e = Name.size(); i != e; ++i) { 7403d7651c3652e1f0cc86e79b26585d86818da9cfDaniel Dunbar unsigned char C = Name[i]; 7534a408639fbdb41add1a86af689c73fb4e9947a8Nick Lewycky if (isprint(C) && C != '\\' && C != '"') 76e9da133ae0a3ea5bbadd14f33c5005a4e25422eaDaniel Dunbar Out << C; 77e9da133ae0a3ea5bbadd14f33c5005a4e25422eaDaniel Dunbar else 78e9da133ae0a3ea5bbadd14f33c5005a4e25422eaDaniel Dunbar Out << '\\' << hexdigit(C >> 4) << hexdigit(C & 0x0F); 79e9da133ae0a3ea5bbadd14f33c5005a4e25422eaDaniel Dunbar } 80e9da133ae0a3ea5bbadd14f33c5005a4e25422eaDaniel Dunbar} 81e9da133ae0a3ea5bbadd14f33c5005a4e25422eaDaniel Dunbar 82addd44427cb1b46d85f2eb31c267dd1d43914252Chris Lattnerenum PrefixType { 83addd44427cb1b46d85f2eb31c267dd1d43914252Chris Lattner GlobalPrefix, 84addd44427cb1b46d85f2eb31c267dd1d43914252Chris Lattner LabelPrefix, 85cad3580e99ae045e138a1d57de589a01c1f9b296Daniel Dunbar LocalPrefix, 86cad3580e99ae045e138a1d57de589a01c1f9b296Daniel Dunbar NoPrefix 87addd44427cb1b46d85f2eb31c267dd1d43914252Chris Lattner}; 88addd44427cb1b46d85f2eb31c267dd1d43914252Chris Lattner 89c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner/// PrintLLVMName - Turn the specified name into an 'LLVM name', which is either 90c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner/// prefixed with % (if the string only contains simple characters) or is 91c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner/// surrounded with ""'s (if it has special chars in it). Print it out. 921220e10f70f89e0f8082344646d79805edf9025dDan Gohmanstatic void PrintLLVMName(raw_ostream &OS, const StringRef &Name, 9303d7651c3652e1f0cc86e79b26585d86818da9cfDaniel Dunbar PrefixType Prefix) { 9403d7651c3652e1f0cc86e79b26585d86818da9cfDaniel Dunbar assert(Name.data() && "Cannot get empty name!"); 95c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner switch (Prefix) { 96c23197a26f34f559ea9797de51e187087c039c42Torok Edwin default: llvm_unreachable("Bad prefix!"); 97cad3580e99ae045e138a1d57de589a01c1f9b296Daniel Dunbar case NoPrefix: break; 9852b26de325e32c71159376853384789b7646eaf4Chris Lattner case GlobalPrefix: OS << '@'; break; 9952b26de325e32c71159376853384789b7646eaf4Chris Lattner case LabelPrefix: break; 10052b26de325e32c71159376853384789b7646eaf4Chris Lattner case LocalPrefix: OS << '%'; break; 101042348343e8c10b6cd60d2dca2b95ba27428ddc2Nick Lewycky } 102a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar 103c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner // Scan the name to see if it needs quotes first. 10403d7651c3652e1f0cc86e79b26585d86818da9cfDaniel Dunbar bool NeedsQuotes = isdigit(Name[0]); 105c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner if (!NeedsQuotes) { 10603d7651c3652e1f0cc86e79b26585d86818da9cfDaniel Dunbar for (unsigned i = 0, e = Name.size(); i != e; ++i) { 10703d7651c3652e1f0cc86e79b26585d86818da9cfDaniel Dunbar char C = Name[i]; 108c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner if (!isalnum(C) && C != '-' && C != '.' && C != '_') { 109c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner NeedsQuotes = true; 110c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner break; 111c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner } 112c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner } 113c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner } 114a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar 115c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner // If we didn't need any quotes, just write out the name in one blast. 116c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner if (!NeedsQuotes) { 11703d7651c3652e1f0cc86e79b26585d86818da9cfDaniel Dunbar OS << Name; 118c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner return; 119c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner } 120a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar 121c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner // Okay, we need quotes. Output the quotes and escape any scary characters as 122c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner // needed. 123c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner OS << '"'; 12403d7651c3652e1f0cc86e79b26585d86818da9cfDaniel Dunbar PrintEscapedString(Name, OS); 125c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner OS << '"'; 126c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner} 127c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner 1286ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner/// PrintLLVMName - Turn the specified name into an 'LLVM name', which is either 1296ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner/// prefixed with % (if the string only contains simple characters) or is 1306ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner/// surrounded with ""'s (if it has special chars in it). Print it out. 1311220e10f70f89e0f8082344646d79805edf9025dDan Gohmanstatic void PrintLLVMName(raw_ostream &OS, const Value *V) { 132a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar PrintLLVMName(OS, V->getName(), 133c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner isa<GlobalValue>(V) ? GlobalPrefix : LocalPrefix); 134c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner} 135c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner 1369cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner//===----------------------------------------------------------------------===// 1379cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner// TypePrinting Class: Type printing machinery 1389cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner//===----------------------------------------------------------------------===// 1399cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner 14087185e82f683cf3c046ddf974513d5a286422f5fChris Lattnerstatic DenseMap<const Type *, std::string> &getTypeNamesMap(void *M) { 14187185e82f683cf3c046ddf974513d5a286422f5fChris Lattner return *static_cast<DenseMap<const Type *, std::string>*>(M); 142d8030a7179a0d301dd3fb4c42c65a8f01dfe398eChris Lattner} 143d8030a7179a0d301dd3fb4c42c65a8f01dfe398eChris Lattner 144d8030a7179a0d301dd3fb4c42c65a8f01dfe398eChris Lattnervoid TypePrinting::clear() { 145d8030a7179a0d301dd3fb4c42c65a8f01dfe398eChris Lattner getTypeNamesMap(TypeNames).clear(); 146d8030a7179a0d301dd3fb4c42c65a8f01dfe398eChris Lattner} 1479cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner 148e9fa33eb6629aea72cd59560216bb6a7b8ebc689Chris Lattnerbool TypePrinting::hasTypeName(const Type *Ty) const { 149e9fa33eb6629aea72cd59560216bb6a7b8ebc689Chris Lattner return getTypeNamesMap(TypeNames).count(Ty); 150e9fa33eb6629aea72cd59560216bb6a7b8ebc689Chris Lattner} 151e9fa33eb6629aea72cd59560216bb6a7b8ebc689Chris Lattner 152e9fa33eb6629aea72cd59560216bb6a7b8ebc689Chris Lattnervoid TypePrinting::addTypeName(const Type *Ty, const std::string &N) { 153e9fa33eb6629aea72cd59560216bb6a7b8ebc689Chris Lattner getTypeNamesMap(TypeNames).insert(std::make_pair(Ty, N)); 154e9fa33eb6629aea72cd59560216bb6a7b8ebc689Chris Lattner} 155e9fa33eb6629aea72cd59560216bb6a7b8ebc689Chris Lattner 156e9fa33eb6629aea72cd59560216bb6a7b8ebc689Chris Lattner 157e9fa33eb6629aea72cd59560216bb6a7b8ebc689Chris LattnerTypePrinting::TypePrinting() { 15887185e82f683cf3c046ddf974513d5a286422f5fChris Lattner TypeNames = new DenseMap<const Type *, std::string>(); 1599cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner} 1609cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner 161d8030a7179a0d301dd3fb4c42c65a8f01dfe398eChris LattnerTypePrinting::~TypePrinting() { 162d8030a7179a0d301dd3fb4c42c65a8f01dfe398eChris Lattner delete &getTypeNamesMap(TypeNames); 163d8030a7179a0d301dd3fb4c42c65a8f01dfe398eChris Lattner} 164d8030a7179a0d301dd3fb4c42c65a8f01dfe398eChris Lattner 165534361e7e17b34c6ac043a2c8bea626a5e9f1657Chris Lattner/// CalcTypeName - Write the specified type to the specified raw_ostream, making 166534361e7e17b34c6ac043a2c8bea626a5e9f1657Chris Lattner/// use of type names or up references to shorten the type name where possible. 167534361e7e17b34c6ac043a2c8bea626a5e9f1657Chris Lattnervoid TypePrinting::CalcTypeName(const Type *Ty, 168b840cace77b2c6afe9106698b1cb003a04e53b41Chris Lattner SmallVectorImpl<const Type *> &TypeStack, 169d2b6cb0a2b6e5994ff871027617c5efd69f7e3adChris Lattner raw_ostream &OS, bool IgnoreTopLevelName) { 1709cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner // Check to see if the type is named. 171d2b6cb0a2b6e5994ff871027617c5efd69f7e3adChris Lattner if (!IgnoreTopLevelName) { 172042348343e8c10b6cd60d2dca2b95ba27428ddc2Nick Lewycky DenseMap<const Type *, std::string> &TM = getTypeNamesMap(TypeNames); 173d2b6cb0a2b6e5994ff871027617c5efd69f7e3adChris Lattner DenseMap<const Type *, std::string>::iterator I = TM.find(Ty); 174d2b6cb0a2b6e5994ff871027617c5efd69f7e3adChris Lattner if (I != TM.end()) { 175d2b6cb0a2b6e5994ff871027617c5efd69f7e3adChris Lattner OS << I->second; 176d2b6cb0a2b6e5994ff871027617c5efd69f7e3adChris Lattner return; 177d2b6cb0a2b6e5994ff871027617c5efd69f7e3adChris Lattner } 1789cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner } 179a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar 1809cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner // Check to see if the Type is already on the stack... 1819cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner unsigned Slot = 0, CurSize = TypeStack.size(); 1829cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner while (Slot < CurSize && TypeStack[Slot] != Ty) ++Slot; // Scan for type 183a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar 1849cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner // This is another base case for the recursion. In this case, we know 1859cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner // that we have looped back to a type that we have previously visited. 1869cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner // Generate the appropriate upreference to handle this. 1879cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner if (Slot < CurSize) { 18830794269d5ba15613d4e013d9fe1eb9e892fa6daChris Lattner OS << '\\' << unsigned(CurSize-Slot); // Here's the upreference 1899cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner return; 1909cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner } 191a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar 1929cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner TypeStack.push_back(Ty); // Recursive case: Add us to the stack.. 193a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar 1949cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner switch (Ty->getTypeID()) { 19530794269d5ba15613d4e013d9fe1eb9e892fa6daChris Lattner case Type::VoidTyID: OS << "void"; break; 19630794269d5ba15613d4e013d9fe1eb9e892fa6daChris Lattner case Type::FloatTyID: OS << "float"; break; 19730794269d5ba15613d4e013d9fe1eb9e892fa6daChris Lattner case Type::DoubleTyID: OS << "double"; break; 19830794269d5ba15613d4e013d9fe1eb9e892fa6daChris Lattner case Type::X86_FP80TyID: OS << "x86_fp80"; break; 19930794269d5ba15613d4e013d9fe1eb9e892fa6daChris Lattner case Type::FP128TyID: OS << "fp128"; break; 20030794269d5ba15613d4e013d9fe1eb9e892fa6daChris Lattner case Type::PPC_FP128TyID: OS << "ppc_fp128"; break; 20130794269d5ba15613d4e013d9fe1eb9e892fa6daChris Lattner case Type::LabelTyID: OS << "label"; break; 2027a0370f66ab5739f42ffe822f33494e0de9b182bNick Lewycky case Type::MetadataTyID: OS << "metadata"; break; 203583ffd878744e27b2ced28d67026c6ad83175ef2Chris Lattner case Type::IntegerTyID: 20430794269d5ba15613d4e013d9fe1eb9e892fa6daChris Lattner OS << 'i' << cast<IntegerType>(Ty)->getBitWidth(); 205583ffd878744e27b2ced28d67026c6ad83175ef2Chris Lattner break; 206a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar 20736942d7383df0ab00f7f5b16c04f330aedf5c9f1Chris Lattner case Type::FunctionTyID: { 20836942d7383df0ab00f7f5b16c04f330aedf5c9f1Chris Lattner const FunctionType *FTy = cast<FunctionType>(Ty); 20930794269d5ba15613d4e013d9fe1eb9e892fa6daChris Lattner CalcTypeName(FTy->getReturnType(), TypeStack, OS); 21030794269d5ba15613d4e013d9fe1eb9e892fa6daChris Lattner OS << " ("; 21136942d7383df0ab00f7f5b16c04f330aedf5c9f1Chris Lattner for (FunctionType::param_iterator I = FTy->param_begin(), 21236942d7383df0ab00f7f5b16c04f330aedf5c9f1Chris Lattner E = FTy->param_end(); I != E; ++I) { 21336942d7383df0ab00f7f5b16c04f330aedf5c9f1Chris Lattner if (I != FTy->param_begin()) 21430794269d5ba15613d4e013d9fe1eb9e892fa6daChris Lattner OS << ", "; 21530794269d5ba15613d4e013d9fe1eb9e892fa6daChris Lattner CalcTypeName(*I, TypeStack, OS); 2169cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner } 21736942d7383df0ab00f7f5b16c04f330aedf5c9f1Chris Lattner if (FTy->isVarArg()) { 21830794269d5ba15613d4e013d9fe1eb9e892fa6daChris Lattner if (FTy->getNumParams()) OS << ", "; 21930794269d5ba15613d4e013d9fe1eb9e892fa6daChris Lattner OS << "..."; 2209cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner } 22130794269d5ba15613d4e013d9fe1eb9e892fa6daChris Lattner OS << ')'; 22236942d7383df0ab00f7f5b16c04f330aedf5c9f1Chris Lattner break; 22336942d7383df0ab00f7f5b16c04f330aedf5c9f1Chris Lattner } 22436942d7383df0ab00f7f5b16c04f330aedf5c9f1Chris Lattner case Type::StructTyID: { 22536942d7383df0ab00f7f5b16c04f330aedf5c9f1Chris Lattner const StructType *STy = cast<StructType>(Ty); 22636942d7383df0ab00f7f5b16c04f330aedf5c9f1Chris Lattner if (STy->isPacked()) 22730794269d5ba15613d4e013d9fe1eb9e892fa6daChris Lattner OS << '<'; 22830794269d5ba15613d4e013d9fe1eb9e892fa6daChris Lattner OS << "{ "; 22936942d7383df0ab00f7f5b16c04f330aedf5c9f1Chris Lattner for (StructType::element_iterator I = STy->element_begin(), 23036942d7383df0ab00f7f5b16c04f330aedf5c9f1Chris Lattner E = STy->element_end(); I != E; ++I) { 23130794269d5ba15613d4e013d9fe1eb9e892fa6daChris Lattner CalcTypeName(*I, TypeStack, OS); 23236942d7383df0ab00f7f5b16c04f330aedf5c9f1Chris Lattner if (next(I) != STy->element_end()) 23330794269d5ba15613d4e013d9fe1eb9e892fa6daChris Lattner OS << ','; 23430794269d5ba15613d4e013d9fe1eb9e892fa6daChris Lattner OS << ' '; 2359cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner } 23630794269d5ba15613d4e013d9fe1eb9e892fa6daChris Lattner OS << '}'; 23736942d7383df0ab00f7f5b16c04f330aedf5c9f1Chris Lattner if (STy->isPacked()) 23830794269d5ba15613d4e013d9fe1eb9e892fa6daChris Lattner OS << '>'; 23936942d7383df0ab00f7f5b16c04f330aedf5c9f1Chris Lattner break; 24036942d7383df0ab00f7f5b16c04f330aedf5c9f1Chris Lattner } 24136942d7383df0ab00f7f5b16c04f330aedf5c9f1Chris Lattner case Type::PointerTyID: { 24236942d7383df0ab00f7f5b16c04f330aedf5c9f1Chris Lattner const PointerType *PTy = cast<PointerType>(Ty); 24330794269d5ba15613d4e013d9fe1eb9e892fa6daChris Lattner CalcTypeName(PTy->getElementType(), TypeStack, OS); 24436942d7383df0ab00f7f5b16c04f330aedf5c9f1Chris Lattner if (unsigned AddressSpace = PTy->getAddressSpace()) 24530794269d5ba15613d4e013d9fe1eb9e892fa6daChris Lattner OS << " addrspace(" << AddressSpace << ')'; 24630794269d5ba15613d4e013d9fe1eb9e892fa6daChris Lattner OS << '*'; 24736942d7383df0ab00f7f5b16c04f330aedf5c9f1Chris Lattner break; 24836942d7383df0ab00f7f5b16c04f330aedf5c9f1Chris Lattner } 24936942d7383df0ab00f7f5b16c04f330aedf5c9f1Chris Lattner case Type::ArrayTyID: { 25036942d7383df0ab00f7f5b16c04f330aedf5c9f1Chris Lattner const ArrayType *ATy = cast<ArrayType>(Ty); 25130794269d5ba15613d4e013d9fe1eb9e892fa6daChris Lattner OS << '[' << ATy->getNumElements() << " x "; 25230794269d5ba15613d4e013d9fe1eb9e892fa6daChris Lattner CalcTypeName(ATy->getElementType(), TypeStack, OS); 25330794269d5ba15613d4e013d9fe1eb9e892fa6daChris Lattner OS << ']'; 25436942d7383df0ab00f7f5b16c04f330aedf5c9f1Chris Lattner break; 25536942d7383df0ab00f7f5b16c04f330aedf5c9f1Chris Lattner } 25636942d7383df0ab00f7f5b16c04f330aedf5c9f1Chris Lattner case Type::VectorTyID: { 25736942d7383df0ab00f7f5b16c04f330aedf5c9f1Chris Lattner const VectorType *PTy = cast<VectorType>(Ty); 25830794269d5ba15613d4e013d9fe1eb9e892fa6daChris Lattner OS << "<" << PTy->getNumElements() << " x "; 25930794269d5ba15613d4e013d9fe1eb9e892fa6daChris Lattner CalcTypeName(PTy->getElementType(), TypeStack, OS); 26030794269d5ba15613d4e013d9fe1eb9e892fa6daChris Lattner OS << '>'; 26136942d7383df0ab00f7f5b16c04f330aedf5c9f1Chris Lattner break; 26236942d7383df0ab00f7f5b16c04f330aedf5c9f1Chris Lattner } 26336942d7383df0ab00f7f5b16c04f330aedf5c9f1Chris Lattner case Type::OpaqueTyID: 26430794269d5ba15613d4e013d9fe1eb9e892fa6daChris Lattner OS << "opaque"; 26536942d7383df0ab00f7f5b16c04f330aedf5c9f1Chris Lattner break; 26636942d7383df0ab00f7f5b16c04f330aedf5c9f1Chris Lattner default: 26730794269d5ba15613d4e013d9fe1eb9e892fa6daChris Lattner OS << "<unrecognized-type>"; 26836942d7383df0ab00f7f5b16c04f330aedf5c9f1Chris Lattner break; 2699cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner } 270a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar 271534361e7e17b34c6ac043a2c8bea626a5e9f1657Chris Lattner TypeStack.pop_back(); // Remove self from stack. 2729cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner} 2739cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner 2749cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner/// printTypeInt - The internal guts of printing out a type that has a 2759cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner/// potentially named portion. 2769cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner/// 277d2b6cb0a2b6e5994ff871027617c5efd69f7e3adChris Lattnervoid TypePrinting::print(const Type *Ty, raw_ostream &OS, 278d2b6cb0a2b6e5994ff871027617c5efd69f7e3adChris Lattner bool IgnoreTopLevelName) { 2799cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner // Check to see if the type is named. 28087185e82f683cf3c046ddf974513d5a286422f5fChris Lattner DenseMap<const Type*, std::string> &TM = getTypeNamesMap(TypeNames); 281d2b6cb0a2b6e5994ff871027617c5efd69f7e3adChris Lattner if (!IgnoreTopLevelName) { 282d2b6cb0a2b6e5994ff871027617c5efd69f7e3adChris Lattner DenseMap<const Type*, std::string>::iterator I = TM.find(Ty); 283d2b6cb0a2b6e5994ff871027617c5efd69f7e3adChris Lattner if (I != TM.end()) { 284d2b6cb0a2b6e5994ff871027617c5efd69f7e3adChris Lattner OS << I->second; 285d2b6cb0a2b6e5994ff871027617c5efd69f7e3adChris Lattner return; 286d2b6cb0a2b6e5994ff871027617c5efd69f7e3adChris Lattner } 2879cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner } 288a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar 2899cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner // Otherwise we have a type that has not been named but is a derived type. 2909cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner // Carefully recurse the type hierarchy to print out any contained symbolic 2919cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner // names. 292b840cace77b2c6afe9106698b1cb003a04e53b41Chris Lattner SmallVector<const Type *, 16> TypeStack; 2939cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner std::string TypeName; 294a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar 295534361e7e17b34c6ac043a2c8bea626a5e9f1657Chris Lattner raw_string_ostream TypeOS(TypeName); 296d2b6cb0a2b6e5994ff871027617c5efd69f7e3adChris Lattner CalcTypeName(Ty, TypeStack, TypeOS, IgnoreTopLevelName); 297534361e7e17b34c6ac043a2c8bea626a5e9f1657Chris Lattner OS << TypeOS.str(); 298534361e7e17b34c6ac043a2c8bea626a5e9f1657Chris Lattner 299534361e7e17b34c6ac043a2c8bea626a5e9f1657Chris Lattner // Cache type name for later use. 300d2b6cb0a2b6e5994ff871027617c5efd69f7e3adChris Lattner if (!IgnoreTopLevelName) 301d2b6cb0a2b6e5994ff871027617c5efd69f7e3adChris Lattner TM.insert(std::make_pair(Ty, TypeOS.str())); 3029cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner} 3039cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner 304413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattnernamespace { 305413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner class TypeFinder { 306413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner // To avoid walking constant expressions multiple times and other IR 307413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner // objects, we keep several helper maps. 308413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner DenseSet<const Value*> VisitedConstants; 309413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner DenseSet<const Type*> VisitedTypes; 310a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar 311413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner TypePrinting &TP; 312413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner std::vector<const Type*> &NumberedTypes; 313413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner public: 314413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner TypeFinder(TypePrinting &tp, std::vector<const Type*> &numberedTypes) 315413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner : TP(tp), NumberedTypes(numberedTypes) {} 316a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar 317413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner void Run(const Module &M) { 318884858608b0107df56e671406d280e9617988f36Chris Lattner // Get types from the type symbol table. This gets opaque types referened 319884858608b0107df56e671406d280e9617988f36Chris Lattner // only through derived named types. 320884858608b0107df56e671406d280e9617988f36Chris Lattner const TypeSymbolTable &ST = M.getTypeSymbolTable(); 321884858608b0107df56e671406d280e9617988f36Chris Lattner for (TypeSymbolTable::const_iterator TI = ST.begin(), E = ST.end(); 322884858608b0107df56e671406d280e9617988f36Chris Lattner TI != E; ++TI) 323884858608b0107df56e671406d280e9617988f36Chris Lattner IncorporateType(TI->second); 324a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar 325413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner // Get types from global variables. 326413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner for (Module::const_global_iterator I = M.global_begin(), 327413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner E = M.global_end(); I != E; ++I) { 328413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner IncorporateType(I->getType()); 329413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner if (I->hasInitializer()) 330413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner IncorporateValue(I->getInitializer()); 331413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner } 332a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar 333413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner // Get types from aliases. 334413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner for (Module::const_alias_iterator I = M.alias_begin(), 335413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner E = M.alias_end(); I != E; ++I) { 336413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner IncorporateType(I->getType()); 337413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner IncorporateValue(I->getAliasee()); 338413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner } 339a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar 340413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner // Get types from functions. 341413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner for (Module::const_iterator FI = M.begin(), E = M.end(); FI != E; ++FI) { 342413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner IncorporateType(FI->getType()); 343a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar 344413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner for (Function::const_iterator BB = FI->begin(), E = FI->end(); 345413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner BB != E;++BB) 346413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner for (BasicBlock::const_iterator II = BB->begin(), 347413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner E = BB->end(); II != E; ++II) { 348413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner const Instruction &I = *II; 349413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner // Incorporate the type of the instruction and all its operands. 350413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner IncorporateType(I.getType()); 351413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner for (User::const_op_iterator OI = I.op_begin(), OE = I.op_end(); 352413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner OI != OE; ++OI) 353413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner IncorporateValue(*OI); 354413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner } 355413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner } 356413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner } 357a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar 358413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner private: 359413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner void IncorporateType(const Type *Ty) { 360413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner // Check to see if we're already visited this type. 361884858608b0107df56e671406d280e9617988f36Chris Lattner if (!VisitedTypes.insert(Ty).second) 362413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner return; 363a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar 364413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner // If this is a structure or opaque type, add a name for the type. 36521cc4460efa104e8591b05a90f20130291614344Nick Lewycky if (((isa<StructType>(Ty) && cast<StructType>(Ty)->getNumElements()) 36621cc4460efa104e8591b05a90f20130291614344Nick Lewycky || isa<OpaqueType>(Ty)) && !TP.hasTypeName(Ty)) { 367413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner TP.addTypeName(Ty, "%"+utostr(unsigned(NumberedTypes.size()))); 368413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner NumberedTypes.push_back(Ty); 369413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner } 370a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar 371413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner // Recursively walk all contained types. 372413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner for (Type::subtype_iterator I = Ty->subtype_begin(), 373413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner E = Ty->subtype_end(); I != E; ++I) 374a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar IncorporateType(*I); 375413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner } 376a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar 377413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner /// IncorporateValue - This method is used to walk operand lists finding 378413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner /// types hiding in constant expressions and other operands that won't be 379413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner /// walked in other ways. GlobalValues, basic blocks, instructions, and 380413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner /// inst operands are all explicitly enumerated. 381413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner void IncorporateValue(const Value *V) { 382413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner if (V == 0 || !isa<Constant>(V) || isa<GlobalValue>(V)) return; 383a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar 384413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner // Already visited? 385413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner if (!VisitedConstants.insert(V).second) 386413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner return; 387a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar 388413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner // Check this type. 389413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner IncorporateType(V->getType()); 390a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar 391413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner // Look in operands for types. 392413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner const Constant *C = cast<Constant>(V); 393413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner for (Constant::const_op_iterator I = C->op_begin(), 394413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner E = C->op_end(); I != E;++I) 395413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner IncorporateValue(*I); 396413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner } 397413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner }; 398413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner} // end anonymous namespace 399413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner 400413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner 401413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner/// AddModuleTypesToPrinter - Add all of the symbolic type names for types in 402413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner/// the specified module to the TypePrinter and all numbered types to it and the 403413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner/// NumberedTypes table. 404a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbarstatic void AddModuleTypesToPrinter(TypePrinting &TP, 405413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner std::vector<const Type*> &NumberedTypes, 406413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner const Module *M) { 407e9fa33eb6629aea72cd59560216bb6a7b8ebc689Chris Lattner if (M == 0) return; 408a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar 409e9fa33eb6629aea72cd59560216bb6a7b8ebc689Chris Lattner // If the module has a symbol table, take all global types and stuff their 410e9fa33eb6629aea72cd59560216bb6a7b8ebc689Chris Lattner // names into the TypeNames map. 411e9fa33eb6629aea72cd59560216bb6a7b8ebc689Chris Lattner const TypeSymbolTable &ST = M->getTypeSymbolTable(); 412e9fa33eb6629aea72cd59560216bb6a7b8ebc689Chris Lattner for (TypeSymbolTable::const_iterator TI = ST.begin(), E = ST.end(); 413e9fa33eb6629aea72cd59560216bb6a7b8ebc689Chris Lattner TI != E; ++TI) { 414e9fa33eb6629aea72cd59560216bb6a7b8ebc689Chris Lattner const Type *Ty = cast<Type>(TI->second); 415a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar 416e9fa33eb6629aea72cd59560216bb6a7b8ebc689Chris Lattner // As a heuristic, don't insert pointer to primitive types, because 417e9fa33eb6629aea72cd59560216bb6a7b8ebc689Chris Lattner // they are used too often to have a single useful name. 418e9fa33eb6629aea72cd59560216bb6a7b8ebc689Chris Lattner if (const PointerType *PTy = dyn_cast<PointerType>(Ty)) { 419e9fa33eb6629aea72cd59560216bb6a7b8ebc689Chris Lattner const Type *PETy = PTy->getElementType(); 420e9fa33eb6629aea72cd59560216bb6a7b8ebc689Chris Lattner if ((PETy->isPrimitiveType() || PETy->isInteger()) && 421e9fa33eb6629aea72cd59560216bb6a7b8ebc689Chris Lattner !isa<OpaqueType>(PETy)) 422e9fa33eb6629aea72cd59560216bb6a7b8ebc689Chris Lattner continue; 423e9fa33eb6629aea72cd59560216bb6a7b8ebc689Chris Lattner } 424a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar 425e9fa33eb6629aea72cd59560216bb6a7b8ebc689Chris Lattner // Likewise don't insert primitives either. 426e9fa33eb6629aea72cd59560216bb6a7b8ebc689Chris Lattner if (Ty->isInteger() || Ty->isPrimitiveType()) 427e9fa33eb6629aea72cd59560216bb6a7b8ebc689Chris Lattner continue; 428a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar 429e9fa33eb6629aea72cd59560216bb6a7b8ebc689Chris Lattner // Get the name as a string and insert it into TypeNames. 430e9fa33eb6629aea72cd59560216bb6a7b8ebc689Chris Lattner std::string NameStr; 431683e922d299bdfa9ec609bd58a0eed20568303f1Dan Gohman raw_string_ostream NameROS(NameStr); 432683e922d299bdfa9ec609bd58a0eed20568303f1Dan Gohman formatted_raw_ostream NameOS(NameROS); 43303d7651c3652e1f0cc86e79b26585d86818da9cfDaniel Dunbar PrintLLVMName(NameOS, TI->first, LocalPrefix); 434683e922d299bdfa9ec609bd58a0eed20568303f1Dan Gohman NameOS.flush(); 435683e922d299bdfa9ec609bd58a0eed20568303f1Dan Gohman TP.addTypeName(Ty, NameStr); 436e9fa33eb6629aea72cd59560216bb6a7b8ebc689Chris Lattner } 437a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar 438413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner // Walk the entire module to find references to unnamed structure and opaque 439413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner // types. This is required for correctness by opaque types (because multiple 440413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner // uses of an unnamed opaque type needs to be referred to by the same ID) and 441413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner // it shrinks complex recursive structure types substantially in some cases. 442413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner TypeFinder(TP, NumberedTypes).Run(*M); 443e9fa33eb6629aea72cd59560216bb6a7b8ebc689Chris Lattner} 444e9fa33eb6629aea72cd59560216bb6a7b8ebc689Chris Lattner 4459cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner 4469cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner/// WriteTypeSymbolic - This attempts to write the specified type as a symbolic 4479cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner/// type, iff there is an entry in the modules symbol table for the specified 448c287137ce7455c63be0075e0d5aba0bab4f125eaChris Lattner/// type or one of it's component types. 4499cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner/// 450e9fa33eb6629aea72cd59560216bb6a7b8ebc689Chris Lattnervoid llvm::WriteTypeSymbolic(raw_ostream &OS, const Type *Ty, const Module *M) { 451e9fa33eb6629aea72cd59560216bb6a7b8ebc689Chris Lattner TypePrinting Printer; 452413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner std::vector<const Type*> NumberedTypes; 453413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner AddModuleTypesToPrinter(Printer, NumberedTypes, M); 454e9fa33eb6629aea72cd59560216bb6a7b8ebc689Chris Lattner Printer.print(Ty, OS); 4559cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner} 4569cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner 4576ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner//===----------------------------------------------------------------------===// 4586ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner// SlotTracker Class: Enumerate slot numbers for unnamed values 4596ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner//===----------------------------------------------------------------------===// 4606ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 4616ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattnernamespace { 4626ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 4636ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner/// This class provides computation of slot numbers for LLVM Assembly writing. 4646ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner/// 4656ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattnerclass SlotTracker { 4666ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattnerpublic: 467320671d2654a543bbeed5b62efe165430146d55eDevang Patel /// ValueMap - A mapping of Values to slot numbers. 4686ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner typedef DenseMap<const Value*, unsigned> ValueMap; 469a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar 470a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbarprivate: 471320671d2654a543bbeed5b62efe165430146d55eDevang Patel /// TheModule - The module for which we are holding slot numbers. 4726ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner const Module* TheModule; 473a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar 474320671d2654a543bbeed5b62efe165430146d55eDevang Patel /// TheFunction - The function for which we are holding slot numbers. 4756ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner const Function* TheFunction; 4766ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner bool FunctionProcessed; 477a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar 478320671d2654a543bbeed5b62efe165430146d55eDevang Patel /// TheMDNode - The MDNode for which we are holding slot numbers. 479320671d2654a543bbeed5b62efe165430146d55eDevang Patel const MDNode *TheMDNode; 480320671d2654a543bbeed5b62efe165430146d55eDevang Patel 481c29d5b378ece00608ec96a5ccd2b0f53999f1957Devang Patel /// TheNamedMDNode - The MDNode for which we are holding slot numbers. 482c29d5b378ece00608ec96a5ccd2b0f53999f1957Devang Patel const NamedMDNode *TheNamedMDNode; 483c29d5b378ece00608ec96a5ccd2b0f53999f1957Devang Patel 484320671d2654a543bbeed5b62efe165430146d55eDevang Patel /// mMap - The TypePlanes map for the module level data. 4856ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner ValueMap mMap; 4866ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner unsigned mNext; 487a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar 488320671d2654a543bbeed5b62efe165430146d55eDevang Patel /// fMap - The TypePlanes map for the function level data. 4896ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner ValueMap fMap; 4906ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner unsigned fNext; 491a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar 492320671d2654a543bbeed5b62efe165430146d55eDevang Patel /// mdnMap - Map for MDNodes. 493320671d2654a543bbeed5b62efe165430146d55eDevang Patel ValueMap mdnMap; 494320671d2654a543bbeed5b62efe165430146d55eDevang Patel unsigned mdnNext; 4956ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattnerpublic: 4966ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner /// Construct from a module 4976ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner explicit SlotTracker(const Module *M); 4986ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner /// Construct from a function, starting out in incorp state. 4996ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner explicit SlotTracker(const Function *F); 500320671d2654a543bbeed5b62efe165430146d55eDevang Patel /// Construct from a mdnode. 501320671d2654a543bbeed5b62efe165430146d55eDevang Patel explicit SlotTracker(const MDNode *N); 502c29d5b378ece00608ec96a5ccd2b0f53999f1957Devang Patel /// Construct from a named mdnode. 503c29d5b378ece00608ec96a5ccd2b0f53999f1957Devang Patel explicit SlotTracker(const NamedMDNode *N); 5046ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 5056ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner /// Return the slot number of the specified value in it's type 5066ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner /// plane. If something is not in the SlotTracker, return -1. 5076ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner int getLocalSlot(const Value *V); 5086ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner int getGlobalSlot(const GlobalValue *V); 509320671d2654a543bbeed5b62efe165430146d55eDevang Patel int getMetadataSlot(const MDNode *N); 5106ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 5116ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner /// If you'd like to deal with a function instead of just a module, use 5126ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner /// this method to get its data into the SlotTracker. 5136ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner void incorporateFunction(const Function *F) { 5146ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner TheFunction = F; 5156ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner FunctionProcessed = false; 5166ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner } 5176ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 5186ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner /// After calling incorporateFunction, use this method to remove the 5196ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner /// most recently incorporated function from the SlotTracker. This 5206ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner /// will reset the state of the machine back to just the module contents. 5216ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner void purgeFunction(); 5226ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 523320671d2654a543bbeed5b62efe165430146d55eDevang Patel /// MDNode map iterators. 524320671d2654a543bbeed5b62efe165430146d55eDevang Patel ValueMap::iterator mdnBegin() { return mdnMap.begin(); } 525320671d2654a543bbeed5b62efe165430146d55eDevang Patel ValueMap::iterator mdnEnd() { return mdnMap.end(); } 5269bf0b9bd44d356690e936ae16bec2c115c7d9f5fDan Gohman unsigned mdnSize() const { return mdnMap.size(); } 5279bf0b9bd44d356690e936ae16bec2c115c7d9f5fDan Gohman bool mdnEmpty() const { return mdnMap.empty(); } 528320671d2654a543bbeed5b62efe165430146d55eDevang Patel 5296ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner /// This function does the actual initialization. 5306ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner inline void initialize(); 5316ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 532320671d2654a543bbeed5b62efe165430146d55eDevang Patel // Implementation Details 533320671d2654a543bbeed5b62efe165430146d55eDevang Patelprivate: 5346ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner /// CreateModuleSlot - Insert the specified GlobalValue* into the slot table. 5356ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner void CreateModuleSlot(const GlobalValue *V); 536320671d2654a543bbeed5b62efe165430146d55eDevang Patel 537320671d2654a543bbeed5b62efe165430146d55eDevang Patel /// CreateMetadataSlot - Insert the specified MDNode* into the slot table. 538320671d2654a543bbeed5b62efe165430146d55eDevang Patel void CreateMetadataSlot(const MDNode *N); 539320671d2654a543bbeed5b62efe165430146d55eDevang Patel 5406ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner /// CreateFunctionSlot - Insert the specified Value* into the slot table. 5416ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner void CreateFunctionSlot(const Value *V); 5426ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 5436ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner /// Add all of the module level global variables (and their initializers) 5446ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner /// and function declarations, but not the contents of those functions. 5456ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner void processModule(); 5466ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 547320671d2654a543bbeed5b62efe165430146d55eDevang Patel /// Add all of the functions arguments, basic blocks, and instructions. 5486ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner void processFunction(); 5496ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 550320671d2654a543bbeed5b62efe165430146d55eDevang Patel /// Add all MDNode operands. 551320671d2654a543bbeed5b62efe165430146d55eDevang Patel void processMDNode(); 552320671d2654a543bbeed5b62efe165430146d55eDevang Patel 553c29d5b378ece00608ec96a5ccd2b0f53999f1957Devang Patel /// Add all MDNode operands. 554c29d5b378ece00608ec96a5ccd2b0f53999f1957Devang Patel void processNamedMDNode(); 555c29d5b378ece00608ec96a5ccd2b0f53999f1957Devang Patel 5566ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner SlotTracker(const SlotTracker &); // DO NOT IMPLEMENT 5576ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner void operator=(const SlotTracker &); // DO NOT IMPLEMENT 5586ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner}; 5596ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 5606ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner} // end anonymous namespace 5616ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 5626ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 5636ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattnerstatic SlotTracker *createSlotTracker(const Value *V) { 5646ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner if (const Argument *FA = dyn_cast<Argument>(V)) 5656ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner return new SlotTracker(FA->getParent()); 566a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar 5676ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner if (const Instruction *I = dyn_cast<Instruction>(V)) 5686ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner return new SlotTracker(I->getParent()->getParent()); 569a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar 5706ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner if (const BasicBlock *BB = dyn_cast<BasicBlock>(V)) 5716ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner return new SlotTracker(BB->getParent()); 572a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar 5736ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner if (const GlobalVariable *GV = dyn_cast<GlobalVariable>(V)) 5746ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner return new SlotTracker(GV->getParent()); 575a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar 5766ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner if (const GlobalAlias *GA = dyn_cast<GlobalAlias>(V)) 577a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar return new SlotTracker(GA->getParent()); 578a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar 5796ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner if (const Function *Func = dyn_cast<Function>(V)) 5806ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner return new SlotTracker(Func); 581a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar 5826ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner return 0; 5836ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner} 5846ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 5856ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner#if 0 586fd87a544c00c2ca04ee23aae67bbcad4dc852a54Dan Gohman#define ST_DEBUG(X) errs() << X 5876ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner#else 588242330371b2b7ab9d5a6c4f5f93ec82c514cc09aChris Lattner#define ST_DEBUG(X) 5896ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner#endif 5906ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 5916ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner// Module level constructor. Causes the contents of the Module (sans functions) 5926ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner// to be added to the slot table. 5936ab910b946b6af54384662fb404d6e9b22fa5727Chris LattnerSlotTracker::SlotTracker(const Module *M) 594320671d2654a543bbeed5b62efe165430146d55eDevang Patel : TheModule(M), TheFunction(0), FunctionProcessed(false), TheMDNode(0), 595c29d5b378ece00608ec96a5ccd2b0f53999f1957Devang Patel TheNamedMDNode(0), mNext(0), fNext(0), mdnNext(0) { 5966ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner} 5976ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 5986ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner// Function level constructor. Causes the contents of the Module and the one 5996ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner// function provided to be added to the slot table. 6006ab910b946b6af54384662fb404d6e9b22fa5727Chris LattnerSlotTracker::SlotTracker(const Function *F) 601cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner : TheModule(F ? F->getParent() : 0), TheFunction(F), FunctionProcessed(false), 602c29d5b378ece00608ec96a5ccd2b0f53999f1957Devang Patel TheMDNode(0), TheNamedMDNode(0), mNext(0), fNext(0), mdnNext(0) { 603320671d2654a543bbeed5b62efe165430146d55eDevang Patel} 604320671d2654a543bbeed5b62efe165430146d55eDevang Patel 605320671d2654a543bbeed5b62efe165430146d55eDevang Patel// Constructor to handle single MDNode. 606320671d2654a543bbeed5b62efe165430146d55eDevang PatelSlotTracker::SlotTracker(const MDNode *C) 607320671d2654a543bbeed5b62efe165430146d55eDevang Patel : TheModule(0), TheFunction(0), FunctionProcessed(false), TheMDNode(C), 608c29d5b378ece00608ec96a5ccd2b0f53999f1957Devang Patel TheNamedMDNode(0), mNext(0), fNext(0), mdnNext(0) { 609c29d5b378ece00608ec96a5ccd2b0f53999f1957Devang Patel} 610c29d5b378ece00608ec96a5ccd2b0f53999f1957Devang Patel 611c29d5b378ece00608ec96a5ccd2b0f53999f1957Devang Patel// Constructor to handle single NamedMDNode. 612c29d5b378ece00608ec96a5ccd2b0f53999f1957Devang PatelSlotTracker::SlotTracker(const NamedMDNode *N) 613c29d5b378ece00608ec96a5ccd2b0f53999f1957Devang Patel : TheModule(0), TheFunction(0), FunctionProcessed(false), TheMDNode(0), 614c29d5b378ece00608ec96a5ccd2b0f53999f1957Devang Patel TheNamedMDNode(N), mNext(0), fNext(0), mdnNext(0) { 6156ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner} 6166ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 6176ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattnerinline void SlotTracker::initialize() { 6186ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner if (TheModule) { 6196ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner processModule(); 6206ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner TheModule = 0; ///< Prevent re-processing next time we're called. 6216ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner } 622a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar 6236ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner if (TheFunction && !FunctionProcessed) 6246ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner processFunction(); 625320671d2654a543bbeed5b62efe165430146d55eDevang Patel 626320671d2654a543bbeed5b62efe165430146d55eDevang Patel if (TheMDNode) 627320671d2654a543bbeed5b62efe165430146d55eDevang Patel processMDNode(); 628c29d5b378ece00608ec96a5ccd2b0f53999f1957Devang Patel 629c29d5b378ece00608ec96a5ccd2b0f53999f1957Devang Patel if (TheNamedMDNode) 630c29d5b378ece00608ec96a5ccd2b0f53999f1957Devang Patel processNamedMDNode(); 6316ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner} 6326ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 6336ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner// Iterate through all the global variables, functions, and global 6346ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner// variable initializers and create slots for them. 6356ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattnervoid SlotTracker::processModule() { 636242330371b2b7ab9d5a6c4f5f93ec82c514cc09aChris Lattner ST_DEBUG("begin processModule!\n"); 637a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar 6386ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner // Add all of the unnamed global variables to the value table. 6396ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner for (Module::const_global_iterator I = TheModule->global_begin(), 640320671d2654a543bbeed5b62efe165430146d55eDevang Patel E = TheModule->global_end(); I != E; ++I) { 641a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar if (!I->hasName()) 6426ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner CreateModuleSlot(I); 643320671d2654a543bbeed5b62efe165430146d55eDevang Patel if (I->hasInitializer()) { 644a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar if (MDNode *N = dyn_cast<MDNode>(I->getInitializer())) 645320671d2654a543bbeed5b62efe165430146d55eDevang Patel CreateMetadataSlot(N); 646320671d2654a543bbeed5b62efe165430146d55eDevang Patel } 647320671d2654a543bbeed5b62efe165430146d55eDevang Patel } 648a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar 64937c4a2d6f15ff32c9ae91e333d655a349e195993Devang Patel // Add metadata used by named metadata. 650a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar for (Module::const_named_metadata_iterator 65137c4a2d6f15ff32c9ae91e333d655a349e195993Devang Patel I = TheModule->named_metadata_begin(), 65237c4a2d6f15ff32c9ae91e333d655a349e195993Devang Patel E = TheModule->named_metadata_end(); I != E; ++I) { 65337c4a2d6f15ff32c9ae91e333d655a349e195993Devang Patel const NamedMDNode *NMD = I; 65437c4a2d6f15ff32c9ae91e333d655a349e195993Devang Patel for (unsigned i = 0, e = NMD->getNumElements(); i != e; ++i) { 65537c4a2d6f15ff32c9ae91e333d655a349e195993Devang Patel MDNode *MD = dyn_cast_or_null<MDNode>(NMD->getElement(i)); 656e8861b840bf388945d876f97cf2ff6fcbf310790Devang Patel if (MD) 657e8861b840bf388945d876f97cf2ff6fcbf310790Devang Patel CreateMetadataSlot(MD); 65837c4a2d6f15ff32c9ae91e333d655a349e195993Devang Patel } 65937c4a2d6f15ff32c9ae91e333d655a349e195993Devang Patel } 66037c4a2d6f15ff32c9ae91e333d655a349e195993Devang Patel 6616ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner // Add all the unnamed functions to the table. 6626ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner for (Module::const_iterator I = TheModule->begin(), E = TheModule->end(); 6636ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner I != E; ++I) 6646ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner if (!I->hasName()) 6656ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner CreateModuleSlot(I); 666a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar 667242330371b2b7ab9d5a6c4f5f93ec82c514cc09aChris Lattner ST_DEBUG("end processModule!\n"); 6686ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner} 6696ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 6706ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner// Process the arguments, basic blocks, and instructions of a function. 6716ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattnervoid SlotTracker::processFunction() { 672242330371b2b7ab9d5a6c4f5f93ec82c514cc09aChris Lattner ST_DEBUG("begin processFunction!\n"); 6736ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner fNext = 0; 674a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar 6756ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner // Add all the function arguments with no names. 6766ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner for(Function::const_arg_iterator AI = TheFunction->arg_begin(), 6776ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner AE = TheFunction->arg_end(); AI != AE; ++AI) 6786ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner if (!AI->hasName()) 6796ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner CreateFunctionSlot(AI); 680a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar 681242330371b2b7ab9d5a6c4f5f93ec82c514cc09aChris Lattner ST_DEBUG("Inserting Instructions:\n"); 682a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar 683e30e678865b8dc1b69ef1c26e7567ffd1300553cDevang Patel MetadataContext &TheMetadata = TheFunction->getContext().getMetadata(); 684f61b2371c8ec6e0ff2da8f2bd2a606ba755bb2feDevang Patel typedef SmallVector<std::pair<unsigned, TrackingVH<MDNode> >, 2> MDMapTy; 685f61b2371c8ec6e0ff2da8f2bd2a606ba755bb2feDevang Patel MDMapTy MDs; 68643215788d5d79a0a336ca85442d7c8a45552dd7aDevang Patel 6876ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner // Add all of the basic blocks and instructions with no names. 6886ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner for (Function::const_iterator BB = TheFunction->begin(), 6896ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner E = TheFunction->end(); BB != E; ++BB) { 6906ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner if (!BB->hasName()) 6916ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner CreateFunctionSlot(BB); 692a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar for (BasicBlock::const_iterator I = BB->begin(), E = BB->end(); I != E; 693320671d2654a543bbeed5b62efe165430146d55eDevang Patel ++I) { 6941d0be15f89cb5056e20e2d24faa8d6afb1573bcaOwen Anderson if (I->getType() != Type::getVoidTy(TheFunction->getContext()) && 6951d0be15f89cb5056e20e2d24faa8d6afb1573bcaOwen Anderson !I->hasName()) 6966ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner CreateFunctionSlot(I); 697a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar for (unsigned i = 0, e = I->getNumOperands(); i != e; ++i) 698ff7707e98393255e23a66f3f6689cdcf59197548Victor Hernandez if (MDNode *N = dyn_cast_or_null<MDNode>(I->getOperand(i))) 699320671d2654a543bbeed5b62efe165430146d55eDevang Patel CreateMetadataSlot(N); 700a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar 70143215788d5d79a0a336ca85442d7c8a45552dd7aDevang Patel // Process metadata attached with this instruction. 702f61b2371c8ec6e0ff2da8f2bd2a606ba755bb2feDevang Patel MDs.clear(); 703f61b2371c8ec6e0ff2da8f2bd2a606ba755bb2feDevang Patel TheMetadata.getMDs(I, MDs); 704f61b2371c8ec6e0ff2da8f2bd2a606ba755bb2feDevang Patel for (MDMapTy::const_iterator MI = MDs.begin(), ME = MDs.end(); MI != ME; 705f61b2371c8ec6e0ff2da8f2bd2a606ba755bb2feDevang Patel ++MI) 706f61b2371c8ec6e0ff2da8f2bd2a606ba755bb2feDevang Patel CreateMetadataSlot(MI->second); 707320671d2654a543bbeed5b62efe165430146d55eDevang Patel } 7086ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner } 70943215788d5d79a0a336ca85442d7c8a45552dd7aDevang Patel 7106ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner FunctionProcessed = true; 711a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar 712242330371b2b7ab9d5a6c4f5f93ec82c514cc09aChris Lattner ST_DEBUG("end processFunction!\n"); 7136ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner} 7146ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 715320671d2654a543bbeed5b62efe165430146d55eDevang Patel/// processMDNode - Process TheMDNode. 716320671d2654a543bbeed5b62efe165430146d55eDevang Patelvoid SlotTracker::processMDNode() { 717320671d2654a543bbeed5b62efe165430146d55eDevang Patel ST_DEBUG("begin processMDNode!\n"); 718320671d2654a543bbeed5b62efe165430146d55eDevang Patel mdnNext = 0; 719320671d2654a543bbeed5b62efe165430146d55eDevang Patel CreateMetadataSlot(TheMDNode); 720320671d2654a543bbeed5b62efe165430146d55eDevang Patel TheMDNode = 0; 721320671d2654a543bbeed5b62efe165430146d55eDevang Patel ST_DEBUG("end processMDNode!\n"); 722320671d2654a543bbeed5b62efe165430146d55eDevang Patel} 723320671d2654a543bbeed5b62efe165430146d55eDevang Patel 724c29d5b378ece00608ec96a5ccd2b0f53999f1957Devang Patel/// processNamedMDNode - Process TheNamedMDNode. 725c29d5b378ece00608ec96a5ccd2b0f53999f1957Devang Patelvoid SlotTracker::processNamedMDNode() { 726c29d5b378ece00608ec96a5ccd2b0f53999f1957Devang Patel ST_DEBUG("begin processNamedMDNode!\n"); 727c29d5b378ece00608ec96a5ccd2b0f53999f1957Devang Patel mdnNext = 0; 728c29d5b378ece00608ec96a5ccd2b0f53999f1957Devang Patel for (unsigned i = 0, e = TheNamedMDNode->getNumElements(); i != e; ++i) { 729c29d5b378ece00608ec96a5ccd2b0f53999f1957Devang Patel MDNode *MD = dyn_cast_or_null<MDNode>(TheNamedMDNode->getElement(i)); 730c29d5b378ece00608ec96a5ccd2b0f53999f1957Devang Patel if (MD) 731c29d5b378ece00608ec96a5ccd2b0f53999f1957Devang Patel CreateMetadataSlot(MD); 732c29d5b378ece00608ec96a5ccd2b0f53999f1957Devang Patel } 733c29d5b378ece00608ec96a5ccd2b0f53999f1957Devang Patel TheNamedMDNode = 0; 734c29d5b378ece00608ec96a5ccd2b0f53999f1957Devang Patel ST_DEBUG("end processNamedMDNode!\n"); 735c29d5b378ece00608ec96a5ccd2b0f53999f1957Devang Patel} 736c29d5b378ece00608ec96a5ccd2b0f53999f1957Devang Patel 7376ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner/// Clean up after incorporating a function. This is the only way to get out of 7386ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner/// the function incorporation state that affects get*Slot/Create*Slot. Function 7396ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner/// incorporation state is indicated by TheFunction != 0. 7406ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattnervoid SlotTracker::purgeFunction() { 741242330371b2b7ab9d5a6c4f5f93ec82c514cc09aChris Lattner ST_DEBUG("begin purgeFunction!\n"); 7426ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner fMap.clear(); // Simply discard the function level map 7436ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner TheFunction = 0; 7446ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner FunctionProcessed = false; 745242330371b2b7ab9d5a6c4f5f93ec82c514cc09aChris Lattner ST_DEBUG("end purgeFunction!\n"); 7466ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner} 7476ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 7486ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner/// getGlobalSlot - Get the slot number of a global value. 7496ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattnerint SlotTracker::getGlobalSlot(const GlobalValue *V) { 7506ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner // Check for uninitialized state and do lazy initialization. 7516ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner initialize(); 752a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar 7536ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner // Find the type plane in the module map 7546ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner ValueMap::iterator MI = mMap.find(V); 755aeaf245db33fa8bccdd14bb8899ee0585a75a7b1Dan Gohman return MI == mMap.end() ? -1 : (int)MI->second; 7566ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner} 7576ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 758320671d2654a543bbeed5b62efe165430146d55eDevang Patel/// getGlobalSlot - Get the slot number of a MDNode. 759320671d2654a543bbeed5b62efe165430146d55eDevang Patelint SlotTracker::getMetadataSlot(const MDNode *N) { 760320671d2654a543bbeed5b62efe165430146d55eDevang Patel // Check for uninitialized state and do lazy initialization. 761320671d2654a543bbeed5b62efe165430146d55eDevang Patel initialize(); 762a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar 763320671d2654a543bbeed5b62efe165430146d55eDevang Patel // Find the type plane in the module map 764320671d2654a543bbeed5b62efe165430146d55eDevang Patel ValueMap::iterator MI = mdnMap.find(N); 765320671d2654a543bbeed5b62efe165430146d55eDevang Patel return MI == mdnMap.end() ? -1 : (int)MI->second; 766320671d2654a543bbeed5b62efe165430146d55eDevang Patel} 767320671d2654a543bbeed5b62efe165430146d55eDevang Patel 7686ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 7696ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner/// getLocalSlot - Get the slot number for a value that is local to a function. 7706ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattnerint SlotTracker::getLocalSlot(const Value *V) { 7716ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner assert(!isa<Constant>(V) && "Can't get a constant or global slot with this!"); 772a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar 7736ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner // Check for uninitialized state and do lazy initialization. 7746ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner initialize(); 775a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar 7766ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner ValueMap::iterator FI = fMap.find(V); 777aeaf245db33fa8bccdd14bb8899ee0585a75a7b1Dan Gohman return FI == fMap.end() ? -1 : (int)FI->second; 7786ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner} 7796ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 7806ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 7816ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner/// CreateModuleSlot - Insert the specified GlobalValue* into the slot table. 7826ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattnervoid SlotTracker::CreateModuleSlot(const GlobalValue *V) { 7836ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner assert(V && "Can't insert a null Value into SlotTracker!"); 784a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar assert(V->getType() != Type::getVoidTy(V->getContext()) && 7851d0be15f89cb5056e20e2d24faa8d6afb1573bcaOwen Anderson "Doesn't need a slot!"); 7866ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner assert(!V->hasName() && "Doesn't need a slot!"); 787a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar 7886ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner unsigned DestSlot = mNext++; 7896ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner mMap[V] = DestSlot; 790a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar 791242330371b2b7ab9d5a6c4f5f93ec82c514cc09aChris Lattner ST_DEBUG(" Inserting value [" << V->getType() << "] = " << V << " slot=" << 7926ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner DestSlot << " ["); 7936ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner // G = Global, F = Function, A = Alias, o = other 794242330371b2b7ab9d5a6c4f5f93ec82c514cc09aChris Lattner ST_DEBUG((isa<GlobalVariable>(V) ? 'G' : 7956ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner (isa<Function>(V) ? 'F' : 7966ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner (isa<GlobalAlias>(V) ? 'A' : 'o'))) << "]\n"); 7976ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner} 7986ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 7996ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner/// CreateSlot - Create a new slot for the specified value if it has no name. 8006ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattnervoid SlotTracker::CreateFunctionSlot(const Value *V) { 801a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar assert(V->getType() != Type::getVoidTy(TheFunction->getContext()) && 8021d0be15f89cb5056e20e2d24faa8d6afb1573bcaOwen Anderson !V->hasName() && "Doesn't need a slot!"); 803a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar 8046ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner unsigned DestSlot = fNext++; 8056ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner fMap[V] = DestSlot; 806a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar 8076ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner // G = Global, F = Function, o = other 808242330371b2b7ab9d5a6c4f5f93ec82c514cc09aChris Lattner ST_DEBUG(" Inserting value [" << V->getType() << "] = " << V << " slot=" << 8096ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner DestSlot << " [o]\n"); 810a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar} 8116ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 812320671d2654a543bbeed5b62efe165430146d55eDevang Patel/// CreateModuleSlot - Insert the specified MDNode* into the slot table. 813320671d2654a543bbeed5b62efe165430146d55eDevang Patelvoid SlotTracker::CreateMetadataSlot(const MDNode *N) { 814320671d2654a543bbeed5b62efe165430146d55eDevang Patel assert(N && "Can't insert a null Value into SlotTracker!"); 815a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar 816ff7707e98393255e23a66f3f6689cdcf59197548Victor Hernandez // Don't insert if N contains an instruction. 817ff7707e98393255e23a66f3f6689cdcf59197548Victor Hernandez for (unsigned i = 0, e = N->getNumElements(); i != e; ++i) 818ff7707e98393255e23a66f3f6689cdcf59197548Victor Hernandez if (N->getElement(i) && isa<Instruction>(N->getElement(i))) 819ff7707e98393255e23a66f3f6689cdcf59197548Victor Hernandez return; 820ff7707e98393255e23a66f3f6689cdcf59197548Victor Hernandez 821320671d2654a543bbeed5b62efe165430146d55eDevang Patel ValueMap::iterator I = mdnMap.find(N); 822320671d2654a543bbeed5b62efe165430146d55eDevang Patel if (I != mdnMap.end()) 823320671d2654a543bbeed5b62efe165430146d55eDevang Patel return; 824320671d2654a543bbeed5b62efe165430146d55eDevang Patel 825320671d2654a543bbeed5b62efe165430146d55eDevang Patel unsigned DestSlot = mdnNext++; 826320671d2654a543bbeed5b62efe165430146d55eDevang Patel mdnMap[N] = DestSlot; 8276ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 828028fa77d560f18f364ae8a0bfd60597cf1968a93Devang Patel for (unsigned i = 0, e = N->getNumElements(); i != e; ++i) { 829028fa77d560f18f364ae8a0bfd60597cf1968a93Devang Patel const Value *TV = N->getElement(i); 830320671d2654a543bbeed5b62efe165430146d55eDevang Patel if (TV) 831a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar if (const MDNode *N2 = dyn_cast<MDNode>(TV)) 832320671d2654a543bbeed5b62efe165430146d55eDevang Patel CreateMetadataSlot(N2); 833320671d2654a543bbeed5b62efe165430146d55eDevang Patel } 834320671d2654a543bbeed5b62efe165430146d55eDevang Patel} 8356ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 8366ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner//===----------------------------------------------------------------------===// 8376ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner// AsmWriter Implementation 8386ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner//===----------------------------------------------------------------------===// 8396ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 8401220e10f70f89e0f8082344646d79805edf9025dDan Gohmanstatic void WriteAsOperandInternal(raw_ostream &Out, const Value *V, 841d6c0f65b532f022e584d8f1e3c044593b4c74a99Dan Gohman TypePrinting *TypePrinter, 8426ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner SlotTracker *Machine); 8436ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 8446ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 8456ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 84682c4bc7153d390ad1c2b369e0caef456948b8825Chris Lattnerstatic const char *getPredicateText(unsigned predicate) { 84781dfeb3264d3c1f619c3f73046ded1ac6883e59dReid Spencer const char * pred = "unknown"; 84881dfeb3264d3c1f619c3f73046ded1ac6883e59dReid Spencer switch (predicate) { 84981dfeb3264d3c1f619c3f73046ded1ac6883e59dReid Spencer case FCmpInst::FCMP_FALSE: pred = "false"; break; 85081dfeb3264d3c1f619c3f73046ded1ac6883e59dReid Spencer case FCmpInst::FCMP_OEQ: pred = "oeq"; break; 85181dfeb3264d3c1f619c3f73046ded1ac6883e59dReid Spencer case FCmpInst::FCMP_OGT: pred = "ogt"; break; 85281dfeb3264d3c1f619c3f73046ded1ac6883e59dReid Spencer case FCmpInst::FCMP_OGE: pred = "oge"; break; 85381dfeb3264d3c1f619c3f73046ded1ac6883e59dReid Spencer case FCmpInst::FCMP_OLT: pred = "olt"; break; 85481dfeb3264d3c1f619c3f73046ded1ac6883e59dReid Spencer case FCmpInst::FCMP_OLE: pred = "ole"; break; 85581dfeb3264d3c1f619c3f73046ded1ac6883e59dReid Spencer case FCmpInst::FCMP_ONE: pred = "one"; break; 85681dfeb3264d3c1f619c3f73046ded1ac6883e59dReid Spencer case FCmpInst::FCMP_ORD: pred = "ord"; break; 85781dfeb3264d3c1f619c3f73046ded1ac6883e59dReid Spencer case FCmpInst::FCMP_UNO: pred = "uno"; break; 85881dfeb3264d3c1f619c3f73046ded1ac6883e59dReid Spencer case FCmpInst::FCMP_UEQ: pred = "ueq"; break; 85981dfeb3264d3c1f619c3f73046ded1ac6883e59dReid Spencer case FCmpInst::FCMP_UGT: pred = "ugt"; break; 86081dfeb3264d3c1f619c3f73046ded1ac6883e59dReid Spencer case FCmpInst::FCMP_UGE: pred = "uge"; break; 86181dfeb3264d3c1f619c3f73046ded1ac6883e59dReid Spencer case FCmpInst::FCMP_ULT: pred = "ult"; break; 86281dfeb3264d3c1f619c3f73046ded1ac6883e59dReid Spencer case FCmpInst::FCMP_ULE: pred = "ule"; break; 86381dfeb3264d3c1f619c3f73046ded1ac6883e59dReid Spencer case FCmpInst::FCMP_UNE: pred = "une"; break; 86481dfeb3264d3c1f619c3f73046ded1ac6883e59dReid Spencer case FCmpInst::FCMP_TRUE: pred = "true"; break; 86581dfeb3264d3c1f619c3f73046ded1ac6883e59dReid Spencer case ICmpInst::ICMP_EQ: pred = "eq"; break; 86681dfeb3264d3c1f619c3f73046ded1ac6883e59dReid Spencer case ICmpInst::ICMP_NE: pred = "ne"; break; 86781dfeb3264d3c1f619c3f73046ded1ac6883e59dReid Spencer case ICmpInst::ICMP_SGT: pred = "sgt"; break; 86881dfeb3264d3c1f619c3f73046ded1ac6883e59dReid Spencer case ICmpInst::ICMP_SGE: pred = "sge"; break; 86981dfeb3264d3c1f619c3f73046ded1ac6883e59dReid Spencer case ICmpInst::ICMP_SLT: pred = "slt"; break; 87081dfeb3264d3c1f619c3f73046ded1ac6883e59dReid Spencer case ICmpInst::ICMP_SLE: pred = "sle"; break; 87181dfeb3264d3c1f619c3f73046ded1ac6883e59dReid Spencer case ICmpInst::ICMP_UGT: pred = "ugt"; break; 87281dfeb3264d3c1f619c3f73046ded1ac6883e59dReid Spencer case ICmpInst::ICMP_UGE: pred = "uge"; break; 87381dfeb3264d3c1f619c3f73046ded1ac6883e59dReid Spencer case ICmpInst::ICMP_ULT: pred = "ult"; break; 87481dfeb3264d3c1f619c3f73046ded1ac6883e59dReid Spencer case ICmpInst::ICMP_ULE: pred = "ule"; break; 87581dfeb3264d3c1f619c3f73046ded1ac6883e59dReid Spencer } 87681dfeb3264d3c1f619c3f73046ded1ac6883e59dReid Spencer return pred; 87781dfeb3264d3c1f619c3f73046ded1ac6883e59dReid Spencer} 87881dfeb3264d3c1f619c3f73046ded1ac6883e59dReid Spencer 8792d5988d9baba15ecf27b724937dbf44182a518a2Devang Patelstatic void WriteMDNodeComment(const MDNode *Node, 8802d5988d9baba15ecf27b724937dbf44182a518a2Devang Patel formatted_raw_ostream &Out) { 8812d5988d9baba15ecf27b724937dbf44182a518a2Devang Patel if (Node->getNumElements() < 1) 8822d5988d9baba15ecf27b724937dbf44182a518a2Devang Patel return; 8834d7a2061f147cf64c0cdd36e67ca71e1d89c16f3Devang Patel ConstantInt *CI = dyn_cast_or_null<ConstantInt>(Node->getElement(0)); 8842d5988d9baba15ecf27b724937dbf44182a518a2Devang Patel if (!CI) return; 8852d5988d9baba15ecf27b724937dbf44182a518a2Devang Patel unsigned Val = CI->getZExtValue(); 8862d5988d9baba15ecf27b724937dbf44182a518a2Devang Patel unsigned Tag = Val & ~LLVMDebugVersionMask; 8872d5988d9baba15ecf27b724937dbf44182a518a2Devang Patel if (Val >= LLVMDebugVersion) { 8882d5988d9baba15ecf27b724937dbf44182a518a2Devang Patel if (Tag == dwarf::DW_TAG_auto_variable) 8892d5988d9baba15ecf27b724937dbf44182a518a2Devang Patel Out << "; [ DW_TAG_auto_variable ]"; 8902d5988d9baba15ecf27b724937dbf44182a518a2Devang Patel else if (Tag == dwarf::DW_TAG_arg_variable) 8912d5988d9baba15ecf27b724937dbf44182a518a2Devang Patel Out << "; [ DW_TAG_arg_variable ]"; 8922d5988d9baba15ecf27b724937dbf44182a518a2Devang Patel else if (Tag == dwarf::DW_TAG_return_variable) 8932d5988d9baba15ecf27b724937dbf44182a518a2Devang Patel Out << "; [ DW_TAG_return_variable ]"; 8942d5988d9baba15ecf27b724937dbf44182a518a2Devang Patel else if (Tag == dwarf::DW_TAG_vector_type) 8952d5988d9baba15ecf27b724937dbf44182a518a2Devang Patel Out << "; [ DW_TAG_vector_type ]"; 8962d5988d9baba15ecf27b724937dbf44182a518a2Devang Patel else if (Tag == dwarf::DW_TAG_user_base) 8972d5988d9baba15ecf27b724937dbf44182a518a2Devang Patel Out << "; [ DW_TAG_user_base ]"; 8982d5988d9baba15ecf27b724937dbf44182a518a2Devang Patel else 8992d5988d9baba15ecf27b724937dbf44182a518a2Devang Patel Out << "; [" << dwarf::TagString(Tag) << " ]"; 9002d5988d9baba15ecf27b724937dbf44182a518a2Devang Patel } 9012d5988d9baba15ecf27b724937dbf44182a518a2Devang Patel} 9022d5988d9baba15ecf27b724937dbf44182a518a2Devang Patel 903683e922d299bdfa9ec609bd58a0eed20568303f1Dan Gohmanstatic void WriteMDNodes(formatted_raw_ostream &Out, TypePrinting &TypePrinter, 904320671d2654a543bbeed5b62efe165430146d55eDevang Patel SlotTracker &Machine) { 905320671d2654a543bbeed5b62efe165430146d55eDevang Patel SmallVector<const MDNode *, 16> Nodes; 906320671d2654a543bbeed5b62efe165430146d55eDevang Patel Nodes.resize(Machine.mdnSize()); 907a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar for (SlotTracker::ValueMap::iterator I = 908a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar Machine.mdnBegin(), E = Machine.mdnEnd(); I != E; ++I) 909320671d2654a543bbeed5b62efe165430146d55eDevang Patel Nodes[I->second] = cast<MDNode>(I->first); 910320671d2654a543bbeed5b62efe165430146d55eDevang Patel 911320671d2654a543bbeed5b62efe165430146d55eDevang Patel for (unsigned i = 0, e = Nodes.size(); i != e; ++i) { 9122214c94bb70524ff3150c6763c2f9ac0c1bb844bDevang Patel Out << '!' << i << " = metadata "; 913320671d2654a543bbeed5b62efe165430146d55eDevang Patel const MDNode *Node = Nodes[i]; 914320671d2654a543bbeed5b62efe165430146d55eDevang Patel Out << "!{"; 915028fa77d560f18f364ae8a0bfd60597cf1968a93Devang Patel for (unsigned mi = 0, me = Node->getNumElements(); mi != me; ++mi) { 916028fa77d560f18f364ae8a0bfd60597cf1968a93Devang Patel const Value *V = Node->getElement(mi); 917320671d2654a543bbeed5b62efe165430146d55eDevang Patel if (!V) 918320671d2654a543bbeed5b62efe165430146d55eDevang Patel Out << "null"; 919320671d2654a543bbeed5b62efe165430146d55eDevang Patel else if (const MDNode *N = dyn_cast<MDNode>(V)) { 920320671d2654a543bbeed5b62efe165430146d55eDevang Patel Out << "metadata "; 921320671d2654a543bbeed5b62efe165430146d55eDevang Patel Out << '!' << Machine.getMetadataSlot(N); 922320671d2654a543bbeed5b62efe165430146d55eDevang Patel } 923320671d2654a543bbeed5b62efe165430146d55eDevang Patel else { 924028fa77d560f18f364ae8a0bfd60597cf1968a93Devang Patel TypePrinter.print(V->getType(), Out); 925320671d2654a543bbeed5b62efe165430146d55eDevang Patel Out << ' '; 926028fa77d560f18f364ae8a0bfd60597cf1968a93Devang Patel WriteAsOperandInternal(Out, Node->getElement(mi), 927028fa77d560f18f364ae8a0bfd60597cf1968a93Devang Patel &TypePrinter, &Machine); 928320671d2654a543bbeed5b62efe165430146d55eDevang Patel } 929028fa77d560f18f364ae8a0bfd60597cf1968a93Devang Patel if (mi + 1 != me) 930320671d2654a543bbeed5b62efe165430146d55eDevang Patel Out << ", "; 931320671d2654a543bbeed5b62efe165430146d55eDevang Patel } 9322d5988d9baba15ecf27b724937dbf44182a518a2Devang Patel 9332d5988d9baba15ecf27b724937dbf44182a518a2Devang Patel Out << "}"; 9342d5988d9baba15ecf27b724937dbf44182a518a2Devang Patel WriteMDNodeComment(Node, Out); 9352d5988d9baba15ecf27b724937dbf44182a518a2Devang Patel Out << "\n"; 936320671d2654a543bbeed5b62efe165430146d55eDevang Patel } 937320671d2654a543bbeed5b62efe165430146d55eDevang Patel} 938320671d2654a543bbeed5b62efe165430146d55eDevang Patel 9391220e10f70f89e0f8082344646d79805edf9025dDan Gohmanstatic void WriteOptimizationInfo(raw_ostream &Out, const User *U) { 9401224c386981f7948f298ed9ad444c40609570f2eDan Gohman if (const OverflowingBinaryOperator *OBO = 9411224c386981f7948f298ed9ad444c40609570f2eDan Gohman dyn_cast<OverflowingBinaryOperator>(U)) { 9425078f84c82814e4d33846f9ef54281619d362f8aDan Gohman if (OBO->hasNoUnsignedWrap()) 94359858cf7926702596cf708daf21aeaf5b6feedf8Dan Gohman Out << " nuw"; 9445078f84c82814e4d33846f9ef54281619d362f8aDan Gohman if (OBO->hasNoSignedWrap()) 94559858cf7926702596cf708daf21aeaf5b6feedf8Dan Gohman Out << " nsw"; 9461224c386981f7948f298ed9ad444c40609570f2eDan Gohman } else if (const SDivOperator *Div = dyn_cast<SDivOperator>(U)) { 9471224c386981f7948f298ed9ad444c40609570f2eDan Gohman if (Div->isExact()) 94859858cf7926702596cf708daf21aeaf5b6feedf8Dan Gohman Out << " exact"; 949dd8004dc73d091ccb3927dbbc3b41639a3738ae3Dan Gohman } else if (const GEPOperator *GEP = dyn_cast<GEPOperator>(U)) { 950dd8004dc73d091ccb3927dbbc3b41639a3738ae3Dan Gohman if (GEP->isInBounds()) 951dd8004dc73d091ccb3927dbbc3b41639a3738ae3Dan Gohman Out << " inbounds"; 9521224c386981f7948f298ed9ad444c40609570f2eDan Gohman } 9531224c386981f7948f298ed9ad444c40609570f2eDan Gohman} 9541224c386981f7948f298ed9ad444c40609570f2eDan Gohman 9551220e10f70f89e0f8082344646d79805edf9025dDan Gohmanstatic void WriteConstantInt(raw_ostream &Out, const Constant *CV, 9569cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner TypePrinting &TypePrinter, SlotTracker *Machine) { 9576b6b6ef1677fa71b1072c2911b4c1f9524a558c9Zhou Sheng if (const ConstantInt *CI = dyn_cast<ConstantInt>(CV)) { 9581d0be15f89cb5056e20e2d24faa8d6afb1573bcaOwen Anderson if (CI->getType() == Type::getInt1Ty(CV->getContext())) { 959579dca12c2cfd60bc18aaadbd5331897d48fec29Reid Spencer Out << (CI->getZExtValue() ? "true" : "false"); 960fad86b003a839cef40ec8ce8408322f4913368caChris Lattner return; 961fad86b003a839cef40ec8ce8408322f4913368caChris Lattner } 962fad86b003a839cef40ec8ce8408322f4913368caChris Lattner Out << CI->getValue(); 963fad86b003a839cef40ec8ce8408322f4913368caChris Lattner return; 964fad86b003a839cef40ec8ce8408322f4913368caChris Lattner } 965a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar 966fad86b003a839cef40ec8ce8408322f4913368caChris Lattner if (const ConstantFP *CFP = dyn_cast<ConstantFP>(CV)) { 9679d5f45607793052bf5b4436d1b43013fab9999acDale Johannesen if (&CFP->getValueAPF().getSemantics() == &APFloat::IEEEdouble || 9689d5f45607793052bf5b4436d1b43013fab9999acDale Johannesen &CFP->getValueAPF().getSemantics() == &APFloat::IEEEsingle) { 9699d5f45607793052bf5b4436d1b43013fab9999acDale Johannesen // We would like to output the FP constant value in exponential notation, 9709d5f45607793052bf5b4436d1b43013fab9999acDale Johannesen // but we cannot do this if doing so will lose precision. Check here to 9719d5f45607793052bf5b4436d1b43013fab9999acDale Johannesen // make sure that we only output it in exponential format if we can parse 9729d5f45607793052bf5b4436d1b43013fab9999acDale Johannesen // the value back and get the same value. 9739d5f45607793052bf5b4436d1b43013fab9999acDale Johannesen // 974541ed9fd02ea48d2739f4a9dd681ba2d5da26886Dale Johannesen bool ignored; 9759d5f45607793052bf5b4436d1b43013fab9999acDale Johannesen bool isDouble = &CFP->getValueAPF().getSemantics()==&APFloat::IEEEdouble; 976fad86b003a839cef40ec8ce8408322f4913368caChris Lattner double Val = isDouble ? CFP->getValueAPF().convertToDouble() : 977fad86b003a839cef40ec8ce8408322f4913368caChris Lattner CFP->getValueAPF().convertToFloat(); 9789d5f45607793052bf5b4436d1b43013fab9999acDale Johannesen std::string StrVal = ftostr(CFP->getValueAPF()); 9799d5f45607793052bf5b4436d1b43013fab9999acDale Johannesen 9809d5f45607793052bf5b4436d1b43013fab9999acDale Johannesen // Check to make sure that the stringized number is not some string like 9819d5f45607793052bf5b4436d1b43013fab9999acDale Johannesen // "Inf" or NaN, that atof will accept, but the lexer will not. Check 9829d5f45607793052bf5b4436d1b43013fab9999acDale Johannesen // that the string matches the "[-+]?[0-9]" regex. 9839d5f45607793052bf5b4436d1b43013fab9999acDale Johannesen // 9849d5f45607793052bf5b4436d1b43013fab9999acDale Johannesen if ((StrVal[0] >= '0' && StrVal[0] <= '9') || 9859d5f45607793052bf5b4436d1b43013fab9999acDale Johannesen ((StrVal[0] == '-' || StrVal[0] == '+') && 9869d5f45607793052bf5b4436d1b43013fab9999acDale Johannesen (StrVal[1] >= '0' && StrVal[1] <= '9'))) { 9879d5f45607793052bf5b4436d1b43013fab9999acDale Johannesen // Reparse stringized version! 9889d5f45607793052bf5b4436d1b43013fab9999acDale Johannesen if (atof(StrVal.c_str()) == Val) { 9899d5f45607793052bf5b4436d1b43013fab9999acDale Johannesen Out << StrVal; 9909d5f45607793052bf5b4436d1b43013fab9999acDale Johannesen return; 9919d5f45607793052bf5b4436d1b43013fab9999acDale Johannesen } 99266e810be9f97fa744ca949d54b5d54358add84b8Chris Lattner } 9939d5f45607793052bf5b4436d1b43013fab9999acDale Johannesen // Otherwise we could not reparse it to exactly the same value, so we must 994541ed9fd02ea48d2739f4a9dd681ba2d5da26886Dale Johannesen // output the string in hexadecimal format! Note that loading and storing 995541ed9fd02ea48d2739f4a9dd681ba2d5da26886Dale Johannesen // floating point types changes the bits of NaNs on some hosts, notably 996541ed9fd02ea48d2739f4a9dd681ba2d5da26886Dale Johannesen // x86, so we must not use these types. 9979d5f45607793052bf5b4436d1b43013fab9999acDale Johannesen assert(sizeof(double) == sizeof(uint64_t) && 9989d5f45607793052bf5b4436d1b43013fab9999acDale Johannesen "assuming that double is 64 bits!"); 999c6a1346d7c6bb761f9e6c2c85b53febba1cb15dbChris Lattner char Buffer[40]; 1000541ed9fd02ea48d2739f4a9dd681ba2d5da26886Dale Johannesen APFloat apf = CFP->getValueAPF(); 1001541ed9fd02ea48d2739f4a9dd681ba2d5da26886Dale Johannesen // Floats are represented in ASCII IR as double, convert. 1002541ed9fd02ea48d2739f4a9dd681ba2d5da26886Dale Johannesen if (!isDouble) 1003a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar apf.convert(APFloat::IEEEdouble, APFloat::rmNearestTiesToEven, 1004541ed9fd02ea48d2739f4a9dd681ba2d5da26886Dale Johannesen &ignored); 1005a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar Out << "0x" << 1006a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar utohex_buffer(uint64_t(apf.bitcastToAPInt().getZExtValue()), 1007541ed9fd02ea48d2739f4a9dd681ba2d5da26886Dale Johannesen Buffer+40); 1008cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner return; 1009cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner } 1010a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar 1011cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner // Some form of long double. These appear as a magic letter identifying 1012cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner // the type, then a fixed number of hex digits. 1013cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner Out << "0x"; 10141b25cb2416c46a6cebf2a6c52235e9fe46a10d11Dale Johannesen if (&CFP->getValueAPF().getSemantics() == &APFloat::x87DoubleExtended) { 1015cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner Out << 'K'; 10161b25cb2416c46a6cebf2a6c52235e9fe46a10d11Dale Johannesen // api needed to prevent premature destruction 10171b25cb2416c46a6cebf2a6c52235e9fe46a10d11Dale Johannesen APInt api = CFP->getValueAPF().bitcastToAPInt(); 10181b25cb2416c46a6cebf2a6c52235e9fe46a10d11Dale Johannesen const uint64_t* p = api.getRawData(); 10191b25cb2416c46a6cebf2a6c52235e9fe46a10d11Dale Johannesen uint64_t word = p[1]; 10201b25cb2416c46a6cebf2a6c52235e9fe46a10d11Dale Johannesen int shiftcount=12; 10211b25cb2416c46a6cebf2a6c52235e9fe46a10d11Dale Johannesen int width = api.getBitWidth(); 10221b25cb2416c46a6cebf2a6c52235e9fe46a10d11Dale Johannesen for (int j=0; j<width; j+=4, shiftcount-=4) { 10231b25cb2416c46a6cebf2a6c52235e9fe46a10d11Dale Johannesen unsigned int nibble = (word>>shiftcount) & 15; 10241b25cb2416c46a6cebf2a6c52235e9fe46a10d11Dale Johannesen if (nibble < 10) 10251b25cb2416c46a6cebf2a6c52235e9fe46a10d11Dale Johannesen Out << (unsigned char)(nibble + '0'); 10261b25cb2416c46a6cebf2a6c52235e9fe46a10d11Dale Johannesen else 10271b25cb2416c46a6cebf2a6c52235e9fe46a10d11Dale Johannesen Out << (unsigned char)(nibble - 10 + 'A'); 10281b25cb2416c46a6cebf2a6c52235e9fe46a10d11Dale Johannesen if (shiftcount == 0 && j+4 < width) { 10291b25cb2416c46a6cebf2a6c52235e9fe46a10d11Dale Johannesen word = *p; 10301b25cb2416c46a6cebf2a6c52235e9fe46a10d11Dale Johannesen shiftcount = 64; 10311b25cb2416c46a6cebf2a6c52235e9fe46a10d11Dale Johannesen if (width-j-4 < 64) 10321b25cb2416c46a6cebf2a6c52235e9fe46a10d11Dale Johannesen shiftcount = width-j-4; 10331b25cb2416c46a6cebf2a6c52235e9fe46a10d11Dale Johannesen } 10341b25cb2416c46a6cebf2a6c52235e9fe46a10d11Dale Johannesen } 10351b25cb2416c46a6cebf2a6c52235e9fe46a10d11Dale Johannesen return; 10361b25cb2416c46a6cebf2a6c52235e9fe46a10d11Dale Johannesen } else if (&CFP->getValueAPF().getSemantics() == &APFloat::IEEEquad) 1037cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner Out << 'L'; 1038cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner else if (&CFP->getValueAPF().getSemantics() == &APFloat::PPCDoubleDouble) 1039cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner Out << 'M'; 1040cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner else 1041c23197a26f34f559ea9797de51e187087c039c42Torok Edwin llvm_unreachable("Unsupported floating point type"); 1042cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner // api needed to prevent premature destruction 10437111b02c734c992b8c97d9918118768026dad79eDale Johannesen APInt api = CFP->getValueAPF().bitcastToAPInt(); 1044cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner const uint64_t* p = api.getRawData(); 1045cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner uint64_t word = *p; 1046cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner int shiftcount=60; 1047cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner int width = api.getBitWidth(); 1048cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner for (int j=0; j<width; j+=4, shiftcount-=4) { 1049cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner unsigned int nibble = (word>>shiftcount) & 15; 1050cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner if (nibble < 10) 1051cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner Out << (unsigned char)(nibble + '0'); 10529d5f45607793052bf5b4436d1b43013fab9999acDale Johannesen else 1053cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner Out << (unsigned char)(nibble - 10 + 'A'); 1054cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner if (shiftcount == 0 && j+4 < width) { 1055cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner word = *(++p); 1056cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner shiftcount = 64; 1057cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner if (width-j-4 < 64) 1058cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner shiftcount = width-j-4; 10599d5f45607793052bf5b4436d1b43013fab9999acDale Johannesen } 10609d5f45607793052bf5b4436d1b43013fab9999acDale Johannesen } 1061cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner return; 1062cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner } 1063a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar 1064cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner if (isa<ConstantAggregateZero>(CV)) { 1065de512b5b2edebe9c9021a92c7c7a9ae9fbc380d6Chris Lattner Out << "zeroinitializer"; 1066cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner return; 1067cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner } 106873050e1c383100d879597f5d4ef8260bb1d6f07cChris Lattner 106973050e1c383100d879597f5d4ef8260bb1d6f07cChris Lattner if (const BlockAddress *BA = dyn_cast<BlockAddress>(CV)) { 107073050e1c383100d879597f5d4ef8260bb1d6f07cChris Lattner Out << "blockaddress("; 107173050e1c383100d879597f5d4ef8260bb1d6f07cChris Lattner WriteAsOperandInternal(Out, BA->getFunction(), &TypePrinter, Machine); 107273050e1c383100d879597f5d4ef8260bb1d6f07cChris Lattner Out << ", "; 1073cdfc940912d56a63b6f12eaa7f3faf79cf74c693Chris Lattner WriteAsOperandInternal(Out, BA->getBasicBlock(), &TypePrinter, Machine); 107473050e1c383100d879597f5d4ef8260bb1d6f07cChris Lattner Out << ")"; 107573050e1c383100d879597f5d4ef8260bb1d6f07cChris Lattner return; 107673050e1c383100d879597f5d4ef8260bb1d6f07cChris Lattner } 1077a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar 1078cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner if (const ConstantArray *CA = dyn_cast<ConstantArray>(CV)) { 107966e810be9f97fa744ca949d54b5d54358add84b8Chris Lattner // As a special case, print the array as a string if it is an array of 10809b38d7db6d9fbb5bf9d16bec590a17c5895453e1Dan Gohman // i8 with ConstantInt values. 1081fd93908ae8b9684fe71c239e3c6cfe13ff6a2663Misha Brukman // 108266e810be9f97fa744ca949d54b5d54358add84b8Chris Lattner const Type *ETy = CA->getType()->getElementType(); 108318365506ebe3e28593cb36951f17f08e75712a29Chris Lattner if (CA->isString()) { 108466e810be9f97fa744ca949d54b5d54358add84b8Chris Lattner Out << "c\""; 108518365506ebe3e28593cb36951f17f08e75712a29Chris Lattner PrintEscapedString(CA->getAsString(), Out); 1086cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner Out << '"'; 108766e810be9f97fa744ca949d54b5d54358add84b8Chris Lattner } else { // Cannot output in string format... 108840c732cc52a5c71cead461646667ef5b13801923Misha Brukman Out << '['; 10897a716addedc4938fa0ec6b77e5eeaced6eafc5d0Chris Lattner if (CA->getNumOperands()) { 10900f7364b4aa15263827af49d046fd6147ac769eefChris Lattner TypePrinter.print(ETy, Out); 10918dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman Out << ' '; 10927a716addedc4938fa0ec6b77e5eeaced6eafc5d0Chris Lattner WriteAsOperandInternal(Out, CA->getOperand(0), 1093d6c0f65b532f022e584d8f1e3c044593b4c74a99Dan Gohman &TypePrinter, Machine); 10947a716addedc4938fa0ec6b77e5eeaced6eafc5d0Chris Lattner for (unsigned i = 1, e = CA->getNumOperands(); i != e; ++i) { 10957a716addedc4938fa0ec6b77e5eeaced6eafc5d0Chris Lattner Out << ", "; 10960f7364b4aa15263827af49d046fd6147ac769eefChris Lattner TypePrinter.print(ETy, Out); 10978dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman Out << ' '; 1098d6c0f65b532f022e584d8f1e3c044593b4c74a99Dan Gohman WriteAsOperandInternal(Out, CA->getOperand(i), &TypePrinter, Machine); 10997a716addedc4938fa0ec6b77e5eeaced6eafc5d0Chris Lattner } 11007a716addedc4938fa0ec6b77e5eeaced6eafc5d0Chris Lattner } 11018dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman Out << ']'; 11027a716addedc4938fa0ec6b77e5eeaced6eafc5d0Chris Lattner } 1103cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner return; 1104cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner } 1105a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar 1106cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner if (const ConstantStruct *CS = dyn_cast<ConstantStruct>(CV)) { 110743f344a26695ba85a1a0b5407c038d9c3f980327Andrew Lenharth if (CS->getType()->isPacked()) 110843f344a26695ba85a1a0b5407c038d9c3f980327Andrew Lenharth Out << '<'; 110940c732cc52a5c71cead461646667ef5b13801923Misha Brukman Out << '{'; 1110a3f332bdc3e8fd1ac78dd3dc868d871e9086c5fdJim Laskey unsigned N = CS->getNumOperands(); 1111a3f332bdc3e8fd1ac78dd3dc868d871e9086c5fdJim Laskey if (N) { 1112242330371b2b7ab9d5a6c4f5f93ec82c514cc09aChris Lattner Out << ' '; 11130f7364b4aa15263827af49d046fd6147ac769eefChris Lattner TypePrinter.print(CS->getOperand(0)->getType(), Out); 11148dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman Out << ' '; 11157a716addedc4938fa0ec6b77e5eeaced6eafc5d0Chris Lattner 1116d6c0f65b532f022e584d8f1e3c044593b4c74a99Dan Gohman WriteAsOperandInternal(Out, CS->getOperand(0), &TypePrinter, Machine); 11177a716addedc4938fa0ec6b77e5eeaced6eafc5d0Chris Lattner 1118a3f332bdc3e8fd1ac78dd3dc868d871e9086c5fdJim Laskey for (unsigned i = 1; i < N; i++) { 11197a716addedc4938fa0ec6b77e5eeaced6eafc5d0Chris Lattner Out << ", "; 11200f7364b4aa15263827af49d046fd6147ac769eefChris Lattner TypePrinter.print(CS->getOperand(i)->getType(), Out); 11218dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman Out << ' '; 11227a716addedc4938fa0ec6b77e5eeaced6eafc5d0Chris Lattner 1123d6c0f65b532f022e584d8f1e3c044593b4c74a99Dan Gohman WriteAsOperandInternal(Out, CS->getOperand(i), &TypePrinter, Machine); 11247a716addedc4938fa0ec6b77e5eeaced6eafc5d0Chris Lattner } 11258dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman Out << ' '; 11267a716addedc4938fa0ec6b77e5eeaced6eafc5d0Chris Lattner } 1127a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar 11288dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman Out << '}'; 112943f344a26695ba85a1a0b5407c038d9c3f980327Andrew Lenharth if (CS->getType()->isPacked()) 113043f344a26695ba85a1a0b5407c038d9c3f980327Andrew Lenharth Out << '>'; 1131cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner return; 1132cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner } 1133a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar 1134cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner if (const ConstantVector *CP = dyn_cast<ConstantVector>(CV)) { 1135cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner const Type *ETy = CP->getType()->getElementType(); 1136cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner assert(CP->getNumOperands() > 0 && 1137cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner "Number of operands for a PackedConst must be > 0"); 11387dfa07f794a5dd4479e80896ef626bbe69455908Dan Gohman Out << '<'; 11390f7364b4aa15263827af49d046fd6147ac769eefChris Lattner TypePrinter.print(ETy, Out); 11408dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman Out << ' '; 1141d6c0f65b532f022e584d8f1e3c044593b4c74a99Dan Gohman WriteAsOperandInternal(Out, CP->getOperand(0), &TypePrinter, Machine); 1142cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner for (unsigned i = 1, e = CP->getNumOperands(); i != e; ++i) { 11434667b71f9380afad56cbdc1fd19ca32334086d2cChris Lattner Out << ", "; 11440f7364b4aa15263827af49d046fd6147ac769eefChris Lattner TypePrinter.print(ETy, Out); 11458dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman Out << ' '; 1146d6c0f65b532f022e584d8f1e3c044593b4c74a99Dan Gohman WriteAsOperandInternal(Out, CP->getOperand(i), &TypePrinter, Machine); 1147cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner } 11487dfa07f794a5dd4479e80896ef626bbe69455908Dan Gohman Out << '>'; 1149cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner return; 1150cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner } 1151a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar 1152cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner if (isa<ConstantPointerNull>(CV)) { 11537a716addedc4938fa0ec6b77e5eeaced6eafc5d0Chris Lattner Out << "null"; 1154cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner return; 1155cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner } 1156a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar 1157cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner if (isa<UndefValue>(CV)) { 1158b976e668165e1875a8f1eb7af800e33bb1e4393dChris Lattner Out << "undef"; 1159cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner return; 1160cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner } 1161a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar 1162320671d2654a543bbeed5b62efe165430146d55eDevang Patel if (const MDNode *Node = dyn_cast<MDNode>(CV)) { 1163320671d2654a543bbeed5b62efe165430146d55eDevang Patel Out << "!" << Machine->getMetadataSlot(Node); 1164320671d2654a543bbeed5b62efe165430146d55eDevang Patel return; 1165320671d2654a543bbeed5b62efe165430146d55eDevang Patel } 1166320671d2654a543bbeed5b62efe165430146d55eDevang Patel 1167cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner if (const ConstantExpr *CE = dyn_cast<ConstantExpr>(CV)) { 116881dfeb3264d3c1f619c3f73046ded1ac6883e59dReid Spencer Out << CE->getOpcodeName(); 116959858cf7926702596cf708daf21aeaf5b6feedf8Dan Gohman WriteOptimizationInfo(Out, CE); 117081dfeb3264d3c1f619c3f73046ded1ac6883e59dReid Spencer if (CE->isCompare()) 1171cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner Out << ' ' << getPredicateText(CE->getPredicate()); 117281dfeb3264d3c1f619c3f73046ded1ac6883e59dReid Spencer Out << " ("; 1173fd93908ae8b9684fe71c239e3c6cfe13ff6a2663Misha Brukman 1174b4dbb4445c67fc46e56765035c2787028a66a614Vikram S. Adve for (User::const_op_iterator OI=CE->op_begin(); OI != CE->op_end(); ++OI) { 11750f7364b4aa15263827af49d046fd6147ac769eefChris Lattner TypePrinter.print((*OI)->getType(), Out); 11768dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman Out << ' '; 1177d6c0f65b532f022e584d8f1e3c044593b4c74a99Dan Gohman WriteAsOperandInternal(Out, *OI, &TypePrinter, Machine); 1178b4dbb4445c67fc46e56765035c2787028a66a614Vikram S. Adve if (OI+1 != CE->op_end()) 1179c188eeb08c873da142a47398be6c405ce3f34f51Chris Lattner Out << ", "; 1180b4dbb4445c67fc46e56765035c2787028a66a614Vikram S. Adve } 1181fd93908ae8b9684fe71c239e3c6cfe13ff6a2663Misha Brukman 1182995be7d07a0ed1f70a93b2a2e7f445461162e8a5Dan Gohman if (CE->hasIndices()) { 1183995be7d07a0ed1f70a93b2a2e7f445461162e8a5Dan Gohman const SmallVector<unsigned, 4> &Indices = CE->getIndices(); 1184995be7d07a0ed1f70a93b2a2e7f445461162e8a5Dan Gohman for (unsigned i = 0, e = Indices.size(); i != e; ++i) 1185995be7d07a0ed1f70a93b2a2e7f445461162e8a5Dan Gohman Out << ", " << Indices[i]; 1186995be7d07a0ed1f70a93b2a2e7f445461162e8a5Dan Gohman } 1187995be7d07a0ed1f70a93b2a2e7f445461162e8a5Dan Gohman 11883da59db637a887474c1b1346c1f3ccf53b6c4663Reid Spencer if (CE->isCast()) { 118995586b8c833aeca112907e69f545a6ea6e2103ffChris Lattner Out << " to "; 11900f7364b4aa15263827af49d046fd6147ac769eefChris Lattner TypePrinter.print(CE->getType(), Out); 119195586b8c833aeca112907e69f545a6ea6e2103ffChris Lattner } 11923da59db637a887474c1b1346c1f3ccf53b6c4663Reid Spencer 119340c732cc52a5c71cead461646667ef5b13801923Misha Brukman Out << ')'; 1194cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner return; 11957a716addedc4938fa0ec6b77e5eeaced6eafc5d0Chris Lattner } 1196a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar 1197cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner Out << "<placeholder or erroneous Constant>"; 11987a716addedc4938fa0ec6b77e5eeaced6eafc5d0Chris Lattner} 11997a716addedc4938fa0ec6b77e5eeaced6eafc5d0Chris Lattner 12007a716addedc4938fa0ec6b77e5eeaced6eafc5d0Chris Lattner 1201ab5c6003d23c19d23bbff1054900d208c55e0188Misha Brukman/// WriteAsOperand - Write the name of the specified value out to the specified 1202ab5c6003d23c19d23bbff1054900d208c55e0188Misha Brukman/// ostream. This can be useful when you just want to print int %reg126, not 1203ab5c6003d23c19d23bbff1054900d208c55e0188Misha Brukman/// the whole instruction that generated it. 1204ab5c6003d23c19d23bbff1054900d208c55e0188Misha Brukman/// 12051220e10f70f89e0f8082344646d79805edf9025dDan Gohmanstatic void WriteAsOperandInternal(raw_ostream &Out, const Value *V, 1206d6c0f65b532f022e584d8f1e3c044593b4c74a99Dan Gohman TypePrinting *TypePrinter, 12070d9574a1cd68c6e41f725c22657b8bb3f8d74117Chris Lattner SlotTracker *Machine) { 1208c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner if (V->hasName()) { 1209c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner PrintLLVMName(Out, V); 1210c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner return; 1211c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner } 1212a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar 1213c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner const Constant *CV = dyn_cast<Constant>(V); 1214c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner if (CV && !isa<GlobalValue>(CV)) { 1215d6c0f65b532f022e584d8f1e3c044593b4c74a99Dan Gohman assert(TypePrinter && "Constants require TypePrinting!"); 1216d6c0f65b532f022e584d8f1e3c044593b4c74a99Dan Gohman WriteConstantInt(Out, CV, *TypePrinter, Machine); 1217cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner return; 1218cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner } 1219a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar 1220cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner if (const InlineAsm *IA = dyn_cast<InlineAsm>(V)) { 1221c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner Out << "asm "; 1222c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner if (IA->hasSideEffects()) 1223c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner Out << "sideeffect "; 12248ba2d5befc05ca73d3bac8708819bbbe759e2cf9Dale Johannesen if (IA->isAlignStack()) 12258ba2d5befc05ca73d3bac8708819bbbe759e2cf9Dale Johannesen Out << "alignstack "; 1226c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner Out << '"'; 1227c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner PrintEscapedString(IA->getAsmString(), Out); 1228c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner Out << "\", \""; 1229c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner PrintEscapedString(IA->getConstraintString(), Out); 1230c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner Out << '"'; 1231cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner return; 1232cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner } 1233e54abc90fe9942ef3902040a7ac475ce0c369dc9Devang Patel 1234104cf9e02b0ed94d4173869a598af6c6972a8660Devang Patel if (const MDNode *N = dyn_cast<MDNode>(V)) { 123597e2450de2ee50f51e42317d91a40b6d5ae65d0cVictor Hernandez if (Machine->getMetadataSlot(N) == -1) { 123697e2450de2ee50f51e42317d91a40b6d5ae65d0cVictor Hernandez // Print metadata inline, not via slot reference number. 123797e2450de2ee50f51e42317d91a40b6d5ae65d0cVictor Hernandez Out << "!{"; 123897e2450de2ee50f51e42317d91a40b6d5ae65d0cVictor Hernandez for (unsigned mi = 0, me = N->getNumElements(); mi != me; ++mi) { 123997e2450de2ee50f51e42317d91a40b6d5ae65d0cVictor Hernandez const Value *Val = N->getElement(mi); 124097e2450de2ee50f51e42317d91a40b6d5ae65d0cVictor Hernandez if (!Val) 124197e2450de2ee50f51e42317d91a40b6d5ae65d0cVictor Hernandez Out << "null"; 124297e2450de2ee50f51e42317d91a40b6d5ae65d0cVictor Hernandez else { 124397e2450de2ee50f51e42317d91a40b6d5ae65d0cVictor Hernandez TypePrinter->print(N->getElement(0)->getType(), Out); 124497e2450de2ee50f51e42317d91a40b6d5ae65d0cVictor Hernandez Out << ' '; 124597e2450de2ee50f51e42317d91a40b6d5ae65d0cVictor Hernandez WriteAsOperandInternal(Out, N->getElement(0), TypePrinter, Machine); 124697e2450de2ee50f51e42317d91a40b6d5ae65d0cVictor Hernandez } 124797e2450de2ee50f51e42317d91a40b6d5ae65d0cVictor Hernandez if (mi + 1 != me) 124897e2450de2ee50f51e42317d91a40b6d5ae65d0cVictor Hernandez Out << ", "; 124997e2450de2ee50f51e42317d91a40b6d5ae65d0cVictor Hernandez } 125097e2450de2ee50f51e42317d91a40b6d5ae65d0cVictor Hernandez Out << '}'; 125197e2450de2ee50f51e42317d91a40b6d5ae65d0cVictor Hernandez return; 125297e2450de2ee50f51e42317d91a40b6d5ae65d0cVictor Hernandez } 125397e2450de2ee50f51e42317d91a40b6d5ae65d0cVictor Hernandez 1254104cf9e02b0ed94d4173869a598af6c6972a8660Devang Patel Out << '!' << Machine->getMetadataSlot(N); 1255104cf9e02b0ed94d4173869a598af6c6972a8660Devang Patel return; 1256104cf9e02b0ed94d4173869a598af6c6972a8660Devang Patel } 1257104cf9e02b0ed94d4173869a598af6c6972a8660Devang Patel 1258e54abc90fe9942ef3902040a7ac475ce0c369dc9Devang Patel if (const MDString *MDS = dyn_cast<MDString>(V)) { 1259e54abc90fe9942ef3902040a7ac475ce0c369dc9Devang Patel Out << "!\""; 126003d7651c3652e1f0cc86e79b26585d86818da9cfDaniel Dunbar PrintEscapedString(MDS->getString(), Out); 1261e54abc90fe9942ef3902040a7ac475ce0c369dc9Devang Patel Out << '"'; 1262e54abc90fe9942ef3902040a7ac475ce0c369dc9Devang Patel return; 1263e54abc90fe9942ef3902040a7ac475ce0c369dc9Devang Patel } 1264e54abc90fe9942ef3902040a7ac475ce0c369dc9Devang Patel 1265746d546877a354a0d94ab0bc67775d040022a2b6Evan Cheng if (V->getValueID() == Value::PseudoSourceValueVal || 1266746d546877a354a0d94ab0bc67775d040022a2b6Evan Cheng V->getValueID() == Value::FixedStackPseudoSourceValueVal) { 1267cd26ec5f3c089b3b24f80ff200e94e681eb9e1eeDan Gohman V->print(Out); 1268cd26ec5f3c089b3b24f80ff200e94e681eb9e1eeDan Gohman return; 1269cd26ec5f3c089b3b24f80ff200e94e681eb9e1eeDan Gohman } 1270cd26ec5f3c089b3b24f80ff200e94e681eb9e1eeDan Gohman 1271cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner char Prefix = '%'; 1272cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner int Slot; 1273cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner if (Machine) { 1274cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner if (const GlobalValue *GV = dyn_cast<GlobalValue>(V)) { 1275cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner Slot = Machine->getGlobalSlot(GV); 1276cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner Prefix = '@'; 1277cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner } else { 1278cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner Slot = Machine->getLocalSlot(V); 1279cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner } 1280c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner } else { 1281cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner Machine = createSlotTracker(V); 1282c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner if (Machine) { 1283c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner if (const GlobalValue *GV = dyn_cast<GlobalValue>(V)) { 1284c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner Slot = Machine->getGlobalSlot(GV); 1285c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner Prefix = '@'; 1286c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner } else { 1287c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner Slot = Machine->getLocalSlot(V); 1288c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner } 1289d6c0f65b532f022e584d8f1e3c044593b4c74a99Dan Gohman delete Machine; 129080cd11561892a639a2628d19815af0695b5dbcaaChris Lattner } else { 1291cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner Slot = -1; 12927a716addedc4938fa0ec6b77e5eeaced6eafc5d0Chris Lattner } 12937a716addedc4938fa0ec6b77e5eeaced6eafc5d0Chris Lattner } 1294a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar 1295cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner if (Slot != -1) 1296cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner Out << Prefix << Slot; 1297cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner else 1298cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner Out << "<badref>"; 12997a716addedc4938fa0ec6b77e5eeaced6eafc5d0Chris Lattner} 13007a716addedc4938fa0ec6b77e5eeaced6eafc5d0Chris Lattner 13011220e10f70f89e0f8082344646d79805edf9025dDan Gohmanvoid llvm::WriteAsOperand(raw_ostream &Out, const Value *V, 13021220e10f70f89e0f8082344646d79805edf9025dDan Gohman bool PrintType, const Module *Context) { 1303d6c0f65b532f022e584d8f1e3c044593b4c74a99Dan Gohman 1304d6c0f65b532f022e584d8f1e3c044593b4c74a99Dan Gohman // Fast path: Don't construct and populate a TypePrinting object if we 1305d6c0f65b532f022e584d8f1e3c044593b4c74a99Dan Gohman // won't be needing any types printed. 1306009fc9e5d9058a1d3b64bf5cacb29d4f0c952ca5Dan Gohman if (!PrintType && 1307009fc9e5d9058a1d3b64bf5cacb29d4f0c952ca5Dan Gohman (!isa<Constant>(V) || V->hasName() || isa<GlobalValue>(V))) { 1308d6c0f65b532f022e584d8f1e3c044593b4c74a99Dan Gohman WriteAsOperandInternal(Out, V, 0, 0); 1309d6c0f65b532f022e584d8f1e3c044593b4c74a99Dan Gohman return; 1310d6c0f65b532f022e584d8f1e3c044593b4c74a99Dan Gohman } 1311d6c0f65b532f022e584d8f1e3c044593b4c74a99Dan Gohman 1312607dc6880ecfd4807de2163d37f2fa8877b7f62dChris Lattner if (Context == 0) Context = getModuleFromVal(V); 13137a716addedc4938fa0ec6b77e5eeaced6eafc5d0Chris Lattner 1314e9fa33eb6629aea72cd59560216bb6a7b8ebc689Chris Lattner TypePrinting TypePrinter; 1315413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner std::vector<const Type*> NumberedTypes; 1316413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner AddModuleTypesToPrinter(TypePrinter, NumberedTypes, Context); 13178dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman if (PrintType) { 13180f7364b4aa15263827af49d046fd6147ac769eefChris Lattner TypePrinter.print(V->getType(), Out); 13198dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman Out << ' '; 13208dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman } 1321fd93908ae8b9684fe71c239e3c6cfe13ff6a2663Misha Brukman 1322d6c0f65b532f022e584d8f1e3c044593b4c74a99Dan Gohman WriteAsOperandInternal(Out, V, &TypePrinter, 0); 1323622f740a7dcf0b3520244e58b2233898fd4a46e4Chris Lattner} 1324622f740a7dcf0b3520244e58b2233898fd4a46e4Chris Lattner 1325cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattnernamespace { 1326d8c2e42aeff8bdb3ac905b4721b3d3ca1f904cfaChris Lattner 1327007377f381e253cc559db8d3c94fa89b0eb55fadChris Lattnerclass AssemblyWriter { 1328683e922d299bdfa9ec609bd58a0eed20568303f1Dan Gohman formatted_raw_ostream &Out; 13290d9574a1cd68c6e41f725c22657b8bb3f8d74117Chris Lattner SlotTracker &Machine; 1330c1824996451d5ea93864fcd34ba8ea5e5f03e368Chris Lattner const Module *TheModule; 13319cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner TypePrinting TypePrinter; 133295e5a2cc3fc55b262d2baa1cc417115dfa4a18eaChris Lattner AssemblyAnnotationWriter *AnnotationWriter; 1333413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner std::vector<const Type*> NumberedTypes; 1334ce6a1c97569ce65a60340b20e65abd0787969942Devang Patel DenseMap<unsigned, StringRef> MDNames; 1335923078c65d5a37a4f135705300c9feea49487de5Devang Patel 1336009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattnerpublic: 1337683e922d299bdfa9ec609bd58a0eed20568303f1Dan Gohman inline AssemblyWriter(formatted_raw_ostream &o, SlotTracker &Mac, 1338683e922d299bdfa9ec609bd58a0eed20568303f1Dan Gohman const Module *M, 133995e5a2cc3fc55b262d2baa1cc417115dfa4a18eaChris Lattner AssemblyAnnotationWriter *AAW) 13403168b79c1c16333d17295c44f9157c8321ec6235Devang Patel : Out(o), Machine(Mac), TheModule(M), AnnotationWriter(AAW) { 1341413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner AddModuleTypesToPrinter(TypePrinter, NumberedTypes, M); 134218f0c263e65da094ef5ba49bb7f66f58cf1cbd0fDevang Patel // FIXME: Provide MDPrinter 13437f93f4d66c54e2628fbd159fa19bcfbe601458aeDevang Patel if (M) { 13447f93f4d66c54e2628fbd159fa19bcfbe601458aeDevang Patel MetadataContext &TheMetadata = M->getContext().getMetadata(); 1345ce6a1c97569ce65a60340b20e65abd0787969942Devang Patel SmallVector<std::pair<unsigned, StringRef>, 4> Names; 1346ce6a1c97569ce65a60340b20e65abd0787969942Devang Patel TheMetadata.getHandlerNames(Names); 1347ce6a1c97569ce65a60340b20e65abd0787969942Devang Patel for (SmallVector<std::pair<unsigned, StringRef>, 4>::iterator 1348ce6a1c97569ce65a60340b20e65abd0787969942Devang Patel I = Names.begin(), 1349ce6a1c97569ce65a60340b20e65abd0787969942Devang Patel E = Names.end(); I != E; ++I) { 1350ce6a1c97569ce65a60340b20e65abd0787969942Devang Patel MDNames[I->first] = I->second; 13517f93f4d66c54e2628fbd159fa19bcfbe601458aeDevang Patel } 135218f0c263e65da094ef5ba49bb7f66f58cf1cbd0fDevang Patel } 1353009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner } 1354009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner 1355413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner void write(const Module *M) { printModule(M); } 1356a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar 1357944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner void write(const GlobalValue *G) { 1358944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner if (const GlobalVariable *GV = dyn_cast<GlobalVariable>(G)) 1359944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner printGlobal(GV); 1360944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner else if (const GlobalAlias *GA = dyn_cast<GlobalAlias>(G)) 1361944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner printAlias(GA); 1362944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner else if (const Function *F = dyn_cast<Function>(G)) 1363944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner printFunction(F); 1364944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner else 1365c23197a26f34f559ea9797de51e187087c039c42Torok Edwin llvm_unreachable("Unknown global"); 1366944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner } 1367a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar 1368cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner void write(const BasicBlock *BB) { printBasicBlock(BB); } 1369cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner void write(const Instruction *I) { printInstruction(*I); } 1370009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner 13712fcfdb79d0d1d2297d7aced11b567cd52494604eChris Lattner void writeOperand(const Value *Op, bool PrintType); 1372eaf42abab6d465c38891345d999255871cf03943Devang Patel void writeParamOperand(const Value *Operand, Attributes Attrs); 137366e810be9f97fa744ca949d54b5d54358add84b8Chris Lattner 1374f771bea7402f05f59b2857586de9934ff1c7bbf5Misha Brukmanprivate: 1375c1824996451d5ea93864fcd34ba8ea5e5f03e368Chris Lattner void printModule(const Module *M); 137678d033e086e19e016273de014f9214aa6f3f844bReid Spencer void printTypeSymbolTable(const TypeSymbolTable &ST); 1377c1824996451d5ea93864fcd34ba8ea5e5f03e368Chris Lattner void printGlobal(const GlobalVariable *GV); 13788b0a8c84da2030ee8f4440d5b60a8033de691222Anton Korobeynikov void printAlias(const GlobalAlias *GV); 137979df7c0aaa18129e55968c8783ef8346807bd4afChris Lattner void printFunction(const Function *F); 1380eaf42abab6d465c38891345d999255871cf03943Devang Patel void printArgument(const Argument *FA, Attributes Attrs); 1381c1824996451d5ea93864fcd34ba8ea5e5f03e368Chris Lattner void printBasicBlock(const BasicBlock *BB); 13827e70829632f82de15db187845666aaca6e04b792Chris Lattner void printInstruction(const Instruction &I); 13832761e9f076bbe6c961629aece62db4b836a41ef8Chris Lattner 1384e02fa8551d20081534afa46e0976811687e5183aChris Lattner // printInfoComment - Print a little comment after the instruction indicating 1385e02fa8551d20081534afa46e0976811687e5183aChris Lattner // which slot it occupies. 13867e70829632f82de15db187845666aaca6e04b792Chris Lattner void printInfoComment(const Value &V); 1387009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner}; 1388413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner} // end of anonymous namespace 1389009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner 13902761e9f076bbe6c961629aece62db4b836a41ef8Chris Lattner 13912fcfdb79d0d1d2297d7aced11b567cd52494604eChris Lattnervoid AssemblyWriter::writeOperand(const Value *Operand, bool PrintType) { 13922fcfdb79d0d1d2297d7aced11b567cd52494604eChris Lattner if (Operand == 0) { 1393aab1820816facf83d7bda8f01e3d85ced99601f3Chris Lattner Out << "<null operand!>"; 13942fcfdb79d0d1d2297d7aced11b567cd52494604eChris Lattner } else { 1395cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner if (PrintType) { 13960f7364b4aa15263827af49d046fd6147ac769eefChris Lattner TypePrinter.print(Operand->getType(), Out); 13978dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman Out << ' '; 1398cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner } 1399d6c0f65b532f022e584d8f1e3c044593b4c74a99Dan Gohman WriteAsOperandInternal(Out, Operand, &TypePrinter, &Machine); 1400aab1820816facf83d7bda8f01e3d85ced99601f3Chris Lattner } 1401007377f381e253cc559db8d3c94fa89b0eb55fadChris Lattner} 1402007377f381e253cc559db8d3c94fa89b0eb55fadChris Lattner 1403a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbarvoid AssemblyWriter::writeParamOperand(const Value *Operand, 1404eaf42abab6d465c38891345d999255871cf03943Devang Patel Attributes Attrs) { 1405dc024674ff96820d6020757b48d47f46d4c07db2Duncan Sands if (Operand == 0) { 1406dc024674ff96820d6020757b48d47f46d4c07db2Duncan Sands Out << "<null operand!>"; 1407dc024674ff96820d6020757b48d47f46d4c07db2Duncan Sands } else { 1408dc024674ff96820d6020757b48d47f46d4c07db2Duncan Sands // Print the type 14090f7364b4aa15263827af49d046fd6147ac769eefChris Lattner TypePrinter.print(Operand->getType(), Out); 1410dc024674ff96820d6020757b48d47f46d4c07db2Duncan Sands // Print parameter attributes list 14110598866c052147c31b808391f58434ce3dbfb838Devang Patel if (Attrs != Attribute::None) 14120598866c052147c31b808391f58434ce3dbfb838Devang Patel Out << ' ' << Attribute::getAsString(Attrs); 14138dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman Out << ' '; 1414dc024674ff96820d6020757b48d47f46d4c07db2Duncan Sands // Print the operand 1415d6c0f65b532f022e584d8f1e3c044593b4c74a99Dan Gohman WriteAsOperandInternal(Out, Operand, &TypePrinter, &Machine); 1416dc024674ff96820d6020757b48d47f46d4c07db2Duncan Sands } 1417dc024674ff96820d6020757b48d47f46d4c07db2Duncan Sands} 1418007377f381e253cc559db8d3c94fa89b0eb55fadChris Lattner 1419c1824996451d5ea93864fcd34ba8ea5e5f03e368Chris Lattnervoid AssemblyWriter::printModule(const Module *M) { 142031ab1b3d74440908889fc8ea0615c1d397478360Chris Lattner if (!M->getModuleIdentifier().empty() && 1421fd93908ae8b9684fe71c239e3c6cfe13ff6a2663Misha Brukman // Don't print the ID if it will start a new line (which would 142231ab1b3d74440908889fc8ea0615c1d397478360Chris Lattner // require a comment char before it). 142331ab1b3d74440908889fc8ea0615c1d397478360Chris Lattner M->getModuleIdentifier().find('\n') == std::string::npos) 142431ab1b3d74440908889fc8ea0615c1d397478360Chris Lattner Out << "; ModuleID = '" << M->getModuleIdentifier() << "'\n"; 142531ab1b3d74440908889fc8ea0615c1d397478360Chris Lattner 1426cf7ff2b4c8c18d67aced9d7ba84482819b38a84bOwen Anderson if (!M->getDataLayout().empty()) 1427d2f9e609aa40de7049ebb6f838e7ba6579e3fb6aChris Lattner Out << "target datalayout = \"" << M->getDataLayout() << "\"\n"; 1428cddc86f27c822af960fc8d344a86a63fce6eab76Reid Spencer if (!M->getTargetTriple().empty()) 1429c9a1f0dcdde056a2cdbc446a9d6853684402263fReid Spencer Out << "target triple = \"" << M->getTargetTriple() << "\"\n"; 1430fd93908ae8b9684fe71c239e3c6cfe13ff6a2663Misha Brukman 1431cc041ba03aed685400197fb938b7a583713d25afChris Lattner if (!M->getModuleInlineAsm().empty()) { 143242a162ed8023088e7a4a7d81325381bd8d437bb7Chris Lattner // Split the string into lines, to make it easier to read the .ll file. 1433cc041ba03aed685400197fb938b7a583713d25afChris Lattner std::string Asm = M->getModuleInlineAsm(); 143442a162ed8023088e7a4a7d81325381bd8d437bb7Chris Lattner size_t CurPos = 0; 143542a162ed8023088e7a4a7d81325381bd8d437bb7Chris Lattner size_t NewLine = Asm.find_first_of('\n', CurPos); 14369bf0b9bd44d356690e936ae16bec2c115c7d9f5fDan Gohman Out << '\n'; 143742a162ed8023088e7a4a7d81325381bd8d437bb7Chris Lattner while (NewLine != std::string::npos) { 143842a162ed8023088e7a4a7d81325381bd8d437bb7Chris Lattner // We found a newline, print the portion of the asm string from the 143942a162ed8023088e7a4a7d81325381bd8d437bb7Chris Lattner // last newline up to this newline. 144042a162ed8023088e7a4a7d81325381bd8d437bb7Chris Lattner Out << "module asm \""; 144142a162ed8023088e7a4a7d81325381bd8d437bb7Chris Lattner PrintEscapedString(std::string(Asm.begin()+CurPos, Asm.begin()+NewLine), 144242a162ed8023088e7a4a7d81325381bd8d437bb7Chris Lattner Out); 144342a162ed8023088e7a4a7d81325381bd8d437bb7Chris Lattner Out << "\"\n"; 144442a162ed8023088e7a4a7d81325381bd8d437bb7Chris Lattner CurPos = NewLine+1; 144542a162ed8023088e7a4a7d81325381bd8d437bb7Chris Lattner NewLine = Asm.find_first_of('\n', CurPos); 144642a162ed8023088e7a4a7d81325381bd8d437bb7Chris Lattner } 144771cdba31774ce18ed32e89f1c6f7716ab923aa46Chris Lattner Out << "module asm \""; 144842a162ed8023088e7a4a7d81325381bd8d437bb7Chris Lattner PrintEscapedString(std::string(Asm.begin()+CurPos, Asm.end()), Out); 144918365506ebe3e28593cb36951f17f08e75712a29Chris Lattner Out << "\"\n"; 145018365506ebe3e28593cb36951f17f08e75712a29Chris Lattner } 1451a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar 145244da7d79760998f9a70340b49a3811229838224dChris Lattner // Loop over the dependent libraries and emit them. 1453cfe97b78e787d232f4a82f5ff0afadf75ba95f6cChris Lattner Module::lib_iterator LI = M->lib_begin(); 1454cfe97b78e787d232f4a82f5ff0afadf75ba95f6cChris Lattner Module::lib_iterator LE = M->lib_end(); 1455cddc86f27c822af960fc8d344a86a63fce6eab76Reid Spencer if (LI != LE) { 14569bf0b9bd44d356690e936ae16bec2c115c7d9f5fDan Gohman Out << '\n'; 1457cfe97b78e787d232f4a82f5ff0afadf75ba95f6cChris Lattner Out << "deplibs = [ "; 1458cfe97b78e787d232f4a82f5ff0afadf75ba95f6cChris Lattner while (LI != LE) { 145944da7d79760998f9a70340b49a3811229838224dChris Lattner Out << '"' << *LI << '"'; 1460c9a1f0dcdde056a2cdbc446a9d6853684402263fReid Spencer ++LI; 1461cfe97b78e787d232f4a82f5ff0afadf75ba95f6cChris Lattner if (LI != LE) 1462cfe97b78e787d232f4a82f5ff0afadf75ba95f6cChris Lattner Out << ", "; 1463c9a1f0dcdde056a2cdbc446a9d6853684402263fReid Spencer } 14649bf0b9bd44d356690e936ae16bec2c115c7d9f5fDan Gohman Out << " ]"; 146583f6a77c8fc27eba21bca05be37663f3a6e123a1Reid Spencer } 1466e59eaf407a675845e278c2769e3dbed9f1daae8cReid Spencer 1467413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner // Loop over the symbol table, emitting all id'd types. 14689bf0b9bd44d356690e936ae16bec2c115c7d9f5fDan Gohman if (!M->getTypeSymbolTable().empty() || !NumberedTypes.empty()) Out << '\n'; 146978d033e086e19e016273de014f9214aa6f3f844bReid Spencer printTypeSymbolTable(M->getTypeSymbolTable()); 1470fd93908ae8b9684fe71c239e3c6cfe13ff6a2663Misha Brukman 14719bf0b9bd44d356690e936ae16bec2c115c7d9f5fDan Gohman // Output all globals. 14729bf0b9bd44d356690e936ae16bec2c115c7d9f5fDan Gohman if (!M->global_empty()) Out << '\n'; 1473d6d826cdadc4dcaa5babefda85bf08aaa57d8bc5Chris Lattner for (Module::const_global_iterator I = M->global_begin(), E = M->global_end(); 1474d6d826cdadc4dcaa5babefda85bf08aaa57d8bc5Chris Lattner I != E; ++I) 14757e70829632f82de15db187845666aaca6e04b792Chris Lattner printGlobal(I); 1476a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar 147769dacfce54473414c1a863d19ab8f2785cd2a4f2Chris Lattner // Output all aliases. 147869dacfce54473414c1a863d19ab8f2785cd2a4f2Chris Lattner if (!M->alias_empty()) Out << "\n"; 147969dacfce54473414c1a863d19ab8f2785cd2a4f2Chris Lattner for (Module::const_alias_iterator I = M->alias_begin(), E = M->alias_end(); 148069dacfce54473414c1a863d19ab8f2785cd2a4f2Chris Lattner I != E; ++I) 148169dacfce54473414c1a863d19ab8f2785cd2a4f2Chris Lattner printAlias(I); 1482007377f381e253cc559db8d3c94fa89b0eb55fadChris Lattner 148344da7d79760998f9a70340b49a3811229838224dChris Lattner // Output all of the functions. 14847e70829632f82de15db187845666aaca6e04b792Chris Lattner for (Module::const_iterator I = M->begin(), E = M->end(); I != E; ++I) 14857e70829632f82de15db187845666aaca6e04b792Chris Lattner printFunction(I); 1486320671d2654a543bbeed5b62efe165430146d55eDevang Patel 148737c4a2d6f15ff32c9ae91e333d655a349e195993Devang Patel // Output named metadata. 14889bf0b9bd44d356690e936ae16bec2c115c7d9f5fDan Gohman if (!M->named_metadata_empty()) Out << '\n'; 148937c4a2d6f15ff32c9ae91e333d655a349e195993Devang Patel for (Module::const_named_metadata_iterator I = M->named_metadata_begin(), 149037c4a2d6f15ff32c9ae91e333d655a349e195993Devang Patel E = M->named_metadata_end(); I != E; ++I) { 149137c4a2d6f15ff32c9ae91e333d655a349e195993Devang Patel const NamedMDNode *NMD = I; 149237c4a2d6f15ff32c9ae91e333d655a349e195993Devang Patel Out << "!" << NMD->getName() << " = !{"; 149337c4a2d6f15ff32c9ae91e333d655a349e195993Devang Patel for (unsigned i = 0, e = NMD->getNumElements(); i != e; ++i) { 149437c4a2d6f15ff32c9ae91e333d655a349e195993Devang Patel if (i) Out << ", "; 1495e8861b840bf388945d876f97cf2ff6fcbf310790Devang Patel MDNode *MD = dyn_cast_or_null<MDNode>(NMD->getElement(i)); 149637c4a2d6f15ff32c9ae91e333d655a349e195993Devang Patel Out << '!' << Machine.getMetadataSlot(MD); 149737c4a2d6f15ff32c9ae91e333d655a349e195993Devang Patel } 149837c4a2d6f15ff32c9ae91e333d655a349e195993Devang Patel Out << "}\n"; 149937c4a2d6f15ff32c9ae91e333d655a349e195993Devang Patel } 150037c4a2d6f15ff32c9ae91e333d655a349e195993Devang Patel 150137c4a2d6f15ff32c9ae91e333d655a349e195993Devang Patel // Output metadata. 15029bf0b9bd44d356690e936ae16bec2c115c7d9f5fDan Gohman if (!Machine.mdnEmpty()) Out << '\n'; 1503320671d2654a543bbeed5b62efe165430146d55eDevang Patel WriteMDNodes(Out, TypePrinter, Machine); 1504009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner} 1505009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner 1506683e922d299bdfa9ec609bd58a0eed20568303f1Dan Gohmanstatic void PrintLinkage(GlobalValue::LinkageTypes LT, 1507683e922d299bdfa9ec609bd58a0eed20568303f1Dan Gohman formatted_raw_ostream &Out) { 1508cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner switch (LT) { 15093d10a5a75794356a0a568ce283713adc3a963200Bill Wendling case GlobalValue::ExternalLinkage: break; 15103d10a5a75794356a0a568ce283713adc3a963200Bill Wendling case GlobalValue::PrivateLinkage: Out << "private "; break; 15113d10a5a75794356a0a568ce283713adc3a963200Bill Wendling case GlobalValue::LinkerPrivateLinkage: Out << "linker_private "; break; 15123d10a5a75794356a0a568ce283713adc3a963200Bill Wendling case GlobalValue::InternalLinkage: Out << "internal "; break; 15133d10a5a75794356a0a568ce283713adc3a963200Bill Wendling case GlobalValue::LinkOnceAnyLinkage: Out << "linkonce "; break; 15143d10a5a75794356a0a568ce283713adc3a963200Bill Wendling case GlobalValue::LinkOnceODRLinkage: Out << "linkonce_odr "; break; 15153d10a5a75794356a0a568ce283713adc3a963200Bill Wendling case GlobalValue::WeakAnyLinkage: Out << "weak "; break; 15163d10a5a75794356a0a568ce283713adc3a963200Bill Wendling case GlobalValue::WeakODRLinkage: Out << "weak_odr "; break; 15173d10a5a75794356a0a568ce283713adc3a963200Bill Wendling case GlobalValue::CommonLinkage: Out << "common "; break; 15183d10a5a75794356a0a568ce283713adc3a963200Bill Wendling case GlobalValue::AppendingLinkage: Out << "appending "; break; 15193d10a5a75794356a0a568ce283713adc3a963200Bill Wendling case GlobalValue::DLLImportLinkage: Out << "dllimport "; break; 15203d10a5a75794356a0a568ce283713adc3a963200Bill Wendling case GlobalValue::DLLExportLinkage: Out << "dllexport "; break; 15213d10a5a75794356a0a568ce283713adc3a963200Bill Wendling case GlobalValue::ExternalWeakLinkage: Out << "extern_weak "; break; 1522266c7bbbbcc4b326dea82e577de1a415d6acc23eChris Lattner case GlobalValue::AvailableExternallyLinkage: 1523266c7bbbbcc4b326dea82e577de1a415d6acc23eChris Lattner Out << "available_externally "; 1524266c7bbbbcc4b326dea82e577de1a415d6acc23eChris Lattner break; 152504458e404fe418c2ce4dac31ad57018374bc6c00Eric Christopher // This is invalid syntax and just a debugging aid. 152604458e404fe418c2ce4dac31ad57018374bc6c00Eric Christopher case GlobalValue::GhostLinkage: Out << "ghost "; break; 1527cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner } 1528cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner} 1529667d4b8de6dea70195ff12ef39a4deebffa2f5c7Duncan Sands 1530cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner 1531cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattnerstatic void PrintVisibility(GlobalValue::VisibilityTypes Vis, 1532683e922d299bdfa9ec609bd58a0eed20568303f1Dan Gohman formatted_raw_ostream &Out) { 1533cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner switch (Vis) { 1534c23197a26f34f559ea9797de51e187087c039c42Torok Edwin default: llvm_unreachable("Invalid visibility style!"); 1535cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner case GlobalValue::DefaultVisibility: break; 1536cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner case GlobalValue::HiddenVisibility: Out << "hidden "; break; 1537cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner case GlobalValue::ProtectedVisibility: Out << "protected "; break; 1538cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner } 1539cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner} 1540cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner 1541c1824996451d5ea93864fcd34ba8ea5e5f03e368Chris Lattnervoid AssemblyWriter::printGlobal(const GlobalVariable *GV) { 1542d6c0f65b532f022e584d8f1e3c044593b4c74a99Dan Gohman WriteAsOperandInternal(Out, GV, &TypePrinter, &Machine); 15433845e50edea58edd0f5e0f2b732e0106b53ba279Dan Gohman Out << " = "; 1544d70684f7585a85c4248c1c224059478108741c70Chris Lattner 154552b26de325e32c71159376853384789b7646eaf4Chris Lattner if (!GV->hasInitializer() && GV->hasExternalLinkage()) 154652b26de325e32c71159376853384789b7646eaf4Chris Lattner Out << "external "; 1547a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar 154852b26de325e32c71159376853384789b7646eaf4Chris Lattner PrintLinkage(GV->getLinkage(), Out); 154952b26de325e32c71159376853384789b7646eaf4Chris Lattner PrintVisibility(GV->getVisibility(), Out); 1550c763552299165b88d34a7d4f2d76ff413cbc7f67Lauro Ramos Venancio 1551c763552299165b88d34a7d4f2d76ff413cbc7f67Lauro Ramos Venancio if (GV->isThreadLocal()) Out << "thread_local "; 1552df98617b23315e427cc4fad8ccfdd50d68bec2f9Chris Lattner if (unsigned AddressSpace = GV->getType()->getAddressSpace()) 1553df98617b23315e427cc4fad8ccfdd50d68bec2f9Chris Lattner Out << "addrspace(" << AddressSpace << ") "; 15540313e0b44dcd77acd334d3f324c7da527179a690Misha Brukman Out << (GV->isConstant() ? "constant " : "global "); 15550f7364b4aa15263827af49d046fd6147ac769eefChris Lattner TypePrinter.print(GV->getType()->getElementType(), Out); 1556d70684f7585a85c4248c1c224059478108741c70Chris Lattner 15578dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman if (GV->hasInitializer()) { 15588dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman Out << ' '; 1559320671d2654a543bbeed5b62efe165430146d55eDevang Patel writeOperand(GV->getInitializer(), false); 15608dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman } 1561a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar 156260962dbfbaa4a9c3ca6fced08fb90b748aa99203Chris Lattner if (GV->hasSection()) 156360962dbfbaa4a9c3ca6fced08fb90b748aa99203Chris Lattner Out << ", section \"" << GV->getSection() << '"'; 156460962dbfbaa4a9c3ca6fced08fb90b748aa99203Chris Lattner if (GV->getAlignment()) 156530caa2876cd500b49e27b6810ab5dec96398c6faChris Lattner Out << ", align " << GV->getAlignment(); 15668b0a8c84da2030ee8f4440d5b60a8033de691222Anton Korobeynikov 15677e70829632f82de15db187845666aaca6e04b792Chris Lattner printInfoComment(*GV); 1568cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner Out << '\n'; 156970cc3397f84c2e1fd69c059a0ef89e398e847b00Chris Lattner} 157070cc3397f84c2e1fd69c059a0ef89e398e847b00Chris Lattner 15718b0a8c84da2030ee8f4440d5b60a8033de691222Anton Korobeynikovvoid AssemblyWriter::printAlias(const GlobalAlias *GA) { 157224f07dc6e464aa82694fd3dd5fc88dc139d16b7cDale Johannesen // Don't crash when dumping partially built GA 157324f07dc6e464aa82694fd3dd5fc88dc139d16b7cDale Johannesen if (!GA->hasName()) 157424f07dc6e464aa82694fd3dd5fc88dc139d16b7cDale Johannesen Out << "<<nameless>> = "; 1575c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner else { 1576c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner PrintLLVMName(Out, GA); 1577c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner Out << " = "; 1578c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner } 1579cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner PrintVisibility(GA->getVisibility(), Out); 15808b0a8c84da2030ee8f4440d5b60a8033de691222Anton Korobeynikov 15818b0a8c84da2030ee8f4440d5b60a8033de691222Anton Korobeynikov Out << "alias "; 15828b0a8c84da2030ee8f4440d5b60a8033de691222Anton Korobeynikov 1583cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner PrintLinkage(GA->getLinkage(), Out); 1584a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar 1585c6c98af9e5814e8066c82f20ca11cf646a5fc289Anton Korobeynikov const Constant *Aliasee = GA->getAliasee(); 1586a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar 15878b0a8c84da2030ee8f4440d5b60a8033de691222Anton Korobeynikov if (const GlobalVariable *GV = dyn_cast<GlobalVariable>(Aliasee)) { 15880f7364b4aa15263827af49d046fd6147ac769eefChris Lattner TypePrinter.print(GV->getType(), Out); 1589c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner Out << ' '; 1590c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner PrintLLVMName(Out, GV); 15918b0a8c84da2030ee8f4440d5b60a8033de691222Anton Korobeynikov } else if (const Function *F = dyn_cast<Function>(Aliasee)) { 15920f7364b4aa15263827af49d046fd6147ac769eefChris Lattner TypePrinter.print(F->getFunctionType(), Out); 15938b0a8c84da2030ee8f4440d5b60a8033de691222Anton Korobeynikov Out << "* "; 15948b0a8c84da2030ee8f4440d5b60a8033de691222Anton Korobeynikov 1595d6c0f65b532f022e584d8f1e3c044593b4c74a99Dan Gohman WriteAsOperandInternal(Out, F, &TypePrinter, &Machine); 1596591858a403a71fc5b30bc7b071f18bc0cf327cfcAnton Korobeynikov } else if (const GlobalAlias *GA = dyn_cast<GlobalAlias>(Aliasee)) { 15970f7364b4aa15263827af49d046fd6147ac769eefChris Lattner TypePrinter.print(GA->getType(), Out); 15980f7364b4aa15263827af49d046fd6147ac769eefChris Lattner Out << ' '; 1599c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner PrintLLVMName(Out, GA); 1600a80e1181b78183dc36ec6568559d38faa86981f0Anton Korobeynikov } else { 1601a2165ed6ee7f73b5cf272a0b5d5d4ed448f52665Chris Lattner const ConstantExpr *CE = cast<ConstantExpr>(Aliasee); 1602a2165ed6ee7f73b5cf272a0b5d5d4ed448f52665Chris Lattner // The only valid GEP is an all zero GEP. 1603a2165ed6ee7f73b5cf272a0b5d5d4ed448f52665Chris Lattner assert((CE->getOpcode() == Instruction::BitCast || 1604a2165ed6ee7f73b5cf272a0b5d5d4ed448f52665Chris Lattner CE->getOpcode() == Instruction::GetElementPtr) && 1605a2165ed6ee7f73b5cf272a0b5d5d4ed448f52665Chris Lattner "Unsupported aliasee"); 1606a2165ed6ee7f73b5cf272a0b5d5d4ed448f52665Chris Lattner writeOperand(CE, false); 1607a80e1181b78183dc36ec6568559d38faa86981f0Anton Korobeynikov } 1608a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar 16098b0a8c84da2030ee8f4440d5b60a8033de691222Anton Korobeynikov printInfoComment(*GA); 161052b26de325e32c71159376853384789b7646eaf4Chris Lattner Out << '\n'; 16118b0a8c84da2030ee8f4440d5b60a8033de691222Anton Korobeynikov} 16128b0a8c84da2030ee8f4440d5b60a8033de691222Anton Korobeynikov 161378d033e086e19e016273de014f9214aa6f3f844bReid Spencervoid AssemblyWriter::printTypeSymbolTable(const TypeSymbolTable &ST) { 1614413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner // Emit all numbered types. 1615413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner for (unsigned i = 0, e = NumberedTypes.size(); i != e; ++i) { 16163845e50edea58edd0f5e0f2b732e0106b53ba279Dan Gohman Out << '%' << i << " = type "; 1617a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar 1618413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner // Make sure we print out at least one level of the type structure, so 1619413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner // that we do not get %2 = type %2 1620413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner TypePrinter.printAtLeastOneLevel(NumberedTypes[i], Out); 16219bf0b9bd44d356690e936ae16bec2c115c7d9f5fDan Gohman Out << '\n'; 1622413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner } 1623a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar 1624413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner // Print the named types. 162578d033e086e19e016273de014f9214aa6f3f844bReid Spencer for (TypeSymbolTable::const_iterator TI = ST.begin(), TE = ST.end(); 162678d033e086e19e016273de014f9214aa6f3f844bReid Spencer TI != TE; ++TI) { 162703d7651c3652e1f0cc86e79b26585d86818da9cfDaniel Dunbar PrintLLVMName(Out, TI->first, LocalPrefix); 162852b26de325e32c71159376853384789b7646eaf4Chris Lattner Out << " = type "; 16299231ac8b6f2c3f9877bdb7a223f7392061258ab6Reid Spencer 16309231ac8b6f2c3f9877bdb7a223f7392061258ab6Reid Spencer // Make sure we print out at least one level of the type structure, so 16319231ac8b6f2c3f9877bdb7a223f7392061258ab6Reid Spencer // that we do not get %FILE = type %FILE 16320f7364b4aa15263827af49d046fd6147ac769eefChris Lattner TypePrinter.printAtLeastOneLevel(TI->second, Out); 1633cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner Out << '\n'; 16349231ac8b6f2c3f9877bdb7a223f7392061258ab6Reid Spencer } 163578d033e086e19e016273de014f9214aa6f3f844bReid Spencer} 163678d033e086e19e016273de014f9214aa6f3f844bReid Spencer 1637ab5c6003d23c19d23bbff1054900d208c55e0188Misha Brukman/// printFunction - Print all aspects of a function. 1638ab5c6003d23c19d23bbff1054900d208c55e0188Misha Brukman/// 16397e70829632f82de15db187845666aaca6e04b792Chris Lattnervoid AssemblyWriter::printFunction(const Function *F) { 1640cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner // Print out the return type and name. 1641cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner Out << '\n'; 16424ad02e726d9b634372b037d4b352d8b63bb9e849Chris Lattner 16430313e0b44dcd77acd334d3f324c7da527179a690Misha Brukman if (AnnotationWriter) AnnotationWriter->emitFunctionAnnot(F, Out); 164495e5a2cc3fc55b262d2baa1cc417115dfa4a18eaChris Lattner 16455cbf985dcbc89fba3208e7baf8b6f488b06d3ec9Reid Spencer if (F->isDeclaration()) 16463aa6066d010b2ccfd58f07fb1be874becf5807c2Chris Lattner Out << "declare "; 16473aa6066d010b2ccfd58f07fb1be874becf5807c2Chris Lattner else 1648b951bc02839e9862e02e17c7ea83e6437fc13442Reid Spencer Out << "define "; 1649a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar 1650cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner PrintLinkage(F->getLinkage(), Out); 1651cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner PrintVisibility(F->getVisibility(), Out); 16524ad02e726d9b634372b037d4b352d8b63bb9e849Chris Lattner 1653d511898b581826694e6c651e23343b1e1ba5ba64Chris Lattner // Print the calling convention. 1654d511898b581826694e6c651e23343b1e1ba5ba64Chris Lattner switch (F->getCallingConv()) { 1655d511898b581826694e6c651e23343b1e1ba5ba64Chris Lattner case CallingConv::C: break; // default 1656f824868ed9d2cc756a797f6dbd67732f75e31cd6Anton Korobeynikov case CallingConv::Fast: Out << "fastcc "; break; 1657f824868ed9d2cc756a797f6dbd67732f75e31cd6Anton Korobeynikov case CallingConv::Cold: Out << "coldcc "; break; 1658f824868ed9d2cc756a797f6dbd67732f75e31cd6Anton Korobeynikov case CallingConv::X86_StdCall: Out << "x86_stdcallcc "; break; 1659385f5a99ecc7fee48a7539bc63d3e1d3b5089c0dAnton Korobeynikov case CallingConv::X86_FastCall: Out << "x86_fastcallcc "; break; 1660385f5a99ecc7fee48a7539bc63d3e1d3b5089c0dAnton Korobeynikov case CallingConv::ARM_APCS: Out << "arm_apcscc "; break; 1661385f5a99ecc7fee48a7539bc63d3e1d3b5089c0dAnton Korobeynikov case CallingConv::ARM_AAPCS: Out << "arm_aapcscc "; break; 1662385f5a99ecc7fee48a7539bc63d3e1d3b5089c0dAnton Korobeynikov case CallingConv::ARM_AAPCS_VFP:Out << "arm_aapcs_vfpcc "; break; 1663211a14e476abc9b864ab6a5d5e0bbb86d288b650Anton Korobeynikov case CallingConv::MSP430_INTR: Out << "msp430_intrcc "; break; 1664d511898b581826694e6c651e23343b1e1ba5ba64Chris Lattner default: Out << "cc" << F->getCallingConv() << " "; break; 1665d511898b581826694e6c651e23343b1e1ba5ba64Chris Lattner } 1666d511898b581826694e6c651e23343b1e1ba5ba64Chris Lattner 1667bd5db8e29b82f864c3d6525c6cfefa557fafdbb8Reid Spencer const FunctionType *FT = F->getFunctionType(); 16680598866c052147c31b808391f58434ce3dbfb838Devang Patel const AttrListPtr &Attrs = F->getAttributes(); 1669652203f3f3b6dd5062bb450d189a80d8aaa51693Devang Patel Attributes RetAttrs = Attrs.getRetAttributes(); 1670652203f3f3b6dd5062bb450d189a80d8aaa51693Devang Patel if (RetAttrs != Attribute::None) 1671652203f3f3b6dd5062bb450d189a80d8aaa51693Devang Patel Out << Attribute::getAsString(Attrs.getRetAttributes()) << ' '; 16720f7364b4aa15263827af49d046fd6147ac769eefChris Lattner TypePrinter.print(F->getReturnType(), Out); 16734667b71f9380afad56cbdc1fd19ca32334086d2cChris Lattner Out << ' '; 1674d6c0f65b532f022e584d8f1e3c044593b4c74a99Dan Gohman WriteAsOperandInternal(Out, F, &TypePrinter, &Machine); 16750313e0b44dcd77acd334d3f324c7da527179a690Misha Brukman Out << '('; 16760d1b77e2824115d97f8392c3f4ec257b27ebbd7aReid Spencer Machine.incorporateFunction(F); 1677007377f381e253cc559db8d3c94fa89b0eb55fadChris Lattner 1678c1824996451d5ea93864fcd34ba8ea5e5f03e368Chris Lattner // Loop over the arguments, printing them... 1679007377f381e253cc559db8d3c94fa89b0eb55fadChris Lattner 1680bd5db8e29b82f864c3d6525c6cfefa557fafdbb8Reid Spencer unsigned Idx = 1; 16818dcd2f1a5bbb9151ec05532861be58bf3f078e63Chris Lattner if (!F->isDeclaration()) { 16828dcd2f1a5bbb9151ec05532861be58bf3f078e63Chris Lattner // If this isn't a declaration, print the argument names as well. 16838dcd2f1a5bbb9151ec05532861be58bf3f078e63Chris Lattner for (Function::const_arg_iterator I = F->arg_begin(), E = F->arg_end(); 16848dcd2f1a5bbb9151ec05532861be58bf3f078e63Chris Lattner I != E; ++I) { 16858dcd2f1a5bbb9151ec05532861be58bf3f078e63Chris Lattner // Insert commas as we go... the first arg doesn't get a comma 16868dcd2f1a5bbb9151ec05532861be58bf3f078e63Chris Lattner if (I != F->arg_begin()) Out << ", "; 168719c874638d9478a5d5028854817a5ee72293bb2bDevang Patel printArgument(I, Attrs.getParamAttributes(Idx)); 16888dcd2f1a5bbb9151ec05532861be58bf3f078e63Chris Lattner Idx++; 16898dcd2f1a5bbb9151ec05532861be58bf3f078e63Chris Lattner } 16908dcd2f1a5bbb9151ec05532861be58bf3f078e63Chris Lattner } else { 16918dcd2f1a5bbb9151ec05532861be58bf3f078e63Chris Lattner // Otherwise, print the types from the function type. 16928dcd2f1a5bbb9151ec05532861be58bf3f078e63Chris Lattner for (unsigned i = 0, e = FT->getNumParams(); i != e; ++i) { 16938dcd2f1a5bbb9151ec05532861be58bf3f078e63Chris Lattner // Insert commas as we go... the first arg doesn't get a comma 16948dcd2f1a5bbb9151ec05532861be58bf3f078e63Chris Lattner if (i) Out << ", "; 1695a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar 16968dcd2f1a5bbb9151ec05532861be58bf3f078e63Chris Lattner // Output type... 16970f7364b4aa15263827af49d046fd6147ac769eefChris Lattner TypePrinter.print(FT->getParamType(i), Out); 1698a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar 169919c874638d9478a5d5028854817a5ee72293bb2bDevang Patel Attributes ArgAttrs = Attrs.getParamAttributes(i+1); 17000598866c052147c31b808391f58434ce3dbfb838Devang Patel if (ArgAttrs != Attribute::None) 17010598866c052147c31b808391f58434ce3dbfb838Devang Patel Out << ' ' << Attribute::getAsString(ArgAttrs); 17028dcd2f1a5bbb9151ec05532861be58bf3f078e63Chris Lattner } 1703bd5db8e29b82f864c3d6525c6cfefa557fafdbb8Reid Spencer } 1704007377f381e253cc559db8d3c94fa89b0eb55fadChris Lattner 1705007377f381e253cc559db8d3c94fa89b0eb55fadChris Lattner // Finish printing arguments... 17067e70829632f82de15db187845666aaca6e04b792Chris Lattner if (FT->isVarArg()) { 17070313e0b44dcd77acd334d3f324c7da527179a690Misha Brukman if (FT->getNumParams()) Out << ", "; 17080313e0b44dcd77acd334d3f324c7da527179a690Misha Brukman Out << "..."; // Output varargs portion of signature! 1709007377f381e253cc559db8d3c94fa89b0eb55fadChris Lattner } 17100313e0b44dcd77acd334d3f324c7da527179a690Misha Brukman Out << ')'; 171119c874638d9478a5d5028854817a5ee72293bb2bDevang Patel Attributes FnAttrs = Attrs.getFnAttributes(); 171219c874638d9478a5d5028854817a5ee72293bb2bDevang Patel if (FnAttrs != Attribute::None) 171319c874638d9478a5d5028854817a5ee72293bb2bDevang Patel Out << ' ' << Attribute::getAsString(Attrs.getFnAttributes()); 171460962dbfbaa4a9c3ca6fced08fb90b748aa99203Chris Lattner if (F->hasSection()) 171560962dbfbaa4a9c3ca6fced08fb90b748aa99203Chris Lattner Out << " section \"" << F->getSection() << '"'; 171630caa2876cd500b49e27b6810ab5dec96398c6faChris Lattner if (F->getAlignment()) 171730caa2876cd500b49e27b6810ab5dec96398c6faChris Lattner Out << " align " << F->getAlignment(); 17185eca075b74d62c621b160aa216b4cd50829a2cc7Gordon Henriksen if (F->hasGC()) 17195eca075b74d62c621b160aa216b4cd50829a2cc7Gordon Henriksen Out << " gc \"" << F->getGC() << '"'; 1720f3ba70861ccf00b1072ae1b6ade3ebe2da6cff40Devang Patel if (F->isDeclaration()) { 1721f3ba70861ccf00b1072ae1b6ade3ebe2da6cff40Devang Patel Out << "\n"; 1722f3ba70861ccf00b1072ae1b6ade3ebe2da6cff40Devang Patel } else { 1723a1b5858fda38cfe5b30055a87020b6d5f7023238Chris Lattner Out << " {"; 1724fd93908ae8b9684fe71c239e3c6cfe13ff6a2663Misha Brukman 1725b579400cd72f274607f4964a9649ea4d38e04c46Chris Lattner // Output all of its basic blocks... for the function 17267e70829632f82de15db187845666aaca6e04b792Chris Lattner for (Function::const_iterator I = F->begin(), E = F->end(); I != E; ++I) 17277e70829632f82de15db187845666aaca6e04b792Chris Lattner printBasicBlock(I); 1728007377f381e253cc559db8d3c94fa89b0eb55fadChris Lattner 17290313e0b44dcd77acd334d3f324c7da527179a690Misha Brukman Out << "}\n"; 1730007377f381e253cc559db8d3c94fa89b0eb55fadChris Lattner } 1731007377f381e253cc559db8d3c94fa89b0eb55fadChris Lattner 17320d1b77e2824115d97f8392c3f4ec257b27ebbd7aReid Spencer Machine.purgeFunction(); 1733009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner} 1734009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner 1735ab5c6003d23c19d23bbff1054900d208c55e0188Misha Brukman/// printArgument - This member is called for every argument that is passed into 1736ab5c6003d23c19d23bbff1054900d208c55e0188Misha Brukman/// the function. Simply print it out 1737ab5c6003d23c19d23bbff1054900d208c55e0188Misha Brukman/// 1738a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbarvoid AssemblyWriter::printArgument(const Argument *Arg, 1739eaf42abab6d465c38891345d999255871cf03943Devang Patel Attributes Attrs) { 1740009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner // Output type... 17410f7364b4aa15263827af49d046fd6147ac769eefChris Lattner TypePrinter.print(Arg->getType(), Out); 1742fd93908ae8b9684fe71c239e3c6cfe13ff6a2663Misha Brukman 1743dc024674ff96820d6020757b48d47f46d4c07db2Duncan Sands // Output parameter attributes list 17440598866c052147c31b808391f58434ce3dbfb838Devang Patel if (Attrs != Attribute::None) 17450598866c052147c31b808391f58434ce3dbfb838Devang Patel Out << ' ' << Attribute::getAsString(Attrs); 1746bd5db8e29b82f864c3d6525c6cfefa557fafdbb8Reid Spencer 1747009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner // Output name, if available... 1748c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner if (Arg->hasName()) { 1749c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner Out << ' '; 1750c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner PrintLLVMName(Out, Arg); 1751c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner } 1752009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner} 1753009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner 1754ab5c6003d23c19d23bbff1054900d208c55e0188Misha Brukman/// printBasicBlock - This member is called for each basic block in a method. 1755ab5c6003d23c19d23bbff1054900d208c55e0188Misha Brukman/// 1756c1824996451d5ea93864fcd34ba8ea5e5f03e368Chris Lattnervoid AssemblyWriter::printBasicBlock(const BasicBlock *BB) { 1757280a6e607d8eb7401749a92db624a82de47da777Nick Lewycky if (BB->hasName()) { // Print out the label if it exists... 1758c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner Out << "\n"; 175903d7651c3652e1f0cc86e79b26585d86818da9cfDaniel Dunbar PrintLLVMName(Out, BB->getName(), LabelPrefix); 1760c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner Out << ':'; 1761280a6e607d8eb7401749a92db624a82de47da777Nick Lewycky } else if (!BB->use_empty()) { // Don't print block # of no uses... 176296c5b2f8c75b10f7e61ad90582d72c500d5c7d2dChris Lattner Out << "\n; <label>:"; 176322379bc7bb28fbfb1182877e6dc316aaab98a4baChris Lattner int Slot = Machine.getLocalSlot(BB); 176469566459cc27c5210472a87ae2fe7b2ca64f9fc8Chris Lattner if (Slot != -1) 17650313e0b44dcd77acd334d3f324c7da527179a690Misha Brukman Out << Slot; 176669566459cc27c5210472a87ae2fe7b2ca64f9fc8Chris Lattner else 17670313e0b44dcd77acd334d3f324c7da527179a690Misha Brukman Out << "<badref>"; 1768061269be9723f842931f18ad207acf9a66e0cf76Chris Lattner } 17694e4d8624c5c44578d64fe1344670520cceec03f2Chris Lattner 1770683e922d299bdfa9ec609bd58a0eed20568303f1Dan Gohman if (BB->getParent() == 0) { 17718f4b1ec02bbc72161a9bd9777a2996dae439c81eChris Lattner Out.PadToColumn(50); 1772683e922d299bdfa9ec609bd58a0eed20568303f1Dan Gohman Out << "; Error: Block without parent!"; 1773683e922d299bdfa9ec609bd58a0eed20568303f1Dan Gohman } else if (BB != &BB->getParent()->getEntryBlock()) { // Not the entry block? 1774eb411291fa7614496ec8b51b0ced9f6cc2b78313Chris Lattner // Output predecessors for the block... 17758f4b1ec02bbc72161a9bd9777a2996dae439c81eChris Lattner Out.PadToColumn(50); 1776683e922d299bdfa9ec609bd58a0eed20568303f1Dan Gohman Out << ";"; 1777eb411291fa7614496ec8b51b0ced9f6cc2b78313Chris Lattner pred_const_iterator PI = pred_begin(BB), PE = pred_end(BB); 1778a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar 1779eb411291fa7614496ec8b51b0ced9f6cc2b78313Chris Lattner if (PI == PE) { 1780eb411291fa7614496ec8b51b0ced9f6cc2b78313Chris Lattner Out << " No predecessors!"; 1781eb411291fa7614496ec8b51b0ced9f6cc2b78313Chris Lattner } else { 17828dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman Out << " preds = "; 1783eb411291fa7614496ec8b51b0ced9f6cc2b78313Chris Lattner writeOperand(*PI, false); 1784eb411291fa7614496ec8b51b0ced9f6cc2b78313Chris Lattner for (++PI; PI != PE; ++PI) { 17858dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman Out << ", "; 17862fcfdb79d0d1d2297d7aced11b567cd52494604eChris Lattner writeOperand(*PI, false); 178740efcec8e879b3470b3c0ad9d8124abce2cd8915Chris Lattner } 1788061269be9723f842931f18ad207acf9a66e0cf76Chris Lattner } 1789009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner } 1790fd93908ae8b9684fe71c239e3c6cfe13ff6a2663Misha Brukman 1791eb411291fa7614496ec8b51b0ced9f6cc2b78313Chris Lattner Out << "\n"; 1792009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner 17930313e0b44dcd77acd334d3f324c7da527179a690Misha Brukman if (AnnotationWriter) AnnotationWriter->emitBasicBlockStartAnnot(BB, Out); 179495e5a2cc3fc55b262d2baa1cc417115dfa4a18eaChris Lattner 1795007377f381e253cc559db8d3c94fa89b0eb55fadChris Lattner // Output all of the instructions in the basic block... 1796beca6896b97e5a07081390c19ecfd176dbc27b1fDan Gohman for (BasicBlock::const_iterator I = BB->begin(), E = BB->end(); I != E; ++I) { 17977e70829632f82de15db187845666aaca6e04b792Chris Lattner printInstruction(*I); 1798beca6896b97e5a07081390c19ecfd176dbc27b1fDan Gohman Out << '\n'; 1799beca6896b97e5a07081390c19ecfd176dbc27b1fDan Gohman } 18009f717ef279f4b82e28c341c98a9aa602f01f9b27Chris Lattner 18010313e0b44dcd77acd334d3f324c7da527179a690Misha Brukman if (AnnotationWriter) AnnotationWriter->emitBasicBlockEndAnnot(BB, Out); 1802009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner} 1803009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner 1804e02fa8551d20081534afa46e0976811687e5183aChris Lattner 1805ab5c6003d23c19d23bbff1054900d208c55e0188Misha Brukman/// printInfoComment - Print a little comment after the instruction indicating 1806ab5c6003d23c19d23bbff1054900d208c55e0188Misha Brukman/// which slot it occupies. 1807ab5c6003d23c19d23bbff1054900d208c55e0188Misha Brukman/// 18087e70829632f82de15db187845666aaca6e04b792Chris Lattnervoid AssemblyWriter::printInfoComment(const Value &V) { 18091d0be15f89cb5056e20e2d24faa8d6afb1573bcaOwen Anderson if (V.getType() != Type::getVoidTy(V.getContext())) { 18108f4b1ec02bbc72161a9bd9777a2996dae439c81eChris Lattner Out.PadToColumn(50); 1811683e922d299bdfa9ec609bd58a0eed20568303f1Dan Gohman Out << "; <"; 18120f7364b4aa15263827af49d046fd6147ac769eefChris Lattner TypePrinter.print(V.getType(), Out); 18139bf0b9bd44d356690e936ae16bec2c115c7d9f5fDan Gohman Out << "> [#uses=" << V.getNumUses() << ']'; // Output # uses 1814e02fa8551d20081534afa46e0976811687e5183aChris Lattner } 1815e02fa8551d20081534afa46e0976811687e5183aChris Lattner} 1816e02fa8551d20081534afa46e0976811687e5183aChris Lattner 18173a9ec2463ddeba0820f284e2952bd6919cd5e080Reid Spencer// This member is called for each Instruction in a function.. 18187e70829632f82de15db187845666aaca6e04b792Chris Lattnervoid AssemblyWriter::printInstruction(const Instruction &I) { 18190313e0b44dcd77acd334d3f324c7da527179a690Misha Brukman if (AnnotationWriter) AnnotationWriter->emitInstructionAnnot(&I, Out); 182095e5a2cc3fc55b262d2baa1cc417115dfa4a18eaChris Lattner 18213845e50edea58edd0f5e0f2b732e0106b53ba279Dan Gohman // Print out indentation for an instruction. 182201889caf73a2faa3b77142851faa09abad5c73b0Dan Gohman Out << " "; 1823009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner 1824009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner // Print out name if it exists... 1825c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner if (I.hasName()) { 1826c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner PrintLLVMName(Out, &I); 1827c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner Out << " = "; 18281d0be15f89cb5056e20e2d24faa8d6afb1573bcaOwen Anderson } else if (I.getType() != Type::getVoidTy(I.getContext())) { 1829828db8a2f90e0e3faf27c1fe69a632c666e3a343Chris Lattner // Print out the def slot taken. 1830828db8a2f90e0e3faf27c1fe69a632c666e3a343Chris Lattner int SlotNum = Machine.getLocalSlot(&I); 1831828db8a2f90e0e3faf27c1fe69a632c666e3a343Chris Lattner if (SlotNum == -1) 1832828db8a2f90e0e3faf27c1fe69a632c666e3a343Chris Lattner Out << "<badref> = "; 1833828db8a2f90e0e3faf27c1fe69a632c666e3a343Chris Lattner else 1834828db8a2f90e0e3faf27c1fe69a632c666e3a343Chris Lattner Out << '%' << SlotNum << " = "; 1835c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner } 1836009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner 1837ddb6db4fa11d06217d01d8431596131abdfb7ef0Chris Lattner // If this is a volatile load or store, print out the volatile marker. 1838e5e475e09d1e8a9ea1bda58b536867ff16600399Chris Lattner if ((isa<LoadInst>(I) && cast<LoadInst>(I).isVolatile()) || 1839ddb6db4fa11d06217d01d8431596131abdfb7ef0Chris Lattner (isa<StoreInst>(I) && cast<StoreInst>(I).isVolatile())) { 18400313e0b44dcd77acd334d3f324c7da527179a690Misha Brukman Out << "volatile "; 1841ddb6db4fa11d06217d01d8431596131abdfb7ef0Chris Lattner } else if (isa<CallInst>(I) && cast<CallInst>(I).isTailCall()) { 1842ddb6db4fa11d06217d01d8431596131abdfb7ef0Chris Lattner // If this is a call, check if it's a tail call. 1843ddb6db4fa11d06217d01d8431596131abdfb7ef0Chris Lattner Out << "tail "; 1844ddb6db4fa11d06217d01d8431596131abdfb7ef0Chris Lattner } 1845e5e475e09d1e8a9ea1bda58b536867ff16600399Chris Lattner 1846009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner // Print out the opcode... 18470313e0b44dcd77acd334d3f324c7da527179a690Misha Brukman Out << I.getOpcodeName(); 1848009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner 184959858cf7926702596cf708daf21aeaf5b6feedf8Dan Gohman // Print out optimization information. 185059858cf7926702596cf708daf21aeaf5b6feedf8Dan Gohman WriteOptimizationInfo(Out, &I); 185159858cf7926702596cf708daf21aeaf5b6feedf8Dan Gohman 185274f1642bc1c2981e4573c9f0690d91b6a9bbc68cReid Spencer // Print out the compare instruction predicates 1853ac80ade1580378e484e24c9f66d2fa5b058e5891Nate Begeman if (const CmpInst *CI = dyn_cast<CmpInst>(&I)) 1854ab49ee752ec37f586e45c999eca1e29e32697cb7Chris Lattner Out << ' ' << getPredicateText(CI->getPredicate()); 185574f1642bc1c2981e4573c9f0690d91b6a9bbc68cReid Spencer 1856009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner // Print out the type of the operands... 18577e70829632f82de15db187845666aaca6e04b792Chris Lattner const Value *Operand = I.getNumOperands() ? I.getOperand(0) : 0; 1858009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner 1859009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner // Special case conditional branches to swizzle the condition out to the front 1860ccd27fb84b0ac13ad1d30b17cbeb87a0ea934154Gabor Greif if (isa<BranchInst>(I) && cast<BranchInst>(I).isConditional()) { 1861ccd27fb84b0ac13ad1d30b17cbeb87a0ea934154Gabor Greif BranchInst &BI(cast<BranchInst>(I)); 18628dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman Out << ' '; 1863ccd27fb84b0ac13ad1d30b17cbeb87a0ea934154Gabor Greif writeOperand(BI.getCondition(), true); 18648dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman Out << ", "; 1865ccd27fb84b0ac13ad1d30b17cbeb87a0ea934154Gabor Greif writeOperand(BI.getSuccessor(0), true); 18668dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman Out << ", "; 1867ccd27fb84b0ac13ad1d30b17cbeb87a0ea934154Gabor Greif writeOperand(BI.getSuccessor(1), true); 1868009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner 186994dc1f29cd1dc669680b7d3caa1f59862a656b83Chris Lattner } else if (isa<SwitchInst>(I)) { 1870f9be95f867745b6754b2402b9b72f9eaeabd637fChris Lattner // Special case switch instruction to get formatting nice and correct. 18718dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman Out << ' '; 1872ab49ee752ec37f586e45c999eca1e29e32697cb7Chris Lattner writeOperand(Operand , true); 18738dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman Out << ", "; 1874ab49ee752ec37f586e45c999eca1e29e32697cb7Chris Lattner writeOperand(I.getOperand(1), true); 1875ab49ee752ec37f586e45c999eca1e29e32697cb7Chris Lattner Out << " ["; 1876009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner 18777e70829632f82de15db187845666aaca6e04b792Chris Lattner for (unsigned op = 2, Eop = I.getNumOperands(); op < Eop; op += 2) { 187801889caf73a2faa3b77142851faa09abad5c73b0Dan Gohman Out << "\n "; 1879ab49ee752ec37f586e45c999eca1e29e32697cb7Chris Lattner writeOperand(I.getOperand(op ), true); 18808dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman Out << ", "; 18817e70829632f82de15db187845666aaca6e04b792Chris Lattner writeOperand(I.getOperand(op+1), true); 1882009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner } 188301889caf73a2faa3b77142851faa09abad5c73b0Dan Gohman Out << "\n ]"; 1884ab21db79ef1d2530880ad11f21f0b87ffca02dd4Chris Lattner } else if (isa<IndirectBrInst>(I)) { 1885ab21db79ef1d2530880ad11f21f0b87ffca02dd4Chris Lattner // Special case indirectbr instruction to get formatting nice and correct. 1886f9be95f867745b6754b2402b9b72f9eaeabd637fChris Lattner Out << ' '; 1887f9be95f867745b6754b2402b9b72f9eaeabd637fChris Lattner writeOperand(Operand, true); 18880ed1f4264ae1f30eb164ca8fc94669c4f9bbd4f7Dan Gohman Out << ", ["; 1889f9be95f867745b6754b2402b9b72f9eaeabd637fChris Lattner 1890f9be95f867745b6754b2402b9b72f9eaeabd637fChris Lattner for (unsigned i = 1, e = I.getNumOperands(); i != e; ++i) { 1891f9be95f867745b6754b2402b9b72f9eaeabd637fChris Lattner if (i != 1) 1892f9be95f867745b6754b2402b9b72f9eaeabd637fChris Lattner Out << ", "; 1893f9be95f867745b6754b2402b9b72f9eaeabd637fChris Lattner writeOperand(I.getOperand(i), true); 1894f9be95f867745b6754b2402b9b72f9eaeabd637fChris Lattner } 1895f9be95f867745b6754b2402b9b72f9eaeabd637fChris Lattner Out << ']'; 1896b00c582b6d40e6b9ff2d1ed4f5eaf7930e792aceChris Lattner } else if (isa<PHINode>(I)) { 18970313e0b44dcd77acd334d3f324c7da527179a690Misha Brukman Out << ' '; 18980f7364b4aa15263827af49d046fd6147ac769eefChris Lattner TypePrinter.print(I.getType(), Out); 18990313e0b44dcd77acd334d3f324c7da527179a690Misha Brukman Out << ' '; 1900009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner 19017e70829632f82de15db187845666aaca6e04b792Chris Lattner for (unsigned op = 0, Eop = I.getNumOperands(); op < Eop; op += 2) { 19020313e0b44dcd77acd334d3f324c7da527179a690Misha Brukman if (op) Out << ", "; 19038dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman Out << "[ "; 19048dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman writeOperand(I.getOperand(op ), false); Out << ", "; 19050313e0b44dcd77acd334d3f324c7da527179a690Misha Brukman writeOperand(I.getOperand(op+1), false); Out << " ]"; 1906c24d2088dc3d79e3b7e38a358b4a71f156c06836Chris Lattner } 1907995be7d07a0ed1f70a93b2a2e7f445461162e8a5Dan Gohman } else if (const ExtractValueInst *EVI = dyn_cast<ExtractValueInst>(&I)) { 19088dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman Out << ' '; 1909995be7d07a0ed1f70a93b2a2e7f445461162e8a5Dan Gohman writeOperand(I.getOperand(0), true); 1910995be7d07a0ed1f70a93b2a2e7f445461162e8a5Dan Gohman for (const unsigned *i = EVI->idx_begin(), *e = EVI->idx_end(); i != e; ++i) 1911995be7d07a0ed1f70a93b2a2e7f445461162e8a5Dan Gohman Out << ", " << *i; 1912995be7d07a0ed1f70a93b2a2e7f445461162e8a5Dan Gohman } else if (const InsertValueInst *IVI = dyn_cast<InsertValueInst>(&I)) { 19138dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman Out << ' '; 19148dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman writeOperand(I.getOperand(0), true); Out << ", "; 1915995be7d07a0ed1f70a93b2a2e7f445461162e8a5Dan Gohman writeOperand(I.getOperand(1), true); 1916995be7d07a0ed1f70a93b2a2e7f445461162e8a5Dan Gohman for (const unsigned *i = IVI->idx_begin(), *e = IVI->idx_end(); i != e; ++i) 1917995be7d07a0ed1f70a93b2a2e7f445461162e8a5Dan Gohman Out << ", " << *i; 191857ef4f46c182cdbe014d469892090ff50c739cf9Devang Patel } else if (isa<ReturnInst>(I) && !Operand) { 191957ef4f46c182cdbe014d469892090ff50c739cf9Devang Patel Out << " void"; 1920d511898b581826694e6c651e23343b1e1ba5ba64Chris Lattner } else if (const CallInst *CI = dyn_cast<CallInst>(&I)) { 1921d511898b581826694e6c651e23343b1e1ba5ba64Chris Lattner // Print the calling convention being used. 1922d511898b581826694e6c651e23343b1e1ba5ba64Chris Lattner switch (CI->getCallingConv()) { 1923d511898b581826694e6c651e23343b1e1ba5ba64Chris Lattner case CallingConv::C: break; // default 19240deaab89feb963b314428e3c3c565343cc30b5c9Chris Lattner case CallingConv::Fast: Out << " fastcc"; break; 19250deaab89feb963b314428e3c3c565343cc30b5c9Chris Lattner case CallingConv::Cold: Out << " coldcc"; break; 1926b28a6dce6d57e05aa25520915726f82d2b3dc08dChris Lattner case CallingConv::X86_StdCall: Out << " x86_stdcallcc"; break; 1927385f5a99ecc7fee48a7539bc63d3e1d3b5089c0dAnton Korobeynikov case CallingConv::X86_FastCall: Out << " x86_fastcallcc"; break; 1928385f5a99ecc7fee48a7539bc63d3e1d3b5089c0dAnton Korobeynikov case CallingConv::ARM_APCS: Out << " arm_apcscc "; break; 1929385f5a99ecc7fee48a7539bc63d3e1d3b5089c0dAnton Korobeynikov case CallingConv::ARM_AAPCS: Out << " arm_aapcscc "; break; 1930385f5a99ecc7fee48a7539bc63d3e1d3b5089c0dAnton Korobeynikov case CallingConv::ARM_AAPCS_VFP:Out << " arm_aapcs_vfpcc "; break; 1931211a14e476abc9b864ab6a5d5e0bbb86d288b650Anton Korobeynikov case CallingConv::MSP430_INTR: Out << " msp430_intrcc "; break; 1932d511898b581826694e6c651e23343b1e1ba5ba64Chris Lattner default: Out << " cc" << CI->getCallingConv(); break; 1933d511898b581826694e6c651e23343b1e1ba5ba64Chris Lattner } 1934d511898b581826694e6c651e23343b1e1ba5ba64Chris Lattner 1935b138a0657f8739b6ddfeca296ff8c82ffa93b492Reid Spencer const PointerType *PTy = cast<PointerType>(Operand->getType()); 1936b138a0657f8739b6ddfeca296ff8c82ffa93b492Reid Spencer const FunctionType *FTy = cast<FunctionType>(PTy->getElementType()); 1937b138a0657f8739b6ddfeca296ff8c82ffa93b492Reid Spencer const Type *RetTy = FTy->getReturnType(); 19380598866c052147c31b808391f58434ce3dbfb838Devang Patel const AttrListPtr &PAL = CI->getAttributes(); 1939268de0464ee9f0938bfa145fdd5e7f1a46b21cf7Chris Lattner 1940652203f3f3b6dd5062bb450d189a80d8aaa51693Devang Patel if (PAL.getRetAttributes() != Attribute::None) 1941652203f3f3b6dd5062bb450d189a80d8aaa51693Devang Patel Out << ' ' << Attribute::getAsString(PAL.getRetAttributes()); 1942652203f3f3b6dd5062bb450d189a80d8aaa51693Devang Patel 19437a012299ced5cff02cec47055a63d3b2a78bb36fChris Lattner // If possible, print out the short form of the call instruction. We can 1944b579400cd72f274607f4964a9649ea4d38e04c46Chris Lattner // only do this if the first argument is a pointer to a nonvararg function, 19457a012299ced5cff02cec47055a63d3b2a78bb36fChris Lattner // and if the return type is not a pointer to a function. 1946268de0464ee9f0938bfa145fdd5e7f1a46b21cf7Chris Lattner // 19478dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman Out << ' '; 19487a012299ced5cff02cec47055a63d3b2a78bb36fChris Lattner if (!FTy->isVarArg() && 1949fd93908ae8b9684fe71c239e3c6cfe13ff6a2663Misha Brukman (!isa<PointerType>(RetTy) || 1950c1b2718acf9d566c26188f2968dece0bf3f187e3Chris Lattner !isa<FunctionType>(cast<PointerType>(RetTy)->getElementType()))) { 19510f7364b4aa15263827af49d046fd6147ac769eefChris Lattner TypePrinter.print(RetTy, Out); 19528dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman Out << ' '; 1953268de0464ee9f0938bfa145fdd5e7f1a46b21cf7Chris Lattner writeOperand(Operand, false); 1954268de0464ee9f0938bfa145fdd5e7f1a46b21cf7Chris Lattner } else { 1955268de0464ee9f0938bfa145fdd5e7f1a46b21cf7Chris Lattner writeOperand(Operand, true); 1956268de0464ee9f0938bfa145fdd5e7f1a46b21cf7Chris Lattner } 19570313e0b44dcd77acd334d3f324c7da527179a690Misha Brukman Out << '('; 1958bd5db8e29b82f864c3d6525c6cfefa557fafdbb8Reid Spencer for (unsigned op = 1, Eop = I.getNumOperands(); op < Eop; ++op) { 1959bd5db8e29b82f864c3d6525c6cfefa557fafdbb8Reid Spencer if (op > 1) 19608dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman Out << ", "; 196119c874638d9478a5d5028854817a5ee72293bb2bDevang Patel writeParamOperand(I.getOperand(op), PAL.getParamAttributes(op)); 1962009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner } 19638dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman Out << ')'; 196419c874638d9478a5d5028854817a5ee72293bb2bDevang Patel if (PAL.getFnAttributes() != Attribute::None) 196519c874638d9478a5d5028854817a5ee72293bb2bDevang Patel Out << ' ' << Attribute::getAsString(PAL.getFnAttributes()); 19667e70829632f82de15db187845666aaca6e04b792Chris Lattner } else if (const InvokeInst *II = dyn_cast<InvokeInst>(&I)) { 1967b138a0657f8739b6ddfeca296ff8c82ffa93b492Reid Spencer const PointerType *PTy = cast<PointerType>(Operand->getType()); 1968b138a0657f8739b6ddfeca296ff8c82ffa93b492Reid Spencer const FunctionType *FTy = cast<FunctionType>(PTy->getElementType()); 1969b138a0657f8739b6ddfeca296ff8c82ffa93b492Reid Spencer const Type *RetTy = FTy->getReturnType(); 19700598866c052147c31b808391f58434ce3dbfb838Devang Patel const AttrListPtr &PAL = II->getAttributes(); 19717a012299ced5cff02cec47055a63d3b2a78bb36fChris Lattner 1972d511898b581826694e6c651e23343b1e1ba5ba64Chris Lattner // Print the calling convention being used. 1973d511898b581826694e6c651e23343b1e1ba5ba64Chris Lattner switch (II->getCallingConv()) { 1974d511898b581826694e6c651e23343b1e1ba5ba64Chris Lattner case CallingConv::C: break; // default 19750deaab89feb963b314428e3c3c565343cc30b5c9Chris Lattner case CallingConv::Fast: Out << " fastcc"; break; 19760deaab89feb963b314428e3c3c565343cc30b5c9Chris Lattner case CallingConv::Cold: Out << " coldcc"; break; 19778dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman case CallingConv::X86_StdCall: Out << " x86_stdcallcc"; break; 19788dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman case CallingConv::X86_FastCall: Out << " x86_fastcallcc"; break; 1979385f5a99ecc7fee48a7539bc63d3e1d3b5089c0dAnton Korobeynikov case CallingConv::ARM_APCS: Out << " arm_apcscc "; break; 1980385f5a99ecc7fee48a7539bc63d3e1d3b5089c0dAnton Korobeynikov case CallingConv::ARM_AAPCS: Out << " arm_aapcscc "; break; 1981385f5a99ecc7fee48a7539bc63d3e1d3b5089c0dAnton Korobeynikov case CallingConv::ARM_AAPCS_VFP:Out << " arm_aapcs_vfpcc "; break; 1982211a14e476abc9b864ab6a5d5e0bbb86d288b650Anton Korobeynikov case CallingConv::MSP430_INTR: Out << " msp430_intrcc "; break; 1983d511898b581826694e6c651e23343b1e1ba5ba64Chris Lattner default: Out << " cc" << II->getCallingConv(); break; 1984d511898b581826694e6c651e23343b1e1ba5ba64Chris Lattner } 1985d511898b581826694e6c651e23343b1e1ba5ba64Chris Lattner 1986652203f3f3b6dd5062bb450d189a80d8aaa51693Devang Patel if (PAL.getRetAttributes() != Attribute::None) 1987652203f3f3b6dd5062bb450d189a80d8aaa51693Devang Patel Out << ' ' << Attribute::getAsString(PAL.getRetAttributes()); 1988652203f3f3b6dd5062bb450d189a80d8aaa51693Devang Patel 19897a012299ced5cff02cec47055a63d3b2a78bb36fChris Lattner // If possible, print out the short form of the invoke instruction. We can 19907a012299ced5cff02cec47055a63d3b2a78bb36fChris Lattner // only do this if the first argument is a pointer to a nonvararg function, 19917a012299ced5cff02cec47055a63d3b2a78bb36fChris Lattner // and if the return type is not a pointer to a function. 19927a012299ced5cff02cec47055a63d3b2a78bb36fChris Lattner // 19932b6c3d9ff13180e84301da5b7d17c755704fbec0Dan Gohman Out << ' '; 19947a012299ced5cff02cec47055a63d3b2a78bb36fChris Lattner if (!FTy->isVarArg() && 1995fd93908ae8b9684fe71c239e3c6cfe13ff6a2663Misha Brukman (!isa<PointerType>(RetTy) || 19967a012299ced5cff02cec47055a63d3b2a78bb36fChris Lattner !isa<FunctionType>(cast<PointerType>(RetTy)->getElementType()))) { 19970f7364b4aa15263827af49d046fd6147ac769eefChris Lattner TypePrinter.print(RetTy, Out); 19982b6c3d9ff13180e84301da5b7d17c755704fbec0Dan Gohman Out << ' '; 19997a012299ced5cff02cec47055a63d3b2a78bb36fChris Lattner writeOperand(Operand, false); 20007a012299ced5cff02cec47055a63d3b2a78bb36fChris Lattner } else { 20017a012299ced5cff02cec47055a63d3b2a78bb36fChris Lattner writeOperand(Operand, true); 20027a012299ced5cff02cec47055a63d3b2a78bb36fChris Lattner } 20030313e0b44dcd77acd334d3f324c7da527179a690Misha Brukman Out << '('; 200403a5f139fb7d3e9c49fe95aea4c717fab2285d82Gabor Greif for (unsigned op = 3, Eop = I.getNumOperands(); op < Eop; ++op) { 200503a5f139fb7d3e9c49fe95aea4c717fab2285d82Gabor Greif if (op > 3) 20068dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman Out << ", "; 200703a5f139fb7d3e9c49fe95aea4c717fab2285d82Gabor Greif writeParamOperand(I.getOperand(op), PAL.getParamAttributes(op-2)); 2008e02fa8551d20081534afa46e0976811687e5183aChris Lattner } 2009e02fa8551d20081534afa46e0976811687e5183aChris Lattner 20108dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman Out << ')'; 201119c874638d9478a5d5028854817a5ee72293bb2bDevang Patel if (PAL.getFnAttributes() != Attribute::None) 201219c874638d9478a5d5028854817a5ee72293bb2bDevang Patel Out << ' ' << Attribute::getAsString(PAL.getFnAttributes()); 201319c874638d9478a5d5028854817a5ee72293bb2bDevang Patel 201401889caf73a2faa3b77142851faa09abad5c73b0Dan Gohman Out << "\n to "; 2015e02fa8551d20081534afa46e0976811687e5183aChris Lattner writeOperand(II->getNormalDest(), true); 20168dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman Out << " unwind "; 2017aeb2a1d70807aa626f335fb23d47bc604ffeaa15Chris Lattner writeOperand(II->getUnwindDest(), true); 2018e02fa8551d20081534afa46e0976811687e5183aChris Lattner 20197b929dad59785f62a66f7c58615082f98441e95eVictor Hernandez } else if (const AllocaInst *AI = dyn_cast<AllocaInst>(&I)) { 20200313e0b44dcd77acd334d3f324c7da527179a690Misha Brukman Out << ' '; 20210f7364b4aa15263827af49d046fd6147ac769eefChris Lattner TypePrinter.print(AI->getType()->getElementType(), Out); 202269bff07b4dc95fd0cc9d7580977beb08259daa17Dan Gohman if (!AI->getArraySize() || AI->isArrayAllocation()) { 20238dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman Out << ", "; 202494dc1f29cd1dc669680b7d3caa1f59862a656b83Chris Lattner writeOperand(AI->getArraySize(), true); 2025009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner } 202614b0529532904b9e5a1e34526b4a3209f3e5bc62Nate Begeman if (AI->getAlignment()) { 20279fad0b9974beb76bef763b8fed71d0c8644403d4Chris Lattner Out << ", align " << AI->getAlignment(); 202814b0529532904b9e5a1e34526b4a3209f3e5bc62Nate Begeman } 2029e02fa8551d20081534afa46e0976811687e5183aChris Lattner } else if (isa<CastInst>(I)) { 20308dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman if (Operand) { 20318dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman Out << ' '; 20328dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman writeOperand(Operand, true); // Work with broken code 20338dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman } 20340313e0b44dcd77acd334d3f324c7da527179a690Misha Brukman Out << " to "; 20350f7364b4aa15263827af49d046fd6147ac769eefChris Lattner TypePrinter.print(I.getType(), Out); 20364d45bd007d0c3a3a6e5b3876b67fd495acb0db2bChris Lattner } else if (isa<VAArgInst>(I)) { 20378dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman if (Operand) { 20388dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman Out << ' '; 20398dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman writeOperand(Operand, true); // Work with broken code 20408dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman } 20410313e0b44dcd77acd334d3f324c7da527179a690Misha Brukman Out << ", "; 20420f7364b4aa15263827af49d046fd6147ac769eefChris Lattner TypePrinter.print(I.getType(), Out); 20430f7364b4aa15263827af49d046fd6147ac769eefChris Lattner } else if (Operand) { // Print the normal way. 2044009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner 2045fd93908ae8b9684fe71c239e3c6cfe13ff6a2663Misha Brukman // PrintAllTypes - Instructions who have operands of all the same type 2046009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner // omit the type from all but the first operand. If the instruction has 2047009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner // different type operands (for example br), then they are all printed. 2048009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner bool PrintAllTypes = false; 2049009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner const Type *TheType = Operand->getType(); 2050009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner 2051ebe57e36dff2dc3a7ceea99202bdb9eb6fe938bcReid Spencer // Select, Store and ShuffleVector always print all types. 20526494768ffcdf75e6e69a7955282db9ab9ab2e6fbDevang Patel if (isa<SelectInst>(I) || isa<StoreInst>(I) || isa<ShuffleVectorInst>(I) 20536494768ffcdf75e6e69a7955282db9ab9ab2e6fbDevang Patel || isa<ReturnInst>(I)) { 2054ffd9bf404cd36c93d82b0080113ccc6d230915b3Chris Lattner PrintAllTypes = true; 2055ffd9bf404cd36c93d82b0080113ccc6d230915b3Chris Lattner } else { 2056ffd9bf404cd36c93d82b0080113ccc6d230915b3Chris Lattner for (unsigned i = 1, E = I.getNumOperands(); i != E; ++i) { 2057ffd9bf404cd36c93d82b0080113ccc6d230915b3Chris Lattner Operand = I.getOperand(i); 20586ad2b2a3d20c667e01535fed4bc7f4753aa6fc85Nuno Lopes // note that Operand shouldn't be null, but the test helps make dump() 20596ad2b2a3d20c667e01535fed4bc7f4753aa6fc85Nuno Lopes // more tolerant of malformed IR 2060a8c78a9e89afcca4f003c55bcdbd41a23ecd5c8dNuno Lopes if (Operand && Operand->getType() != TheType) { 2061ffd9bf404cd36c93d82b0080113ccc6d230915b3Chris Lattner PrintAllTypes = true; // We have differing types! Print them all! 2062ffd9bf404cd36c93d82b0080113ccc6d230915b3Chris Lattner break; 2063ffd9bf404cd36c93d82b0080113ccc6d230915b3Chris Lattner } 2064009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner } 2065009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner } 2066fd93908ae8b9684fe71c239e3c6cfe13ff6a2663Misha Brukman 2067c1824996451d5ea93864fcd34ba8ea5e5f03e368Chris Lattner if (!PrintAllTypes) { 20680313e0b44dcd77acd334d3f324c7da527179a690Misha Brukman Out << ' '; 20690f7364b4aa15263827af49d046fd6147ac769eefChris Lattner TypePrinter.print(TheType, Out); 2070c1824996451d5ea93864fcd34ba8ea5e5f03e368Chris Lattner } 2071009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner 20728dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman Out << ' '; 20737e70829632f82de15db187845666aaca6e04b792Chris Lattner for (unsigned i = 0, E = I.getNumOperands(); i != E; ++i) { 20748dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman if (i) Out << ", "; 20757e70829632f82de15db187845666aaca6e04b792Chris Lattner writeOperand(I.getOperand(i), PrintAllTypes); 2076009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner } 2077009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner } 2078a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar 207943c7f37942a35398fd1e14b22f435f483a0ee863Christopher Lamb // Print post operand alignment for load/store 208043c7f37942a35398fd1e14b22f435f483a0ee863Christopher Lamb if (isa<LoadInst>(I) && cast<LoadInst>(I).getAlignment()) { 208143c7f37942a35398fd1e14b22f435f483a0ee863Christopher Lamb Out << ", align " << cast<LoadInst>(I).getAlignment(); 208243c7f37942a35398fd1e14b22f435f483a0ee863Christopher Lamb } else if (isa<StoreInst>(I) && cast<StoreInst>(I).getAlignment()) { 208343c7f37942a35398fd1e14b22f435f483a0ee863Christopher Lamb Out << ", align " << cast<StoreInst>(I).getAlignment(); 208443c7f37942a35398fd1e14b22f435f483a0ee863Christopher Lamb } 2085009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner 208618f0c263e65da094ef5ba49bb7f66f58cf1cbd0fDevang Patel // Print Metadata info 20877f93f4d66c54e2628fbd159fa19bcfbe601458aeDevang Patel if (!MDNames.empty()) { 20887f93f4d66c54e2628fbd159fa19bcfbe601458aeDevang Patel MetadataContext &TheMetadata = I.getContext().getMetadata(); 2089f61b2371c8ec6e0ff2da8f2bd2a606ba755bb2feDevang Patel typedef SmallVector<std::pair<unsigned, TrackingVH<MDNode> >, 2> MDMapTy; 2090f61b2371c8ec6e0ff2da8f2bd2a606ba755bb2feDevang Patel MDMapTy MDs; 2091f61b2371c8ec6e0ff2da8f2bd2a606ba755bb2feDevang Patel TheMetadata.getMDs(&I, MDs); 2092f61b2371c8ec6e0ff2da8f2bd2a606ba755bb2feDevang Patel for (MDMapTy::const_iterator MI = MDs.begin(), ME = MDs.end(); MI != ME; 2093f61b2371c8ec6e0ff2da8f2bd2a606ba755bb2feDevang Patel ++MI) 2094f61b2371c8ec6e0ff2da8f2bd2a606ba755bb2feDevang Patel Out << ", !" << MDNames[MI->first] 2095f61b2371c8ec6e0ff2da8f2bd2a606ba755bb2feDevang Patel << " !" << Machine.getMetadataSlot(MI->second); 20967f93f4d66c54e2628fbd159fa19bcfbe601458aeDevang Patel } 2097e02fa8551d20081534afa46e0976811687e5183aChris Lattner printInfoComment(I); 2098009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner} 2099009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner 2100009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner 2101009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner//===----------------------------------------------------------------------===// 2102009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner// External Interface declarations 2103009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner//===----------------------------------------------------------------------===// 2104009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner 2105683e922d299bdfa9ec609bd58a0eed20568303f1Dan Gohmanvoid Module::print(raw_ostream &ROS, AssemblyAnnotationWriter *AAW) const { 2106944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner SlotTracker SlotTable(this); 2107683e922d299bdfa9ec609bd58a0eed20568303f1Dan Gohman formatted_raw_ostream OS(ROS); 2108944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner AssemblyWriter W(OS, SlotTable, this, AAW); 210975cf7cf00d391ac6ca22d6240fa9d99ed427d1d5Chris Lattner W.write(this); 211075cf7cf00d391ac6ca22d6240fa9d99ed427d1d5Chris Lattner} 2111009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner 21126d4306e63c2ca40a0482bf74a077540bb9cda25eChris Lattnervoid Type::print(raw_ostream &OS) const { 21136d4306e63c2ca40a0482bf74a077540bb9cda25eChris Lattner if (this == 0) { 21146d4306e63c2ca40a0482bf74a077540bb9cda25eChris Lattner OS << "<null Type>"; 21156d4306e63c2ca40a0482bf74a077540bb9cda25eChris Lattner return; 21166d4306e63c2ca40a0482bf74a077540bb9cda25eChris Lattner } 2117e9fa33eb6629aea72cd59560216bb6a7b8ebc689Chris Lattner TypePrinting().print(this, OS); 2118009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner} 2119009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner 2120683e922d299bdfa9ec609bd58a0eed20568303f1Dan Gohmanvoid Value::print(raw_ostream &ROS, AssemblyAnnotationWriter *AAW) const { 2121944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner if (this == 0) { 21221220e10f70f89e0f8082344646d79805edf9025dDan Gohman ROS << "printing a <null> value\n"; 2123944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner return; 2124944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner } 21251220e10f70f89e0f8082344646d79805edf9025dDan Gohman formatted_raw_ostream OS(ROS); 2126944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner if (const Instruction *I = dyn_cast<Instruction>(this)) { 2127944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner const Function *F = I->getParent() ? I->getParent()->getParent() : 0; 2128944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner SlotTracker SlotTable(F); 2129944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner AssemblyWriter W(OS, SlotTable, F ? F->getParent() : 0, AAW); 2130944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner W.write(I); 2131944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner } else if (const BasicBlock *BB = dyn_cast<BasicBlock>(this)) { 2132944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner SlotTracker SlotTable(BB->getParent()); 2133944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner AssemblyWriter W(OS, SlotTable, 2134944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner BB->getParent() ? BB->getParent()->getParent() : 0, AAW); 2135944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner W.write(BB); 2136944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner } else if (const GlobalValue *GV = dyn_cast<GlobalValue>(this)) { 2137944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner SlotTracker SlotTable(GV->getParent()); 2138ba0941fbe0db832b0bdca450688b63ddf6a45b0aDan Gohman AssemblyWriter W(OS, SlotTable, GV->getParent(), AAW); 2139944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner W.write(GV); 2140e54abc90fe9942ef3902040a7ac475ce0c369dc9Devang Patel } else if (const MDString *MDS = dyn_cast<MDString>(this)) { 2141e54abc90fe9942ef3902040a7ac475ce0c369dc9Devang Patel TypePrinting TypePrinter; 2142e54abc90fe9942ef3902040a7ac475ce0c369dc9Devang Patel TypePrinter.print(MDS->getType(), OS); 2143e54abc90fe9942ef3902040a7ac475ce0c369dc9Devang Patel OS << ' '; 2144e54abc90fe9942ef3902040a7ac475ce0c369dc9Devang Patel OS << "!\""; 214503d7651c3652e1f0cc86e79b26585d86818da9cfDaniel Dunbar PrintEscapedString(MDS->getString(), OS); 2146e54abc90fe9942ef3902040a7ac475ce0c369dc9Devang Patel OS << '"'; 2147fcd65ae28fe797c174be350a07955713fd42d110Devang Patel } else if (const MDNode *N = dyn_cast<MDNode>(this)) { 2148320671d2654a543bbeed5b62efe165430146d55eDevang Patel SlotTracker SlotTable(N); 2149fcd65ae28fe797c174be350a07955713fd42d110Devang Patel TypePrinting TypePrinter; 2150320671d2654a543bbeed5b62efe165430146d55eDevang Patel SlotTable.initialize(); 2151320671d2654a543bbeed5b62efe165430146d55eDevang Patel WriteMDNodes(OS, TypePrinter, SlotTable); 2152c29d5b378ece00608ec96a5ccd2b0f53999f1957Devang Patel } else if (const NamedMDNode *N = dyn_cast<NamedMDNode>(this)) { 2153c29d5b378ece00608ec96a5ccd2b0f53999f1957Devang Patel SlotTracker SlotTable(N); 2154c29d5b378ece00608ec96a5ccd2b0f53999f1957Devang Patel TypePrinting TypePrinter; 2155c29d5b378ece00608ec96a5ccd2b0f53999f1957Devang Patel SlotTable.initialize(); 2156c29d5b378ece00608ec96a5ccd2b0f53999f1957Devang Patel OS << "!" << N->getName() << " = !{"; 2157c29d5b378ece00608ec96a5ccd2b0f53999f1957Devang Patel for (unsigned i = 0, e = N->getNumElements(); i != e; ++i) { 2158c29d5b378ece00608ec96a5ccd2b0f53999f1957Devang Patel if (i) OS << ", "; 2159e8861b840bf388945d876f97cf2ff6fcbf310790Devang Patel MDNode *MD = dyn_cast_or_null<MDNode>(N->getElement(i)); 2160e8861b840bf388945d876f97cf2ff6fcbf310790Devang Patel if (MD) 2161e8861b840bf388945d876f97cf2ff6fcbf310790Devang Patel OS << '!' << SlotTable.getMetadataSlot(MD); 2162a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar else 2163e8861b840bf388945d876f97cf2ff6fcbf310790Devang Patel OS << "null"; 2164c29d5b378ece00608ec96a5ccd2b0f53999f1957Devang Patel } 2165c29d5b378ece00608ec96a5ccd2b0f53999f1957Devang Patel OS << "}\n"; 2166c29d5b378ece00608ec96a5ccd2b0f53999f1957Devang Patel WriteMDNodes(OS, TypePrinter, SlotTable); 2167944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner } else if (const Constant *C = dyn_cast<Constant>(this)) { 2168e9fa33eb6629aea72cd59560216bb6a7b8ebc689Chris Lattner TypePrinting TypePrinter; 21690f7364b4aa15263827af49d046fd6147ac769eefChris Lattner TypePrinter.print(C->getType(), OS); 21706d4306e63c2ca40a0482bf74a077540bb9cda25eChris Lattner OS << ' '; 21719cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner WriteConstantInt(OS, C, TypePrinter, 0); 2172944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner } else if (const Argument *A = dyn_cast<Argument>(this)) { 2173944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner WriteAsOperand(OS, this, true, 2174944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner A->getParent() ? A->getParent()->getParent() : 0); 2175944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner } else if (isa<InlineAsm>(this)) { 2176944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner WriteAsOperand(OS, this, true, 0); 2177944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner } else { 2178cd26ec5f3c089b3b24f80ff200e94e681eb9e1eeDan Gohman // Otherwise we don't know what it is. Call the virtual function to 2179cd26ec5f3c089b3b24f80ff200e94e681eb9e1eeDan Gohman // allow a subclass to print itself. 2180cd26ec5f3c089b3b24f80ff200e94e681eb9e1eeDan Gohman printCustom(OS); 2181944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner } 2182944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner} 2183944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner 2184cd26ec5f3c089b3b24f80ff200e94e681eb9e1eeDan Gohman// Value::printCustom - subclasses should override this to implement printing. 2185cd26ec5f3c089b3b24f80ff200e94e681eb9e1eeDan Gohmanvoid Value::printCustom(raw_ostream &OS) const { 2186cd26ec5f3c089b3b24f80ff200e94e681eb9e1eeDan Gohman llvm_unreachable("Unknown value to print out!"); 2187cd26ec5f3c089b3b24f80ff200e94e681eb9e1eeDan Gohman} 2188cd26ec5f3c089b3b24f80ff200e94e681eb9e1eeDan Gohman 21897059e530edcf3294315f02751c9df5e485f2932cChris Lattner// Value::dump - allow easy printing of Values from the debugger. 2190f871ccb853a2ccbe8675c912330c041b318be8cdDan Gohmanvoid Value::dump() const { print(errs()); errs() << '\n'; } 2191fa452c05504ebee698e00050d04e1a43b0f21045Reid Spencer 21927059e530edcf3294315f02751c9df5e485f2932cChris Lattner// Type::dump - allow easy printing of Types from the debugger. 2193795daece23cdc66bc7c16e9a2043dd4a4d0bbfc0Chris Lattner// This one uses type names from the given context module 2194795daece23cdc66bc7c16e9a2043dd4a4d0bbfc0Chris Lattnervoid Type::dump(const Module *Context) const { 2195795daece23cdc66bc7c16e9a2043dd4a4d0bbfc0Chris Lattner WriteTypeSymbolic(errs(), this, Context); 2196795daece23cdc66bc7c16e9a2043dd4a4d0bbfc0Chris Lattner errs() << '\n'; 2197795daece23cdc66bc7c16e9a2043dd4a4d0bbfc0Chris Lattner} 2198795daece23cdc66bc7c16e9a2043dd4a4d0bbfc0Chris Lattner 2199c287137ce7455c63be0075e0d5aba0bab4f125eaChris Lattner// Type::dump - allow easy printing of Types from the debugger. 2200c287137ce7455c63be0075e0d5aba0bab4f125eaChris Lattnervoid Type::dump() const { dump(0); } 2201c287137ce7455c63be0075e0d5aba0bab4f125eaChris Lattner 22027059e530edcf3294315f02751c9df5e485f2932cChris Lattner// Module::dump() - Allow printing of Modules from the debugger. 2203f871ccb853a2ccbe8675c912330c041b318be8cdDan Gohmanvoid Module::dump() const { print(errs(), 0); } 2204