AsmWriter.cpp revision c10fa6c801e48771b5eade50afc2fe6abaf08227
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" 191dbb3879e81c414733ee38ef6a5e657d7ed47e68Chris Lattner#include "llvm/Assembly/AssemblyAnnotationWriter.h" 20f3d5c915502a64921bff4ed96d8e8171f85b73f3Erick Tryzelaar#include "llvm/LLVMContext.h" 21d511898b581826694e6c651e23343b1e1ba5ba64Chris Lattner#include "llvm/CallingConv.h" 22f2d577b27a56a928fa3e77ab0cd83e7597751313Chris Lattner#include "llvm/Constants.h" 233eb59c0074978cb4687779365dbe664e2e18e0b2Chris Lattner#include "llvm/DerivedTypes.h" 24863517aea0b06770c809396be985c1c4cc50d3c4Chris Lattner#include "llvm/InlineAsm.h" 253990b121cf4a0b280ed3e54cf13870cbf4259e78Chris Lattner#include "llvm/IntrinsicInst.h" 261224c386981f7948f298ed9ad444c40609570f2eDan Gohman#include "llvm/Operator.h" 27f2d577b27a56a928fa3e77ab0cd83e7597751313Chris Lattner#include "llvm/Module.h" 28ef9b9a793949469cdaa4ab6d0173136229dcab7bReid Spencer#include "llvm/ValueSymbolTable.h" 291afcace3a3a138b1b18e5c6270caa8dae2261ae2Chris Lattner#include "llvm/ADT/DenseMap.h" 305908839cedfa4cfb3b7a89db01f987c47e64aa90Benjamin Kramer#include "llvm/ADT/SmallString.h" 31551ccae044b0ff658fe629dd67edd5ffe75d10e8Reid Spencer#include "llvm/ADT/StringExtras.h" 32551ccae044b0ff658fe629dd67edd5ffe75d10e8Reid Spencer#include "llvm/ADT/STLExtras.h" 338f487662869d10c866b9ebdccb8f6a7509d3ab56Bill Wendling#include "llvm/Support/CFG.h" 34d865e02ea24e92f8fd1d2b49a26ea0676a879ce7David Greene#include "llvm/Support/Debug.h" 352d5988d9baba15ecf27b724937dbf44182a518a2Devang Patel#include "llvm/Support/Dwarf.h" 36ab7c09b6b6f4516a631fd6788918c237c83939afTorok Edwin#include "llvm/Support/ErrorHandling.h" 37cb6682fa44e13262bdef7dd22b4ba90f8c2e7b97Jim Laskey#include "llvm/Support/MathExtras.h" 38683e922d299bdfa9ec609bd58a0eed20568303f1Dan Gohman#include "llvm/Support/FormattedStream.h" 39007377f381e253cc559db8d3c94fa89b0eb55fadChris Lattner#include <algorithm> 404ad513ca153430c3a7f36be1ef43af04534e1f5dReid Spencer#include <cctype> 4131f8499e83dc4dccbb57ea7e76d1fd49b7010d0cChris Lattnerusing namespace llvm; 42d0fde30ce850b78371fd1386338350591f9ff494Brian Gaeke 43edd5d9ece15f73ec1a31423a4ae39774aa6c521cReid Spencer// Make virtual table appear in this compilation unit. 44edd5d9ece15f73ec1a31423a4ae39774aa6c521cReid SpencerAssemblyAnnotationWriter::~AssemblyAnnotationWriter() {} 45edd5d9ece15f73ec1a31423a4ae39774aa6c521cReid Spencer 466ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner//===----------------------------------------------------------------------===// 476ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner// Helper Functions 486ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner//===----------------------------------------------------------------------===// 490e25e1cdcf1f73bb9f56b91155d5c0ef42ef0a44Reid Spencer 50207b5bc6a15e12a87c3c861da680b8b23559a34cChris Lattnerstatic const Module *getModuleFromVal(const Value *V) { 51949a3628024248db01d5b13e03c415e0c88e90e4Chris Lattner if (const Argument *MA = dyn_cast<Argument>(V)) 52207b5bc6a15e12a87c3c861da680b8b23559a34cChris Lattner return MA->getParent() ? MA->getParent()->getParent() : 0; 53a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar 546ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner if (const BasicBlock *BB = dyn_cast<BasicBlock>(V)) 55207b5bc6a15e12a87c3c861da680b8b23559a34cChris Lattner return BB->getParent() ? BB->getParent()->getParent() : 0; 56a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar 576ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner if (const Instruction *I = dyn_cast<Instruction>(V)) { 5879df7c0aaa18129e55968c8783ef8346807bd4afChris Lattner const Function *M = I->getParent() ? I->getParent()->getParent() : 0; 59207b5bc6a15e12a87c3c861da680b8b23559a34cChris Lattner return M ? M->getParent() : 0; 606ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner } 6118801ecd487df27201b894db72aff4b2c7396e18Andrew Trick 626ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner if (const GlobalValue *GV = dyn_cast<GlobalValue>(V)) 63207b5bc6a15e12a87c3c861da680b8b23559a34cChris Lattner return GV->getParent(); 64207b5bc6a15e12a87c3c861da680b8b23559a34cChris Lattner return 0; 65207b5bc6a15e12a87c3c861da680b8b23559a34cChris Lattner} 66207b5bc6a15e12a87c3c861da680b8b23559a34cChris Lattner 67e9da133ae0a3ea5bbadd14f33c5005a4e25422eaDaniel Dunbar// PrintEscapedString - Print each character of the specified string, escaping 68e9da133ae0a3ea5bbadd14f33c5005a4e25422eaDaniel Dunbar// it if it is not printable or if it is an escape char. 698fff12605e125e264bca213e748e1ec972437a55Chris Lattnerstatic void PrintEscapedString(StringRef Name, raw_ostream &Out) { 7003d7651c3652e1f0cc86e79b26585d86818da9cfDaniel Dunbar for (unsigned i = 0, e = Name.size(); i != e; ++i) { 7103d7651c3652e1f0cc86e79b26585d86818da9cfDaniel Dunbar unsigned char C = Name[i]; 7234a408639fbdb41add1a86af689c73fb4e9947a8Nick Lewycky if (isprint(C) && C != '\\' && C != '"') 73e9da133ae0a3ea5bbadd14f33c5005a4e25422eaDaniel Dunbar Out << C; 74e9da133ae0a3ea5bbadd14f33c5005a4e25422eaDaniel Dunbar else 75e9da133ae0a3ea5bbadd14f33c5005a4e25422eaDaniel Dunbar Out << '\\' << hexdigit(C >> 4) << hexdigit(C & 0x0F); 76e9da133ae0a3ea5bbadd14f33c5005a4e25422eaDaniel Dunbar } 77e9da133ae0a3ea5bbadd14f33c5005a4e25422eaDaniel Dunbar} 78e9da133ae0a3ea5bbadd14f33c5005a4e25422eaDaniel Dunbar 79addd44427cb1b46d85f2eb31c267dd1d43914252Chris Lattnerenum PrefixType { 80addd44427cb1b46d85f2eb31c267dd1d43914252Chris Lattner GlobalPrefix, 81addd44427cb1b46d85f2eb31c267dd1d43914252Chris Lattner LabelPrefix, 82cad3580e99ae045e138a1d57de589a01c1f9b296Daniel Dunbar LocalPrefix, 83cad3580e99ae045e138a1d57de589a01c1f9b296Daniel Dunbar NoPrefix 84addd44427cb1b46d85f2eb31c267dd1d43914252Chris Lattner}; 85addd44427cb1b46d85f2eb31c267dd1d43914252Chris Lattner 86c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner/// PrintLLVMName - Turn the specified name into an 'LLVM name', which is either 87c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner/// prefixed with % (if the string only contains simple characters) or is 88c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner/// surrounded with ""'s (if it has special chars in it). Print it out. 8938e59891ee4417a9be2f8146ce0ba3269e38ac21Benjamin Kramerstatic void PrintLLVMName(raw_ostream &OS, StringRef Name, PrefixType Prefix) { 9061717b3d94a74ad7bb3ade7ed4662921a4124fc8Jay Foad assert(!Name.empty() && "Cannot get empty name!"); 91c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner switch (Prefix) { 92cad3580e99ae045e138a1d57de589a01c1f9b296Daniel Dunbar case NoPrefix: break; 9352b26de325e32c71159376853384789b7646eaf4Chris Lattner case GlobalPrefix: OS << '@'; break; 9452b26de325e32c71159376853384789b7646eaf4Chris Lattner case LabelPrefix: break; 9552b26de325e32c71159376853384789b7646eaf4Chris Lattner case LocalPrefix: OS << '%'; break; 96042348343e8c10b6cd60d2dca2b95ba27428ddc2Nick Lewycky } 97a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar 98c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner // Scan the name to see if it needs quotes first. 9903d7651c3652e1f0cc86e79b26585d86818da9cfDaniel Dunbar bool NeedsQuotes = isdigit(Name[0]); 100c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner if (!NeedsQuotes) { 10103d7651c3652e1f0cc86e79b26585d86818da9cfDaniel Dunbar for (unsigned i = 0, e = Name.size(); i != e; ++i) { 10203d7651c3652e1f0cc86e79b26585d86818da9cfDaniel Dunbar char C = Name[i]; 103c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner if (!isalnum(C) && C != '-' && C != '.' && C != '_') { 104c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner NeedsQuotes = true; 105c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner break; 106c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner } 107c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner } 108c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner } 109a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar 110c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner // If we didn't need any quotes, just write out the name in one blast. 111c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner if (!NeedsQuotes) { 11203d7651c3652e1f0cc86e79b26585d86818da9cfDaniel Dunbar OS << Name; 113c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner return; 114c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner } 115a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar 116c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner // Okay, we need quotes. Output the quotes and escape any scary characters as 117c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner // needed. 118c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner OS << '"'; 11903d7651c3652e1f0cc86e79b26585d86818da9cfDaniel Dunbar PrintEscapedString(Name, OS); 120c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner OS << '"'; 121c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner} 122c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner 1236ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner/// PrintLLVMName - Turn the specified name into an 'LLVM name', which is either 1246ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner/// prefixed with % (if the string only contains simple characters) or is 1256ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner/// surrounded with ""'s (if it has special chars in it). Print it out. 1261220e10f70f89e0f8082344646d79805edf9025dDan Gohmanstatic void PrintLLVMName(raw_ostream &OS, const Value *V) { 127a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar PrintLLVMName(OS, V->getName(), 128c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner isa<GlobalValue>(V) ? GlobalPrefix : LocalPrefix); 129c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner} 130c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner 1319cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner//===----------------------------------------------------------------------===// 1329cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner// TypePrinting Class: Type printing machinery 1339cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner//===----------------------------------------------------------------------===// 1349cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner 135fb78b33018bdd84d1879ae8a15f53d6b474982e9Chris Lattner/// TypePrinting - Type printing machinery. 136fb78b33018bdd84d1879ae8a15f53d6b474982e9Chris Lattnernamespace { 137fb78b33018bdd84d1879ae8a15f53d6b474982e9Chris Lattnerclass TypePrinting { 138fb78b33018bdd84d1879ae8a15f53d6b474982e9Chris Lattner TypePrinting(const TypePrinting &); // DO NOT IMPLEMENT 139fb78b33018bdd84d1879ae8a15f53d6b474982e9Chris Lattner void operator=(const TypePrinting&); // DO NOT IMPLEMENT 140fb78b33018bdd84d1879ae8a15f53d6b474982e9Chris Lattnerpublic: 1411afcace3a3a138b1b18e5c6270caa8dae2261ae2Chris Lattner 1421afcace3a3a138b1b18e5c6270caa8dae2261ae2Chris Lattner /// NamedTypes - The named types that are used by the current module. 1431afcace3a3a138b1b18e5c6270caa8dae2261ae2Chris Lattner std::vector<StructType*> NamedTypes; 14418801ecd487df27201b894db72aff4b2c7396e18Andrew Trick 1451afcace3a3a138b1b18e5c6270caa8dae2261ae2Chris Lattner /// NumberedTypes - The numbered types, along with their value. 1461afcace3a3a138b1b18e5c6270caa8dae2261ae2Chris Lattner DenseMap<StructType*, unsigned> NumberedTypes; 14718801ecd487df27201b894db72aff4b2c7396e18Andrew Trick 1489cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner 1491afcace3a3a138b1b18e5c6270caa8dae2261ae2Chris Lattner TypePrinting() {} 1501afcace3a3a138b1b18e5c6270caa8dae2261ae2Chris Lattner ~TypePrinting() {} 15118801ecd487df27201b894db72aff4b2c7396e18Andrew Trick 1521afcace3a3a138b1b18e5c6270caa8dae2261ae2Chris Lattner void incorporateTypes(const Module &M); 15318801ecd487df27201b894db72aff4b2c7396e18Andrew Trick 1541afcace3a3a138b1b18e5c6270caa8dae2261ae2Chris Lattner void print(Type *Ty, raw_ostream &OS); 15518801ecd487df27201b894db72aff4b2c7396e18Andrew Trick 1561afcace3a3a138b1b18e5c6270caa8dae2261ae2Chris Lattner void printStructBody(StructType *Ty, raw_ostream &OS); 157fb78b33018bdd84d1879ae8a15f53d6b474982e9Chris Lattner}; 158fb78b33018bdd84d1879ae8a15f53d6b474982e9Chris Lattner} // end anonymous namespace. 159d8030a7179a0d301dd3fb4c42c65a8f01dfe398eChris Lattner 160a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar 1611afcace3a3a138b1b18e5c6270caa8dae2261ae2Chris Lattnervoid TypePrinting::incorporateTypes(const Module &M) { 1621afcace3a3a138b1b18e5c6270caa8dae2261ae2Chris Lattner M.findUsedStructTypes(NamedTypes); 16318801ecd487df27201b894db72aff4b2c7396e18Andrew Trick 1641afcace3a3a138b1b18e5c6270caa8dae2261ae2Chris Lattner // The list of struct types we got back includes all the struct types, split 1651afcace3a3a138b1b18e5c6270caa8dae2261ae2Chris Lattner // the unnamed ones out to a numbering and remove the anonymous structs. 1661afcace3a3a138b1b18e5c6270caa8dae2261ae2Chris Lattner unsigned NextNumber = 0; 16718801ecd487df27201b894db72aff4b2c7396e18Andrew Trick 1681afcace3a3a138b1b18e5c6270caa8dae2261ae2Chris Lattner std::vector<StructType*>::iterator NextToUse = NamedTypes.begin(), I, E; 1691afcace3a3a138b1b18e5c6270caa8dae2261ae2Chris Lattner for (I = NamedTypes.begin(), E = NamedTypes.end(); I != E; ++I) { 1701afcace3a3a138b1b18e5c6270caa8dae2261ae2Chris Lattner StructType *STy = *I; 17118801ecd487df27201b894db72aff4b2c7396e18Andrew Trick 1721afcace3a3a138b1b18e5c6270caa8dae2261ae2Chris Lattner // Ignore anonymous types. 173c4d0e9fbddfe6b0ee5d5d7ef8eb1b341a8a242cfChris Lattner if (STy->isLiteral()) 1741afcace3a3a138b1b18e5c6270caa8dae2261ae2Chris Lattner continue; 17518801ecd487df27201b894db72aff4b2c7396e18Andrew Trick 1761afcace3a3a138b1b18e5c6270caa8dae2261ae2Chris Lattner if (STy->getName().empty()) 1771afcace3a3a138b1b18e5c6270caa8dae2261ae2Chris Lattner NumberedTypes[STy] = NextNumber++; 1781afcace3a3a138b1b18e5c6270caa8dae2261ae2Chris Lattner else 1791afcace3a3a138b1b18e5c6270caa8dae2261ae2Chris Lattner *NextToUse++ = STy; 1809cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner } 18118801ecd487df27201b894db72aff4b2c7396e18Andrew Trick 1821afcace3a3a138b1b18e5c6270caa8dae2261ae2Chris Lattner NamedTypes.erase(NextToUse, NamedTypes.end()); 1831afcace3a3a138b1b18e5c6270caa8dae2261ae2Chris Lattner} 184a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar 185a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar 1861afcace3a3a138b1b18e5c6270caa8dae2261ae2Chris Lattner/// CalcTypeName - Write the specified type to the specified raw_ostream, making 1871afcace3a3a138b1b18e5c6270caa8dae2261ae2Chris Lattner/// use of type names or up references to shorten the type name where possible. 1881afcace3a3a138b1b18e5c6270caa8dae2261ae2Chris Lattnervoid TypePrinting::print(Type *Ty, raw_ostream &OS) { 1899cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner switch (Ty->getTypeID()) { 19030794269d5ba15613d4e013d9fe1eb9e892fa6daChris Lattner case Type::VoidTyID: OS << "void"; break; 191ce16339930a2b03e53b4e6399ef59c092a7f2cfaDan Gohman case Type::HalfTyID: OS << "half"; break; 19230794269d5ba15613d4e013d9fe1eb9e892fa6daChris Lattner case Type::FloatTyID: OS << "float"; break; 19330794269d5ba15613d4e013d9fe1eb9e892fa6daChris Lattner case Type::DoubleTyID: OS << "double"; break; 19430794269d5ba15613d4e013d9fe1eb9e892fa6daChris Lattner case Type::X86_FP80TyID: OS << "x86_fp80"; break; 19530794269d5ba15613d4e013d9fe1eb9e892fa6daChris Lattner case Type::FP128TyID: OS << "fp128"; break; 19630794269d5ba15613d4e013d9fe1eb9e892fa6daChris Lattner case Type::PPC_FP128TyID: OS << "ppc_fp128"; break; 19730794269d5ba15613d4e013d9fe1eb9e892fa6daChris Lattner case Type::LabelTyID: OS << "label"; break; 1987a0370f66ab5739f42ffe822f33494e0de9b182bNick Lewycky case Type::MetadataTyID: OS << "metadata"; break; 199bb811a244567aa8a1522203f15588f4d001b7353Dale Johannesen case Type::X86_MMXTyID: OS << "x86_mmx"; break; 200583ffd878744e27b2ced28d67026c6ad83175ef2Chris Lattner case Type::IntegerTyID: 20130794269d5ba15613d4e013d9fe1eb9e892fa6daChris Lattner OS << 'i' << cast<IntegerType>(Ty)->getBitWidth(); 2021afcace3a3a138b1b18e5c6270caa8dae2261ae2Chris Lattner return; 203a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar 20436942d7383df0ab00f7f5b16c04f330aedf5c9f1Chris Lattner case Type::FunctionTyID: { 2051afcace3a3a138b1b18e5c6270caa8dae2261ae2Chris Lattner FunctionType *FTy = cast<FunctionType>(Ty); 2061afcace3a3a138b1b18e5c6270caa8dae2261ae2Chris Lattner print(FTy->getReturnType(), OS); 20730794269d5ba15613d4e013d9fe1eb9e892fa6daChris Lattner OS << " ("; 20836942d7383df0ab00f7f5b16c04f330aedf5c9f1Chris Lattner for (FunctionType::param_iterator I = FTy->param_begin(), 20936942d7383df0ab00f7f5b16c04f330aedf5c9f1Chris Lattner E = FTy->param_end(); I != E; ++I) { 21036942d7383df0ab00f7f5b16c04f330aedf5c9f1Chris Lattner if (I != FTy->param_begin()) 21130794269d5ba15613d4e013d9fe1eb9e892fa6daChris Lattner OS << ", "; 2121afcace3a3a138b1b18e5c6270caa8dae2261ae2Chris Lattner print(*I, OS); 2139cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner } 21436942d7383df0ab00f7f5b16c04f330aedf5c9f1Chris Lattner if (FTy->isVarArg()) { 21530794269d5ba15613d4e013d9fe1eb9e892fa6daChris Lattner if (FTy->getNumParams()) OS << ", "; 21630794269d5ba15613d4e013d9fe1eb9e892fa6daChris Lattner OS << "..."; 2179cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner } 21830794269d5ba15613d4e013d9fe1eb9e892fa6daChris Lattner OS << ')'; 2191afcace3a3a138b1b18e5c6270caa8dae2261ae2Chris Lattner return; 22036942d7383df0ab00f7f5b16c04f330aedf5c9f1Chris Lattner } 22136942d7383df0ab00f7f5b16c04f330aedf5c9f1Chris Lattner case Type::StructTyID: { 2221afcace3a3a138b1b18e5c6270caa8dae2261ae2Chris Lattner StructType *STy = cast<StructType>(Ty); 22318801ecd487df27201b894db72aff4b2c7396e18Andrew Trick 224c4d0e9fbddfe6b0ee5d5d7ef8eb1b341a8a242cfChris Lattner if (STy->isLiteral()) 2251afcace3a3a138b1b18e5c6270caa8dae2261ae2Chris Lattner return printStructBody(STy, OS); 2261afcace3a3a138b1b18e5c6270caa8dae2261ae2Chris Lattner 2271afcace3a3a138b1b18e5c6270caa8dae2261ae2Chris Lattner if (!STy->getName().empty()) 2281afcace3a3a138b1b18e5c6270caa8dae2261ae2Chris Lattner return PrintLLVMName(OS, STy->getName(), LocalPrefix); 22918801ecd487df27201b894db72aff4b2c7396e18Andrew Trick 2301afcace3a3a138b1b18e5c6270caa8dae2261ae2Chris Lattner DenseMap<StructType*, unsigned>::iterator I = NumberedTypes.find(STy); 2311afcace3a3a138b1b18e5c6270caa8dae2261ae2Chris Lattner if (I != NumberedTypes.end()) 2321afcace3a3a138b1b18e5c6270caa8dae2261ae2Chris Lattner OS << '%' << I->second; 2331afcace3a3a138b1b18e5c6270caa8dae2261ae2Chris Lattner else // Not enumerated, print the hex address. 2345a83264fa26eb573ef25b2db0cafbeef3eeb54c8Benjamin Kramer OS << "%\"type " << STy << '\"'; 2351afcace3a3a138b1b18e5c6270caa8dae2261ae2Chris Lattner return; 23636942d7383df0ab00f7f5b16c04f330aedf5c9f1Chris Lattner } 23736942d7383df0ab00f7f5b16c04f330aedf5c9f1Chris Lattner case Type::PointerTyID: { 2381afcace3a3a138b1b18e5c6270caa8dae2261ae2Chris Lattner PointerType *PTy = cast<PointerType>(Ty); 2391afcace3a3a138b1b18e5c6270caa8dae2261ae2Chris Lattner print(PTy->getElementType(), OS); 24036942d7383df0ab00f7f5b16c04f330aedf5c9f1Chris Lattner if (unsigned AddressSpace = PTy->getAddressSpace()) 24130794269d5ba15613d4e013d9fe1eb9e892fa6daChris Lattner OS << " addrspace(" << AddressSpace << ')'; 24230794269d5ba15613d4e013d9fe1eb9e892fa6daChris Lattner OS << '*'; 2431afcace3a3a138b1b18e5c6270caa8dae2261ae2Chris Lattner return; 24436942d7383df0ab00f7f5b16c04f330aedf5c9f1Chris Lattner } 24536942d7383df0ab00f7f5b16c04f330aedf5c9f1Chris Lattner case Type::ArrayTyID: { 2461afcace3a3a138b1b18e5c6270caa8dae2261ae2Chris Lattner ArrayType *ATy = cast<ArrayType>(Ty); 24730794269d5ba15613d4e013d9fe1eb9e892fa6daChris Lattner OS << '[' << ATy->getNumElements() << " x "; 2481afcace3a3a138b1b18e5c6270caa8dae2261ae2Chris Lattner print(ATy->getElementType(), OS); 24930794269d5ba15613d4e013d9fe1eb9e892fa6daChris Lattner OS << ']'; 2501afcace3a3a138b1b18e5c6270caa8dae2261ae2Chris Lattner return; 25136942d7383df0ab00f7f5b16c04f330aedf5c9f1Chris Lattner } 25236942d7383df0ab00f7f5b16c04f330aedf5c9f1Chris Lattner case Type::VectorTyID: { 2531afcace3a3a138b1b18e5c6270caa8dae2261ae2Chris Lattner VectorType *PTy = cast<VectorType>(Ty); 25430794269d5ba15613d4e013d9fe1eb9e892fa6daChris Lattner OS << "<" << PTy->getNumElements() << " x "; 2551afcace3a3a138b1b18e5c6270caa8dae2261ae2Chris Lattner print(PTy->getElementType(), OS); 25630794269d5ba15613d4e013d9fe1eb9e892fa6daChris Lattner OS << '>'; 2571afcace3a3a138b1b18e5c6270caa8dae2261ae2Chris Lattner return; 25836942d7383df0ab00f7f5b16c04f330aedf5c9f1Chris Lattner } 25936942d7383df0ab00f7f5b16c04f330aedf5c9f1Chris Lattner default: 26030794269d5ba15613d4e013d9fe1eb9e892fa6daChris Lattner OS << "<unrecognized-type>"; 2611afcace3a3a138b1b18e5c6270caa8dae2261ae2Chris Lattner return; 2629cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner } 2639cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner} 2649cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner 2651afcace3a3a138b1b18e5c6270caa8dae2261ae2Chris Lattnervoid TypePrinting::printStructBody(StructType *STy, raw_ostream &OS) { 2661afcace3a3a138b1b18e5c6270caa8dae2261ae2Chris Lattner if (STy->isOpaque()) { 2671afcace3a3a138b1b18e5c6270caa8dae2261ae2Chris Lattner OS << "opaque"; 2681afcace3a3a138b1b18e5c6270caa8dae2261ae2Chris Lattner return; 2699cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner } 27018801ecd487df27201b894db72aff4b2c7396e18Andrew Trick 2711afcace3a3a138b1b18e5c6270caa8dae2261ae2Chris Lattner if (STy->isPacked()) 2721afcace3a3a138b1b18e5c6270caa8dae2261ae2Chris Lattner OS << '<'; 27318801ecd487df27201b894db72aff4b2c7396e18Andrew Trick 2741afcace3a3a138b1b18e5c6270caa8dae2261ae2Chris Lattner if (STy->getNumElements() == 0) { 2751afcace3a3a138b1b18e5c6270caa8dae2261ae2Chris Lattner OS << "{}"; 2761afcace3a3a138b1b18e5c6270caa8dae2261ae2Chris Lattner } else { 2771afcace3a3a138b1b18e5c6270caa8dae2261ae2Chris Lattner StructType::element_iterator I = STy->element_begin(); 2781afcace3a3a138b1b18e5c6270caa8dae2261ae2Chris Lattner OS << "{ "; 2791afcace3a3a138b1b18e5c6270caa8dae2261ae2Chris Lattner print(*I++, OS); 2801afcace3a3a138b1b18e5c6270caa8dae2261ae2Chris Lattner for (StructType::element_iterator E = STy->element_end(); I != E; ++I) { 2811afcace3a3a138b1b18e5c6270caa8dae2261ae2Chris Lattner OS << ", "; 2821afcace3a3a138b1b18e5c6270caa8dae2261ae2Chris Lattner print(*I, OS); 283e9fa33eb6629aea72cd59560216bb6a7b8ebc689Chris Lattner } 28418801ecd487df27201b894db72aff4b2c7396e18Andrew Trick 2851afcace3a3a138b1b18e5c6270caa8dae2261ae2Chris Lattner OS << " }"; 286e9fa33eb6629aea72cd59560216bb6a7b8ebc689Chris Lattner } 2871afcace3a3a138b1b18e5c6270caa8dae2261ae2Chris Lattner if (STy->isPacked()) 2881afcace3a3a138b1b18e5c6270caa8dae2261ae2Chris Lattner OS << '>'; 289e9fa33eb6629aea72cd59560216bb6a7b8ebc689Chris Lattner} 290e9fa33eb6629aea72cd59560216bb6a7b8ebc689Chris Lattner 2919cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner 2921afcace3a3a138b1b18e5c6270caa8dae2261ae2Chris Lattner 2936ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner//===----------------------------------------------------------------------===// 2946ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner// SlotTracker Class: Enumerate slot numbers for unnamed values 2956ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner//===----------------------------------------------------------------------===// 2966ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 2976ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattnernamespace { 2986ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 2996ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner/// This class provides computation of slot numbers for LLVM Assembly writing. 3006ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner/// 3016ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattnerclass SlotTracker { 3026ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattnerpublic: 303320671d2654a543bbeed5b62efe165430146d55eDevang Patel /// ValueMap - A mapping of Values to slot numbers. 3046ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner typedef DenseMap<const Value*, unsigned> ValueMap; 305a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar 306a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbarprivate: 307320671d2654a543bbeed5b62efe165430146d55eDevang Patel /// TheModule - The module for which we are holding slot numbers. 3086ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner const Module* TheModule; 309a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar 310320671d2654a543bbeed5b62efe165430146d55eDevang Patel /// TheFunction - The function for which we are holding slot numbers. 3116ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner const Function* TheFunction; 3126ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner bool FunctionProcessed; 313a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar 3147f0ce349187e6526ed2d92fe7d2757f84f73ce04Jay Foad /// mMap - The slot map for the module level data. 3156ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner ValueMap mMap; 3166ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner unsigned mNext; 317a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar 3187f0ce349187e6526ed2d92fe7d2757f84f73ce04Jay Foad /// fMap - The slot map for the function level data. 3196ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner ValueMap fMap; 3206ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner unsigned fNext; 321a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar 322320671d2654a543bbeed5b62efe165430146d55eDevang Patel /// mdnMap - Map for MDNodes. 323307c9893fc30758041a3649a8bed2b4b4cc405d4Chris Lattner DenseMap<const MDNode*, unsigned> mdnMap; 324320671d2654a543bbeed5b62efe165430146d55eDevang Patel unsigned mdnNext; 3256ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattnerpublic: 3266ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner /// Construct from a module 3276ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner explicit SlotTracker(const Module *M); 3286ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner /// Construct from a function, starting out in incorp state. 3296ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner explicit SlotTracker(const Function *F); 3306ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 3316ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner /// Return the slot number of the specified value in it's type 3326ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner /// plane. If something is not in the SlotTracker, return -1. 3336ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner int getLocalSlot(const Value *V); 3346ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner int getGlobalSlot(const GlobalValue *V); 335320671d2654a543bbeed5b62efe165430146d55eDevang Patel int getMetadataSlot(const MDNode *N); 3366ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 3376ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner /// If you'd like to deal with a function instead of just a module, use 3386ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner /// this method to get its data into the SlotTracker. 3396ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner void incorporateFunction(const Function *F) { 3406ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner TheFunction = F; 3416ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner FunctionProcessed = false; 3426ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner } 3436ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 3446ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner /// After calling incorporateFunction, use this method to remove the 3456ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner /// most recently incorporated function from the SlotTracker. This 3466ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner /// will reset the state of the machine back to just the module contents. 3476ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner void purgeFunction(); 3486ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 349320671d2654a543bbeed5b62efe165430146d55eDevang Patel /// MDNode map iterators. 350307c9893fc30758041a3649a8bed2b4b4cc405d4Chris Lattner typedef DenseMap<const MDNode*, unsigned>::iterator mdn_iterator; 351307c9893fc30758041a3649a8bed2b4b4cc405d4Chris Lattner mdn_iterator mdn_begin() { return mdnMap.begin(); } 352307c9893fc30758041a3649a8bed2b4b4cc405d4Chris Lattner mdn_iterator mdn_end() { return mdnMap.end(); } 353307c9893fc30758041a3649a8bed2b4b4cc405d4Chris Lattner unsigned mdn_size() const { return mdnMap.size(); } 354307c9893fc30758041a3649a8bed2b4b4cc405d4Chris Lattner bool mdn_empty() const { return mdnMap.empty(); } 355320671d2654a543bbeed5b62efe165430146d55eDevang Patel 3566ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner /// This function does the actual initialization. 3576ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner inline void initialize(); 3586ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 359320671d2654a543bbeed5b62efe165430146d55eDevang Patel // Implementation Details 360320671d2654a543bbeed5b62efe165430146d55eDevang Patelprivate: 3616ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner /// CreateModuleSlot - Insert the specified GlobalValue* into the slot table. 3626ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner void CreateModuleSlot(const GlobalValue *V); 363320671d2654a543bbeed5b62efe165430146d55eDevang Patel 364320671d2654a543bbeed5b62efe165430146d55eDevang Patel /// CreateMetadataSlot - Insert the specified MDNode* into the slot table. 365320671d2654a543bbeed5b62efe165430146d55eDevang Patel void CreateMetadataSlot(const MDNode *N); 366320671d2654a543bbeed5b62efe165430146d55eDevang Patel 3676ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner /// CreateFunctionSlot - Insert the specified Value* into the slot table. 3686ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner void CreateFunctionSlot(const Value *V); 3696ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 3706ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner /// Add all of the module level global variables (and their initializers) 3716ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner /// and function declarations, but not the contents of those functions. 3726ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner void processModule(); 3736ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 374320671d2654a543bbeed5b62efe165430146d55eDevang Patel /// Add all of the functions arguments, basic blocks, and instructions. 3756ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner void processFunction(); 3766ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 3776ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner SlotTracker(const SlotTracker &); // DO NOT IMPLEMENT 3786ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner void operator=(const SlotTracker &); // DO NOT IMPLEMENT 3796ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner}; 3806ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 3816ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner} // end anonymous namespace 3826ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 3836ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 3846ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattnerstatic SlotTracker *createSlotTracker(const Value *V) { 3856ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner if (const Argument *FA = dyn_cast<Argument>(V)) 3866ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner return new SlotTracker(FA->getParent()); 387a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar 3886ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner if (const Instruction *I = dyn_cast<Instruction>(V)) 38962e0590c0e5125b6c0fe5221e6fc552605c27202Andrew Trick if (I->getParent()) 39062e0590c0e5125b6c0fe5221e6fc552605c27202Andrew Trick return new SlotTracker(I->getParent()->getParent()); 391a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar 3926ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner if (const BasicBlock *BB = dyn_cast<BasicBlock>(V)) 3936ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner return new SlotTracker(BB->getParent()); 394a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar 3956ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner if (const GlobalVariable *GV = dyn_cast<GlobalVariable>(V)) 3966ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner return new SlotTracker(GV->getParent()); 397a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar 3986ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner if (const GlobalAlias *GA = dyn_cast<GlobalAlias>(V)) 399a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar return new SlotTracker(GA->getParent()); 400a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar 4016ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner if (const Function *Func = dyn_cast<Function>(V)) 4026ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner return new SlotTracker(Func); 403a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar 4043bdfbf5d56d52fc4c390df77f98ba2c46951b51aDan Gohman if (const MDNode *MD = dyn_cast<MDNode>(V)) { 4053bdfbf5d56d52fc4c390df77f98ba2c46951b51aDan Gohman if (!MD->isFunctionLocal()) 4063bdfbf5d56d52fc4c390df77f98ba2c46951b51aDan Gohman return new SlotTracker(MD->getFunction()); 4073bdfbf5d56d52fc4c390df77f98ba2c46951b51aDan Gohman 4085f72a5ebc84a1935878b5b2d3166a505c520cdfcDale Johannesen return new SlotTracker((Function *)0); 4093bdfbf5d56d52fc4c390df77f98ba2c46951b51aDan Gohman } 4105f72a5ebc84a1935878b5b2d3166a505c520cdfcDale Johannesen 4116ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner return 0; 4126ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner} 4136ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 4146ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner#if 0 415d865e02ea24e92f8fd1d2b49a26ea0676a879ce7David Greene#define ST_DEBUG(X) dbgs() << X 4166ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner#else 417242330371b2b7ab9d5a6c4f5f93ec82c514cc09aChris Lattner#define ST_DEBUG(X) 4186ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner#endif 4196ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 4206ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner// Module level constructor. Causes the contents of the Module (sans functions) 4216ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner// to be added to the slot table. 4226ab910b946b6af54384662fb404d6e9b22fa5727Chris LattnerSlotTracker::SlotTracker(const Module *M) 42318801ecd487df27201b894db72aff4b2c7396e18Andrew Trick : TheModule(M), TheFunction(0), FunctionProcessed(false), 42438cf02ebc977d65f3e1beecd1819a14f7bcf7fa9Chris Lattner mNext(0), fNext(0), mdnNext(0) { 4256ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner} 4266ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 4276ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner// Function level constructor. Causes the contents of the Module and the one 4286ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner// function provided to be added to the slot table. 4296ab910b946b6af54384662fb404d6e9b22fa5727Chris LattnerSlotTracker::SlotTracker(const Function *F) 430cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner : TheModule(F ? F->getParent() : 0), TheFunction(F), FunctionProcessed(false), 4316e6b1805dae72803fbfe45f9aee2ab9ebfb4ec77Chris Lattner mNext(0), fNext(0), mdnNext(0) { 4326ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner} 4336ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 4346ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattnerinline void SlotTracker::initialize() { 4356ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner if (TheModule) { 4366ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner processModule(); 4376ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner TheModule = 0; ///< Prevent re-processing next time we're called. 4386ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner } 439a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar 4406ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner if (TheFunction && !FunctionProcessed) 4416ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner processFunction(); 4426ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner} 4436ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 4446ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner// Iterate through all the global variables, functions, and global 4456ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner// variable initializers and create slots for them. 4466ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattnervoid SlotTracker::processModule() { 447242330371b2b7ab9d5a6c4f5f93ec82c514cc09aChris Lattner ST_DEBUG("begin processModule!\n"); 448a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar 4496ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner // Add all of the unnamed global variables to the value table. 4506ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner for (Module::const_global_iterator I = TheModule->global_begin(), 451320671d2654a543bbeed5b62efe165430146d55eDevang Patel E = TheModule->global_end(); I != E; ++I) { 452a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar if (!I->hasName()) 4536ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner CreateModuleSlot(I); 454320671d2654a543bbeed5b62efe165430146d55eDevang Patel } 455a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar 45637c4a2d6f15ff32c9ae91e333d655a349e195993Devang Patel // Add metadata used by named metadata. 457a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar for (Module::const_named_metadata_iterator 45837c4a2d6f15ff32c9ae91e333d655a349e195993Devang Patel I = TheModule->named_metadata_begin(), 45937c4a2d6f15ff32c9ae91e333d655a349e195993Devang Patel E = TheModule->named_metadata_end(); I != E; ++I) { 46037c4a2d6f15ff32c9ae91e333d655a349e195993Devang Patel const NamedMDNode *NMD = I; 461872814ae048df032bddf9299c850f5bda08299a9Dan Gohman for (unsigned i = 0, e = NMD->getNumOperands(); i != e; ++i) 462872814ae048df032bddf9299c850f5bda08299a9Dan Gohman CreateMetadataSlot(NMD->getOperand(i)); 46337c4a2d6f15ff32c9ae91e333d655a349e195993Devang Patel } 46437c4a2d6f15ff32c9ae91e333d655a349e195993Devang Patel 4656ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner // Add all the unnamed functions to the table. 4666ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner for (Module::const_iterator I = TheModule->begin(), E = TheModule->end(); 4676ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner I != E; ++I) 4686ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner if (!I->hasName()) 4696ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner CreateModuleSlot(I); 470a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar 471242330371b2b7ab9d5a6c4f5f93ec82c514cc09aChris Lattner ST_DEBUG("end processModule!\n"); 4726ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner} 4736ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 4746ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner// Process the arguments, basic blocks, and instructions of a function. 4756ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattnervoid SlotTracker::processFunction() { 476242330371b2b7ab9d5a6c4f5f93ec82c514cc09aChris Lattner ST_DEBUG("begin processFunction!\n"); 4776ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner fNext = 0; 478a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar 4796ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner // Add all the function arguments with no names. 4806ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner for(Function::const_arg_iterator AI = TheFunction->arg_begin(), 4816ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner AE = TheFunction->arg_end(); AI != AE; ++AI) 4826ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner if (!AI->hasName()) 4836ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner CreateFunctionSlot(AI); 484a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar 485242330371b2b7ab9d5a6c4f5f93ec82c514cc09aChris Lattner ST_DEBUG("Inserting Instructions:\n"); 486a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar 4876e6b1805dae72803fbfe45f9aee2ab9ebfb4ec77Chris Lattner SmallVector<std::pair<unsigned, MDNode*>, 4> MDForInst; 48843215788d5d79a0a336ca85442d7c8a45552dd7aDevang Patel 4896ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner // Add all of the basic blocks and instructions with no names. 4906ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner for (Function::const_iterator BB = TheFunction->begin(), 4916ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner E = TheFunction->end(); BB != E; ++BB) { 4926ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner if (!BB->hasName()) 4936ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner CreateFunctionSlot(BB); 49418801ecd487df27201b894db72aff4b2c7396e18Andrew Trick 495a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar for (BasicBlock::const_iterator I = BB->begin(), E = BB->end(); I != E; 496320671d2654a543bbeed5b62efe165430146d55eDevang Patel ++I) { 4973990b121cf4a0b280ed3e54cf13870cbf4259e78Chris Lattner if (!I->getType()->isVoidTy() && !I->hasName()) 4986ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner CreateFunctionSlot(I); 49918801ecd487df27201b894db72aff4b2c7396e18Andrew Trick 500fd450c026ae0e804da7025d3318551b203d584a9Chris Lattner // Intrinsics can directly use metadata. We allow direct calls to any 501fd450c026ae0e804da7025d3318551b203d584a9Chris Lattner // llvm.foo function here, because the target may not be linked into the 502fd450c026ae0e804da7025d3318551b203d584a9Chris Lattner // optimizer. 503fd450c026ae0e804da7025d3318551b203d584a9Chris Lattner if (const CallInst *CI = dyn_cast<CallInst>(I)) { 504fd450c026ae0e804da7025d3318551b203d584a9Chris Lattner if (Function *F = CI->getCalledFunction()) 505fd450c026ae0e804da7025d3318551b203d584a9Chris Lattner if (F->getName().startswith("llvm.")) 506fd450c026ae0e804da7025d3318551b203d584a9Chris Lattner for (unsigned i = 0, e = I->getNumOperands(); i != e; ++i) 507fd450c026ae0e804da7025d3318551b203d584a9Chris Lattner if (MDNode *N = dyn_cast_or_null<MDNode>(I->getOperand(i))) 508fd450c026ae0e804da7025d3318551b203d584a9Chris Lattner CreateMetadataSlot(N); 509fd450c026ae0e804da7025d3318551b203d584a9Chris Lattner } 510a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar 51143215788d5d79a0a336ca85442d7c8a45552dd7aDevang Patel // Process metadata attached with this instruction. 5123990b121cf4a0b280ed3e54cf13870cbf4259e78Chris Lattner I->getAllMetadata(MDForInst); 5133990b121cf4a0b280ed3e54cf13870cbf4259e78Chris Lattner for (unsigned i = 0, e = MDForInst.size(); i != e; ++i) 5143990b121cf4a0b280ed3e54cf13870cbf4259e78Chris Lattner CreateMetadataSlot(MDForInst[i].second); 5156e6b1805dae72803fbfe45f9aee2ab9ebfb4ec77Chris Lattner MDForInst.clear(); 516320671d2654a543bbeed5b62efe165430146d55eDevang Patel } 5176ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner } 51843215788d5d79a0a336ca85442d7c8a45552dd7aDevang Patel 5196ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner FunctionProcessed = true; 520a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar 521242330371b2b7ab9d5a6c4f5f93ec82c514cc09aChris Lattner ST_DEBUG("end processFunction!\n"); 5226ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner} 5236ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 5246ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner/// Clean up after incorporating a function. This is the only way to get out of 5256ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner/// the function incorporation state that affects get*Slot/Create*Slot. Function 5266ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner/// incorporation state is indicated by TheFunction != 0. 5276ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattnervoid SlotTracker::purgeFunction() { 528242330371b2b7ab9d5a6c4f5f93ec82c514cc09aChris Lattner ST_DEBUG("begin purgeFunction!\n"); 5296ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner fMap.clear(); // Simply discard the function level map 5306ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner TheFunction = 0; 5316ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner FunctionProcessed = false; 532242330371b2b7ab9d5a6c4f5f93ec82c514cc09aChris Lattner ST_DEBUG("end purgeFunction!\n"); 5336ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner} 5346ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 5356ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner/// getGlobalSlot - Get the slot number of a global value. 5366ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattnerint SlotTracker::getGlobalSlot(const GlobalValue *V) { 5376ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner // Check for uninitialized state and do lazy initialization. 5386ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner initialize(); 539a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar 5407f0ce349187e6526ed2d92fe7d2757f84f73ce04Jay Foad // Find the value in the module map 5416ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner ValueMap::iterator MI = mMap.find(V); 542aeaf245db33fa8bccdd14bb8899ee0585a75a7b1Dan Gohman return MI == mMap.end() ? -1 : (int)MI->second; 5436ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner} 5446ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 545307c9893fc30758041a3649a8bed2b4b4cc405d4Chris Lattner/// getMetadataSlot - Get the slot number of a MDNode. 546320671d2654a543bbeed5b62efe165430146d55eDevang Patelint SlotTracker::getMetadataSlot(const MDNode *N) { 547320671d2654a543bbeed5b62efe165430146d55eDevang Patel // Check for uninitialized state and do lazy initialization. 548320671d2654a543bbeed5b62efe165430146d55eDevang Patel initialize(); 549a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar 5507f0ce349187e6526ed2d92fe7d2757f84f73ce04Jay Foad // Find the MDNode in the module map 551307c9893fc30758041a3649a8bed2b4b4cc405d4Chris Lattner mdn_iterator MI = mdnMap.find(N); 552320671d2654a543bbeed5b62efe165430146d55eDevang Patel return MI == mdnMap.end() ? -1 : (int)MI->second; 553320671d2654a543bbeed5b62efe165430146d55eDevang Patel} 554320671d2654a543bbeed5b62efe165430146d55eDevang Patel 5556ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 5566ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner/// getLocalSlot - Get the slot number for a value that is local to a function. 5576ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattnerint SlotTracker::getLocalSlot(const Value *V) { 5586ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner assert(!isa<Constant>(V) && "Can't get a constant or global slot with this!"); 559a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar 5606ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner // Check for uninitialized state and do lazy initialization. 5616ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner initialize(); 562a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar 5636ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner ValueMap::iterator FI = fMap.find(V); 564aeaf245db33fa8bccdd14bb8899ee0585a75a7b1Dan Gohman return FI == fMap.end() ? -1 : (int)FI->second; 5656ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner} 5666ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 5676ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 5686ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner/// CreateModuleSlot - Insert the specified GlobalValue* into the slot table. 5696ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattnervoid SlotTracker::CreateModuleSlot(const GlobalValue *V) { 5706ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner assert(V && "Can't insert a null Value into SlotTracker!"); 5714ee93c430367000c80a02ba218ddf712aa3e57edChris Lattner assert(!V->getType()->isVoidTy() && "Doesn't need a slot!"); 5726ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner assert(!V->hasName() && "Doesn't need a slot!"); 573a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar 5746ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner unsigned DestSlot = mNext++; 5756ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner mMap[V] = DestSlot; 576a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar 577242330371b2b7ab9d5a6c4f5f93ec82c514cc09aChris Lattner ST_DEBUG(" Inserting value [" << V->getType() << "] = " << V << " slot=" << 5786ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner DestSlot << " ["); 5796ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner // G = Global, F = Function, A = Alias, o = other 580242330371b2b7ab9d5a6c4f5f93ec82c514cc09aChris Lattner ST_DEBUG((isa<GlobalVariable>(V) ? 'G' : 5816ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner (isa<Function>(V) ? 'F' : 5826ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner (isa<GlobalAlias>(V) ? 'A' : 'o'))) << "]\n"); 5836ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner} 5846ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 5856ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner/// CreateSlot - Create a new slot for the specified value if it has no name. 5866ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattnervoid SlotTracker::CreateFunctionSlot(const Value *V) { 5874ee93c430367000c80a02ba218ddf712aa3e57edChris Lattner assert(!V->getType()->isVoidTy() && !V->hasName() && "Doesn't need a slot!"); 588a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar 5896ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner unsigned DestSlot = fNext++; 5906ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner fMap[V] = DestSlot; 591a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar 5926ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner // G = Global, F = Function, o = other 593242330371b2b7ab9d5a6c4f5f93ec82c514cc09aChris Lattner ST_DEBUG(" Inserting value [" << V->getType() << "] = " << V << " slot=" << 5946ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner DestSlot << " [o]\n"); 595a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar} 5966ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 597320671d2654a543bbeed5b62efe165430146d55eDevang Patel/// CreateModuleSlot - Insert the specified MDNode* into the slot table. 598320671d2654a543bbeed5b62efe165430146d55eDevang Patelvoid SlotTracker::CreateMetadataSlot(const MDNode *N) { 599320671d2654a543bbeed5b62efe165430146d55eDevang Patel assert(N && "Can't insert a null Value into SlotTracker!"); 600a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar 6012b4b1e2e603d5543bf2fe0ad45b62ca7bfaee81dChris Lattner // Don't insert if N is a function-local metadata, these are always printed 6022b4b1e2e603d5543bf2fe0ad45b62ca7bfaee81dChris Lattner // inline. 6033bdfbf5d56d52fc4c390df77f98ba2c46951b51aDan Gohman if (!N->isFunctionLocal()) { 6043bdfbf5d56d52fc4c390df77f98ba2c46951b51aDan Gohman mdn_iterator I = mdnMap.find(N); 6053bdfbf5d56d52fc4c390df77f98ba2c46951b51aDan Gohman if (I != mdnMap.end()) 6063bdfbf5d56d52fc4c390df77f98ba2c46951b51aDan Gohman return; 607320671d2654a543bbeed5b62efe165430146d55eDevang Patel 6083bdfbf5d56d52fc4c390df77f98ba2c46951b51aDan Gohman unsigned DestSlot = mdnNext++; 6093bdfbf5d56d52fc4c390df77f98ba2c46951b51aDan Gohman mdnMap[N] = DestSlot; 6103bdfbf5d56d52fc4c390df77f98ba2c46951b51aDan Gohman } 6116ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 6122b4b1e2e603d5543bf2fe0ad45b62ca7bfaee81dChris Lattner // Recursively add any MDNodes referenced by operands. 6132b4b1e2e603d5543bf2fe0ad45b62ca7bfaee81dChris Lattner for (unsigned i = 0, e = N->getNumOperands(); i != e; ++i) 6142b4b1e2e603d5543bf2fe0ad45b62ca7bfaee81dChris Lattner if (const MDNode *Op = dyn_cast_or_null<MDNode>(N->getOperand(i))) 6152b4b1e2e603d5543bf2fe0ad45b62ca7bfaee81dChris Lattner CreateMetadataSlot(Op); 616320671d2654a543bbeed5b62efe165430146d55eDevang Patel} 6176ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 6186ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner//===----------------------------------------------------------------------===// 6196ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner// AsmWriter Implementation 6206ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner//===----------------------------------------------------------------------===// 6216ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 6221220e10f70f89e0f8082344646d79805edf9025dDan Gohmanstatic void WriteAsOperandInternal(raw_ostream &Out, const Value *V, 623d6c0f65b532f022e584d8f1e3c044593b4c74a99Dan Gohman TypePrinting *TypePrinter, 6243bdfbf5d56d52fc4c390df77f98ba2c46951b51aDan Gohman SlotTracker *Machine, 6253bdfbf5d56d52fc4c390df77f98ba2c46951b51aDan Gohman const Module *Context); 6266ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 6276ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 6286ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 62982c4bc7153d390ad1c2b369e0caef456948b8825Chris Lattnerstatic const char *getPredicateText(unsigned predicate) { 63081dfeb3264d3c1f619c3f73046ded1ac6883e59dReid Spencer const char * pred = "unknown"; 63181dfeb3264d3c1f619c3f73046ded1ac6883e59dReid Spencer switch (predicate) { 6326e6b1805dae72803fbfe45f9aee2ab9ebfb4ec77Chris Lattner case FCmpInst::FCMP_FALSE: pred = "false"; break; 6336e6b1805dae72803fbfe45f9aee2ab9ebfb4ec77Chris Lattner case FCmpInst::FCMP_OEQ: pred = "oeq"; break; 6346e6b1805dae72803fbfe45f9aee2ab9ebfb4ec77Chris Lattner case FCmpInst::FCMP_OGT: pred = "ogt"; break; 6356e6b1805dae72803fbfe45f9aee2ab9ebfb4ec77Chris Lattner case FCmpInst::FCMP_OGE: pred = "oge"; break; 6366e6b1805dae72803fbfe45f9aee2ab9ebfb4ec77Chris Lattner case FCmpInst::FCMP_OLT: pred = "olt"; break; 6376e6b1805dae72803fbfe45f9aee2ab9ebfb4ec77Chris Lattner case FCmpInst::FCMP_OLE: pred = "ole"; break; 6386e6b1805dae72803fbfe45f9aee2ab9ebfb4ec77Chris Lattner case FCmpInst::FCMP_ONE: pred = "one"; break; 6396e6b1805dae72803fbfe45f9aee2ab9ebfb4ec77Chris Lattner case FCmpInst::FCMP_ORD: pred = "ord"; break; 6406e6b1805dae72803fbfe45f9aee2ab9ebfb4ec77Chris Lattner case FCmpInst::FCMP_UNO: pred = "uno"; break; 6416e6b1805dae72803fbfe45f9aee2ab9ebfb4ec77Chris Lattner case FCmpInst::FCMP_UEQ: pred = "ueq"; break; 6426e6b1805dae72803fbfe45f9aee2ab9ebfb4ec77Chris Lattner case FCmpInst::FCMP_UGT: pred = "ugt"; break; 6436e6b1805dae72803fbfe45f9aee2ab9ebfb4ec77Chris Lattner case FCmpInst::FCMP_UGE: pred = "uge"; break; 6446e6b1805dae72803fbfe45f9aee2ab9ebfb4ec77Chris Lattner case FCmpInst::FCMP_ULT: pred = "ult"; break; 6456e6b1805dae72803fbfe45f9aee2ab9ebfb4ec77Chris Lattner case FCmpInst::FCMP_ULE: pred = "ule"; break; 6466e6b1805dae72803fbfe45f9aee2ab9ebfb4ec77Chris Lattner case FCmpInst::FCMP_UNE: pred = "une"; break; 6476e6b1805dae72803fbfe45f9aee2ab9ebfb4ec77Chris Lattner case FCmpInst::FCMP_TRUE: pred = "true"; break; 6486e6b1805dae72803fbfe45f9aee2ab9ebfb4ec77Chris Lattner case ICmpInst::ICMP_EQ: pred = "eq"; break; 6496e6b1805dae72803fbfe45f9aee2ab9ebfb4ec77Chris Lattner case ICmpInst::ICMP_NE: pred = "ne"; break; 6506e6b1805dae72803fbfe45f9aee2ab9ebfb4ec77Chris Lattner case ICmpInst::ICMP_SGT: pred = "sgt"; break; 6516e6b1805dae72803fbfe45f9aee2ab9ebfb4ec77Chris Lattner case ICmpInst::ICMP_SGE: pred = "sge"; break; 6526e6b1805dae72803fbfe45f9aee2ab9ebfb4ec77Chris Lattner case ICmpInst::ICMP_SLT: pred = "slt"; break; 6536e6b1805dae72803fbfe45f9aee2ab9ebfb4ec77Chris Lattner case ICmpInst::ICMP_SLE: pred = "sle"; break; 6546e6b1805dae72803fbfe45f9aee2ab9ebfb4ec77Chris Lattner case ICmpInst::ICMP_UGT: pred = "ugt"; break; 6556e6b1805dae72803fbfe45f9aee2ab9ebfb4ec77Chris Lattner case ICmpInst::ICMP_UGE: pred = "uge"; break; 6566e6b1805dae72803fbfe45f9aee2ab9ebfb4ec77Chris Lattner case ICmpInst::ICMP_ULT: pred = "ult"; break; 6576e6b1805dae72803fbfe45f9aee2ab9ebfb4ec77Chris Lattner case ICmpInst::ICMP_ULE: pred = "ule"; break; 65881dfeb3264d3c1f619c3f73046ded1ac6883e59dReid Spencer } 65981dfeb3264d3c1f619c3f73046ded1ac6883e59dReid Spencer return pred; 66081dfeb3264d3c1f619c3f73046ded1ac6883e59dReid Spencer} 66181dfeb3264d3c1f619c3f73046ded1ac6883e59dReid Spencer 662ff03048c1350fcc4fda1ef6d6c57252f3a950854Eli Friedmanstatic void writeAtomicRMWOperation(raw_ostream &Out, 663ff03048c1350fcc4fda1ef6d6c57252f3a950854Eli Friedman AtomicRMWInst::BinOp Op) { 664ff03048c1350fcc4fda1ef6d6c57252f3a950854Eli Friedman switch (Op) { 665ff03048c1350fcc4fda1ef6d6c57252f3a950854Eli Friedman default: Out << " <unknown operation " << Op << ">"; break; 666ff03048c1350fcc4fda1ef6d6c57252f3a950854Eli Friedman case AtomicRMWInst::Xchg: Out << " xchg"; break; 667ff03048c1350fcc4fda1ef6d6c57252f3a950854Eli Friedman case AtomicRMWInst::Add: Out << " add"; break; 668ff03048c1350fcc4fda1ef6d6c57252f3a950854Eli Friedman case AtomicRMWInst::Sub: Out << " sub"; break; 669ff03048c1350fcc4fda1ef6d6c57252f3a950854Eli Friedman case AtomicRMWInst::And: Out << " and"; break; 670ff03048c1350fcc4fda1ef6d6c57252f3a950854Eli Friedman case AtomicRMWInst::Nand: Out << " nand"; break; 671ff03048c1350fcc4fda1ef6d6c57252f3a950854Eli Friedman case AtomicRMWInst::Or: Out << " or"; break; 672ff03048c1350fcc4fda1ef6d6c57252f3a950854Eli Friedman case AtomicRMWInst::Xor: Out << " xor"; break; 673ff03048c1350fcc4fda1ef6d6c57252f3a950854Eli Friedman case AtomicRMWInst::Max: Out << " max"; break; 674ff03048c1350fcc4fda1ef6d6c57252f3a950854Eli Friedman case AtomicRMWInst::Min: Out << " min"; break; 675ff03048c1350fcc4fda1ef6d6c57252f3a950854Eli Friedman case AtomicRMWInst::UMax: Out << " umax"; break; 676ff03048c1350fcc4fda1ef6d6c57252f3a950854Eli Friedman case AtomicRMWInst::UMin: Out << " umin"; break; 677ff03048c1350fcc4fda1ef6d6c57252f3a950854Eli Friedman } 678ff03048c1350fcc4fda1ef6d6c57252f3a950854Eli Friedman} 679320671d2654a543bbeed5b62efe165430146d55eDevang Patel 6801220e10f70f89e0f8082344646d79805edf9025dDan Gohmanstatic void WriteOptimizationInfo(raw_ostream &Out, const User *U) { 6811224c386981f7948f298ed9ad444c40609570f2eDan Gohman if (const OverflowingBinaryOperator *OBO = 6821224c386981f7948f298ed9ad444c40609570f2eDan Gohman dyn_cast<OverflowingBinaryOperator>(U)) { 6835078f84c82814e4d33846f9ef54281619d362f8aDan Gohman if (OBO->hasNoUnsignedWrap()) 68459858cf7926702596cf708daf21aeaf5b6feedf8Dan Gohman Out << " nuw"; 6855078f84c82814e4d33846f9ef54281619d362f8aDan Gohman if (OBO->hasNoSignedWrap()) 68659858cf7926702596cf708daf21aeaf5b6feedf8Dan Gohman Out << " nsw"; 68735bda8914c0d1c02a6f90f42e7810c83150737e1Chris Lattner } else if (const PossiblyExactOperator *Div = 68835bda8914c0d1c02a6f90f42e7810c83150737e1Chris Lattner dyn_cast<PossiblyExactOperator>(U)) { 6891224c386981f7948f298ed9ad444c40609570f2eDan Gohman if (Div->isExact()) 69059858cf7926702596cf708daf21aeaf5b6feedf8Dan Gohman Out << " exact"; 691dd8004dc73d091ccb3927dbbc3b41639a3738ae3Dan Gohman } else if (const GEPOperator *GEP = dyn_cast<GEPOperator>(U)) { 692dd8004dc73d091ccb3927dbbc3b41639a3738ae3Dan Gohman if (GEP->isInBounds()) 693dd8004dc73d091ccb3927dbbc3b41639a3738ae3Dan Gohman Out << " inbounds"; 6941224c386981f7948f298ed9ad444c40609570f2eDan Gohman } 6951224c386981f7948f298ed9ad444c40609570f2eDan Gohman} 6961224c386981f7948f298ed9ad444c40609570f2eDan Gohman 69740cf12fe775e0a689427f3c8779d8b6447bab3caDan Gohmanstatic void WriteConstantInternal(raw_ostream &Out, const Constant *CV, 69840cf12fe775e0a689427f3c8779d8b6447bab3caDan Gohman TypePrinting &TypePrinter, 6993bdfbf5d56d52fc4c390df77f98ba2c46951b51aDan Gohman SlotTracker *Machine, 7003bdfbf5d56d52fc4c390df77f98ba2c46951b51aDan Gohman const Module *Context) { 7016b6b6ef1677fa71b1072c2911b4c1f9524a558c9Zhou Sheng if (const ConstantInt *CI = dyn_cast<ConstantInt>(CV)) { 702b0bc6c361da9009e8414efde317d9bbff755f6c0Duncan Sands if (CI->getType()->isIntegerTy(1)) { 703579dca12c2cfd60bc18aaadbd5331897d48fec29Reid Spencer Out << (CI->getZExtValue() ? "true" : "false"); 704fad86b003a839cef40ec8ce8408322f4913368caChris Lattner return; 705fad86b003a839cef40ec8ce8408322f4913368caChris Lattner } 706fad86b003a839cef40ec8ce8408322f4913368caChris Lattner Out << CI->getValue(); 707fad86b003a839cef40ec8ce8408322f4913368caChris Lattner return; 708fad86b003a839cef40ec8ce8408322f4913368caChris Lattner } 709a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar 710fad86b003a839cef40ec8ce8408322f4913368caChris Lattner if (const ConstantFP *CFP = dyn_cast<ConstantFP>(CV)) { 711ce16339930a2b03e53b4e6399ef59c092a7f2cfaDan Gohman if (&CFP->getValueAPF().getSemantics() == &APFloat::IEEEhalf || 712ce16339930a2b03e53b4e6399ef59c092a7f2cfaDan Gohman &CFP->getValueAPF().getSemantics() == &APFloat::IEEEsingle || 713ce16339930a2b03e53b4e6399ef59c092a7f2cfaDan Gohman &CFP->getValueAPF().getSemantics() == &APFloat::IEEEdouble) { 7149d5f45607793052bf5b4436d1b43013fab9999acDale Johannesen // We would like to output the FP constant value in exponential notation, 7159d5f45607793052bf5b4436d1b43013fab9999acDale Johannesen // but we cannot do this if doing so will lose precision. Check here to 7169d5f45607793052bf5b4436d1b43013fab9999acDale Johannesen // make sure that we only output it in exponential format if we can parse 7179d5f45607793052bf5b4436d1b43013fab9999acDale Johannesen // the value back and get the same value. 7189d5f45607793052bf5b4436d1b43013fab9999acDale Johannesen // 719541ed9fd02ea48d2739f4a9dd681ba2d5da26886Dale Johannesen bool ignored; 720ce16339930a2b03e53b4e6399ef59c092a7f2cfaDan Gohman bool isHalf = &CFP->getValueAPF().getSemantics()==&APFloat::IEEEhalf; 7219d5f45607793052bf5b4436d1b43013fab9999acDale Johannesen bool isDouble = &CFP->getValueAPF().getSemantics()==&APFloat::IEEEdouble; 72222bed5db2f34a5b351e133d24603d12f45e96e44NAKAMURA Takumi bool isInf = CFP->getValueAPF().isInfinity(); 72322bed5db2f34a5b351e133d24603d12f45e96e44NAKAMURA Takumi bool isNaN = CFP->getValueAPF().isNaN(); 72422bed5db2f34a5b351e133d24603d12f45e96e44NAKAMURA Takumi if (!isHalf && !isInf && !isNaN) { 725ce16339930a2b03e53b4e6399ef59c092a7f2cfaDan Gohman double Val = isDouble ? CFP->getValueAPF().convertToDouble() : 726ce16339930a2b03e53b4e6399ef59c092a7f2cfaDan Gohman CFP->getValueAPF().convertToFloat(); 727ce16339930a2b03e53b4e6399ef59c092a7f2cfaDan Gohman SmallString<128> StrVal; 728ce16339930a2b03e53b4e6399ef59c092a7f2cfaDan Gohman raw_svector_ostream(StrVal) << Val; 729ce16339930a2b03e53b4e6399ef59c092a7f2cfaDan Gohman 730ce16339930a2b03e53b4e6399ef59c092a7f2cfaDan Gohman // Check to make sure that the stringized number is not some string like 731ce16339930a2b03e53b4e6399ef59c092a7f2cfaDan Gohman // "Inf" or NaN, that atof will accept, but the lexer will not. Check 732ce16339930a2b03e53b4e6399ef59c092a7f2cfaDan Gohman // that the string matches the "[-+]?[0-9]" regex. 733ce16339930a2b03e53b4e6399ef59c092a7f2cfaDan Gohman // 734ce16339930a2b03e53b4e6399ef59c092a7f2cfaDan Gohman if ((StrVal[0] >= '0' && StrVal[0] <= '9') || 735ce16339930a2b03e53b4e6399ef59c092a7f2cfaDan Gohman ((StrVal[0] == '-' || StrVal[0] == '+') && 736ce16339930a2b03e53b4e6399ef59c092a7f2cfaDan Gohman (StrVal[1] >= '0' && StrVal[1] <= '9'))) { 737ce16339930a2b03e53b4e6399ef59c092a7f2cfaDan Gohman // Reparse stringized version! 738c8782a1a53aaef6efc710aa33dd21cce1c8033dfNAKAMURA Takumi if (APFloat(APFloat::IEEEdouble, StrVal).convertToDouble() == Val) { 739ce16339930a2b03e53b4e6399ef59c092a7f2cfaDan Gohman Out << StrVal.str(); 740ce16339930a2b03e53b4e6399ef59c092a7f2cfaDan Gohman return; 741ce16339930a2b03e53b4e6399ef59c092a7f2cfaDan Gohman } 7429d5f45607793052bf5b4436d1b43013fab9999acDale Johannesen } 74366e810be9f97fa744ca949d54b5d54358add84b8Chris Lattner } 7449d5f45607793052bf5b4436d1b43013fab9999acDale Johannesen // Otherwise we could not reparse it to exactly the same value, so we must 745541ed9fd02ea48d2739f4a9dd681ba2d5da26886Dale Johannesen // output the string in hexadecimal format! Note that loading and storing 746541ed9fd02ea48d2739f4a9dd681ba2d5da26886Dale Johannesen // floating point types changes the bits of NaNs on some hosts, notably 747541ed9fd02ea48d2739f4a9dd681ba2d5da26886Dale Johannesen // x86, so we must not use these types. 7489d5f45607793052bf5b4436d1b43013fab9999acDale Johannesen assert(sizeof(double) == sizeof(uint64_t) && 7499d5f45607793052bf5b4436d1b43013fab9999acDale Johannesen "assuming that double is 64 bits!"); 750c6a1346d7c6bb761f9e6c2c85b53febba1cb15dbChris Lattner char Buffer[40]; 751541ed9fd02ea48d2739f4a9dd681ba2d5da26886Dale Johannesen APFloat apf = CFP->getValueAPF(); 752ce16339930a2b03e53b4e6399ef59c092a7f2cfaDan Gohman // Halves and floats are represented in ASCII IR as double, convert. 753541ed9fd02ea48d2739f4a9dd681ba2d5da26886Dale Johannesen if (!isDouble) 754a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar apf.convert(APFloat::IEEEdouble, APFloat::rmNearestTiesToEven, 755541ed9fd02ea48d2739f4a9dd681ba2d5da26886Dale Johannesen &ignored); 756a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar Out << "0x" << 757a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar utohex_buffer(uint64_t(apf.bitcastToAPInt().getZExtValue()), 758541ed9fd02ea48d2739f4a9dd681ba2d5da26886Dale Johannesen Buffer+40); 759cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner return; 760cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner } 761a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar 762cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner // Some form of long double. These appear as a magic letter identifying 763cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner // the type, then a fixed number of hex digits. 764cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner Out << "0x"; 7651b25cb2416c46a6cebf2a6c52235e9fe46a10d11Dale Johannesen if (&CFP->getValueAPF().getSemantics() == &APFloat::x87DoubleExtended) { 766cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner Out << 'K'; 7671b25cb2416c46a6cebf2a6c52235e9fe46a10d11Dale Johannesen // api needed to prevent premature destruction 7681b25cb2416c46a6cebf2a6c52235e9fe46a10d11Dale Johannesen APInt api = CFP->getValueAPF().bitcastToAPInt(); 7691b25cb2416c46a6cebf2a6c52235e9fe46a10d11Dale Johannesen const uint64_t* p = api.getRawData(); 7701b25cb2416c46a6cebf2a6c52235e9fe46a10d11Dale Johannesen uint64_t word = p[1]; 7711b25cb2416c46a6cebf2a6c52235e9fe46a10d11Dale Johannesen int shiftcount=12; 7721b25cb2416c46a6cebf2a6c52235e9fe46a10d11Dale Johannesen int width = api.getBitWidth(); 7731b25cb2416c46a6cebf2a6c52235e9fe46a10d11Dale Johannesen for (int j=0; j<width; j+=4, shiftcount-=4) { 7741b25cb2416c46a6cebf2a6c52235e9fe46a10d11Dale Johannesen unsigned int nibble = (word>>shiftcount) & 15; 7751b25cb2416c46a6cebf2a6c52235e9fe46a10d11Dale Johannesen if (nibble < 10) 7761b25cb2416c46a6cebf2a6c52235e9fe46a10d11Dale Johannesen Out << (unsigned char)(nibble + '0'); 7771b25cb2416c46a6cebf2a6c52235e9fe46a10d11Dale Johannesen else 7781b25cb2416c46a6cebf2a6c52235e9fe46a10d11Dale Johannesen Out << (unsigned char)(nibble - 10 + 'A'); 7791b25cb2416c46a6cebf2a6c52235e9fe46a10d11Dale Johannesen if (shiftcount == 0 && j+4 < width) { 7801b25cb2416c46a6cebf2a6c52235e9fe46a10d11Dale Johannesen word = *p; 7811b25cb2416c46a6cebf2a6c52235e9fe46a10d11Dale Johannesen shiftcount = 64; 7821b25cb2416c46a6cebf2a6c52235e9fe46a10d11Dale Johannesen if (width-j-4 < 64) 7831b25cb2416c46a6cebf2a6c52235e9fe46a10d11Dale Johannesen shiftcount = width-j-4; 7841b25cb2416c46a6cebf2a6c52235e9fe46a10d11Dale Johannesen } 7851b25cb2416c46a6cebf2a6c52235e9fe46a10d11Dale Johannesen } 7861b25cb2416c46a6cebf2a6c52235e9fe46a10d11Dale Johannesen return; 7871b25cb2416c46a6cebf2a6c52235e9fe46a10d11Dale Johannesen } else if (&CFP->getValueAPF().getSemantics() == &APFloat::IEEEquad) 788cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner Out << 'L'; 789cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner else if (&CFP->getValueAPF().getSemantics() == &APFloat::PPCDoubleDouble) 790cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner Out << 'M'; 791cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner else 792c23197a26f34f559ea9797de51e187087c039c42Torok Edwin llvm_unreachable("Unsupported floating point type"); 793cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner // api needed to prevent premature destruction 7947111b02c734c992b8c97d9918118768026dad79eDale Johannesen APInt api = CFP->getValueAPF().bitcastToAPInt(); 795cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner const uint64_t* p = api.getRawData(); 796cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner uint64_t word = *p; 797cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner int shiftcount=60; 798cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner int width = api.getBitWidth(); 799cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner for (int j=0; j<width; j+=4, shiftcount-=4) { 800cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner unsigned int nibble = (word>>shiftcount) & 15; 801cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner if (nibble < 10) 802cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner Out << (unsigned char)(nibble + '0'); 8039d5f45607793052bf5b4436d1b43013fab9999acDale Johannesen else 804cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner Out << (unsigned char)(nibble - 10 + 'A'); 805cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner if (shiftcount == 0 && j+4 < width) { 806cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner word = *(++p); 807cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner shiftcount = 64; 808cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner if (width-j-4 < 64) 809cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner shiftcount = width-j-4; 8109d5f45607793052bf5b4436d1b43013fab9999acDale Johannesen } 8119d5f45607793052bf5b4436d1b43013fab9999acDale Johannesen } 812cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner return; 813cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner } 814a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar 815cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner if (isa<ConstantAggregateZero>(CV)) { 816de512b5b2edebe9c9021a92c7c7a9ae9fbc380d6Chris Lattner Out << "zeroinitializer"; 817cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner return; 818cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner } 81918801ecd487df27201b894db72aff4b2c7396e18Andrew Trick 82073050e1c383100d879597f5d4ef8260bb1d6f07cChris Lattner if (const BlockAddress *BA = dyn_cast<BlockAddress>(CV)) { 82173050e1c383100d879597f5d4ef8260bb1d6f07cChris Lattner Out << "blockaddress("; 8223bdfbf5d56d52fc4c390df77f98ba2c46951b51aDan Gohman WriteAsOperandInternal(Out, BA->getFunction(), &TypePrinter, Machine, 8233bdfbf5d56d52fc4c390df77f98ba2c46951b51aDan Gohman Context); 82473050e1c383100d879597f5d4ef8260bb1d6f07cChris Lattner Out << ", "; 8253bdfbf5d56d52fc4c390df77f98ba2c46951b51aDan Gohman WriteAsOperandInternal(Out, BA->getBasicBlock(), &TypePrinter, Machine, 8263bdfbf5d56d52fc4c390df77f98ba2c46951b51aDan Gohman Context); 82773050e1c383100d879597f5d4ef8260bb1d6f07cChris Lattner Out << ")"; 82873050e1c383100d879597f5d4ef8260bb1d6f07cChris Lattner return; 82973050e1c383100d879597f5d4ef8260bb1d6f07cChris Lattner } 830a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar 831cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner if (const ConstantArray *CA = dyn_cast<ConstantArray>(CV)) { 8321afcace3a3a138b1b18e5c6270caa8dae2261ae2Chris Lattner Type *ETy = CA->getType()->getElementType(); 83318c7f80b3e83ab584bd8572695a3cde8bafd9d3cChris Lattner Out << '['; 83418c7f80b3e83ab584bd8572695a3cde8bafd9d3cChris Lattner TypePrinter.print(ETy, Out); 83518c7f80b3e83ab584bd8572695a3cde8bafd9d3cChris Lattner Out << ' '; 83618c7f80b3e83ab584bd8572695a3cde8bafd9d3cChris Lattner WriteAsOperandInternal(Out, CA->getOperand(0), 83718c7f80b3e83ab584bd8572695a3cde8bafd9d3cChris Lattner &TypePrinter, Machine, 83818c7f80b3e83ab584bd8572695a3cde8bafd9d3cChris Lattner Context); 83918c7f80b3e83ab584bd8572695a3cde8bafd9d3cChris Lattner for (unsigned i = 1, e = CA->getNumOperands(); i != e; ++i) { 84018c7f80b3e83ab584bd8572695a3cde8bafd9d3cChris Lattner Out << ", "; 8418b10b69ba25920d7276e01fc8647661977c653c0Chris Lattner TypePrinter.print(ETy, Out); 8428b10b69ba25920d7276e01fc8647661977c653c0Chris Lattner Out << ' '; 84318c7f80b3e83ab584bd8572695a3cde8bafd9d3cChris Lattner WriteAsOperandInternal(Out, CA->getOperand(i), &TypePrinter, Machine, 8448b10b69ba25920d7276e01fc8647661977c653c0Chris Lattner Context); 8457a716addedc4938fa0ec6b77e5eeaced6eafc5d0Chris Lattner } 84618c7f80b3e83ab584bd8572695a3cde8bafd9d3cChris Lattner Out << ']'; 847cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner return; 848cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner } 849d59ae907eea28285ece6696d6f3271b4ca578c0dChris Lattner 850d59ae907eea28285ece6696d6f3271b4ca578c0dChris Lattner if (const ConstantDataArray *CA = dyn_cast<ConstantDataArray>(CV)) { 851d59ae907eea28285ece6696d6f3271b4ca578c0dChris Lattner // As a special case, print the array as a string if it is an array of 852d59ae907eea28285ece6696d6f3271b4ca578c0dChris Lattner // i8 with ConstantInt values. 853d59ae907eea28285ece6696d6f3271b4ca578c0dChris Lattner if (CA->isString()) { 854d59ae907eea28285ece6696d6f3271b4ca578c0dChris Lattner Out << "c\""; 855d59ae907eea28285ece6696d6f3271b4ca578c0dChris Lattner PrintEscapedString(CA->getAsString(), Out); 856d59ae907eea28285ece6696d6f3271b4ca578c0dChris Lattner Out << '"'; 857d59ae907eea28285ece6696d6f3271b4ca578c0dChris Lattner return; 858d59ae907eea28285ece6696d6f3271b4ca578c0dChris Lattner } 859d59ae907eea28285ece6696d6f3271b4ca578c0dChris Lattner 860d59ae907eea28285ece6696d6f3271b4ca578c0dChris Lattner Type *ETy = CA->getType()->getElementType(); 861d59ae907eea28285ece6696d6f3271b4ca578c0dChris Lattner Out << '['; 8628b10b69ba25920d7276e01fc8647661977c653c0Chris Lattner TypePrinter.print(ETy, Out); 8638b10b69ba25920d7276e01fc8647661977c653c0Chris Lattner Out << ' '; 8648b10b69ba25920d7276e01fc8647661977c653c0Chris Lattner WriteAsOperandInternal(Out, CA->getElementAsConstant(0), 8658b10b69ba25920d7276e01fc8647661977c653c0Chris Lattner &TypePrinter, Machine, 8668b10b69ba25920d7276e01fc8647661977c653c0Chris Lattner Context); 8678b10b69ba25920d7276e01fc8647661977c653c0Chris Lattner for (unsigned i = 1, e = CA->getNumElements(); i != e; ++i) { 8688b10b69ba25920d7276e01fc8647661977c653c0Chris Lattner Out << ", "; 869d59ae907eea28285ece6696d6f3271b4ca578c0dChris Lattner TypePrinter.print(ETy, Out); 870d59ae907eea28285ece6696d6f3271b4ca578c0dChris Lattner Out << ' '; 8718b10b69ba25920d7276e01fc8647661977c653c0Chris Lattner WriteAsOperandInternal(Out, CA->getElementAsConstant(i), &TypePrinter, 8728b10b69ba25920d7276e01fc8647661977c653c0Chris Lattner Machine, Context); 873d59ae907eea28285ece6696d6f3271b4ca578c0dChris Lattner } 8748b10b69ba25920d7276e01fc8647661977c653c0Chris Lattner Out << ']'; 875d59ae907eea28285ece6696d6f3271b4ca578c0dChris Lattner return; 876d59ae907eea28285ece6696d6f3271b4ca578c0dChris Lattner } 877d59ae907eea28285ece6696d6f3271b4ca578c0dChris Lattner 878a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar 879cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner if (const ConstantStruct *CS = dyn_cast<ConstantStruct>(CV)) { 88043f344a26695ba85a1a0b5407c038d9c3f980327Andrew Lenharth if (CS->getType()->isPacked()) 88143f344a26695ba85a1a0b5407c038d9c3f980327Andrew Lenharth Out << '<'; 88240c732cc52a5c71cead461646667ef5b13801923Misha Brukman Out << '{'; 883a3f332bdc3e8fd1ac78dd3dc868d871e9086c5fdJim Laskey unsigned N = CS->getNumOperands(); 884a3f332bdc3e8fd1ac78dd3dc868d871e9086c5fdJim Laskey if (N) { 885242330371b2b7ab9d5a6c4f5f93ec82c514cc09aChris Lattner Out << ' '; 8860f7364b4aa15263827af49d046fd6147ac769eefChris Lattner TypePrinter.print(CS->getOperand(0)->getType(), Out); 8878dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman Out << ' '; 8887a716addedc4938fa0ec6b77e5eeaced6eafc5d0Chris Lattner 8893bdfbf5d56d52fc4c390df77f98ba2c46951b51aDan Gohman WriteAsOperandInternal(Out, CS->getOperand(0), &TypePrinter, Machine, 8903bdfbf5d56d52fc4c390df77f98ba2c46951b51aDan Gohman Context); 8917a716addedc4938fa0ec6b77e5eeaced6eafc5d0Chris Lattner 892a3f332bdc3e8fd1ac78dd3dc868d871e9086c5fdJim Laskey for (unsigned i = 1; i < N; i++) { 8937a716addedc4938fa0ec6b77e5eeaced6eafc5d0Chris Lattner Out << ", "; 8940f7364b4aa15263827af49d046fd6147ac769eefChris Lattner TypePrinter.print(CS->getOperand(i)->getType(), Out); 8958dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman Out << ' '; 8967a716addedc4938fa0ec6b77e5eeaced6eafc5d0Chris Lattner 8973bdfbf5d56d52fc4c390df77f98ba2c46951b51aDan Gohman WriteAsOperandInternal(Out, CS->getOperand(i), &TypePrinter, Machine, 8983bdfbf5d56d52fc4c390df77f98ba2c46951b51aDan Gohman Context); 8997a716addedc4938fa0ec6b77e5eeaced6eafc5d0Chris Lattner } 9008dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman Out << ' '; 9017a716addedc4938fa0ec6b77e5eeaced6eafc5d0Chris Lattner } 902a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar 9038dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman Out << '}'; 90443f344a26695ba85a1a0b5407c038d9c3f980327Andrew Lenharth if (CS->getType()->isPacked()) 90543f344a26695ba85a1a0b5407c038d9c3f980327Andrew Lenharth Out << '>'; 906cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner return; 907cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner } 908a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar 909d59ae907eea28285ece6696d6f3271b4ca578c0dChris Lattner if (isa<ConstantVector>(CV) || isa<ConstantDataVector>(CV)) { 910d59ae907eea28285ece6696d6f3271b4ca578c0dChris Lattner Type *ETy = CV->getType()->getVectorElementType(); 9117dfa07f794a5dd4479e80896ef626bbe69455908Dan Gohman Out << '<'; 9120f7364b4aa15263827af49d046fd6147ac769eefChris Lattner TypePrinter.print(ETy, Out); 9138dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman Out << ' '; 914d59ae907eea28285ece6696d6f3271b4ca578c0dChris Lattner WriteAsOperandInternal(Out, CV->getAggregateElement(0U), &TypePrinter, 915d59ae907eea28285ece6696d6f3271b4ca578c0dChris Lattner Machine, Context); 916d59ae907eea28285ece6696d6f3271b4ca578c0dChris Lattner for (unsigned i = 1, e = CV->getType()->getVectorNumElements(); i != e;++i){ 9174667b71f9380afad56cbdc1fd19ca32334086d2cChris Lattner Out << ", "; 9180f7364b4aa15263827af49d046fd6147ac769eefChris Lattner TypePrinter.print(ETy, Out); 9198dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman Out << ' '; 920d59ae907eea28285ece6696d6f3271b4ca578c0dChris Lattner WriteAsOperandInternal(Out, CV->getAggregateElement(i), &TypePrinter, 921d59ae907eea28285ece6696d6f3271b4ca578c0dChris Lattner Machine, Context); 922cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner } 9237dfa07f794a5dd4479e80896ef626bbe69455908Dan Gohman Out << '>'; 924cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner return; 925cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner } 926a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar 927cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner if (isa<ConstantPointerNull>(CV)) { 9287a716addedc4938fa0ec6b77e5eeaced6eafc5d0Chris Lattner Out << "null"; 929cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner return; 930cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner } 931a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar 932cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner if (isa<UndefValue>(CV)) { 933b976e668165e1875a8f1eb7af800e33bb1e4393dChris Lattner Out << "undef"; 934cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner return; 935cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner } 936a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar 937cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner if (const ConstantExpr *CE = dyn_cast<ConstantExpr>(CV)) { 93881dfeb3264d3c1f619c3f73046ded1ac6883e59dReid Spencer Out << CE->getOpcodeName(); 93959858cf7926702596cf708daf21aeaf5b6feedf8Dan Gohman WriteOptimizationInfo(Out, CE); 94081dfeb3264d3c1f619c3f73046ded1ac6883e59dReid Spencer if (CE->isCompare()) 941cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner Out << ' ' << getPredicateText(CE->getPredicate()); 94281dfeb3264d3c1f619c3f73046ded1ac6883e59dReid Spencer Out << " ("; 943fd93908ae8b9684fe71c239e3c6cfe13ff6a2663Misha Brukman 944b4dbb4445c67fc46e56765035c2787028a66a614Vikram S. Adve for (User::const_op_iterator OI=CE->op_begin(); OI != CE->op_end(); ++OI) { 9450f7364b4aa15263827af49d046fd6147ac769eefChris Lattner TypePrinter.print((*OI)->getType(), Out); 9468dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman Out << ' '; 9473bdfbf5d56d52fc4c390df77f98ba2c46951b51aDan Gohman WriteAsOperandInternal(Out, *OI, &TypePrinter, Machine, Context); 948b4dbb4445c67fc46e56765035c2787028a66a614Vikram S. Adve if (OI+1 != CE->op_end()) 949c188eeb08c873da142a47398be6c405ce3f34f51Chris Lattner Out << ", "; 950b4dbb4445c67fc46e56765035c2787028a66a614Vikram S. Adve } 951fd93908ae8b9684fe71c239e3c6cfe13ff6a2663Misha Brukman 952995be7d07a0ed1f70a93b2a2e7f445461162e8a5Dan Gohman if (CE->hasIndices()) { 953d30aa5a1edac5256573e8d76dd155df3d3fdec84Jay Foad ArrayRef<unsigned> Indices = CE->getIndices(); 954995be7d07a0ed1f70a93b2a2e7f445461162e8a5Dan Gohman for (unsigned i = 0, e = Indices.size(); i != e; ++i) 955995be7d07a0ed1f70a93b2a2e7f445461162e8a5Dan Gohman Out << ", " << Indices[i]; 956995be7d07a0ed1f70a93b2a2e7f445461162e8a5Dan Gohman } 957995be7d07a0ed1f70a93b2a2e7f445461162e8a5Dan Gohman 9583da59db637a887474c1b1346c1f3ccf53b6c4663Reid Spencer if (CE->isCast()) { 95995586b8c833aeca112907e69f545a6ea6e2103ffChris Lattner Out << " to "; 9600f7364b4aa15263827af49d046fd6147ac769eefChris Lattner TypePrinter.print(CE->getType(), Out); 96195586b8c833aeca112907e69f545a6ea6e2103ffChris Lattner } 9623da59db637a887474c1b1346c1f3ccf53b6c4663Reid Spencer 96340c732cc52a5c71cead461646667ef5b13801923Misha Brukman Out << ')'; 964cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner return; 9657a716addedc4938fa0ec6b77e5eeaced6eafc5d0Chris Lattner } 966a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar 967cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner Out << "<placeholder or erroneous Constant>"; 9687a716addedc4938fa0ec6b77e5eeaced6eafc5d0Chris Lattner} 9697a716addedc4938fa0ec6b77e5eeaced6eafc5d0Chris Lattner 97085b1912dba48177e4ce65c2909c7cbee86eda59cChris Lattnerstatic void WriteMDNodeBodyInternal(raw_ostream &Out, const MDNode *Node, 97185b1912dba48177e4ce65c2909c7cbee86eda59cChris Lattner TypePrinting *TypePrinter, 9723bdfbf5d56d52fc4c390df77f98ba2c46951b51aDan Gohman SlotTracker *Machine, 9733bdfbf5d56d52fc4c390df77f98ba2c46951b51aDan Gohman const Module *Context) { 97485b1912dba48177e4ce65c2909c7cbee86eda59cChris Lattner Out << "!{"; 97585b1912dba48177e4ce65c2909c7cbee86eda59cChris Lattner for (unsigned mi = 0, me = Node->getNumOperands(); mi != me; ++mi) { 97685b1912dba48177e4ce65c2909c7cbee86eda59cChris Lattner const Value *V = Node->getOperand(mi); 97785b1912dba48177e4ce65c2909c7cbee86eda59cChris Lattner if (V == 0) 97885b1912dba48177e4ce65c2909c7cbee86eda59cChris Lattner Out << "null"; 97985b1912dba48177e4ce65c2909c7cbee86eda59cChris Lattner else { 98085b1912dba48177e4ce65c2909c7cbee86eda59cChris Lattner TypePrinter->print(V->getType(), Out); 98185b1912dba48177e4ce65c2909c7cbee86eda59cChris Lattner Out << ' '; 98218801ecd487df27201b894db72aff4b2c7396e18Andrew Trick WriteAsOperandInternal(Out, Node->getOperand(mi), 9833bdfbf5d56d52fc4c390df77f98ba2c46951b51aDan Gohman TypePrinter, Machine, Context); 98485b1912dba48177e4ce65c2909c7cbee86eda59cChris Lattner } 98585b1912dba48177e4ce65c2909c7cbee86eda59cChris Lattner if (mi + 1 != me) 98685b1912dba48177e4ce65c2909c7cbee86eda59cChris Lattner Out << ", "; 98785b1912dba48177e4ce65c2909c7cbee86eda59cChris Lattner } 98818801ecd487df27201b894db72aff4b2c7396e18Andrew Trick 98985b1912dba48177e4ce65c2909c7cbee86eda59cChris Lattner Out << "}"; 99085b1912dba48177e4ce65c2909c7cbee86eda59cChris Lattner} 99185b1912dba48177e4ce65c2909c7cbee86eda59cChris Lattner 9927a716addedc4938fa0ec6b77e5eeaced6eafc5d0Chris Lattner 993ab5c6003d23c19d23bbff1054900d208c55e0188Misha Brukman/// WriteAsOperand - Write the name of the specified value out to the specified 994ab5c6003d23c19d23bbff1054900d208c55e0188Misha Brukman/// ostream. This can be useful when you just want to print int %reg126, not 995ab5c6003d23c19d23bbff1054900d208c55e0188Misha Brukman/// the whole instruction that generated it. 996ab5c6003d23c19d23bbff1054900d208c55e0188Misha Brukman/// 9971220e10f70f89e0f8082344646d79805edf9025dDan Gohmanstatic void WriteAsOperandInternal(raw_ostream &Out, const Value *V, 998d6c0f65b532f022e584d8f1e3c044593b4c74a99Dan Gohman TypePrinting *TypePrinter, 9993bdfbf5d56d52fc4c390df77f98ba2c46951b51aDan Gohman SlotTracker *Machine, 10003bdfbf5d56d52fc4c390df77f98ba2c46951b51aDan Gohman const Module *Context) { 1001c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner if (V->hasName()) { 1002c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner PrintLLVMName(Out, V); 1003c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner return; 1004c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner } 1005a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar 1006c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner const Constant *CV = dyn_cast<Constant>(V); 1007c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner if (CV && !isa<GlobalValue>(CV)) { 1008d6c0f65b532f022e584d8f1e3c044593b4c74a99Dan Gohman assert(TypePrinter && "Constants require TypePrinting!"); 10093bdfbf5d56d52fc4c390df77f98ba2c46951b51aDan Gohman WriteConstantInternal(Out, CV, *TypePrinter, Machine, Context); 1010cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner return; 1011cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner } 1012a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar 1013cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner if (const InlineAsm *IA = dyn_cast<InlineAsm>(V)) { 1014c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner Out << "asm "; 1015c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner if (IA->hasSideEffects()) 1016c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner Out << "sideeffect "; 10178ba2d5befc05ca73d3bac8708819bbbe759e2cf9Dale Johannesen if (IA->isAlignStack()) 10188ba2d5befc05ca73d3bac8708819bbbe759e2cf9Dale Johannesen Out << "alignstack "; 1019c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner Out << '"'; 1020c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner PrintEscapedString(IA->getAsmString(), Out); 1021c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner Out << "\", \""; 1022c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner PrintEscapedString(IA->getConstraintString(), Out); 1023c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner Out << '"'; 1024cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner return; 1025cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner } 1026e54abc90fe9942ef3902040a7ac475ce0c369dc9Devang Patel 1027104cf9e02b0ed94d4173869a598af6c6972a8660Devang Patel if (const MDNode *N = dyn_cast<MDNode>(V)) { 10285d3016215075c52766711e741ce5401ee891d4acVictor Hernandez if (N->isFunctionLocal()) { 102997e2450de2ee50f51e42317d91a40b6d5ae65d0cVictor Hernandez // Print metadata inline, not via slot reference number. 10303bdfbf5d56d52fc4c390df77f98ba2c46951b51aDan Gohman WriteMDNodeBodyInternal(Out, N, TypePrinter, Machine, Context); 103197e2450de2ee50f51e42317d91a40b6d5ae65d0cVictor Hernandez return; 103297e2450de2ee50f51e42317d91a40b6d5ae65d0cVictor Hernandez } 103318801ecd487df27201b894db72aff4b2c7396e18Andrew Trick 10343bdfbf5d56d52fc4c390df77f98ba2c46951b51aDan Gohman if (!Machine) { 10353bdfbf5d56d52fc4c390df77f98ba2c46951b51aDan Gohman if (N->isFunctionLocal()) 10363bdfbf5d56d52fc4c390df77f98ba2c46951b51aDan Gohman Machine = new SlotTracker(N->getFunction()); 10373bdfbf5d56d52fc4c390df77f98ba2c46951b51aDan Gohman else 10383bdfbf5d56d52fc4c390df77f98ba2c46951b51aDan Gohman Machine = new SlotTracker(Context); 10393bdfbf5d56d52fc4c390df77f98ba2c46951b51aDan Gohman } 10403da076ffefafd09c01764d4094dd61cd7c79735aDan Gohman int Slot = Machine->getMetadataSlot(N); 10413da076ffefafd09c01764d4094dd61cd7c79735aDan Gohman if (Slot == -1) 10423da076ffefafd09c01764d4094dd61cd7c79735aDan Gohman Out << "<badref>"; 10433da076ffefafd09c01764d4094dd61cd7c79735aDan Gohman else 10443da076ffefafd09c01764d4094dd61cd7c79735aDan Gohman Out << '!' << Slot; 1045104cf9e02b0ed94d4173869a598af6c6972a8660Devang Patel return; 1046104cf9e02b0ed94d4173869a598af6c6972a8660Devang Patel } 1047104cf9e02b0ed94d4173869a598af6c6972a8660Devang Patel 1048e54abc90fe9942ef3902040a7ac475ce0c369dc9Devang Patel if (const MDString *MDS = dyn_cast<MDString>(V)) { 1049e54abc90fe9942ef3902040a7ac475ce0c369dc9Devang Patel Out << "!\""; 105003d7651c3652e1f0cc86e79b26585d86818da9cfDaniel Dunbar PrintEscapedString(MDS->getString(), Out); 1051e54abc90fe9942ef3902040a7ac475ce0c369dc9Devang Patel Out << '"'; 1052e54abc90fe9942ef3902040a7ac475ce0c369dc9Devang Patel return; 1053e54abc90fe9942ef3902040a7ac475ce0c369dc9Devang Patel } 1054e54abc90fe9942ef3902040a7ac475ce0c369dc9Devang Patel 1055746d546877a354a0d94ab0bc67775d040022a2b6Evan Cheng if (V->getValueID() == Value::PseudoSourceValueVal || 1056746d546877a354a0d94ab0bc67775d040022a2b6Evan Cheng V->getValueID() == Value::FixedStackPseudoSourceValueVal) { 1057cd26ec5f3c089b3b24f80ff200e94e681eb9e1eeDan Gohman V->print(Out); 1058cd26ec5f3c089b3b24f80ff200e94e681eb9e1eeDan Gohman return; 1059cd26ec5f3c089b3b24f80ff200e94e681eb9e1eeDan Gohman } 1060cd26ec5f3c089b3b24f80ff200e94e681eb9e1eeDan Gohman 1061cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner char Prefix = '%'; 1062cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner int Slot; 1063fb5179a2fa3372813ea9568ad0073223c8e0393cChris Lattner // If we have a SlotTracker, use it. 1064cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner if (Machine) { 1065cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner if (const GlobalValue *GV = dyn_cast<GlobalValue>(V)) { 1066cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner Slot = Machine->getGlobalSlot(GV); 1067cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner Prefix = '@'; 1068cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner } else { 1069cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner Slot = Machine->getLocalSlot(V); 107018801ecd487df27201b894db72aff4b2c7396e18Andrew Trick 1071fb5179a2fa3372813ea9568ad0073223c8e0393cChris Lattner // If the local value didn't succeed, then we may be referring to a value 1072fb5179a2fa3372813ea9568ad0073223c8e0393cChris Lattner // from a different function. Translate it, as this can happen when using 1073fb5179a2fa3372813ea9568ad0073223c8e0393cChris Lattner // address of blocks. 1074fb5179a2fa3372813ea9568ad0073223c8e0393cChris Lattner if (Slot == -1) 1075fb5179a2fa3372813ea9568ad0073223c8e0393cChris Lattner if ((Machine = createSlotTracker(V))) { 1076fb5179a2fa3372813ea9568ad0073223c8e0393cChris Lattner Slot = Machine->getLocalSlot(V); 1077fb5179a2fa3372813ea9568ad0073223c8e0393cChris Lattner delete Machine; 1078fb5179a2fa3372813ea9568ad0073223c8e0393cChris Lattner } 1079cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner } 1080fb5179a2fa3372813ea9568ad0073223c8e0393cChris Lattner } else if ((Machine = createSlotTracker(V))) { 1081fb5179a2fa3372813ea9568ad0073223c8e0393cChris Lattner // Otherwise, create one to get the # and then destroy it. 1082fb5179a2fa3372813ea9568ad0073223c8e0393cChris Lattner if (const GlobalValue *GV = dyn_cast<GlobalValue>(V)) { 1083fb5179a2fa3372813ea9568ad0073223c8e0393cChris Lattner Slot = Machine->getGlobalSlot(GV); 1084fb5179a2fa3372813ea9568ad0073223c8e0393cChris Lattner Prefix = '@'; 108580cd11561892a639a2628d19815af0695b5dbcaaChris Lattner } else { 1086fb5179a2fa3372813ea9568ad0073223c8e0393cChris Lattner Slot = Machine->getLocalSlot(V); 10877a716addedc4938fa0ec6b77e5eeaced6eafc5d0Chris Lattner } 1088fb5179a2fa3372813ea9568ad0073223c8e0393cChris Lattner delete Machine; 1089fb5179a2fa3372813ea9568ad0073223c8e0393cChris Lattner Machine = 0; 1090fb5179a2fa3372813ea9568ad0073223c8e0393cChris Lattner } else { 1091fb5179a2fa3372813ea9568ad0073223c8e0393cChris Lattner Slot = -1; 10927a716addedc4938fa0ec6b77e5eeaced6eafc5d0Chris Lattner } 1093a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar 1094cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner if (Slot != -1) 1095cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner Out << Prefix << Slot; 1096cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner else 1097cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner Out << "<badref>"; 10987a716addedc4938fa0ec6b77e5eeaced6eafc5d0Chris Lattner} 10997a716addedc4938fa0ec6b77e5eeaced6eafc5d0Chris Lattner 11001220e10f70f89e0f8082344646d79805edf9025dDan Gohmanvoid llvm::WriteAsOperand(raw_ostream &Out, const Value *V, 11011220e10f70f89e0f8082344646d79805edf9025dDan Gohman bool PrintType, const Module *Context) { 1102d6c0f65b532f022e584d8f1e3c044593b4c74a99Dan Gohman 1103d6c0f65b532f022e584d8f1e3c044593b4c74a99Dan Gohman // Fast path: Don't construct and populate a TypePrinting object if we 1104d6c0f65b532f022e584d8f1e3c044593b4c74a99Dan Gohman // won't be needing any types printed. 1105009fc9e5d9058a1d3b64bf5cacb29d4f0c952ca5Dan Gohman if (!PrintType && 11063bdfbf5d56d52fc4c390df77f98ba2c46951b51aDan Gohman ((!isa<Constant>(V) && !isa<MDNode>(V)) || 11073bdfbf5d56d52fc4c390df77f98ba2c46951b51aDan Gohman V->hasName() || isa<GlobalValue>(V))) { 11083bdfbf5d56d52fc4c390df77f98ba2c46951b51aDan Gohman WriteAsOperandInternal(Out, V, 0, 0, Context); 1109d6c0f65b532f022e584d8f1e3c044593b4c74a99Dan Gohman return; 1110d6c0f65b532f022e584d8f1e3c044593b4c74a99Dan Gohman } 1111d6c0f65b532f022e584d8f1e3c044593b4c74a99Dan Gohman 1112607dc6880ecfd4807de2163d37f2fa8877b7f62dChris Lattner if (Context == 0) Context = getModuleFromVal(V); 11137a716addedc4938fa0ec6b77e5eeaced6eafc5d0Chris Lattner 1114e9fa33eb6629aea72cd59560216bb6a7b8ebc689Chris Lattner TypePrinting TypePrinter; 11151afcace3a3a138b1b18e5c6270caa8dae2261ae2Chris Lattner if (Context) 11161afcace3a3a138b1b18e5c6270caa8dae2261ae2Chris Lattner TypePrinter.incorporateTypes(*Context); 11178dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman if (PrintType) { 11180f7364b4aa15263827af49d046fd6147ac769eefChris Lattner TypePrinter.print(V->getType(), Out); 11198dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman Out << ' '; 11208dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman } 1121fd93908ae8b9684fe71c239e3c6cfe13ff6a2663Misha Brukman 11223bdfbf5d56d52fc4c390df77f98ba2c46951b51aDan Gohman WriteAsOperandInternal(Out, V, &TypePrinter, 0, Context); 1123622f740a7dcf0b3520244e58b2233898fd4a46e4Chris Lattner} 1124622f740a7dcf0b3520244e58b2233898fd4a46e4Chris Lattner 1125cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattnernamespace { 1126d8c2e42aeff8bdb3ac905b4721b3d3ca1f904cfaChris Lattner 1127007377f381e253cc559db8d3c94fa89b0eb55fadChris Lattnerclass AssemblyWriter { 1128683e922d299bdfa9ec609bd58a0eed20568303f1Dan Gohman formatted_raw_ostream &Out; 11290d9574a1cd68c6e41f725c22657b8bb3f8d74117Chris Lattner SlotTracker &Machine; 1130c1824996451d5ea93864fcd34ba8ea5e5f03e368Chris Lattner const Module *TheModule; 11319cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner TypePrinting TypePrinter; 113295e5a2cc3fc55b262d2baa1cc417115dfa4a18eaChris Lattner AssemblyAnnotationWriter *AnnotationWriter; 113318801ecd487df27201b894db72aff4b2c7396e18Andrew Trick 1134009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattnerpublic: 1135683e922d299bdfa9ec609bd58a0eed20568303f1Dan Gohman inline AssemblyWriter(formatted_raw_ostream &o, SlotTracker &Mac, 1136683e922d299bdfa9ec609bd58a0eed20568303f1Dan Gohman const Module *M, 113795e5a2cc3fc55b262d2baa1cc417115dfa4a18eaChris Lattner AssemblyAnnotationWriter *AAW) 11383168b79c1c16333d17295c44f9157c8321ec6235Devang Patel : Out(o), Machine(Mac), TheModule(M), AnnotationWriter(AAW) { 11391afcace3a3a138b1b18e5c6270caa8dae2261ae2Chris Lattner if (M) 11401afcace3a3a138b1b18e5c6270caa8dae2261ae2Chris Lattner TypePrinter.incorporateTypes(*M); 1141009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner } 1142009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner 11436e6b1805dae72803fbfe45f9aee2ab9ebfb4ec77Chris Lattner void printMDNodeBody(const MDNode *MD); 1144fdb33564772cfbf75f2ad63eb46e252dc3c3e891Chris Lattner void printNamedMDNode(const NamedMDNode *NMD); 114518801ecd487df27201b894db72aff4b2c7396e18Andrew Trick 1146bd72b3201b24f6ae574b2a1949348f514fcd4c4fChris Lattner void printModule(const Module *M); 1147009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner 11482fcfdb79d0d1d2297d7aced11b567cd52494604eChris Lattner void writeOperand(const Value *Op, bool PrintType); 1149eaf42abab6d465c38891345d999255871cf03943Devang Patel void writeParamOperand(const Value *Operand, Attributes Attrs); 115047f3513dd574535aeb40c9eb11134f0899e92269Eli Friedman void writeAtomic(AtomicOrdering Ordering, SynchronizationScope SynchScope); 115166e810be9f97fa744ca949d54b5d54358add84b8Chris Lattner 11526e6b1805dae72803fbfe45f9aee2ab9ebfb4ec77Chris Lattner void writeAllMDNodes(); 11536e6b1805dae72803fbfe45f9aee2ab9ebfb4ec77Chris Lattner 11541afcace3a3a138b1b18e5c6270caa8dae2261ae2Chris Lattner void printTypeIdentities(); 1155c1824996451d5ea93864fcd34ba8ea5e5f03e368Chris Lattner void printGlobal(const GlobalVariable *GV); 11568b0a8c84da2030ee8f4440d5b60a8033de691222Anton Korobeynikov void printAlias(const GlobalAlias *GV); 115779df7c0aaa18129e55968c8783ef8346807bd4afChris Lattner void printFunction(const Function *F); 1158eaf42abab6d465c38891345d999255871cf03943Devang Patel void printArgument(const Argument *FA, Attributes Attrs); 1159c1824996451d5ea93864fcd34ba8ea5e5f03e368Chris Lattner void printBasicBlock(const BasicBlock *BB); 11607e70829632f82de15db187845666aaca6e04b792Chris Lattner void printInstruction(const Instruction &I); 11612761e9f076bbe6c961629aece62db4b836a41ef8Chris Lattner 1162659d1e8bbbbd33c25fdbe38bad6cb166a635e516Dan Gohmanprivate: 1163e02fa8551d20081534afa46e0976811687e5183aChris Lattner // printInfoComment - Print a little comment after the instruction indicating 1164e02fa8551d20081534afa46e0976811687e5183aChris Lattner // which slot it occupies. 11657e70829632f82de15db187845666aaca6e04b792Chris Lattner void printInfoComment(const Value &V); 1166009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner}; 1167413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner} // end of anonymous namespace 1168009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner 11692fcfdb79d0d1d2297d7aced11b567cd52494604eChris Lattnervoid AssemblyWriter::writeOperand(const Value *Operand, bool PrintType) { 11702fcfdb79d0d1d2297d7aced11b567cd52494604eChris Lattner if (Operand == 0) { 1171aab1820816facf83d7bda8f01e3d85ced99601f3Chris Lattner Out << "<null operand!>"; 1172c65b72ca26cafb988a72dafa25dc5796094b74f8Chris Lattner return; 1173aab1820816facf83d7bda8f01e3d85ced99601f3Chris Lattner } 1174c65b72ca26cafb988a72dafa25dc5796094b74f8Chris Lattner if (PrintType) { 1175c65b72ca26cafb988a72dafa25dc5796094b74f8Chris Lattner TypePrinter.print(Operand->getType(), Out); 1176c65b72ca26cafb988a72dafa25dc5796094b74f8Chris Lattner Out << ' '; 1177c65b72ca26cafb988a72dafa25dc5796094b74f8Chris Lattner } 11783bdfbf5d56d52fc4c390df77f98ba2c46951b51aDan Gohman WriteAsOperandInternal(Out, Operand, &TypePrinter, &Machine, TheModule); 1179007377f381e253cc559db8d3c94fa89b0eb55fadChris Lattner} 1180007377f381e253cc559db8d3c94fa89b0eb55fadChris Lattner 118147f3513dd574535aeb40c9eb11134f0899e92269Eli Friedmanvoid AssemblyWriter::writeAtomic(AtomicOrdering Ordering, 118247f3513dd574535aeb40c9eb11134f0899e92269Eli Friedman SynchronizationScope SynchScope) { 118347f3513dd574535aeb40c9eb11134f0899e92269Eli Friedman if (Ordering == NotAtomic) 118447f3513dd574535aeb40c9eb11134f0899e92269Eli Friedman return; 118547f3513dd574535aeb40c9eb11134f0899e92269Eli Friedman 118647f3513dd574535aeb40c9eb11134f0899e92269Eli Friedman switch (SynchScope) { 118747f3513dd574535aeb40c9eb11134f0899e92269Eli Friedman case SingleThread: Out << " singlethread"; break; 118847f3513dd574535aeb40c9eb11134f0899e92269Eli Friedman case CrossThread: break; 118947f3513dd574535aeb40c9eb11134f0899e92269Eli Friedman } 119047f3513dd574535aeb40c9eb11134f0899e92269Eli Friedman 119147f3513dd574535aeb40c9eb11134f0899e92269Eli Friedman switch (Ordering) { 119247f3513dd574535aeb40c9eb11134f0899e92269Eli Friedman default: Out << " <bad ordering " << int(Ordering) << ">"; break; 119347f3513dd574535aeb40c9eb11134f0899e92269Eli Friedman case Unordered: Out << " unordered"; break; 119447f3513dd574535aeb40c9eb11134f0899e92269Eli Friedman case Monotonic: Out << " monotonic"; break; 119547f3513dd574535aeb40c9eb11134f0899e92269Eli Friedman case Acquire: Out << " acquire"; break; 119647f3513dd574535aeb40c9eb11134f0899e92269Eli Friedman case Release: Out << " release"; break; 119747f3513dd574535aeb40c9eb11134f0899e92269Eli Friedman case AcquireRelease: Out << " acq_rel"; break; 119847f3513dd574535aeb40c9eb11134f0899e92269Eli Friedman case SequentiallyConsistent: Out << " seq_cst"; break; 119947f3513dd574535aeb40c9eb11134f0899e92269Eli Friedman } 120047f3513dd574535aeb40c9eb11134f0899e92269Eli Friedman} 120147f3513dd574535aeb40c9eb11134f0899e92269Eli Friedman 1202a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbarvoid AssemblyWriter::writeParamOperand(const Value *Operand, 1203eaf42abab6d465c38891345d999255871cf03943Devang Patel Attributes Attrs) { 1204dc024674ff96820d6020757b48d47f46d4c07db2Duncan Sands if (Operand == 0) { 1205dc024674ff96820d6020757b48d47f46d4c07db2Duncan Sands Out << "<null operand!>"; 1206c65b72ca26cafb988a72dafa25dc5796094b74f8Chris Lattner return; 1207dc024674ff96820d6020757b48d47f46d4c07db2Duncan Sands } 1208c65b72ca26cafb988a72dafa25dc5796094b74f8Chris Lattner 1209c65b72ca26cafb988a72dafa25dc5796094b74f8Chris Lattner // Print the type 1210c65b72ca26cafb988a72dafa25dc5796094b74f8Chris Lattner TypePrinter.print(Operand->getType(), Out); 1211c65b72ca26cafb988a72dafa25dc5796094b74f8Chris Lattner // Print parameter attributes list 1212c65b72ca26cafb988a72dafa25dc5796094b74f8Chris Lattner if (Attrs != Attribute::None) 1213c65b72ca26cafb988a72dafa25dc5796094b74f8Chris Lattner Out << ' ' << Attribute::getAsString(Attrs); 1214c65b72ca26cafb988a72dafa25dc5796094b74f8Chris Lattner Out << ' '; 1215c65b72ca26cafb988a72dafa25dc5796094b74f8Chris Lattner // Print the operand 12163bdfbf5d56d52fc4c390df77f98ba2c46951b51aDan Gohman WriteAsOperandInternal(Out, Operand, &TypePrinter, &Machine, TheModule); 1217dc024674ff96820d6020757b48d47f46d4c07db2Duncan Sands} 1218007377f381e253cc559db8d3c94fa89b0eb55fadChris Lattner 1219c1824996451d5ea93864fcd34ba8ea5e5f03e368Chris Lattnervoid AssemblyWriter::printModule(const Module *M) { 122031ab1b3d74440908889fc8ea0615c1d397478360Chris Lattner if (!M->getModuleIdentifier().empty() && 1221fd93908ae8b9684fe71c239e3c6cfe13ff6a2663Misha Brukman // Don't print the ID if it will start a new line (which would 122231ab1b3d74440908889fc8ea0615c1d397478360Chris Lattner // require a comment char before it). 122331ab1b3d74440908889fc8ea0615c1d397478360Chris Lattner M->getModuleIdentifier().find('\n') == std::string::npos) 122431ab1b3d74440908889fc8ea0615c1d397478360Chris Lattner Out << "; ModuleID = '" << M->getModuleIdentifier() << "'\n"; 122531ab1b3d74440908889fc8ea0615c1d397478360Chris Lattner 1226cf7ff2b4c8c18d67aced9d7ba84482819b38a84bOwen Anderson if (!M->getDataLayout().empty()) 1227d2f9e609aa40de7049ebb6f838e7ba6579e3fb6aChris Lattner Out << "target datalayout = \"" << M->getDataLayout() << "\"\n"; 1228cddc86f27c822af960fc8d344a86a63fce6eab76Reid Spencer if (!M->getTargetTriple().empty()) 1229c9a1f0dcdde056a2cdbc446a9d6853684402263fReid Spencer Out << "target triple = \"" << M->getTargetTriple() << "\"\n"; 1230fd93908ae8b9684fe71c239e3c6cfe13ff6a2663Misha Brukman 1231cc041ba03aed685400197fb938b7a583713d25afChris Lattner if (!M->getModuleInlineAsm().empty()) { 123242a162ed8023088e7a4a7d81325381bd8d437bb7Chris Lattner // Split the string into lines, to make it easier to read the .ll file. 1233cc041ba03aed685400197fb938b7a583713d25afChris Lattner std::string Asm = M->getModuleInlineAsm(); 123442a162ed8023088e7a4a7d81325381bd8d437bb7Chris Lattner size_t CurPos = 0; 123542a162ed8023088e7a4a7d81325381bd8d437bb7Chris Lattner size_t NewLine = Asm.find_first_of('\n', CurPos); 12369bf0b9bd44d356690e936ae16bec2c115c7d9f5fDan Gohman Out << '\n'; 123742a162ed8023088e7a4a7d81325381bd8d437bb7Chris Lattner while (NewLine != std::string::npos) { 123842a162ed8023088e7a4a7d81325381bd8d437bb7Chris Lattner // We found a newline, print the portion of the asm string from the 123942a162ed8023088e7a4a7d81325381bd8d437bb7Chris Lattner // last newline up to this newline. 124042a162ed8023088e7a4a7d81325381bd8d437bb7Chris Lattner Out << "module asm \""; 124142a162ed8023088e7a4a7d81325381bd8d437bb7Chris Lattner PrintEscapedString(std::string(Asm.begin()+CurPos, Asm.begin()+NewLine), 124242a162ed8023088e7a4a7d81325381bd8d437bb7Chris Lattner Out); 124342a162ed8023088e7a4a7d81325381bd8d437bb7Chris Lattner Out << "\"\n"; 124442a162ed8023088e7a4a7d81325381bd8d437bb7Chris Lattner CurPos = NewLine+1; 124542a162ed8023088e7a4a7d81325381bd8d437bb7Chris Lattner NewLine = Asm.find_first_of('\n', CurPos); 124642a162ed8023088e7a4a7d81325381bd8d437bb7Chris Lattner } 124738c4e535493363b96eac47af9e7c056530137beaRafael Espindola std::string rest(Asm.begin()+CurPos, Asm.end()); 124838c4e535493363b96eac47af9e7c056530137beaRafael Espindola if (!rest.empty()) { 124938c4e535493363b96eac47af9e7c056530137beaRafael Espindola Out << "module asm \""; 125038c4e535493363b96eac47af9e7c056530137beaRafael Espindola PrintEscapedString(rest, Out); 125138c4e535493363b96eac47af9e7c056530137beaRafael Espindola Out << "\"\n"; 125238c4e535493363b96eac47af9e7c056530137beaRafael Espindola } 125318365506ebe3e28593cb36951f17f08e75712a29Chris Lattner } 1254a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar 125544da7d79760998f9a70340b49a3811229838224dChris Lattner // Loop over the dependent libraries and emit them. 1256cfe97b78e787d232f4a82f5ff0afadf75ba95f6cChris Lattner Module::lib_iterator LI = M->lib_begin(); 1257cfe97b78e787d232f4a82f5ff0afadf75ba95f6cChris Lattner Module::lib_iterator LE = M->lib_end(); 1258cddc86f27c822af960fc8d344a86a63fce6eab76Reid Spencer if (LI != LE) { 12599bf0b9bd44d356690e936ae16bec2c115c7d9f5fDan Gohman Out << '\n'; 1260cfe97b78e787d232f4a82f5ff0afadf75ba95f6cChris Lattner Out << "deplibs = [ "; 1261cfe97b78e787d232f4a82f5ff0afadf75ba95f6cChris Lattner while (LI != LE) { 126244da7d79760998f9a70340b49a3811229838224dChris Lattner Out << '"' << *LI << '"'; 1263c9a1f0dcdde056a2cdbc446a9d6853684402263fReid Spencer ++LI; 1264cfe97b78e787d232f4a82f5ff0afadf75ba95f6cChris Lattner if (LI != LE) 1265cfe97b78e787d232f4a82f5ff0afadf75ba95f6cChris Lattner Out << ", "; 1266c9a1f0dcdde056a2cdbc446a9d6853684402263fReid Spencer } 12679bf0b9bd44d356690e936ae16bec2c115c7d9f5fDan Gohman Out << " ]"; 126883f6a77c8fc27eba21bca05be37663f3a6e123a1Reid Spencer } 1269e59eaf407a675845e278c2769e3dbed9f1daae8cReid Spencer 12701afcace3a3a138b1b18e5c6270caa8dae2261ae2Chris Lattner printTypeIdentities(); 1271fd93908ae8b9684fe71c239e3c6cfe13ff6a2663Misha Brukman 12729bf0b9bd44d356690e936ae16bec2c115c7d9f5fDan Gohman // Output all globals. 12739bf0b9bd44d356690e936ae16bec2c115c7d9f5fDan Gohman if (!M->global_empty()) Out << '\n'; 1274d6d826cdadc4dcaa5babefda85bf08aaa57d8bc5Chris Lattner for (Module::const_global_iterator I = M->global_begin(), E = M->global_end(); 1275d6d826cdadc4dcaa5babefda85bf08aaa57d8bc5Chris Lattner I != E; ++I) 12767e70829632f82de15db187845666aaca6e04b792Chris Lattner printGlobal(I); 1277a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar 127869dacfce54473414c1a863d19ab8f2785cd2a4f2Chris Lattner // Output all aliases. 127969dacfce54473414c1a863d19ab8f2785cd2a4f2Chris Lattner if (!M->alias_empty()) Out << "\n"; 128069dacfce54473414c1a863d19ab8f2785cd2a4f2Chris Lattner for (Module::const_alias_iterator I = M->alias_begin(), E = M->alias_end(); 128169dacfce54473414c1a863d19ab8f2785cd2a4f2Chris Lattner I != E; ++I) 128269dacfce54473414c1a863d19ab8f2785cd2a4f2Chris Lattner printAlias(I); 1283007377f381e253cc559db8d3c94fa89b0eb55fadChris Lattner 128444da7d79760998f9a70340b49a3811229838224dChris Lattner // Output all of the functions. 12857e70829632f82de15db187845666aaca6e04b792Chris Lattner for (Module::const_iterator I = M->begin(), E = M->end(); I != E; ++I) 12867e70829632f82de15db187845666aaca6e04b792Chris Lattner printFunction(I); 1287320671d2654a543bbeed5b62efe165430146d55eDevang Patel 128837c4a2d6f15ff32c9ae91e333d655a349e195993Devang Patel // Output named metadata. 12899bf0b9bd44d356690e936ae16bec2c115c7d9f5fDan Gohman if (!M->named_metadata_empty()) Out << '\n'; 129018801ecd487df27201b894db72aff4b2c7396e18Andrew Trick 129137c4a2d6f15ff32c9ae91e333d655a349e195993Devang Patel for (Module::const_named_metadata_iterator I = M->named_metadata_begin(), 12926e6b1805dae72803fbfe45f9aee2ab9ebfb4ec77Chris Lattner E = M->named_metadata_end(); I != E; ++I) 1293fdb33564772cfbf75f2ad63eb46e252dc3c3e891Chris Lattner printNamedMDNode(I); 129437c4a2d6f15ff32c9ae91e333d655a349e195993Devang Patel 129537c4a2d6f15ff32c9ae91e333d655a349e195993Devang Patel // Output metadata. 1296307c9893fc30758041a3649a8bed2b4b4cc405d4Chris Lattner if (!Machine.mdn_empty()) { 12976e6b1805dae72803fbfe45f9aee2ab9ebfb4ec77Chris Lattner Out << '\n'; 12986e6b1805dae72803fbfe45f9aee2ab9ebfb4ec77Chris Lattner writeAllMDNodes(); 12996e6b1805dae72803fbfe45f9aee2ab9ebfb4ec77Chris Lattner } 1300009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner} 1301009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner 1302fdb33564772cfbf75f2ad63eb46e252dc3c3e891Chris Lattnervoid AssemblyWriter::printNamedMDNode(const NamedMDNode *NMD) { 13039100a78bce4e1d34d8ffd5efa2cc79ed864dd1c0Nick Lewycky Out << '!'; 13049100a78bce4e1d34d8ffd5efa2cc79ed864dd1c0Nick Lewycky StringRef Name = NMD->getName(); 13059100a78bce4e1d34d8ffd5efa2cc79ed864dd1c0Nick Lewycky if (Name.empty()) { 13069100a78bce4e1d34d8ffd5efa2cc79ed864dd1c0Nick Lewycky Out << "<empty name> "; 13079100a78bce4e1d34d8ffd5efa2cc79ed864dd1c0Nick Lewycky } else { 13089100a78bce4e1d34d8ffd5efa2cc79ed864dd1c0Nick Lewycky if (isalpha(Name[0]) || Name[0] == '-' || Name[0] == '$' || 13099100a78bce4e1d34d8ffd5efa2cc79ed864dd1c0Nick Lewycky Name[0] == '.' || Name[0] == '_') 13109100a78bce4e1d34d8ffd5efa2cc79ed864dd1c0Nick Lewycky Out << Name[0]; 13119100a78bce4e1d34d8ffd5efa2cc79ed864dd1c0Nick Lewycky else 13129100a78bce4e1d34d8ffd5efa2cc79ed864dd1c0Nick Lewycky Out << '\\' << hexdigit(Name[0] >> 4) << hexdigit(Name[0] & 0x0F); 13139100a78bce4e1d34d8ffd5efa2cc79ed864dd1c0Nick Lewycky for (unsigned i = 1, e = Name.size(); i != e; ++i) { 13149100a78bce4e1d34d8ffd5efa2cc79ed864dd1c0Nick Lewycky unsigned char C = Name[i]; 13159100a78bce4e1d34d8ffd5efa2cc79ed864dd1c0Nick Lewycky if (isalnum(C) || C == '-' || C == '$' || C == '.' || C == '_') 13169100a78bce4e1d34d8ffd5efa2cc79ed864dd1c0Nick Lewycky Out << C; 13179100a78bce4e1d34d8ffd5efa2cc79ed864dd1c0Nick Lewycky else 13189100a78bce4e1d34d8ffd5efa2cc79ed864dd1c0Nick Lewycky Out << '\\' << hexdigit(C >> 4) << hexdigit(C & 0x0F); 13199100a78bce4e1d34d8ffd5efa2cc79ed864dd1c0Nick Lewycky } 13209100a78bce4e1d34d8ffd5efa2cc79ed864dd1c0Nick Lewycky } 13219100a78bce4e1d34d8ffd5efa2cc79ed864dd1c0Nick Lewycky Out << " = !{"; 1322fdb33564772cfbf75f2ad63eb46e252dc3c3e891Chris Lattner for (unsigned i = 0, e = NMD->getNumOperands(); i != e; ++i) { 1323fdb33564772cfbf75f2ad63eb46e252dc3c3e891Chris Lattner if (i) Out << ", "; 13243da076ffefafd09c01764d4094dd61cd7c79735aDan Gohman int Slot = Machine.getMetadataSlot(NMD->getOperand(i)); 13253da076ffefafd09c01764d4094dd61cd7c79735aDan Gohman if (Slot == -1) 13263da076ffefafd09c01764d4094dd61cd7c79735aDan Gohman Out << "<badref>"; 13273da076ffefafd09c01764d4094dd61cd7c79735aDan Gohman else 13283da076ffefafd09c01764d4094dd61cd7c79735aDan Gohman Out << '!' << Slot; 1329fdb33564772cfbf75f2ad63eb46e252dc3c3e891Chris Lattner } 1330fdb33564772cfbf75f2ad63eb46e252dc3c3e891Chris Lattner Out << "}\n"; 1331fdb33564772cfbf75f2ad63eb46e252dc3c3e891Chris Lattner} 1332fdb33564772cfbf75f2ad63eb46e252dc3c3e891Chris Lattner 1333fdb33564772cfbf75f2ad63eb46e252dc3c3e891Chris Lattner 1334683e922d299bdfa9ec609bd58a0eed20568303f1Dan Gohmanstatic void PrintLinkage(GlobalValue::LinkageTypes LT, 1335683e922d299bdfa9ec609bd58a0eed20568303f1Dan Gohman formatted_raw_ostream &Out) { 1336cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner switch (LT) { 13373d10a5a75794356a0a568ce283713adc3a963200Bill Wendling case GlobalValue::ExternalLinkage: break; 13383d10a5a75794356a0a568ce283713adc3a963200Bill Wendling case GlobalValue::PrivateLinkage: Out << "private "; break; 13393d10a5a75794356a0a568ce283713adc3a963200Bill Wendling case GlobalValue::LinkerPrivateLinkage: Out << "linker_private "; break; 13405e721d768254a920b78b9129d79a84c0163cb3f4Bill Wendling case GlobalValue::LinkerPrivateWeakLinkage: 13415e721d768254a920b78b9129d79a84c0163cb3f4Bill Wendling Out << "linker_private_weak "; 13425e721d768254a920b78b9129d79a84c0163cb3f4Bill Wendling break; 134355ae515f9db484125a23429d4906c5edaf9f10d2Bill Wendling case GlobalValue::LinkerPrivateWeakDefAutoLinkage: 134455ae515f9db484125a23429d4906c5edaf9f10d2Bill Wendling Out << "linker_private_weak_def_auto "; 134555ae515f9db484125a23429d4906c5edaf9f10d2Bill Wendling break; 13463d10a5a75794356a0a568ce283713adc3a963200Bill Wendling case GlobalValue::InternalLinkage: Out << "internal "; break; 13473d10a5a75794356a0a568ce283713adc3a963200Bill Wendling case GlobalValue::LinkOnceAnyLinkage: Out << "linkonce "; break; 13483d10a5a75794356a0a568ce283713adc3a963200Bill Wendling case GlobalValue::LinkOnceODRLinkage: Out << "linkonce_odr "; break; 13493d10a5a75794356a0a568ce283713adc3a963200Bill Wendling case GlobalValue::WeakAnyLinkage: Out << "weak "; break; 13503d10a5a75794356a0a568ce283713adc3a963200Bill Wendling case GlobalValue::WeakODRLinkage: Out << "weak_odr "; break; 13513d10a5a75794356a0a568ce283713adc3a963200Bill Wendling case GlobalValue::CommonLinkage: Out << "common "; break; 13523d10a5a75794356a0a568ce283713adc3a963200Bill Wendling case GlobalValue::AppendingLinkage: Out << "appending "; break; 13533d10a5a75794356a0a568ce283713adc3a963200Bill Wendling case GlobalValue::DLLImportLinkage: Out << "dllimport "; break; 13543d10a5a75794356a0a568ce283713adc3a963200Bill Wendling case GlobalValue::DLLExportLinkage: Out << "dllexport "; break; 13553d10a5a75794356a0a568ce283713adc3a963200Bill Wendling case GlobalValue::ExternalWeakLinkage: Out << "extern_weak "; break; 1356266c7bbbbcc4b326dea82e577de1a415d6acc23eChris Lattner case GlobalValue::AvailableExternallyLinkage: 1357266c7bbbbcc4b326dea82e577de1a415d6acc23eChris Lattner Out << "available_externally "; 1358266c7bbbbcc4b326dea82e577de1a415d6acc23eChris Lattner break; 1359cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner } 1360cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner} 1361667d4b8de6dea70195ff12ef39a4deebffa2f5c7Duncan Sands 1362cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner 1363cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattnerstatic void PrintVisibility(GlobalValue::VisibilityTypes Vis, 1364683e922d299bdfa9ec609bd58a0eed20568303f1Dan Gohman formatted_raw_ostream &Out) { 1365cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner switch (Vis) { 1366cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner case GlobalValue::DefaultVisibility: break; 1367cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner case GlobalValue::HiddenVisibility: Out << "hidden "; break; 1368cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner case GlobalValue::ProtectedVisibility: Out << "protected "; break; 1369cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner } 1370cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner} 1371cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner 1372c1824996451d5ea93864fcd34ba8ea5e5f03e368Chris Lattnervoid AssemblyWriter::printGlobal(const GlobalVariable *GV) { 13734483c7b15aa343bd95e3d7f800be788b77ea23f8Dan Gohman if (GV->isMaterializable()) 13744483c7b15aa343bd95e3d7f800be788b77ea23f8Dan Gohman Out << "; Materializable\n"; 13754483c7b15aa343bd95e3d7f800be788b77ea23f8Dan Gohman 13763bdfbf5d56d52fc4c390df77f98ba2c46951b51aDan Gohman WriteAsOperandInternal(Out, GV, &TypePrinter, &Machine, GV->getParent()); 13773845e50edea58edd0f5e0f2b732e0106b53ba279Dan Gohman Out << " = "; 1378d70684f7585a85c4248c1c224059478108741c70Chris Lattner 137952b26de325e32c71159376853384789b7646eaf4Chris Lattner if (!GV->hasInitializer() && GV->hasExternalLinkage()) 138052b26de325e32c71159376853384789b7646eaf4Chris Lattner Out << "external "; 1381a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar 138252b26de325e32c71159376853384789b7646eaf4Chris Lattner PrintLinkage(GV->getLinkage(), Out); 138352b26de325e32c71159376853384789b7646eaf4Chris Lattner PrintVisibility(GV->getVisibility(), Out); 1384c763552299165b88d34a7d4f2d76ff413cbc7f67Lauro Ramos Venancio 1385c763552299165b88d34a7d4f2d76ff413cbc7f67Lauro Ramos Venancio if (GV->isThreadLocal()) Out << "thread_local "; 1386df98617b23315e427cc4fad8ccfdd50d68bec2f9Chris Lattner if (unsigned AddressSpace = GV->getType()->getAddressSpace()) 1387df98617b23315e427cc4fad8ccfdd50d68bec2f9Chris Lattner Out << "addrspace(" << AddressSpace << ") "; 1388bea4626f93c830e31f82cc947df28fdae583cd09Rafael Espindola if (GV->hasUnnamedAddr()) Out << "unnamed_addr "; 13890313e0b44dcd77acd334d3f324c7da527179a690Misha Brukman Out << (GV->isConstant() ? "constant " : "global "); 13900f7364b4aa15263827af49d046fd6147ac769eefChris Lattner TypePrinter.print(GV->getType()->getElementType(), Out); 1391d70684f7585a85c4248c1c224059478108741c70Chris Lattner 13928dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman if (GV->hasInitializer()) { 13938dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman Out << ' '; 1394320671d2654a543bbeed5b62efe165430146d55eDevang Patel writeOperand(GV->getInitializer(), false); 13958dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman } 1396a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar 13978fff12605e125e264bca213e748e1ec972437a55Chris Lattner if (GV->hasSection()) { 13988fff12605e125e264bca213e748e1ec972437a55Chris Lattner Out << ", section \""; 13998fff12605e125e264bca213e748e1ec972437a55Chris Lattner PrintEscapedString(GV->getSection(), Out); 14008fff12605e125e264bca213e748e1ec972437a55Chris Lattner Out << '"'; 14018fff12605e125e264bca213e748e1ec972437a55Chris Lattner } 140260962dbfbaa4a9c3ca6fced08fb90b748aa99203Chris Lattner if (GV->getAlignment()) 140330caa2876cd500b49e27b6810ab5dec96398c6faChris Lattner Out << ", align " << GV->getAlignment(); 14048b0a8c84da2030ee8f4440d5b60a8033de691222Anton Korobeynikov 14057e70829632f82de15db187845666aaca6e04b792Chris Lattner printInfoComment(*GV); 1406cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner Out << '\n'; 140770cc3397f84c2e1fd69c059a0ef89e398e847b00Chris Lattner} 140870cc3397f84c2e1fd69c059a0ef89e398e847b00Chris Lattner 14098b0a8c84da2030ee8f4440d5b60a8033de691222Anton Korobeynikovvoid AssemblyWriter::printAlias(const GlobalAlias *GA) { 14104483c7b15aa343bd95e3d7f800be788b77ea23f8Dan Gohman if (GA->isMaterializable()) 14114483c7b15aa343bd95e3d7f800be788b77ea23f8Dan Gohman Out << "; Materializable\n"; 14124483c7b15aa343bd95e3d7f800be788b77ea23f8Dan Gohman 141324f07dc6e464aa82694fd3dd5fc88dc139d16b7cDale Johannesen // Don't crash when dumping partially built GA 141424f07dc6e464aa82694fd3dd5fc88dc139d16b7cDale Johannesen if (!GA->hasName()) 141524f07dc6e464aa82694fd3dd5fc88dc139d16b7cDale Johannesen Out << "<<nameless>> = "; 1416c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner else { 1417c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner PrintLLVMName(Out, GA); 1418c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner Out << " = "; 1419c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner } 1420cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner PrintVisibility(GA->getVisibility(), Out); 14218b0a8c84da2030ee8f4440d5b60a8033de691222Anton Korobeynikov 14228b0a8c84da2030ee8f4440d5b60a8033de691222Anton Korobeynikov Out << "alias "; 14238b0a8c84da2030ee8f4440d5b60a8033de691222Anton Korobeynikov 1424cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner PrintLinkage(GA->getLinkage(), Out); 1425a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar 1426c6c98af9e5814e8066c82f20ca11cf646a5fc289Anton Korobeynikov const Constant *Aliasee = GA->getAliasee(); 1427a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar 14281afcace3a3a138b1b18e5c6270caa8dae2261ae2Chris Lattner if (Aliasee == 0) { 14291afcace3a3a138b1b18e5c6270caa8dae2261ae2Chris Lattner TypePrinter.print(GA->getType(), Out); 14301afcace3a3a138b1b18e5c6270caa8dae2261ae2Chris Lattner Out << " <<NULL ALIASEE>>"; 14315cd8ea2fd3a88639bc6556e9564a95bcdd9598dbJay Foad } else { 14328d948652f2d6d68023f8cec7ba60e9aed2720bd1Jay Foad writeOperand(Aliasee, !isa<ConstantExpr>(Aliasee)); 14335cd8ea2fd3a88639bc6556e9564a95bcdd9598dbJay Foad } 1434a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar 14358b0a8c84da2030ee8f4440d5b60a8033de691222Anton Korobeynikov printInfoComment(*GA); 143652b26de325e32c71159376853384789b7646eaf4Chris Lattner Out << '\n'; 14378b0a8c84da2030ee8f4440d5b60a8033de691222Anton Korobeynikov} 14388b0a8c84da2030ee8f4440d5b60a8033de691222Anton Korobeynikov 14391afcace3a3a138b1b18e5c6270caa8dae2261ae2Chris Lattnervoid AssemblyWriter::printTypeIdentities() { 14401afcace3a3a138b1b18e5c6270caa8dae2261ae2Chris Lattner if (TypePrinter.NumberedTypes.empty() && 14411afcace3a3a138b1b18e5c6270caa8dae2261ae2Chris Lattner TypePrinter.NamedTypes.empty()) 14421afcace3a3a138b1b18e5c6270caa8dae2261ae2Chris Lattner return; 144318801ecd487df27201b894db72aff4b2c7396e18Andrew Trick 14441afcace3a3a138b1b18e5c6270caa8dae2261ae2Chris Lattner Out << '\n'; 144518801ecd487df27201b894db72aff4b2c7396e18Andrew Trick 14461afcace3a3a138b1b18e5c6270caa8dae2261ae2Chris Lattner // We know all the numbers that each type is used and we know that it is a 14471afcace3a3a138b1b18e5c6270caa8dae2261ae2Chris Lattner // dense assignment. Convert the map to an index table. 14481afcace3a3a138b1b18e5c6270caa8dae2261ae2Chris Lattner std::vector<StructType*> NumberedTypes(TypePrinter.NumberedTypes.size()); 144918801ecd487df27201b894db72aff4b2c7396e18Andrew Trick for (DenseMap<StructType*, unsigned>::iterator I = 14501afcace3a3a138b1b18e5c6270caa8dae2261ae2Chris Lattner TypePrinter.NumberedTypes.begin(), E = TypePrinter.NumberedTypes.end(); 14511afcace3a3a138b1b18e5c6270caa8dae2261ae2Chris Lattner I != E; ++I) { 14521afcace3a3a138b1b18e5c6270caa8dae2261ae2Chris Lattner assert(I->second < NumberedTypes.size() && "Didn't get a dense numbering?"); 14531afcace3a3a138b1b18e5c6270caa8dae2261ae2Chris Lattner NumberedTypes[I->second] = I->first; 14541afcace3a3a138b1b18e5c6270caa8dae2261ae2Chris Lattner } 145518801ecd487df27201b894db72aff4b2c7396e18Andrew Trick 1456413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner // Emit all numbered types. 1457413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner for (unsigned i = 0, e = NumberedTypes.size(); i != e; ++i) { 14583845e50edea58edd0f5e0f2b732e0106b53ba279Dan Gohman Out << '%' << i << " = type "; 145918801ecd487df27201b894db72aff4b2c7396e18Andrew Trick 1460413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner // Make sure we print out at least one level of the type structure, so 1461413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner // that we do not get %2 = type %2 14621afcace3a3a138b1b18e5c6270caa8dae2261ae2Chris Lattner TypePrinter.printStructBody(NumberedTypes[i], Out); 14639bf0b9bd44d356690e936ae16bec2c115c7d9f5fDan Gohman Out << '\n'; 1464413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner } 146518801ecd487df27201b894db72aff4b2c7396e18Andrew Trick 14661afcace3a3a138b1b18e5c6270caa8dae2261ae2Chris Lattner for (unsigned i = 0, e = TypePrinter.NamedTypes.size(); i != e; ++i) { 14671afcace3a3a138b1b18e5c6270caa8dae2261ae2Chris Lattner PrintLLVMName(Out, TypePrinter.NamedTypes[i]->getName(), LocalPrefix); 146852b26de325e32c71159376853384789b7646eaf4Chris Lattner Out << " = type "; 14699231ac8b6f2c3f9877bdb7a223f7392061258ab6Reid Spencer 14709231ac8b6f2c3f9877bdb7a223f7392061258ab6Reid Spencer // Make sure we print out at least one level of the type structure, so 14719231ac8b6f2c3f9877bdb7a223f7392061258ab6Reid Spencer // that we do not get %FILE = type %FILE 14721afcace3a3a138b1b18e5c6270caa8dae2261ae2Chris Lattner TypePrinter.printStructBody(TypePrinter.NamedTypes[i], Out); 1473cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner Out << '\n'; 14749231ac8b6f2c3f9877bdb7a223f7392061258ab6Reid Spencer } 147578d033e086e19e016273de014f9214aa6f3f844bReid Spencer} 147678d033e086e19e016273de014f9214aa6f3f844bReid Spencer 1477ab5c6003d23c19d23bbff1054900d208c55e0188Misha Brukman/// printFunction - Print all aspects of a function. 1478ab5c6003d23c19d23bbff1054900d208c55e0188Misha Brukman/// 14797e70829632f82de15db187845666aaca6e04b792Chris Lattnervoid AssemblyWriter::printFunction(const Function *F) { 1480cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner // Print out the return type and name. 1481cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner Out << '\n'; 14824ad02e726d9b634372b037d4b352d8b63bb9e849Chris Lattner 14830313e0b44dcd77acd334d3f324c7da527179a690Misha Brukman if (AnnotationWriter) AnnotationWriter->emitFunctionAnnot(F, Out); 148495e5a2cc3fc55b262d2baa1cc417115dfa4a18eaChris Lattner 14854483c7b15aa343bd95e3d7f800be788b77ea23f8Dan Gohman if (F->isMaterializable()) 14864483c7b15aa343bd95e3d7f800be788b77ea23f8Dan Gohman Out << "; Materializable\n"; 14874483c7b15aa343bd95e3d7f800be788b77ea23f8Dan Gohman 14885cbf985dcbc89fba3208e7baf8b6f488b06d3ec9Reid Spencer if (F->isDeclaration()) 14893aa6066d010b2ccfd58f07fb1be874becf5807c2Chris Lattner Out << "declare "; 14903aa6066d010b2ccfd58f07fb1be874becf5807c2Chris Lattner else 1491b951bc02839e9862e02e17c7ea83e6437fc13442Reid Spencer Out << "define "; 1492a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar 1493cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner PrintLinkage(F->getLinkage(), Out); 1494cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner PrintVisibility(F->getVisibility(), Out); 14954ad02e726d9b634372b037d4b352d8b63bb9e849Chris Lattner 1496d511898b581826694e6c651e23343b1e1ba5ba64Chris Lattner // Print the calling convention. 1497d511898b581826694e6c651e23343b1e1ba5ba64Chris Lattner switch (F->getCallingConv()) { 1498d511898b581826694e6c651e23343b1e1ba5ba64Chris Lattner case CallingConv::C: break; // default 1499f824868ed9d2cc756a797f6dbd67732f75e31cd6Anton Korobeynikov case CallingConv::Fast: Out << "fastcc "; break; 1500f824868ed9d2cc756a797f6dbd67732f75e31cd6Anton Korobeynikov case CallingConv::Cold: Out << "coldcc "; break; 1501f824868ed9d2cc756a797f6dbd67732f75e31cd6Anton Korobeynikov case CallingConv::X86_StdCall: Out << "x86_stdcallcc "; break; 1502385f5a99ecc7fee48a7539bc63d3e1d3b5089c0dAnton Korobeynikov case CallingConv::X86_FastCall: Out << "x86_fastcallcc "; break; 1503ded05e34b65dc42998e9db6ca1abd513e7a9d120Anton Korobeynikov case CallingConv::X86_ThisCall: Out << "x86_thiscallcc "; break; 1504385f5a99ecc7fee48a7539bc63d3e1d3b5089c0dAnton Korobeynikov case CallingConv::ARM_APCS: Out << "arm_apcscc "; break; 1505385f5a99ecc7fee48a7539bc63d3e1d3b5089c0dAnton Korobeynikov case CallingConv::ARM_AAPCS: Out << "arm_aapcscc "; break; 1506385f5a99ecc7fee48a7539bc63d3e1d3b5089c0dAnton Korobeynikov case CallingConv::ARM_AAPCS_VFP:Out << "arm_aapcs_vfpcc "; break; 1507211a14e476abc9b864ab6a5d5e0bbb86d288b650Anton Korobeynikov case CallingConv::MSP430_INTR: Out << "msp430_intrcc "; break; 1508a6428a401b4692527dce51ef4318334c0913e17eJustin Holewinski case CallingConv::PTX_Kernel: Out << "ptx_kernel "; break; 1509a6428a401b4692527dce51ef4318334c0913e17eJustin Holewinski case CallingConv::PTX_Device: Out << "ptx_device "; break; 1510d511898b581826694e6c651e23343b1e1ba5ba64Chris Lattner default: Out << "cc" << F->getCallingConv() << " "; break; 1511d511898b581826694e6c651e23343b1e1ba5ba64Chris Lattner } 1512d511898b581826694e6c651e23343b1e1ba5ba64Chris Lattner 1513db125cfaf57cc83e7dd7453de2d509bc8efd0e5eChris Lattner FunctionType *FT = F->getFunctionType(); 15140598866c052147c31b808391f58434ce3dbfb838Devang Patel const AttrListPtr &Attrs = F->getAttributes(); 1515652203f3f3b6dd5062bb450d189a80d8aaa51693Devang Patel Attributes RetAttrs = Attrs.getRetAttributes(); 1516652203f3f3b6dd5062bb450d189a80d8aaa51693Devang Patel if (RetAttrs != Attribute::None) 1517652203f3f3b6dd5062bb450d189a80d8aaa51693Devang Patel Out << Attribute::getAsString(Attrs.getRetAttributes()) << ' '; 15180f7364b4aa15263827af49d046fd6147ac769eefChris Lattner TypePrinter.print(F->getReturnType(), Out); 15194667b71f9380afad56cbdc1fd19ca32334086d2cChris Lattner Out << ' '; 15203bdfbf5d56d52fc4c390df77f98ba2c46951b51aDan Gohman WriteAsOperandInternal(Out, F, &TypePrinter, &Machine, F->getParent()); 15210313e0b44dcd77acd334d3f324c7da527179a690Misha Brukman Out << '('; 15220d1b77e2824115d97f8392c3f4ec257b27ebbd7aReid Spencer Machine.incorporateFunction(F); 1523007377f381e253cc559db8d3c94fa89b0eb55fadChris Lattner 1524c1824996451d5ea93864fcd34ba8ea5e5f03e368Chris Lattner // Loop over the arguments, printing them... 1525007377f381e253cc559db8d3c94fa89b0eb55fadChris Lattner 1526bd5db8e29b82f864c3d6525c6cfefa557fafdbb8Reid Spencer unsigned Idx = 1; 15278dcd2f1a5bbb9151ec05532861be58bf3f078e63Chris Lattner if (!F->isDeclaration()) { 15288dcd2f1a5bbb9151ec05532861be58bf3f078e63Chris Lattner // If this isn't a declaration, print the argument names as well. 15298dcd2f1a5bbb9151ec05532861be58bf3f078e63Chris Lattner for (Function::const_arg_iterator I = F->arg_begin(), E = F->arg_end(); 15308dcd2f1a5bbb9151ec05532861be58bf3f078e63Chris Lattner I != E; ++I) { 15318dcd2f1a5bbb9151ec05532861be58bf3f078e63Chris Lattner // Insert commas as we go... the first arg doesn't get a comma 15328dcd2f1a5bbb9151ec05532861be58bf3f078e63Chris Lattner if (I != F->arg_begin()) Out << ", "; 153319c874638d9478a5d5028854817a5ee72293bb2bDevang Patel printArgument(I, Attrs.getParamAttributes(Idx)); 15348dcd2f1a5bbb9151ec05532861be58bf3f078e63Chris Lattner Idx++; 15358dcd2f1a5bbb9151ec05532861be58bf3f078e63Chris Lattner } 15368dcd2f1a5bbb9151ec05532861be58bf3f078e63Chris Lattner } else { 15378dcd2f1a5bbb9151ec05532861be58bf3f078e63Chris Lattner // Otherwise, print the types from the function type. 15388dcd2f1a5bbb9151ec05532861be58bf3f078e63Chris Lattner for (unsigned i = 0, e = FT->getNumParams(); i != e; ++i) { 15398dcd2f1a5bbb9151ec05532861be58bf3f078e63Chris Lattner // Insert commas as we go... the first arg doesn't get a comma 15408dcd2f1a5bbb9151ec05532861be58bf3f078e63Chris Lattner if (i) Out << ", "; 1541a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar 15428dcd2f1a5bbb9151ec05532861be58bf3f078e63Chris Lattner // Output type... 15430f7364b4aa15263827af49d046fd6147ac769eefChris Lattner TypePrinter.print(FT->getParamType(i), Out); 1544a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar 154519c874638d9478a5d5028854817a5ee72293bb2bDevang Patel Attributes ArgAttrs = Attrs.getParamAttributes(i+1); 15460598866c052147c31b808391f58434ce3dbfb838Devang Patel if (ArgAttrs != Attribute::None) 15470598866c052147c31b808391f58434ce3dbfb838Devang Patel Out << ' ' << Attribute::getAsString(ArgAttrs); 15488dcd2f1a5bbb9151ec05532861be58bf3f078e63Chris Lattner } 1549bd5db8e29b82f864c3d6525c6cfefa557fafdbb8Reid Spencer } 1550007377f381e253cc559db8d3c94fa89b0eb55fadChris Lattner 1551007377f381e253cc559db8d3c94fa89b0eb55fadChris Lattner // Finish printing arguments... 15527e70829632f82de15db187845666aaca6e04b792Chris Lattner if (FT->isVarArg()) { 15530313e0b44dcd77acd334d3f324c7da527179a690Misha Brukman if (FT->getNumParams()) Out << ", "; 15540313e0b44dcd77acd334d3f324c7da527179a690Misha Brukman Out << "..."; // Output varargs portion of signature! 1555007377f381e253cc559db8d3c94fa89b0eb55fadChris Lattner } 15560313e0b44dcd77acd334d3f324c7da527179a690Misha Brukman Out << ')'; 15573971df5203146649a34dc50d217c0cc072d39be9Rafael Espindola if (F->hasUnnamedAddr()) 15583971df5203146649a34dc50d217c0cc072d39be9Rafael Espindola Out << " unnamed_addr"; 155919c874638d9478a5d5028854817a5ee72293bb2bDevang Patel Attributes FnAttrs = Attrs.getFnAttributes(); 156019c874638d9478a5d5028854817a5ee72293bb2bDevang Patel if (FnAttrs != Attribute::None) 156119c874638d9478a5d5028854817a5ee72293bb2bDevang Patel Out << ' ' << Attribute::getAsString(Attrs.getFnAttributes()); 15628fff12605e125e264bca213e748e1ec972437a55Chris Lattner if (F->hasSection()) { 15638fff12605e125e264bca213e748e1ec972437a55Chris Lattner Out << " section \""; 15648fff12605e125e264bca213e748e1ec972437a55Chris Lattner PrintEscapedString(F->getSection(), Out); 15658fff12605e125e264bca213e748e1ec972437a55Chris Lattner Out << '"'; 15668fff12605e125e264bca213e748e1ec972437a55Chris Lattner } 156730caa2876cd500b49e27b6810ab5dec96398c6faChris Lattner if (F->getAlignment()) 156830caa2876cd500b49e27b6810ab5dec96398c6faChris Lattner Out << " align " << F->getAlignment(); 15695eca075b74d62c621b160aa216b4cd50829a2cc7Gordon Henriksen if (F->hasGC()) 15705eca075b74d62c621b160aa216b4cd50829a2cc7Gordon Henriksen Out << " gc \"" << F->getGC() << '"'; 1571f3ba70861ccf00b1072ae1b6ade3ebe2da6cff40Devang Patel if (F->isDeclaration()) { 157291fb4070e58566c5406b65bf70719c3e580eb027Chris Lattner Out << '\n'; 1573f3ba70861ccf00b1072ae1b6ade3ebe2da6cff40Devang Patel } else { 157491fb4070e58566c5406b65bf70719c3e580eb027Chris Lattner Out << " {"; 157591fb4070e58566c5406b65bf70719c3e580eb027Chris Lattner // Output all of the function's basic blocks. 15767e70829632f82de15db187845666aaca6e04b792Chris Lattner for (Function::const_iterator I = F->begin(), E = F->end(); I != E; ++I) 15777e70829632f82de15db187845666aaca6e04b792Chris Lattner printBasicBlock(I); 1578007377f381e253cc559db8d3c94fa89b0eb55fadChris Lattner 15790313e0b44dcd77acd334d3f324c7da527179a690Misha Brukman Out << "}\n"; 1580007377f381e253cc559db8d3c94fa89b0eb55fadChris Lattner } 1581007377f381e253cc559db8d3c94fa89b0eb55fadChris Lattner 15820d1b77e2824115d97f8392c3f4ec257b27ebbd7aReid Spencer Machine.purgeFunction(); 1583009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner} 1584009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner 1585ab5c6003d23c19d23bbff1054900d208c55e0188Misha Brukman/// printArgument - This member is called for every argument that is passed into 1586ab5c6003d23c19d23bbff1054900d208c55e0188Misha Brukman/// the function. Simply print it out 1587ab5c6003d23c19d23bbff1054900d208c55e0188Misha Brukman/// 1588a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbarvoid AssemblyWriter::printArgument(const Argument *Arg, 1589eaf42abab6d465c38891345d999255871cf03943Devang Patel Attributes Attrs) { 1590009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner // Output type... 15910f7364b4aa15263827af49d046fd6147ac769eefChris Lattner TypePrinter.print(Arg->getType(), Out); 1592fd93908ae8b9684fe71c239e3c6cfe13ff6a2663Misha Brukman 1593dc024674ff96820d6020757b48d47f46d4c07db2Duncan Sands // Output parameter attributes list 15940598866c052147c31b808391f58434ce3dbfb838Devang Patel if (Attrs != Attribute::None) 15950598866c052147c31b808391f58434ce3dbfb838Devang Patel Out << ' ' << Attribute::getAsString(Attrs); 1596bd5db8e29b82f864c3d6525c6cfefa557fafdbb8Reid Spencer 1597009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner // Output name, if available... 1598c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner if (Arg->hasName()) { 1599c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner Out << ' '; 1600c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner PrintLLVMName(Out, Arg); 1601c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner } 1602009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner} 1603009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner 1604ab5c6003d23c19d23bbff1054900d208c55e0188Misha Brukman/// printBasicBlock - This member is called for each basic block in a method. 1605ab5c6003d23c19d23bbff1054900d208c55e0188Misha Brukman/// 1606c1824996451d5ea93864fcd34ba8ea5e5f03e368Chris Lattnervoid AssemblyWriter::printBasicBlock(const BasicBlock *BB) { 1607280a6e607d8eb7401749a92db624a82de47da777Nick Lewycky if (BB->hasName()) { // Print out the label if it exists... 1608c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner Out << "\n"; 160903d7651c3652e1f0cc86e79b26585d86818da9cfDaniel Dunbar PrintLLVMName(Out, BB->getName(), LabelPrefix); 1610c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner Out << ':'; 1611280a6e607d8eb7401749a92db624a82de47da777Nick Lewycky } else if (!BB->use_empty()) { // Don't print block # of no uses... 16125d7a5a4f53304869ae5b76771ab67213447b65a5Bill Wendling Out << "\n; <label>:"; 161322379bc7bb28fbfb1182877e6dc316aaab98a4baChris Lattner int Slot = Machine.getLocalSlot(BB); 161469566459cc27c5210472a87ae2fe7b2ca64f9fc8Chris Lattner if (Slot != -1) 16150313e0b44dcd77acd334d3f324c7da527179a690Misha Brukman Out << Slot; 161669566459cc27c5210472a87ae2fe7b2ca64f9fc8Chris Lattner else 16170313e0b44dcd77acd334d3f324c7da527179a690Misha Brukman Out << "<badref>"; 1618061269be9723f842931f18ad207acf9a66e0cf76Chris Lattner } 16194e4d8624c5c44578d64fe1344670520cceec03f2Chris Lattner 1620683e922d299bdfa9ec609bd58a0eed20568303f1Dan Gohman if (BB->getParent() == 0) { 16218f4b1ec02bbc72161a9bd9777a2996dae439c81eChris Lattner Out.PadToColumn(50); 1622683e922d299bdfa9ec609bd58a0eed20568303f1Dan Gohman Out << "; Error: Block without parent!"; 1623683e922d299bdfa9ec609bd58a0eed20568303f1Dan Gohman } else if (BB != &BB->getParent()->getEntryBlock()) { // Not the entry block? 162491fb4070e58566c5406b65bf70719c3e580eb027Chris Lattner // Output predecessors for the block. 16258f4b1ec02bbc72161a9bd9777a2996dae439c81eChris Lattner Out.PadToColumn(50); 1626683e922d299bdfa9ec609bd58a0eed20568303f1Dan Gohman Out << ";"; 162744424646ac9db5c4d3919462bd0831ec22783085Gabor Greif const_pred_iterator PI = pred_begin(BB), PE = pred_end(BB); 1628a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar 1629eb411291fa7614496ec8b51b0ced9f6cc2b78313Chris Lattner if (PI == PE) { 1630eb411291fa7614496ec8b51b0ced9f6cc2b78313Chris Lattner Out << " No predecessors!"; 1631eb411291fa7614496ec8b51b0ced9f6cc2b78313Chris Lattner } else { 16328dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman Out << " preds = "; 1633eb411291fa7614496ec8b51b0ced9f6cc2b78313Chris Lattner writeOperand(*PI, false); 1634eb411291fa7614496ec8b51b0ced9f6cc2b78313Chris Lattner for (++PI; PI != PE; ++PI) { 16358dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman Out << ", "; 16362fcfdb79d0d1d2297d7aced11b567cd52494604eChris Lattner writeOperand(*PI, false); 163740efcec8e879b3470b3c0ad9d8124abce2cd8915Chris Lattner } 1638061269be9723f842931f18ad207acf9a66e0cf76Chris Lattner } 1639009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner } 1640fd93908ae8b9684fe71c239e3c6cfe13ff6a2663Misha Brukman 1641eb411291fa7614496ec8b51b0ced9f6cc2b78313Chris Lattner Out << "\n"; 1642009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner 16430313e0b44dcd77acd334d3f324c7da527179a690Misha Brukman if (AnnotationWriter) AnnotationWriter->emitBasicBlockStartAnnot(BB, Out); 164495e5a2cc3fc55b262d2baa1cc417115dfa4a18eaChris Lattner 1645007377f381e253cc559db8d3c94fa89b0eb55fadChris Lattner // Output all of the instructions in the basic block... 1646beca6896b97e5a07081390c19ecfd176dbc27b1fDan Gohman for (BasicBlock::const_iterator I = BB->begin(), E = BB->end(); I != E; ++I) { 16477e70829632f82de15db187845666aaca6e04b792Chris Lattner printInstruction(*I); 1648beca6896b97e5a07081390c19ecfd176dbc27b1fDan Gohman Out << '\n'; 1649beca6896b97e5a07081390c19ecfd176dbc27b1fDan Gohman } 16509f717ef279f4b82e28c341c98a9aa602f01f9b27Chris Lattner 16510313e0b44dcd77acd334d3f324c7da527179a690Misha Brukman if (AnnotationWriter) AnnotationWriter->emitBasicBlockEndAnnot(BB, Out); 1652009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner} 1653009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner 1654ab5c6003d23c19d23bbff1054900d208c55e0188Misha Brukman/// printInfoComment - Print a little comment after the instruction indicating 1655ab5c6003d23c19d23bbff1054900d208c55e0188Misha Brukman/// which slot it occupies. 1656ab5c6003d23c19d23bbff1054900d208c55e0188Misha Brukman/// 16577e70829632f82de15db187845666aaca6e04b792Chris Lattnervoid AssemblyWriter::printInfoComment(const Value &V) { 16587a5666e7f3ba5d7825e5d65d601f9679d10a56bbDan Gohman if (AnnotationWriter) { 16597a5666e7f3ba5d7825e5d65d601f9679d10a56bbDan Gohman AnnotationWriter->printInfoComment(V, Out); 16607a5666e7f3ba5d7825e5d65d601f9679d10a56bbDan Gohman return; 16617a5666e7f3ba5d7825e5d65d601f9679d10a56bbDan Gohman } 1662e02fa8551d20081534afa46e0976811687e5183aChris Lattner} 1663e02fa8551d20081534afa46e0976811687e5183aChris Lattner 16643a9ec2463ddeba0820f284e2952bd6919cd5e080Reid Spencer// This member is called for each Instruction in a function.. 16657e70829632f82de15db187845666aaca6e04b792Chris Lattnervoid AssemblyWriter::printInstruction(const Instruction &I) { 16660313e0b44dcd77acd334d3f324c7da527179a690Misha Brukman if (AnnotationWriter) AnnotationWriter->emitInstructionAnnot(&I, Out); 166795e5a2cc3fc55b262d2baa1cc417115dfa4a18eaChris Lattner 16683845e50edea58edd0f5e0f2b732e0106b53ba279Dan Gohman // Print out indentation for an instruction. 166901889caf73a2faa3b77142851faa09abad5c73b0Dan Gohman Out << " "; 1670009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner 1671009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner // Print out name if it exists... 1672c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner if (I.hasName()) { 1673c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner PrintLLVMName(Out, &I); 1674c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner Out << " = "; 16754ee93c430367000c80a02ba218ddf712aa3e57edChris Lattner } else if (!I.getType()->isVoidTy()) { 1676828db8a2f90e0e3faf27c1fe69a632c666e3a343Chris Lattner // Print out the def slot taken. 1677828db8a2f90e0e3faf27c1fe69a632c666e3a343Chris Lattner int SlotNum = Machine.getLocalSlot(&I); 1678828db8a2f90e0e3faf27c1fe69a632c666e3a343Chris Lattner if (SlotNum == -1) 1679828db8a2f90e0e3faf27c1fe69a632c666e3a343Chris Lattner Out << "<badref> = "; 1680828db8a2f90e0e3faf27c1fe69a632c666e3a343Chris Lattner else 1681828db8a2f90e0e3faf27c1fe69a632c666e3a343Chris Lattner Out << '%' << SlotNum << " = "; 1682c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner } 168318801ecd487df27201b894db72aff4b2c7396e18Andrew Trick 168421006d40ac9ec7715bca2095451075a83773dc52Eli Friedman if (isa<CallInst>(I) && cast<CallInst>(I).isTailCall()) 1685ddb6db4fa11d06217d01d8431596131abdfb7ef0Chris Lattner Out << "tail "; 1686e5e475e09d1e8a9ea1bda58b536867ff16600399Chris Lattner 1687009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner // Print out the opcode... 16880313e0b44dcd77acd334d3f324c7da527179a690Misha Brukman Out << I.getOpcodeName(); 1689009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner 1690f03bb260c90ad013aa4e55af36382875011c95b8Eli Friedman // If this is an atomic load or store, print out the atomic marker. 1691f03bb260c90ad013aa4e55af36382875011c95b8Eli Friedman if ((isa<LoadInst>(I) && cast<LoadInst>(I).isAtomic()) || 1692f03bb260c90ad013aa4e55af36382875011c95b8Eli Friedman (isa<StoreInst>(I) && cast<StoreInst>(I).isAtomic())) 1693f03bb260c90ad013aa4e55af36382875011c95b8Eli Friedman Out << " atomic"; 1694f03bb260c90ad013aa4e55af36382875011c95b8Eli Friedman 1695f03bb260c90ad013aa4e55af36382875011c95b8Eli Friedman // If this is a volatile operation, print out the volatile marker. 1696f03bb260c90ad013aa4e55af36382875011c95b8Eli Friedman if ((isa<LoadInst>(I) && cast<LoadInst>(I).isVolatile()) || 1697f03bb260c90ad013aa4e55af36382875011c95b8Eli Friedman (isa<StoreInst>(I) && cast<StoreInst>(I).isVolatile()) || 1698f03bb260c90ad013aa4e55af36382875011c95b8Eli Friedman (isa<AtomicCmpXchgInst>(I) && cast<AtomicCmpXchgInst>(I).isVolatile()) || 1699f03bb260c90ad013aa4e55af36382875011c95b8Eli Friedman (isa<AtomicRMWInst>(I) && cast<AtomicRMWInst>(I).isVolatile())) 1700f03bb260c90ad013aa4e55af36382875011c95b8Eli Friedman Out << " volatile"; 1701f03bb260c90ad013aa4e55af36382875011c95b8Eli Friedman 170259858cf7926702596cf708daf21aeaf5b6feedf8Dan Gohman // Print out optimization information. 170359858cf7926702596cf708daf21aeaf5b6feedf8Dan Gohman WriteOptimizationInfo(Out, &I); 170459858cf7926702596cf708daf21aeaf5b6feedf8Dan Gohman 170574f1642bc1c2981e4573c9f0690d91b6a9bbc68cReid Spencer // Print out the compare instruction predicates 1706ac80ade1580378e484e24c9f66d2fa5b058e5891Nate Begeman if (const CmpInst *CI = dyn_cast<CmpInst>(&I)) 1707ab49ee752ec37f586e45c999eca1e29e32697cb7Chris Lattner Out << ' ' << getPredicateText(CI->getPredicate()); 170874f1642bc1c2981e4573c9f0690d91b6a9bbc68cReid Spencer 1709ff03048c1350fcc4fda1ef6d6c57252f3a950854Eli Friedman // Print out the atomicrmw operation 1710ff03048c1350fcc4fda1ef6d6c57252f3a950854Eli Friedman if (const AtomicRMWInst *RMWI = dyn_cast<AtomicRMWInst>(&I)) 1711ff03048c1350fcc4fda1ef6d6c57252f3a950854Eli Friedman writeAtomicRMWOperation(Out, RMWI->getOperation()); 1712ff03048c1350fcc4fda1ef6d6c57252f3a950854Eli Friedman 1713009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner // Print out the type of the operands... 17147e70829632f82de15db187845666aaca6e04b792Chris Lattner const Value *Operand = I.getNumOperands() ? I.getOperand(0) : 0; 1715009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner 1716009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner // Special case conditional branches to swizzle the condition out to the front 1717ccd27fb84b0ac13ad1d30b17cbeb87a0ea934154Gabor Greif if (isa<BranchInst>(I) && cast<BranchInst>(I).isConditional()) { 1718ccd27fb84b0ac13ad1d30b17cbeb87a0ea934154Gabor Greif BranchInst &BI(cast<BranchInst>(I)); 17198dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman Out << ' '; 1720ccd27fb84b0ac13ad1d30b17cbeb87a0ea934154Gabor Greif writeOperand(BI.getCondition(), true); 17218dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman Out << ", "; 1722ccd27fb84b0ac13ad1d30b17cbeb87a0ea934154Gabor Greif writeOperand(BI.getSuccessor(0), true); 17238dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman Out << ", "; 1724ccd27fb84b0ac13ad1d30b17cbeb87a0ea934154Gabor Greif writeOperand(BI.getSuccessor(1), true); 1725009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner 172694dc1f29cd1dc669680b7d3caa1f59862a656b83Chris Lattner } else if (isa<SwitchInst>(I)) { 1727bb5a7442e362776621112dc9453e546a55878e79Eli Friedman SwitchInst& SI(cast<SwitchInst>(I)); 1728f9be95f867745b6754b2402b9b72f9eaeabd637fChris Lattner // Special case switch instruction to get formatting nice and correct. 17298dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman Out << ' '; 1730bb5a7442e362776621112dc9453e546a55878e79Eli Friedman writeOperand(SI.getCondition(), true); 17318dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman Out << ", "; 1732bb5a7442e362776621112dc9453e546a55878e79Eli Friedman writeOperand(SI.getDefaultDest(), true); 1733ab49ee752ec37f586e45c999eca1e29e32697cb7Chris Lattner Out << " ["; 1734c10fa6c801e48771b5eade50afc2fe6abaf08227Stepan Dyatkovskiy for (SwitchInst::CaseIt i = SI.caseBegin(), e = SI.caseEnd(); 1735c10fa6c801e48771b5eade50afc2fe6abaf08227Stepan Dyatkovskiy i != e; ++i) { 173601889caf73a2faa3b77142851faa09abad5c73b0Dan Gohman Out << "\n "; 1737c10fa6c801e48771b5eade50afc2fe6abaf08227Stepan Dyatkovskiy writeOperand(i.getCaseValue(), true); 17388dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman Out << ", "; 1739c10fa6c801e48771b5eade50afc2fe6abaf08227Stepan Dyatkovskiy writeOperand(i.getCaseSuccessor(), true); 1740009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner } 174101889caf73a2faa3b77142851faa09abad5c73b0Dan Gohman Out << "\n ]"; 1742ab21db79ef1d2530880ad11f21f0b87ffca02dd4Chris Lattner } else if (isa<IndirectBrInst>(I)) { 1743ab21db79ef1d2530880ad11f21f0b87ffca02dd4Chris Lattner // Special case indirectbr instruction to get formatting nice and correct. 1744f9be95f867745b6754b2402b9b72f9eaeabd637fChris Lattner Out << ' '; 1745f9be95f867745b6754b2402b9b72f9eaeabd637fChris Lattner writeOperand(Operand, true); 17460ed1f4264ae1f30eb164ca8fc94669c4f9bbd4f7Dan Gohman Out << ", ["; 174718801ecd487df27201b894db72aff4b2c7396e18Andrew Trick 1748f9be95f867745b6754b2402b9b72f9eaeabd637fChris Lattner for (unsigned i = 1, e = I.getNumOperands(); i != e; ++i) { 1749f9be95f867745b6754b2402b9b72f9eaeabd637fChris Lattner if (i != 1) 1750f9be95f867745b6754b2402b9b72f9eaeabd637fChris Lattner Out << ", "; 1751f9be95f867745b6754b2402b9b72f9eaeabd637fChris Lattner writeOperand(I.getOperand(i), true); 1752f9be95f867745b6754b2402b9b72f9eaeabd637fChris Lattner } 1753f9be95f867745b6754b2402b9b72f9eaeabd637fChris Lattner Out << ']'; 1754c137120bb047a7017cbab21f5f9c9e6f65e2b84fJay Foad } else if (const PHINode *PN = dyn_cast<PHINode>(&I)) { 17550313e0b44dcd77acd334d3f324c7da527179a690Misha Brukman Out << ' '; 17560f7364b4aa15263827af49d046fd6147ac769eefChris Lattner TypePrinter.print(I.getType(), Out); 17570313e0b44dcd77acd334d3f324c7da527179a690Misha Brukman Out << ' '; 1758009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner 1759c137120bb047a7017cbab21f5f9c9e6f65e2b84fJay Foad for (unsigned op = 0, Eop = PN->getNumIncomingValues(); op < Eop; ++op) { 17600313e0b44dcd77acd334d3f324c7da527179a690Misha Brukman if (op) Out << ", "; 17618dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman Out << "[ "; 1762c137120bb047a7017cbab21f5f9c9e6f65e2b84fJay Foad writeOperand(PN->getIncomingValue(op), false); Out << ", "; 1763c137120bb047a7017cbab21f5f9c9e6f65e2b84fJay Foad writeOperand(PN->getIncomingBlock(op), false); Out << " ]"; 1764c24d2088dc3d79e3b7e38a358b4a71f156c06836Chris Lattner } 1765995be7d07a0ed1f70a93b2a2e7f445461162e8a5Dan Gohman } else if (const ExtractValueInst *EVI = dyn_cast<ExtractValueInst>(&I)) { 17668dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman Out << ' '; 1767995be7d07a0ed1f70a93b2a2e7f445461162e8a5Dan Gohman writeOperand(I.getOperand(0), true); 1768995be7d07a0ed1f70a93b2a2e7f445461162e8a5Dan Gohman for (const unsigned *i = EVI->idx_begin(), *e = EVI->idx_end(); i != e; ++i) 1769995be7d07a0ed1f70a93b2a2e7f445461162e8a5Dan Gohman Out << ", " << *i; 1770995be7d07a0ed1f70a93b2a2e7f445461162e8a5Dan Gohman } else if (const InsertValueInst *IVI = dyn_cast<InsertValueInst>(&I)) { 17718dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman Out << ' '; 17728dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman writeOperand(I.getOperand(0), true); Out << ", "; 1773995be7d07a0ed1f70a93b2a2e7f445461162e8a5Dan Gohman writeOperand(I.getOperand(1), true); 1774995be7d07a0ed1f70a93b2a2e7f445461162e8a5Dan Gohman for (const unsigned *i = IVI->idx_begin(), *e = IVI->idx_end(); i != e; ++i) 1775995be7d07a0ed1f70a93b2a2e7f445461162e8a5Dan Gohman Out << ", " << *i; 1776e6e8826870bee3facb04f950f0bd725f8a88623dBill Wendling } else if (const LandingPadInst *LPI = dyn_cast<LandingPadInst>(&I)) { 1777e6e8826870bee3facb04f950f0bd725f8a88623dBill Wendling Out << ' '; 1778e6e8826870bee3facb04f950f0bd725f8a88623dBill Wendling TypePrinter.print(I.getType(), Out); 1779e6e8826870bee3facb04f950f0bd725f8a88623dBill Wendling Out << " personality "; 1780e6e8826870bee3facb04f950f0bd725f8a88623dBill Wendling writeOperand(I.getOperand(0), true); Out << '\n'; 1781e6e8826870bee3facb04f950f0bd725f8a88623dBill Wendling 1782e6e8826870bee3facb04f950f0bd725f8a88623dBill Wendling if (LPI->isCleanup()) 1783e6e8826870bee3facb04f950f0bd725f8a88623dBill Wendling Out << " cleanup"; 1784e6e8826870bee3facb04f950f0bd725f8a88623dBill Wendling 1785e6e8826870bee3facb04f950f0bd725f8a88623dBill Wendling for (unsigned i = 0, e = LPI->getNumClauses(); i != e; ++i) { 1786e6e8826870bee3facb04f950f0bd725f8a88623dBill Wendling if (i != 0 || LPI->isCleanup()) Out << "\n"; 1787e6e8826870bee3facb04f950f0bd725f8a88623dBill Wendling if (LPI->isCatch(i)) 1788e6e8826870bee3facb04f950f0bd725f8a88623dBill Wendling Out << " catch "; 1789e6e8826870bee3facb04f950f0bd725f8a88623dBill Wendling else 1790e6e8826870bee3facb04f950f0bd725f8a88623dBill Wendling Out << " filter "; 1791e6e8826870bee3facb04f950f0bd725f8a88623dBill Wendling 1792e6e8826870bee3facb04f950f0bd725f8a88623dBill Wendling writeOperand(LPI->getClause(i), true); 1793e6e8826870bee3facb04f950f0bd725f8a88623dBill Wendling } 179457ef4f46c182cdbe014d469892090ff50c739cf9Devang Patel } else if (isa<ReturnInst>(I) && !Operand) { 179557ef4f46c182cdbe014d469892090ff50c739cf9Devang Patel Out << " void"; 1796d511898b581826694e6c651e23343b1e1ba5ba64Chris Lattner } else if (const CallInst *CI = dyn_cast<CallInst>(&I)) { 1797d511898b581826694e6c651e23343b1e1ba5ba64Chris Lattner // Print the calling convention being used. 1798d511898b581826694e6c651e23343b1e1ba5ba64Chris Lattner switch (CI->getCallingConv()) { 1799d511898b581826694e6c651e23343b1e1ba5ba64Chris Lattner case CallingConv::C: break; // default 18000deaab89feb963b314428e3c3c565343cc30b5c9Chris Lattner case CallingConv::Fast: Out << " fastcc"; break; 18010deaab89feb963b314428e3c3c565343cc30b5c9Chris Lattner case CallingConv::Cold: Out << " coldcc"; break; 1802b28a6dce6d57e05aa25520915726f82d2b3dc08dChris Lattner case CallingConv::X86_StdCall: Out << " x86_stdcallcc"; break; 1803385f5a99ecc7fee48a7539bc63d3e1d3b5089c0dAnton Korobeynikov case CallingConv::X86_FastCall: Out << " x86_fastcallcc"; break; 1804ded05e34b65dc42998e9db6ca1abd513e7a9d120Anton Korobeynikov case CallingConv::X86_ThisCall: Out << " x86_thiscallcc"; break; 1805385f5a99ecc7fee48a7539bc63d3e1d3b5089c0dAnton Korobeynikov case CallingConv::ARM_APCS: Out << " arm_apcscc "; break; 1806385f5a99ecc7fee48a7539bc63d3e1d3b5089c0dAnton Korobeynikov case CallingConv::ARM_AAPCS: Out << " arm_aapcscc "; break; 1807385f5a99ecc7fee48a7539bc63d3e1d3b5089c0dAnton Korobeynikov case CallingConv::ARM_AAPCS_VFP:Out << " arm_aapcs_vfpcc "; break; 1808211a14e476abc9b864ab6a5d5e0bbb86d288b650Anton Korobeynikov case CallingConv::MSP430_INTR: Out << " msp430_intrcc "; break; 1809f9930da2ef72350c6c805af09e754e4e6e13d47bChe-Liang Chiou case CallingConv::PTX_Kernel: Out << " ptx_kernel"; break; 1810f9930da2ef72350c6c805af09e754e4e6e13d47bChe-Liang Chiou case CallingConv::PTX_Device: Out << " ptx_device"; break; 1811d511898b581826694e6c651e23343b1e1ba5ba64Chris Lattner default: Out << " cc" << CI->getCallingConv(); break; 1812d511898b581826694e6c651e23343b1e1ba5ba64Chris Lattner } 1813d511898b581826694e6c651e23343b1e1ba5ba64Chris Lattner 18147bbdf0c8489794721f23ee6b00af021c24f007d7Gabor Greif Operand = CI->getCalledValue(); 18151afcace3a3a138b1b18e5c6270caa8dae2261ae2Chris Lattner PointerType *PTy = cast<PointerType>(Operand->getType()); 18161afcace3a3a138b1b18e5c6270caa8dae2261ae2Chris Lattner FunctionType *FTy = cast<FunctionType>(PTy->getElementType()); 18171afcace3a3a138b1b18e5c6270caa8dae2261ae2Chris Lattner Type *RetTy = FTy->getReturnType(); 18180598866c052147c31b808391f58434ce3dbfb838Devang Patel const AttrListPtr &PAL = CI->getAttributes(); 1819268de0464ee9f0938bfa145fdd5e7f1a46b21cf7Chris Lattner 1820652203f3f3b6dd5062bb450d189a80d8aaa51693Devang Patel if (PAL.getRetAttributes() != Attribute::None) 1821652203f3f3b6dd5062bb450d189a80d8aaa51693Devang Patel Out << ' ' << Attribute::getAsString(PAL.getRetAttributes()); 1822652203f3f3b6dd5062bb450d189a80d8aaa51693Devang Patel 18237a012299ced5cff02cec47055a63d3b2a78bb36fChris Lattner // If possible, print out the short form of the call instruction. We can 1824b579400cd72f274607f4964a9649ea4d38e04c46Chris Lattner // only do this if the first argument is a pointer to a nonvararg function, 18257a012299ced5cff02cec47055a63d3b2a78bb36fChris Lattner // and if the return type is not a pointer to a function. 1826268de0464ee9f0938bfa145fdd5e7f1a46b21cf7Chris Lattner // 18278dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman Out << ' '; 18287a012299ced5cff02cec47055a63d3b2a78bb36fChris Lattner if (!FTy->isVarArg() && 18291df9859c40492511b8aa4321eb76496005d3b75bDuncan Sands (!RetTy->isPointerTy() || 18301df9859c40492511b8aa4321eb76496005d3b75bDuncan Sands !cast<PointerType>(RetTy)->getElementType()->isFunctionTy())) { 18310f7364b4aa15263827af49d046fd6147ac769eefChris Lattner TypePrinter.print(RetTy, Out); 18328dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman Out << ' '; 1833268de0464ee9f0938bfa145fdd5e7f1a46b21cf7Chris Lattner writeOperand(Operand, false); 1834268de0464ee9f0938bfa145fdd5e7f1a46b21cf7Chris Lattner } else { 1835268de0464ee9f0938bfa145fdd5e7f1a46b21cf7Chris Lattner writeOperand(Operand, true); 1836268de0464ee9f0938bfa145fdd5e7f1a46b21cf7Chris Lattner } 18370313e0b44dcd77acd334d3f324c7da527179a690Misha Brukman Out << '('; 18387bbdf0c8489794721f23ee6b00af021c24f007d7Gabor Greif for (unsigned op = 0, Eop = CI->getNumArgOperands(); op < Eop; ++op) { 18397bbdf0c8489794721f23ee6b00af021c24f007d7Gabor Greif if (op > 0) 18408dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman Out << ", "; 18417bbdf0c8489794721f23ee6b00af021c24f007d7Gabor Greif writeParamOperand(CI->getArgOperand(op), PAL.getParamAttributes(op + 1)); 1842009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner } 18438dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman Out << ')'; 184419c874638d9478a5d5028854817a5ee72293bb2bDevang Patel if (PAL.getFnAttributes() != Attribute::None) 184519c874638d9478a5d5028854817a5ee72293bb2bDevang Patel Out << ' ' << Attribute::getAsString(PAL.getFnAttributes()); 18467e70829632f82de15db187845666aaca6e04b792Chris Lattner } else if (const InvokeInst *II = dyn_cast<InvokeInst>(&I)) { 1847c9f7500d1752feac7cece26d20007a99d21f677cGabor Greif Operand = II->getCalledValue(); 18481afcace3a3a138b1b18e5c6270caa8dae2261ae2Chris Lattner PointerType *PTy = cast<PointerType>(Operand->getType()); 18491afcace3a3a138b1b18e5c6270caa8dae2261ae2Chris Lattner FunctionType *FTy = cast<FunctionType>(PTy->getElementType()); 18501afcace3a3a138b1b18e5c6270caa8dae2261ae2Chris Lattner Type *RetTy = FTy->getReturnType(); 18510598866c052147c31b808391f58434ce3dbfb838Devang Patel const AttrListPtr &PAL = II->getAttributes(); 18527a012299ced5cff02cec47055a63d3b2a78bb36fChris Lattner 1853d511898b581826694e6c651e23343b1e1ba5ba64Chris Lattner // Print the calling convention being used. 1854d511898b581826694e6c651e23343b1e1ba5ba64Chris Lattner switch (II->getCallingConv()) { 1855d511898b581826694e6c651e23343b1e1ba5ba64Chris Lattner case CallingConv::C: break; // default 18560deaab89feb963b314428e3c3c565343cc30b5c9Chris Lattner case CallingConv::Fast: Out << " fastcc"; break; 18570deaab89feb963b314428e3c3c565343cc30b5c9Chris Lattner case CallingConv::Cold: Out << " coldcc"; break; 18588dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman case CallingConv::X86_StdCall: Out << " x86_stdcallcc"; break; 18598dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman case CallingConv::X86_FastCall: Out << " x86_fastcallcc"; break; 1860ded05e34b65dc42998e9db6ca1abd513e7a9d120Anton Korobeynikov case CallingConv::X86_ThisCall: Out << " x86_thiscallcc"; break; 1861385f5a99ecc7fee48a7539bc63d3e1d3b5089c0dAnton Korobeynikov case CallingConv::ARM_APCS: Out << " arm_apcscc "; break; 1862385f5a99ecc7fee48a7539bc63d3e1d3b5089c0dAnton Korobeynikov case CallingConv::ARM_AAPCS: Out << " arm_aapcscc "; break; 1863385f5a99ecc7fee48a7539bc63d3e1d3b5089c0dAnton Korobeynikov case CallingConv::ARM_AAPCS_VFP:Out << " arm_aapcs_vfpcc "; break; 1864211a14e476abc9b864ab6a5d5e0bbb86d288b650Anton Korobeynikov case CallingConv::MSP430_INTR: Out << " msp430_intrcc "; break; 1865f9930da2ef72350c6c805af09e754e4e6e13d47bChe-Liang Chiou case CallingConv::PTX_Kernel: Out << " ptx_kernel"; break; 1866f9930da2ef72350c6c805af09e754e4e6e13d47bChe-Liang Chiou case CallingConv::PTX_Device: Out << " ptx_device"; break; 1867d511898b581826694e6c651e23343b1e1ba5ba64Chris Lattner default: Out << " cc" << II->getCallingConv(); break; 1868d511898b581826694e6c651e23343b1e1ba5ba64Chris Lattner } 1869d511898b581826694e6c651e23343b1e1ba5ba64Chris Lattner 1870652203f3f3b6dd5062bb450d189a80d8aaa51693Devang Patel if (PAL.getRetAttributes() != Attribute::None) 1871652203f3f3b6dd5062bb450d189a80d8aaa51693Devang Patel Out << ' ' << Attribute::getAsString(PAL.getRetAttributes()); 1872652203f3f3b6dd5062bb450d189a80d8aaa51693Devang Patel 18737a012299ced5cff02cec47055a63d3b2a78bb36fChris Lattner // If possible, print out the short form of the invoke instruction. We can 18747a012299ced5cff02cec47055a63d3b2a78bb36fChris Lattner // only do this if the first argument is a pointer to a nonvararg function, 18757a012299ced5cff02cec47055a63d3b2a78bb36fChris Lattner // and if the return type is not a pointer to a function. 18767a012299ced5cff02cec47055a63d3b2a78bb36fChris Lattner // 18772b6c3d9ff13180e84301da5b7d17c755704fbec0Dan Gohman Out << ' '; 18787a012299ced5cff02cec47055a63d3b2a78bb36fChris Lattner if (!FTy->isVarArg() && 18791df9859c40492511b8aa4321eb76496005d3b75bDuncan Sands (!RetTy->isPointerTy() || 18801df9859c40492511b8aa4321eb76496005d3b75bDuncan Sands !cast<PointerType>(RetTy)->getElementType()->isFunctionTy())) { 18810f7364b4aa15263827af49d046fd6147ac769eefChris Lattner TypePrinter.print(RetTy, Out); 18822b6c3d9ff13180e84301da5b7d17c755704fbec0Dan Gohman Out << ' '; 18837a012299ced5cff02cec47055a63d3b2a78bb36fChris Lattner writeOperand(Operand, false); 18847a012299ced5cff02cec47055a63d3b2a78bb36fChris Lattner } else { 18857a012299ced5cff02cec47055a63d3b2a78bb36fChris Lattner writeOperand(Operand, true); 18867a012299ced5cff02cec47055a63d3b2a78bb36fChris Lattner } 18870313e0b44dcd77acd334d3f324c7da527179a690Misha Brukman Out << '('; 18887bbdf0c8489794721f23ee6b00af021c24f007d7Gabor Greif for (unsigned op = 0, Eop = II->getNumArgOperands(); op < Eop; ++op) { 1889c9f7500d1752feac7cece26d20007a99d21f677cGabor Greif if (op) 18908dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman Out << ", "; 18917bbdf0c8489794721f23ee6b00af021c24f007d7Gabor Greif writeParamOperand(II->getArgOperand(op), PAL.getParamAttributes(op + 1)); 1892e02fa8551d20081534afa46e0976811687e5183aChris Lattner } 1893e02fa8551d20081534afa46e0976811687e5183aChris Lattner 18948dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman Out << ')'; 189519c874638d9478a5d5028854817a5ee72293bb2bDevang Patel if (PAL.getFnAttributes() != Attribute::None) 189619c874638d9478a5d5028854817a5ee72293bb2bDevang Patel Out << ' ' << Attribute::getAsString(PAL.getFnAttributes()); 189719c874638d9478a5d5028854817a5ee72293bb2bDevang Patel 189801889caf73a2faa3b77142851faa09abad5c73b0Dan Gohman Out << "\n to "; 1899e02fa8551d20081534afa46e0976811687e5183aChris Lattner writeOperand(II->getNormalDest(), true); 19008dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman Out << " unwind "; 1901aeb2a1d70807aa626f335fb23d47bc604ffeaa15Chris Lattner writeOperand(II->getUnwindDest(), true); 1902e02fa8551d20081534afa46e0976811687e5183aChris Lattner 19037b929dad59785f62a66f7c58615082f98441e95eVictor Hernandez } else if (const AllocaInst *AI = dyn_cast<AllocaInst>(&I)) { 19040313e0b44dcd77acd334d3f324c7da527179a690Misha Brukman Out << ' '; 19050f7364b4aa15263827af49d046fd6147ac769eefChris Lattner TypePrinter.print(AI->getType()->getElementType(), Out); 190669bff07b4dc95fd0cc9d7580977beb08259daa17Dan Gohman if (!AI->getArraySize() || AI->isArrayAllocation()) { 19078dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman Out << ", "; 190894dc1f29cd1dc669680b7d3caa1f59862a656b83Chris Lattner writeOperand(AI->getArraySize(), true); 1909009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner } 191014b0529532904b9e5a1e34526b4a3209f3e5bc62Nate Begeman if (AI->getAlignment()) { 19119fad0b9974beb76bef763b8fed71d0c8644403d4Chris Lattner Out << ", align " << AI->getAlignment(); 191214b0529532904b9e5a1e34526b4a3209f3e5bc62Nate Begeman } 1913e02fa8551d20081534afa46e0976811687e5183aChris Lattner } else if (isa<CastInst>(I)) { 19148dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman if (Operand) { 19158dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman Out << ' '; 19168dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman writeOperand(Operand, true); // Work with broken code 19178dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman } 19180313e0b44dcd77acd334d3f324c7da527179a690Misha Brukman Out << " to "; 19190f7364b4aa15263827af49d046fd6147ac769eefChris Lattner TypePrinter.print(I.getType(), Out); 19204d45bd007d0c3a3a6e5b3876b67fd495acb0db2bChris Lattner } else if (isa<VAArgInst>(I)) { 19218dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman if (Operand) { 19228dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman Out << ' '; 19238dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman writeOperand(Operand, true); // Work with broken code 19248dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman } 19250313e0b44dcd77acd334d3f324c7da527179a690Misha Brukman Out << ", "; 19260f7364b4aa15263827af49d046fd6147ac769eefChris Lattner TypePrinter.print(I.getType(), Out); 19270f7364b4aa15263827af49d046fd6147ac769eefChris Lattner } else if (Operand) { // Print the normal way. 1928009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner 1929fd93908ae8b9684fe71c239e3c6cfe13ff6a2663Misha Brukman // PrintAllTypes - Instructions who have operands of all the same type 1930009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner // omit the type from all but the first operand. If the instruction has 1931009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner // different type operands (for example br), then they are all printed. 1932009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner bool PrintAllTypes = false; 19331afcace3a3a138b1b18e5c6270caa8dae2261ae2Chris Lattner Type *TheType = Operand->getType(); 1934009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner 1935ebe57e36dff2dc3a7ceea99202bdb9eb6fe938bcReid Spencer // Select, Store and ShuffleVector always print all types. 19366494768ffcdf75e6e69a7955282db9ab9ab2e6fbDevang Patel if (isa<SelectInst>(I) || isa<StoreInst>(I) || isa<ShuffleVectorInst>(I) 19376494768ffcdf75e6e69a7955282db9ab9ab2e6fbDevang Patel || isa<ReturnInst>(I)) { 1938ffd9bf404cd36c93d82b0080113ccc6d230915b3Chris Lattner PrintAllTypes = true; 1939ffd9bf404cd36c93d82b0080113ccc6d230915b3Chris Lattner } else { 1940ffd9bf404cd36c93d82b0080113ccc6d230915b3Chris Lattner for (unsigned i = 1, E = I.getNumOperands(); i != E; ++i) { 1941ffd9bf404cd36c93d82b0080113ccc6d230915b3Chris Lattner Operand = I.getOperand(i); 19426ad2b2a3d20c667e01535fed4bc7f4753aa6fc85Nuno Lopes // note that Operand shouldn't be null, but the test helps make dump() 19436ad2b2a3d20c667e01535fed4bc7f4753aa6fc85Nuno Lopes // more tolerant of malformed IR 1944a8c78a9e89afcca4f003c55bcdbd41a23ecd5c8dNuno Lopes if (Operand && Operand->getType() != TheType) { 1945ffd9bf404cd36c93d82b0080113ccc6d230915b3Chris Lattner PrintAllTypes = true; // We have differing types! Print them all! 1946ffd9bf404cd36c93d82b0080113ccc6d230915b3Chris Lattner break; 1947ffd9bf404cd36c93d82b0080113ccc6d230915b3Chris Lattner } 1948009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner } 1949009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner } 1950fd93908ae8b9684fe71c239e3c6cfe13ff6a2663Misha Brukman 1951c1824996451d5ea93864fcd34ba8ea5e5f03e368Chris Lattner if (!PrintAllTypes) { 19520313e0b44dcd77acd334d3f324c7da527179a690Misha Brukman Out << ' '; 19530f7364b4aa15263827af49d046fd6147ac769eefChris Lattner TypePrinter.print(TheType, Out); 1954c1824996451d5ea93864fcd34ba8ea5e5f03e368Chris Lattner } 1955009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner 19568dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman Out << ' '; 19577e70829632f82de15db187845666aaca6e04b792Chris Lattner for (unsigned i = 0, E = I.getNumOperands(); i != E; ++i) { 19588dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman if (i) Out << ", "; 19597e70829632f82de15db187845666aaca6e04b792Chris Lattner writeOperand(I.getOperand(i), PrintAllTypes); 1960009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner } 1961009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner } 1962a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar 196321006d40ac9ec7715bca2095451075a83773dc52Eli Friedman // Print atomic ordering/alignment for memory operations 196421006d40ac9ec7715bca2095451075a83773dc52Eli Friedman if (const LoadInst *LI = dyn_cast<LoadInst>(&I)) { 196521006d40ac9ec7715bca2095451075a83773dc52Eli Friedman if (LI->isAtomic()) 196621006d40ac9ec7715bca2095451075a83773dc52Eli Friedman writeAtomic(LI->getOrdering(), LI->getSynchScope()); 196721006d40ac9ec7715bca2095451075a83773dc52Eli Friedman if (LI->getAlignment()) 196821006d40ac9ec7715bca2095451075a83773dc52Eli Friedman Out << ", align " << LI->getAlignment(); 196921006d40ac9ec7715bca2095451075a83773dc52Eli Friedman } else if (const StoreInst *SI = dyn_cast<StoreInst>(&I)) { 197021006d40ac9ec7715bca2095451075a83773dc52Eli Friedman if (SI->isAtomic()) 197121006d40ac9ec7715bca2095451075a83773dc52Eli Friedman writeAtomic(SI->getOrdering(), SI->getSynchScope()); 197221006d40ac9ec7715bca2095451075a83773dc52Eli Friedman if (SI->getAlignment()) 197321006d40ac9ec7715bca2095451075a83773dc52Eli Friedman Out << ", align " << SI->getAlignment(); 1974ff03048c1350fcc4fda1ef6d6c57252f3a950854Eli Friedman } else if (const AtomicCmpXchgInst *CXI = dyn_cast<AtomicCmpXchgInst>(&I)) { 1975ff03048c1350fcc4fda1ef6d6c57252f3a950854Eli Friedman writeAtomic(CXI->getOrdering(), CXI->getSynchScope()); 1976ff03048c1350fcc4fda1ef6d6c57252f3a950854Eli Friedman } else if (const AtomicRMWInst *RMWI = dyn_cast<AtomicRMWInst>(&I)) { 1977ff03048c1350fcc4fda1ef6d6c57252f3a950854Eli Friedman writeAtomic(RMWI->getOrdering(), RMWI->getSynchScope()); 197847f3513dd574535aeb40c9eb11134f0899e92269Eli Friedman } else if (const FenceInst *FI = dyn_cast<FenceInst>(&I)) { 197947f3513dd574535aeb40c9eb11134f0899e92269Eli Friedman writeAtomic(FI->getOrdering(), FI->getSynchScope()); 198043c7f37942a35398fd1e14b22f435f483a0ee863Christopher Lamb } 1981009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner 19827d05c46d601cbb52be605019548c34286c02e3a3Chris Lattner // Print Metadata info. 1983fa0c54e3b88f103abb247e471917a6e6a5bb9a0fNick Lewycky SmallVector<std::pair<unsigned, MDNode*>, 4> InstMD; 1984fa0c54e3b88f103abb247e471917a6e6a5bb9a0fNick Lewycky I.getAllMetadata(InstMD); 1985f3d5c915502a64921bff4ed96d8e8171f85b73f3Erick Tryzelaar if (!InstMD.empty()) { 1986f3d5c915502a64921bff4ed96d8e8171f85b73f3Erick Tryzelaar SmallVector<StringRef, 8> MDNames; 1987f3d5c915502a64921bff4ed96d8e8171f85b73f3Erick Tryzelaar I.getType()->getContext().getMDKindNames(MDNames); 1988f3d5c915502a64921bff4ed96d8e8171f85b73f3Erick Tryzelaar for (unsigned i = 0, e = InstMD.size(); i != e; ++i) { 1989f3d5c915502a64921bff4ed96d8e8171f85b73f3Erick Tryzelaar unsigned Kind = InstMD[i].first; 1990f3d5c915502a64921bff4ed96d8e8171f85b73f3Erick Tryzelaar if (Kind < MDNames.size()) { 1991f3d5c915502a64921bff4ed96d8e8171f85b73f3Erick Tryzelaar Out << ", !" << MDNames[Kind]; 1992f3d5c915502a64921bff4ed96d8e8171f85b73f3Erick Tryzelaar } else { 1993f3d5c915502a64921bff4ed96d8e8171f85b73f3Erick Tryzelaar Out << ", !<unknown kind #" << Kind << ">"; 1994f3d5c915502a64921bff4ed96d8e8171f85b73f3Erick Tryzelaar } 19953bdfbf5d56d52fc4c390df77f98ba2c46951b51aDan Gohman Out << ' '; 19963bdfbf5d56d52fc4c390df77f98ba2c46951b51aDan Gohman WriteAsOperandInternal(Out, InstMD[i].second, &TypePrinter, &Machine, 19973bdfbf5d56d52fc4c390df77f98ba2c46951b51aDan Gohman TheModule); 1998fa0c54e3b88f103abb247e471917a6e6a5bb9a0fNick Lewycky } 19997f93f4d66c54e2628fbd159fa19bcfbe601458aeDevang Patel } 2000e02fa8551d20081534afa46e0976811687e5183aChris Lattner printInfoComment(I); 2001009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner} 2002009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner 20036e6b1805dae72803fbfe45f9aee2ab9ebfb4ec77Chris Lattnerstatic void WriteMDNodeComment(const MDNode *Node, 20043472766f9eb7d66f234c390ce1b3a8b76f0ee9ceDuncan Sands formatted_raw_ostream &Out) { 20056e6b1805dae72803fbfe45f9aee2ab9ebfb4ec77Chris Lattner if (Node->getNumOperands() < 1) 20066e6b1805dae72803fbfe45f9aee2ab9ebfb4ec77Chris Lattner return; 20076e6b1805dae72803fbfe45f9aee2ab9ebfb4ec77Chris Lattner ConstantInt *CI = dyn_cast_or_null<ConstantInt>(Node->getOperand(0)); 20086e6b1805dae72803fbfe45f9aee2ab9ebfb4ec77Chris Lattner if (!CI) return; 200966797ff2e1433c1005f911c954a2953238d04554Dan Gohman APInt Val = CI->getValue(); 201066797ff2e1433c1005f911c954a2953238d04554Dan Gohman APInt Tag = Val & ~APInt(Val.getBitWidth(), LLVMDebugVersionMask); 20110df823461dd3de0146c656cba4697d96998f3d24Devang Patel if (Val.ult(LLVMDebugVersion11)) 20126e6b1805dae72803fbfe45f9aee2ab9ebfb4ec77Chris Lattner return; 201318801ecd487df27201b894db72aff4b2c7396e18Andrew Trick 20146e6b1805dae72803fbfe45f9aee2ab9ebfb4ec77Chris Lattner Out.PadToColumn(50); 201529020a3b454f9fc84f899197556aa71914b51e24Devang Patel if (Tag == dwarf::DW_TAG_user_base) 20166e6b1805dae72803fbfe45f9aee2ab9ebfb4ec77Chris Lattner Out << "; [ DW_TAG_user_base ]"; 201766797ff2e1433c1005f911c954a2953238d04554Dan Gohman else if (Tag.isIntN(32)) { 201866797ff2e1433c1005f911c954a2953238d04554Dan Gohman if (const char *TagName = dwarf::TagString(Tag.getZExtValue())) 201966797ff2e1433c1005f911c954a2953238d04554Dan Gohman Out << "; [ " << TagName << " ]"; 202066797ff2e1433c1005f911c954a2953238d04554Dan Gohman } 20216e6b1805dae72803fbfe45f9aee2ab9ebfb4ec77Chris Lattner} 20226e6b1805dae72803fbfe45f9aee2ab9ebfb4ec77Chris Lattner 20236e6b1805dae72803fbfe45f9aee2ab9ebfb4ec77Chris Lattnervoid AssemblyWriter::writeAllMDNodes() { 20246e6b1805dae72803fbfe45f9aee2ab9ebfb4ec77Chris Lattner SmallVector<const MDNode *, 16> Nodes; 2025307c9893fc30758041a3649a8bed2b4b4cc405d4Chris Lattner Nodes.resize(Machine.mdn_size()); 2026307c9893fc30758041a3649a8bed2b4b4cc405d4Chris Lattner for (SlotTracker::mdn_iterator I = Machine.mdn_begin(), E = Machine.mdn_end(); 2027307c9893fc30758041a3649a8bed2b4b4cc405d4Chris Lattner I != E; ++I) 20286e6b1805dae72803fbfe45f9aee2ab9ebfb4ec77Chris Lattner Nodes[I->second] = cast<MDNode>(I->first); 202918801ecd487df27201b894db72aff4b2c7396e18Andrew Trick 20306e6b1805dae72803fbfe45f9aee2ab9ebfb4ec77Chris Lattner for (unsigned i = 0, e = Nodes.size(); i != e; ++i) { 20316e6b1805dae72803fbfe45f9aee2ab9ebfb4ec77Chris Lattner Out << '!' << i << " = metadata "; 20322b4b1e2e603d5543bf2fe0ad45b62ca7bfaee81dChris Lattner printMDNodeBody(Nodes[i]); 20336e6b1805dae72803fbfe45f9aee2ab9ebfb4ec77Chris Lattner } 20346e6b1805dae72803fbfe45f9aee2ab9ebfb4ec77Chris Lattner} 20356e6b1805dae72803fbfe45f9aee2ab9ebfb4ec77Chris Lattner 20366e6b1805dae72803fbfe45f9aee2ab9ebfb4ec77Chris Lattnervoid AssemblyWriter::printMDNodeBody(const MDNode *Node) { 20373bdfbf5d56d52fc4c390df77f98ba2c46951b51aDan Gohman WriteMDNodeBodyInternal(Out, Node, &TypePrinter, &Machine, TheModule); 20386e6b1805dae72803fbfe45f9aee2ab9ebfb4ec77Chris Lattner WriteMDNodeComment(Node, Out); 20396e6b1805dae72803fbfe45f9aee2ab9ebfb4ec77Chris Lattner Out << "\n"; 20406e6b1805dae72803fbfe45f9aee2ab9ebfb4ec77Chris Lattner} 2041009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner 2042009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner//===----------------------------------------------------------------------===// 2043009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner// External Interface declarations 2044009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner//===----------------------------------------------------------------------===// 2045009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner 2046683e922d299bdfa9ec609bd58a0eed20568303f1Dan Gohmanvoid Module::print(raw_ostream &ROS, AssemblyAnnotationWriter *AAW) const { 2047944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner SlotTracker SlotTable(this); 2048683e922d299bdfa9ec609bd58a0eed20568303f1Dan Gohman formatted_raw_ostream OS(ROS); 2049944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner AssemblyWriter W(OS, SlotTable, this, AAW); 2050bd72b3201b24f6ae574b2a1949348f514fcd4c4fChris Lattner W.printModule(this); 205175cf7cf00d391ac6ca22d6240fa9d99ed427d1d5Chris Lattner} 2052009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner 205317aa92c92a925b4a674440c7ef088c223990e854Dan Gohmanvoid NamedMDNode::print(raw_ostream &ROS, AssemblyAnnotationWriter *AAW) const { 205417aa92c92a925b4a674440c7ef088c223990e854Dan Gohman SlotTracker SlotTable(getParent()); 205517aa92c92a925b4a674440c7ef088c223990e854Dan Gohman formatted_raw_ostream OS(ROS); 205617aa92c92a925b4a674440c7ef088c223990e854Dan Gohman AssemblyWriter W(OS, SlotTable, getParent(), AAW); 205717aa92c92a925b4a674440c7ef088c223990e854Dan Gohman W.printNamedMDNode(this); 205817aa92c92a925b4a674440c7ef088c223990e854Dan Gohman} 205917aa92c92a925b4a674440c7ef088c223990e854Dan Gohman 20606d4306e63c2ca40a0482bf74a077540bb9cda25eChris Lattnervoid Type::print(raw_ostream &OS) const { 20616d4306e63c2ca40a0482bf74a077540bb9cda25eChris Lattner if (this == 0) { 20626d4306e63c2ca40a0482bf74a077540bb9cda25eChris Lattner OS << "<null Type>"; 20636d4306e63c2ca40a0482bf74a077540bb9cda25eChris Lattner return; 20646d4306e63c2ca40a0482bf74a077540bb9cda25eChris Lattner } 20651afcace3a3a138b1b18e5c6270caa8dae2261ae2Chris Lattner TypePrinting TP; 20661afcace3a3a138b1b18e5c6270caa8dae2261ae2Chris Lattner TP.print(const_cast<Type*>(this), OS); 206718801ecd487df27201b894db72aff4b2c7396e18Andrew Trick 20681afcace3a3a138b1b18e5c6270caa8dae2261ae2Chris Lattner // If the type is a named struct type, print the body as well. 20691afcace3a3a138b1b18e5c6270caa8dae2261ae2Chris Lattner if (StructType *STy = dyn_cast<StructType>(const_cast<Type*>(this))) 2070c4d0e9fbddfe6b0ee5d5d7ef8eb1b341a8a242cfChris Lattner if (!STy->isLiteral()) { 20711afcace3a3a138b1b18e5c6270caa8dae2261ae2Chris Lattner OS << " = type "; 20721afcace3a3a138b1b18e5c6270caa8dae2261ae2Chris Lattner TP.printStructBody(STy, OS); 20731afcace3a3a138b1b18e5c6270caa8dae2261ae2Chris Lattner } 2074009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner} 2075009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner 2076683e922d299bdfa9ec609bd58a0eed20568303f1Dan Gohmanvoid Value::print(raw_ostream &ROS, AssemblyAnnotationWriter *AAW) const { 2077944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner if (this == 0) { 20781220e10f70f89e0f8082344646d79805edf9025dDan Gohman ROS << "printing a <null> value\n"; 2079944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner return; 2080944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner } 20811220e10f70f89e0f8082344646d79805edf9025dDan Gohman formatted_raw_ostream OS(ROS); 2082944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner if (const Instruction *I = dyn_cast<Instruction>(this)) { 2083944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner const Function *F = I->getParent() ? I->getParent()->getParent() : 0; 2084944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner SlotTracker SlotTable(F); 2085dbe85bffd775620d7c93c041ad5bd49801eb9d14Chris Lattner AssemblyWriter W(OS, SlotTable, getModuleFromVal(I), AAW); 2086bd72b3201b24f6ae574b2a1949348f514fcd4c4fChris Lattner W.printInstruction(*I); 2087944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner } else if (const BasicBlock *BB = dyn_cast<BasicBlock>(this)) { 2088944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner SlotTracker SlotTable(BB->getParent()); 20896e6b1805dae72803fbfe45f9aee2ab9ebfb4ec77Chris Lattner AssemblyWriter W(OS, SlotTable, getModuleFromVal(BB), AAW); 2090bd72b3201b24f6ae574b2a1949348f514fcd4c4fChris Lattner W.printBasicBlock(BB); 2091944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner } else if (const GlobalValue *GV = dyn_cast<GlobalValue>(this)) { 2092944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner SlotTracker SlotTable(GV->getParent()); 2093ba0941fbe0db832b0bdca450688b63ddf6a45b0aDan Gohman AssemblyWriter W(OS, SlotTable, GV->getParent(), AAW); 2094bd72b3201b24f6ae574b2a1949348f514fcd4c4fChris Lattner if (const GlobalVariable *V = dyn_cast<GlobalVariable>(GV)) 2095bd72b3201b24f6ae574b2a1949348f514fcd4c4fChris Lattner W.printGlobal(V); 2096bd72b3201b24f6ae574b2a1949348f514fcd4c4fChris Lattner else if (const Function *F = dyn_cast<Function>(GV)) 2097bd72b3201b24f6ae574b2a1949348f514fcd4c4fChris Lattner W.printFunction(F); 2098bd72b3201b24f6ae574b2a1949348f514fcd4c4fChris Lattner else 2099bd72b3201b24f6ae574b2a1949348f514fcd4c4fChris Lattner W.printAlias(cast<GlobalAlias>(GV)); 2100fcd65ae28fe797c174be350a07955713fd42d110Devang Patel } else if (const MDNode *N = dyn_cast<MDNode>(this)) { 21018fffff537194e2375e65600f27d716c99f0eb38aVictor Hernandez const Function *F = N->getFunction(); 2102559588b156611aaab33d8b46dc0575508a49da2bVictor Hernandez SlotTracker SlotTable(F); 210379b78a43ece977899b654fe3c19d0c94f963c128Dan Gohman AssemblyWriter W(OS, SlotTable, F ? F->getParent() : 0, AAW); 21046e6b1805dae72803fbfe45f9aee2ab9ebfb4ec77Chris Lattner W.printMDNodeBody(N); 2105944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner } else if (const Constant *C = dyn_cast<Constant>(this)) { 2106e9fa33eb6629aea72cd59560216bb6a7b8ebc689Chris Lattner TypePrinting TypePrinter; 21070f7364b4aa15263827af49d046fd6147ac769eefChris Lattner TypePrinter.print(C->getType(), OS); 21086d4306e63c2ca40a0482bf74a077540bb9cda25eChris Lattner OS << ' '; 21093bdfbf5d56d52fc4c390df77f98ba2c46951b51aDan Gohman WriteConstantInternal(OS, C, TypePrinter, 0, 0); 21104a3d3a54ebc7125f851e978b7188bda1bfdc14acChris Lattner } else if (isa<InlineAsm>(this) || isa<MDString>(this) || 21114a3d3a54ebc7125f851e978b7188bda1bfdc14acChris Lattner isa<Argument>(this)) { 2112944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner WriteAsOperand(OS, this, true, 0); 2113944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner } else { 2114cd26ec5f3c089b3b24f80ff200e94e681eb9e1eeDan Gohman // Otherwise we don't know what it is. Call the virtual function to 2115cd26ec5f3c089b3b24f80ff200e94e681eb9e1eeDan Gohman // allow a subclass to print itself. 2116cd26ec5f3c089b3b24f80ff200e94e681eb9e1eeDan Gohman printCustom(OS); 2117944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner } 2118944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner} 2119944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner 2120cd26ec5f3c089b3b24f80ff200e94e681eb9e1eeDan Gohman// Value::printCustom - subclasses should override this to implement printing. 2121cd26ec5f3c089b3b24f80ff200e94e681eb9e1eeDan Gohmanvoid Value::printCustom(raw_ostream &OS) const { 2122cd26ec5f3c089b3b24f80ff200e94e681eb9e1eeDan Gohman llvm_unreachable("Unknown value to print out!"); 2123cd26ec5f3c089b3b24f80ff200e94e681eb9e1eeDan Gohman} 2124cd26ec5f3c089b3b24f80ff200e94e681eb9e1eeDan Gohman 21257059e530edcf3294315f02751c9df5e485f2932cChris Lattner// Value::dump - allow easy printing of Values from the debugger. 2126d865e02ea24e92f8fd1d2b49a26ea0676a879ce7David Greenevoid Value::dump() const { print(dbgs()); dbgs() << '\n'; } 2127fa452c05504ebee698e00050d04e1a43b0f21045Reid Spencer 21287059e530edcf3294315f02751c9df5e485f2932cChris Lattner// Type::dump - allow easy printing of Types from the debugger. 21291afcace3a3a138b1b18e5c6270caa8dae2261ae2Chris Lattnervoid Type::dump() const { print(dbgs()); } 2130c287137ce7455c63be0075e0d5aba0bab4f125eaChris Lattner 21317059e530edcf3294315f02751c9df5e485f2932cChris Lattner// Module::dump() - Allow printing of Modules from the debugger. 2132d865e02ea24e92f8fd1d2b49a26ea0676a879ce7David Greenevoid Module::dump() const { print(dbgs(), 0); } 2133f4374e46fd9f5267d650bbcd04b10c3df0f21177Bill Wendling 2134f4374e46fd9f5267d650bbcd04b10c3df0f21177Bill Wendling// NamedMDNode::dump() - Allow printing of NamedMDNodes from the debugger. 2135f4374e46fd9f5267d650bbcd04b10c3df0f21177Bill Wendlingvoid NamedMDNode::dump() const { print(dbgs(), 0); } 2136