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" 2358a6cf2c620ce4c127b926408d78aa607a373251Bill Wendling#include "llvm/DebugInfo.h" 243eb59c0074978cb4687779365dbe664e2e18e0b2Chris Lattner#include "llvm/DerivedTypes.h" 25863517aea0b06770c809396be985c1c4cc50d3c4Chris Lattner#include "llvm/InlineAsm.h" 263990b121cf4a0b280ed3e54cf13870cbf4259e78Chris Lattner#include "llvm/IntrinsicInst.h" 271224c386981f7948f298ed9ad444c40609570f2eDan Gohman#include "llvm/Operator.h" 28f2d577b27a56a928fa3e77ab0cd83e7597751313Chris Lattner#include "llvm/Module.h" 29573e97326766359d3a9747eed7b7d47b6c33fa0fBill Wendling#include "llvm/TypeFinder.h" 30ef9b9a793949469cdaa4ab6d0173136229dcab7bReid Spencer#include "llvm/ValueSymbolTable.h" 311afcace3a3a138b1b18e5c6270caa8dae2261ae2Chris Lattner#include "llvm/ADT/DenseMap.h" 325908839cedfa4cfb3b7a89db01f987c47e64aa90Benjamin Kramer#include "llvm/ADT/SmallString.h" 33551ccae044b0ff658fe629dd67edd5ffe75d10e8Reid Spencer#include "llvm/ADT/StringExtras.h" 34551ccae044b0ff658fe629dd67edd5ffe75d10e8Reid Spencer#include "llvm/ADT/STLExtras.h" 358f487662869d10c866b9ebdccb8f6a7509d3ab56Bill Wendling#include "llvm/Support/CFG.h" 36d865e02ea24e92f8fd1d2b49a26ea0676a879ce7David Greene#include "llvm/Support/Debug.h" 372d5988d9baba15ecf27b724937dbf44182a518a2Devang Patel#include "llvm/Support/Dwarf.h" 38ab7c09b6b6f4516a631fd6788918c237c83939afTorok Edwin#include "llvm/Support/ErrorHandling.h" 39cb6682fa44e13262bdef7dd22b4ba90f8c2e7b97Jim Laskey#include "llvm/Support/MathExtras.h" 40683e922d299bdfa9ec609bd58a0eed20568303f1Dan Gohman#include "llvm/Support/FormattedStream.h" 41007377f381e253cc559db8d3c94fa89b0eb55fadChris Lattner#include <algorithm> 424ad513ca153430c3a7f36be1ef43af04534e1f5dReid Spencer#include <cctype> 4331f8499e83dc4dccbb57ea7e76d1fd49b7010d0cChris Lattnerusing namespace llvm; 44d0fde30ce850b78371fd1386338350591f9ff494Brian Gaeke 45edd5d9ece15f73ec1a31423a4ae39774aa6c521cReid Spencer// Make virtual table appear in this compilation unit. 46edd5d9ece15f73ec1a31423a4ae39774aa6c521cReid SpencerAssemblyAnnotationWriter::~AssemblyAnnotationWriter() {} 47edd5d9ece15f73ec1a31423a4ae39774aa6c521cReid Spencer 486ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner//===----------------------------------------------------------------------===// 496ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner// Helper Functions 506ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner//===----------------------------------------------------------------------===// 510e25e1cdcf1f73bb9f56b91155d5c0ef42ef0a44Reid Spencer 52207b5bc6a15e12a87c3c861da680b8b23559a34cChris Lattnerstatic const Module *getModuleFromVal(const Value *V) { 53949a3628024248db01d5b13e03c415e0c88e90e4Chris Lattner if (const Argument *MA = dyn_cast<Argument>(V)) 54207b5bc6a15e12a87c3c861da680b8b23559a34cChris Lattner return MA->getParent() ? MA->getParent()->getParent() : 0; 55a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar 566ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner if (const BasicBlock *BB = dyn_cast<BasicBlock>(V)) 57207b5bc6a15e12a87c3c861da680b8b23559a34cChris Lattner return BB->getParent() ? BB->getParent()->getParent() : 0; 58a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar 596ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner if (const Instruction *I = dyn_cast<Instruction>(V)) { 6079df7c0aaa18129e55968c8783ef8346807bd4afChris Lattner const Function *M = I->getParent() ? I->getParent()->getParent() : 0; 61207b5bc6a15e12a87c3c861da680b8b23559a34cChris Lattner return M ? M->getParent() : 0; 626ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner } 6318801ecd487df27201b894db72aff4b2c7396e18Andrew Trick 646ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner if (const GlobalValue *GV = dyn_cast<GlobalValue>(V)) 65207b5bc6a15e12a87c3c861da680b8b23559a34cChris Lattner return GV->getParent(); 66207b5bc6a15e12a87c3c861da680b8b23559a34cChris Lattner return 0; 67207b5bc6a15e12a87c3c861da680b8b23559a34cChris Lattner} 68207b5bc6a15e12a87c3c861da680b8b23559a34cChris Lattner 69e9da133ae0a3ea5bbadd14f33c5005a4e25422eaDaniel Dunbar// PrintEscapedString - Print each character of the specified string, escaping 70e9da133ae0a3ea5bbadd14f33c5005a4e25422eaDaniel Dunbar// it if it is not printable or if it is an escape char. 718fff12605e125e264bca213e748e1ec972437a55Chris Lattnerstatic void PrintEscapedString(StringRef Name, raw_ostream &Out) { 7203d7651c3652e1f0cc86e79b26585d86818da9cfDaniel Dunbar for (unsigned i = 0, e = Name.size(); i != e; ++i) { 7303d7651c3652e1f0cc86e79b26585d86818da9cfDaniel Dunbar unsigned char C = Name[i]; 7434a408639fbdb41add1a86af689c73fb4e9947a8Nick Lewycky if (isprint(C) && C != '\\' && C != '"') 75e9da133ae0a3ea5bbadd14f33c5005a4e25422eaDaniel Dunbar Out << C; 76e9da133ae0a3ea5bbadd14f33c5005a4e25422eaDaniel Dunbar else 77e9da133ae0a3ea5bbadd14f33c5005a4e25422eaDaniel Dunbar Out << '\\' << hexdigit(C >> 4) << hexdigit(C & 0x0F); 78e9da133ae0a3ea5bbadd14f33c5005a4e25422eaDaniel Dunbar } 79e9da133ae0a3ea5bbadd14f33c5005a4e25422eaDaniel Dunbar} 80e9da133ae0a3ea5bbadd14f33c5005a4e25422eaDaniel Dunbar 81addd44427cb1b46d85f2eb31c267dd1d43914252Chris Lattnerenum PrefixType { 82addd44427cb1b46d85f2eb31c267dd1d43914252Chris Lattner GlobalPrefix, 83addd44427cb1b46d85f2eb31c267dd1d43914252Chris Lattner LabelPrefix, 84cad3580e99ae045e138a1d57de589a01c1f9b296Daniel Dunbar LocalPrefix, 85cad3580e99ae045e138a1d57de589a01c1f9b296Daniel Dunbar NoPrefix 86addd44427cb1b46d85f2eb31c267dd1d43914252Chris Lattner}; 87addd44427cb1b46d85f2eb31c267dd1d43914252Chris Lattner 88c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner/// PrintLLVMName - Turn the specified name into an 'LLVM name', which is either 89c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner/// prefixed with % (if the string only contains simple characters) or is 90c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner/// surrounded with ""'s (if it has special chars in it). Print it out. 9138e59891ee4417a9be2f8146ce0ba3269e38ac21Benjamin Kramerstatic void PrintLLVMName(raw_ostream &OS, StringRef Name, PrefixType Prefix) { 9261717b3d94a74ad7bb3ade7ed4662921a4124fc8Jay Foad assert(!Name.empty() && "Cannot get empty name!"); 93c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner switch (Prefix) { 94cad3580e99ae045e138a1d57de589a01c1f9b296Daniel Dunbar case NoPrefix: break; 9552b26de325e32c71159376853384789b7646eaf4Chris Lattner case GlobalPrefix: OS << '@'; break; 9652b26de325e32c71159376853384789b7646eaf4Chris Lattner case LabelPrefix: break; 9752b26de325e32c71159376853384789b7646eaf4Chris Lattner case LocalPrefix: OS << '%'; break; 98042348343e8c10b6cd60d2dca2b95ba27428ddc2Nick Lewycky } 99a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar 100c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner // Scan the name to see if it needs quotes first. 10103d7651c3652e1f0cc86e79b26585d86818da9cfDaniel Dunbar bool NeedsQuotes = isdigit(Name[0]); 102c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner if (!NeedsQuotes) { 10303d7651c3652e1f0cc86e79b26585d86818da9cfDaniel Dunbar for (unsigned i = 0, e = Name.size(); i != e; ++i) { 10409dab827b2923fd201070fc87df435fabc3abcf7Aaron Ballman // By making this unsigned, the value passed in to isalnum will always be 10509dab827b2923fd201070fc87df435fabc3abcf7Aaron Ballman // in the range 0-255. This is important when building with MSVC because 10609dab827b2923fd201070fc87df435fabc3abcf7Aaron Ballman // its implementation will assert. This situation can arise when dealing 10709dab827b2923fd201070fc87df435fabc3abcf7Aaron Ballman // with UTF-8 multibyte characters. 10809dab827b2923fd201070fc87df435fabc3abcf7Aaron Ballman unsigned char C = Name[i]; 109c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner if (!isalnum(C) && C != '-' && C != '.' && C != '_') { 110c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner NeedsQuotes = true; 111c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner break; 112c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner } 113c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner } 114c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner } 115a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar 116c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner // If we didn't need any quotes, just write out the name in one blast. 117c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner if (!NeedsQuotes) { 11803d7651c3652e1f0cc86e79b26585d86818da9cfDaniel Dunbar OS << Name; 119c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner return; 120c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner } 121a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar 122c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner // Okay, we need quotes. Output the quotes and escape any scary characters as 123c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner // needed. 124c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner OS << '"'; 12503d7651c3652e1f0cc86e79b26585d86818da9cfDaniel Dunbar PrintEscapedString(Name, OS); 126c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner OS << '"'; 127c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner} 128c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner 1296ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner/// PrintLLVMName - Turn the specified name into an 'LLVM name', which is either 1306ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner/// prefixed with % (if the string only contains simple characters) or is 1316ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner/// surrounded with ""'s (if it has special chars in it). Print it out. 1321220e10f70f89e0f8082344646d79805edf9025dDan Gohmanstatic void PrintLLVMName(raw_ostream &OS, const Value *V) { 133a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar PrintLLVMName(OS, V->getName(), 134c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner isa<GlobalValue>(V) ? GlobalPrefix : LocalPrefix); 135c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner} 136c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner 1379cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner//===----------------------------------------------------------------------===// 1389cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner// TypePrinting Class: Type printing machinery 1399cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner//===----------------------------------------------------------------------===// 1409cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner 141fb78b33018bdd84d1879ae8a15f53d6b474982e9Chris Lattner/// TypePrinting - Type printing machinery. 142fb78b33018bdd84d1879ae8a15f53d6b474982e9Chris Lattnernamespace { 143fb78b33018bdd84d1879ae8a15f53d6b474982e9Chris Lattnerclass TypePrinting { 144fb78b33018bdd84d1879ae8a15f53d6b474982e9Chris Lattner TypePrinting(const TypePrinting &); // DO NOT IMPLEMENT 145fb78b33018bdd84d1879ae8a15f53d6b474982e9Chris Lattner void operator=(const TypePrinting&); // DO NOT IMPLEMENT 146fb78b33018bdd84d1879ae8a15f53d6b474982e9Chris Lattnerpublic: 1471afcace3a3a138b1b18e5c6270caa8dae2261ae2Chris Lattner 1481afcace3a3a138b1b18e5c6270caa8dae2261ae2Chris Lattner /// NamedTypes - The named types that are used by the current module. 149573e97326766359d3a9747eed7b7d47b6c33fa0fBill Wendling TypeFinder NamedTypes; 15018801ecd487df27201b894db72aff4b2c7396e18Andrew Trick 1511afcace3a3a138b1b18e5c6270caa8dae2261ae2Chris Lattner /// NumberedTypes - The numbered types, along with their value. 1521afcace3a3a138b1b18e5c6270caa8dae2261ae2Chris Lattner DenseMap<StructType*, unsigned> NumberedTypes; 15318801ecd487df27201b894db72aff4b2c7396e18Andrew Trick 1549cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner 1551afcace3a3a138b1b18e5c6270caa8dae2261ae2Chris Lattner TypePrinting() {} 1561afcace3a3a138b1b18e5c6270caa8dae2261ae2Chris Lattner ~TypePrinting() {} 15718801ecd487df27201b894db72aff4b2c7396e18Andrew Trick 1581afcace3a3a138b1b18e5c6270caa8dae2261ae2Chris Lattner void incorporateTypes(const Module &M); 15918801ecd487df27201b894db72aff4b2c7396e18Andrew Trick 1601afcace3a3a138b1b18e5c6270caa8dae2261ae2Chris Lattner void print(Type *Ty, raw_ostream &OS); 16118801ecd487df27201b894db72aff4b2c7396e18Andrew Trick 1621afcace3a3a138b1b18e5c6270caa8dae2261ae2Chris Lattner void printStructBody(StructType *Ty, raw_ostream &OS); 163fb78b33018bdd84d1879ae8a15f53d6b474982e9Chris Lattner}; 164fb78b33018bdd84d1879ae8a15f53d6b474982e9Chris Lattner} // end anonymous namespace. 165d8030a7179a0d301dd3fb4c42c65a8f01dfe398eChris Lattner 166a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar 1671afcace3a3a138b1b18e5c6270caa8dae2261ae2Chris Lattnervoid TypePrinting::incorporateTypes(const Module &M) { 168573e97326766359d3a9747eed7b7d47b6c33fa0fBill Wendling NamedTypes.run(M, false); 16918801ecd487df27201b894db72aff4b2c7396e18Andrew Trick 1701afcace3a3a138b1b18e5c6270caa8dae2261ae2Chris Lattner // The list of struct types we got back includes all the struct types, split 1711afcace3a3a138b1b18e5c6270caa8dae2261ae2Chris Lattner // the unnamed ones out to a numbering and remove the anonymous structs. 1721afcace3a3a138b1b18e5c6270caa8dae2261ae2Chris Lattner unsigned NextNumber = 0; 17318801ecd487df27201b894db72aff4b2c7396e18Andrew Trick 1741afcace3a3a138b1b18e5c6270caa8dae2261ae2Chris Lattner std::vector<StructType*>::iterator NextToUse = NamedTypes.begin(), I, E; 1751afcace3a3a138b1b18e5c6270caa8dae2261ae2Chris Lattner for (I = NamedTypes.begin(), E = NamedTypes.end(); I != E; ++I) { 1761afcace3a3a138b1b18e5c6270caa8dae2261ae2Chris Lattner StructType *STy = *I; 17718801ecd487df27201b894db72aff4b2c7396e18Andrew Trick 1781afcace3a3a138b1b18e5c6270caa8dae2261ae2Chris Lattner // Ignore anonymous types. 179c4d0e9fbddfe6b0ee5d5d7ef8eb1b341a8a242cfChris Lattner if (STy->isLiteral()) 1801afcace3a3a138b1b18e5c6270caa8dae2261ae2Chris Lattner continue; 18118801ecd487df27201b894db72aff4b2c7396e18Andrew Trick 1821afcace3a3a138b1b18e5c6270caa8dae2261ae2Chris Lattner if (STy->getName().empty()) 1831afcace3a3a138b1b18e5c6270caa8dae2261ae2Chris Lattner NumberedTypes[STy] = NextNumber++; 1841afcace3a3a138b1b18e5c6270caa8dae2261ae2Chris Lattner else 1851afcace3a3a138b1b18e5c6270caa8dae2261ae2Chris Lattner *NextToUse++ = STy; 1869cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner } 18718801ecd487df27201b894db72aff4b2c7396e18Andrew Trick 1881afcace3a3a138b1b18e5c6270caa8dae2261ae2Chris Lattner NamedTypes.erase(NextToUse, NamedTypes.end()); 1891afcace3a3a138b1b18e5c6270caa8dae2261ae2Chris Lattner} 190a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar 191a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar 1921afcace3a3a138b1b18e5c6270caa8dae2261ae2Chris Lattner/// CalcTypeName - Write the specified type to the specified raw_ostream, making 1931afcace3a3a138b1b18e5c6270caa8dae2261ae2Chris Lattner/// use of type names or up references to shorten the type name where possible. 1941afcace3a3a138b1b18e5c6270caa8dae2261ae2Chris Lattnervoid TypePrinting::print(Type *Ty, raw_ostream &OS) { 1959cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner switch (Ty->getTypeID()) { 19630794269d5ba15613d4e013d9fe1eb9e892fa6daChris Lattner case Type::VoidTyID: OS << "void"; break; 197ce16339930a2b03e53b4e6399ef59c092a7f2cfaDan Gohman case Type::HalfTyID: OS << "half"; break; 19830794269d5ba15613d4e013d9fe1eb9e892fa6daChris Lattner case Type::FloatTyID: OS << "float"; break; 19930794269d5ba15613d4e013d9fe1eb9e892fa6daChris Lattner case Type::DoubleTyID: OS << "double"; break; 20030794269d5ba15613d4e013d9fe1eb9e892fa6daChris Lattner case Type::X86_FP80TyID: OS << "x86_fp80"; break; 20130794269d5ba15613d4e013d9fe1eb9e892fa6daChris Lattner case Type::FP128TyID: OS << "fp128"; break; 20230794269d5ba15613d4e013d9fe1eb9e892fa6daChris Lattner case Type::PPC_FP128TyID: OS << "ppc_fp128"; break; 20330794269d5ba15613d4e013d9fe1eb9e892fa6daChris Lattner case Type::LabelTyID: OS << "label"; break; 2047a0370f66ab5739f42ffe822f33494e0de9b182bNick Lewycky case Type::MetadataTyID: OS << "metadata"; break; 205bb811a244567aa8a1522203f15588f4d001b7353Dale Johannesen case Type::X86_MMXTyID: OS << "x86_mmx"; break; 206583ffd878744e27b2ced28d67026c6ad83175ef2Chris Lattner case Type::IntegerTyID: 20730794269d5ba15613d4e013d9fe1eb9e892fa6daChris Lattner OS << 'i' << cast<IntegerType>(Ty)->getBitWidth(); 2081afcace3a3a138b1b18e5c6270caa8dae2261ae2Chris Lattner return; 209a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar 21036942d7383df0ab00f7f5b16c04f330aedf5c9f1Chris Lattner case Type::FunctionTyID: { 2111afcace3a3a138b1b18e5c6270caa8dae2261ae2Chris Lattner FunctionType *FTy = cast<FunctionType>(Ty); 2121afcace3a3a138b1b18e5c6270caa8dae2261ae2Chris Lattner print(FTy->getReturnType(), OS); 21330794269d5ba15613d4e013d9fe1eb9e892fa6daChris Lattner OS << " ("; 21436942d7383df0ab00f7f5b16c04f330aedf5c9f1Chris Lattner for (FunctionType::param_iterator I = FTy->param_begin(), 21536942d7383df0ab00f7f5b16c04f330aedf5c9f1Chris Lattner E = FTy->param_end(); I != E; ++I) { 21636942d7383df0ab00f7f5b16c04f330aedf5c9f1Chris Lattner if (I != FTy->param_begin()) 21730794269d5ba15613d4e013d9fe1eb9e892fa6daChris Lattner OS << ", "; 2181afcace3a3a138b1b18e5c6270caa8dae2261ae2Chris Lattner print(*I, OS); 2199cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner } 22036942d7383df0ab00f7f5b16c04f330aedf5c9f1Chris Lattner if (FTy->isVarArg()) { 22130794269d5ba15613d4e013d9fe1eb9e892fa6daChris Lattner if (FTy->getNumParams()) OS << ", "; 22230794269d5ba15613d4e013d9fe1eb9e892fa6daChris Lattner OS << "..."; 2239cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner } 22430794269d5ba15613d4e013d9fe1eb9e892fa6daChris Lattner OS << ')'; 2251afcace3a3a138b1b18e5c6270caa8dae2261ae2Chris Lattner return; 22636942d7383df0ab00f7f5b16c04f330aedf5c9f1Chris Lattner } 22736942d7383df0ab00f7f5b16c04f330aedf5c9f1Chris Lattner case Type::StructTyID: { 2281afcace3a3a138b1b18e5c6270caa8dae2261ae2Chris Lattner StructType *STy = cast<StructType>(Ty); 22918801ecd487df27201b894db72aff4b2c7396e18Andrew Trick 230c4d0e9fbddfe6b0ee5d5d7ef8eb1b341a8a242cfChris Lattner if (STy->isLiteral()) 2311afcace3a3a138b1b18e5c6270caa8dae2261ae2Chris Lattner return printStructBody(STy, OS); 2321afcace3a3a138b1b18e5c6270caa8dae2261ae2Chris Lattner 2331afcace3a3a138b1b18e5c6270caa8dae2261ae2Chris Lattner if (!STy->getName().empty()) 2341afcace3a3a138b1b18e5c6270caa8dae2261ae2Chris Lattner return PrintLLVMName(OS, STy->getName(), LocalPrefix); 23518801ecd487df27201b894db72aff4b2c7396e18Andrew Trick 2361afcace3a3a138b1b18e5c6270caa8dae2261ae2Chris Lattner DenseMap<StructType*, unsigned>::iterator I = NumberedTypes.find(STy); 2371afcace3a3a138b1b18e5c6270caa8dae2261ae2Chris Lattner if (I != NumberedTypes.end()) 2381afcace3a3a138b1b18e5c6270caa8dae2261ae2Chris Lattner OS << '%' << I->second; 2391afcace3a3a138b1b18e5c6270caa8dae2261ae2Chris Lattner else // Not enumerated, print the hex address. 2405a83264fa26eb573ef25b2db0cafbeef3eeb54c8Benjamin Kramer OS << "%\"type " << STy << '\"'; 2411afcace3a3a138b1b18e5c6270caa8dae2261ae2Chris Lattner return; 24236942d7383df0ab00f7f5b16c04f330aedf5c9f1Chris Lattner } 24336942d7383df0ab00f7f5b16c04f330aedf5c9f1Chris Lattner case Type::PointerTyID: { 2441afcace3a3a138b1b18e5c6270caa8dae2261ae2Chris Lattner PointerType *PTy = cast<PointerType>(Ty); 2451afcace3a3a138b1b18e5c6270caa8dae2261ae2Chris Lattner print(PTy->getElementType(), OS); 24636942d7383df0ab00f7f5b16c04f330aedf5c9f1Chris Lattner if (unsigned AddressSpace = PTy->getAddressSpace()) 24730794269d5ba15613d4e013d9fe1eb9e892fa6daChris Lattner OS << " addrspace(" << AddressSpace << ')'; 24830794269d5ba15613d4e013d9fe1eb9e892fa6daChris Lattner OS << '*'; 2491afcace3a3a138b1b18e5c6270caa8dae2261ae2Chris Lattner return; 25036942d7383df0ab00f7f5b16c04f330aedf5c9f1Chris Lattner } 25136942d7383df0ab00f7f5b16c04f330aedf5c9f1Chris Lattner case Type::ArrayTyID: { 2521afcace3a3a138b1b18e5c6270caa8dae2261ae2Chris Lattner ArrayType *ATy = cast<ArrayType>(Ty); 25330794269d5ba15613d4e013d9fe1eb9e892fa6daChris Lattner OS << '[' << ATy->getNumElements() << " x "; 2541afcace3a3a138b1b18e5c6270caa8dae2261ae2Chris Lattner print(ATy->getElementType(), OS); 25530794269d5ba15613d4e013d9fe1eb9e892fa6daChris Lattner OS << ']'; 2561afcace3a3a138b1b18e5c6270caa8dae2261ae2Chris Lattner return; 25736942d7383df0ab00f7f5b16c04f330aedf5c9f1Chris Lattner } 25836942d7383df0ab00f7f5b16c04f330aedf5c9f1Chris Lattner case Type::VectorTyID: { 2591afcace3a3a138b1b18e5c6270caa8dae2261ae2Chris Lattner VectorType *PTy = cast<VectorType>(Ty); 26030794269d5ba15613d4e013d9fe1eb9e892fa6daChris Lattner OS << "<" << PTy->getNumElements() << " x "; 2611afcace3a3a138b1b18e5c6270caa8dae2261ae2Chris Lattner print(PTy->getElementType(), OS); 26230794269d5ba15613d4e013d9fe1eb9e892fa6daChris Lattner OS << '>'; 2631afcace3a3a138b1b18e5c6270caa8dae2261ae2Chris Lattner return; 26436942d7383df0ab00f7f5b16c04f330aedf5c9f1Chris Lattner } 26536942d7383df0ab00f7f5b16c04f330aedf5c9f1Chris Lattner default: 26630794269d5ba15613d4e013d9fe1eb9e892fa6daChris Lattner OS << "<unrecognized-type>"; 2671afcace3a3a138b1b18e5c6270caa8dae2261ae2Chris Lattner return; 2689cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner } 2699cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner} 2709cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner 2711afcace3a3a138b1b18e5c6270caa8dae2261ae2Chris Lattnervoid TypePrinting::printStructBody(StructType *STy, raw_ostream &OS) { 2721afcace3a3a138b1b18e5c6270caa8dae2261ae2Chris Lattner if (STy->isOpaque()) { 2731afcace3a3a138b1b18e5c6270caa8dae2261ae2Chris Lattner OS << "opaque"; 2741afcace3a3a138b1b18e5c6270caa8dae2261ae2Chris Lattner return; 2759cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner } 27618801ecd487df27201b894db72aff4b2c7396e18Andrew Trick 2771afcace3a3a138b1b18e5c6270caa8dae2261ae2Chris Lattner if (STy->isPacked()) 2781afcace3a3a138b1b18e5c6270caa8dae2261ae2Chris Lattner OS << '<'; 27918801ecd487df27201b894db72aff4b2c7396e18Andrew Trick 2801afcace3a3a138b1b18e5c6270caa8dae2261ae2Chris Lattner if (STy->getNumElements() == 0) { 2811afcace3a3a138b1b18e5c6270caa8dae2261ae2Chris Lattner OS << "{}"; 2821afcace3a3a138b1b18e5c6270caa8dae2261ae2Chris Lattner } else { 2831afcace3a3a138b1b18e5c6270caa8dae2261ae2Chris Lattner StructType::element_iterator I = STy->element_begin(); 2841afcace3a3a138b1b18e5c6270caa8dae2261ae2Chris Lattner OS << "{ "; 2851afcace3a3a138b1b18e5c6270caa8dae2261ae2Chris Lattner print(*I++, OS); 2861afcace3a3a138b1b18e5c6270caa8dae2261ae2Chris Lattner for (StructType::element_iterator E = STy->element_end(); I != E; ++I) { 2871afcace3a3a138b1b18e5c6270caa8dae2261ae2Chris Lattner OS << ", "; 2881afcace3a3a138b1b18e5c6270caa8dae2261ae2Chris Lattner print(*I, OS); 289e9fa33eb6629aea72cd59560216bb6a7b8ebc689Chris Lattner } 29018801ecd487df27201b894db72aff4b2c7396e18Andrew Trick 2911afcace3a3a138b1b18e5c6270caa8dae2261ae2Chris Lattner OS << " }"; 292e9fa33eb6629aea72cd59560216bb6a7b8ebc689Chris Lattner } 2931afcace3a3a138b1b18e5c6270caa8dae2261ae2Chris Lattner if (STy->isPacked()) 2941afcace3a3a138b1b18e5c6270caa8dae2261ae2Chris Lattner OS << '>'; 295e9fa33eb6629aea72cd59560216bb6a7b8ebc689Chris Lattner} 296e9fa33eb6629aea72cd59560216bb6a7b8ebc689Chris Lattner 2979cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner 2981afcace3a3a138b1b18e5c6270caa8dae2261ae2Chris Lattner 2996ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner//===----------------------------------------------------------------------===// 3006ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner// SlotTracker Class: Enumerate slot numbers for unnamed values 3016ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner//===----------------------------------------------------------------------===// 3026ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 3036ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattnernamespace { 3046ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 3056ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner/// This class provides computation of slot numbers for LLVM Assembly writing. 3066ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner/// 3076ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattnerclass SlotTracker { 3086ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattnerpublic: 309320671d2654a543bbeed5b62efe165430146d55eDevang Patel /// ValueMap - A mapping of Values to slot numbers. 3106ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner typedef DenseMap<const Value*, unsigned> ValueMap; 311a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar 312a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbarprivate: 313320671d2654a543bbeed5b62efe165430146d55eDevang Patel /// TheModule - The module for which we are holding slot numbers. 3146ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner const Module* TheModule; 315a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar 316320671d2654a543bbeed5b62efe165430146d55eDevang Patel /// TheFunction - The function for which we are holding slot numbers. 3176ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner const Function* TheFunction; 3186ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner bool FunctionProcessed; 319a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar 3207f0ce349187e6526ed2d92fe7d2757f84f73ce04Jay Foad /// mMap - The slot map for the module level data. 3216ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner ValueMap mMap; 3226ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner unsigned mNext; 323a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar 3247f0ce349187e6526ed2d92fe7d2757f84f73ce04Jay Foad /// fMap - The slot map for the function level data. 3256ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner ValueMap fMap; 3266ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner unsigned fNext; 327a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar 328320671d2654a543bbeed5b62efe165430146d55eDevang Patel /// mdnMap - Map for MDNodes. 329307c9893fc30758041a3649a8bed2b4b4cc405d4Chris Lattner DenseMap<const MDNode*, unsigned> mdnMap; 330320671d2654a543bbeed5b62efe165430146d55eDevang Patel unsigned mdnNext; 3316ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattnerpublic: 3326ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner /// Construct from a module 3336ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner explicit SlotTracker(const Module *M); 3346ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner /// Construct from a function, starting out in incorp state. 3356ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner explicit SlotTracker(const Function *F); 3366ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 3376ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner /// Return the slot number of the specified value in it's type 3386ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner /// plane. If something is not in the SlotTracker, return -1. 3396ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner int getLocalSlot(const Value *V); 3406ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner int getGlobalSlot(const GlobalValue *V); 341320671d2654a543bbeed5b62efe165430146d55eDevang Patel int getMetadataSlot(const MDNode *N); 3426ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 3436ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner /// If you'd like to deal with a function instead of just a module, use 3446ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner /// this method to get its data into the SlotTracker. 3456ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner void incorporateFunction(const Function *F) { 3466ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner TheFunction = F; 3476ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner FunctionProcessed = false; 3486ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner } 3496ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 3506ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner /// After calling incorporateFunction, use this method to remove the 3516ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner /// most recently incorporated function from the SlotTracker. This 3526ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner /// will reset the state of the machine back to just the module contents. 3536ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner void purgeFunction(); 3546ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 355320671d2654a543bbeed5b62efe165430146d55eDevang Patel /// MDNode map iterators. 356307c9893fc30758041a3649a8bed2b4b4cc405d4Chris Lattner typedef DenseMap<const MDNode*, unsigned>::iterator mdn_iterator; 357307c9893fc30758041a3649a8bed2b4b4cc405d4Chris Lattner mdn_iterator mdn_begin() { return mdnMap.begin(); } 358307c9893fc30758041a3649a8bed2b4b4cc405d4Chris Lattner mdn_iterator mdn_end() { return mdnMap.end(); } 359307c9893fc30758041a3649a8bed2b4b4cc405d4Chris Lattner unsigned mdn_size() const { return mdnMap.size(); } 360307c9893fc30758041a3649a8bed2b4b4cc405d4Chris Lattner bool mdn_empty() const { return mdnMap.empty(); } 361320671d2654a543bbeed5b62efe165430146d55eDevang Patel 3626ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner /// This function does the actual initialization. 3636ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner inline void initialize(); 3646ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 365320671d2654a543bbeed5b62efe165430146d55eDevang Patel // Implementation Details 366320671d2654a543bbeed5b62efe165430146d55eDevang Patelprivate: 3676ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner /// CreateModuleSlot - Insert the specified GlobalValue* into the slot table. 3686ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner void CreateModuleSlot(const GlobalValue *V); 369320671d2654a543bbeed5b62efe165430146d55eDevang Patel 370320671d2654a543bbeed5b62efe165430146d55eDevang Patel /// CreateMetadataSlot - Insert the specified MDNode* into the slot table. 371320671d2654a543bbeed5b62efe165430146d55eDevang Patel void CreateMetadataSlot(const MDNode *N); 372320671d2654a543bbeed5b62efe165430146d55eDevang Patel 3736ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner /// CreateFunctionSlot - Insert the specified Value* into the slot table. 3746ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner void CreateFunctionSlot(const Value *V); 3756ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 3766ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner /// Add all of the module level global variables (and their initializers) 3776ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner /// and function declarations, but not the contents of those functions. 3786ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner void processModule(); 3796ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 380320671d2654a543bbeed5b62efe165430146d55eDevang Patel /// Add all of the functions arguments, basic blocks, and instructions. 3816ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner void processFunction(); 3826ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 3836ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner SlotTracker(const SlotTracker &); // DO NOT IMPLEMENT 3846ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner void operator=(const SlotTracker &); // DO NOT IMPLEMENT 3856ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner}; 3866ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 3876ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner} // end anonymous namespace 3886ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 3896ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 3906ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattnerstatic SlotTracker *createSlotTracker(const Value *V) { 3916ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner if (const Argument *FA = dyn_cast<Argument>(V)) 3926ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner return new SlotTracker(FA->getParent()); 393a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar 3946ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner if (const Instruction *I = dyn_cast<Instruction>(V)) 39562e0590c0e5125b6c0fe5221e6fc552605c27202Andrew Trick if (I->getParent()) 39662e0590c0e5125b6c0fe5221e6fc552605c27202Andrew Trick return new SlotTracker(I->getParent()->getParent()); 397a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar 3986ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner if (const BasicBlock *BB = dyn_cast<BasicBlock>(V)) 3996ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner return new SlotTracker(BB->getParent()); 400a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar 4016ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner if (const GlobalVariable *GV = dyn_cast<GlobalVariable>(V)) 4026ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner return new SlotTracker(GV->getParent()); 403a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar 4046ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner if (const GlobalAlias *GA = dyn_cast<GlobalAlias>(V)) 405a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar return new SlotTracker(GA->getParent()); 406a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar 4076ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner if (const Function *Func = dyn_cast<Function>(V)) 4086ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner return new SlotTracker(Func); 409a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar 4103bdfbf5d56d52fc4c390df77f98ba2c46951b51aDan Gohman if (const MDNode *MD = dyn_cast<MDNode>(V)) { 4113bdfbf5d56d52fc4c390df77f98ba2c46951b51aDan Gohman if (!MD->isFunctionLocal()) 4123bdfbf5d56d52fc4c390df77f98ba2c46951b51aDan Gohman return new SlotTracker(MD->getFunction()); 4133bdfbf5d56d52fc4c390df77f98ba2c46951b51aDan Gohman 4145f72a5ebc84a1935878b5b2d3166a505c520cdfcDale Johannesen return new SlotTracker((Function *)0); 4153bdfbf5d56d52fc4c390df77f98ba2c46951b51aDan Gohman } 4165f72a5ebc84a1935878b5b2d3166a505c520cdfcDale Johannesen 4176ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner return 0; 4186ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner} 4196ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 4206ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner#if 0 421d865e02ea24e92f8fd1d2b49a26ea0676a879ce7David Greene#define ST_DEBUG(X) dbgs() << X 4226ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner#else 423242330371b2b7ab9d5a6c4f5f93ec82c514cc09aChris Lattner#define ST_DEBUG(X) 4246ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner#endif 4256ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 4266ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner// Module level constructor. Causes the contents of the Module (sans functions) 4276ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner// to be added to the slot table. 4286ab910b946b6af54384662fb404d6e9b22fa5727Chris LattnerSlotTracker::SlotTracker(const Module *M) 42918801ecd487df27201b894db72aff4b2c7396e18Andrew Trick : TheModule(M), TheFunction(0), FunctionProcessed(false), 43038cf02ebc977d65f3e1beecd1819a14f7bcf7fa9Chris Lattner mNext(0), fNext(0), mdnNext(0) { 4316ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner} 4326ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 4336ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner// Function level constructor. Causes the contents of the Module and the one 4346ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner// function provided to be added to the slot table. 4356ab910b946b6af54384662fb404d6e9b22fa5727Chris LattnerSlotTracker::SlotTracker(const Function *F) 436cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner : TheModule(F ? F->getParent() : 0), TheFunction(F), FunctionProcessed(false), 4376e6b1805dae72803fbfe45f9aee2ab9ebfb4ec77Chris Lattner mNext(0), fNext(0), mdnNext(0) { 4386ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner} 4396ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 4406ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattnerinline void SlotTracker::initialize() { 4416ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner if (TheModule) { 4426ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner processModule(); 4436ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner TheModule = 0; ///< Prevent re-processing next time we're called. 4446ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner } 445a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar 4466ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner if (TheFunction && !FunctionProcessed) 4476ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner processFunction(); 4486ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner} 4496ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 4506ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner// Iterate through all the global variables, functions, and global 4516ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner// variable initializers and create slots for them. 4526ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattnervoid SlotTracker::processModule() { 453242330371b2b7ab9d5a6c4f5f93ec82c514cc09aChris Lattner ST_DEBUG("begin processModule!\n"); 454a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar 4556ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner // Add all of the unnamed global variables to the value table. 4566ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner for (Module::const_global_iterator I = TheModule->global_begin(), 457320671d2654a543bbeed5b62efe165430146d55eDevang Patel E = TheModule->global_end(); I != E; ++I) { 458a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar if (!I->hasName()) 4596ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner CreateModuleSlot(I); 460320671d2654a543bbeed5b62efe165430146d55eDevang Patel } 461a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar 46237c4a2d6f15ff32c9ae91e333d655a349e195993Devang Patel // Add metadata used by named metadata. 463a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar for (Module::const_named_metadata_iterator 46437c4a2d6f15ff32c9ae91e333d655a349e195993Devang Patel I = TheModule->named_metadata_begin(), 46537c4a2d6f15ff32c9ae91e333d655a349e195993Devang Patel E = TheModule->named_metadata_end(); I != E; ++I) { 46637c4a2d6f15ff32c9ae91e333d655a349e195993Devang Patel const NamedMDNode *NMD = I; 467872814ae048df032bddf9299c850f5bda08299a9Dan Gohman for (unsigned i = 0, e = NMD->getNumOperands(); i != e; ++i) 468872814ae048df032bddf9299c850f5bda08299a9Dan Gohman CreateMetadataSlot(NMD->getOperand(i)); 46937c4a2d6f15ff32c9ae91e333d655a349e195993Devang Patel } 47037c4a2d6f15ff32c9ae91e333d655a349e195993Devang Patel 4716ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner // Add all the unnamed functions to the table. 4726ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner for (Module::const_iterator I = TheModule->begin(), E = TheModule->end(); 4736ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner I != E; ++I) 4746ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner if (!I->hasName()) 4756ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner CreateModuleSlot(I); 476a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar 477242330371b2b7ab9d5a6c4f5f93ec82c514cc09aChris Lattner ST_DEBUG("end processModule!\n"); 4786ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner} 4796ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 4806ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner// Process the arguments, basic blocks, and instructions of a function. 4816ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattnervoid SlotTracker::processFunction() { 482242330371b2b7ab9d5a6c4f5f93ec82c514cc09aChris Lattner ST_DEBUG("begin processFunction!\n"); 4836ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner fNext = 0; 484a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar 4856ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner // Add all the function arguments with no names. 4866ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner for(Function::const_arg_iterator AI = TheFunction->arg_begin(), 4876ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner AE = TheFunction->arg_end(); AI != AE; ++AI) 4886ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner if (!AI->hasName()) 4896ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner CreateFunctionSlot(AI); 490a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar 491242330371b2b7ab9d5a6c4f5f93ec82c514cc09aChris Lattner ST_DEBUG("Inserting Instructions:\n"); 492a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar 4936e6b1805dae72803fbfe45f9aee2ab9ebfb4ec77Chris Lattner SmallVector<std::pair<unsigned, MDNode*>, 4> MDForInst; 49443215788d5d79a0a336ca85442d7c8a45552dd7aDevang Patel 4956ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner // Add all of the basic blocks and instructions with no names. 4966ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner for (Function::const_iterator BB = TheFunction->begin(), 4976ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner E = TheFunction->end(); BB != E; ++BB) { 4986ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner if (!BB->hasName()) 4996ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner CreateFunctionSlot(BB); 50018801ecd487df27201b894db72aff4b2c7396e18Andrew Trick 501a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar for (BasicBlock::const_iterator I = BB->begin(), E = BB->end(); I != E; 502320671d2654a543bbeed5b62efe165430146d55eDevang Patel ++I) { 5033990b121cf4a0b280ed3e54cf13870cbf4259e78Chris Lattner if (!I->getType()->isVoidTy() && !I->hasName()) 5046ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner CreateFunctionSlot(I); 50518801ecd487df27201b894db72aff4b2c7396e18Andrew Trick 506fd450c026ae0e804da7025d3318551b203d584a9Chris Lattner // Intrinsics can directly use metadata. We allow direct calls to any 507fd450c026ae0e804da7025d3318551b203d584a9Chris Lattner // llvm.foo function here, because the target may not be linked into the 508fd450c026ae0e804da7025d3318551b203d584a9Chris Lattner // optimizer. 509fd450c026ae0e804da7025d3318551b203d584a9Chris Lattner if (const CallInst *CI = dyn_cast<CallInst>(I)) { 510fd450c026ae0e804da7025d3318551b203d584a9Chris Lattner if (Function *F = CI->getCalledFunction()) 511fd450c026ae0e804da7025d3318551b203d584a9Chris Lattner if (F->getName().startswith("llvm.")) 512fd450c026ae0e804da7025d3318551b203d584a9Chris Lattner for (unsigned i = 0, e = I->getNumOperands(); i != e; ++i) 513fd450c026ae0e804da7025d3318551b203d584a9Chris Lattner if (MDNode *N = dyn_cast_or_null<MDNode>(I->getOperand(i))) 514fd450c026ae0e804da7025d3318551b203d584a9Chris Lattner CreateMetadataSlot(N); 515fd450c026ae0e804da7025d3318551b203d584a9Chris Lattner } 516a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar 51743215788d5d79a0a336ca85442d7c8a45552dd7aDevang Patel // Process metadata attached with this instruction. 5183990b121cf4a0b280ed3e54cf13870cbf4259e78Chris Lattner I->getAllMetadata(MDForInst); 5193990b121cf4a0b280ed3e54cf13870cbf4259e78Chris Lattner for (unsigned i = 0, e = MDForInst.size(); i != e; ++i) 5203990b121cf4a0b280ed3e54cf13870cbf4259e78Chris Lattner CreateMetadataSlot(MDForInst[i].second); 5216e6b1805dae72803fbfe45f9aee2ab9ebfb4ec77Chris Lattner MDForInst.clear(); 522320671d2654a543bbeed5b62efe165430146d55eDevang Patel } 5236ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner } 52443215788d5d79a0a336ca85442d7c8a45552dd7aDevang Patel 5256ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner FunctionProcessed = true; 526a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar 527242330371b2b7ab9d5a6c4f5f93ec82c514cc09aChris Lattner ST_DEBUG("end processFunction!\n"); 5286ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner} 5296ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 5306ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner/// Clean up after incorporating a function. This is the only way to get out of 5316ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner/// the function incorporation state that affects get*Slot/Create*Slot. Function 5326ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner/// incorporation state is indicated by TheFunction != 0. 5336ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattnervoid SlotTracker::purgeFunction() { 534242330371b2b7ab9d5a6c4f5f93ec82c514cc09aChris Lattner ST_DEBUG("begin purgeFunction!\n"); 5356ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner fMap.clear(); // Simply discard the function level map 5366ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner TheFunction = 0; 5376ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner FunctionProcessed = false; 538242330371b2b7ab9d5a6c4f5f93ec82c514cc09aChris Lattner ST_DEBUG("end purgeFunction!\n"); 5396ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner} 5406ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 5416ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner/// getGlobalSlot - Get the slot number of a global value. 5426ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattnerint SlotTracker::getGlobalSlot(const GlobalValue *V) { 5436ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner // Check for uninitialized state and do lazy initialization. 5446ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner initialize(); 545a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar 5467f0ce349187e6526ed2d92fe7d2757f84f73ce04Jay Foad // Find the value in the module map 5476ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner ValueMap::iterator MI = mMap.find(V); 548aeaf245db33fa8bccdd14bb8899ee0585a75a7b1Dan Gohman return MI == mMap.end() ? -1 : (int)MI->second; 5496ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner} 5506ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 551307c9893fc30758041a3649a8bed2b4b4cc405d4Chris Lattner/// getMetadataSlot - Get the slot number of a MDNode. 552320671d2654a543bbeed5b62efe165430146d55eDevang Patelint SlotTracker::getMetadataSlot(const MDNode *N) { 553320671d2654a543bbeed5b62efe165430146d55eDevang Patel // Check for uninitialized state and do lazy initialization. 554320671d2654a543bbeed5b62efe165430146d55eDevang Patel initialize(); 555a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar 5567f0ce349187e6526ed2d92fe7d2757f84f73ce04Jay Foad // Find the MDNode in the module map 557307c9893fc30758041a3649a8bed2b4b4cc405d4Chris Lattner mdn_iterator MI = mdnMap.find(N); 558320671d2654a543bbeed5b62efe165430146d55eDevang Patel return MI == mdnMap.end() ? -1 : (int)MI->second; 559320671d2654a543bbeed5b62efe165430146d55eDevang Patel} 560320671d2654a543bbeed5b62efe165430146d55eDevang Patel 5616ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 5626ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner/// getLocalSlot - Get the slot number for a value that is local to a function. 5636ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattnerint SlotTracker::getLocalSlot(const Value *V) { 5646ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner assert(!isa<Constant>(V) && "Can't get a constant or global slot with this!"); 565a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar 5666ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner // Check for uninitialized state and do lazy initialization. 5676ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner initialize(); 568a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar 5696ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner ValueMap::iterator FI = fMap.find(V); 570aeaf245db33fa8bccdd14bb8899ee0585a75a7b1Dan Gohman return FI == fMap.end() ? -1 : (int)FI->second; 5716ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner} 5726ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 5736ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 5746ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner/// CreateModuleSlot - Insert the specified GlobalValue* into the slot table. 5756ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattnervoid SlotTracker::CreateModuleSlot(const GlobalValue *V) { 5766ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner assert(V && "Can't insert a null Value into SlotTracker!"); 5774ee93c430367000c80a02ba218ddf712aa3e57edChris Lattner assert(!V->getType()->isVoidTy() && "Doesn't need a slot!"); 5786ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner assert(!V->hasName() && "Doesn't need a slot!"); 579a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar 5806ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner unsigned DestSlot = mNext++; 5816ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner mMap[V] = DestSlot; 582a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar 583242330371b2b7ab9d5a6c4f5f93ec82c514cc09aChris Lattner ST_DEBUG(" Inserting value [" << V->getType() << "] = " << V << " slot=" << 5846ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner DestSlot << " ["); 5856ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner // G = Global, F = Function, A = Alias, o = other 586242330371b2b7ab9d5a6c4f5f93ec82c514cc09aChris Lattner ST_DEBUG((isa<GlobalVariable>(V) ? 'G' : 5876ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner (isa<Function>(V) ? 'F' : 5886ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner (isa<GlobalAlias>(V) ? 'A' : 'o'))) << "]\n"); 5896ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner} 5906ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 5916ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner/// CreateSlot - Create a new slot for the specified value if it has no name. 5926ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattnervoid SlotTracker::CreateFunctionSlot(const Value *V) { 5934ee93c430367000c80a02ba218ddf712aa3e57edChris Lattner assert(!V->getType()->isVoidTy() && !V->hasName() && "Doesn't need a slot!"); 594a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar 5956ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner unsigned DestSlot = fNext++; 5966ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner fMap[V] = DestSlot; 597a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar 5986ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner // G = Global, F = Function, o = other 599242330371b2b7ab9d5a6c4f5f93ec82c514cc09aChris Lattner ST_DEBUG(" Inserting value [" << V->getType() << "] = " << V << " slot=" << 6006ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner DestSlot << " [o]\n"); 601a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar} 6026ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 603320671d2654a543bbeed5b62efe165430146d55eDevang Patel/// CreateModuleSlot - Insert the specified MDNode* into the slot table. 604320671d2654a543bbeed5b62efe165430146d55eDevang Patelvoid SlotTracker::CreateMetadataSlot(const MDNode *N) { 605320671d2654a543bbeed5b62efe165430146d55eDevang Patel assert(N && "Can't insert a null Value into SlotTracker!"); 606a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar 6072b4b1e2e603d5543bf2fe0ad45b62ca7bfaee81dChris Lattner // Don't insert if N is a function-local metadata, these are always printed 6082b4b1e2e603d5543bf2fe0ad45b62ca7bfaee81dChris Lattner // inline. 6093bdfbf5d56d52fc4c390df77f98ba2c46951b51aDan Gohman if (!N->isFunctionLocal()) { 6103bdfbf5d56d52fc4c390df77f98ba2c46951b51aDan Gohman mdn_iterator I = mdnMap.find(N); 6113bdfbf5d56d52fc4c390df77f98ba2c46951b51aDan Gohman if (I != mdnMap.end()) 6123bdfbf5d56d52fc4c390df77f98ba2c46951b51aDan Gohman return; 613320671d2654a543bbeed5b62efe165430146d55eDevang Patel 6143bdfbf5d56d52fc4c390df77f98ba2c46951b51aDan Gohman unsigned DestSlot = mdnNext++; 6153bdfbf5d56d52fc4c390df77f98ba2c46951b51aDan Gohman mdnMap[N] = DestSlot; 6163bdfbf5d56d52fc4c390df77f98ba2c46951b51aDan Gohman } 6176ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 6182b4b1e2e603d5543bf2fe0ad45b62ca7bfaee81dChris Lattner // Recursively add any MDNodes referenced by operands. 6192b4b1e2e603d5543bf2fe0ad45b62ca7bfaee81dChris Lattner for (unsigned i = 0, e = N->getNumOperands(); i != e; ++i) 6202b4b1e2e603d5543bf2fe0ad45b62ca7bfaee81dChris Lattner if (const MDNode *Op = dyn_cast_or_null<MDNode>(N->getOperand(i))) 6212b4b1e2e603d5543bf2fe0ad45b62ca7bfaee81dChris Lattner CreateMetadataSlot(Op); 622320671d2654a543bbeed5b62efe165430146d55eDevang Patel} 6236ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 6246ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner//===----------------------------------------------------------------------===// 6256ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner// AsmWriter Implementation 6266ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner//===----------------------------------------------------------------------===// 6276ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 6281220e10f70f89e0f8082344646d79805edf9025dDan Gohmanstatic void WriteAsOperandInternal(raw_ostream &Out, const Value *V, 629d6c0f65b532f022e584d8f1e3c044593b4c74a99Dan Gohman TypePrinting *TypePrinter, 6303bdfbf5d56d52fc4c390df77f98ba2c46951b51aDan Gohman SlotTracker *Machine, 6313bdfbf5d56d52fc4c390df77f98ba2c46951b51aDan Gohman const Module *Context); 6326ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 6336ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 6346ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 63582c4bc7153d390ad1c2b369e0caef456948b8825Chris Lattnerstatic const char *getPredicateText(unsigned predicate) { 63681dfeb3264d3c1f619c3f73046ded1ac6883e59dReid Spencer const char * pred = "unknown"; 63781dfeb3264d3c1f619c3f73046ded1ac6883e59dReid Spencer switch (predicate) { 6386e6b1805dae72803fbfe45f9aee2ab9ebfb4ec77Chris Lattner case FCmpInst::FCMP_FALSE: pred = "false"; break; 6396e6b1805dae72803fbfe45f9aee2ab9ebfb4ec77Chris Lattner case FCmpInst::FCMP_OEQ: pred = "oeq"; break; 6406e6b1805dae72803fbfe45f9aee2ab9ebfb4ec77Chris Lattner case FCmpInst::FCMP_OGT: pred = "ogt"; break; 6416e6b1805dae72803fbfe45f9aee2ab9ebfb4ec77Chris Lattner case FCmpInst::FCMP_OGE: pred = "oge"; break; 6426e6b1805dae72803fbfe45f9aee2ab9ebfb4ec77Chris Lattner case FCmpInst::FCMP_OLT: pred = "olt"; break; 6436e6b1805dae72803fbfe45f9aee2ab9ebfb4ec77Chris Lattner case FCmpInst::FCMP_OLE: pred = "ole"; break; 6446e6b1805dae72803fbfe45f9aee2ab9ebfb4ec77Chris Lattner case FCmpInst::FCMP_ONE: pred = "one"; break; 6456e6b1805dae72803fbfe45f9aee2ab9ebfb4ec77Chris Lattner case FCmpInst::FCMP_ORD: pred = "ord"; break; 6466e6b1805dae72803fbfe45f9aee2ab9ebfb4ec77Chris Lattner case FCmpInst::FCMP_UNO: pred = "uno"; break; 6476e6b1805dae72803fbfe45f9aee2ab9ebfb4ec77Chris Lattner case FCmpInst::FCMP_UEQ: pred = "ueq"; break; 6486e6b1805dae72803fbfe45f9aee2ab9ebfb4ec77Chris Lattner case FCmpInst::FCMP_UGT: pred = "ugt"; break; 6496e6b1805dae72803fbfe45f9aee2ab9ebfb4ec77Chris Lattner case FCmpInst::FCMP_UGE: pred = "uge"; break; 6506e6b1805dae72803fbfe45f9aee2ab9ebfb4ec77Chris Lattner case FCmpInst::FCMP_ULT: pred = "ult"; break; 6516e6b1805dae72803fbfe45f9aee2ab9ebfb4ec77Chris Lattner case FCmpInst::FCMP_ULE: pred = "ule"; break; 6526e6b1805dae72803fbfe45f9aee2ab9ebfb4ec77Chris Lattner case FCmpInst::FCMP_UNE: pred = "une"; break; 6536e6b1805dae72803fbfe45f9aee2ab9ebfb4ec77Chris Lattner case FCmpInst::FCMP_TRUE: pred = "true"; break; 6546e6b1805dae72803fbfe45f9aee2ab9ebfb4ec77Chris Lattner case ICmpInst::ICMP_EQ: pred = "eq"; break; 6556e6b1805dae72803fbfe45f9aee2ab9ebfb4ec77Chris Lattner case ICmpInst::ICMP_NE: pred = "ne"; break; 6566e6b1805dae72803fbfe45f9aee2ab9ebfb4ec77Chris Lattner case ICmpInst::ICMP_SGT: pred = "sgt"; break; 6576e6b1805dae72803fbfe45f9aee2ab9ebfb4ec77Chris Lattner case ICmpInst::ICMP_SGE: pred = "sge"; break; 6586e6b1805dae72803fbfe45f9aee2ab9ebfb4ec77Chris Lattner case ICmpInst::ICMP_SLT: pred = "slt"; break; 6596e6b1805dae72803fbfe45f9aee2ab9ebfb4ec77Chris Lattner case ICmpInst::ICMP_SLE: pred = "sle"; break; 6606e6b1805dae72803fbfe45f9aee2ab9ebfb4ec77Chris Lattner case ICmpInst::ICMP_UGT: pred = "ugt"; break; 6616e6b1805dae72803fbfe45f9aee2ab9ebfb4ec77Chris Lattner case ICmpInst::ICMP_UGE: pred = "uge"; break; 6626e6b1805dae72803fbfe45f9aee2ab9ebfb4ec77Chris Lattner case ICmpInst::ICMP_ULT: pred = "ult"; break; 6636e6b1805dae72803fbfe45f9aee2ab9ebfb4ec77Chris Lattner case ICmpInst::ICMP_ULE: pred = "ule"; break; 66481dfeb3264d3c1f619c3f73046ded1ac6883e59dReid Spencer } 66581dfeb3264d3c1f619c3f73046ded1ac6883e59dReid Spencer return pred; 66681dfeb3264d3c1f619c3f73046ded1ac6883e59dReid Spencer} 66781dfeb3264d3c1f619c3f73046ded1ac6883e59dReid Spencer 668ff03048c1350fcc4fda1ef6d6c57252f3a950854Eli Friedmanstatic void writeAtomicRMWOperation(raw_ostream &Out, 669ff03048c1350fcc4fda1ef6d6c57252f3a950854Eli Friedman AtomicRMWInst::BinOp Op) { 670ff03048c1350fcc4fda1ef6d6c57252f3a950854Eli Friedman switch (Op) { 671ff03048c1350fcc4fda1ef6d6c57252f3a950854Eli Friedman default: Out << " <unknown operation " << Op << ">"; break; 672ff03048c1350fcc4fda1ef6d6c57252f3a950854Eli Friedman case AtomicRMWInst::Xchg: Out << " xchg"; break; 673ff03048c1350fcc4fda1ef6d6c57252f3a950854Eli Friedman case AtomicRMWInst::Add: Out << " add"; break; 674ff03048c1350fcc4fda1ef6d6c57252f3a950854Eli Friedman case AtomicRMWInst::Sub: Out << " sub"; break; 675ff03048c1350fcc4fda1ef6d6c57252f3a950854Eli Friedman case AtomicRMWInst::And: Out << " and"; break; 676ff03048c1350fcc4fda1ef6d6c57252f3a950854Eli Friedman case AtomicRMWInst::Nand: Out << " nand"; break; 677ff03048c1350fcc4fda1ef6d6c57252f3a950854Eli Friedman case AtomicRMWInst::Or: Out << " or"; break; 678ff03048c1350fcc4fda1ef6d6c57252f3a950854Eli Friedman case AtomicRMWInst::Xor: Out << " xor"; break; 679ff03048c1350fcc4fda1ef6d6c57252f3a950854Eli Friedman case AtomicRMWInst::Max: Out << " max"; break; 680ff03048c1350fcc4fda1ef6d6c57252f3a950854Eli Friedman case AtomicRMWInst::Min: Out << " min"; break; 681ff03048c1350fcc4fda1ef6d6c57252f3a950854Eli Friedman case AtomicRMWInst::UMax: Out << " umax"; break; 682ff03048c1350fcc4fda1ef6d6c57252f3a950854Eli Friedman case AtomicRMWInst::UMin: Out << " umin"; break; 683ff03048c1350fcc4fda1ef6d6c57252f3a950854Eli Friedman } 684ff03048c1350fcc4fda1ef6d6c57252f3a950854Eli Friedman} 685320671d2654a543bbeed5b62efe165430146d55eDevang Patel 6861220e10f70f89e0f8082344646d79805edf9025dDan Gohmanstatic void WriteOptimizationInfo(raw_ostream &Out, const User *U) { 6871224c386981f7948f298ed9ad444c40609570f2eDan Gohman if (const OverflowingBinaryOperator *OBO = 6881224c386981f7948f298ed9ad444c40609570f2eDan Gohman dyn_cast<OverflowingBinaryOperator>(U)) { 6895078f84c82814e4d33846f9ef54281619d362f8aDan Gohman if (OBO->hasNoUnsignedWrap()) 69059858cf7926702596cf708daf21aeaf5b6feedf8Dan Gohman Out << " nuw"; 6915078f84c82814e4d33846f9ef54281619d362f8aDan Gohman if (OBO->hasNoSignedWrap()) 69259858cf7926702596cf708daf21aeaf5b6feedf8Dan Gohman Out << " nsw"; 69335bda8914c0d1c02a6f90f42e7810c83150737e1Chris Lattner } else if (const PossiblyExactOperator *Div = 69435bda8914c0d1c02a6f90f42e7810c83150737e1Chris Lattner dyn_cast<PossiblyExactOperator>(U)) { 6951224c386981f7948f298ed9ad444c40609570f2eDan Gohman if (Div->isExact()) 69659858cf7926702596cf708daf21aeaf5b6feedf8Dan Gohman Out << " exact"; 697dd8004dc73d091ccb3927dbbc3b41639a3738ae3Dan Gohman } else if (const GEPOperator *GEP = dyn_cast<GEPOperator>(U)) { 698dd8004dc73d091ccb3927dbbc3b41639a3738ae3Dan Gohman if (GEP->isInBounds()) 699dd8004dc73d091ccb3927dbbc3b41639a3738ae3Dan Gohman Out << " inbounds"; 7001224c386981f7948f298ed9ad444c40609570f2eDan Gohman } 7011224c386981f7948f298ed9ad444c40609570f2eDan Gohman} 7021224c386981f7948f298ed9ad444c40609570f2eDan Gohman 70340cf12fe775e0a689427f3c8779d8b6447bab3caDan Gohmanstatic void WriteConstantInternal(raw_ostream &Out, const Constant *CV, 70440cf12fe775e0a689427f3c8779d8b6447bab3caDan Gohman TypePrinting &TypePrinter, 7053bdfbf5d56d52fc4c390df77f98ba2c46951b51aDan Gohman SlotTracker *Machine, 7063bdfbf5d56d52fc4c390df77f98ba2c46951b51aDan Gohman const Module *Context) { 7076b6b6ef1677fa71b1072c2911b4c1f9524a558c9Zhou Sheng if (const ConstantInt *CI = dyn_cast<ConstantInt>(CV)) { 708b0bc6c361da9009e8414efde317d9bbff755f6c0Duncan Sands if (CI->getType()->isIntegerTy(1)) { 709579dca12c2cfd60bc18aaadbd5331897d48fec29Reid Spencer Out << (CI->getZExtValue() ? "true" : "false"); 710fad86b003a839cef40ec8ce8408322f4913368caChris Lattner return; 711fad86b003a839cef40ec8ce8408322f4913368caChris Lattner } 712fad86b003a839cef40ec8ce8408322f4913368caChris Lattner Out << CI->getValue(); 713fad86b003a839cef40ec8ce8408322f4913368caChris Lattner return; 714fad86b003a839cef40ec8ce8408322f4913368caChris Lattner } 715a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar 716fad86b003a839cef40ec8ce8408322f4913368caChris Lattner if (const ConstantFP *CFP = dyn_cast<ConstantFP>(CV)) { 717057beb8d4fe8d5dad98ad80a49a649730c3a3eb0Tobias Grosser if (&CFP->getValueAPF().getSemantics() == &APFloat::IEEEsingle || 718ce16339930a2b03e53b4e6399ef59c092a7f2cfaDan Gohman &CFP->getValueAPF().getSemantics() == &APFloat::IEEEdouble) { 7199d5f45607793052bf5b4436d1b43013fab9999acDale Johannesen // We would like to output the FP constant value in exponential notation, 7209d5f45607793052bf5b4436d1b43013fab9999acDale Johannesen // but we cannot do this if doing so will lose precision. Check here to 7219d5f45607793052bf5b4436d1b43013fab9999acDale Johannesen // make sure that we only output it in exponential format if we can parse 7229d5f45607793052bf5b4436d1b43013fab9999acDale Johannesen // the value back and get the same value. 7239d5f45607793052bf5b4436d1b43013fab9999acDale Johannesen // 724541ed9fd02ea48d2739f4a9dd681ba2d5da26886Dale Johannesen bool ignored; 725ce16339930a2b03e53b4e6399ef59c092a7f2cfaDan Gohman bool isHalf = &CFP->getValueAPF().getSemantics()==&APFloat::IEEEhalf; 7269d5f45607793052bf5b4436d1b43013fab9999acDale Johannesen bool isDouble = &CFP->getValueAPF().getSemantics()==&APFloat::IEEEdouble; 72722bed5db2f34a5b351e133d24603d12f45e96e44NAKAMURA Takumi bool isInf = CFP->getValueAPF().isInfinity(); 72822bed5db2f34a5b351e133d24603d12f45e96e44NAKAMURA Takumi bool isNaN = CFP->getValueAPF().isNaN(); 72922bed5db2f34a5b351e133d24603d12f45e96e44NAKAMURA Takumi if (!isHalf && !isInf && !isNaN) { 730ce16339930a2b03e53b4e6399ef59c092a7f2cfaDan Gohman double Val = isDouble ? CFP->getValueAPF().convertToDouble() : 731ce16339930a2b03e53b4e6399ef59c092a7f2cfaDan Gohman CFP->getValueAPF().convertToFloat(); 732ce16339930a2b03e53b4e6399ef59c092a7f2cfaDan Gohman SmallString<128> StrVal; 733ce16339930a2b03e53b4e6399ef59c092a7f2cfaDan Gohman raw_svector_ostream(StrVal) << Val; 734ce16339930a2b03e53b4e6399ef59c092a7f2cfaDan Gohman 735ce16339930a2b03e53b4e6399ef59c092a7f2cfaDan Gohman // Check to make sure that the stringized number is not some string like 736ce16339930a2b03e53b4e6399ef59c092a7f2cfaDan Gohman // "Inf" or NaN, that atof will accept, but the lexer will not. Check 737ce16339930a2b03e53b4e6399ef59c092a7f2cfaDan Gohman // that the string matches the "[-+]?[0-9]" regex. 738ce16339930a2b03e53b4e6399ef59c092a7f2cfaDan Gohman // 739ce16339930a2b03e53b4e6399ef59c092a7f2cfaDan Gohman if ((StrVal[0] >= '0' && StrVal[0] <= '9') || 740ce16339930a2b03e53b4e6399ef59c092a7f2cfaDan Gohman ((StrVal[0] == '-' || StrVal[0] == '+') && 741ce16339930a2b03e53b4e6399ef59c092a7f2cfaDan Gohman (StrVal[1] >= '0' && StrVal[1] <= '9'))) { 742ce16339930a2b03e53b4e6399ef59c092a7f2cfaDan Gohman // Reparse stringized version! 743c8782a1a53aaef6efc710aa33dd21cce1c8033dfNAKAMURA Takumi if (APFloat(APFloat::IEEEdouble, StrVal).convertToDouble() == Val) { 744ce16339930a2b03e53b4e6399ef59c092a7f2cfaDan Gohman Out << StrVal.str(); 745ce16339930a2b03e53b4e6399ef59c092a7f2cfaDan Gohman return; 746ce16339930a2b03e53b4e6399ef59c092a7f2cfaDan Gohman } 7479d5f45607793052bf5b4436d1b43013fab9999acDale Johannesen } 74866e810be9f97fa744ca949d54b5d54358add84b8Chris Lattner } 7499d5f45607793052bf5b4436d1b43013fab9999acDale Johannesen // Otherwise we could not reparse it to exactly the same value, so we must 750541ed9fd02ea48d2739f4a9dd681ba2d5da26886Dale Johannesen // output the string in hexadecimal format! Note that loading and storing 751541ed9fd02ea48d2739f4a9dd681ba2d5da26886Dale Johannesen // floating point types changes the bits of NaNs on some hosts, notably 752541ed9fd02ea48d2739f4a9dd681ba2d5da26886Dale Johannesen // x86, so we must not use these types. 7539d5f45607793052bf5b4436d1b43013fab9999acDale Johannesen assert(sizeof(double) == sizeof(uint64_t) && 7549d5f45607793052bf5b4436d1b43013fab9999acDale Johannesen "assuming that double is 64 bits!"); 755c6a1346d7c6bb761f9e6c2c85b53febba1cb15dbChris Lattner char Buffer[40]; 756541ed9fd02ea48d2739f4a9dd681ba2d5da26886Dale Johannesen APFloat apf = CFP->getValueAPF(); 757ce16339930a2b03e53b4e6399ef59c092a7f2cfaDan Gohman // Halves and floats are represented in ASCII IR as double, convert. 758541ed9fd02ea48d2739f4a9dd681ba2d5da26886Dale Johannesen if (!isDouble) 759a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar apf.convert(APFloat::IEEEdouble, APFloat::rmNearestTiesToEven, 760541ed9fd02ea48d2739f4a9dd681ba2d5da26886Dale Johannesen &ignored); 761a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar Out << "0x" << 762a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar utohex_buffer(uint64_t(apf.bitcastToAPInt().getZExtValue()), 763541ed9fd02ea48d2739f4a9dd681ba2d5da26886Dale Johannesen Buffer+40); 764cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner return; 765cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner } 766a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar 767057beb8d4fe8d5dad98ad80a49a649730c3a3eb0Tobias Grosser // Either half, or some form of long double. 768057beb8d4fe8d5dad98ad80a49a649730c3a3eb0Tobias Grosser // These appear as a magic letter identifying the type, then a 769057beb8d4fe8d5dad98ad80a49a649730c3a3eb0Tobias Grosser // fixed number of hex digits. 770cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner Out << "0x"; 771057beb8d4fe8d5dad98ad80a49a649730c3a3eb0Tobias Grosser // Bit position, in the current word, of the next nibble to print. 772057beb8d4fe8d5dad98ad80a49a649730c3a3eb0Tobias Grosser int shiftcount; 773057beb8d4fe8d5dad98ad80a49a649730c3a3eb0Tobias Grosser 7741b25cb2416c46a6cebf2a6c52235e9fe46a10d11Dale Johannesen if (&CFP->getValueAPF().getSemantics() == &APFloat::x87DoubleExtended) { 775cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner Out << 'K'; 7761b25cb2416c46a6cebf2a6c52235e9fe46a10d11Dale Johannesen // api needed to prevent premature destruction 7771b25cb2416c46a6cebf2a6c52235e9fe46a10d11Dale Johannesen APInt api = CFP->getValueAPF().bitcastToAPInt(); 7781b25cb2416c46a6cebf2a6c52235e9fe46a10d11Dale Johannesen const uint64_t* p = api.getRawData(); 7791b25cb2416c46a6cebf2a6c52235e9fe46a10d11Dale Johannesen uint64_t word = p[1]; 780057beb8d4fe8d5dad98ad80a49a649730c3a3eb0Tobias Grosser shiftcount = 12; 7811b25cb2416c46a6cebf2a6c52235e9fe46a10d11Dale Johannesen int width = api.getBitWidth(); 7821b25cb2416c46a6cebf2a6c52235e9fe46a10d11Dale Johannesen for (int j=0; j<width; j+=4, shiftcount-=4) { 7831b25cb2416c46a6cebf2a6c52235e9fe46a10d11Dale Johannesen unsigned int nibble = (word>>shiftcount) & 15; 7841b25cb2416c46a6cebf2a6c52235e9fe46a10d11Dale Johannesen if (nibble < 10) 7851b25cb2416c46a6cebf2a6c52235e9fe46a10d11Dale Johannesen Out << (unsigned char)(nibble + '0'); 7861b25cb2416c46a6cebf2a6c52235e9fe46a10d11Dale Johannesen else 7871b25cb2416c46a6cebf2a6c52235e9fe46a10d11Dale Johannesen Out << (unsigned char)(nibble - 10 + 'A'); 7881b25cb2416c46a6cebf2a6c52235e9fe46a10d11Dale Johannesen if (shiftcount == 0 && j+4 < width) { 7891b25cb2416c46a6cebf2a6c52235e9fe46a10d11Dale Johannesen word = *p; 7901b25cb2416c46a6cebf2a6c52235e9fe46a10d11Dale Johannesen shiftcount = 64; 7911b25cb2416c46a6cebf2a6c52235e9fe46a10d11Dale Johannesen if (width-j-4 < 64) 7921b25cb2416c46a6cebf2a6c52235e9fe46a10d11Dale Johannesen shiftcount = width-j-4; 7931b25cb2416c46a6cebf2a6c52235e9fe46a10d11Dale Johannesen } 7941b25cb2416c46a6cebf2a6c52235e9fe46a10d11Dale Johannesen } 7951b25cb2416c46a6cebf2a6c52235e9fe46a10d11Dale Johannesen return; 796057beb8d4fe8d5dad98ad80a49a649730c3a3eb0Tobias Grosser } else if (&CFP->getValueAPF().getSemantics() == &APFloat::IEEEquad) { 797057beb8d4fe8d5dad98ad80a49a649730c3a3eb0Tobias Grosser shiftcount = 60; 798cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner Out << 'L'; 799057beb8d4fe8d5dad98ad80a49a649730c3a3eb0Tobias Grosser } else if (&CFP->getValueAPF().getSemantics() == &APFloat::PPCDoubleDouble) { 800057beb8d4fe8d5dad98ad80a49a649730c3a3eb0Tobias Grosser shiftcount = 60; 801cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner Out << 'M'; 802057beb8d4fe8d5dad98ad80a49a649730c3a3eb0Tobias Grosser } else if (&CFP->getValueAPF().getSemantics() == &APFloat::IEEEhalf) { 803057beb8d4fe8d5dad98ad80a49a649730c3a3eb0Tobias Grosser shiftcount = 12; 804057beb8d4fe8d5dad98ad80a49a649730c3a3eb0Tobias Grosser Out << 'H'; 805057beb8d4fe8d5dad98ad80a49a649730c3a3eb0Tobias Grosser } else 806c23197a26f34f559ea9797de51e187087c039c42Torok Edwin llvm_unreachable("Unsupported floating point type"); 807cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner // api needed to prevent premature destruction 8087111b02c734c992b8c97d9918118768026dad79eDale Johannesen APInt api = CFP->getValueAPF().bitcastToAPInt(); 809cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner const uint64_t* p = api.getRawData(); 810cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner uint64_t word = *p; 811cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner int width = api.getBitWidth(); 812cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner for (int j=0; j<width; j+=4, shiftcount-=4) { 813cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner unsigned int nibble = (word>>shiftcount) & 15; 814cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner if (nibble < 10) 815cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner Out << (unsigned char)(nibble + '0'); 8169d5f45607793052bf5b4436d1b43013fab9999acDale Johannesen else 817cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner Out << (unsigned char)(nibble - 10 + 'A'); 818cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner if (shiftcount == 0 && j+4 < width) { 819cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner word = *(++p); 820cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner shiftcount = 64; 821cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner if (width-j-4 < 64) 822cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner shiftcount = width-j-4; 8239d5f45607793052bf5b4436d1b43013fab9999acDale Johannesen } 8249d5f45607793052bf5b4436d1b43013fab9999acDale Johannesen } 825cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner return; 826cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner } 827a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar 828cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner if (isa<ConstantAggregateZero>(CV)) { 829de512b5b2edebe9c9021a92c7c7a9ae9fbc380d6Chris Lattner Out << "zeroinitializer"; 830cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner return; 831cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner } 83218801ecd487df27201b894db72aff4b2c7396e18Andrew Trick 83373050e1c383100d879597f5d4ef8260bb1d6f07cChris Lattner if (const BlockAddress *BA = dyn_cast<BlockAddress>(CV)) { 83473050e1c383100d879597f5d4ef8260bb1d6f07cChris Lattner Out << "blockaddress("; 8353bdfbf5d56d52fc4c390df77f98ba2c46951b51aDan Gohman WriteAsOperandInternal(Out, BA->getFunction(), &TypePrinter, Machine, 8363bdfbf5d56d52fc4c390df77f98ba2c46951b51aDan Gohman Context); 83773050e1c383100d879597f5d4ef8260bb1d6f07cChris Lattner Out << ", "; 8383bdfbf5d56d52fc4c390df77f98ba2c46951b51aDan Gohman WriteAsOperandInternal(Out, BA->getBasicBlock(), &TypePrinter, Machine, 8393bdfbf5d56d52fc4c390df77f98ba2c46951b51aDan Gohman Context); 84073050e1c383100d879597f5d4ef8260bb1d6f07cChris Lattner Out << ")"; 84173050e1c383100d879597f5d4ef8260bb1d6f07cChris Lattner return; 84273050e1c383100d879597f5d4ef8260bb1d6f07cChris Lattner } 843a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar 844cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner if (const ConstantArray *CA = dyn_cast<ConstantArray>(CV)) { 8451afcace3a3a138b1b18e5c6270caa8dae2261ae2Chris Lattner Type *ETy = CA->getType()->getElementType(); 84618c7f80b3e83ab584bd8572695a3cde8bafd9d3cChris Lattner Out << '['; 84718c7f80b3e83ab584bd8572695a3cde8bafd9d3cChris Lattner TypePrinter.print(ETy, Out); 84818c7f80b3e83ab584bd8572695a3cde8bafd9d3cChris Lattner Out << ' '; 84918c7f80b3e83ab584bd8572695a3cde8bafd9d3cChris Lattner WriteAsOperandInternal(Out, CA->getOperand(0), 85018c7f80b3e83ab584bd8572695a3cde8bafd9d3cChris Lattner &TypePrinter, Machine, 85118c7f80b3e83ab584bd8572695a3cde8bafd9d3cChris Lattner Context); 85218c7f80b3e83ab584bd8572695a3cde8bafd9d3cChris Lattner for (unsigned i = 1, e = CA->getNumOperands(); i != e; ++i) { 85318c7f80b3e83ab584bd8572695a3cde8bafd9d3cChris Lattner Out << ", "; 8548b10b69ba25920d7276e01fc8647661977c653c0Chris Lattner TypePrinter.print(ETy, Out); 8558b10b69ba25920d7276e01fc8647661977c653c0Chris Lattner Out << ' '; 85618c7f80b3e83ab584bd8572695a3cde8bafd9d3cChris Lattner WriteAsOperandInternal(Out, CA->getOperand(i), &TypePrinter, Machine, 8578b10b69ba25920d7276e01fc8647661977c653c0Chris Lattner Context); 8587a716addedc4938fa0ec6b77e5eeaced6eafc5d0Chris Lattner } 85918c7f80b3e83ab584bd8572695a3cde8bafd9d3cChris Lattner Out << ']'; 860cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner return; 861cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner } 862d59ae907eea28285ece6696d6f3271b4ca578c0dChris Lattner 863d59ae907eea28285ece6696d6f3271b4ca578c0dChris Lattner if (const ConstantDataArray *CA = dyn_cast<ConstantDataArray>(CV)) { 864d59ae907eea28285ece6696d6f3271b4ca578c0dChris Lattner // As a special case, print the array as a string if it is an array of 865d59ae907eea28285ece6696d6f3271b4ca578c0dChris Lattner // i8 with ConstantInt values. 866d59ae907eea28285ece6696d6f3271b4ca578c0dChris Lattner if (CA->isString()) { 867d59ae907eea28285ece6696d6f3271b4ca578c0dChris Lattner Out << "c\""; 868d59ae907eea28285ece6696d6f3271b4ca578c0dChris Lattner PrintEscapedString(CA->getAsString(), Out); 869d59ae907eea28285ece6696d6f3271b4ca578c0dChris Lattner Out << '"'; 870d59ae907eea28285ece6696d6f3271b4ca578c0dChris Lattner return; 871d59ae907eea28285ece6696d6f3271b4ca578c0dChris Lattner } 872d59ae907eea28285ece6696d6f3271b4ca578c0dChris Lattner 873d59ae907eea28285ece6696d6f3271b4ca578c0dChris Lattner Type *ETy = CA->getType()->getElementType(); 874d59ae907eea28285ece6696d6f3271b4ca578c0dChris Lattner Out << '['; 8758b10b69ba25920d7276e01fc8647661977c653c0Chris Lattner TypePrinter.print(ETy, Out); 8768b10b69ba25920d7276e01fc8647661977c653c0Chris Lattner Out << ' '; 8778b10b69ba25920d7276e01fc8647661977c653c0Chris Lattner WriteAsOperandInternal(Out, CA->getElementAsConstant(0), 8788b10b69ba25920d7276e01fc8647661977c653c0Chris Lattner &TypePrinter, Machine, 8798b10b69ba25920d7276e01fc8647661977c653c0Chris Lattner Context); 8808b10b69ba25920d7276e01fc8647661977c653c0Chris Lattner for (unsigned i = 1, e = CA->getNumElements(); i != e; ++i) { 8818b10b69ba25920d7276e01fc8647661977c653c0Chris Lattner Out << ", "; 882d59ae907eea28285ece6696d6f3271b4ca578c0dChris Lattner TypePrinter.print(ETy, Out); 883d59ae907eea28285ece6696d6f3271b4ca578c0dChris Lattner Out << ' '; 8848b10b69ba25920d7276e01fc8647661977c653c0Chris Lattner WriteAsOperandInternal(Out, CA->getElementAsConstant(i), &TypePrinter, 8858b10b69ba25920d7276e01fc8647661977c653c0Chris Lattner Machine, Context); 886d59ae907eea28285ece6696d6f3271b4ca578c0dChris Lattner } 8878b10b69ba25920d7276e01fc8647661977c653c0Chris Lattner Out << ']'; 888d59ae907eea28285ece6696d6f3271b4ca578c0dChris Lattner return; 889d59ae907eea28285ece6696d6f3271b4ca578c0dChris Lattner } 890d59ae907eea28285ece6696d6f3271b4ca578c0dChris Lattner 891a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar 892cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner if (const ConstantStruct *CS = dyn_cast<ConstantStruct>(CV)) { 89343f344a26695ba85a1a0b5407c038d9c3f980327Andrew Lenharth if (CS->getType()->isPacked()) 89443f344a26695ba85a1a0b5407c038d9c3f980327Andrew Lenharth Out << '<'; 89540c732cc52a5c71cead461646667ef5b13801923Misha Brukman Out << '{'; 896a3f332bdc3e8fd1ac78dd3dc868d871e9086c5fdJim Laskey unsigned N = CS->getNumOperands(); 897a3f332bdc3e8fd1ac78dd3dc868d871e9086c5fdJim Laskey if (N) { 898242330371b2b7ab9d5a6c4f5f93ec82c514cc09aChris Lattner Out << ' '; 8990f7364b4aa15263827af49d046fd6147ac769eefChris Lattner TypePrinter.print(CS->getOperand(0)->getType(), Out); 9008dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman Out << ' '; 9017a716addedc4938fa0ec6b77e5eeaced6eafc5d0Chris Lattner 9023bdfbf5d56d52fc4c390df77f98ba2c46951b51aDan Gohman WriteAsOperandInternal(Out, CS->getOperand(0), &TypePrinter, Machine, 9033bdfbf5d56d52fc4c390df77f98ba2c46951b51aDan Gohman Context); 9047a716addedc4938fa0ec6b77e5eeaced6eafc5d0Chris Lattner 905a3f332bdc3e8fd1ac78dd3dc868d871e9086c5fdJim Laskey for (unsigned i = 1; i < N; i++) { 9067a716addedc4938fa0ec6b77e5eeaced6eafc5d0Chris Lattner Out << ", "; 9070f7364b4aa15263827af49d046fd6147ac769eefChris Lattner TypePrinter.print(CS->getOperand(i)->getType(), Out); 9088dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman Out << ' '; 9097a716addedc4938fa0ec6b77e5eeaced6eafc5d0Chris Lattner 9103bdfbf5d56d52fc4c390df77f98ba2c46951b51aDan Gohman WriteAsOperandInternal(Out, CS->getOperand(i), &TypePrinter, Machine, 9113bdfbf5d56d52fc4c390df77f98ba2c46951b51aDan Gohman Context); 9127a716addedc4938fa0ec6b77e5eeaced6eafc5d0Chris Lattner } 9138dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman Out << ' '; 9147a716addedc4938fa0ec6b77e5eeaced6eafc5d0Chris Lattner } 915a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar 9168dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman Out << '}'; 91743f344a26695ba85a1a0b5407c038d9c3f980327Andrew Lenharth if (CS->getType()->isPacked()) 91843f344a26695ba85a1a0b5407c038d9c3f980327Andrew Lenharth Out << '>'; 919cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner return; 920cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner } 921a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar 922d59ae907eea28285ece6696d6f3271b4ca578c0dChris Lattner if (isa<ConstantVector>(CV) || isa<ConstantDataVector>(CV)) { 923d59ae907eea28285ece6696d6f3271b4ca578c0dChris Lattner Type *ETy = CV->getType()->getVectorElementType(); 9247dfa07f794a5dd4479e80896ef626bbe69455908Dan Gohman Out << '<'; 9250f7364b4aa15263827af49d046fd6147ac769eefChris Lattner TypePrinter.print(ETy, Out); 9268dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman Out << ' '; 927d59ae907eea28285ece6696d6f3271b4ca578c0dChris Lattner WriteAsOperandInternal(Out, CV->getAggregateElement(0U), &TypePrinter, 928d59ae907eea28285ece6696d6f3271b4ca578c0dChris Lattner Machine, Context); 929d59ae907eea28285ece6696d6f3271b4ca578c0dChris Lattner for (unsigned i = 1, e = CV->getType()->getVectorNumElements(); i != e;++i){ 9304667b71f9380afad56cbdc1fd19ca32334086d2cChris Lattner Out << ", "; 9310f7364b4aa15263827af49d046fd6147ac769eefChris Lattner TypePrinter.print(ETy, Out); 9328dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman Out << ' '; 933d59ae907eea28285ece6696d6f3271b4ca578c0dChris Lattner WriteAsOperandInternal(Out, CV->getAggregateElement(i), &TypePrinter, 934d59ae907eea28285ece6696d6f3271b4ca578c0dChris Lattner Machine, Context); 935cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner } 9367dfa07f794a5dd4479e80896ef626bbe69455908Dan Gohman Out << '>'; 937cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner return; 938cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner } 939a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar 940cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner if (isa<ConstantPointerNull>(CV)) { 9417a716addedc4938fa0ec6b77e5eeaced6eafc5d0Chris Lattner Out << "null"; 942cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner return; 943cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner } 944a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar 945cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner if (isa<UndefValue>(CV)) { 946b976e668165e1875a8f1eb7af800e33bb1e4393dChris Lattner Out << "undef"; 947cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner return; 948cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner } 949a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar 950cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner if (const ConstantExpr *CE = dyn_cast<ConstantExpr>(CV)) { 95181dfeb3264d3c1f619c3f73046ded1ac6883e59dReid Spencer Out << CE->getOpcodeName(); 95259858cf7926702596cf708daf21aeaf5b6feedf8Dan Gohman WriteOptimizationInfo(Out, CE); 95381dfeb3264d3c1f619c3f73046ded1ac6883e59dReid Spencer if (CE->isCompare()) 954cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner Out << ' ' << getPredicateText(CE->getPredicate()); 95581dfeb3264d3c1f619c3f73046ded1ac6883e59dReid Spencer Out << " ("; 956fd93908ae8b9684fe71c239e3c6cfe13ff6a2663Misha Brukman 957b4dbb4445c67fc46e56765035c2787028a66a614Vikram S. Adve for (User::const_op_iterator OI=CE->op_begin(); OI != CE->op_end(); ++OI) { 9580f7364b4aa15263827af49d046fd6147ac769eefChris Lattner TypePrinter.print((*OI)->getType(), Out); 9598dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman Out << ' '; 9603bdfbf5d56d52fc4c390df77f98ba2c46951b51aDan Gohman WriteAsOperandInternal(Out, *OI, &TypePrinter, Machine, Context); 961b4dbb4445c67fc46e56765035c2787028a66a614Vikram S. Adve if (OI+1 != CE->op_end()) 962c188eeb08c873da142a47398be6c405ce3f34f51Chris Lattner Out << ", "; 963b4dbb4445c67fc46e56765035c2787028a66a614Vikram S. Adve } 964fd93908ae8b9684fe71c239e3c6cfe13ff6a2663Misha Brukman 965995be7d07a0ed1f70a93b2a2e7f445461162e8a5Dan Gohman if (CE->hasIndices()) { 966d30aa5a1edac5256573e8d76dd155df3d3fdec84Jay Foad ArrayRef<unsigned> Indices = CE->getIndices(); 967995be7d07a0ed1f70a93b2a2e7f445461162e8a5Dan Gohman for (unsigned i = 0, e = Indices.size(); i != e; ++i) 968995be7d07a0ed1f70a93b2a2e7f445461162e8a5Dan Gohman Out << ", " << Indices[i]; 969995be7d07a0ed1f70a93b2a2e7f445461162e8a5Dan Gohman } 970995be7d07a0ed1f70a93b2a2e7f445461162e8a5Dan Gohman 9713da59db637a887474c1b1346c1f3ccf53b6c4663Reid Spencer if (CE->isCast()) { 97295586b8c833aeca112907e69f545a6ea6e2103ffChris Lattner Out << " to "; 9730f7364b4aa15263827af49d046fd6147ac769eefChris Lattner TypePrinter.print(CE->getType(), Out); 97495586b8c833aeca112907e69f545a6ea6e2103ffChris Lattner } 9753da59db637a887474c1b1346c1f3ccf53b6c4663Reid Spencer 97640c732cc52a5c71cead461646667ef5b13801923Misha Brukman Out << ')'; 977cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner return; 9787a716addedc4938fa0ec6b77e5eeaced6eafc5d0Chris Lattner } 979a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar 980cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner Out << "<placeholder or erroneous Constant>"; 9817a716addedc4938fa0ec6b77e5eeaced6eafc5d0Chris Lattner} 9827a716addedc4938fa0ec6b77e5eeaced6eafc5d0Chris Lattner 98385b1912dba48177e4ce65c2909c7cbee86eda59cChris Lattnerstatic void WriteMDNodeBodyInternal(raw_ostream &Out, const MDNode *Node, 98485b1912dba48177e4ce65c2909c7cbee86eda59cChris Lattner TypePrinting *TypePrinter, 9853bdfbf5d56d52fc4c390df77f98ba2c46951b51aDan Gohman SlotTracker *Machine, 9863bdfbf5d56d52fc4c390df77f98ba2c46951b51aDan Gohman const Module *Context) { 98785b1912dba48177e4ce65c2909c7cbee86eda59cChris Lattner Out << "!{"; 98885b1912dba48177e4ce65c2909c7cbee86eda59cChris Lattner for (unsigned mi = 0, me = Node->getNumOperands(); mi != me; ++mi) { 98985b1912dba48177e4ce65c2909c7cbee86eda59cChris Lattner const Value *V = Node->getOperand(mi); 99085b1912dba48177e4ce65c2909c7cbee86eda59cChris Lattner if (V == 0) 99185b1912dba48177e4ce65c2909c7cbee86eda59cChris Lattner Out << "null"; 99285b1912dba48177e4ce65c2909c7cbee86eda59cChris Lattner else { 99385b1912dba48177e4ce65c2909c7cbee86eda59cChris Lattner TypePrinter->print(V->getType(), Out); 99485b1912dba48177e4ce65c2909c7cbee86eda59cChris Lattner Out << ' '; 99518801ecd487df27201b894db72aff4b2c7396e18Andrew Trick WriteAsOperandInternal(Out, Node->getOperand(mi), 9963bdfbf5d56d52fc4c390df77f98ba2c46951b51aDan Gohman TypePrinter, Machine, Context); 99785b1912dba48177e4ce65c2909c7cbee86eda59cChris Lattner } 99885b1912dba48177e4ce65c2909c7cbee86eda59cChris Lattner if (mi + 1 != me) 99985b1912dba48177e4ce65c2909c7cbee86eda59cChris Lattner Out << ", "; 100085b1912dba48177e4ce65c2909c7cbee86eda59cChris Lattner } 100118801ecd487df27201b894db72aff4b2c7396e18Andrew Trick 100285b1912dba48177e4ce65c2909c7cbee86eda59cChris Lattner Out << "}"; 100385b1912dba48177e4ce65c2909c7cbee86eda59cChris Lattner} 100485b1912dba48177e4ce65c2909c7cbee86eda59cChris Lattner 10057a716addedc4938fa0ec6b77e5eeaced6eafc5d0Chris Lattner 1006ab5c6003d23c19d23bbff1054900d208c55e0188Misha Brukman/// WriteAsOperand - Write the name of the specified value out to the specified 1007ab5c6003d23c19d23bbff1054900d208c55e0188Misha Brukman/// ostream. This can be useful when you just want to print int %reg126, not 1008ab5c6003d23c19d23bbff1054900d208c55e0188Misha Brukman/// the whole instruction that generated it. 1009ab5c6003d23c19d23bbff1054900d208c55e0188Misha Brukman/// 10101220e10f70f89e0f8082344646d79805edf9025dDan Gohmanstatic void WriteAsOperandInternal(raw_ostream &Out, const Value *V, 1011d6c0f65b532f022e584d8f1e3c044593b4c74a99Dan Gohman TypePrinting *TypePrinter, 10123bdfbf5d56d52fc4c390df77f98ba2c46951b51aDan Gohman SlotTracker *Machine, 10133bdfbf5d56d52fc4c390df77f98ba2c46951b51aDan Gohman const Module *Context) { 1014c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner if (V->hasName()) { 1015c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner PrintLLVMName(Out, V); 1016c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner return; 1017c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner } 1018a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar 1019c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner const Constant *CV = dyn_cast<Constant>(V); 1020c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner if (CV && !isa<GlobalValue>(CV)) { 1021d6c0f65b532f022e584d8f1e3c044593b4c74a99Dan Gohman assert(TypePrinter && "Constants require TypePrinting!"); 10223bdfbf5d56d52fc4c390df77f98ba2c46951b51aDan Gohman WriteConstantInternal(Out, CV, *TypePrinter, Machine, Context); 1023cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner return; 1024cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner } 1025a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar 1026cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner if (const InlineAsm *IA = dyn_cast<InlineAsm>(V)) { 1027c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner Out << "asm "; 1028c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner if (IA->hasSideEffects()) 1029c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner Out << "sideeffect "; 10308ba2d5befc05ca73d3bac8708819bbbe759e2cf9Dale Johannesen if (IA->isAlignStack()) 10318ba2d5befc05ca73d3bac8708819bbbe759e2cf9Dale Johannesen Out << "alignstack "; 1032581600bfc3060ee13afb278cd87e25da5b5f7db2Chad Rosier // We don't emit the AD_ATT dialect as it's the assumed default. 1033581600bfc3060ee13afb278cd87e25da5b5f7db2Chad Rosier if (IA->getDialect() == InlineAsm::AD_Intel) 1034581600bfc3060ee13afb278cd87e25da5b5f7db2Chad Rosier Out << "inteldialect "; 1035c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner Out << '"'; 1036c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner PrintEscapedString(IA->getAsmString(), Out); 1037c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner Out << "\", \""; 1038c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner PrintEscapedString(IA->getConstraintString(), Out); 1039c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner Out << '"'; 1040cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner return; 1041cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner } 1042e54abc90fe9942ef3902040a7ac475ce0c369dc9Devang Patel 1043104cf9e02b0ed94d4173869a598af6c6972a8660Devang Patel if (const MDNode *N = dyn_cast<MDNode>(V)) { 10445d3016215075c52766711e741ce5401ee891d4acVictor Hernandez if (N->isFunctionLocal()) { 104597e2450de2ee50f51e42317d91a40b6d5ae65d0cVictor Hernandez // Print metadata inline, not via slot reference number. 10463bdfbf5d56d52fc4c390df77f98ba2c46951b51aDan Gohman WriteMDNodeBodyInternal(Out, N, TypePrinter, Machine, Context); 104797e2450de2ee50f51e42317d91a40b6d5ae65d0cVictor Hernandez return; 104897e2450de2ee50f51e42317d91a40b6d5ae65d0cVictor Hernandez } 104918801ecd487df27201b894db72aff4b2c7396e18Andrew Trick 10503bdfbf5d56d52fc4c390df77f98ba2c46951b51aDan Gohman if (!Machine) { 10513bdfbf5d56d52fc4c390df77f98ba2c46951b51aDan Gohman if (N->isFunctionLocal()) 10523bdfbf5d56d52fc4c390df77f98ba2c46951b51aDan Gohman Machine = new SlotTracker(N->getFunction()); 10533bdfbf5d56d52fc4c390df77f98ba2c46951b51aDan Gohman else 10543bdfbf5d56d52fc4c390df77f98ba2c46951b51aDan Gohman Machine = new SlotTracker(Context); 10553bdfbf5d56d52fc4c390df77f98ba2c46951b51aDan Gohman } 10563da076ffefafd09c01764d4094dd61cd7c79735aDan Gohman int Slot = Machine->getMetadataSlot(N); 10573da076ffefafd09c01764d4094dd61cd7c79735aDan Gohman if (Slot == -1) 10583da076ffefafd09c01764d4094dd61cd7c79735aDan Gohman Out << "<badref>"; 10593da076ffefafd09c01764d4094dd61cd7c79735aDan Gohman else 10603da076ffefafd09c01764d4094dd61cd7c79735aDan Gohman Out << '!' << Slot; 1061104cf9e02b0ed94d4173869a598af6c6972a8660Devang Patel return; 1062104cf9e02b0ed94d4173869a598af6c6972a8660Devang Patel } 1063104cf9e02b0ed94d4173869a598af6c6972a8660Devang Patel 1064e54abc90fe9942ef3902040a7ac475ce0c369dc9Devang Patel if (const MDString *MDS = dyn_cast<MDString>(V)) { 1065e54abc90fe9942ef3902040a7ac475ce0c369dc9Devang Patel Out << "!\""; 106603d7651c3652e1f0cc86e79b26585d86818da9cfDaniel Dunbar PrintEscapedString(MDS->getString(), Out); 1067e54abc90fe9942ef3902040a7ac475ce0c369dc9Devang Patel Out << '"'; 1068e54abc90fe9942ef3902040a7ac475ce0c369dc9Devang Patel return; 1069e54abc90fe9942ef3902040a7ac475ce0c369dc9Devang Patel } 1070e54abc90fe9942ef3902040a7ac475ce0c369dc9Devang Patel 1071746d546877a354a0d94ab0bc67775d040022a2b6Evan Cheng if (V->getValueID() == Value::PseudoSourceValueVal || 1072746d546877a354a0d94ab0bc67775d040022a2b6Evan Cheng V->getValueID() == Value::FixedStackPseudoSourceValueVal) { 1073cd26ec5f3c089b3b24f80ff200e94e681eb9e1eeDan Gohman V->print(Out); 1074cd26ec5f3c089b3b24f80ff200e94e681eb9e1eeDan Gohman return; 1075cd26ec5f3c089b3b24f80ff200e94e681eb9e1eeDan Gohman } 1076cd26ec5f3c089b3b24f80ff200e94e681eb9e1eeDan Gohman 1077cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner char Prefix = '%'; 1078cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner int Slot; 1079fb5179a2fa3372813ea9568ad0073223c8e0393cChris Lattner // If we have a SlotTracker, use it. 1080cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner if (Machine) { 1081cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner if (const GlobalValue *GV = dyn_cast<GlobalValue>(V)) { 1082cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner Slot = Machine->getGlobalSlot(GV); 1083cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner Prefix = '@'; 1084cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner } else { 1085cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner Slot = Machine->getLocalSlot(V); 108618801ecd487df27201b894db72aff4b2c7396e18Andrew Trick 1087fb5179a2fa3372813ea9568ad0073223c8e0393cChris Lattner // If the local value didn't succeed, then we may be referring to a value 1088fb5179a2fa3372813ea9568ad0073223c8e0393cChris Lattner // from a different function. Translate it, as this can happen when using 1089fb5179a2fa3372813ea9568ad0073223c8e0393cChris Lattner // address of blocks. 1090fb5179a2fa3372813ea9568ad0073223c8e0393cChris Lattner if (Slot == -1) 1091fb5179a2fa3372813ea9568ad0073223c8e0393cChris Lattner if ((Machine = createSlotTracker(V))) { 1092fb5179a2fa3372813ea9568ad0073223c8e0393cChris Lattner Slot = Machine->getLocalSlot(V); 1093fb5179a2fa3372813ea9568ad0073223c8e0393cChris Lattner delete Machine; 1094fb5179a2fa3372813ea9568ad0073223c8e0393cChris Lattner } 1095cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner } 1096fb5179a2fa3372813ea9568ad0073223c8e0393cChris Lattner } else if ((Machine = createSlotTracker(V))) { 1097fb5179a2fa3372813ea9568ad0073223c8e0393cChris Lattner // Otherwise, create one to get the # and then destroy it. 1098fb5179a2fa3372813ea9568ad0073223c8e0393cChris Lattner if (const GlobalValue *GV = dyn_cast<GlobalValue>(V)) { 1099fb5179a2fa3372813ea9568ad0073223c8e0393cChris Lattner Slot = Machine->getGlobalSlot(GV); 1100fb5179a2fa3372813ea9568ad0073223c8e0393cChris Lattner Prefix = '@'; 110180cd11561892a639a2628d19815af0695b5dbcaaChris Lattner } else { 1102fb5179a2fa3372813ea9568ad0073223c8e0393cChris Lattner Slot = Machine->getLocalSlot(V); 11037a716addedc4938fa0ec6b77e5eeaced6eafc5d0Chris Lattner } 1104fb5179a2fa3372813ea9568ad0073223c8e0393cChris Lattner delete Machine; 1105fb5179a2fa3372813ea9568ad0073223c8e0393cChris Lattner Machine = 0; 1106fb5179a2fa3372813ea9568ad0073223c8e0393cChris Lattner } else { 1107fb5179a2fa3372813ea9568ad0073223c8e0393cChris Lattner Slot = -1; 11087a716addedc4938fa0ec6b77e5eeaced6eafc5d0Chris Lattner } 1109a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar 1110cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner if (Slot != -1) 1111cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner Out << Prefix << Slot; 1112cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner else 1113cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner Out << "<badref>"; 11147a716addedc4938fa0ec6b77e5eeaced6eafc5d0Chris Lattner} 11157a716addedc4938fa0ec6b77e5eeaced6eafc5d0Chris Lattner 11161220e10f70f89e0f8082344646d79805edf9025dDan Gohmanvoid llvm::WriteAsOperand(raw_ostream &Out, const Value *V, 11171220e10f70f89e0f8082344646d79805edf9025dDan Gohman bool PrintType, const Module *Context) { 1118d6c0f65b532f022e584d8f1e3c044593b4c74a99Dan Gohman 1119d6c0f65b532f022e584d8f1e3c044593b4c74a99Dan Gohman // Fast path: Don't construct and populate a TypePrinting object if we 1120d6c0f65b532f022e584d8f1e3c044593b4c74a99Dan Gohman // won't be needing any types printed. 1121009fc9e5d9058a1d3b64bf5cacb29d4f0c952ca5Dan Gohman if (!PrintType && 11223bdfbf5d56d52fc4c390df77f98ba2c46951b51aDan Gohman ((!isa<Constant>(V) && !isa<MDNode>(V)) || 11233bdfbf5d56d52fc4c390df77f98ba2c46951b51aDan Gohman V->hasName() || isa<GlobalValue>(V))) { 11243bdfbf5d56d52fc4c390df77f98ba2c46951b51aDan Gohman WriteAsOperandInternal(Out, V, 0, 0, Context); 1125d6c0f65b532f022e584d8f1e3c044593b4c74a99Dan Gohman return; 1126d6c0f65b532f022e584d8f1e3c044593b4c74a99Dan Gohman } 1127d6c0f65b532f022e584d8f1e3c044593b4c74a99Dan Gohman 1128607dc6880ecfd4807de2163d37f2fa8877b7f62dChris Lattner if (Context == 0) Context = getModuleFromVal(V); 11297a716addedc4938fa0ec6b77e5eeaced6eafc5d0Chris Lattner 1130e9fa33eb6629aea72cd59560216bb6a7b8ebc689Chris Lattner TypePrinting TypePrinter; 11311afcace3a3a138b1b18e5c6270caa8dae2261ae2Chris Lattner if (Context) 11321afcace3a3a138b1b18e5c6270caa8dae2261ae2Chris Lattner TypePrinter.incorporateTypes(*Context); 11338dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman if (PrintType) { 11340f7364b4aa15263827af49d046fd6147ac769eefChris Lattner TypePrinter.print(V->getType(), Out); 11358dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman Out << ' '; 11368dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman } 1137fd93908ae8b9684fe71c239e3c6cfe13ff6a2663Misha Brukman 11383bdfbf5d56d52fc4c390df77f98ba2c46951b51aDan Gohman WriteAsOperandInternal(Out, V, &TypePrinter, 0, Context); 1139622f740a7dcf0b3520244e58b2233898fd4a46e4Chris Lattner} 1140622f740a7dcf0b3520244e58b2233898fd4a46e4Chris Lattner 1141cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattnernamespace { 1142d8c2e42aeff8bdb3ac905b4721b3d3ca1f904cfaChris Lattner 1143007377f381e253cc559db8d3c94fa89b0eb55fadChris Lattnerclass AssemblyWriter { 1144683e922d299bdfa9ec609bd58a0eed20568303f1Dan Gohman formatted_raw_ostream &Out; 11450d9574a1cd68c6e41f725c22657b8bb3f8d74117Chris Lattner SlotTracker &Machine; 1146c1824996451d5ea93864fcd34ba8ea5e5f03e368Chris Lattner const Module *TheModule; 11479cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner TypePrinting TypePrinter; 114895e5a2cc3fc55b262d2baa1cc417115dfa4a18eaChris Lattner AssemblyAnnotationWriter *AnnotationWriter; 114918801ecd487df27201b894db72aff4b2c7396e18Andrew Trick 1150009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattnerpublic: 1151683e922d299bdfa9ec609bd58a0eed20568303f1Dan Gohman inline AssemblyWriter(formatted_raw_ostream &o, SlotTracker &Mac, 1152683e922d299bdfa9ec609bd58a0eed20568303f1Dan Gohman const Module *M, 115395e5a2cc3fc55b262d2baa1cc417115dfa4a18eaChris Lattner AssemblyAnnotationWriter *AAW) 11543168b79c1c16333d17295c44f9157c8321ec6235Devang Patel : Out(o), Machine(Mac), TheModule(M), AnnotationWriter(AAW) { 11551afcace3a3a138b1b18e5c6270caa8dae2261ae2Chris Lattner if (M) 11561afcace3a3a138b1b18e5c6270caa8dae2261ae2Chris Lattner TypePrinter.incorporateTypes(*M); 1157009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner } 1158009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner 11596e6b1805dae72803fbfe45f9aee2ab9ebfb4ec77Chris Lattner void printMDNodeBody(const MDNode *MD); 1160fdb33564772cfbf75f2ad63eb46e252dc3c3e891Chris Lattner void printNamedMDNode(const NamedMDNode *NMD); 116118801ecd487df27201b894db72aff4b2c7396e18Andrew Trick 1162bd72b3201b24f6ae574b2a1949348f514fcd4c4fChris Lattner void printModule(const Module *M); 1163009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner 11642fcfdb79d0d1d2297d7aced11b567cd52494604eChris Lattner void writeOperand(const Value *Op, bool PrintType); 1165eaf42abab6d465c38891345d999255871cf03943Devang Patel void writeParamOperand(const Value *Operand, Attributes Attrs); 116647f3513dd574535aeb40c9eb11134f0899e92269Eli Friedman void writeAtomic(AtomicOrdering Ordering, SynchronizationScope SynchScope); 116766e810be9f97fa744ca949d54b5d54358add84b8Chris Lattner 11686e6b1805dae72803fbfe45f9aee2ab9ebfb4ec77Chris Lattner void writeAllMDNodes(); 11696e6b1805dae72803fbfe45f9aee2ab9ebfb4ec77Chris Lattner 11701afcace3a3a138b1b18e5c6270caa8dae2261ae2Chris Lattner void printTypeIdentities(); 1171c1824996451d5ea93864fcd34ba8ea5e5f03e368Chris Lattner void printGlobal(const GlobalVariable *GV); 11728b0a8c84da2030ee8f4440d5b60a8033de691222Anton Korobeynikov void printAlias(const GlobalAlias *GV); 117379df7c0aaa18129e55968c8783ef8346807bd4afChris Lattner void printFunction(const Function *F); 1174eaf42abab6d465c38891345d999255871cf03943Devang Patel void printArgument(const Argument *FA, Attributes Attrs); 1175c1824996451d5ea93864fcd34ba8ea5e5f03e368Chris Lattner void printBasicBlock(const BasicBlock *BB); 11767e70829632f82de15db187845666aaca6e04b792Chris Lattner void printInstruction(const Instruction &I); 11772761e9f076bbe6c961629aece62db4b836a41ef8Chris Lattner 1178659d1e8bbbbd33c25fdbe38bad6cb166a635e516Dan Gohmanprivate: 1179e02fa8551d20081534afa46e0976811687e5183aChris Lattner // printInfoComment - Print a little comment after the instruction indicating 1180e02fa8551d20081534afa46e0976811687e5183aChris Lattner // which slot it occupies. 11817e70829632f82de15db187845666aaca6e04b792Chris Lattner void printInfoComment(const Value &V); 1182009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner}; 1183413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner} // end of anonymous namespace 1184009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner 11852fcfdb79d0d1d2297d7aced11b567cd52494604eChris Lattnervoid AssemblyWriter::writeOperand(const Value *Operand, bool PrintType) { 11862fcfdb79d0d1d2297d7aced11b567cd52494604eChris Lattner if (Operand == 0) { 1187aab1820816facf83d7bda8f01e3d85ced99601f3Chris Lattner Out << "<null operand!>"; 1188c65b72ca26cafb988a72dafa25dc5796094b74f8Chris Lattner return; 1189aab1820816facf83d7bda8f01e3d85ced99601f3Chris Lattner } 1190c65b72ca26cafb988a72dafa25dc5796094b74f8Chris Lattner if (PrintType) { 1191c65b72ca26cafb988a72dafa25dc5796094b74f8Chris Lattner TypePrinter.print(Operand->getType(), Out); 1192c65b72ca26cafb988a72dafa25dc5796094b74f8Chris Lattner Out << ' '; 1193c65b72ca26cafb988a72dafa25dc5796094b74f8Chris Lattner } 11943bdfbf5d56d52fc4c390df77f98ba2c46951b51aDan Gohman WriteAsOperandInternal(Out, Operand, &TypePrinter, &Machine, TheModule); 1195007377f381e253cc559db8d3c94fa89b0eb55fadChris Lattner} 1196007377f381e253cc559db8d3c94fa89b0eb55fadChris Lattner 119747f3513dd574535aeb40c9eb11134f0899e92269Eli Friedmanvoid AssemblyWriter::writeAtomic(AtomicOrdering Ordering, 119847f3513dd574535aeb40c9eb11134f0899e92269Eli Friedman SynchronizationScope SynchScope) { 119947f3513dd574535aeb40c9eb11134f0899e92269Eli Friedman if (Ordering == NotAtomic) 120047f3513dd574535aeb40c9eb11134f0899e92269Eli Friedman return; 120147f3513dd574535aeb40c9eb11134f0899e92269Eli Friedman 120247f3513dd574535aeb40c9eb11134f0899e92269Eli Friedman switch (SynchScope) { 120347f3513dd574535aeb40c9eb11134f0899e92269Eli Friedman case SingleThread: Out << " singlethread"; break; 120447f3513dd574535aeb40c9eb11134f0899e92269Eli Friedman case CrossThread: break; 120547f3513dd574535aeb40c9eb11134f0899e92269Eli Friedman } 120647f3513dd574535aeb40c9eb11134f0899e92269Eli Friedman 120747f3513dd574535aeb40c9eb11134f0899e92269Eli Friedman switch (Ordering) { 120847f3513dd574535aeb40c9eb11134f0899e92269Eli Friedman default: Out << " <bad ordering " << int(Ordering) << ">"; break; 120947f3513dd574535aeb40c9eb11134f0899e92269Eli Friedman case Unordered: Out << " unordered"; break; 121047f3513dd574535aeb40c9eb11134f0899e92269Eli Friedman case Monotonic: Out << " monotonic"; break; 121147f3513dd574535aeb40c9eb11134f0899e92269Eli Friedman case Acquire: Out << " acquire"; break; 121247f3513dd574535aeb40c9eb11134f0899e92269Eli Friedman case Release: Out << " release"; break; 121347f3513dd574535aeb40c9eb11134f0899e92269Eli Friedman case AcquireRelease: Out << " acq_rel"; break; 121447f3513dd574535aeb40c9eb11134f0899e92269Eli Friedman case SequentiallyConsistent: Out << " seq_cst"; break; 121547f3513dd574535aeb40c9eb11134f0899e92269Eli Friedman } 121647f3513dd574535aeb40c9eb11134f0899e92269Eli Friedman} 121747f3513dd574535aeb40c9eb11134f0899e92269Eli Friedman 1218a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbarvoid AssemblyWriter::writeParamOperand(const Value *Operand, 1219eaf42abab6d465c38891345d999255871cf03943Devang Patel Attributes Attrs) { 1220dc024674ff96820d6020757b48d47f46d4c07db2Duncan Sands if (Operand == 0) { 1221dc024674ff96820d6020757b48d47f46d4c07db2Duncan Sands Out << "<null operand!>"; 1222c65b72ca26cafb988a72dafa25dc5796094b74f8Chris Lattner return; 1223dc024674ff96820d6020757b48d47f46d4c07db2Duncan Sands } 1224c65b72ca26cafb988a72dafa25dc5796094b74f8Chris Lattner 1225c65b72ca26cafb988a72dafa25dc5796094b74f8Chris Lattner // Print the type 1226c65b72ca26cafb988a72dafa25dc5796094b74f8Chris Lattner TypePrinter.print(Operand->getType(), Out); 1227c65b72ca26cafb988a72dafa25dc5796094b74f8Chris Lattner // Print parameter attributes list 1228c65b72ca26cafb988a72dafa25dc5796094b74f8Chris Lattner if (Attrs != Attribute::None) 1229c65b72ca26cafb988a72dafa25dc5796094b74f8Chris Lattner Out << ' ' << Attribute::getAsString(Attrs); 1230c65b72ca26cafb988a72dafa25dc5796094b74f8Chris Lattner Out << ' '; 1231c65b72ca26cafb988a72dafa25dc5796094b74f8Chris Lattner // Print the operand 12323bdfbf5d56d52fc4c390df77f98ba2c46951b51aDan Gohman WriteAsOperandInternal(Out, Operand, &TypePrinter, &Machine, TheModule); 1233dc024674ff96820d6020757b48d47f46d4c07db2Duncan Sands} 1234007377f381e253cc559db8d3c94fa89b0eb55fadChris Lattner 1235c1824996451d5ea93864fcd34ba8ea5e5f03e368Chris Lattnervoid AssemblyWriter::printModule(const Module *M) { 123631ab1b3d74440908889fc8ea0615c1d397478360Chris Lattner if (!M->getModuleIdentifier().empty() && 1237fd93908ae8b9684fe71c239e3c6cfe13ff6a2663Misha Brukman // Don't print the ID if it will start a new line (which would 123831ab1b3d74440908889fc8ea0615c1d397478360Chris Lattner // require a comment char before it). 123931ab1b3d74440908889fc8ea0615c1d397478360Chris Lattner M->getModuleIdentifier().find('\n') == std::string::npos) 124031ab1b3d74440908889fc8ea0615c1d397478360Chris Lattner Out << "; ModuleID = '" << M->getModuleIdentifier() << "'\n"; 124131ab1b3d74440908889fc8ea0615c1d397478360Chris Lattner 1242cf7ff2b4c8c18d67aced9d7ba84482819b38a84bOwen Anderson if (!M->getDataLayout().empty()) 1243d2f9e609aa40de7049ebb6f838e7ba6579e3fb6aChris Lattner Out << "target datalayout = \"" << M->getDataLayout() << "\"\n"; 1244cddc86f27c822af960fc8d344a86a63fce6eab76Reid Spencer if (!M->getTargetTriple().empty()) 1245c9a1f0dcdde056a2cdbc446a9d6853684402263fReid Spencer Out << "target triple = \"" << M->getTargetTriple() << "\"\n"; 1246fd93908ae8b9684fe71c239e3c6cfe13ff6a2663Misha Brukman 1247cc041ba03aed685400197fb938b7a583713d25afChris Lattner if (!M->getModuleInlineAsm().empty()) { 124842a162ed8023088e7a4a7d81325381bd8d437bb7Chris Lattner // Split the string into lines, to make it easier to read the .ll file. 1249cc041ba03aed685400197fb938b7a583713d25afChris Lattner std::string Asm = M->getModuleInlineAsm(); 125042a162ed8023088e7a4a7d81325381bd8d437bb7Chris Lattner size_t CurPos = 0; 125142a162ed8023088e7a4a7d81325381bd8d437bb7Chris Lattner size_t NewLine = Asm.find_first_of('\n', CurPos); 12529bf0b9bd44d356690e936ae16bec2c115c7d9f5fDan Gohman Out << '\n'; 125342a162ed8023088e7a4a7d81325381bd8d437bb7Chris Lattner while (NewLine != std::string::npos) { 125442a162ed8023088e7a4a7d81325381bd8d437bb7Chris Lattner // We found a newline, print the portion of the asm string from the 125542a162ed8023088e7a4a7d81325381bd8d437bb7Chris Lattner // last newline up to this newline. 125642a162ed8023088e7a4a7d81325381bd8d437bb7Chris Lattner Out << "module asm \""; 125742a162ed8023088e7a4a7d81325381bd8d437bb7Chris Lattner PrintEscapedString(std::string(Asm.begin()+CurPos, Asm.begin()+NewLine), 125842a162ed8023088e7a4a7d81325381bd8d437bb7Chris Lattner Out); 125942a162ed8023088e7a4a7d81325381bd8d437bb7Chris Lattner Out << "\"\n"; 126042a162ed8023088e7a4a7d81325381bd8d437bb7Chris Lattner CurPos = NewLine+1; 126142a162ed8023088e7a4a7d81325381bd8d437bb7Chris Lattner NewLine = Asm.find_first_of('\n', CurPos); 126242a162ed8023088e7a4a7d81325381bd8d437bb7Chris Lattner } 126338c4e535493363b96eac47af9e7c056530137beaRafael Espindola std::string rest(Asm.begin()+CurPos, Asm.end()); 126438c4e535493363b96eac47af9e7c056530137beaRafael Espindola if (!rest.empty()) { 126538c4e535493363b96eac47af9e7c056530137beaRafael Espindola Out << "module asm \""; 126638c4e535493363b96eac47af9e7c056530137beaRafael Espindola PrintEscapedString(rest, Out); 126738c4e535493363b96eac47af9e7c056530137beaRafael Espindola Out << "\"\n"; 126838c4e535493363b96eac47af9e7c056530137beaRafael Espindola } 126918365506ebe3e28593cb36951f17f08e75712a29Chris Lattner } 1270a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar 127144da7d79760998f9a70340b49a3811229838224dChris Lattner // Loop over the dependent libraries and emit them. 1272cfe97b78e787d232f4a82f5ff0afadf75ba95f6cChris Lattner Module::lib_iterator LI = M->lib_begin(); 1273cfe97b78e787d232f4a82f5ff0afadf75ba95f6cChris Lattner Module::lib_iterator LE = M->lib_end(); 1274cddc86f27c822af960fc8d344a86a63fce6eab76Reid Spencer if (LI != LE) { 12759bf0b9bd44d356690e936ae16bec2c115c7d9f5fDan Gohman Out << '\n'; 1276cfe97b78e787d232f4a82f5ff0afadf75ba95f6cChris Lattner Out << "deplibs = [ "; 1277cfe97b78e787d232f4a82f5ff0afadf75ba95f6cChris Lattner while (LI != LE) { 127844da7d79760998f9a70340b49a3811229838224dChris Lattner Out << '"' << *LI << '"'; 1279c9a1f0dcdde056a2cdbc446a9d6853684402263fReid Spencer ++LI; 1280cfe97b78e787d232f4a82f5ff0afadf75ba95f6cChris Lattner if (LI != LE) 1281cfe97b78e787d232f4a82f5ff0afadf75ba95f6cChris Lattner Out << ", "; 1282c9a1f0dcdde056a2cdbc446a9d6853684402263fReid Spencer } 12839bf0b9bd44d356690e936ae16bec2c115c7d9f5fDan Gohman Out << " ]"; 128483f6a77c8fc27eba21bca05be37663f3a6e123a1Reid Spencer } 1285e59eaf407a675845e278c2769e3dbed9f1daae8cReid Spencer 12861afcace3a3a138b1b18e5c6270caa8dae2261ae2Chris Lattner printTypeIdentities(); 1287fd93908ae8b9684fe71c239e3c6cfe13ff6a2663Misha Brukman 12889bf0b9bd44d356690e936ae16bec2c115c7d9f5fDan Gohman // Output all globals. 12899bf0b9bd44d356690e936ae16bec2c115c7d9f5fDan Gohman if (!M->global_empty()) Out << '\n'; 1290d6d826cdadc4dcaa5babefda85bf08aaa57d8bc5Chris Lattner for (Module::const_global_iterator I = M->global_begin(), E = M->global_end(); 1291d6d826cdadc4dcaa5babefda85bf08aaa57d8bc5Chris Lattner I != E; ++I) 12927e70829632f82de15db187845666aaca6e04b792Chris Lattner printGlobal(I); 1293a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar 129469dacfce54473414c1a863d19ab8f2785cd2a4f2Chris Lattner // Output all aliases. 129569dacfce54473414c1a863d19ab8f2785cd2a4f2Chris Lattner if (!M->alias_empty()) Out << "\n"; 129669dacfce54473414c1a863d19ab8f2785cd2a4f2Chris Lattner for (Module::const_alias_iterator I = M->alias_begin(), E = M->alias_end(); 129769dacfce54473414c1a863d19ab8f2785cd2a4f2Chris Lattner I != E; ++I) 129869dacfce54473414c1a863d19ab8f2785cd2a4f2Chris Lattner printAlias(I); 1299007377f381e253cc559db8d3c94fa89b0eb55fadChris Lattner 130044da7d79760998f9a70340b49a3811229838224dChris Lattner // Output all of the functions. 13017e70829632f82de15db187845666aaca6e04b792Chris Lattner for (Module::const_iterator I = M->begin(), E = M->end(); I != E; ++I) 13027e70829632f82de15db187845666aaca6e04b792Chris Lattner printFunction(I); 1303320671d2654a543bbeed5b62efe165430146d55eDevang Patel 130437c4a2d6f15ff32c9ae91e333d655a349e195993Devang Patel // Output named metadata. 13059bf0b9bd44d356690e936ae16bec2c115c7d9f5fDan Gohman if (!M->named_metadata_empty()) Out << '\n'; 130618801ecd487df27201b894db72aff4b2c7396e18Andrew Trick 130737c4a2d6f15ff32c9ae91e333d655a349e195993Devang Patel for (Module::const_named_metadata_iterator I = M->named_metadata_begin(), 13086e6b1805dae72803fbfe45f9aee2ab9ebfb4ec77Chris Lattner E = M->named_metadata_end(); I != E; ++I) 1309fdb33564772cfbf75f2ad63eb46e252dc3c3e891Chris Lattner printNamedMDNode(I); 131037c4a2d6f15ff32c9ae91e333d655a349e195993Devang Patel 131137c4a2d6f15ff32c9ae91e333d655a349e195993Devang Patel // Output metadata. 1312307c9893fc30758041a3649a8bed2b4b4cc405d4Chris Lattner if (!Machine.mdn_empty()) { 13136e6b1805dae72803fbfe45f9aee2ab9ebfb4ec77Chris Lattner Out << '\n'; 13146e6b1805dae72803fbfe45f9aee2ab9ebfb4ec77Chris Lattner writeAllMDNodes(); 13156e6b1805dae72803fbfe45f9aee2ab9ebfb4ec77Chris Lattner } 1316009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner} 1317009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner 1318fdb33564772cfbf75f2ad63eb46e252dc3c3e891Chris Lattnervoid AssemblyWriter::printNamedMDNode(const NamedMDNode *NMD) { 13199100a78bce4e1d34d8ffd5efa2cc79ed864dd1c0Nick Lewycky Out << '!'; 13209100a78bce4e1d34d8ffd5efa2cc79ed864dd1c0Nick Lewycky StringRef Name = NMD->getName(); 13219100a78bce4e1d34d8ffd5efa2cc79ed864dd1c0Nick Lewycky if (Name.empty()) { 13229100a78bce4e1d34d8ffd5efa2cc79ed864dd1c0Nick Lewycky Out << "<empty name> "; 13239100a78bce4e1d34d8ffd5efa2cc79ed864dd1c0Nick Lewycky } else { 13249100a78bce4e1d34d8ffd5efa2cc79ed864dd1c0Nick Lewycky if (isalpha(Name[0]) || Name[0] == '-' || Name[0] == '$' || 13259100a78bce4e1d34d8ffd5efa2cc79ed864dd1c0Nick Lewycky Name[0] == '.' || Name[0] == '_') 13269100a78bce4e1d34d8ffd5efa2cc79ed864dd1c0Nick Lewycky Out << Name[0]; 13279100a78bce4e1d34d8ffd5efa2cc79ed864dd1c0Nick Lewycky else 13289100a78bce4e1d34d8ffd5efa2cc79ed864dd1c0Nick Lewycky Out << '\\' << hexdigit(Name[0] >> 4) << hexdigit(Name[0] & 0x0F); 13299100a78bce4e1d34d8ffd5efa2cc79ed864dd1c0Nick Lewycky for (unsigned i = 1, e = Name.size(); i != e; ++i) { 13309100a78bce4e1d34d8ffd5efa2cc79ed864dd1c0Nick Lewycky unsigned char C = Name[i]; 13319100a78bce4e1d34d8ffd5efa2cc79ed864dd1c0Nick Lewycky if (isalnum(C) || C == '-' || C == '$' || C == '.' || C == '_') 13329100a78bce4e1d34d8ffd5efa2cc79ed864dd1c0Nick Lewycky Out << C; 13339100a78bce4e1d34d8ffd5efa2cc79ed864dd1c0Nick Lewycky else 13349100a78bce4e1d34d8ffd5efa2cc79ed864dd1c0Nick Lewycky Out << '\\' << hexdigit(C >> 4) << hexdigit(C & 0x0F); 13359100a78bce4e1d34d8ffd5efa2cc79ed864dd1c0Nick Lewycky } 13369100a78bce4e1d34d8ffd5efa2cc79ed864dd1c0Nick Lewycky } 13379100a78bce4e1d34d8ffd5efa2cc79ed864dd1c0Nick Lewycky Out << " = !{"; 1338fdb33564772cfbf75f2ad63eb46e252dc3c3e891Chris Lattner for (unsigned i = 0, e = NMD->getNumOperands(); i != e; ++i) { 1339fdb33564772cfbf75f2ad63eb46e252dc3c3e891Chris Lattner if (i) Out << ", "; 13403da076ffefafd09c01764d4094dd61cd7c79735aDan Gohman int Slot = Machine.getMetadataSlot(NMD->getOperand(i)); 13413da076ffefafd09c01764d4094dd61cd7c79735aDan Gohman if (Slot == -1) 13423da076ffefafd09c01764d4094dd61cd7c79735aDan Gohman Out << "<badref>"; 13433da076ffefafd09c01764d4094dd61cd7c79735aDan Gohman else 13443da076ffefafd09c01764d4094dd61cd7c79735aDan Gohman Out << '!' << Slot; 1345fdb33564772cfbf75f2ad63eb46e252dc3c3e891Chris Lattner } 1346fdb33564772cfbf75f2ad63eb46e252dc3c3e891Chris Lattner Out << "}\n"; 1347fdb33564772cfbf75f2ad63eb46e252dc3c3e891Chris Lattner} 1348fdb33564772cfbf75f2ad63eb46e252dc3c3e891Chris Lattner 1349fdb33564772cfbf75f2ad63eb46e252dc3c3e891Chris Lattner 1350683e922d299bdfa9ec609bd58a0eed20568303f1Dan Gohmanstatic void PrintLinkage(GlobalValue::LinkageTypes LT, 1351683e922d299bdfa9ec609bd58a0eed20568303f1Dan Gohman formatted_raw_ostream &Out) { 1352cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner switch (LT) { 13533d10a5a75794356a0a568ce283713adc3a963200Bill Wendling case GlobalValue::ExternalLinkage: break; 13543d10a5a75794356a0a568ce283713adc3a963200Bill Wendling case GlobalValue::PrivateLinkage: Out << "private "; break; 13553d10a5a75794356a0a568ce283713adc3a963200Bill Wendling case GlobalValue::LinkerPrivateLinkage: Out << "linker_private "; break; 13565e721d768254a920b78b9129d79a84c0163cb3f4Bill Wendling case GlobalValue::LinkerPrivateWeakLinkage: 13575e721d768254a920b78b9129d79a84c0163cb3f4Bill Wendling Out << "linker_private_weak "; 13585e721d768254a920b78b9129d79a84c0163cb3f4Bill Wendling break; 13593d10a5a75794356a0a568ce283713adc3a963200Bill Wendling case GlobalValue::InternalLinkage: Out << "internal "; break; 13603d10a5a75794356a0a568ce283713adc3a963200Bill Wendling case GlobalValue::LinkOnceAnyLinkage: Out << "linkonce "; break; 13613d10a5a75794356a0a568ce283713adc3a963200Bill Wendling case GlobalValue::LinkOnceODRLinkage: Out << "linkonce_odr "; break; 136232811bef956e0fae4329e6515420d85f7e510660Bill Wendling case GlobalValue::LinkOnceODRAutoHideLinkage: 136332811bef956e0fae4329e6515420d85f7e510660Bill Wendling Out << "linkonce_odr_auto_hide "; 136432811bef956e0fae4329e6515420d85f7e510660Bill Wendling break; 13653d10a5a75794356a0a568ce283713adc3a963200Bill Wendling case GlobalValue::WeakAnyLinkage: Out << "weak "; break; 13663d10a5a75794356a0a568ce283713adc3a963200Bill Wendling case GlobalValue::WeakODRLinkage: Out << "weak_odr "; break; 13673d10a5a75794356a0a568ce283713adc3a963200Bill Wendling case GlobalValue::CommonLinkage: Out << "common "; break; 13683d10a5a75794356a0a568ce283713adc3a963200Bill Wendling case GlobalValue::AppendingLinkage: Out << "appending "; break; 13693d10a5a75794356a0a568ce283713adc3a963200Bill Wendling case GlobalValue::DLLImportLinkage: Out << "dllimport "; break; 13703d10a5a75794356a0a568ce283713adc3a963200Bill Wendling case GlobalValue::DLLExportLinkage: Out << "dllexport "; break; 13713d10a5a75794356a0a568ce283713adc3a963200Bill Wendling case GlobalValue::ExternalWeakLinkage: Out << "extern_weak "; break; 1372266c7bbbbcc4b326dea82e577de1a415d6acc23eChris Lattner case GlobalValue::AvailableExternallyLinkage: 1373266c7bbbbcc4b326dea82e577de1a415d6acc23eChris Lattner Out << "available_externally "; 1374266c7bbbbcc4b326dea82e577de1a415d6acc23eChris Lattner break; 1375cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner } 1376cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner} 1377667d4b8de6dea70195ff12ef39a4deebffa2f5c7Duncan Sands 1378cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner 1379cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattnerstatic void PrintVisibility(GlobalValue::VisibilityTypes Vis, 1380683e922d299bdfa9ec609bd58a0eed20568303f1Dan Gohman formatted_raw_ostream &Out) { 1381cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner switch (Vis) { 1382cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner case GlobalValue::DefaultVisibility: break; 1383cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner case GlobalValue::HiddenVisibility: Out << "hidden "; break; 1384cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner case GlobalValue::ProtectedVisibility: Out << "protected "; break; 1385cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner } 1386cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner} 1387cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner 1388ce718ff9f42c7da092eaa01dd0242e8d5ba84713Hans Wennborgstatic void PrintThreadLocalModel(GlobalVariable::ThreadLocalMode TLM, 1389ce718ff9f42c7da092eaa01dd0242e8d5ba84713Hans Wennborg formatted_raw_ostream &Out) { 1390ce718ff9f42c7da092eaa01dd0242e8d5ba84713Hans Wennborg switch (TLM) { 1391ce718ff9f42c7da092eaa01dd0242e8d5ba84713Hans Wennborg case GlobalVariable::NotThreadLocal: 1392ce718ff9f42c7da092eaa01dd0242e8d5ba84713Hans Wennborg break; 1393ce718ff9f42c7da092eaa01dd0242e8d5ba84713Hans Wennborg case GlobalVariable::GeneralDynamicTLSModel: 1394ce718ff9f42c7da092eaa01dd0242e8d5ba84713Hans Wennborg Out << "thread_local "; 1395ce718ff9f42c7da092eaa01dd0242e8d5ba84713Hans Wennborg break; 1396ce718ff9f42c7da092eaa01dd0242e8d5ba84713Hans Wennborg case GlobalVariable::LocalDynamicTLSModel: 1397ce718ff9f42c7da092eaa01dd0242e8d5ba84713Hans Wennborg Out << "thread_local(localdynamic) "; 1398ce718ff9f42c7da092eaa01dd0242e8d5ba84713Hans Wennborg break; 1399ce718ff9f42c7da092eaa01dd0242e8d5ba84713Hans Wennborg case GlobalVariable::InitialExecTLSModel: 1400ce718ff9f42c7da092eaa01dd0242e8d5ba84713Hans Wennborg Out << "thread_local(initialexec) "; 1401ce718ff9f42c7da092eaa01dd0242e8d5ba84713Hans Wennborg break; 1402ce718ff9f42c7da092eaa01dd0242e8d5ba84713Hans Wennborg case GlobalVariable::LocalExecTLSModel: 1403ce718ff9f42c7da092eaa01dd0242e8d5ba84713Hans Wennborg Out << "thread_local(localexec) "; 1404ce718ff9f42c7da092eaa01dd0242e8d5ba84713Hans Wennborg break; 1405ce718ff9f42c7da092eaa01dd0242e8d5ba84713Hans Wennborg } 1406ce718ff9f42c7da092eaa01dd0242e8d5ba84713Hans Wennborg} 1407ce718ff9f42c7da092eaa01dd0242e8d5ba84713Hans Wennborg 1408c1824996451d5ea93864fcd34ba8ea5e5f03e368Chris Lattnervoid AssemblyWriter::printGlobal(const GlobalVariable *GV) { 14094483c7b15aa343bd95e3d7f800be788b77ea23f8Dan Gohman if (GV->isMaterializable()) 14104483c7b15aa343bd95e3d7f800be788b77ea23f8Dan Gohman Out << "; Materializable\n"; 14114483c7b15aa343bd95e3d7f800be788b77ea23f8Dan Gohman 14123bdfbf5d56d52fc4c390df77f98ba2c46951b51aDan Gohman WriteAsOperandInternal(Out, GV, &TypePrinter, &Machine, GV->getParent()); 14133845e50edea58edd0f5e0f2b732e0106b53ba279Dan Gohman Out << " = "; 1414d70684f7585a85c4248c1c224059478108741c70Chris Lattner 141552b26de325e32c71159376853384789b7646eaf4Chris Lattner if (!GV->hasInitializer() && GV->hasExternalLinkage()) 141652b26de325e32c71159376853384789b7646eaf4Chris Lattner Out << "external "; 1417a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar 141852b26de325e32c71159376853384789b7646eaf4Chris Lattner PrintLinkage(GV->getLinkage(), Out); 141952b26de325e32c71159376853384789b7646eaf4Chris Lattner PrintVisibility(GV->getVisibility(), Out); 1420ce718ff9f42c7da092eaa01dd0242e8d5ba84713Hans Wennborg PrintThreadLocalModel(GV->getThreadLocalMode(), Out); 1421c763552299165b88d34a7d4f2d76ff413cbc7f67Lauro Ramos Venancio 1422df98617b23315e427cc4fad8ccfdd50d68bec2f9Chris Lattner if (unsigned AddressSpace = GV->getType()->getAddressSpace()) 1423df98617b23315e427cc4fad8ccfdd50d68bec2f9Chris Lattner Out << "addrspace(" << AddressSpace << ") "; 1424bea4626f93c830e31f82cc947df28fdae583cd09Rafael Espindola if (GV->hasUnnamedAddr()) Out << "unnamed_addr "; 14250313e0b44dcd77acd334d3f324c7da527179a690Misha Brukman Out << (GV->isConstant() ? "constant " : "global "); 14260f7364b4aa15263827af49d046fd6147ac769eefChris Lattner TypePrinter.print(GV->getType()->getElementType(), Out); 1427d70684f7585a85c4248c1c224059478108741c70Chris Lattner 14288dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman if (GV->hasInitializer()) { 14298dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman Out << ' '; 1430320671d2654a543bbeed5b62efe165430146d55eDevang Patel writeOperand(GV->getInitializer(), false); 14318dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman } 1432a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar 14338fff12605e125e264bca213e748e1ec972437a55Chris Lattner if (GV->hasSection()) { 14348fff12605e125e264bca213e748e1ec972437a55Chris Lattner Out << ", section \""; 14358fff12605e125e264bca213e748e1ec972437a55Chris Lattner PrintEscapedString(GV->getSection(), Out); 14368fff12605e125e264bca213e748e1ec972437a55Chris Lattner Out << '"'; 14378fff12605e125e264bca213e748e1ec972437a55Chris Lattner } 143860962dbfbaa4a9c3ca6fced08fb90b748aa99203Chris Lattner if (GV->getAlignment()) 143930caa2876cd500b49e27b6810ab5dec96398c6faChris Lattner Out << ", align " << GV->getAlignment(); 14408b0a8c84da2030ee8f4440d5b60a8033de691222Anton Korobeynikov 14417e70829632f82de15db187845666aaca6e04b792Chris Lattner printInfoComment(*GV); 1442cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner Out << '\n'; 144370cc3397f84c2e1fd69c059a0ef89e398e847b00Chris Lattner} 144470cc3397f84c2e1fd69c059a0ef89e398e847b00Chris Lattner 14458b0a8c84da2030ee8f4440d5b60a8033de691222Anton Korobeynikovvoid AssemblyWriter::printAlias(const GlobalAlias *GA) { 14464483c7b15aa343bd95e3d7f800be788b77ea23f8Dan Gohman if (GA->isMaterializable()) 14474483c7b15aa343bd95e3d7f800be788b77ea23f8Dan Gohman Out << "; Materializable\n"; 14484483c7b15aa343bd95e3d7f800be788b77ea23f8Dan Gohman 144924f07dc6e464aa82694fd3dd5fc88dc139d16b7cDale Johannesen // Don't crash when dumping partially built GA 145024f07dc6e464aa82694fd3dd5fc88dc139d16b7cDale Johannesen if (!GA->hasName()) 145124f07dc6e464aa82694fd3dd5fc88dc139d16b7cDale Johannesen Out << "<<nameless>> = "; 1452c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner else { 1453c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner PrintLLVMName(Out, GA); 1454c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner Out << " = "; 1455c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner } 1456cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner PrintVisibility(GA->getVisibility(), Out); 14578b0a8c84da2030ee8f4440d5b60a8033de691222Anton Korobeynikov 14588b0a8c84da2030ee8f4440d5b60a8033de691222Anton Korobeynikov Out << "alias "; 14598b0a8c84da2030ee8f4440d5b60a8033de691222Anton Korobeynikov 1460cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner PrintLinkage(GA->getLinkage(), Out); 1461a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar 1462c6c98af9e5814e8066c82f20ca11cf646a5fc289Anton Korobeynikov const Constant *Aliasee = GA->getAliasee(); 1463a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar 14641afcace3a3a138b1b18e5c6270caa8dae2261ae2Chris Lattner if (Aliasee == 0) { 14651afcace3a3a138b1b18e5c6270caa8dae2261ae2Chris Lattner TypePrinter.print(GA->getType(), Out); 14661afcace3a3a138b1b18e5c6270caa8dae2261ae2Chris Lattner Out << " <<NULL ALIASEE>>"; 14675cd8ea2fd3a88639bc6556e9564a95bcdd9598dbJay Foad } else { 14688d948652f2d6d68023f8cec7ba60e9aed2720bd1Jay Foad writeOperand(Aliasee, !isa<ConstantExpr>(Aliasee)); 14695cd8ea2fd3a88639bc6556e9564a95bcdd9598dbJay Foad } 1470a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar 14718b0a8c84da2030ee8f4440d5b60a8033de691222Anton Korobeynikov printInfoComment(*GA); 147252b26de325e32c71159376853384789b7646eaf4Chris Lattner Out << '\n'; 14738b0a8c84da2030ee8f4440d5b60a8033de691222Anton Korobeynikov} 14748b0a8c84da2030ee8f4440d5b60a8033de691222Anton Korobeynikov 14751afcace3a3a138b1b18e5c6270caa8dae2261ae2Chris Lattnervoid AssemblyWriter::printTypeIdentities() { 14761afcace3a3a138b1b18e5c6270caa8dae2261ae2Chris Lattner if (TypePrinter.NumberedTypes.empty() && 14771afcace3a3a138b1b18e5c6270caa8dae2261ae2Chris Lattner TypePrinter.NamedTypes.empty()) 14781afcace3a3a138b1b18e5c6270caa8dae2261ae2Chris Lattner return; 147918801ecd487df27201b894db72aff4b2c7396e18Andrew Trick 14801afcace3a3a138b1b18e5c6270caa8dae2261ae2Chris Lattner Out << '\n'; 148118801ecd487df27201b894db72aff4b2c7396e18Andrew Trick 14821afcace3a3a138b1b18e5c6270caa8dae2261ae2Chris Lattner // We know all the numbers that each type is used and we know that it is a 14831afcace3a3a138b1b18e5c6270caa8dae2261ae2Chris Lattner // dense assignment. Convert the map to an index table. 14841afcace3a3a138b1b18e5c6270caa8dae2261ae2Chris Lattner std::vector<StructType*> NumberedTypes(TypePrinter.NumberedTypes.size()); 148518801ecd487df27201b894db72aff4b2c7396e18Andrew Trick for (DenseMap<StructType*, unsigned>::iterator I = 14861afcace3a3a138b1b18e5c6270caa8dae2261ae2Chris Lattner TypePrinter.NumberedTypes.begin(), E = TypePrinter.NumberedTypes.end(); 14871afcace3a3a138b1b18e5c6270caa8dae2261ae2Chris Lattner I != E; ++I) { 14881afcace3a3a138b1b18e5c6270caa8dae2261ae2Chris Lattner assert(I->second < NumberedTypes.size() && "Didn't get a dense numbering?"); 14891afcace3a3a138b1b18e5c6270caa8dae2261ae2Chris Lattner NumberedTypes[I->second] = I->first; 14901afcace3a3a138b1b18e5c6270caa8dae2261ae2Chris Lattner } 149118801ecd487df27201b894db72aff4b2c7396e18Andrew Trick 1492413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner // Emit all numbered types. 1493413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner for (unsigned i = 0, e = NumberedTypes.size(); i != e; ++i) { 14943845e50edea58edd0f5e0f2b732e0106b53ba279Dan Gohman Out << '%' << i << " = type "; 149518801ecd487df27201b894db72aff4b2c7396e18Andrew Trick 1496413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner // Make sure we print out at least one level of the type structure, so 1497413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner // that we do not get %2 = type %2 14981afcace3a3a138b1b18e5c6270caa8dae2261ae2Chris Lattner TypePrinter.printStructBody(NumberedTypes[i], Out); 14999bf0b9bd44d356690e936ae16bec2c115c7d9f5fDan Gohman Out << '\n'; 1500413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner } 150118801ecd487df27201b894db72aff4b2c7396e18Andrew Trick 15021afcace3a3a138b1b18e5c6270caa8dae2261ae2Chris Lattner for (unsigned i = 0, e = TypePrinter.NamedTypes.size(); i != e; ++i) { 15031afcace3a3a138b1b18e5c6270caa8dae2261ae2Chris Lattner PrintLLVMName(Out, TypePrinter.NamedTypes[i]->getName(), LocalPrefix); 150452b26de325e32c71159376853384789b7646eaf4Chris Lattner Out << " = type "; 15059231ac8b6f2c3f9877bdb7a223f7392061258ab6Reid Spencer 15069231ac8b6f2c3f9877bdb7a223f7392061258ab6Reid Spencer // Make sure we print out at least one level of the type structure, so 15079231ac8b6f2c3f9877bdb7a223f7392061258ab6Reid Spencer // that we do not get %FILE = type %FILE 15081afcace3a3a138b1b18e5c6270caa8dae2261ae2Chris Lattner TypePrinter.printStructBody(TypePrinter.NamedTypes[i], Out); 1509cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner Out << '\n'; 15109231ac8b6f2c3f9877bdb7a223f7392061258ab6Reid Spencer } 151178d033e086e19e016273de014f9214aa6f3f844bReid Spencer} 151278d033e086e19e016273de014f9214aa6f3f844bReid Spencer 1513ab5c6003d23c19d23bbff1054900d208c55e0188Misha Brukman/// printFunction - Print all aspects of a function. 1514ab5c6003d23c19d23bbff1054900d208c55e0188Misha Brukman/// 15157e70829632f82de15db187845666aaca6e04b792Chris Lattnervoid AssemblyWriter::printFunction(const Function *F) { 1516cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner // Print out the return type and name. 1517cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner Out << '\n'; 15184ad02e726d9b634372b037d4b352d8b63bb9e849Chris Lattner 15190313e0b44dcd77acd334d3f324c7da527179a690Misha Brukman if (AnnotationWriter) AnnotationWriter->emitFunctionAnnot(F, Out); 152095e5a2cc3fc55b262d2baa1cc417115dfa4a18eaChris Lattner 15214483c7b15aa343bd95e3d7f800be788b77ea23f8Dan Gohman if (F->isMaterializable()) 15224483c7b15aa343bd95e3d7f800be788b77ea23f8Dan Gohman Out << "; Materializable\n"; 15234483c7b15aa343bd95e3d7f800be788b77ea23f8Dan Gohman 15245cbf985dcbc89fba3208e7baf8b6f488b06d3ec9Reid Spencer if (F->isDeclaration()) 15253aa6066d010b2ccfd58f07fb1be874becf5807c2Chris Lattner Out << "declare "; 15263aa6066d010b2ccfd58f07fb1be874becf5807c2Chris Lattner else 1527b951bc02839e9862e02e17c7ea83e6437fc13442Reid Spencer Out << "define "; 1528a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar 1529cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner PrintLinkage(F->getLinkage(), Out); 1530cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner PrintVisibility(F->getVisibility(), Out); 15314ad02e726d9b634372b037d4b352d8b63bb9e849Chris Lattner 1532d511898b581826694e6c651e23343b1e1ba5ba64Chris Lattner // Print the calling convention. 1533d511898b581826694e6c651e23343b1e1ba5ba64Chris Lattner switch (F->getCallingConv()) { 1534d511898b581826694e6c651e23343b1e1ba5ba64Chris Lattner case CallingConv::C: break; // default 1535f824868ed9d2cc756a797f6dbd67732f75e31cd6Anton Korobeynikov case CallingConv::Fast: Out << "fastcc "; break; 1536f824868ed9d2cc756a797f6dbd67732f75e31cd6Anton Korobeynikov case CallingConv::Cold: Out << "coldcc "; break; 1537f824868ed9d2cc756a797f6dbd67732f75e31cd6Anton Korobeynikov case CallingConv::X86_StdCall: Out << "x86_stdcallcc "; break; 1538385f5a99ecc7fee48a7539bc63d3e1d3b5089c0dAnton Korobeynikov case CallingConv::X86_FastCall: Out << "x86_fastcallcc "; break; 1539ded05e34b65dc42998e9db6ca1abd513e7a9d120Anton Korobeynikov case CallingConv::X86_ThisCall: Out << "x86_thiscallcc "; break; 1540385f5a99ecc7fee48a7539bc63d3e1d3b5089c0dAnton Korobeynikov case CallingConv::ARM_APCS: Out << "arm_apcscc "; break; 1541385f5a99ecc7fee48a7539bc63d3e1d3b5089c0dAnton Korobeynikov case CallingConv::ARM_AAPCS: Out << "arm_aapcscc "; break; 1542385f5a99ecc7fee48a7539bc63d3e1d3b5089c0dAnton Korobeynikov case CallingConv::ARM_AAPCS_VFP:Out << "arm_aapcs_vfpcc "; break; 1543211a14e476abc9b864ab6a5d5e0bbb86d288b650Anton Korobeynikov case CallingConv::MSP430_INTR: Out << "msp430_intrcc "; break; 1544a6428a401b4692527dce51ef4318334c0913e17eJustin Holewinski case CallingConv::PTX_Kernel: Out << "ptx_kernel "; break; 1545a6428a401b4692527dce51ef4318334c0913e17eJustin Holewinski case CallingConv::PTX_Device: Out << "ptx_device "; break; 1546d511898b581826694e6c651e23343b1e1ba5ba64Chris Lattner default: Out << "cc" << F->getCallingConv() << " "; break; 1547d511898b581826694e6c651e23343b1e1ba5ba64Chris Lattner } 1548d511898b581826694e6c651e23343b1e1ba5ba64Chris Lattner 1549db125cfaf57cc83e7dd7453de2d509bc8efd0e5eChris Lattner FunctionType *FT = F->getFunctionType(); 15500598866c052147c31b808391f58434ce3dbfb838Devang Patel const AttrListPtr &Attrs = F->getAttributes(); 1551652203f3f3b6dd5062bb450d189a80d8aaa51693Devang Patel Attributes RetAttrs = Attrs.getRetAttributes(); 1552652203f3f3b6dd5062bb450d189a80d8aaa51693Devang Patel if (RetAttrs != Attribute::None) 1553652203f3f3b6dd5062bb450d189a80d8aaa51693Devang Patel Out << Attribute::getAsString(Attrs.getRetAttributes()) << ' '; 15540f7364b4aa15263827af49d046fd6147ac769eefChris Lattner TypePrinter.print(F->getReturnType(), Out); 15554667b71f9380afad56cbdc1fd19ca32334086d2cChris Lattner Out << ' '; 15563bdfbf5d56d52fc4c390df77f98ba2c46951b51aDan Gohman WriteAsOperandInternal(Out, F, &TypePrinter, &Machine, F->getParent()); 15570313e0b44dcd77acd334d3f324c7da527179a690Misha Brukman Out << '('; 15580d1b77e2824115d97f8392c3f4ec257b27ebbd7aReid Spencer Machine.incorporateFunction(F); 1559007377f381e253cc559db8d3c94fa89b0eb55fadChris Lattner 1560c1824996451d5ea93864fcd34ba8ea5e5f03e368Chris Lattner // Loop over the arguments, printing them... 1561007377f381e253cc559db8d3c94fa89b0eb55fadChris Lattner 1562bd5db8e29b82f864c3d6525c6cfefa557fafdbb8Reid Spencer unsigned Idx = 1; 15638dcd2f1a5bbb9151ec05532861be58bf3f078e63Chris Lattner if (!F->isDeclaration()) { 15648dcd2f1a5bbb9151ec05532861be58bf3f078e63Chris Lattner // If this isn't a declaration, print the argument names as well. 15658dcd2f1a5bbb9151ec05532861be58bf3f078e63Chris Lattner for (Function::const_arg_iterator I = F->arg_begin(), E = F->arg_end(); 15668dcd2f1a5bbb9151ec05532861be58bf3f078e63Chris Lattner I != E; ++I) { 15678dcd2f1a5bbb9151ec05532861be58bf3f078e63Chris Lattner // Insert commas as we go... the first arg doesn't get a comma 15688dcd2f1a5bbb9151ec05532861be58bf3f078e63Chris Lattner if (I != F->arg_begin()) Out << ", "; 156919c874638d9478a5d5028854817a5ee72293bb2bDevang Patel printArgument(I, Attrs.getParamAttributes(Idx)); 15708dcd2f1a5bbb9151ec05532861be58bf3f078e63Chris Lattner Idx++; 15718dcd2f1a5bbb9151ec05532861be58bf3f078e63Chris Lattner } 15728dcd2f1a5bbb9151ec05532861be58bf3f078e63Chris Lattner } else { 15738dcd2f1a5bbb9151ec05532861be58bf3f078e63Chris Lattner // Otherwise, print the types from the function type. 15748dcd2f1a5bbb9151ec05532861be58bf3f078e63Chris Lattner for (unsigned i = 0, e = FT->getNumParams(); i != e; ++i) { 15758dcd2f1a5bbb9151ec05532861be58bf3f078e63Chris Lattner // Insert commas as we go... the first arg doesn't get a comma 15768dcd2f1a5bbb9151ec05532861be58bf3f078e63Chris Lattner if (i) Out << ", "; 1577a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar 15788dcd2f1a5bbb9151ec05532861be58bf3f078e63Chris Lattner // Output type... 15790f7364b4aa15263827af49d046fd6147ac769eefChris Lattner TypePrinter.print(FT->getParamType(i), Out); 1580a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar 158119c874638d9478a5d5028854817a5ee72293bb2bDevang Patel Attributes ArgAttrs = Attrs.getParamAttributes(i+1); 15820598866c052147c31b808391f58434ce3dbfb838Devang Patel if (ArgAttrs != Attribute::None) 15830598866c052147c31b808391f58434ce3dbfb838Devang Patel Out << ' ' << Attribute::getAsString(ArgAttrs); 15848dcd2f1a5bbb9151ec05532861be58bf3f078e63Chris Lattner } 1585bd5db8e29b82f864c3d6525c6cfefa557fafdbb8Reid Spencer } 1586007377f381e253cc559db8d3c94fa89b0eb55fadChris Lattner 1587007377f381e253cc559db8d3c94fa89b0eb55fadChris Lattner // Finish printing arguments... 15887e70829632f82de15db187845666aaca6e04b792Chris Lattner if (FT->isVarArg()) { 15890313e0b44dcd77acd334d3f324c7da527179a690Misha Brukman if (FT->getNumParams()) Out << ", "; 15900313e0b44dcd77acd334d3f324c7da527179a690Misha Brukman Out << "..."; // Output varargs portion of signature! 1591007377f381e253cc559db8d3c94fa89b0eb55fadChris Lattner } 15920313e0b44dcd77acd334d3f324c7da527179a690Misha Brukman Out << ')'; 15933971df5203146649a34dc50d217c0cc072d39be9Rafael Espindola if (F->hasUnnamedAddr()) 15943971df5203146649a34dc50d217c0cc072d39be9Rafael Espindola Out << " unnamed_addr"; 159519c874638d9478a5d5028854817a5ee72293bb2bDevang Patel Attributes FnAttrs = Attrs.getFnAttributes(); 159619c874638d9478a5d5028854817a5ee72293bb2bDevang Patel if (FnAttrs != Attribute::None) 159719c874638d9478a5d5028854817a5ee72293bb2bDevang Patel Out << ' ' << Attribute::getAsString(Attrs.getFnAttributes()); 15988fff12605e125e264bca213e748e1ec972437a55Chris Lattner if (F->hasSection()) { 15998fff12605e125e264bca213e748e1ec972437a55Chris Lattner Out << " section \""; 16008fff12605e125e264bca213e748e1ec972437a55Chris Lattner PrintEscapedString(F->getSection(), Out); 16018fff12605e125e264bca213e748e1ec972437a55Chris Lattner Out << '"'; 16028fff12605e125e264bca213e748e1ec972437a55Chris Lattner } 160330caa2876cd500b49e27b6810ab5dec96398c6faChris Lattner if (F->getAlignment()) 160430caa2876cd500b49e27b6810ab5dec96398c6faChris Lattner Out << " align " << F->getAlignment(); 16055eca075b74d62c621b160aa216b4cd50829a2cc7Gordon Henriksen if (F->hasGC()) 16065eca075b74d62c621b160aa216b4cd50829a2cc7Gordon Henriksen Out << " gc \"" << F->getGC() << '"'; 1607f3ba70861ccf00b1072ae1b6ade3ebe2da6cff40Devang Patel if (F->isDeclaration()) { 160891fb4070e58566c5406b65bf70719c3e580eb027Chris Lattner Out << '\n'; 1609f3ba70861ccf00b1072ae1b6ade3ebe2da6cff40Devang Patel } else { 161091fb4070e58566c5406b65bf70719c3e580eb027Chris Lattner Out << " {"; 161191fb4070e58566c5406b65bf70719c3e580eb027Chris Lattner // Output all of the function's basic blocks. 16127e70829632f82de15db187845666aaca6e04b792Chris Lattner for (Function::const_iterator I = F->begin(), E = F->end(); I != E; ++I) 16137e70829632f82de15db187845666aaca6e04b792Chris Lattner printBasicBlock(I); 1614007377f381e253cc559db8d3c94fa89b0eb55fadChris Lattner 16150313e0b44dcd77acd334d3f324c7da527179a690Misha Brukman Out << "}\n"; 1616007377f381e253cc559db8d3c94fa89b0eb55fadChris Lattner } 1617007377f381e253cc559db8d3c94fa89b0eb55fadChris Lattner 16180d1b77e2824115d97f8392c3f4ec257b27ebbd7aReid Spencer Machine.purgeFunction(); 1619009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner} 1620009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner 1621ab5c6003d23c19d23bbff1054900d208c55e0188Misha Brukman/// printArgument - This member is called for every argument that is passed into 1622ab5c6003d23c19d23bbff1054900d208c55e0188Misha Brukman/// the function. Simply print it out 1623ab5c6003d23c19d23bbff1054900d208c55e0188Misha Brukman/// 1624a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbarvoid AssemblyWriter::printArgument(const Argument *Arg, 1625eaf42abab6d465c38891345d999255871cf03943Devang Patel Attributes Attrs) { 1626009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner // Output type... 16270f7364b4aa15263827af49d046fd6147ac769eefChris Lattner TypePrinter.print(Arg->getType(), Out); 1628fd93908ae8b9684fe71c239e3c6cfe13ff6a2663Misha Brukman 1629dc024674ff96820d6020757b48d47f46d4c07db2Duncan Sands // Output parameter attributes list 16300598866c052147c31b808391f58434ce3dbfb838Devang Patel if (Attrs != Attribute::None) 16310598866c052147c31b808391f58434ce3dbfb838Devang Patel Out << ' ' << Attribute::getAsString(Attrs); 1632bd5db8e29b82f864c3d6525c6cfefa557fafdbb8Reid Spencer 1633009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner // Output name, if available... 1634c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner if (Arg->hasName()) { 1635c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner Out << ' '; 1636c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner PrintLLVMName(Out, Arg); 1637c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner } 1638009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner} 1639009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner 1640ab5c6003d23c19d23bbff1054900d208c55e0188Misha Brukman/// printBasicBlock - This member is called for each basic block in a method. 1641ab5c6003d23c19d23bbff1054900d208c55e0188Misha Brukman/// 1642c1824996451d5ea93864fcd34ba8ea5e5f03e368Chris Lattnervoid AssemblyWriter::printBasicBlock(const BasicBlock *BB) { 1643280a6e607d8eb7401749a92db624a82de47da777Nick Lewycky if (BB->hasName()) { // Print out the label if it exists... 1644c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner Out << "\n"; 164503d7651c3652e1f0cc86e79b26585d86818da9cfDaniel Dunbar PrintLLVMName(Out, BB->getName(), LabelPrefix); 1646c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner Out << ':'; 1647280a6e607d8eb7401749a92db624a82de47da777Nick Lewycky } else if (!BB->use_empty()) { // Don't print block # of no uses... 16485d7a5a4f53304869ae5b76771ab67213447b65a5Bill Wendling Out << "\n; <label>:"; 164922379bc7bb28fbfb1182877e6dc316aaab98a4baChris Lattner int Slot = Machine.getLocalSlot(BB); 165069566459cc27c5210472a87ae2fe7b2ca64f9fc8Chris Lattner if (Slot != -1) 16510313e0b44dcd77acd334d3f324c7da527179a690Misha Brukman Out << Slot; 165269566459cc27c5210472a87ae2fe7b2ca64f9fc8Chris Lattner else 16530313e0b44dcd77acd334d3f324c7da527179a690Misha Brukman Out << "<badref>"; 1654061269be9723f842931f18ad207acf9a66e0cf76Chris Lattner } 16554e4d8624c5c44578d64fe1344670520cceec03f2Chris Lattner 1656683e922d299bdfa9ec609bd58a0eed20568303f1Dan Gohman if (BB->getParent() == 0) { 16578f4b1ec02bbc72161a9bd9777a2996dae439c81eChris Lattner Out.PadToColumn(50); 1658683e922d299bdfa9ec609bd58a0eed20568303f1Dan Gohman Out << "; Error: Block without parent!"; 1659683e922d299bdfa9ec609bd58a0eed20568303f1Dan Gohman } else if (BB != &BB->getParent()->getEntryBlock()) { // Not the entry block? 166091fb4070e58566c5406b65bf70719c3e580eb027Chris Lattner // Output predecessors for the block. 16618f4b1ec02bbc72161a9bd9777a2996dae439c81eChris Lattner Out.PadToColumn(50); 1662683e922d299bdfa9ec609bd58a0eed20568303f1Dan Gohman Out << ";"; 166344424646ac9db5c4d3919462bd0831ec22783085Gabor Greif const_pred_iterator PI = pred_begin(BB), PE = pred_end(BB); 1664a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar 1665eb411291fa7614496ec8b51b0ced9f6cc2b78313Chris Lattner if (PI == PE) { 1666eb411291fa7614496ec8b51b0ced9f6cc2b78313Chris Lattner Out << " No predecessors!"; 1667eb411291fa7614496ec8b51b0ced9f6cc2b78313Chris Lattner } else { 16688dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman Out << " preds = "; 1669eb411291fa7614496ec8b51b0ced9f6cc2b78313Chris Lattner writeOperand(*PI, false); 1670eb411291fa7614496ec8b51b0ced9f6cc2b78313Chris Lattner for (++PI; PI != PE; ++PI) { 16718dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman Out << ", "; 16722fcfdb79d0d1d2297d7aced11b567cd52494604eChris Lattner writeOperand(*PI, false); 167340efcec8e879b3470b3c0ad9d8124abce2cd8915Chris Lattner } 1674061269be9723f842931f18ad207acf9a66e0cf76Chris Lattner } 1675009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner } 1676fd93908ae8b9684fe71c239e3c6cfe13ff6a2663Misha Brukman 1677eb411291fa7614496ec8b51b0ced9f6cc2b78313Chris Lattner Out << "\n"; 1678009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner 16790313e0b44dcd77acd334d3f324c7da527179a690Misha Brukman if (AnnotationWriter) AnnotationWriter->emitBasicBlockStartAnnot(BB, Out); 168095e5a2cc3fc55b262d2baa1cc417115dfa4a18eaChris Lattner 1681007377f381e253cc559db8d3c94fa89b0eb55fadChris Lattner // Output all of the instructions in the basic block... 1682beca6896b97e5a07081390c19ecfd176dbc27b1fDan Gohman for (BasicBlock::const_iterator I = BB->begin(), E = BB->end(); I != E; ++I) { 16837e70829632f82de15db187845666aaca6e04b792Chris Lattner printInstruction(*I); 1684beca6896b97e5a07081390c19ecfd176dbc27b1fDan Gohman Out << '\n'; 1685beca6896b97e5a07081390c19ecfd176dbc27b1fDan Gohman } 16869f717ef279f4b82e28c341c98a9aa602f01f9b27Chris Lattner 16870313e0b44dcd77acd334d3f324c7da527179a690Misha Brukman if (AnnotationWriter) AnnotationWriter->emitBasicBlockEndAnnot(BB, Out); 1688009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner} 1689009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner 1690ab5c6003d23c19d23bbff1054900d208c55e0188Misha Brukman/// printInfoComment - Print a little comment after the instruction indicating 1691ab5c6003d23c19d23bbff1054900d208c55e0188Misha Brukman/// which slot it occupies. 1692ab5c6003d23c19d23bbff1054900d208c55e0188Misha Brukman/// 16937e70829632f82de15db187845666aaca6e04b792Chris Lattnervoid AssemblyWriter::printInfoComment(const Value &V) { 16947a5666e7f3ba5d7825e5d65d601f9679d10a56bbDan Gohman if (AnnotationWriter) { 16957a5666e7f3ba5d7825e5d65d601f9679d10a56bbDan Gohman AnnotationWriter->printInfoComment(V, Out); 16967a5666e7f3ba5d7825e5d65d601f9679d10a56bbDan Gohman return; 16977a5666e7f3ba5d7825e5d65d601f9679d10a56bbDan Gohman } 1698e02fa8551d20081534afa46e0976811687e5183aChris Lattner} 1699e02fa8551d20081534afa46e0976811687e5183aChris Lattner 17003a9ec2463ddeba0820f284e2952bd6919cd5e080Reid Spencer// This member is called for each Instruction in a function.. 17017e70829632f82de15db187845666aaca6e04b792Chris Lattnervoid AssemblyWriter::printInstruction(const Instruction &I) { 17020313e0b44dcd77acd334d3f324c7da527179a690Misha Brukman if (AnnotationWriter) AnnotationWriter->emitInstructionAnnot(&I, Out); 170395e5a2cc3fc55b262d2baa1cc417115dfa4a18eaChris Lattner 17043845e50edea58edd0f5e0f2b732e0106b53ba279Dan Gohman // Print out indentation for an instruction. 170501889caf73a2faa3b77142851faa09abad5c73b0Dan Gohman Out << " "; 1706009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner 1707009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner // Print out name if it exists... 1708c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner if (I.hasName()) { 1709c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner PrintLLVMName(Out, &I); 1710c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner Out << " = "; 17114ee93c430367000c80a02ba218ddf712aa3e57edChris Lattner } else if (!I.getType()->isVoidTy()) { 1712828db8a2f90e0e3faf27c1fe69a632c666e3a343Chris Lattner // Print out the def slot taken. 1713828db8a2f90e0e3faf27c1fe69a632c666e3a343Chris Lattner int SlotNum = Machine.getLocalSlot(&I); 1714828db8a2f90e0e3faf27c1fe69a632c666e3a343Chris Lattner if (SlotNum == -1) 1715828db8a2f90e0e3faf27c1fe69a632c666e3a343Chris Lattner Out << "<badref> = "; 1716828db8a2f90e0e3faf27c1fe69a632c666e3a343Chris Lattner else 1717828db8a2f90e0e3faf27c1fe69a632c666e3a343Chris Lattner Out << '%' << SlotNum << " = "; 1718c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner } 171918801ecd487df27201b894db72aff4b2c7396e18Andrew Trick 172021006d40ac9ec7715bca2095451075a83773dc52Eli Friedman if (isa<CallInst>(I) && cast<CallInst>(I).isTailCall()) 1721ddb6db4fa11d06217d01d8431596131abdfb7ef0Chris Lattner Out << "tail "; 1722e5e475e09d1e8a9ea1bda58b536867ff16600399Chris Lattner 1723009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner // Print out the opcode... 17240313e0b44dcd77acd334d3f324c7da527179a690Misha Brukman Out << I.getOpcodeName(); 1725009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner 1726f03bb260c90ad013aa4e55af36382875011c95b8Eli Friedman // If this is an atomic load or store, print out the atomic marker. 1727f03bb260c90ad013aa4e55af36382875011c95b8Eli Friedman if ((isa<LoadInst>(I) && cast<LoadInst>(I).isAtomic()) || 1728f03bb260c90ad013aa4e55af36382875011c95b8Eli Friedman (isa<StoreInst>(I) && cast<StoreInst>(I).isAtomic())) 1729f03bb260c90ad013aa4e55af36382875011c95b8Eli Friedman Out << " atomic"; 1730f03bb260c90ad013aa4e55af36382875011c95b8Eli Friedman 1731f03bb260c90ad013aa4e55af36382875011c95b8Eli Friedman // If this is a volatile operation, print out the volatile marker. 1732f03bb260c90ad013aa4e55af36382875011c95b8Eli Friedman if ((isa<LoadInst>(I) && cast<LoadInst>(I).isVolatile()) || 1733f03bb260c90ad013aa4e55af36382875011c95b8Eli Friedman (isa<StoreInst>(I) && cast<StoreInst>(I).isVolatile()) || 1734f03bb260c90ad013aa4e55af36382875011c95b8Eli Friedman (isa<AtomicCmpXchgInst>(I) && cast<AtomicCmpXchgInst>(I).isVolatile()) || 1735f03bb260c90ad013aa4e55af36382875011c95b8Eli Friedman (isa<AtomicRMWInst>(I) && cast<AtomicRMWInst>(I).isVolatile())) 1736f03bb260c90ad013aa4e55af36382875011c95b8Eli Friedman Out << " volatile"; 1737f03bb260c90ad013aa4e55af36382875011c95b8Eli Friedman 173859858cf7926702596cf708daf21aeaf5b6feedf8Dan Gohman // Print out optimization information. 173959858cf7926702596cf708daf21aeaf5b6feedf8Dan Gohman WriteOptimizationInfo(Out, &I); 174059858cf7926702596cf708daf21aeaf5b6feedf8Dan Gohman 174174f1642bc1c2981e4573c9f0690d91b6a9bbc68cReid Spencer // Print out the compare instruction predicates 1742ac80ade1580378e484e24c9f66d2fa5b058e5891Nate Begeman if (const CmpInst *CI = dyn_cast<CmpInst>(&I)) 1743ab49ee752ec37f586e45c999eca1e29e32697cb7Chris Lattner Out << ' ' << getPredicateText(CI->getPredicate()); 174474f1642bc1c2981e4573c9f0690d91b6a9bbc68cReid Spencer 1745ff03048c1350fcc4fda1ef6d6c57252f3a950854Eli Friedman // Print out the atomicrmw operation 1746ff03048c1350fcc4fda1ef6d6c57252f3a950854Eli Friedman if (const AtomicRMWInst *RMWI = dyn_cast<AtomicRMWInst>(&I)) 1747ff03048c1350fcc4fda1ef6d6c57252f3a950854Eli Friedman writeAtomicRMWOperation(Out, RMWI->getOperation()); 1748ff03048c1350fcc4fda1ef6d6c57252f3a950854Eli Friedman 1749009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner // Print out the type of the operands... 17507e70829632f82de15db187845666aaca6e04b792Chris Lattner const Value *Operand = I.getNumOperands() ? I.getOperand(0) : 0; 1751009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner 1752009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner // Special case conditional branches to swizzle the condition out to the front 1753ccd27fb84b0ac13ad1d30b17cbeb87a0ea934154Gabor Greif if (isa<BranchInst>(I) && cast<BranchInst>(I).isConditional()) { 1754ccd27fb84b0ac13ad1d30b17cbeb87a0ea934154Gabor Greif BranchInst &BI(cast<BranchInst>(I)); 17558dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman Out << ' '; 1756ccd27fb84b0ac13ad1d30b17cbeb87a0ea934154Gabor Greif writeOperand(BI.getCondition(), true); 17578dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman Out << ", "; 1758ccd27fb84b0ac13ad1d30b17cbeb87a0ea934154Gabor Greif writeOperand(BI.getSuccessor(0), true); 17598dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman Out << ", "; 1760ccd27fb84b0ac13ad1d30b17cbeb87a0ea934154Gabor Greif writeOperand(BI.getSuccessor(1), true); 1761009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner 176294dc1f29cd1dc669680b7d3caa1f59862a656b83Chris Lattner } else if (isa<SwitchInst>(I)) { 1763bb5a7442e362776621112dc9453e546a55878e79Eli Friedman SwitchInst& SI(cast<SwitchInst>(I)); 1764f9be95f867745b6754b2402b9b72f9eaeabd637fChris Lattner // Special case switch instruction to get formatting nice and correct. 17658dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman Out << ' '; 1766bb5a7442e362776621112dc9453e546a55878e79Eli Friedman writeOperand(SI.getCondition(), true); 17678dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman Out << ", "; 1768bb5a7442e362776621112dc9453e546a55878e79Eli Friedman writeOperand(SI.getDefaultDest(), true); 1769ab49ee752ec37f586e45c999eca1e29e32697cb7Chris Lattner Out << " ["; 17703d3abe0852d5f499bed7ab014519dd582a0a795dStepan Dyatkovskiy for (SwitchInst::CaseIt i = SI.case_begin(), e = SI.case_end(); 1771c10fa6c801e48771b5eade50afc2fe6abaf08227Stepan Dyatkovskiy i != e; ++i) { 177201889caf73a2faa3b77142851faa09abad5c73b0Dan Gohman Out << "\n "; 1773c10fa6c801e48771b5eade50afc2fe6abaf08227Stepan Dyatkovskiy writeOperand(i.getCaseValue(), true); 17748dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman Out << ", "; 1775c10fa6c801e48771b5eade50afc2fe6abaf08227Stepan Dyatkovskiy writeOperand(i.getCaseSuccessor(), true); 1776009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner } 177701889caf73a2faa3b77142851faa09abad5c73b0Dan Gohman Out << "\n ]"; 1778ab21db79ef1d2530880ad11f21f0b87ffca02dd4Chris Lattner } else if (isa<IndirectBrInst>(I)) { 1779ab21db79ef1d2530880ad11f21f0b87ffca02dd4Chris Lattner // Special case indirectbr instruction to get formatting nice and correct. 1780f9be95f867745b6754b2402b9b72f9eaeabd637fChris Lattner Out << ' '; 1781f9be95f867745b6754b2402b9b72f9eaeabd637fChris Lattner writeOperand(Operand, true); 17820ed1f4264ae1f30eb164ca8fc94669c4f9bbd4f7Dan Gohman Out << ", ["; 178318801ecd487df27201b894db72aff4b2c7396e18Andrew Trick 1784f9be95f867745b6754b2402b9b72f9eaeabd637fChris Lattner for (unsigned i = 1, e = I.getNumOperands(); i != e; ++i) { 1785f9be95f867745b6754b2402b9b72f9eaeabd637fChris Lattner if (i != 1) 1786f9be95f867745b6754b2402b9b72f9eaeabd637fChris Lattner Out << ", "; 1787f9be95f867745b6754b2402b9b72f9eaeabd637fChris Lattner writeOperand(I.getOperand(i), true); 1788f9be95f867745b6754b2402b9b72f9eaeabd637fChris Lattner } 1789f9be95f867745b6754b2402b9b72f9eaeabd637fChris Lattner Out << ']'; 1790c137120bb047a7017cbab21f5f9c9e6f65e2b84fJay Foad } else if (const PHINode *PN = dyn_cast<PHINode>(&I)) { 17910313e0b44dcd77acd334d3f324c7da527179a690Misha Brukman Out << ' '; 17920f7364b4aa15263827af49d046fd6147ac769eefChris Lattner TypePrinter.print(I.getType(), Out); 17930313e0b44dcd77acd334d3f324c7da527179a690Misha Brukman Out << ' '; 1794009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner 1795c137120bb047a7017cbab21f5f9c9e6f65e2b84fJay Foad for (unsigned op = 0, Eop = PN->getNumIncomingValues(); op < Eop; ++op) { 17960313e0b44dcd77acd334d3f324c7da527179a690Misha Brukman if (op) Out << ", "; 17978dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman Out << "[ "; 1798c137120bb047a7017cbab21f5f9c9e6f65e2b84fJay Foad writeOperand(PN->getIncomingValue(op), false); Out << ", "; 1799c137120bb047a7017cbab21f5f9c9e6f65e2b84fJay Foad writeOperand(PN->getIncomingBlock(op), false); Out << " ]"; 1800c24d2088dc3d79e3b7e38a358b4a71f156c06836Chris Lattner } 1801995be7d07a0ed1f70a93b2a2e7f445461162e8a5Dan Gohman } else if (const ExtractValueInst *EVI = dyn_cast<ExtractValueInst>(&I)) { 18028dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman Out << ' '; 1803995be7d07a0ed1f70a93b2a2e7f445461162e8a5Dan Gohman writeOperand(I.getOperand(0), true); 1804995be7d07a0ed1f70a93b2a2e7f445461162e8a5Dan Gohman for (const unsigned *i = EVI->idx_begin(), *e = EVI->idx_end(); i != e; ++i) 1805995be7d07a0ed1f70a93b2a2e7f445461162e8a5Dan Gohman Out << ", " << *i; 1806995be7d07a0ed1f70a93b2a2e7f445461162e8a5Dan Gohman } else if (const InsertValueInst *IVI = dyn_cast<InsertValueInst>(&I)) { 18078dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman Out << ' '; 18088dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman writeOperand(I.getOperand(0), true); Out << ", "; 1809995be7d07a0ed1f70a93b2a2e7f445461162e8a5Dan Gohman writeOperand(I.getOperand(1), true); 1810995be7d07a0ed1f70a93b2a2e7f445461162e8a5Dan Gohman for (const unsigned *i = IVI->idx_begin(), *e = IVI->idx_end(); i != e; ++i) 1811995be7d07a0ed1f70a93b2a2e7f445461162e8a5Dan Gohman Out << ", " << *i; 1812e6e8826870bee3facb04f950f0bd725f8a88623dBill Wendling } else if (const LandingPadInst *LPI = dyn_cast<LandingPadInst>(&I)) { 1813e6e8826870bee3facb04f950f0bd725f8a88623dBill Wendling Out << ' '; 1814e6e8826870bee3facb04f950f0bd725f8a88623dBill Wendling TypePrinter.print(I.getType(), Out); 1815e6e8826870bee3facb04f950f0bd725f8a88623dBill Wendling Out << " personality "; 1816e6e8826870bee3facb04f950f0bd725f8a88623dBill Wendling writeOperand(I.getOperand(0), true); Out << '\n'; 1817e6e8826870bee3facb04f950f0bd725f8a88623dBill Wendling 1818e6e8826870bee3facb04f950f0bd725f8a88623dBill Wendling if (LPI->isCleanup()) 1819e6e8826870bee3facb04f950f0bd725f8a88623dBill Wendling Out << " cleanup"; 1820e6e8826870bee3facb04f950f0bd725f8a88623dBill Wendling 1821e6e8826870bee3facb04f950f0bd725f8a88623dBill Wendling for (unsigned i = 0, e = LPI->getNumClauses(); i != e; ++i) { 1822e6e8826870bee3facb04f950f0bd725f8a88623dBill Wendling if (i != 0 || LPI->isCleanup()) Out << "\n"; 1823e6e8826870bee3facb04f950f0bd725f8a88623dBill Wendling if (LPI->isCatch(i)) 1824e6e8826870bee3facb04f950f0bd725f8a88623dBill Wendling Out << " catch "; 1825e6e8826870bee3facb04f950f0bd725f8a88623dBill Wendling else 1826e6e8826870bee3facb04f950f0bd725f8a88623dBill Wendling Out << " filter "; 1827e6e8826870bee3facb04f950f0bd725f8a88623dBill Wendling 1828e6e8826870bee3facb04f950f0bd725f8a88623dBill Wendling writeOperand(LPI->getClause(i), true); 1829e6e8826870bee3facb04f950f0bd725f8a88623dBill Wendling } 183057ef4f46c182cdbe014d469892090ff50c739cf9Devang Patel } else if (isa<ReturnInst>(I) && !Operand) { 183157ef4f46c182cdbe014d469892090ff50c739cf9Devang Patel Out << " void"; 1832d511898b581826694e6c651e23343b1e1ba5ba64Chris Lattner } else if (const CallInst *CI = dyn_cast<CallInst>(&I)) { 1833d511898b581826694e6c651e23343b1e1ba5ba64Chris Lattner // Print the calling convention being used. 1834d511898b581826694e6c651e23343b1e1ba5ba64Chris Lattner switch (CI->getCallingConv()) { 1835d511898b581826694e6c651e23343b1e1ba5ba64Chris Lattner case CallingConv::C: break; // default 18360deaab89feb963b314428e3c3c565343cc30b5c9Chris Lattner case CallingConv::Fast: Out << " fastcc"; break; 18370deaab89feb963b314428e3c3c565343cc30b5c9Chris Lattner case CallingConv::Cold: Out << " coldcc"; break; 1838b28a6dce6d57e05aa25520915726f82d2b3dc08dChris Lattner case CallingConv::X86_StdCall: Out << " x86_stdcallcc"; break; 1839385f5a99ecc7fee48a7539bc63d3e1d3b5089c0dAnton Korobeynikov case CallingConv::X86_FastCall: Out << " x86_fastcallcc"; break; 1840ded05e34b65dc42998e9db6ca1abd513e7a9d120Anton Korobeynikov case CallingConv::X86_ThisCall: Out << " x86_thiscallcc"; break; 1841385f5a99ecc7fee48a7539bc63d3e1d3b5089c0dAnton Korobeynikov case CallingConv::ARM_APCS: Out << " arm_apcscc "; break; 1842385f5a99ecc7fee48a7539bc63d3e1d3b5089c0dAnton Korobeynikov case CallingConv::ARM_AAPCS: Out << " arm_aapcscc "; break; 1843385f5a99ecc7fee48a7539bc63d3e1d3b5089c0dAnton Korobeynikov case CallingConv::ARM_AAPCS_VFP:Out << " arm_aapcs_vfpcc "; break; 1844211a14e476abc9b864ab6a5d5e0bbb86d288b650Anton Korobeynikov case CallingConv::MSP430_INTR: Out << " msp430_intrcc "; break; 1845f9930da2ef72350c6c805af09e754e4e6e13d47bChe-Liang Chiou case CallingConv::PTX_Kernel: Out << " ptx_kernel"; break; 1846f9930da2ef72350c6c805af09e754e4e6e13d47bChe-Liang Chiou case CallingConv::PTX_Device: Out << " ptx_device"; break; 1847d511898b581826694e6c651e23343b1e1ba5ba64Chris Lattner default: Out << " cc" << CI->getCallingConv(); break; 1848d511898b581826694e6c651e23343b1e1ba5ba64Chris Lattner } 1849d511898b581826694e6c651e23343b1e1ba5ba64Chris Lattner 18507bbdf0c8489794721f23ee6b00af021c24f007d7Gabor Greif Operand = CI->getCalledValue(); 18511afcace3a3a138b1b18e5c6270caa8dae2261ae2Chris Lattner PointerType *PTy = cast<PointerType>(Operand->getType()); 18521afcace3a3a138b1b18e5c6270caa8dae2261ae2Chris Lattner FunctionType *FTy = cast<FunctionType>(PTy->getElementType()); 18531afcace3a3a138b1b18e5c6270caa8dae2261ae2Chris Lattner Type *RetTy = FTy->getReturnType(); 18540598866c052147c31b808391f58434ce3dbfb838Devang Patel const AttrListPtr &PAL = CI->getAttributes(); 1855268de0464ee9f0938bfa145fdd5e7f1a46b21cf7Chris Lattner 1856652203f3f3b6dd5062bb450d189a80d8aaa51693Devang Patel if (PAL.getRetAttributes() != Attribute::None) 1857652203f3f3b6dd5062bb450d189a80d8aaa51693Devang Patel Out << ' ' << Attribute::getAsString(PAL.getRetAttributes()); 1858652203f3f3b6dd5062bb450d189a80d8aaa51693Devang Patel 18597a012299ced5cff02cec47055a63d3b2a78bb36fChris Lattner // If possible, print out the short form of the call instruction. We can 1860b579400cd72f274607f4964a9649ea4d38e04c46Chris Lattner // only do this if the first argument is a pointer to a nonvararg function, 18617a012299ced5cff02cec47055a63d3b2a78bb36fChris Lattner // and if the return type is not a pointer to a function. 1862268de0464ee9f0938bfa145fdd5e7f1a46b21cf7Chris Lattner // 18638dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman Out << ' '; 18647a012299ced5cff02cec47055a63d3b2a78bb36fChris Lattner if (!FTy->isVarArg() && 18651df9859c40492511b8aa4321eb76496005d3b75bDuncan Sands (!RetTy->isPointerTy() || 18661df9859c40492511b8aa4321eb76496005d3b75bDuncan Sands !cast<PointerType>(RetTy)->getElementType()->isFunctionTy())) { 18670f7364b4aa15263827af49d046fd6147ac769eefChris Lattner TypePrinter.print(RetTy, Out); 18688dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman Out << ' '; 1869268de0464ee9f0938bfa145fdd5e7f1a46b21cf7Chris Lattner writeOperand(Operand, false); 1870268de0464ee9f0938bfa145fdd5e7f1a46b21cf7Chris Lattner } else { 1871268de0464ee9f0938bfa145fdd5e7f1a46b21cf7Chris Lattner writeOperand(Operand, true); 1872268de0464ee9f0938bfa145fdd5e7f1a46b21cf7Chris Lattner } 18730313e0b44dcd77acd334d3f324c7da527179a690Misha Brukman Out << '('; 18747bbdf0c8489794721f23ee6b00af021c24f007d7Gabor Greif for (unsigned op = 0, Eop = CI->getNumArgOperands(); op < Eop; ++op) { 18757bbdf0c8489794721f23ee6b00af021c24f007d7Gabor Greif if (op > 0) 18768dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman Out << ", "; 18777bbdf0c8489794721f23ee6b00af021c24f007d7Gabor Greif writeParamOperand(CI->getArgOperand(op), PAL.getParamAttributes(op + 1)); 1878009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner } 18798dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman Out << ')'; 188019c874638d9478a5d5028854817a5ee72293bb2bDevang Patel if (PAL.getFnAttributes() != Attribute::None) 188119c874638d9478a5d5028854817a5ee72293bb2bDevang Patel Out << ' ' << Attribute::getAsString(PAL.getFnAttributes()); 18827e70829632f82de15db187845666aaca6e04b792Chris Lattner } else if (const InvokeInst *II = dyn_cast<InvokeInst>(&I)) { 1883c9f7500d1752feac7cece26d20007a99d21f677cGabor Greif Operand = II->getCalledValue(); 18841afcace3a3a138b1b18e5c6270caa8dae2261ae2Chris Lattner PointerType *PTy = cast<PointerType>(Operand->getType()); 18851afcace3a3a138b1b18e5c6270caa8dae2261ae2Chris Lattner FunctionType *FTy = cast<FunctionType>(PTy->getElementType()); 18861afcace3a3a138b1b18e5c6270caa8dae2261ae2Chris Lattner Type *RetTy = FTy->getReturnType(); 18870598866c052147c31b808391f58434ce3dbfb838Devang Patel const AttrListPtr &PAL = II->getAttributes(); 18887a012299ced5cff02cec47055a63d3b2a78bb36fChris Lattner 1889d511898b581826694e6c651e23343b1e1ba5ba64Chris Lattner // Print the calling convention being used. 1890d511898b581826694e6c651e23343b1e1ba5ba64Chris Lattner switch (II->getCallingConv()) { 1891d511898b581826694e6c651e23343b1e1ba5ba64Chris Lattner case CallingConv::C: break; // default 18920deaab89feb963b314428e3c3c565343cc30b5c9Chris Lattner case CallingConv::Fast: Out << " fastcc"; break; 18930deaab89feb963b314428e3c3c565343cc30b5c9Chris Lattner case CallingConv::Cold: Out << " coldcc"; break; 18948dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman case CallingConv::X86_StdCall: Out << " x86_stdcallcc"; break; 18958dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman case CallingConv::X86_FastCall: Out << " x86_fastcallcc"; break; 1896ded05e34b65dc42998e9db6ca1abd513e7a9d120Anton Korobeynikov case CallingConv::X86_ThisCall: Out << " x86_thiscallcc"; break; 1897385f5a99ecc7fee48a7539bc63d3e1d3b5089c0dAnton Korobeynikov case CallingConv::ARM_APCS: Out << " arm_apcscc "; break; 1898385f5a99ecc7fee48a7539bc63d3e1d3b5089c0dAnton Korobeynikov case CallingConv::ARM_AAPCS: Out << " arm_aapcscc "; break; 1899385f5a99ecc7fee48a7539bc63d3e1d3b5089c0dAnton Korobeynikov case CallingConv::ARM_AAPCS_VFP:Out << " arm_aapcs_vfpcc "; break; 1900211a14e476abc9b864ab6a5d5e0bbb86d288b650Anton Korobeynikov case CallingConv::MSP430_INTR: Out << " msp430_intrcc "; break; 1901f9930da2ef72350c6c805af09e754e4e6e13d47bChe-Liang Chiou case CallingConv::PTX_Kernel: Out << " ptx_kernel"; break; 1902f9930da2ef72350c6c805af09e754e4e6e13d47bChe-Liang Chiou case CallingConv::PTX_Device: Out << " ptx_device"; break; 1903d511898b581826694e6c651e23343b1e1ba5ba64Chris Lattner default: Out << " cc" << II->getCallingConv(); break; 1904d511898b581826694e6c651e23343b1e1ba5ba64Chris Lattner } 1905d511898b581826694e6c651e23343b1e1ba5ba64Chris Lattner 1906652203f3f3b6dd5062bb450d189a80d8aaa51693Devang Patel if (PAL.getRetAttributes() != Attribute::None) 1907652203f3f3b6dd5062bb450d189a80d8aaa51693Devang Patel Out << ' ' << Attribute::getAsString(PAL.getRetAttributes()); 1908652203f3f3b6dd5062bb450d189a80d8aaa51693Devang Patel 19097a012299ced5cff02cec47055a63d3b2a78bb36fChris Lattner // If possible, print out the short form of the invoke instruction. We can 19107a012299ced5cff02cec47055a63d3b2a78bb36fChris Lattner // only do this if the first argument is a pointer to a nonvararg function, 19117a012299ced5cff02cec47055a63d3b2a78bb36fChris Lattner // and if the return type is not a pointer to a function. 19127a012299ced5cff02cec47055a63d3b2a78bb36fChris Lattner // 19132b6c3d9ff13180e84301da5b7d17c755704fbec0Dan Gohman Out << ' '; 19147a012299ced5cff02cec47055a63d3b2a78bb36fChris Lattner if (!FTy->isVarArg() && 19151df9859c40492511b8aa4321eb76496005d3b75bDuncan Sands (!RetTy->isPointerTy() || 19161df9859c40492511b8aa4321eb76496005d3b75bDuncan Sands !cast<PointerType>(RetTy)->getElementType()->isFunctionTy())) { 19170f7364b4aa15263827af49d046fd6147ac769eefChris Lattner TypePrinter.print(RetTy, Out); 19182b6c3d9ff13180e84301da5b7d17c755704fbec0Dan Gohman Out << ' '; 19197a012299ced5cff02cec47055a63d3b2a78bb36fChris Lattner writeOperand(Operand, false); 19207a012299ced5cff02cec47055a63d3b2a78bb36fChris Lattner } else { 19217a012299ced5cff02cec47055a63d3b2a78bb36fChris Lattner writeOperand(Operand, true); 19227a012299ced5cff02cec47055a63d3b2a78bb36fChris Lattner } 19230313e0b44dcd77acd334d3f324c7da527179a690Misha Brukman Out << '('; 19247bbdf0c8489794721f23ee6b00af021c24f007d7Gabor Greif for (unsigned op = 0, Eop = II->getNumArgOperands(); op < Eop; ++op) { 1925c9f7500d1752feac7cece26d20007a99d21f677cGabor Greif if (op) 19268dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman Out << ", "; 19277bbdf0c8489794721f23ee6b00af021c24f007d7Gabor Greif writeParamOperand(II->getArgOperand(op), PAL.getParamAttributes(op + 1)); 1928e02fa8551d20081534afa46e0976811687e5183aChris Lattner } 1929e02fa8551d20081534afa46e0976811687e5183aChris Lattner 19308dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman Out << ')'; 193119c874638d9478a5d5028854817a5ee72293bb2bDevang Patel if (PAL.getFnAttributes() != Attribute::None) 193219c874638d9478a5d5028854817a5ee72293bb2bDevang Patel Out << ' ' << Attribute::getAsString(PAL.getFnAttributes()); 193319c874638d9478a5d5028854817a5ee72293bb2bDevang Patel 193401889caf73a2faa3b77142851faa09abad5c73b0Dan Gohman Out << "\n to "; 1935e02fa8551d20081534afa46e0976811687e5183aChris Lattner writeOperand(II->getNormalDest(), true); 19368dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman Out << " unwind "; 1937aeb2a1d70807aa626f335fb23d47bc604ffeaa15Chris Lattner writeOperand(II->getUnwindDest(), true); 1938e02fa8551d20081534afa46e0976811687e5183aChris Lattner 19397b929dad59785f62a66f7c58615082f98441e95eVictor Hernandez } else if (const AllocaInst *AI = dyn_cast<AllocaInst>(&I)) { 19400313e0b44dcd77acd334d3f324c7da527179a690Misha Brukman Out << ' '; 19410f7364b4aa15263827af49d046fd6147ac769eefChris Lattner TypePrinter.print(AI->getType()->getElementType(), Out); 194269bff07b4dc95fd0cc9d7580977beb08259daa17Dan Gohman if (!AI->getArraySize() || AI->isArrayAllocation()) { 19438dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman Out << ", "; 194494dc1f29cd1dc669680b7d3caa1f59862a656b83Chris Lattner writeOperand(AI->getArraySize(), true); 1945009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner } 194614b0529532904b9e5a1e34526b4a3209f3e5bc62Nate Begeman if (AI->getAlignment()) { 19479fad0b9974beb76bef763b8fed71d0c8644403d4Chris Lattner Out << ", align " << AI->getAlignment(); 194814b0529532904b9e5a1e34526b4a3209f3e5bc62Nate Begeman } 1949e02fa8551d20081534afa46e0976811687e5183aChris Lattner } else if (isa<CastInst>(I)) { 19508dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman if (Operand) { 19518dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman Out << ' '; 19528dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman writeOperand(Operand, true); // Work with broken code 19538dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman } 19540313e0b44dcd77acd334d3f324c7da527179a690Misha Brukman Out << " to "; 19550f7364b4aa15263827af49d046fd6147ac769eefChris Lattner TypePrinter.print(I.getType(), Out); 19564d45bd007d0c3a3a6e5b3876b67fd495acb0db2bChris Lattner } else if (isa<VAArgInst>(I)) { 19578dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman if (Operand) { 19588dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman Out << ' '; 19598dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman writeOperand(Operand, true); // Work with broken code 19608dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman } 19610313e0b44dcd77acd334d3f324c7da527179a690Misha Brukman Out << ", "; 19620f7364b4aa15263827af49d046fd6147ac769eefChris Lattner TypePrinter.print(I.getType(), Out); 19630f7364b4aa15263827af49d046fd6147ac769eefChris Lattner } else if (Operand) { // Print the normal way. 1964009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner 1965fd93908ae8b9684fe71c239e3c6cfe13ff6a2663Misha Brukman // PrintAllTypes - Instructions who have operands of all the same type 1966009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner // omit the type from all but the first operand. If the instruction has 1967009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner // different type operands (for example br), then they are all printed. 1968009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner bool PrintAllTypes = false; 19691afcace3a3a138b1b18e5c6270caa8dae2261ae2Chris Lattner Type *TheType = Operand->getType(); 1970009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner 1971ebe57e36dff2dc3a7ceea99202bdb9eb6fe938bcReid Spencer // Select, Store and ShuffleVector always print all types. 19726494768ffcdf75e6e69a7955282db9ab9ab2e6fbDevang Patel if (isa<SelectInst>(I) || isa<StoreInst>(I) || isa<ShuffleVectorInst>(I) 19736494768ffcdf75e6e69a7955282db9ab9ab2e6fbDevang Patel || isa<ReturnInst>(I)) { 1974ffd9bf404cd36c93d82b0080113ccc6d230915b3Chris Lattner PrintAllTypes = true; 1975ffd9bf404cd36c93d82b0080113ccc6d230915b3Chris Lattner } else { 1976ffd9bf404cd36c93d82b0080113ccc6d230915b3Chris Lattner for (unsigned i = 1, E = I.getNumOperands(); i != E; ++i) { 1977ffd9bf404cd36c93d82b0080113ccc6d230915b3Chris Lattner Operand = I.getOperand(i); 19786ad2b2a3d20c667e01535fed4bc7f4753aa6fc85Nuno Lopes // note that Operand shouldn't be null, but the test helps make dump() 19796ad2b2a3d20c667e01535fed4bc7f4753aa6fc85Nuno Lopes // more tolerant of malformed IR 1980a8c78a9e89afcca4f003c55bcdbd41a23ecd5c8dNuno Lopes if (Operand && Operand->getType() != TheType) { 1981ffd9bf404cd36c93d82b0080113ccc6d230915b3Chris Lattner PrintAllTypes = true; // We have differing types! Print them all! 1982ffd9bf404cd36c93d82b0080113ccc6d230915b3Chris Lattner break; 1983ffd9bf404cd36c93d82b0080113ccc6d230915b3Chris Lattner } 1984009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner } 1985009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner } 1986fd93908ae8b9684fe71c239e3c6cfe13ff6a2663Misha Brukman 1987c1824996451d5ea93864fcd34ba8ea5e5f03e368Chris Lattner if (!PrintAllTypes) { 19880313e0b44dcd77acd334d3f324c7da527179a690Misha Brukman Out << ' '; 19890f7364b4aa15263827af49d046fd6147ac769eefChris Lattner TypePrinter.print(TheType, Out); 1990c1824996451d5ea93864fcd34ba8ea5e5f03e368Chris Lattner } 1991009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner 19928dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman Out << ' '; 19937e70829632f82de15db187845666aaca6e04b792Chris Lattner for (unsigned i = 0, E = I.getNumOperands(); i != E; ++i) { 19948dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman if (i) Out << ", "; 19957e70829632f82de15db187845666aaca6e04b792Chris Lattner writeOperand(I.getOperand(i), PrintAllTypes); 1996009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner } 1997009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner } 1998a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar 199921006d40ac9ec7715bca2095451075a83773dc52Eli Friedman // Print atomic ordering/alignment for memory operations 200021006d40ac9ec7715bca2095451075a83773dc52Eli Friedman if (const LoadInst *LI = dyn_cast<LoadInst>(&I)) { 200121006d40ac9ec7715bca2095451075a83773dc52Eli Friedman if (LI->isAtomic()) 200221006d40ac9ec7715bca2095451075a83773dc52Eli Friedman writeAtomic(LI->getOrdering(), LI->getSynchScope()); 200321006d40ac9ec7715bca2095451075a83773dc52Eli Friedman if (LI->getAlignment()) 200421006d40ac9ec7715bca2095451075a83773dc52Eli Friedman Out << ", align " << LI->getAlignment(); 200521006d40ac9ec7715bca2095451075a83773dc52Eli Friedman } else if (const StoreInst *SI = dyn_cast<StoreInst>(&I)) { 200621006d40ac9ec7715bca2095451075a83773dc52Eli Friedman if (SI->isAtomic()) 200721006d40ac9ec7715bca2095451075a83773dc52Eli Friedman writeAtomic(SI->getOrdering(), SI->getSynchScope()); 200821006d40ac9ec7715bca2095451075a83773dc52Eli Friedman if (SI->getAlignment()) 200921006d40ac9ec7715bca2095451075a83773dc52Eli Friedman Out << ", align " << SI->getAlignment(); 2010ff03048c1350fcc4fda1ef6d6c57252f3a950854Eli Friedman } else if (const AtomicCmpXchgInst *CXI = dyn_cast<AtomicCmpXchgInst>(&I)) { 2011ff03048c1350fcc4fda1ef6d6c57252f3a950854Eli Friedman writeAtomic(CXI->getOrdering(), CXI->getSynchScope()); 2012ff03048c1350fcc4fda1ef6d6c57252f3a950854Eli Friedman } else if (const AtomicRMWInst *RMWI = dyn_cast<AtomicRMWInst>(&I)) { 2013ff03048c1350fcc4fda1ef6d6c57252f3a950854Eli Friedman writeAtomic(RMWI->getOrdering(), RMWI->getSynchScope()); 201447f3513dd574535aeb40c9eb11134f0899e92269Eli Friedman } else if (const FenceInst *FI = dyn_cast<FenceInst>(&I)) { 201547f3513dd574535aeb40c9eb11134f0899e92269Eli Friedman writeAtomic(FI->getOrdering(), FI->getSynchScope()); 201643c7f37942a35398fd1e14b22f435f483a0ee863Christopher Lamb } 2017009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner 20187d05c46d601cbb52be605019548c34286c02e3a3Chris Lattner // Print Metadata info. 2019fa0c54e3b88f103abb247e471917a6e6a5bb9a0fNick Lewycky SmallVector<std::pair<unsigned, MDNode*>, 4> InstMD; 2020fa0c54e3b88f103abb247e471917a6e6a5bb9a0fNick Lewycky I.getAllMetadata(InstMD); 2021f3d5c915502a64921bff4ed96d8e8171f85b73f3Erick Tryzelaar if (!InstMD.empty()) { 2022f3d5c915502a64921bff4ed96d8e8171f85b73f3Erick Tryzelaar SmallVector<StringRef, 8> MDNames; 2023f3d5c915502a64921bff4ed96d8e8171f85b73f3Erick Tryzelaar I.getType()->getContext().getMDKindNames(MDNames); 2024f3d5c915502a64921bff4ed96d8e8171f85b73f3Erick Tryzelaar for (unsigned i = 0, e = InstMD.size(); i != e; ++i) { 2025f3d5c915502a64921bff4ed96d8e8171f85b73f3Erick Tryzelaar unsigned Kind = InstMD[i].first; 2026f3d5c915502a64921bff4ed96d8e8171f85b73f3Erick Tryzelaar if (Kind < MDNames.size()) { 2027f3d5c915502a64921bff4ed96d8e8171f85b73f3Erick Tryzelaar Out << ", !" << MDNames[Kind]; 2028f3d5c915502a64921bff4ed96d8e8171f85b73f3Erick Tryzelaar } else { 2029f3d5c915502a64921bff4ed96d8e8171f85b73f3Erick Tryzelaar Out << ", !<unknown kind #" << Kind << ">"; 2030f3d5c915502a64921bff4ed96d8e8171f85b73f3Erick Tryzelaar } 20313bdfbf5d56d52fc4c390df77f98ba2c46951b51aDan Gohman Out << ' '; 20323bdfbf5d56d52fc4c390df77f98ba2c46951b51aDan Gohman WriteAsOperandInternal(Out, InstMD[i].second, &TypePrinter, &Machine, 20333bdfbf5d56d52fc4c390df77f98ba2c46951b51aDan Gohman TheModule); 2034fa0c54e3b88f103abb247e471917a6e6a5bb9a0fNick Lewycky } 20357f93f4d66c54e2628fbd159fa19bcfbe601458aeDevang Patel } 2036e02fa8551d20081534afa46e0976811687e5183aChris Lattner printInfoComment(I); 2037009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner} 2038009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner 20396e6b1805dae72803fbfe45f9aee2ab9ebfb4ec77Chris Lattnerstatic void WriteMDNodeComment(const MDNode *Node, 20403472766f9eb7d66f234c390ce1b3a8b76f0ee9ceDuncan Sands formatted_raw_ostream &Out) { 20416e6b1805dae72803fbfe45f9aee2ab9ebfb4ec77Chris Lattner if (Node->getNumOperands() < 1) 20426e6b1805dae72803fbfe45f9aee2ab9ebfb4ec77Chris Lattner return; 204358a6cf2c620ce4c127b926408d78aa607a373251Bill Wendling 204458a6cf2c620ce4c127b926408d78aa607a373251Bill Wendling Value *Op = Node->getOperand(0); 204558a6cf2c620ce4c127b926408d78aa607a373251Bill Wendling if (!Op || !isa<ConstantInt>(Op) || cast<ConstantInt>(Op)->getBitWidth() < 32) 204658a6cf2c620ce4c127b926408d78aa607a373251Bill Wendling return; 204758a6cf2c620ce4c127b926408d78aa607a373251Bill Wendling 204858a6cf2c620ce4c127b926408d78aa607a373251Bill Wendling DIDescriptor Desc(Node); 204958a6cf2c620ce4c127b926408d78aa607a373251Bill Wendling if (Desc.getVersion() < LLVMDebugVersion11) 20506e6b1805dae72803fbfe45f9aee2ab9ebfb4ec77Chris Lattner return; 205118801ecd487df27201b894db72aff4b2c7396e18Andrew Trick 205258a6cf2c620ce4c127b926408d78aa607a373251Bill Wendling unsigned Tag = Desc.getTag(); 20536e6b1805dae72803fbfe45f9aee2ab9ebfb4ec77Chris Lattner Out.PadToColumn(50); 205486b032b2abcf8a66282241937861156fc432fa33Bill Wendling if (dwarf::TagString(Tag)) { 205586b032b2abcf8a66282241937861156fc432fa33Bill Wendling Out << "; "; 205686b032b2abcf8a66282241937861156fc432fa33Bill Wendling Desc.print(Out); 205786b032b2abcf8a66282241937861156fc432fa33Bill Wendling } else if (Tag == dwarf::DW_TAG_user_base) { 20586e6b1805dae72803fbfe45f9aee2ab9ebfb4ec77Chris Lattner Out << "; [ DW_TAG_user_base ]"; 205986b032b2abcf8a66282241937861156fc432fa33Bill Wendling } 20606e6b1805dae72803fbfe45f9aee2ab9ebfb4ec77Chris Lattner} 20616e6b1805dae72803fbfe45f9aee2ab9ebfb4ec77Chris Lattner 20626e6b1805dae72803fbfe45f9aee2ab9ebfb4ec77Chris Lattnervoid AssemblyWriter::writeAllMDNodes() { 20636e6b1805dae72803fbfe45f9aee2ab9ebfb4ec77Chris Lattner SmallVector<const MDNode *, 16> Nodes; 2064307c9893fc30758041a3649a8bed2b4b4cc405d4Chris Lattner Nodes.resize(Machine.mdn_size()); 2065307c9893fc30758041a3649a8bed2b4b4cc405d4Chris Lattner for (SlotTracker::mdn_iterator I = Machine.mdn_begin(), E = Machine.mdn_end(); 2066307c9893fc30758041a3649a8bed2b4b4cc405d4Chris Lattner I != E; ++I) 20676e6b1805dae72803fbfe45f9aee2ab9ebfb4ec77Chris Lattner Nodes[I->second] = cast<MDNode>(I->first); 206818801ecd487df27201b894db72aff4b2c7396e18Andrew Trick 20696e6b1805dae72803fbfe45f9aee2ab9ebfb4ec77Chris Lattner for (unsigned i = 0, e = Nodes.size(); i != e; ++i) { 20706e6b1805dae72803fbfe45f9aee2ab9ebfb4ec77Chris Lattner Out << '!' << i << " = metadata "; 20712b4b1e2e603d5543bf2fe0ad45b62ca7bfaee81dChris Lattner printMDNodeBody(Nodes[i]); 20726e6b1805dae72803fbfe45f9aee2ab9ebfb4ec77Chris Lattner } 20736e6b1805dae72803fbfe45f9aee2ab9ebfb4ec77Chris Lattner} 20746e6b1805dae72803fbfe45f9aee2ab9ebfb4ec77Chris Lattner 20756e6b1805dae72803fbfe45f9aee2ab9ebfb4ec77Chris Lattnervoid AssemblyWriter::printMDNodeBody(const MDNode *Node) { 20763bdfbf5d56d52fc4c390df77f98ba2c46951b51aDan Gohman WriteMDNodeBodyInternal(Out, Node, &TypePrinter, &Machine, TheModule); 20776e6b1805dae72803fbfe45f9aee2ab9ebfb4ec77Chris Lattner WriteMDNodeComment(Node, Out); 20786e6b1805dae72803fbfe45f9aee2ab9ebfb4ec77Chris Lattner Out << "\n"; 20796e6b1805dae72803fbfe45f9aee2ab9ebfb4ec77Chris Lattner} 2080009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner 2081009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner//===----------------------------------------------------------------------===// 2082009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner// External Interface declarations 2083009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner//===----------------------------------------------------------------------===// 2084009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner 2085683e922d299bdfa9ec609bd58a0eed20568303f1Dan Gohmanvoid Module::print(raw_ostream &ROS, AssemblyAnnotationWriter *AAW) const { 2086944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner SlotTracker SlotTable(this); 2087683e922d299bdfa9ec609bd58a0eed20568303f1Dan Gohman formatted_raw_ostream OS(ROS); 2088944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner AssemblyWriter W(OS, SlotTable, this, AAW); 2089bd72b3201b24f6ae574b2a1949348f514fcd4c4fChris Lattner W.printModule(this); 209075cf7cf00d391ac6ca22d6240fa9d99ed427d1d5Chris Lattner} 2091009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner 209217aa92c92a925b4a674440c7ef088c223990e854Dan Gohmanvoid NamedMDNode::print(raw_ostream &ROS, AssemblyAnnotationWriter *AAW) const { 209317aa92c92a925b4a674440c7ef088c223990e854Dan Gohman SlotTracker SlotTable(getParent()); 209417aa92c92a925b4a674440c7ef088c223990e854Dan Gohman formatted_raw_ostream OS(ROS); 209517aa92c92a925b4a674440c7ef088c223990e854Dan Gohman AssemblyWriter W(OS, SlotTable, getParent(), AAW); 209617aa92c92a925b4a674440c7ef088c223990e854Dan Gohman W.printNamedMDNode(this); 209717aa92c92a925b4a674440c7ef088c223990e854Dan Gohman} 209817aa92c92a925b4a674440c7ef088c223990e854Dan Gohman 20996d4306e63c2ca40a0482bf74a077540bb9cda25eChris Lattnervoid Type::print(raw_ostream &OS) const { 21006d4306e63c2ca40a0482bf74a077540bb9cda25eChris Lattner if (this == 0) { 21016d4306e63c2ca40a0482bf74a077540bb9cda25eChris Lattner OS << "<null Type>"; 21026d4306e63c2ca40a0482bf74a077540bb9cda25eChris Lattner return; 21036d4306e63c2ca40a0482bf74a077540bb9cda25eChris Lattner } 21041afcace3a3a138b1b18e5c6270caa8dae2261ae2Chris Lattner TypePrinting TP; 21051afcace3a3a138b1b18e5c6270caa8dae2261ae2Chris Lattner TP.print(const_cast<Type*>(this), OS); 210618801ecd487df27201b894db72aff4b2c7396e18Andrew Trick 21071afcace3a3a138b1b18e5c6270caa8dae2261ae2Chris Lattner // If the type is a named struct type, print the body as well. 21081afcace3a3a138b1b18e5c6270caa8dae2261ae2Chris Lattner if (StructType *STy = dyn_cast<StructType>(const_cast<Type*>(this))) 2109c4d0e9fbddfe6b0ee5d5d7ef8eb1b341a8a242cfChris Lattner if (!STy->isLiteral()) { 21101afcace3a3a138b1b18e5c6270caa8dae2261ae2Chris Lattner OS << " = type "; 21111afcace3a3a138b1b18e5c6270caa8dae2261ae2Chris Lattner TP.printStructBody(STy, OS); 21121afcace3a3a138b1b18e5c6270caa8dae2261ae2Chris Lattner } 2113009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner} 2114009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner 2115683e922d299bdfa9ec609bd58a0eed20568303f1Dan Gohmanvoid Value::print(raw_ostream &ROS, AssemblyAnnotationWriter *AAW) const { 2116944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner if (this == 0) { 21171220e10f70f89e0f8082344646d79805edf9025dDan Gohman ROS << "printing a <null> value\n"; 2118944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner return; 2119944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner } 21201220e10f70f89e0f8082344646d79805edf9025dDan Gohman formatted_raw_ostream OS(ROS); 2121944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner if (const Instruction *I = dyn_cast<Instruction>(this)) { 2122944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner const Function *F = I->getParent() ? I->getParent()->getParent() : 0; 2123944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner SlotTracker SlotTable(F); 2124dbe85bffd775620d7c93c041ad5bd49801eb9d14Chris Lattner AssemblyWriter W(OS, SlotTable, getModuleFromVal(I), AAW); 2125bd72b3201b24f6ae574b2a1949348f514fcd4c4fChris Lattner W.printInstruction(*I); 2126944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner } else if (const BasicBlock *BB = dyn_cast<BasicBlock>(this)) { 2127944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner SlotTracker SlotTable(BB->getParent()); 21286e6b1805dae72803fbfe45f9aee2ab9ebfb4ec77Chris Lattner AssemblyWriter W(OS, SlotTable, getModuleFromVal(BB), AAW); 2129bd72b3201b24f6ae574b2a1949348f514fcd4c4fChris Lattner W.printBasicBlock(BB); 2130944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner } else if (const GlobalValue *GV = dyn_cast<GlobalValue>(this)) { 2131944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner SlotTracker SlotTable(GV->getParent()); 2132ba0941fbe0db832b0bdca450688b63ddf6a45b0aDan Gohman AssemblyWriter W(OS, SlotTable, GV->getParent(), AAW); 2133bd72b3201b24f6ae574b2a1949348f514fcd4c4fChris Lattner if (const GlobalVariable *V = dyn_cast<GlobalVariable>(GV)) 2134bd72b3201b24f6ae574b2a1949348f514fcd4c4fChris Lattner W.printGlobal(V); 2135bd72b3201b24f6ae574b2a1949348f514fcd4c4fChris Lattner else if (const Function *F = dyn_cast<Function>(GV)) 2136bd72b3201b24f6ae574b2a1949348f514fcd4c4fChris Lattner W.printFunction(F); 2137bd72b3201b24f6ae574b2a1949348f514fcd4c4fChris Lattner else 2138bd72b3201b24f6ae574b2a1949348f514fcd4c4fChris Lattner W.printAlias(cast<GlobalAlias>(GV)); 2139fcd65ae28fe797c174be350a07955713fd42d110Devang Patel } else if (const MDNode *N = dyn_cast<MDNode>(this)) { 21408fffff537194e2375e65600f27d716c99f0eb38aVictor Hernandez const Function *F = N->getFunction(); 2141559588b156611aaab33d8b46dc0575508a49da2bVictor Hernandez SlotTracker SlotTable(F); 214279b78a43ece977899b654fe3c19d0c94f963c128Dan Gohman AssemblyWriter W(OS, SlotTable, F ? F->getParent() : 0, AAW); 21436e6b1805dae72803fbfe45f9aee2ab9ebfb4ec77Chris Lattner W.printMDNodeBody(N); 2144944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner } else if (const Constant *C = dyn_cast<Constant>(this)) { 2145e9fa33eb6629aea72cd59560216bb6a7b8ebc689Chris Lattner TypePrinting TypePrinter; 21460f7364b4aa15263827af49d046fd6147ac769eefChris Lattner TypePrinter.print(C->getType(), OS); 21476d4306e63c2ca40a0482bf74a077540bb9cda25eChris Lattner OS << ' '; 21483bdfbf5d56d52fc4c390df77f98ba2c46951b51aDan Gohman WriteConstantInternal(OS, C, TypePrinter, 0, 0); 21494a3d3a54ebc7125f851e978b7188bda1bfdc14acChris Lattner } else if (isa<InlineAsm>(this) || isa<MDString>(this) || 21504a3d3a54ebc7125f851e978b7188bda1bfdc14acChris Lattner isa<Argument>(this)) { 2151944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner WriteAsOperand(OS, this, true, 0); 2152944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner } else { 2153cd26ec5f3c089b3b24f80ff200e94e681eb9e1eeDan Gohman // Otherwise we don't know what it is. Call the virtual function to 2154cd26ec5f3c089b3b24f80ff200e94e681eb9e1eeDan Gohman // allow a subclass to print itself. 2155cd26ec5f3c089b3b24f80ff200e94e681eb9e1eeDan Gohman printCustom(OS); 2156944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner } 2157944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner} 2158944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner 2159cd26ec5f3c089b3b24f80ff200e94e681eb9e1eeDan Gohman// Value::printCustom - subclasses should override this to implement printing. 2160cd26ec5f3c089b3b24f80ff200e94e681eb9e1eeDan Gohmanvoid Value::printCustom(raw_ostream &OS) const { 2161cd26ec5f3c089b3b24f80ff200e94e681eb9e1eeDan Gohman llvm_unreachable("Unknown value to print out!"); 2162cd26ec5f3c089b3b24f80ff200e94e681eb9e1eeDan Gohman} 2163cd26ec5f3c089b3b24f80ff200e94e681eb9e1eeDan Gohman 21647059e530edcf3294315f02751c9df5e485f2932cChris Lattner// Value::dump - allow easy printing of Values from the debugger. 2165d865e02ea24e92f8fd1d2b49a26ea0676a879ce7David Greenevoid Value::dump() const { print(dbgs()); dbgs() << '\n'; } 2166fa452c05504ebee698e00050d04e1a43b0f21045Reid Spencer 21677059e530edcf3294315f02751c9df5e485f2932cChris Lattner// Type::dump - allow easy printing of Types from the debugger. 21681afcace3a3a138b1b18e5c6270caa8dae2261ae2Chris Lattnervoid Type::dump() const { print(dbgs()); } 2169c287137ce7455c63be0075e0d5aba0bab4f125eaChris Lattner 21707059e530edcf3294315f02751c9df5e485f2932cChris Lattner// Module::dump() - Allow printing of Modules from the debugger. 2171d865e02ea24e92f8fd1d2b49a26ea0676a879ce7David Greenevoid Module::dump() const { print(dbgs(), 0); } 2172f4374e46fd9f5267d650bbcd04b10c3df0f21177Bill Wendling 2173f4374e46fd9f5267d650bbcd04b10c3df0f21177Bill Wendling// NamedMDNode::dump() - Allow printing of NamedMDNodes from the debugger. 2174f4374e46fd9f5267d650bbcd04b10c3df0f21177Bill Wendlingvoid NamedMDNode::dump() const { print(dbgs(), 0); } 2175