AsmWriter.cpp revision fb78b33018bdd84d1879ae8a15f53d6b474982e9
18da78afce3609f8ac31bef9d1310744a47bbd0ccChris Lattner//===-- AsmWriter.cpp - Printing LLVM as an assembly file -----------------===// 2fd93908ae8b9684fe71c239e3c6cfe13ff6a2663Misha Brukman// 3b576c94c15af9a440f69d9d03c2afead7971118cJohn Criswell// The LLVM Compiler Infrastructure 4b576c94c15af9a440f69d9d03c2afead7971118cJohn Criswell// 54ee451de366474b9c228b4e5fa573795a715216dChris Lattner// This file is distributed under the University of Illinois Open Source 64ee451de366474b9c228b4e5fa573795a715216dChris Lattner// License. See LICENSE.TXT for details. 7fd93908ae8b9684fe71c239e3c6cfe13ff6a2663Misha Brukman// 8b576c94c15af9a440f69d9d03c2afead7971118cJohn Criswell//===----------------------------------------------------------------------===// 9009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner// 10009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner// This library implements the functionality defined in llvm/Assembly/Writer.h 11009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner// 1202b9399baef2afc1a0c8c83152d2f28145658bbcChris Lattner// Note that these routines must be extremely tolerant of various errors in the 138f77daef04355c00b78b645f5aae5694e7a8b631Chris Lattner// LLVM code, because it can be used for debugging transformations. 1402b9399baef2afc1a0c8c83152d2f28145658bbcChris Lattner// 15009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner//===----------------------------------------------------------------------===// 16009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner 1775cf7cf00d391ac6ca22d6240fa9d99ed427d1d5Chris Lattner#include "llvm/Assembly/Writer.h" 18f082b80828c13dcb7fb29ad5167ed161c1031534Chris Lattner#include "llvm/Assembly/PrintModulePass.h" 191dbb3879e81c414733ee38ef6a5e657d7ed47e68Chris Lattner#include "llvm/Assembly/AssemblyAnnotationWriter.h" 20f3d5c915502a64921bff4ed96d8e8171f85b73f3Erick Tryzelaar#include "llvm/LLVMContext.h" 21d511898b581826694e6c651e23343b1e1ba5ba64Chris Lattner#include "llvm/CallingConv.h" 22f2d577b27a56a928fa3e77ab0cd83e7597751313Chris Lattner#include "llvm/Constants.h" 233eb59c0074978cb4687779365dbe664e2e18e0b2Chris Lattner#include "llvm/DerivedTypes.h" 24863517aea0b06770c809396be985c1c4cc50d3c4Chris Lattner#include "llvm/InlineAsm.h" 253990b121cf4a0b280ed3e54cf13870cbf4259e78Chris Lattner#include "llvm/IntrinsicInst.h" 261224c386981f7948f298ed9ad444c40609570f2eDan Gohman#include "llvm/Operator.h" 27f2d577b27a56a928fa3e77ab0cd83e7597751313Chris Lattner#include "llvm/Module.h" 28ef9b9a793949469cdaa4ab6d0173136229dcab7bReid Spencer#include "llvm/ValueSymbolTable.h" 2978d033e086e19e016273de014f9214aa6f3f844bReid Spencer#include "llvm/TypeSymbolTable.h" 30413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner#include "llvm/ADT/DenseSet.h" 315908839cedfa4cfb3b7a89db01f987c47e64aa90Benjamin Kramer#include "llvm/ADT/SmallString.h" 32551ccae044b0ff658fe629dd67edd5ffe75d10e8Reid Spencer#include "llvm/ADT/StringExtras.h" 33551ccae044b0ff658fe629dd67edd5ffe75d10e8Reid Spencer#include "llvm/ADT/STLExtras.h" 348f487662869d10c866b9ebdccb8f6a7509d3ab56Bill Wendling#include "llvm/Support/CFG.h" 35d78bfbc6bb5342c2256bea0834613b02448ec74dDevang Patel#include "llvm/Support/CommandLine.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 45d78bfbc6bb5342c2256bea0834613b02448ec74dDevang Patelstatic cl::opt<bool> 46d78bfbc6bb5342c2256bea0834613b02448ec74dDevang PatelEnableDebugInfoComment("enable-debug-info-comment", cl::Hidden, 47d78bfbc6bb5342c2256bea0834613b02448ec74dDevang Patel cl::desc("Enable debug info comments")); 48d78bfbc6bb5342c2256bea0834613b02448ec74dDevang Patel 49d78bfbc6bb5342c2256bea0834613b02448ec74dDevang Patel 50edd5d9ece15f73ec1a31423a4ae39774aa6c521cReid Spencer// Make virtual table appear in this compilation unit. 51edd5d9ece15f73ec1a31423a4ae39774aa6c521cReid SpencerAssemblyAnnotationWriter::~AssemblyAnnotationWriter() {} 52edd5d9ece15f73ec1a31423a4ae39774aa6c521cReid Spencer 536ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner//===----------------------------------------------------------------------===// 546ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner// Helper Functions 556ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner//===----------------------------------------------------------------------===// 560e25e1cdcf1f73bb9f56b91155d5c0ef42ef0a44Reid Spencer 57207b5bc6a15e12a87c3c861da680b8b23559a34cChris Lattnerstatic const Module *getModuleFromVal(const Value *V) { 58949a3628024248db01d5b13e03c415e0c88e90e4Chris Lattner if (const Argument *MA = dyn_cast<Argument>(V)) 59207b5bc6a15e12a87c3c861da680b8b23559a34cChris Lattner return MA->getParent() ? MA->getParent()->getParent() : 0; 60a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar 616ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner if (const BasicBlock *BB = dyn_cast<BasicBlock>(V)) 62207b5bc6a15e12a87c3c861da680b8b23559a34cChris Lattner return BB->getParent() ? BB->getParent()->getParent() : 0; 63a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar 646ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner if (const Instruction *I = dyn_cast<Instruction>(V)) { 6579df7c0aaa18129e55968c8783ef8346807bd4afChris Lattner const Function *M = I->getParent() ? I->getParent()->getParent() : 0; 66207b5bc6a15e12a87c3c861da680b8b23559a34cChris Lattner return M ? M->getParent() : 0; 676ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner } 684a3d3a54ebc7125f851e978b7188bda1bfdc14acChris Lattner 696ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner if (const GlobalValue *GV = dyn_cast<GlobalValue>(V)) 70207b5bc6a15e12a87c3c861da680b8b23559a34cChris Lattner return GV->getParent(); 71207b5bc6a15e12a87c3c861da680b8b23559a34cChris Lattner return 0; 72207b5bc6a15e12a87c3c861da680b8b23559a34cChris Lattner} 73207b5bc6a15e12a87c3c861da680b8b23559a34cChris Lattner 74e9da133ae0a3ea5bbadd14f33c5005a4e25422eaDaniel Dunbar// PrintEscapedString - Print each character of the specified string, escaping 75e9da133ae0a3ea5bbadd14f33c5005a4e25422eaDaniel Dunbar// it if it is not printable or if it is an escape char. 768fff12605e125e264bca213e748e1ec972437a55Chris Lattnerstatic void PrintEscapedString(StringRef Name, raw_ostream &Out) { 7703d7651c3652e1f0cc86e79b26585d86818da9cfDaniel Dunbar for (unsigned i = 0, e = Name.size(); i != e; ++i) { 7803d7651c3652e1f0cc86e79b26585d86818da9cfDaniel Dunbar unsigned char C = Name[i]; 7934a408639fbdb41add1a86af689c73fb4e9947a8Nick Lewycky if (isprint(C) && C != '\\' && C != '"') 80e9da133ae0a3ea5bbadd14f33c5005a4e25422eaDaniel Dunbar Out << C; 81e9da133ae0a3ea5bbadd14f33c5005a4e25422eaDaniel Dunbar else 82e9da133ae0a3ea5bbadd14f33c5005a4e25422eaDaniel Dunbar Out << '\\' << hexdigit(C >> 4) << hexdigit(C & 0x0F); 83e9da133ae0a3ea5bbadd14f33c5005a4e25422eaDaniel Dunbar } 84e9da133ae0a3ea5bbadd14f33c5005a4e25422eaDaniel Dunbar} 85e9da133ae0a3ea5bbadd14f33c5005a4e25422eaDaniel Dunbar 86addd44427cb1b46d85f2eb31c267dd1d43914252Chris Lattnerenum PrefixType { 87addd44427cb1b46d85f2eb31c267dd1d43914252Chris Lattner GlobalPrefix, 88addd44427cb1b46d85f2eb31c267dd1d43914252Chris Lattner LabelPrefix, 89cad3580e99ae045e138a1d57de589a01c1f9b296Daniel Dunbar LocalPrefix, 90cad3580e99ae045e138a1d57de589a01c1f9b296Daniel Dunbar NoPrefix 91addd44427cb1b46d85f2eb31c267dd1d43914252Chris Lattner}; 92addd44427cb1b46d85f2eb31c267dd1d43914252Chris Lattner 93c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner/// PrintLLVMName - Turn the specified name into an 'LLVM name', which is either 94c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner/// prefixed with % (if the string only contains simple characters) or is 95c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner/// surrounded with ""'s (if it has special chars in it). Print it out. 9638e59891ee4417a9be2f8146ce0ba3269e38ac21Benjamin Kramerstatic void PrintLLVMName(raw_ostream &OS, StringRef Name, PrefixType Prefix) { 9761717b3d94a74ad7bb3ade7ed4662921a4124fc8Jay Foad assert(!Name.empty() && "Cannot get empty name!"); 98c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner switch (Prefix) { 99c23197a26f34f559ea9797de51e187087c039c42Torok Edwin default: llvm_unreachable("Bad prefix!"); 100cad3580e99ae045e138a1d57de589a01c1f9b296Daniel Dunbar case NoPrefix: break; 10152b26de325e32c71159376853384789b7646eaf4Chris Lattner case GlobalPrefix: OS << '@'; break; 10252b26de325e32c71159376853384789b7646eaf4Chris Lattner case LabelPrefix: break; 10352b26de325e32c71159376853384789b7646eaf4Chris Lattner case LocalPrefix: OS << '%'; break; 104042348343e8c10b6cd60d2dca2b95ba27428ddc2Nick Lewycky } 105a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar 106c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner // Scan the name to see if it needs quotes first. 10703d7651c3652e1f0cc86e79b26585d86818da9cfDaniel Dunbar bool NeedsQuotes = isdigit(Name[0]); 108c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner if (!NeedsQuotes) { 10903d7651c3652e1f0cc86e79b26585d86818da9cfDaniel Dunbar for (unsigned i = 0, e = Name.size(); i != e; ++i) { 11003d7651c3652e1f0cc86e79b26585d86818da9cfDaniel Dunbar char C = Name[i]; 111c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner if (!isalnum(C) && C != '-' && C != '.' && C != '_') { 112c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner NeedsQuotes = true; 113c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner break; 114c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner } 115c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner } 116c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner } 117a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar 118c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner // If we didn't need any quotes, just write out the name in one blast. 119c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner if (!NeedsQuotes) { 12003d7651c3652e1f0cc86e79b26585d86818da9cfDaniel Dunbar OS << Name; 121c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner return; 122c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner } 123a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar 124c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner // Okay, we need quotes. Output the quotes and escape any scary characters as 125c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner // needed. 126c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner OS << '"'; 12703d7651c3652e1f0cc86e79b26585d86818da9cfDaniel Dunbar PrintEscapedString(Name, OS); 128c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner OS << '"'; 129c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner} 130c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner 1316ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner/// PrintLLVMName - Turn the specified name into an 'LLVM name', which is either 1326ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner/// prefixed with % (if the string only contains simple characters) or is 1336ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner/// surrounded with ""'s (if it has special chars in it). Print it out. 1341220e10f70f89e0f8082344646d79805edf9025dDan Gohmanstatic void PrintLLVMName(raw_ostream &OS, const Value *V) { 135a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar PrintLLVMName(OS, V->getName(), 136c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner isa<GlobalValue>(V) ? GlobalPrefix : LocalPrefix); 137c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner} 138c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner 1399cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner//===----------------------------------------------------------------------===// 1409cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner// TypePrinting Class: Type printing machinery 1419cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner//===----------------------------------------------------------------------===// 1429cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner 143fb78b33018bdd84d1879ae8a15f53d6b474982e9Chris Lattner/// TypePrinting - Type printing machinery. 144fb78b33018bdd84d1879ae8a15f53d6b474982e9Chris Lattnernamespace { 145fb78b33018bdd84d1879ae8a15f53d6b474982e9Chris Lattnerclass TypePrinting { 146fb78b33018bdd84d1879ae8a15f53d6b474982e9Chris Lattner DenseMap<const Type *, std::string> TypeNames; 147fb78b33018bdd84d1879ae8a15f53d6b474982e9Chris Lattner TypePrinting(const TypePrinting &); // DO NOT IMPLEMENT 148fb78b33018bdd84d1879ae8a15f53d6b474982e9Chris Lattner void operator=(const TypePrinting&); // DO NOT IMPLEMENT 149fb78b33018bdd84d1879ae8a15f53d6b474982e9Chris Lattnerpublic: 150fb78b33018bdd84d1879ae8a15f53d6b474982e9Chris Lattner TypePrinting() {} 151fb78b33018bdd84d1879ae8a15f53d6b474982e9Chris Lattner ~TypePrinting() {} 152fb78b33018bdd84d1879ae8a15f53d6b474982e9Chris Lattner 153fb78b33018bdd84d1879ae8a15f53d6b474982e9Chris Lattner void clear() { 154fb78b33018bdd84d1879ae8a15f53d6b474982e9Chris Lattner TypeNames.clear(); 155fb78b33018bdd84d1879ae8a15f53d6b474982e9Chris Lattner } 156fb78b33018bdd84d1879ae8a15f53d6b474982e9Chris Lattner 157fb78b33018bdd84d1879ae8a15f53d6b474982e9Chris Lattner void print(const Type *Ty, raw_ostream &OS, bool IgnoreTopLevelName = false); 158fb78b33018bdd84d1879ae8a15f53d6b474982e9Chris Lattner 159fb78b33018bdd84d1879ae8a15f53d6b474982e9Chris Lattner void printAtLeastOneLevel(const Type *Ty, raw_ostream &OS) { 160fb78b33018bdd84d1879ae8a15f53d6b474982e9Chris Lattner print(Ty, OS, true); 161fb78b33018bdd84d1879ae8a15f53d6b474982e9Chris Lattner } 162fb78b33018bdd84d1879ae8a15f53d6b474982e9Chris Lattner 163fb78b33018bdd84d1879ae8a15f53d6b474982e9Chris Lattner /// hasTypeName - Return true if the type has a name in TypeNames, false 164fb78b33018bdd84d1879ae8a15f53d6b474982e9Chris Lattner /// otherwise. 165fb78b33018bdd84d1879ae8a15f53d6b474982e9Chris Lattner bool hasTypeName(const Type *Ty) const { 166fb78b33018bdd84d1879ae8a15f53d6b474982e9Chris Lattner return TypeNames.count(Ty); 167fb78b33018bdd84d1879ae8a15f53d6b474982e9Chris Lattner } 1689cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner 169fb78b33018bdd84d1879ae8a15f53d6b474982e9Chris Lattner 170fb78b33018bdd84d1879ae8a15f53d6b474982e9Chris Lattner /// addTypeName - Add a name for the specified type if it doesn't already have 171fb78b33018bdd84d1879ae8a15f53d6b474982e9Chris Lattner /// one. This name will be printed instead of the structural version of the 172fb78b33018bdd84d1879ae8a15f53d6b474982e9Chris Lattner /// type in order to make the output more concise. 173fb78b33018bdd84d1879ae8a15f53d6b474982e9Chris Lattner void addTypeName(const Type *Ty, const std::string &N) { 174fb78b33018bdd84d1879ae8a15f53d6b474982e9Chris Lattner TypeNames.insert(std::make_pair(Ty, N)); 175fb78b33018bdd84d1879ae8a15f53d6b474982e9Chris Lattner } 176fb78b33018bdd84d1879ae8a15f53d6b474982e9Chris Lattner 177fb78b33018bdd84d1879ae8a15f53d6b474982e9Chris Lattnerprivate: 178fb78b33018bdd84d1879ae8a15f53d6b474982e9Chris Lattner void CalcTypeName(const Type *Ty, SmallVectorImpl<const Type *> &TypeStack, 179fb78b33018bdd84d1879ae8a15f53d6b474982e9Chris Lattner raw_ostream &OS, bool IgnoreTopLevelName = false); 180fb78b33018bdd84d1879ae8a15f53d6b474982e9Chris Lattner}; 181fb78b33018bdd84d1879ae8a15f53d6b474982e9Chris Lattner} // end anonymous namespace. 182d8030a7179a0d301dd3fb4c42c65a8f01dfe398eChris Lattner 183534361e7e17b34c6ac043a2c8bea626a5e9f1657Chris Lattner/// CalcTypeName - Write the specified type to the specified raw_ostream, making 184534361e7e17b34c6ac043a2c8bea626a5e9f1657Chris Lattner/// use of type names or up references to shorten the type name where possible. 185534361e7e17b34c6ac043a2c8bea626a5e9f1657Chris Lattnervoid TypePrinting::CalcTypeName(const Type *Ty, 186b840cace77b2c6afe9106698b1cb003a04e53b41Chris Lattner SmallVectorImpl<const Type *> &TypeStack, 187d2b6cb0a2b6e5994ff871027617c5efd69f7e3adChris Lattner raw_ostream &OS, bool IgnoreTopLevelName) { 1889cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner // Check to see if the type is named. 189d2b6cb0a2b6e5994ff871027617c5efd69f7e3adChris Lattner if (!IgnoreTopLevelName) { 190fb78b33018bdd84d1879ae8a15f53d6b474982e9Chris Lattner DenseMap<const Type *, std::string> &TM = TypeNames; 191d2b6cb0a2b6e5994ff871027617c5efd69f7e3adChris Lattner DenseMap<const Type *, std::string>::iterator I = TM.find(Ty); 192d2b6cb0a2b6e5994ff871027617c5efd69f7e3adChris Lattner if (I != TM.end()) { 193d2b6cb0a2b6e5994ff871027617c5efd69f7e3adChris Lattner OS << I->second; 194d2b6cb0a2b6e5994ff871027617c5efd69f7e3adChris Lattner return; 195d2b6cb0a2b6e5994ff871027617c5efd69f7e3adChris Lattner } 1969cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner } 197a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar 1989cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner // Check to see if the Type is already on the stack... 1999cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner unsigned Slot = 0, CurSize = TypeStack.size(); 2009cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner while (Slot < CurSize && TypeStack[Slot] != Ty) ++Slot; // Scan for type 201a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar 2029cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner // This is another base case for the recursion. In this case, we know 2039cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner // that we have looped back to a type that we have previously visited. 2049cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner // Generate the appropriate upreference to handle this. 2059cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner if (Slot < CurSize) { 20630794269d5ba15613d4e013d9fe1eb9e892fa6daChris Lattner OS << '\\' << unsigned(CurSize-Slot); // Here's the upreference 2079cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner return; 2089cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner } 209a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar 2109cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner TypeStack.push_back(Ty); // Recursive case: Add us to the stack.. 211a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar 2129cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner switch (Ty->getTypeID()) { 21330794269d5ba15613d4e013d9fe1eb9e892fa6daChris Lattner case Type::VoidTyID: OS << "void"; break; 21430794269d5ba15613d4e013d9fe1eb9e892fa6daChris Lattner case Type::FloatTyID: OS << "float"; break; 21530794269d5ba15613d4e013d9fe1eb9e892fa6daChris Lattner case Type::DoubleTyID: OS << "double"; break; 21630794269d5ba15613d4e013d9fe1eb9e892fa6daChris Lattner case Type::X86_FP80TyID: OS << "x86_fp80"; break; 21730794269d5ba15613d4e013d9fe1eb9e892fa6daChris Lattner case Type::FP128TyID: OS << "fp128"; break; 21830794269d5ba15613d4e013d9fe1eb9e892fa6daChris Lattner case Type::PPC_FP128TyID: OS << "ppc_fp128"; break; 21930794269d5ba15613d4e013d9fe1eb9e892fa6daChris Lattner case Type::LabelTyID: OS << "label"; break; 2207a0370f66ab5739f42ffe822f33494e0de9b182bNick Lewycky case Type::MetadataTyID: OS << "metadata"; break; 221bb811a244567aa8a1522203f15588f4d001b7353Dale Johannesen case Type::X86_MMXTyID: OS << "x86_mmx"; break; 222583ffd878744e27b2ced28d67026c6ad83175ef2Chris Lattner case Type::IntegerTyID: 22330794269d5ba15613d4e013d9fe1eb9e892fa6daChris Lattner OS << 'i' << cast<IntegerType>(Ty)->getBitWidth(); 224583ffd878744e27b2ced28d67026c6ad83175ef2Chris Lattner break; 225a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar 22636942d7383df0ab00f7f5b16c04f330aedf5c9f1Chris Lattner case Type::FunctionTyID: { 22736942d7383df0ab00f7f5b16c04f330aedf5c9f1Chris Lattner const FunctionType *FTy = cast<FunctionType>(Ty); 22830794269d5ba15613d4e013d9fe1eb9e892fa6daChris Lattner CalcTypeName(FTy->getReturnType(), TypeStack, OS); 22930794269d5ba15613d4e013d9fe1eb9e892fa6daChris Lattner OS << " ("; 23036942d7383df0ab00f7f5b16c04f330aedf5c9f1Chris Lattner for (FunctionType::param_iterator I = FTy->param_begin(), 23136942d7383df0ab00f7f5b16c04f330aedf5c9f1Chris Lattner E = FTy->param_end(); I != E; ++I) { 23236942d7383df0ab00f7f5b16c04f330aedf5c9f1Chris Lattner if (I != FTy->param_begin()) 23330794269d5ba15613d4e013d9fe1eb9e892fa6daChris Lattner OS << ", "; 23430794269d5ba15613d4e013d9fe1eb9e892fa6daChris Lattner CalcTypeName(*I, TypeStack, OS); 2359cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner } 23636942d7383df0ab00f7f5b16c04f330aedf5c9f1Chris Lattner if (FTy->isVarArg()) { 23730794269d5ba15613d4e013d9fe1eb9e892fa6daChris Lattner if (FTy->getNumParams()) OS << ", "; 23830794269d5ba15613d4e013d9fe1eb9e892fa6daChris Lattner OS << "..."; 2399cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner } 24030794269d5ba15613d4e013d9fe1eb9e892fa6daChris Lattner OS << ')'; 24136942d7383df0ab00f7f5b16c04f330aedf5c9f1Chris Lattner break; 24236942d7383df0ab00f7f5b16c04f330aedf5c9f1Chris Lattner } 24336942d7383df0ab00f7f5b16c04f330aedf5c9f1Chris Lattner case Type::StructTyID: { 24436942d7383df0ab00f7f5b16c04f330aedf5c9f1Chris Lattner const StructType *STy = cast<StructType>(Ty); 24536942d7383df0ab00f7f5b16c04f330aedf5c9f1Chris Lattner if (STy->isPacked()) 24630794269d5ba15613d4e013d9fe1eb9e892fa6daChris Lattner OS << '<'; 24729e13e0c18de57209170d5cd2c3dd1311f5e2a40Dan Gohman OS << '{'; 24836942d7383df0ab00f7f5b16c04f330aedf5c9f1Chris Lattner for (StructType::element_iterator I = STy->element_begin(), 24936942d7383df0ab00f7f5b16c04f330aedf5c9f1Chris Lattner E = STy->element_end(); I != E; ++I) { 25029e13e0c18de57209170d5cd2c3dd1311f5e2a40Dan Gohman OS << ' '; 25130794269d5ba15613d4e013d9fe1eb9e892fa6daChris Lattner CalcTypeName(*I, TypeStack, OS); 252ee56c42168f6c4271593f6018c4409b6a5910302Oscar Fuentes if (llvm::next(I) == STy->element_end()) 25329e13e0c18de57209170d5cd2c3dd1311f5e2a40Dan Gohman OS << ' '; 25429e13e0c18de57209170d5cd2c3dd1311f5e2a40Dan Gohman else 25530794269d5ba15613d4e013d9fe1eb9e892fa6daChris Lattner OS << ','; 2569cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner } 25730794269d5ba15613d4e013d9fe1eb9e892fa6daChris Lattner OS << '}'; 25836942d7383df0ab00f7f5b16c04f330aedf5c9f1Chris Lattner if (STy->isPacked()) 25930794269d5ba15613d4e013d9fe1eb9e892fa6daChris Lattner OS << '>'; 26036942d7383df0ab00f7f5b16c04f330aedf5c9f1Chris Lattner break; 26136942d7383df0ab00f7f5b16c04f330aedf5c9f1Chris Lattner } 26236942d7383df0ab00f7f5b16c04f330aedf5c9f1Chris Lattner case Type::PointerTyID: { 26336942d7383df0ab00f7f5b16c04f330aedf5c9f1Chris Lattner const PointerType *PTy = cast<PointerType>(Ty); 26430794269d5ba15613d4e013d9fe1eb9e892fa6daChris Lattner CalcTypeName(PTy->getElementType(), TypeStack, OS); 26536942d7383df0ab00f7f5b16c04f330aedf5c9f1Chris Lattner if (unsigned AddressSpace = PTy->getAddressSpace()) 26630794269d5ba15613d4e013d9fe1eb9e892fa6daChris Lattner OS << " addrspace(" << AddressSpace << ')'; 26730794269d5ba15613d4e013d9fe1eb9e892fa6daChris Lattner OS << '*'; 26836942d7383df0ab00f7f5b16c04f330aedf5c9f1Chris Lattner break; 26936942d7383df0ab00f7f5b16c04f330aedf5c9f1Chris Lattner } 27036942d7383df0ab00f7f5b16c04f330aedf5c9f1Chris Lattner case Type::ArrayTyID: { 27136942d7383df0ab00f7f5b16c04f330aedf5c9f1Chris Lattner const ArrayType *ATy = cast<ArrayType>(Ty); 27230794269d5ba15613d4e013d9fe1eb9e892fa6daChris Lattner OS << '[' << ATy->getNumElements() << " x "; 27330794269d5ba15613d4e013d9fe1eb9e892fa6daChris Lattner CalcTypeName(ATy->getElementType(), TypeStack, OS); 27430794269d5ba15613d4e013d9fe1eb9e892fa6daChris Lattner OS << ']'; 27536942d7383df0ab00f7f5b16c04f330aedf5c9f1Chris Lattner break; 27636942d7383df0ab00f7f5b16c04f330aedf5c9f1Chris Lattner } 27736942d7383df0ab00f7f5b16c04f330aedf5c9f1Chris Lattner case Type::VectorTyID: { 27836942d7383df0ab00f7f5b16c04f330aedf5c9f1Chris Lattner const VectorType *PTy = cast<VectorType>(Ty); 27930794269d5ba15613d4e013d9fe1eb9e892fa6daChris Lattner OS << "<" << PTy->getNumElements() << " x "; 28030794269d5ba15613d4e013d9fe1eb9e892fa6daChris Lattner CalcTypeName(PTy->getElementType(), TypeStack, OS); 28130794269d5ba15613d4e013d9fe1eb9e892fa6daChris Lattner OS << '>'; 28236942d7383df0ab00f7f5b16c04f330aedf5c9f1Chris Lattner break; 28336942d7383df0ab00f7f5b16c04f330aedf5c9f1Chris Lattner } 28436942d7383df0ab00f7f5b16c04f330aedf5c9f1Chris Lattner case Type::OpaqueTyID: 28530794269d5ba15613d4e013d9fe1eb9e892fa6daChris Lattner OS << "opaque"; 28636942d7383df0ab00f7f5b16c04f330aedf5c9f1Chris Lattner break; 28736942d7383df0ab00f7f5b16c04f330aedf5c9f1Chris Lattner default: 28830794269d5ba15613d4e013d9fe1eb9e892fa6daChris Lattner OS << "<unrecognized-type>"; 28936942d7383df0ab00f7f5b16c04f330aedf5c9f1Chris Lattner break; 2909cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner } 291a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar 292534361e7e17b34c6ac043a2c8bea626a5e9f1657Chris Lattner TypeStack.pop_back(); // Remove self from stack. 2939cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner} 2949cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner 2959cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner/// printTypeInt - The internal guts of printing out a type that has a 2969cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner/// potentially named portion. 2979cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner/// 298d2b6cb0a2b6e5994ff871027617c5efd69f7e3adChris Lattnervoid TypePrinting::print(const Type *Ty, raw_ostream &OS, 299d2b6cb0a2b6e5994ff871027617c5efd69f7e3adChris Lattner bool IgnoreTopLevelName) { 3009cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner // Check to see if the type is named. 301d2b6cb0a2b6e5994ff871027617c5efd69f7e3adChris Lattner if (!IgnoreTopLevelName) { 302fb78b33018bdd84d1879ae8a15f53d6b474982e9Chris Lattner DenseMap<const Type*, std::string>::iterator I = TypeNames.find(Ty); 303fb78b33018bdd84d1879ae8a15f53d6b474982e9Chris Lattner if (I != TypeNames.end()) { 304d2b6cb0a2b6e5994ff871027617c5efd69f7e3adChris Lattner OS << I->second; 305d2b6cb0a2b6e5994ff871027617c5efd69f7e3adChris Lattner return; 306d2b6cb0a2b6e5994ff871027617c5efd69f7e3adChris Lattner } 3079cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner } 308a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar 3099cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner // Otherwise we have a type that has not been named but is a derived type. 3109cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner // Carefully recurse the type hierarchy to print out any contained symbolic 3119cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner // names. 312b840cace77b2c6afe9106698b1cb003a04e53b41Chris Lattner SmallVector<const Type *, 16> TypeStack; 3139cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner std::string TypeName; 314a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar 315534361e7e17b34c6ac043a2c8bea626a5e9f1657Chris Lattner raw_string_ostream TypeOS(TypeName); 316d2b6cb0a2b6e5994ff871027617c5efd69f7e3adChris Lattner CalcTypeName(Ty, TypeStack, TypeOS, IgnoreTopLevelName); 317534361e7e17b34c6ac043a2c8bea626a5e9f1657Chris Lattner OS << TypeOS.str(); 318534361e7e17b34c6ac043a2c8bea626a5e9f1657Chris Lattner 319534361e7e17b34c6ac043a2c8bea626a5e9f1657Chris Lattner // Cache type name for later use. 320d2b6cb0a2b6e5994ff871027617c5efd69f7e3adChris Lattner if (!IgnoreTopLevelName) 321fb78b33018bdd84d1879ae8a15f53d6b474982e9Chris Lattner TypeNames.insert(std::make_pair(Ty, TypeOS.str())); 3229cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner} 3239cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner 324413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattnernamespace { 325413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner class TypeFinder { 326413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner // To avoid walking constant expressions multiple times and other IR 327413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner // objects, we keep several helper maps. 328413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner DenseSet<const Value*> VisitedConstants; 329413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner DenseSet<const Type*> VisitedTypes; 330a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar 331413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner TypePrinting &TP; 332413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner std::vector<const Type*> &NumberedTypes; 333413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner public: 334413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner TypeFinder(TypePrinting &tp, std::vector<const Type*> &numberedTypes) 335413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner : TP(tp), NumberedTypes(numberedTypes) {} 336a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar 337413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner void Run(const Module &M) { 338884858608b0107df56e671406d280e9617988f36Chris Lattner // Get types from the type symbol table. This gets opaque types referened 339884858608b0107df56e671406d280e9617988f36Chris Lattner // only through derived named types. 340884858608b0107df56e671406d280e9617988f36Chris Lattner const TypeSymbolTable &ST = M.getTypeSymbolTable(); 341884858608b0107df56e671406d280e9617988f36Chris Lattner for (TypeSymbolTable::const_iterator TI = ST.begin(), E = ST.end(); 342884858608b0107df56e671406d280e9617988f36Chris Lattner TI != E; ++TI) 343884858608b0107df56e671406d280e9617988f36Chris Lattner IncorporateType(TI->second); 344a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar 345413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner // Get types from global variables. 346413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner for (Module::const_global_iterator I = M.global_begin(), 347413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner E = M.global_end(); I != E; ++I) { 348413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner IncorporateType(I->getType()); 349413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner if (I->hasInitializer()) 350413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner IncorporateValue(I->getInitializer()); 351413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner } 352a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar 353413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner // Get types from aliases. 354413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner for (Module::const_alias_iterator I = M.alias_begin(), 355413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner E = M.alias_end(); I != E; ++I) { 356413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner IncorporateType(I->getType()); 357413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner IncorporateValue(I->getAliasee()); 358413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner } 359a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar 360413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner // Get types from functions. 361413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner for (Module::const_iterator FI = M.begin(), E = M.end(); FI != E; ++FI) { 362413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner IncorporateType(FI->getType()); 363a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar 364413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner for (Function::const_iterator BB = FI->begin(), E = FI->end(); 365413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner BB != E;++BB) 366413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner for (BasicBlock::const_iterator II = BB->begin(), 367413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner E = BB->end(); II != E; ++II) { 368413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner const Instruction &I = *II; 369413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner // Incorporate the type of the instruction and all its operands. 370413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner IncorporateType(I.getType()); 371413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner for (User::const_op_iterator OI = I.op_begin(), OE = I.op_end(); 372413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner OI != OE; ++OI) 373413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner IncorporateValue(*OI); 374413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner } 375413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner } 376413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner } 377a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar 378413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner private: 379413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner void IncorporateType(const Type *Ty) { 380413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner // Check to see if we're already visited this type. 381884858608b0107df56e671406d280e9617988f36Chris Lattner if (!VisitedTypes.insert(Ty).second) 382413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner return; 383a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar 384413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner // If this is a structure or opaque type, add a name for the type. 3851df9859c40492511b8aa4321eb76496005d3b75bDuncan Sands if (((Ty->isStructTy() && cast<StructType>(Ty)->getNumElements()) 38647c5188789bc40671504ed1fa3a44765cefba44fDuncan Sands || Ty->isOpaqueTy()) && !TP.hasTypeName(Ty)) { 387413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner TP.addTypeName(Ty, "%"+utostr(unsigned(NumberedTypes.size()))); 388413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner NumberedTypes.push_back(Ty); 389413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner } 390a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar 391413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner // Recursively walk all contained types. 392413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner for (Type::subtype_iterator I = Ty->subtype_begin(), 393413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner E = Ty->subtype_end(); I != E; ++I) 394a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar IncorporateType(*I); 395413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner } 396a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar 397413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner /// IncorporateValue - This method is used to walk operand lists finding 398413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner /// types hiding in constant expressions and other operands that won't be 399413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner /// walked in other ways. GlobalValues, basic blocks, instructions, and 400413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner /// inst operands are all explicitly enumerated. 401413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner void IncorporateValue(const Value *V) { 402413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner if (V == 0 || !isa<Constant>(V) || isa<GlobalValue>(V)) return; 403a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar 404413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner // Already visited? 405413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner if (!VisitedConstants.insert(V).second) 406413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner return; 407a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar 408413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner // Check this type. 409413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner IncorporateType(V->getType()); 410a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar 411413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner // Look in operands for types. 412413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner const Constant *C = cast<Constant>(V); 413413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner for (Constant::const_op_iterator I = C->op_begin(), 414413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner E = C->op_end(); I != E;++I) 415413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner IncorporateValue(*I); 416413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner } 417413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner }; 418413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner} // end anonymous namespace 419413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner 420413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner 421413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner/// AddModuleTypesToPrinter - Add all of the symbolic type names for types in 422413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner/// the specified module to the TypePrinter and all numbered types to it and the 423413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner/// NumberedTypes table. 424a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbarstatic void AddModuleTypesToPrinter(TypePrinting &TP, 425413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner std::vector<const Type*> &NumberedTypes, 426413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner const Module *M) { 427e9fa33eb6629aea72cd59560216bb6a7b8ebc689Chris Lattner if (M == 0) return; 428a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar 429e9fa33eb6629aea72cd59560216bb6a7b8ebc689Chris Lattner // If the module has a symbol table, take all global types and stuff their 430e9fa33eb6629aea72cd59560216bb6a7b8ebc689Chris Lattner // names into the TypeNames map. 431e9fa33eb6629aea72cd59560216bb6a7b8ebc689Chris Lattner const TypeSymbolTable &ST = M->getTypeSymbolTable(); 432e9fa33eb6629aea72cd59560216bb6a7b8ebc689Chris Lattner for (TypeSymbolTable::const_iterator TI = ST.begin(), E = ST.end(); 433e9fa33eb6629aea72cd59560216bb6a7b8ebc689Chris Lattner TI != E; ++TI) { 434e9fa33eb6629aea72cd59560216bb6a7b8ebc689Chris Lattner const Type *Ty = cast<Type>(TI->second); 435a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar 436e9fa33eb6629aea72cd59560216bb6a7b8ebc689Chris Lattner // As a heuristic, don't insert pointer to primitive types, because 437e9fa33eb6629aea72cd59560216bb6a7b8ebc689Chris Lattner // they are used too often to have a single useful name. 438e9fa33eb6629aea72cd59560216bb6a7b8ebc689Chris Lattner if (const PointerType *PTy = dyn_cast<PointerType>(Ty)) { 439e9fa33eb6629aea72cd59560216bb6a7b8ebc689Chris Lattner const Type *PETy = PTy->getElementType(); 440b0bc6c361da9009e8414efde317d9bbff755f6c0Duncan Sands if ((PETy->isPrimitiveType() || PETy->isIntegerTy()) && 44147c5188789bc40671504ed1fa3a44765cefba44fDuncan Sands !PETy->isOpaqueTy()) 442e9fa33eb6629aea72cd59560216bb6a7b8ebc689Chris Lattner continue; 443e9fa33eb6629aea72cd59560216bb6a7b8ebc689Chris Lattner } 444a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar 445e9fa33eb6629aea72cd59560216bb6a7b8ebc689Chris Lattner // Likewise don't insert primitives either. 446b0bc6c361da9009e8414efde317d9bbff755f6c0Duncan Sands if (Ty->isIntegerTy() || Ty->isPrimitiveType()) 447e9fa33eb6629aea72cd59560216bb6a7b8ebc689Chris Lattner continue; 448a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar 449e9fa33eb6629aea72cd59560216bb6a7b8ebc689Chris Lattner // Get the name as a string and insert it into TypeNames. 450e9fa33eb6629aea72cd59560216bb6a7b8ebc689Chris Lattner std::string NameStr; 451683e922d299bdfa9ec609bd58a0eed20568303f1Dan Gohman raw_string_ostream NameROS(NameStr); 452683e922d299bdfa9ec609bd58a0eed20568303f1Dan Gohman formatted_raw_ostream NameOS(NameROS); 45303d7651c3652e1f0cc86e79b26585d86818da9cfDaniel Dunbar PrintLLVMName(NameOS, TI->first, LocalPrefix); 454683e922d299bdfa9ec609bd58a0eed20568303f1Dan Gohman NameOS.flush(); 455683e922d299bdfa9ec609bd58a0eed20568303f1Dan Gohman TP.addTypeName(Ty, NameStr); 456e9fa33eb6629aea72cd59560216bb6a7b8ebc689Chris Lattner } 457a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar 458413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner // Walk the entire module to find references to unnamed structure and opaque 459413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner // types. This is required for correctness by opaque types (because multiple 460413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner // uses of an unnamed opaque type needs to be referred to by the same ID) and 461413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner // it shrinks complex recursive structure types substantially in some cases. 462413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner TypeFinder(TP, NumberedTypes).Run(*M); 463e9fa33eb6629aea72cd59560216bb6a7b8ebc689Chris Lattner} 464e9fa33eb6629aea72cd59560216bb6a7b8ebc689Chris Lattner 4659cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner 4669cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner/// WriteTypeSymbolic - This attempts to write the specified type as a symbolic 4679cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner/// type, iff there is an entry in the modules symbol table for the specified 468c287137ce7455c63be0075e0d5aba0bab4f125eaChris Lattner/// type or one of it's component types. 4699cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner/// 470e9fa33eb6629aea72cd59560216bb6a7b8ebc689Chris Lattnervoid llvm::WriteTypeSymbolic(raw_ostream &OS, const Type *Ty, const Module *M) { 471e9fa33eb6629aea72cd59560216bb6a7b8ebc689Chris Lattner TypePrinting Printer; 472413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner std::vector<const Type*> NumberedTypes; 473413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner AddModuleTypesToPrinter(Printer, NumberedTypes, M); 474e9fa33eb6629aea72cd59560216bb6a7b8ebc689Chris Lattner Printer.print(Ty, OS); 4759cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner} 4769cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner 4776ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner//===----------------------------------------------------------------------===// 4786ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner// SlotTracker Class: Enumerate slot numbers for unnamed values 4796ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner//===----------------------------------------------------------------------===// 4806ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 4816ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattnernamespace { 4826ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 4836ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner/// This class provides computation of slot numbers for LLVM Assembly writing. 4846ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner/// 4856ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattnerclass SlotTracker { 4866ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattnerpublic: 487320671d2654a543bbeed5b62efe165430146d55eDevang Patel /// ValueMap - A mapping of Values to slot numbers. 4886ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner typedef DenseMap<const Value*, unsigned> ValueMap; 489a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar 490a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbarprivate: 491320671d2654a543bbeed5b62efe165430146d55eDevang Patel /// TheModule - The module for which we are holding slot numbers. 4926ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner const Module* TheModule; 493a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar 494320671d2654a543bbeed5b62efe165430146d55eDevang Patel /// TheFunction - The function for which we are holding slot numbers. 4956ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner const Function* TheFunction; 4966ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner bool FunctionProcessed; 497a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar 498320671d2654a543bbeed5b62efe165430146d55eDevang Patel /// mMap - The TypePlanes map for the module level data. 4996ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner ValueMap mMap; 5006ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner unsigned mNext; 501a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar 502320671d2654a543bbeed5b62efe165430146d55eDevang Patel /// fMap - The TypePlanes map for the function level data. 5036ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner ValueMap fMap; 5046ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner unsigned fNext; 505a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar 506320671d2654a543bbeed5b62efe165430146d55eDevang Patel /// mdnMap - Map for MDNodes. 507307c9893fc30758041a3649a8bed2b4b4cc405d4Chris Lattner DenseMap<const MDNode*, unsigned> mdnMap; 508320671d2654a543bbeed5b62efe165430146d55eDevang Patel unsigned mdnNext; 5096ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattnerpublic: 5106ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner /// Construct from a module 5116ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner explicit SlotTracker(const Module *M); 5126ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner /// Construct from a function, starting out in incorp state. 5136ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner explicit SlotTracker(const Function *F); 5146ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 5156ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner /// Return the slot number of the specified value in it's type 5166ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner /// plane. If something is not in the SlotTracker, return -1. 5176ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner int getLocalSlot(const Value *V); 5186ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner int getGlobalSlot(const GlobalValue *V); 519320671d2654a543bbeed5b62efe165430146d55eDevang Patel int getMetadataSlot(const MDNode *N); 5206ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 5216ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner /// If you'd like to deal with a function instead of just a module, use 5226ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner /// this method to get its data into the SlotTracker. 5236ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner void incorporateFunction(const Function *F) { 5246ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner TheFunction = F; 5256ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner FunctionProcessed = false; 5266ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner } 5276ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 5286ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner /// After calling incorporateFunction, use this method to remove the 5296ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner /// most recently incorporated function from the SlotTracker. This 5306ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner /// will reset the state of the machine back to just the module contents. 5316ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner void purgeFunction(); 5326ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 533320671d2654a543bbeed5b62efe165430146d55eDevang Patel /// MDNode map iterators. 534307c9893fc30758041a3649a8bed2b4b4cc405d4Chris Lattner typedef DenseMap<const MDNode*, unsigned>::iterator mdn_iterator; 535307c9893fc30758041a3649a8bed2b4b4cc405d4Chris Lattner mdn_iterator mdn_begin() { return mdnMap.begin(); } 536307c9893fc30758041a3649a8bed2b4b4cc405d4Chris Lattner mdn_iterator mdn_end() { return mdnMap.end(); } 537307c9893fc30758041a3649a8bed2b4b4cc405d4Chris Lattner unsigned mdn_size() const { return mdnMap.size(); } 538307c9893fc30758041a3649a8bed2b4b4cc405d4Chris Lattner bool mdn_empty() const { return mdnMap.empty(); } 539320671d2654a543bbeed5b62efe165430146d55eDevang Patel 5406ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner /// This function does the actual initialization. 5416ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner inline void initialize(); 5426ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 543320671d2654a543bbeed5b62efe165430146d55eDevang Patel // Implementation Details 544320671d2654a543bbeed5b62efe165430146d55eDevang Patelprivate: 5456ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner /// CreateModuleSlot - Insert the specified GlobalValue* into the slot table. 5466ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner void CreateModuleSlot(const GlobalValue *V); 547320671d2654a543bbeed5b62efe165430146d55eDevang Patel 548320671d2654a543bbeed5b62efe165430146d55eDevang Patel /// CreateMetadataSlot - Insert the specified MDNode* into the slot table. 549320671d2654a543bbeed5b62efe165430146d55eDevang Patel void CreateMetadataSlot(const MDNode *N); 550320671d2654a543bbeed5b62efe165430146d55eDevang Patel 5516ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner /// CreateFunctionSlot - Insert the specified Value* into the slot table. 5526ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner void CreateFunctionSlot(const Value *V); 5536ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 5546ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner /// Add all of the module level global variables (and their initializers) 5556ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner /// and function declarations, but not the contents of those functions. 5566ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner void processModule(); 5576ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 558320671d2654a543bbeed5b62efe165430146d55eDevang Patel /// Add all of the functions arguments, basic blocks, and instructions. 5596ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner void processFunction(); 5606ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 5616ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner SlotTracker(const SlotTracker &); // DO NOT IMPLEMENT 5626ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner void operator=(const SlotTracker &); // DO NOT IMPLEMENT 5636ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner}; 5646ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 5656ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner} // end anonymous namespace 5666ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 5676ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 5686ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattnerstatic SlotTracker *createSlotTracker(const Value *V) { 5696ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner if (const Argument *FA = dyn_cast<Argument>(V)) 5706ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner return new SlotTracker(FA->getParent()); 571a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar 5726ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner if (const Instruction *I = dyn_cast<Instruction>(V)) 5736ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner return new SlotTracker(I->getParent()->getParent()); 574a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar 5756ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner if (const BasicBlock *BB = dyn_cast<BasicBlock>(V)) 5766ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner return new SlotTracker(BB->getParent()); 577a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar 5786ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner if (const GlobalVariable *GV = dyn_cast<GlobalVariable>(V)) 5796ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner return new SlotTracker(GV->getParent()); 580a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar 5816ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner if (const GlobalAlias *GA = dyn_cast<GlobalAlias>(V)) 582a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar return new SlotTracker(GA->getParent()); 583a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar 5846ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner if (const Function *Func = dyn_cast<Function>(V)) 5856ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner return new SlotTracker(Func); 586a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar 5873bdfbf5d56d52fc4c390df77f98ba2c46951b51aDan Gohman if (const MDNode *MD = dyn_cast<MDNode>(V)) { 5883bdfbf5d56d52fc4c390df77f98ba2c46951b51aDan Gohman if (!MD->isFunctionLocal()) 5893bdfbf5d56d52fc4c390df77f98ba2c46951b51aDan Gohman return new SlotTracker(MD->getFunction()); 5903bdfbf5d56d52fc4c390df77f98ba2c46951b51aDan Gohman 5915f72a5ebc84a1935878b5b2d3166a505c520cdfcDale Johannesen return new SlotTracker((Function *)0); 5923bdfbf5d56d52fc4c390df77f98ba2c46951b51aDan Gohman } 5935f72a5ebc84a1935878b5b2d3166a505c520cdfcDale Johannesen 5946ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner return 0; 5956ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner} 5966ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 5976ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner#if 0 598d865e02ea24e92f8fd1d2b49a26ea0676a879ce7David Greene#define ST_DEBUG(X) dbgs() << X 5996ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner#else 600242330371b2b7ab9d5a6c4f5f93ec82c514cc09aChris Lattner#define ST_DEBUG(X) 6016ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner#endif 6026ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 6036ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner// Module level constructor. Causes the contents of the Module (sans functions) 6046ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner// to be added to the slot table. 6056ab910b946b6af54384662fb404d6e9b22fa5727Chris LattnerSlotTracker::SlotTracker(const Module *M) 6066e6b1805dae72803fbfe45f9aee2ab9ebfb4ec77Chris Lattner : TheModule(M), TheFunction(0), FunctionProcessed(false), 60738cf02ebc977d65f3e1beecd1819a14f7bcf7fa9Chris Lattner mNext(0), fNext(0), mdnNext(0) { 6086ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner} 6096ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 6106ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner// Function level constructor. Causes the contents of the Module and the one 6116ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner// function provided to be added to the slot table. 6126ab910b946b6af54384662fb404d6e9b22fa5727Chris LattnerSlotTracker::SlotTracker(const Function *F) 613cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner : TheModule(F ? F->getParent() : 0), TheFunction(F), FunctionProcessed(false), 6146e6b1805dae72803fbfe45f9aee2ab9ebfb4ec77Chris Lattner mNext(0), fNext(0), mdnNext(0) { 6156ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner} 6166ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 6176ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattnerinline void SlotTracker::initialize() { 6186ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner if (TheModule) { 6196ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner processModule(); 6206ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner TheModule = 0; ///< Prevent re-processing next time we're called. 6216ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner } 622a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar 6236ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner if (TheFunction && !FunctionProcessed) 6246ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner processFunction(); 6256ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner} 6266ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 6276ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner// Iterate through all the global variables, functions, and global 6286ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner// variable initializers and create slots for them. 6296ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattnervoid SlotTracker::processModule() { 630242330371b2b7ab9d5a6c4f5f93ec82c514cc09aChris Lattner ST_DEBUG("begin processModule!\n"); 631a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar 6326ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner // Add all of the unnamed global variables to the value table. 6336ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner for (Module::const_global_iterator I = TheModule->global_begin(), 634320671d2654a543bbeed5b62efe165430146d55eDevang Patel E = TheModule->global_end(); I != E; ++I) { 635a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar if (!I->hasName()) 6366ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner CreateModuleSlot(I); 637320671d2654a543bbeed5b62efe165430146d55eDevang Patel } 638a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar 63937c4a2d6f15ff32c9ae91e333d655a349e195993Devang Patel // Add metadata used by named metadata. 640a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar for (Module::const_named_metadata_iterator 64137c4a2d6f15ff32c9ae91e333d655a349e195993Devang Patel I = TheModule->named_metadata_begin(), 64237c4a2d6f15ff32c9ae91e333d655a349e195993Devang Patel E = TheModule->named_metadata_end(); I != E; ++I) { 64337c4a2d6f15ff32c9ae91e333d655a349e195993Devang Patel const NamedMDNode *NMD = I; 644872814ae048df032bddf9299c850f5bda08299a9Dan Gohman for (unsigned i = 0, e = NMD->getNumOperands(); i != e; ++i) 645872814ae048df032bddf9299c850f5bda08299a9Dan Gohman CreateMetadataSlot(NMD->getOperand(i)); 64637c4a2d6f15ff32c9ae91e333d655a349e195993Devang Patel } 64737c4a2d6f15ff32c9ae91e333d655a349e195993Devang Patel 6486ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner // Add all the unnamed functions to the table. 6496ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner for (Module::const_iterator I = TheModule->begin(), E = TheModule->end(); 6506ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner I != E; ++I) 6516ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner if (!I->hasName()) 6526ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner CreateModuleSlot(I); 653a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar 654242330371b2b7ab9d5a6c4f5f93ec82c514cc09aChris Lattner ST_DEBUG("end processModule!\n"); 6556ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner} 6566ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 6576ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner// Process the arguments, basic blocks, and instructions of a function. 6586ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattnervoid SlotTracker::processFunction() { 659242330371b2b7ab9d5a6c4f5f93ec82c514cc09aChris Lattner ST_DEBUG("begin processFunction!\n"); 6606ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner fNext = 0; 661a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar 6626ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner // Add all the function arguments with no names. 6636ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner for(Function::const_arg_iterator AI = TheFunction->arg_begin(), 6646ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner AE = TheFunction->arg_end(); AI != AE; ++AI) 6656ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner if (!AI->hasName()) 6666ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner CreateFunctionSlot(AI); 667a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar 668242330371b2b7ab9d5a6c4f5f93ec82c514cc09aChris Lattner ST_DEBUG("Inserting Instructions:\n"); 669a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar 6706e6b1805dae72803fbfe45f9aee2ab9ebfb4ec77Chris Lattner SmallVector<std::pair<unsigned, MDNode*>, 4> MDForInst; 67143215788d5d79a0a336ca85442d7c8a45552dd7aDevang Patel 6726ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner // Add all of the basic blocks and instructions with no names. 6736ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner for (Function::const_iterator BB = TheFunction->begin(), 6746ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner E = TheFunction->end(); BB != E; ++BB) { 6756ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner if (!BB->hasName()) 6766ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner CreateFunctionSlot(BB); 6773990b121cf4a0b280ed3e54cf13870cbf4259e78Chris Lattner 678a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar for (BasicBlock::const_iterator I = BB->begin(), E = BB->end(); I != E; 679320671d2654a543bbeed5b62efe165430146d55eDevang Patel ++I) { 6803990b121cf4a0b280ed3e54cf13870cbf4259e78Chris Lattner if (!I->getType()->isVoidTy() && !I->hasName()) 6816ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner CreateFunctionSlot(I); 6823990b121cf4a0b280ed3e54cf13870cbf4259e78Chris Lattner 683fd450c026ae0e804da7025d3318551b203d584a9Chris Lattner // Intrinsics can directly use metadata. We allow direct calls to any 684fd450c026ae0e804da7025d3318551b203d584a9Chris Lattner // llvm.foo function here, because the target may not be linked into the 685fd450c026ae0e804da7025d3318551b203d584a9Chris Lattner // optimizer. 686fd450c026ae0e804da7025d3318551b203d584a9Chris Lattner if (const CallInst *CI = dyn_cast<CallInst>(I)) { 687fd450c026ae0e804da7025d3318551b203d584a9Chris Lattner if (Function *F = CI->getCalledFunction()) 688fd450c026ae0e804da7025d3318551b203d584a9Chris Lattner if (F->getName().startswith("llvm.")) 689fd450c026ae0e804da7025d3318551b203d584a9Chris Lattner for (unsigned i = 0, e = I->getNumOperands(); i != e; ++i) 690fd450c026ae0e804da7025d3318551b203d584a9Chris Lattner if (MDNode *N = dyn_cast_or_null<MDNode>(I->getOperand(i))) 691fd450c026ae0e804da7025d3318551b203d584a9Chris Lattner CreateMetadataSlot(N); 692fd450c026ae0e804da7025d3318551b203d584a9Chris Lattner } 693a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar 69443215788d5d79a0a336ca85442d7c8a45552dd7aDevang Patel // Process metadata attached with this instruction. 6953990b121cf4a0b280ed3e54cf13870cbf4259e78Chris Lattner I->getAllMetadata(MDForInst); 6963990b121cf4a0b280ed3e54cf13870cbf4259e78Chris Lattner for (unsigned i = 0, e = MDForInst.size(); i != e; ++i) 6973990b121cf4a0b280ed3e54cf13870cbf4259e78Chris Lattner CreateMetadataSlot(MDForInst[i].second); 6986e6b1805dae72803fbfe45f9aee2ab9ebfb4ec77Chris Lattner MDForInst.clear(); 699320671d2654a543bbeed5b62efe165430146d55eDevang Patel } 7006ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner } 70143215788d5d79a0a336ca85442d7c8a45552dd7aDevang Patel 7026ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner FunctionProcessed = true; 703a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar 704242330371b2b7ab9d5a6c4f5f93ec82c514cc09aChris Lattner ST_DEBUG("end processFunction!\n"); 7056ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner} 7066ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 7076ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner/// Clean up after incorporating a function. This is the only way to get out of 7086ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner/// the function incorporation state that affects get*Slot/Create*Slot. Function 7096ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner/// incorporation state is indicated by TheFunction != 0. 7106ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattnervoid SlotTracker::purgeFunction() { 711242330371b2b7ab9d5a6c4f5f93ec82c514cc09aChris Lattner ST_DEBUG("begin purgeFunction!\n"); 7126ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner fMap.clear(); // Simply discard the function level map 7136ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner TheFunction = 0; 7146ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner FunctionProcessed = false; 715242330371b2b7ab9d5a6c4f5f93ec82c514cc09aChris Lattner ST_DEBUG("end purgeFunction!\n"); 7166ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner} 7176ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 7186ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner/// getGlobalSlot - Get the slot number of a global value. 7196ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattnerint SlotTracker::getGlobalSlot(const GlobalValue *V) { 7206ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner // Check for uninitialized state and do lazy initialization. 7216ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner initialize(); 722a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar 7236ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner // Find the type plane in the module map 7246ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner ValueMap::iterator MI = mMap.find(V); 725aeaf245db33fa8bccdd14bb8899ee0585a75a7b1Dan Gohman return MI == mMap.end() ? -1 : (int)MI->second; 7266ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner} 7276ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 728307c9893fc30758041a3649a8bed2b4b4cc405d4Chris Lattner/// getMetadataSlot - Get the slot number of a MDNode. 729320671d2654a543bbeed5b62efe165430146d55eDevang Patelint SlotTracker::getMetadataSlot(const MDNode *N) { 730320671d2654a543bbeed5b62efe165430146d55eDevang Patel // Check for uninitialized state and do lazy initialization. 731320671d2654a543bbeed5b62efe165430146d55eDevang Patel initialize(); 732a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar 733320671d2654a543bbeed5b62efe165430146d55eDevang Patel // Find the type plane in the module map 734307c9893fc30758041a3649a8bed2b4b4cc405d4Chris Lattner mdn_iterator MI = mdnMap.find(N); 735320671d2654a543bbeed5b62efe165430146d55eDevang Patel return MI == mdnMap.end() ? -1 : (int)MI->second; 736320671d2654a543bbeed5b62efe165430146d55eDevang Patel} 737320671d2654a543bbeed5b62efe165430146d55eDevang Patel 7386ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 7396ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner/// getLocalSlot - Get the slot number for a value that is local to a function. 7406ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattnerint SlotTracker::getLocalSlot(const Value *V) { 7416ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner assert(!isa<Constant>(V) && "Can't get a constant or global slot with this!"); 742a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar 7436ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner // Check for uninitialized state and do lazy initialization. 7446ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner initialize(); 745a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar 7466ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner ValueMap::iterator FI = fMap.find(V); 747aeaf245db33fa8bccdd14bb8899ee0585a75a7b1Dan Gohman return FI == fMap.end() ? -1 : (int)FI->second; 7486ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner} 7496ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 7506ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 7516ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner/// CreateModuleSlot - Insert the specified GlobalValue* into the slot table. 7526ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattnervoid SlotTracker::CreateModuleSlot(const GlobalValue *V) { 7536ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner assert(V && "Can't insert a null Value into SlotTracker!"); 7544ee93c430367000c80a02ba218ddf712aa3e57edChris Lattner assert(!V->getType()->isVoidTy() && "Doesn't need a slot!"); 7556ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner assert(!V->hasName() && "Doesn't need a slot!"); 756a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar 7576ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner unsigned DestSlot = mNext++; 7586ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner mMap[V] = DestSlot; 759a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar 760242330371b2b7ab9d5a6c4f5f93ec82c514cc09aChris Lattner ST_DEBUG(" Inserting value [" << V->getType() << "] = " << V << " slot=" << 7616ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner DestSlot << " ["); 7626ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner // G = Global, F = Function, A = Alias, o = other 763242330371b2b7ab9d5a6c4f5f93ec82c514cc09aChris Lattner ST_DEBUG((isa<GlobalVariable>(V) ? 'G' : 7646ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner (isa<Function>(V) ? 'F' : 7656ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner (isa<GlobalAlias>(V) ? 'A' : 'o'))) << "]\n"); 7666ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner} 7676ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 7686ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner/// CreateSlot - Create a new slot for the specified value if it has no name. 7696ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattnervoid SlotTracker::CreateFunctionSlot(const Value *V) { 7704ee93c430367000c80a02ba218ddf712aa3e57edChris Lattner assert(!V->getType()->isVoidTy() && !V->hasName() && "Doesn't need a slot!"); 771a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar 7726ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner unsigned DestSlot = fNext++; 7736ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner fMap[V] = DestSlot; 774a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar 7756ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner // G = Global, F = Function, o = other 776242330371b2b7ab9d5a6c4f5f93ec82c514cc09aChris Lattner ST_DEBUG(" Inserting value [" << V->getType() << "] = " << V << " slot=" << 7776ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner DestSlot << " [o]\n"); 778a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar} 7796ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 780320671d2654a543bbeed5b62efe165430146d55eDevang Patel/// CreateModuleSlot - Insert the specified MDNode* into the slot table. 781320671d2654a543bbeed5b62efe165430146d55eDevang Patelvoid SlotTracker::CreateMetadataSlot(const MDNode *N) { 782320671d2654a543bbeed5b62efe165430146d55eDevang Patel assert(N && "Can't insert a null Value into SlotTracker!"); 783a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar 7842b4b1e2e603d5543bf2fe0ad45b62ca7bfaee81dChris Lattner // Don't insert if N is a function-local metadata, these are always printed 7852b4b1e2e603d5543bf2fe0ad45b62ca7bfaee81dChris Lattner // inline. 7863bdfbf5d56d52fc4c390df77f98ba2c46951b51aDan Gohman if (!N->isFunctionLocal()) { 7873bdfbf5d56d52fc4c390df77f98ba2c46951b51aDan Gohman mdn_iterator I = mdnMap.find(N); 7883bdfbf5d56d52fc4c390df77f98ba2c46951b51aDan Gohman if (I != mdnMap.end()) 7893bdfbf5d56d52fc4c390df77f98ba2c46951b51aDan Gohman return; 790320671d2654a543bbeed5b62efe165430146d55eDevang Patel 7913bdfbf5d56d52fc4c390df77f98ba2c46951b51aDan Gohman unsigned DestSlot = mdnNext++; 7923bdfbf5d56d52fc4c390df77f98ba2c46951b51aDan Gohman mdnMap[N] = DestSlot; 7933bdfbf5d56d52fc4c390df77f98ba2c46951b51aDan Gohman } 7946ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 7952b4b1e2e603d5543bf2fe0ad45b62ca7bfaee81dChris Lattner // Recursively add any MDNodes referenced by operands. 7962b4b1e2e603d5543bf2fe0ad45b62ca7bfaee81dChris Lattner for (unsigned i = 0, e = N->getNumOperands(); i != e; ++i) 7972b4b1e2e603d5543bf2fe0ad45b62ca7bfaee81dChris Lattner if (const MDNode *Op = dyn_cast_or_null<MDNode>(N->getOperand(i))) 7982b4b1e2e603d5543bf2fe0ad45b62ca7bfaee81dChris Lattner CreateMetadataSlot(Op); 799320671d2654a543bbeed5b62efe165430146d55eDevang Patel} 8006ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 8016ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner//===----------------------------------------------------------------------===// 8026ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner// AsmWriter Implementation 8036ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner//===----------------------------------------------------------------------===// 8046ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 8051220e10f70f89e0f8082344646d79805edf9025dDan Gohmanstatic void WriteAsOperandInternal(raw_ostream &Out, const Value *V, 806d6c0f65b532f022e584d8f1e3c044593b4c74a99Dan Gohman TypePrinting *TypePrinter, 8073bdfbf5d56d52fc4c390df77f98ba2c46951b51aDan Gohman SlotTracker *Machine, 8083bdfbf5d56d52fc4c390df77f98ba2c46951b51aDan Gohman const Module *Context); 8096ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 8106ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 8116ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 81282c4bc7153d390ad1c2b369e0caef456948b8825Chris Lattnerstatic const char *getPredicateText(unsigned predicate) { 81381dfeb3264d3c1f619c3f73046ded1ac6883e59dReid Spencer const char * pred = "unknown"; 81481dfeb3264d3c1f619c3f73046ded1ac6883e59dReid Spencer switch (predicate) { 8156e6b1805dae72803fbfe45f9aee2ab9ebfb4ec77Chris Lattner case FCmpInst::FCMP_FALSE: pred = "false"; break; 8166e6b1805dae72803fbfe45f9aee2ab9ebfb4ec77Chris Lattner case FCmpInst::FCMP_OEQ: pred = "oeq"; break; 8176e6b1805dae72803fbfe45f9aee2ab9ebfb4ec77Chris Lattner case FCmpInst::FCMP_OGT: pred = "ogt"; break; 8186e6b1805dae72803fbfe45f9aee2ab9ebfb4ec77Chris Lattner case FCmpInst::FCMP_OGE: pred = "oge"; break; 8196e6b1805dae72803fbfe45f9aee2ab9ebfb4ec77Chris Lattner case FCmpInst::FCMP_OLT: pred = "olt"; break; 8206e6b1805dae72803fbfe45f9aee2ab9ebfb4ec77Chris Lattner case FCmpInst::FCMP_OLE: pred = "ole"; break; 8216e6b1805dae72803fbfe45f9aee2ab9ebfb4ec77Chris Lattner case FCmpInst::FCMP_ONE: pred = "one"; break; 8226e6b1805dae72803fbfe45f9aee2ab9ebfb4ec77Chris Lattner case FCmpInst::FCMP_ORD: pred = "ord"; break; 8236e6b1805dae72803fbfe45f9aee2ab9ebfb4ec77Chris Lattner case FCmpInst::FCMP_UNO: pred = "uno"; break; 8246e6b1805dae72803fbfe45f9aee2ab9ebfb4ec77Chris Lattner case FCmpInst::FCMP_UEQ: pred = "ueq"; break; 8256e6b1805dae72803fbfe45f9aee2ab9ebfb4ec77Chris Lattner case FCmpInst::FCMP_UGT: pred = "ugt"; break; 8266e6b1805dae72803fbfe45f9aee2ab9ebfb4ec77Chris Lattner case FCmpInst::FCMP_UGE: pred = "uge"; break; 8276e6b1805dae72803fbfe45f9aee2ab9ebfb4ec77Chris Lattner case FCmpInst::FCMP_ULT: pred = "ult"; break; 8286e6b1805dae72803fbfe45f9aee2ab9ebfb4ec77Chris Lattner case FCmpInst::FCMP_ULE: pred = "ule"; break; 8296e6b1805dae72803fbfe45f9aee2ab9ebfb4ec77Chris Lattner case FCmpInst::FCMP_UNE: pred = "une"; break; 8306e6b1805dae72803fbfe45f9aee2ab9ebfb4ec77Chris Lattner case FCmpInst::FCMP_TRUE: pred = "true"; break; 8316e6b1805dae72803fbfe45f9aee2ab9ebfb4ec77Chris Lattner case ICmpInst::ICMP_EQ: pred = "eq"; break; 8326e6b1805dae72803fbfe45f9aee2ab9ebfb4ec77Chris Lattner case ICmpInst::ICMP_NE: pred = "ne"; break; 8336e6b1805dae72803fbfe45f9aee2ab9ebfb4ec77Chris Lattner case ICmpInst::ICMP_SGT: pred = "sgt"; break; 8346e6b1805dae72803fbfe45f9aee2ab9ebfb4ec77Chris Lattner case ICmpInst::ICMP_SGE: pred = "sge"; break; 8356e6b1805dae72803fbfe45f9aee2ab9ebfb4ec77Chris Lattner case ICmpInst::ICMP_SLT: pred = "slt"; break; 8366e6b1805dae72803fbfe45f9aee2ab9ebfb4ec77Chris Lattner case ICmpInst::ICMP_SLE: pred = "sle"; break; 8376e6b1805dae72803fbfe45f9aee2ab9ebfb4ec77Chris Lattner case ICmpInst::ICMP_UGT: pred = "ugt"; break; 8386e6b1805dae72803fbfe45f9aee2ab9ebfb4ec77Chris Lattner case ICmpInst::ICMP_UGE: pred = "uge"; break; 8396e6b1805dae72803fbfe45f9aee2ab9ebfb4ec77Chris Lattner case ICmpInst::ICMP_ULT: pred = "ult"; break; 8406e6b1805dae72803fbfe45f9aee2ab9ebfb4ec77Chris Lattner case ICmpInst::ICMP_ULE: pred = "ule"; break; 84181dfeb3264d3c1f619c3f73046ded1ac6883e59dReid Spencer } 84281dfeb3264d3c1f619c3f73046ded1ac6883e59dReid Spencer return pred; 84381dfeb3264d3c1f619c3f73046ded1ac6883e59dReid Spencer} 84481dfeb3264d3c1f619c3f73046ded1ac6883e59dReid Spencer 845320671d2654a543bbeed5b62efe165430146d55eDevang Patel 8461220e10f70f89e0f8082344646d79805edf9025dDan Gohmanstatic void WriteOptimizationInfo(raw_ostream &Out, const User *U) { 8471224c386981f7948f298ed9ad444c40609570f2eDan Gohman if (const OverflowingBinaryOperator *OBO = 8481224c386981f7948f298ed9ad444c40609570f2eDan Gohman dyn_cast<OverflowingBinaryOperator>(U)) { 8495078f84c82814e4d33846f9ef54281619d362f8aDan Gohman if (OBO->hasNoUnsignedWrap()) 85059858cf7926702596cf708daf21aeaf5b6feedf8Dan Gohman Out << " nuw"; 8515078f84c82814e4d33846f9ef54281619d362f8aDan Gohman if (OBO->hasNoSignedWrap()) 85259858cf7926702596cf708daf21aeaf5b6feedf8Dan Gohman Out << " nsw"; 85335bda8914c0d1c02a6f90f42e7810c83150737e1Chris Lattner } else if (const PossiblyExactOperator *Div = 85435bda8914c0d1c02a6f90f42e7810c83150737e1Chris Lattner dyn_cast<PossiblyExactOperator>(U)) { 8551224c386981f7948f298ed9ad444c40609570f2eDan Gohman if (Div->isExact()) 85659858cf7926702596cf708daf21aeaf5b6feedf8Dan Gohman Out << " exact"; 857dd8004dc73d091ccb3927dbbc3b41639a3738ae3Dan Gohman } else if (const GEPOperator *GEP = dyn_cast<GEPOperator>(U)) { 858dd8004dc73d091ccb3927dbbc3b41639a3738ae3Dan Gohman if (GEP->isInBounds()) 859dd8004dc73d091ccb3927dbbc3b41639a3738ae3Dan Gohman Out << " inbounds"; 8601224c386981f7948f298ed9ad444c40609570f2eDan Gohman } 8611224c386981f7948f298ed9ad444c40609570f2eDan Gohman} 8621224c386981f7948f298ed9ad444c40609570f2eDan Gohman 86340cf12fe775e0a689427f3c8779d8b6447bab3caDan Gohmanstatic void WriteConstantInternal(raw_ostream &Out, const Constant *CV, 86440cf12fe775e0a689427f3c8779d8b6447bab3caDan Gohman TypePrinting &TypePrinter, 8653bdfbf5d56d52fc4c390df77f98ba2c46951b51aDan Gohman SlotTracker *Machine, 8663bdfbf5d56d52fc4c390df77f98ba2c46951b51aDan Gohman const Module *Context) { 8676b6b6ef1677fa71b1072c2911b4c1f9524a558c9Zhou Sheng if (const ConstantInt *CI = dyn_cast<ConstantInt>(CV)) { 868b0bc6c361da9009e8414efde317d9bbff755f6c0Duncan Sands if (CI->getType()->isIntegerTy(1)) { 869579dca12c2cfd60bc18aaadbd5331897d48fec29Reid Spencer Out << (CI->getZExtValue() ? "true" : "false"); 870fad86b003a839cef40ec8ce8408322f4913368caChris Lattner return; 871fad86b003a839cef40ec8ce8408322f4913368caChris Lattner } 872fad86b003a839cef40ec8ce8408322f4913368caChris Lattner Out << CI->getValue(); 873fad86b003a839cef40ec8ce8408322f4913368caChris Lattner return; 874fad86b003a839cef40ec8ce8408322f4913368caChris Lattner } 875a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar 876fad86b003a839cef40ec8ce8408322f4913368caChris Lattner if (const ConstantFP *CFP = dyn_cast<ConstantFP>(CV)) { 8779d5f45607793052bf5b4436d1b43013fab9999acDale Johannesen if (&CFP->getValueAPF().getSemantics() == &APFloat::IEEEdouble || 8789d5f45607793052bf5b4436d1b43013fab9999acDale Johannesen &CFP->getValueAPF().getSemantics() == &APFloat::IEEEsingle) { 8799d5f45607793052bf5b4436d1b43013fab9999acDale Johannesen // We would like to output the FP constant value in exponential notation, 8809d5f45607793052bf5b4436d1b43013fab9999acDale Johannesen // but we cannot do this if doing so will lose precision. Check here to 8819d5f45607793052bf5b4436d1b43013fab9999acDale Johannesen // make sure that we only output it in exponential format if we can parse 8829d5f45607793052bf5b4436d1b43013fab9999acDale Johannesen // the value back and get the same value. 8839d5f45607793052bf5b4436d1b43013fab9999acDale Johannesen // 884541ed9fd02ea48d2739f4a9dd681ba2d5da26886Dale Johannesen bool ignored; 8859d5f45607793052bf5b4436d1b43013fab9999acDale Johannesen bool isDouble = &CFP->getValueAPF().getSemantics()==&APFloat::IEEEdouble; 886fad86b003a839cef40ec8ce8408322f4913368caChris Lattner double Val = isDouble ? CFP->getValueAPF().convertToDouble() : 887fad86b003a839cef40ec8ce8408322f4913368caChris Lattner CFP->getValueAPF().convertToFloat(); 8885908839cedfa4cfb3b7a89db01f987c47e64aa90Benjamin Kramer SmallString<128> StrVal; 8895908839cedfa4cfb3b7a89db01f987c47e64aa90Benjamin Kramer raw_svector_ostream(StrVal) << Val; 8909d5f45607793052bf5b4436d1b43013fab9999acDale Johannesen 8919d5f45607793052bf5b4436d1b43013fab9999acDale Johannesen // Check to make sure that the stringized number is not some string like 8929d5f45607793052bf5b4436d1b43013fab9999acDale Johannesen // "Inf" or NaN, that atof will accept, but the lexer will not. Check 8939d5f45607793052bf5b4436d1b43013fab9999acDale Johannesen // that the string matches the "[-+]?[0-9]" regex. 8949d5f45607793052bf5b4436d1b43013fab9999acDale Johannesen // 8959d5f45607793052bf5b4436d1b43013fab9999acDale Johannesen if ((StrVal[0] >= '0' && StrVal[0] <= '9') || 8969d5f45607793052bf5b4436d1b43013fab9999acDale Johannesen ((StrVal[0] == '-' || StrVal[0] == '+') && 8979d5f45607793052bf5b4436d1b43013fab9999acDale Johannesen (StrVal[1] >= '0' && StrVal[1] <= '9'))) { 8989d5f45607793052bf5b4436d1b43013fab9999acDale Johannesen // Reparse stringized version! 8999d5f45607793052bf5b4436d1b43013fab9999acDale Johannesen if (atof(StrVal.c_str()) == Val) { 9005908839cedfa4cfb3b7a89db01f987c47e64aa90Benjamin Kramer Out << StrVal.str(); 9019d5f45607793052bf5b4436d1b43013fab9999acDale Johannesen return; 9029d5f45607793052bf5b4436d1b43013fab9999acDale Johannesen } 90366e810be9f97fa744ca949d54b5d54358add84b8Chris Lattner } 9049d5f45607793052bf5b4436d1b43013fab9999acDale Johannesen // Otherwise we could not reparse it to exactly the same value, so we must 905541ed9fd02ea48d2739f4a9dd681ba2d5da26886Dale Johannesen // output the string in hexadecimal format! Note that loading and storing 906541ed9fd02ea48d2739f4a9dd681ba2d5da26886Dale Johannesen // floating point types changes the bits of NaNs on some hosts, notably 907541ed9fd02ea48d2739f4a9dd681ba2d5da26886Dale Johannesen // x86, so we must not use these types. 9089d5f45607793052bf5b4436d1b43013fab9999acDale Johannesen assert(sizeof(double) == sizeof(uint64_t) && 9099d5f45607793052bf5b4436d1b43013fab9999acDale Johannesen "assuming that double is 64 bits!"); 910c6a1346d7c6bb761f9e6c2c85b53febba1cb15dbChris Lattner char Buffer[40]; 911541ed9fd02ea48d2739f4a9dd681ba2d5da26886Dale Johannesen APFloat apf = CFP->getValueAPF(); 912541ed9fd02ea48d2739f4a9dd681ba2d5da26886Dale Johannesen // Floats are represented in ASCII IR as double, convert. 913541ed9fd02ea48d2739f4a9dd681ba2d5da26886Dale Johannesen if (!isDouble) 914a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar apf.convert(APFloat::IEEEdouble, APFloat::rmNearestTiesToEven, 915541ed9fd02ea48d2739f4a9dd681ba2d5da26886Dale Johannesen &ignored); 916a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar Out << "0x" << 917a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar utohex_buffer(uint64_t(apf.bitcastToAPInt().getZExtValue()), 918541ed9fd02ea48d2739f4a9dd681ba2d5da26886Dale Johannesen Buffer+40); 919cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner return; 920cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner } 921a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar 922cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner // Some form of long double. These appear as a magic letter identifying 923cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner // the type, then a fixed number of hex digits. 924cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner Out << "0x"; 9251b25cb2416c46a6cebf2a6c52235e9fe46a10d11Dale Johannesen if (&CFP->getValueAPF().getSemantics() == &APFloat::x87DoubleExtended) { 926cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner Out << 'K'; 9271b25cb2416c46a6cebf2a6c52235e9fe46a10d11Dale Johannesen // api needed to prevent premature destruction 9281b25cb2416c46a6cebf2a6c52235e9fe46a10d11Dale Johannesen APInt api = CFP->getValueAPF().bitcastToAPInt(); 9291b25cb2416c46a6cebf2a6c52235e9fe46a10d11Dale Johannesen const uint64_t* p = api.getRawData(); 9301b25cb2416c46a6cebf2a6c52235e9fe46a10d11Dale Johannesen uint64_t word = p[1]; 9311b25cb2416c46a6cebf2a6c52235e9fe46a10d11Dale Johannesen int shiftcount=12; 9321b25cb2416c46a6cebf2a6c52235e9fe46a10d11Dale Johannesen int width = api.getBitWidth(); 9331b25cb2416c46a6cebf2a6c52235e9fe46a10d11Dale Johannesen for (int j=0; j<width; j+=4, shiftcount-=4) { 9341b25cb2416c46a6cebf2a6c52235e9fe46a10d11Dale Johannesen unsigned int nibble = (word>>shiftcount) & 15; 9351b25cb2416c46a6cebf2a6c52235e9fe46a10d11Dale Johannesen if (nibble < 10) 9361b25cb2416c46a6cebf2a6c52235e9fe46a10d11Dale Johannesen Out << (unsigned char)(nibble + '0'); 9371b25cb2416c46a6cebf2a6c52235e9fe46a10d11Dale Johannesen else 9381b25cb2416c46a6cebf2a6c52235e9fe46a10d11Dale Johannesen Out << (unsigned char)(nibble - 10 + 'A'); 9391b25cb2416c46a6cebf2a6c52235e9fe46a10d11Dale Johannesen if (shiftcount == 0 && j+4 < width) { 9401b25cb2416c46a6cebf2a6c52235e9fe46a10d11Dale Johannesen word = *p; 9411b25cb2416c46a6cebf2a6c52235e9fe46a10d11Dale Johannesen shiftcount = 64; 9421b25cb2416c46a6cebf2a6c52235e9fe46a10d11Dale Johannesen if (width-j-4 < 64) 9431b25cb2416c46a6cebf2a6c52235e9fe46a10d11Dale Johannesen shiftcount = width-j-4; 9441b25cb2416c46a6cebf2a6c52235e9fe46a10d11Dale Johannesen } 9451b25cb2416c46a6cebf2a6c52235e9fe46a10d11Dale Johannesen } 9461b25cb2416c46a6cebf2a6c52235e9fe46a10d11Dale Johannesen return; 9471b25cb2416c46a6cebf2a6c52235e9fe46a10d11Dale Johannesen } else if (&CFP->getValueAPF().getSemantics() == &APFloat::IEEEquad) 948cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner Out << 'L'; 949cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner else if (&CFP->getValueAPF().getSemantics() == &APFloat::PPCDoubleDouble) 950cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner Out << 'M'; 951cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner else 952c23197a26f34f559ea9797de51e187087c039c42Torok Edwin llvm_unreachable("Unsupported floating point type"); 953cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner // api needed to prevent premature destruction 9547111b02c734c992b8c97d9918118768026dad79eDale Johannesen APInt api = CFP->getValueAPF().bitcastToAPInt(); 955cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner const uint64_t* p = api.getRawData(); 956cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner uint64_t word = *p; 957cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner int shiftcount=60; 958cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner int width = api.getBitWidth(); 959cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner for (int j=0; j<width; j+=4, shiftcount-=4) { 960cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner unsigned int nibble = (word>>shiftcount) & 15; 961cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner if (nibble < 10) 962cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner Out << (unsigned char)(nibble + '0'); 9639d5f45607793052bf5b4436d1b43013fab9999acDale Johannesen else 964cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner Out << (unsigned char)(nibble - 10 + 'A'); 965cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner if (shiftcount == 0 && j+4 < width) { 966cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner word = *(++p); 967cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner shiftcount = 64; 968cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner if (width-j-4 < 64) 969cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner shiftcount = width-j-4; 9709d5f45607793052bf5b4436d1b43013fab9999acDale Johannesen } 9719d5f45607793052bf5b4436d1b43013fab9999acDale Johannesen } 972cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner return; 973cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner } 974a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar 975cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner if (isa<ConstantAggregateZero>(CV)) { 976de512b5b2edebe9c9021a92c7c7a9ae9fbc380d6Chris Lattner Out << "zeroinitializer"; 977cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner return; 978cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner } 97973050e1c383100d879597f5d4ef8260bb1d6f07cChris Lattner 98073050e1c383100d879597f5d4ef8260bb1d6f07cChris Lattner if (const BlockAddress *BA = dyn_cast<BlockAddress>(CV)) { 98173050e1c383100d879597f5d4ef8260bb1d6f07cChris Lattner Out << "blockaddress("; 9823bdfbf5d56d52fc4c390df77f98ba2c46951b51aDan Gohman WriteAsOperandInternal(Out, BA->getFunction(), &TypePrinter, Machine, 9833bdfbf5d56d52fc4c390df77f98ba2c46951b51aDan Gohman Context); 98473050e1c383100d879597f5d4ef8260bb1d6f07cChris Lattner Out << ", "; 9853bdfbf5d56d52fc4c390df77f98ba2c46951b51aDan Gohman WriteAsOperandInternal(Out, BA->getBasicBlock(), &TypePrinter, Machine, 9863bdfbf5d56d52fc4c390df77f98ba2c46951b51aDan Gohman Context); 98773050e1c383100d879597f5d4ef8260bb1d6f07cChris Lattner Out << ")"; 98873050e1c383100d879597f5d4ef8260bb1d6f07cChris Lattner return; 98973050e1c383100d879597f5d4ef8260bb1d6f07cChris Lattner } 990a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar 991cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner if (const ConstantArray *CA = dyn_cast<ConstantArray>(CV)) { 99266e810be9f97fa744ca949d54b5d54358add84b8Chris Lattner // As a special case, print the array as a string if it is an array of 9939b38d7db6d9fbb5bf9d16bec590a17c5895453e1Dan Gohman // i8 with ConstantInt values. 994fd93908ae8b9684fe71c239e3c6cfe13ff6a2663Misha Brukman // 99566e810be9f97fa744ca949d54b5d54358add84b8Chris Lattner const Type *ETy = CA->getType()->getElementType(); 99618365506ebe3e28593cb36951f17f08e75712a29Chris Lattner if (CA->isString()) { 99766e810be9f97fa744ca949d54b5d54358add84b8Chris Lattner Out << "c\""; 99818365506ebe3e28593cb36951f17f08e75712a29Chris Lattner PrintEscapedString(CA->getAsString(), Out); 999cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner Out << '"'; 100066e810be9f97fa744ca949d54b5d54358add84b8Chris Lattner } else { // Cannot output in string format... 100140c732cc52a5c71cead461646667ef5b13801923Misha Brukman Out << '['; 10027a716addedc4938fa0ec6b77e5eeaced6eafc5d0Chris Lattner if (CA->getNumOperands()) { 10030f7364b4aa15263827af49d046fd6147ac769eefChris Lattner TypePrinter.print(ETy, Out); 10048dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman Out << ' '; 10057a716addedc4938fa0ec6b77e5eeaced6eafc5d0Chris Lattner WriteAsOperandInternal(Out, CA->getOperand(0), 10063bdfbf5d56d52fc4c390df77f98ba2c46951b51aDan Gohman &TypePrinter, Machine, 10073bdfbf5d56d52fc4c390df77f98ba2c46951b51aDan Gohman Context); 10087a716addedc4938fa0ec6b77e5eeaced6eafc5d0Chris Lattner for (unsigned i = 1, e = CA->getNumOperands(); i != e; ++i) { 10097a716addedc4938fa0ec6b77e5eeaced6eafc5d0Chris Lattner Out << ", "; 10100f7364b4aa15263827af49d046fd6147ac769eefChris Lattner TypePrinter.print(ETy, Out); 10118dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman Out << ' '; 10123bdfbf5d56d52fc4c390df77f98ba2c46951b51aDan Gohman WriteAsOperandInternal(Out, CA->getOperand(i), &TypePrinter, Machine, 10133bdfbf5d56d52fc4c390df77f98ba2c46951b51aDan Gohman Context); 10147a716addedc4938fa0ec6b77e5eeaced6eafc5d0Chris Lattner } 10157a716addedc4938fa0ec6b77e5eeaced6eafc5d0Chris Lattner } 10168dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman Out << ']'; 10177a716addedc4938fa0ec6b77e5eeaced6eafc5d0Chris Lattner } 1018cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner return; 1019cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner } 1020a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar 1021cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner if (const ConstantStruct *CS = dyn_cast<ConstantStruct>(CV)) { 102243f344a26695ba85a1a0b5407c038d9c3f980327Andrew Lenharth if (CS->getType()->isPacked()) 102343f344a26695ba85a1a0b5407c038d9c3f980327Andrew Lenharth Out << '<'; 102440c732cc52a5c71cead461646667ef5b13801923Misha Brukman Out << '{'; 1025a3f332bdc3e8fd1ac78dd3dc868d871e9086c5fdJim Laskey unsigned N = CS->getNumOperands(); 1026a3f332bdc3e8fd1ac78dd3dc868d871e9086c5fdJim Laskey if (N) { 1027242330371b2b7ab9d5a6c4f5f93ec82c514cc09aChris Lattner Out << ' '; 10280f7364b4aa15263827af49d046fd6147ac769eefChris Lattner TypePrinter.print(CS->getOperand(0)->getType(), Out); 10298dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman Out << ' '; 10307a716addedc4938fa0ec6b77e5eeaced6eafc5d0Chris Lattner 10313bdfbf5d56d52fc4c390df77f98ba2c46951b51aDan Gohman WriteAsOperandInternal(Out, CS->getOperand(0), &TypePrinter, Machine, 10323bdfbf5d56d52fc4c390df77f98ba2c46951b51aDan Gohman Context); 10337a716addedc4938fa0ec6b77e5eeaced6eafc5d0Chris Lattner 1034a3f332bdc3e8fd1ac78dd3dc868d871e9086c5fdJim Laskey for (unsigned i = 1; i < N; i++) { 10357a716addedc4938fa0ec6b77e5eeaced6eafc5d0Chris Lattner Out << ", "; 10360f7364b4aa15263827af49d046fd6147ac769eefChris Lattner TypePrinter.print(CS->getOperand(i)->getType(), Out); 10378dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman Out << ' '; 10387a716addedc4938fa0ec6b77e5eeaced6eafc5d0Chris Lattner 10393bdfbf5d56d52fc4c390df77f98ba2c46951b51aDan Gohman WriteAsOperandInternal(Out, CS->getOperand(i), &TypePrinter, Machine, 10403bdfbf5d56d52fc4c390df77f98ba2c46951b51aDan Gohman Context); 10417a716addedc4938fa0ec6b77e5eeaced6eafc5d0Chris Lattner } 10428dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman Out << ' '; 10437a716addedc4938fa0ec6b77e5eeaced6eafc5d0Chris Lattner } 1044a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar 10458dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman Out << '}'; 104643f344a26695ba85a1a0b5407c038d9c3f980327Andrew Lenharth if (CS->getType()->isPacked()) 104743f344a26695ba85a1a0b5407c038d9c3f980327Andrew Lenharth Out << '>'; 1048cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner return; 1049cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner } 1050a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar 1051cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner if (const ConstantVector *CP = dyn_cast<ConstantVector>(CV)) { 1052cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner const Type *ETy = CP->getType()->getElementType(); 1053cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner assert(CP->getNumOperands() > 0 && 1054cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner "Number of operands for a PackedConst must be > 0"); 10557dfa07f794a5dd4479e80896ef626bbe69455908Dan Gohman Out << '<'; 10560f7364b4aa15263827af49d046fd6147ac769eefChris Lattner TypePrinter.print(ETy, Out); 10578dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman Out << ' '; 10583bdfbf5d56d52fc4c390df77f98ba2c46951b51aDan Gohman WriteAsOperandInternal(Out, CP->getOperand(0), &TypePrinter, Machine, 10593bdfbf5d56d52fc4c390df77f98ba2c46951b51aDan Gohman Context); 1060cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner for (unsigned i = 1, e = CP->getNumOperands(); i != e; ++i) { 10614667b71f9380afad56cbdc1fd19ca32334086d2cChris Lattner Out << ", "; 10620f7364b4aa15263827af49d046fd6147ac769eefChris Lattner TypePrinter.print(ETy, Out); 10638dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman Out << ' '; 10643bdfbf5d56d52fc4c390df77f98ba2c46951b51aDan Gohman WriteAsOperandInternal(Out, CP->getOperand(i), &TypePrinter, Machine, 10653bdfbf5d56d52fc4c390df77f98ba2c46951b51aDan Gohman Context); 1066cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner } 10677dfa07f794a5dd4479e80896ef626bbe69455908Dan Gohman Out << '>'; 1068cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner return; 1069cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner } 1070a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar 1071cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner if (isa<ConstantPointerNull>(CV)) { 10727a716addedc4938fa0ec6b77e5eeaced6eafc5d0Chris Lattner Out << "null"; 1073cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner return; 1074cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner } 1075a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar 1076cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner if (isa<UndefValue>(CV)) { 1077b976e668165e1875a8f1eb7af800e33bb1e4393dChris Lattner Out << "undef"; 1078cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner return; 1079cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner } 1080a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar 1081cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner if (const ConstantExpr *CE = dyn_cast<ConstantExpr>(CV)) { 108281dfeb3264d3c1f619c3f73046ded1ac6883e59dReid Spencer Out << CE->getOpcodeName(); 108359858cf7926702596cf708daf21aeaf5b6feedf8Dan Gohman WriteOptimizationInfo(Out, CE); 108481dfeb3264d3c1f619c3f73046ded1ac6883e59dReid Spencer if (CE->isCompare()) 1085cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner Out << ' ' << getPredicateText(CE->getPredicate()); 108681dfeb3264d3c1f619c3f73046ded1ac6883e59dReid Spencer Out << " ("; 1087fd93908ae8b9684fe71c239e3c6cfe13ff6a2663Misha Brukman 1088b4dbb4445c67fc46e56765035c2787028a66a614Vikram S. Adve for (User::const_op_iterator OI=CE->op_begin(); OI != CE->op_end(); ++OI) { 10890f7364b4aa15263827af49d046fd6147ac769eefChris Lattner TypePrinter.print((*OI)->getType(), Out); 10908dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman Out << ' '; 10913bdfbf5d56d52fc4c390df77f98ba2c46951b51aDan Gohman WriteAsOperandInternal(Out, *OI, &TypePrinter, Machine, Context); 1092b4dbb4445c67fc46e56765035c2787028a66a614Vikram S. Adve if (OI+1 != CE->op_end()) 1093c188eeb08c873da142a47398be6c405ce3f34f51Chris Lattner Out << ", "; 1094b4dbb4445c67fc46e56765035c2787028a66a614Vikram S. Adve } 1095fd93908ae8b9684fe71c239e3c6cfe13ff6a2663Misha Brukman 1096995be7d07a0ed1f70a93b2a2e7f445461162e8a5Dan Gohman if (CE->hasIndices()) { 1097d30aa5a1edac5256573e8d76dd155df3d3fdec84Jay Foad ArrayRef<unsigned> Indices = CE->getIndices(); 1098995be7d07a0ed1f70a93b2a2e7f445461162e8a5Dan Gohman for (unsigned i = 0, e = Indices.size(); i != e; ++i) 1099995be7d07a0ed1f70a93b2a2e7f445461162e8a5Dan Gohman Out << ", " << Indices[i]; 1100995be7d07a0ed1f70a93b2a2e7f445461162e8a5Dan Gohman } 1101995be7d07a0ed1f70a93b2a2e7f445461162e8a5Dan Gohman 11023da59db637a887474c1b1346c1f3ccf53b6c4663Reid Spencer if (CE->isCast()) { 110395586b8c833aeca112907e69f545a6ea6e2103ffChris Lattner Out << " to "; 11040f7364b4aa15263827af49d046fd6147ac769eefChris Lattner TypePrinter.print(CE->getType(), Out); 110595586b8c833aeca112907e69f545a6ea6e2103ffChris Lattner } 11063da59db637a887474c1b1346c1f3ccf53b6c4663Reid Spencer 110740c732cc52a5c71cead461646667ef5b13801923Misha Brukman Out << ')'; 1108cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner return; 11097a716addedc4938fa0ec6b77e5eeaced6eafc5d0Chris Lattner } 1110a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar 1111cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner Out << "<placeholder or erroneous Constant>"; 11127a716addedc4938fa0ec6b77e5eeaced6eafc5d0Chris Lattner} 11137a716addedc4938fa0ec6b77e5eeaced6eafc5d0Chris Lattner 111485b1912dba48177e4ce65c2909c7cbee86eda59cChris Lattnerstatic void WriteMDNodeBodyInternal(raw_ostream &Out, const MDNode *Node, 111585b1912dba48177e4ce65c2909c7cbee86eda59cChris Lattner TypePrinting *TypePrinter, 11163bdfbf5d56d52fc4c390df77f98ba2c46951b51aDan Gohman SlotTracker *Machine, 11173bdfbf5d56d52fc4c390df77f98ba2c46951b51aDan Gohman const Module *Context) { 111885b1912dba48177e4ce65c2909c7cbee86eda59cChris Lattner Out << "!{"; 111985b1912dba48177e4ce65c2909c7cbee86eda59cChris Lattner for (unsigned mi = 0, me = Node->getNumOperands(); mi != me; ++mi) { 112085b1912dba48177e4ce65c2909c7cbee86eda59cChris Lattner const Value *V = Node->getOperand(mi); 112185b1912dba48177e4ce65c2909c7cbee86eda59cChris Lattner if (V == 0) 112285b1912dba48177e4ce65c2909c7cbee86eda59cChris Lattner Out << "null"; 112385b1912dba48177e4ce65c2909c7cbee86eda59cChris Lattner else { 112485b1912dba48177e4ce65c2909c7cbee86eda59cChris Lattner TypePrinter->print(V->getType(), Out); 112585b1912dba48177e4ce65c2909c7cbee86eda59cChris Lattner Out << ' '; 112685b1912dba48177e4ce65c2909c7cbee86eda59cChris Lattner WriteAsOperandInternal(Out, Node->getOperand(mi), 11273bdfbf5d56d52fc4c390df77f98ba2c46951b51aDan Gohman TypePrinter, Machine, Context); 112885b1912dba48177e4ce65c2909c7cbee86eda59cChris Lattner } 112985b1912dba48177e4ce65c2909c7cbee86eda59cChris Lattner if (mi + 1 != me) 113085b1912dba48177e4ce65c2909c7cbee86eda59cChris Lattner Out << ", "; 113185b1912dba48177e4ce65c2909c7cbee86eda59cChris Lattner } 113285b1912dba48177e4ce65c2909c7cbee86eda59cChris Lattner 113385b1912dba48177e4ce65c2909c7cbee86eda59cChris Lattner Out << "}"; 113485b1912dba48177e4ce65c2909c7cbee86eda59cChris Lattner} 113585b1912dba48177e4ce65c2909c7cbee86eda59cChris Lattner 11367a716addedc4938fa0ec6b77e5eeaced6eafc5d0Chris Lattner 1137ab5c6003d23c19d23bbff1054900d208c55e0188Misha Brukman/// WriteAsOperand - Write the name of the specified value out to the specified 1138ab5c6003d23c19d23bbff1054900d208c55e0188Misha Brukman/// ostream. This can be useful when you just want to print int %reg126, not 1139ab5c6003d23c19d23bbff1054900d208c55e0188Misha Brukman/// the whole instruction that generated it. 1140ab5c6003d23c19d23bbff1054900d208c55e0188Misha Brukman/// 11411220e10f70f89e0f8082344646d79805edf9025dDan Gohmanstatic void WriteAsOperandInternal(raw_ostream &Out, const Value *V, 1142d6c0f65b532f022e584d8f1e3c044593b4c74a99Dan Gohman TypePrinting *TypePrinter, 11433bdfbf5d56d52fc4c390df77f98ba2c46951b51aDan Gohman SlotTracker *Machine, 11443bdfbf5d56d52fc4c390df77f98ba2c46951b51aDan Gohman const Module *Context) { 1145c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner if (V->hasName()) { 1146c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner PrintLLVMName(Out, V); 1147c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner return; 1148c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner } 1149a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar 1150c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner const Constant *CV = dyn_cast<Constant>(V); 1151c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner if (CV && !isa<GlobalValue>(CV)) { 1152d6c0f65b532f022e584d8f1e3c044593b4c74a99Dan Gohman assert(TypePrinter && "Constants require TypePrinting!"); 11533bdfbf5d56d52fc4c390df77f98ba2c46951b51aDan Gohman WriteConstantInternal(Out, CV, *TypePrinter, Machine, Context); 1154cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner return; 1155cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner } 1156a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar 1157cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner if (const InlineAsm *IA = dyn_cast<InlineAsm>(V)) { 1158c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner Out << "asm "; 1159c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner if (IA->hasSideEffects()) 1160c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner Out << "sideeffect "; 11618ba2d5befc05ca73d3bac8708819bbbe759e2cf9Dale Johannesen if (IA->isAlignStack()) 11628ba2d5befc05ca73d3bac8708819bbbe759e2cf9Dale Johannesen Out << "alignstack "; 1163c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner Out << '"'; 1164c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner PrintEscapedString(IA->getAsmString(), Out); 1165c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner Out << "\", \""; 1166c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner PrintEscapedString(IA->getConstraintString(), Out); 1167c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner Out << '"'; 1168cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner return; 1169cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner } 1170e54abc90fe9942ef3902040a7ac475ce0c369dc9Devang Patel 1171104cf9e02b0ed94d4173869a598af6c6972a8660Devang Patel if (const MDNode *N = dyn_cast<MDNode>(V)) { 11725d3016215075c52766711e741ce5401ee891d4acVictor Hernandez if (N->isFunctionLocal()) { 117397e2450de2ee50f51e42317d91a40b6d5ae65d0cVictor Hernandez // Print metadata inline, not via slot reference number. 11743bdfbf5d56d52fc4c390df77f98ba2c46951b51aDan Gohman WriteMDNodeBodyInternal(Out, N, TypePrinter, Machine, Context); 117597e2450de2ee50f51e42317d91a40b6d5ae65d0cVictor Hernandez return; 117697e2450de2ee50f51e42317d91a40b6d5ae65d0cVictor Hernandez } 117797e2450de2ee50f51e42317d91a40b6d5ae65d0cVictor Hernandez 11783bdfbf5d56d52fc4c390df77f98ba2c46951b51aDan Gohman if (!Machine) { 11793bdfbf5d56d52fc4c390df77f98ba2c46951b51aDan Gohman if (N->isFunctionLocal()) 11803bdfbf5d56d52fc4c390df77f98ba2c46951b51aDan Gohman Machine = new SlotTracker(N->getFunction()); 11813bdfbf5d56d52fc4c390df77f98ba2c46951b51aDan Gohman else 11823bdfbf5d56d52fc4c390df77f98ba2c46951b51aDan Gohman Machine = new SlotTracker(Context); 11833bdfbf5d56d52fc4c390df77f98ba2c46951b51aDan Gohman } 11843da076ffefafd09c01764d4094dd61cd7c79735aDan Gohman int Slot = Machine->getMetadataSlot(N); 11853da076ffefafd09c01764d4094dd61cd7c79735aDan Gohman if (Slot == -1) 11863da076ffefafd09c01764d4094dd61cd7c79735aDan Gohman Out << "<badref>"; 11873da076ffefafd09c01764d4094dd61cd7c79735aDan Gohman else 11883da076ffefafd09c01764d4094dd61cd7c79735aDan Gohman Out << '!' << Slot; 1189104cf9e02b0ed94d4173869a598af6c6972a8660Devang Patel return; 1190104cf9e02b0ed94d4173869a598af6c6972a8660Devang Patel } 1191104cf9e02b0ed94d4173869a598af6c6972a8660Devang Patel 1192e54abc90fe9942ef3902040a7ac475ce0c369dc9Devang Patel if (const MDString *MDS = dyn_cast<MDString>(V)) { 1193e54abc90fe9942ef3902040a7ac475ce0c369dc9Devang Patel Out << "!\""; 119403d7651c3652e1f0cc86e79b26585d86818da9cfDaniel Dunbar PrintEscapedString(MDS->getString(), Out); 1195e54abc90fe9942ef3902040a7ac475ce0c369dc9Devang Patel Out << '"'; 1196e54abc90fe9942ef3902040a7ac475ce0c369dc9Devang Patel return; 1197e54abc90fe9942ef3902040a7ac475ce0c369dc9Devang Patel } 1198e54abc90fe9942ef3902040a7ac475ce0c369dc9Devang Patel 1199746d546877a354a0d94ab0bc67775d040022a2b6Evan Cheng if (V->getValueID() == Value::PseudoSourceValueVal || 1200746d546877a354a0d94ab0bc67775d040022a2b6Evan Cheng V->getValueID() == Value::FixedStackPseudoSourceValueVal) { 1201cd26ec5f3c089b3b24f80ff200e94e681eb9e1eeDan Gohman V->print(Out); 1202cd26ec5f3c089b3b24f80ff200e94e681eb9e1eeDan Gohman return; 1203cd26ec5f3c089b3b24f80ff200e94e681eb9e1eeDan Gohman } 1204cd26ec5f3c089b3b24f80ff200e94e681eb9e1eeDan Gohman 1205cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner char Prefix = '%'; 1206cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner int Slot; 1207cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner if (Machine) { 1208cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner if (const GlobalValue *GV = dyn_cast<GlobalValue>(V)) { 1209cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner Slot = Machine->getGlobalSlot(GV); 1210cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner Prefix = '@'; 1211cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner } else { 1212cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner Slot = Machine->getLocalSlot(V); 1213cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner } 1214c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner } else { 1215cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner Machine = createSlotTracker(V); 1216c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner if (Machine) { 1217c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner if (const GlobalValue *GV = dyn_cast<GlobalValue>(V)) { 1218c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner Slot = Machine->getGlobalSlot(GV); 1219c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner Prefix = '@'; 1220c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner } else { 1221c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner Slot = Machine->getLocalSlot(V); 1222c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner } 1223d6c0f65b532f022e584d8f1e3c044593b4c74a99Dan Gohman delete Machine; 122480cd11561892a639a2628d19815af0695b5dbcaaChris Lattner } else { 1225cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner Slot = -1; 12267a716addedc4938fa0ec6b77e5eeaced6eafc5d0Chris Lattner } 12277a716addedc4938fa0ec6b77e5eeaced6eafc5d0Chris Lattner } 1228a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar 1229cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner if (Slot != -1) 1230cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner Out << Prefix << Slot; 1231cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner else 1232cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner Out << "<badref>"; 12337a716addedc4938fa0ec6b77e5eeaced6eafc5d0Chris Lattner} 12347a716addedc4938fa0ec6b77e5eeaced6eafc5d0Chris Lattner 12351220e10f70f89e0f8082344646d79805edf9025dDan Gohmanvoid llvm::WriteAsOperand(raw_ostream &Out, const Value *V, 12361220e10f70f89e0f8082344646d79805edf9025dDan Gohman bool PrintType, const Module *Context) { 1237d6c0f65b532f022e584d8f1e3c044593b4c74a99Dan Gohman 1238d6c0f65b532f022e584d8f1e3c044593b4c74a99Dan Gohman // Fast path: Don't construct and populate a TypePrinting object if we 1239d6c0f65b532f022e584d8f1e3c044593b4c74a99Dan Gohman // won't be needing any types printed. 1240009fc9e5d9058a1d3b64bf5cacb29d4f0c952ca5Dan Gohman if (!PrintType && 12413bdfbf5d56d52fc4c390df77f98ba2c46951b51aDan Gohman ((!isa<Constant>(V) && !isa<MDNode>(V)) || 12423bdfbf5d56d52fc4c390df77f98ba2c46951b51aDan Gohman V->hasName() || isa<GlobalValue>(V))) { 12433bdfbf5d56d52fc4c390df77f98ba2c46951b51aDan Gohman WriteAsOperandInternal(Out, V, 0, 0, Context); 1244d6c0f65b532f022e584d8f1e3c044593b4c74a99Dan Gohman return; 1245d6c0f65b532f022e584d8f1e3c044593b4c74a99Dan Gohman } 1246d6c0f65b532f022e584d8f1e3c044593b4c74a99Dan Gohman 1247607dc6880ecfd4807de2163d37f2fa8877b7f62dChris Lattner if (Context == 0) Context = getModuleFromVal(V); 12487a716addedc4938fa0ec6b77e5eeaced6eafc5d0Chris Lattner 1249e9fa33eb6629aea72cd59560216bb6a7b8ebc689Chris Lattner TypePrinting TypePrinter; 1250413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner std::vector<const Type*> NumberedTypes; 1251413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner AddModuleTypesToPrinter(TypePrinter, NumberedTypes, Context); 12528dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman if (PrintType) { 12530f7364b4aa15263827af49d046fd6147ac769eefChris Lattner TypePrinter.print(V->getType(), Out); 12548dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman Out << ' '; 12558dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman } 1256fd93908ae8b9684fe71c239e3c6cfe13ff6a2663Misha Brukman 12573bdfbf5d56d52fc4c390df77f98ba2c46951b51aDan Gohman WriteAsOperandInternal(Out, V, &TypePrinter, 0, Context); 1258622f740a7dcf0b3520244e58b2233898fd4a46e4Chris Lattner} 1259622f740a7dcf0b3520244e58b2233898fd4a46e4Chris Lattner 1260cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattnernamespace { 1261d8c2e42aeff8bdb3ac905b4721b3d3ca1f904cfaChris Lattner 1262007377f381e253cc559db8d3c94fa89b0eb55fadChris Lattnerclass AssemblyWriter { 1263683e922d299bdfa9ec609bd58a0eed20568303f1Dan Gohman formatted_raw_ostream &Out; 12640d9574a1cd68c6e41f725c22657b8bb3f8d74117Chris Lattner SlotTracker &Machine; 1265c1824996451d5ea93864fcd34ba8ea5e5f03e368Chris Lattner const Module *TheModule; 12669cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner TypePrinting TypePrinter; 126795e5a2cc3fc55b262d2baa1cc417115dfa4a18eaChris Lattner AssemblyAnnotationWriter *AnnotationWriter; 1268413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner std::vector<const Type*> NumberedTypes; 12697d05c46d601cbb52be605019548c34286c02e3a3Chris Lattner 1270009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattnerpublic: 1271683e922d299bdfa9ec609bd58a0eed20568303f1Dan Gohman inline AssemblyWriter(formatted_raw_ostream &o, SlotTracker &Mac, 1272683e922d299bdfa9ec609bd58a0eed20568303f1Dan Gohman const Module *M, 127395e5a2cc3fc55b262d2baa1cc417115dfa4a18eaChris Lattner AssemblyAnnotationWriter *AAW) 12743168b79c1c16333d17295c44f9157c8321ec6235Devang Patel : Out(o), Machine(Mac), TheModule(M), AnnotationWriter(AAW) { 1275413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner AddModuleTypesToPrinter(TypePrinter, NumberedTypes, M); 1276009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner } 1277009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner 12786e6b1805dae72803fbfe45f9aee2ab9ebfb4ec77Chris Lattner void printMDNodeBody(const MDNode *MD); 1279fdb33564772cfbf75f2ad63eb46e252dc3c3e891Chris Lattner void printNamedMDNode(const NamedMDNode *NMD); 1280fdb33564772cfbf75f2ad63eb46e252dc3c3e891Chris Lattner 1281bd72b3201b24f6ae574b2a1949348f514fcd4c4fChris Lattner void printModule(const Module *M); 1282009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner 12832fcfdb79d0d1d2297d7aced11b567cd52494604eChris Lattner void writeOperand(const Value *Op, bool PrintType); 1284eaf42abab6d465c38891345d999255871cf03943Devang Patel void writeParamOperand(const Value *Operand, Attributes Attrs); 128566e810be9f97fa744ca949d54b5d54358add84b8Chris Lattner 12866e6b1805dae72803fbfe45f9aee2ab9ebfb4ec77Chris Lattner void writeAllMDNodes(); 12876e6b1805dae72803fbfe45f9aee2ab9ebfb4ec77Chris Lattner 128878d033e086e19e016273de014f9214aa6f3f844bReid Spencer void printTypeSymbolTable(const TypeSymbolTable &ST); 1289c1824996451d5ea93864fcd34ba8ea5e5f03e368Chris Lattner void printGlobal(const GlobalVariable *GV); 12908b0a8c84da2030ee8f4440d5b60a8033de691222Anton Korobeynikov void printAlias(const GlobalAlias *GV); 129179df7c0aaa18129e55968c8783ef8346807bd4afChris Lattner void printFunction(const Function *F); 1292eaf42abab6d465c38891345d999255871cf03943Devang Patel void printArgument(const Argument *FA, Attributes Attrs); 1293c1824996451d5ea93864fcd34ba8ea5e5f03e368Chris Lattner void printBasicBlock(const BasicBlock *BB); 12947e70829632f82de15db187845666aaca6e04b792Chris Lattner void printInstruction(const Instruction &I); 12952761e9f076bbe6c961629aece62db4b836a41ef8Chris Lattner 1296659d1e8bbbbd33c25fdbe38bad6cb166a635e516Dan Gohmanprivate: 1297e02fa8551d20081534afa46e0976811687e5183aChris Lattner // printInfoComment - Print a little comment after the instruction indicating 1298e02fa8551d20081534afa46e0976811687e5183aChris Lattner // which slot it occupies. 12997e70829632f82de15db187845666aaca6e04b792Chris Lattner void printInfoComment(const Value &V); 1300009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner}; 1301413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner} // end of anonymous namespace 1302009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner 13032fcfdb79d0d1d2297d7aced11b567cd52494604eChris Lattnervoid AssemblyWriter::writeOperand(const Value *Operand, bool PrintType) { 13042fcfdb79d0d1d2297d7aced11b567cd52494604eChris Lattner if (Operand == 0) { 1305aab1820816facf83d7bda8f01e3d85ced99601f3Chris Lattner Out << "<null operand!>"; 1306c65b72ca26cafb988a72dafa25dc5796094b74f8Chris Lattner return; 1307aab1820816facf83d7bda8f01e3d85ced99601f3Chris Lattner } 1308c65b72ca26cafb988a72dafa25dc5796094b74f8Chris Lattner if (PrintType) { 1309c65b72ca26cafb988a72dafa25dc5796094b74f8Chris Lattner TypePrinter.print(Operand->getType(), Out); 1310c65b72ca26cafb988a72dafa25dc5796094b74f8Chris Lattner Out << ' '; 1311c65b72ca26cafb988a72dafa25dc5796094b74f8Chris Lattner } 13123bdfbf5d56d52fc4c390df77f98ba2c46951b51aDan Gohman WriteAsOperandInternal(Out, Operand, &TypePrinter, &Machine, TheModule); 1313007377f381e253cc559db8d3c94fa89b0eb55fadChris Lattner} 1314007377f381e253cc559db8d3c94fa89b0eb55fadChris Lattner 1315a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbarvoid AssemblyWriter::writeParamOperand(const Value *Operand, 1316eaf42abab6d465c38891345d999255871cf03943Devang Patel Attributes Attrs) { 1317dc024674ff96820d6020757b48d47f46d4c07db2Duncan Sands if (Operand == 0) { 1318dc024674ff96820d6020757b48d47f46d4c07db2Duncan Sands Out << "<null operand!>"; 1319c65b72ca26cafb988a72dafa25dc5796094b74f8Chris Lattner return; 1320dc024674ff96820d6020757b48d47f46d4c07db2Duncan Sands } 1321c65b72ca26cafb988a72dafa25dc5796094b74f8Chris Lattner 1322c65b72ca26cafb988a72dafa25dc5796094b74f8Chris Lattner // Print the type 1323c65b72ca26cafb988a72dafa25dc5796094b74f8Chris Lattner TypePrinter.print(Operand->getType(), Out); 1324c65b72ca26cafb988a72dafa25dc5796094b74f8Chris Lattner // Print parameter attributes list 1325c65b72ca26cafb988a72dafa25dc5796094b74f8Chris Lattner if (Attrs != Attribute::None) 1326c65b72ca26cafb988a72dafa25dc5796094b74f8Chris Lattner Out << ' ' << Attribute::getAsString(Attrs); 1327c65b72ca26cafb988a72dafa25dc5796094b74f8Chris Lattner Out << ' '; 1328c65b72ca26cafb988a72dafa25dc5796094b74f8Chris Lattner // Print the operand 13293bdfbf5d56d52fc4c390df77f98ba2c46951b51aDan Gohman WriteAsOperandInternal(Out, Operand, &TypePrinter, &Machine, TheModule); 1330dc024674ff96820d6020757b48d47f46d4c07db2Duncan Sands} 1331007377f381e253cc559db8d3c94fa89b0eb55fadChris Lattner 1332c1824996451d5ea93864fcd34ba8ea5e5f03e368Chris Lattnervoid AssemblyWriter::printModule(const Module *M) { 133331ab1b3d74440908889fc8ea0615c1d397478360Chris Lattner if (!M->getModuleIdentifier().empty() && 1334fd93908ae8b9684fe71c239e3c6cfe13ff6a2663Misha Brukman // Don't print the ID if it will start a new line (which would 133531ab1b3d74440908889fc8ea0615c1d397478360Chris Lattner // require a comment char before it). 133631ab1b3d74440908889fc8ea0615c1d397478360Chris Lattner M->getModuleIdentifier().find('\n') == std::string::npos) 133731ab1b3d74440908889fc8ea0615c1d397478360Chris Lattner Out << "; ModuleID = '" << M->getModuleIdentifier() << "'\n"; 133831ab1b3d74440908889fc8ea0615c1d397478360Chris Lattner 1339cf7ff2b4c8c18d67aced9d7ba84482819b38a84bOwen Anderson if (!M->getDataLayout().empty()) 1340d2f9e609aa40de7049ebb6f838e7ba6579e3fb6aChris Lattner Out << "target datalayout = \"" << M->getDataLayout() << "\"\n"; 1341cddc86f27c822af960fc8d344a86a63fce6eab76Reid Spencer if (!M->getTargetTriple().empty()) 1342c9a1f0dcdde056a2cdbc446a9d6853684402263fReid Spencer Out << "target triple = \"" << M->getTargetTriple() << "\"\n"; 1343fd93908ae8b9684fe71c239e3c6cfe13ff6a2663Misha Brukman 1344cc041ba03aed685400197fb938b7a583713d25afChris Lattner if (!M->getModuleInlineAsm().empty()) { 134542a162ed8023088e7a4a7d81325381bd8d437bb7Chris Lattner // Split the string into lines, to make it easier to read the .ll file. 1346cc041ba03aed685400197fb938b7a583713d25afChris Lattner std::string Asm = M->getModuleInlineAsm(); 134742a162ed8023088e7a4a7d81325381bd8d437bb7Chris Lattner size_t CurPos = 0; 134842a162ed8023088e7a4a7d81325381bd8d437bb7Chris Lattner size_t NewLine = Asm.find_first_of('\n', CurPos); 13499bf0b9bd44d356690e936ae16bec2c115c7d9f5fDan Gohman Out << '\n'; 135042a162ed8023088e7a4a7d81325381bd8d437bb7Chris Lattner while (NewLine != std::string::npos) { 135142a162ed8023088e7a4a7d81325381bd8d437bb7Chris Lattner // We found a newline, print the portion of the asm string from the 135242a162ed8023088e7a4a7d81325381bd8d437bb7Chris Lattner // last newline up to this newline. 135342a162ed8023088e7a4a7d81325381bd8d437bb7Chris Lattner Out << "module asm \""; 135442a162ed8023088e7a4a7d81325381bd8d437bb7Chris Lattner PrintEscapedString(std::string(Asm.begin()+CurPos, Asm.begin()+NewLine), 135542a162ed8023088e7a4a7d81325381bd8d437bb7Chris Lattner Out); 135642a162ed8023088e7a4a7d81325381bd8d437bb7Chris Lattner Out << "\"\n"; 135742a162ed8023088e7a4a7d81325381bd8d437bb7Chris Lattner CurPos = NewLine+1; 135842a162ed8023088e7a4a7d81325381bd8d437bb7Chris Lattner NewLine = Asm.find_first_of('\n', CurPos); 135942a162ed8023088e7a4a7d81325381bd8d437bb7Chris Lattner } 136038c4e535493363b96eac47af9e7c056530137beaRafael Espindola std::string rest(Asm.begin()+CurPos, Asm.end()); 136138c4e535493363b96eac47af9e7c056530137beaRafael Espindola if (!rest.empty()) { 136238c4e535493363b96eac47af9e7c056530137beaRafael Espindola Out << "module asm \""; 136338c4e535493363b96eac47af9e7c056530137beaRafael Espindola PrintEscapedString(rest, Out); 136438c4e535493363b96eac47af9e7c056530137beaRafael Espindola Out << "\"\n"; 136538c4e535493363b96eac47af9e7c056530137beaRafael Espindola } 136618365506ebe3e28593cb36951f17f08e75712a29Chris Lattner } 1367a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar 136844da7d79760998f9a70340b49a3811229838224dChris Lattner // Loop over the dependent libraries and emit them. 1369cfe97b78e787d232f4a82f5ff0afadf75ba95f6cChris Lattner Module::lib_iterator LI = M->lib_begin(); 1370cfe97b78e787d232f4a82f5ff0afadf75ba95f6cChris Lattner Module::lib_iterator LE = M->lib_end(); 1371cddc86f27c822af960fc8d344a86a63fce6eab76Reid Spencer if (LI != LE) { 13729bf0b9bd44d356690e936ae16bec2c115c7d9f5fDan Gohman Out << '\n'; 1373cfe97b78e787d232f4a82f5ff0afadf75ba95f6cChris Lattner Out << "deplibs = [ "; 1374cfe97b78e787d232f4a82f5ff0afadf75ba95f6cChris Lattner while (LI != LE) { 137544da7d79760998f9a70340b49a3811229838224dChris Lattner Out << '"' << *LI << '"'; 1376c9a1f0dcdde056a2cdbc446a9d6853684402263fReid Spencer ++LI; 1377cfe97b78e787d232f4a82f5ff0afadf75ba95f6cChris Lattner if (LI != LE) 1378cfe97b78e787d232f4a82f5ff0afadf75ba95f6cChris Lattner Out << ", "; 1379c9a1f0dcdde056a2cdbc446a9d6853684402263fReid Spencer } 13809bf0b9bd44d356690e936ae16bec2c115c7d9f5fDan Gohman Out << " ]"; 138183f6a77c8fc27eba21bca05be37663f3a6e123a1Reid Spencer } 1382e59eaf407a675845e278c2769e3dbed9f1daae8cReid Spencer 1383413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner // Loop over the symbol table, emitting all id'd types. 13849bf0b9bd44d356690e936ae16bec2c115c7d9f5fDan Gohman if (!M->getTypeSymbolTable().empty() || !NumberedTypes.empty()) Out << '\n'; 138578d033e086e19e016273de014f9214aa6f3f844bReid Spencer printTypeSymbolTable(M->getTypeSymbolTable()); 1386fd93908ae8b9684fe71c239e3c6cfe13ff6a2663Misha Brukman 13879bf0b9bd44d356690e936ae16bec2c115c7d9f5fDan Gohman // Output all globals. 13889bf0b9bd44d356690e936ae16bec2c115c7d9f5fDan Gohman if (!M->global_empty()) Out << '\n'; 1389d6d826cdadc4dcaa5babefda85bf08aaa57d8bc5Chris Lattner for (Module::const_global_iterator I = M->global_begin(), E = M->global_end(); 1390d6d826cdadc4dcaa5babefda85bf08aaa57d8bc5Chris Lattner I != E; ++I) 13917e70829632f82de15db187845666aaca6e04b792Chris Lattner printGlobal(I); 1392a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar 139369dacfce54473414c1a863d19ab8f2785cd2a4f2Chris Lattner // Output all aliases. 139469dacfce54473414c1a863d19ab8f2785cd2a4f2Chris Lattner if (!M->alias_empty()) Out << "\n"; 139569dacfce54473414c1a863d19ab8f2785cd2a4f2Chris Lattner for (Module::const_alias_iterator I = M->alias_begin(), E = M->alias_end(); 139669dacfce54473414c1a863d19ab8f2785cd2a4f2Chris Lattner I != E; ++I) 139769dacfce54473414c1a863d19ab8f2785cd2a4f2Chris Lattner printAlias(I); 1398007377f381e253cc559db8d3c94fa89b0eb55fadChris Lattner 139944da7d79760998f9a70340b49a3811229838224dChris Lattner // Output all of the functions. 14007e70829632f82de15db187845666aaca6e04b792Chris Lattner for (Module::const_iterator I = M->begin(), E = M->end(); I != E; ++I) 14017e70829632f82de15db187845666aaca6e04b792Chris Lattner printFunction(I); 1402320671d2654a543bbeed5b62efe165430146d55eDevang Patel 140337c4a2d6f15ff32c9ae91e333d655a349e195993Devang Patel // Output named metadata. 14049bf0b9bd44d356690e936ae16bec2c115c7d9f5fDan Gohman if (!M->named_metadata_empty()) Out << '\n'; 1405fdb33564772cfbf75f2ad63eb46e252dc3c3e891Chris Lattner 140637c4a2d6f15ff32c9ae91e333d655a349e195993Devang Patel for (Module::const_named_metadata_iterator I = M->named_metadata_begin(), 14076e6b1805dae72803fbfe45f9aee2ab9ebfb4ec77Chris Lattner E = M->named_metadata_end(); I != E; ++I) 1408fdb33564772cfbf75f2ad63eb46e252dc3c3e891Chris Lattner printNamedMDNode(I); 140937c4a2d6f15ff32c9ae91e333d655a349e195993Devang Patel 141037c4a2d6f15ff32c9ae91e333d655a349e195993Devang Patel // Output metadata. 1411307c9893fc30758041a3649a8bed2b4b4cc405d4Chris Lattner if (!Machine.mdn_empty()) { 14126e6b1805dae72803fbfe45f9aee2ab9ebfb4ec77Chris Lattner Out << '\n'; 14136e6b1805dae72803fbfe45f9aee2ab9ebfb4ec77Chris Lattner writeAllMDNodes(); 14146e6b1805dae72803fbfe45f9aee2ab9ebfb4ec77Chris Lattner } 1415009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner} 1416009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner 1417fdb33564772cfbf75f2ad63eb46e252dc3c3e891Chris Lattnervoid AssemblyWriter::printNamedMDNode(const NamedMDNode *NMD) { 14189100a78bce4e1d34d8ffd5efa2cc79ed864dd1c0Nick Lewycky Out << '!'; 14199100a78bce4e1d34d8ffd5efa2cc79ed864dd1c0Nick Lewycky StringRef Name = NMD->getName(); 14209100a78bce4e1d34d8ffd5efa2cc79ed864dd1c0Nick Lewycky if (Name.empty()) { 14219100a78bce4e1d34d8ffd5efa2cc79ed864dd1c0Nick Lewycky Out << "<empty name> "; 14229100a78bce4e1d34d8ffd5efa2cc79ed864dd1c0Nick Lewycky } else { 14239100a78bce4e1d34d8ffd5efa2cc79ed864dd1c0Nick Lewycky if (isalpha(Name[0]) || Name[0] == '-' || Name[0] == '$' || 14249100a78bce4e1d34d8ffd5efa2cc79ed864dd1c0Nick Lewycky Name[0] == '.' || Name[0] == '_') 14259100a78bce4e1d34d8ffd5efa2cc79ed864dd1c0Nick Lewycky Out << Name[0]; 14269100a78bce4e1d34d8ffd5efa2cc79ed864dd1c0Nick Lewycky else 14279100a78bce4e1d34d8ffd5efa2cc79ed864dd1c0Nick Lewycky Out << '\\' << hexdigit(Name[0] >> 4) << hexdigit(Name[0] & 0x0F); 14289100a78bce4e1d34d8ffd5efa2cc79ed864dd1c0Nick Lewycky for (unsigned i = 1, e = Name.size(); i != e; ++i) { 14299100a78bce4e1d34d8ffd5efa2cc79ed864dd1c0Nick Lewycky unsigned char C = Name[i]; 14309100a78bce4e1d34d8ffd5efa2cc79ed864dd1c0Nick Lewycky if (isalnum(C) || C == '-' || C == '$' || C == '.' || C == '_') 14319100a78bce4e1d34d8ffd5efa2cc79ed864dd1c0Nick Lewycky Out << C; 14329100a78bce4e1d34d8ffd5efa2cc79ed864dd1c0Nick Lewycky else 14339100a78bce4e1d34d8ffd5efa2cc79ed864dd1c0Nick Lewycky Out << '\\' << hexdigit(C >> 4) << hexdigit(C & 0x0F); 14349100a78bce4e1d34d8ffd5efa2cc79ed864dd1c0Nick Lewycky } 14359100a78bce4e1d34d8ffd5efa2cc79ed864dd1c0Nick Lewycky } 14369100a78bce4e1d34d8ffd5efa2cc79ed864dd1c0Nick Lewycky Out << " = !{"; 1437fdb33564772cfbf75f2ad63eb46e252dc3c3e891Chris Lattner for (unsigned i = 0, e = NMD->getNumOperands(); i != e; ++i) { 1438fdb33564772cfbf75f2ad63eb46e252dc3c3e891Chris Lattner if (i) Out << ", "; 14393da076ffefafd09c01764d4094dd61cd7c79735aDan Gohman int Slot = Machine.getMetadataSlot(NMD->getOperand(i)); 14403da076ffefafd09c01764d4094dd61cd7c79735aDan Gohman if (Slot == -1) 14413da076ffefafd09c01764d4094dd61cd7c79735aDan Gohman Out << "<badref>"; 14423da076ffefafd09c01764d4094dd61cd7c79735aDan Gohman else 14433da076ffefafd09c01764d4094dd61cd7c79735aDan Gohman Out << '!' << Slot; 1444fdb33564772cfbf75f2ad63eb46e252dc3c3e891Chris Lattner } 1445fdb33564772cfbf75f2ad63eb46e252dc3c3e891Chris Lattner Out << "}\n"; 1446fdb33564772cfbf75f2ad63eb46e252dc3c3e891Chris Lattner} 1447fdb33564772cfbf75f2ad63eb46e252dc3c3e891Chris Lattner 1448fdb33564772cfbf75f2ad63eb46e252dc3c3e891Chris Lattner 1449683e922d299bdfa9ec609bd58a0eed20568303f1Dan Gohmanstatic void PrintLinkage(GlobalValue::LinkageTypes LT, 1450683e922d299bdfa9ec609bd58a0eed20568303f1Dan Gohman formatted_raw_ostream &Out) { 1451cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner switch (LT) { 14523d10a5a75794356a0a568ce283713adc3a963200Bill Wendling case GlobalValue::ExternalLinkage: break; 14533d10a5a75794356a0a568ce283713adc3a963200Bill Wendling case GlobalValue::PrivateLinkage: Out << "private "; break; 14543d10a5a75794356a0a568ce283713adc3a963200Bill Wendling case GlobalValue::LinkerPrivateLinkage: Out << "linker_private "; break; 14555e721d768254a920b78b9129d79a84c0163cb3f4Bill Wendling case GlobalValue::LinkerPrivateWeakLinkage: 14565e721d768254a920b78b9129d79a84c0163cb3f4Bill Wendling Out << "linker_private_weak "; 14575e721d768254a920b78b9129d79a84c0163cb3f4Bill Wendling break; 145855ae515f9db484125a23429d4906c5edaf9f10d2Bill Wendling case GlobalValue::LinkerPrivateWeakDefAutoLinkage: 145955ae515f9db484125a23429d4906c5edaf9f10d2Bill Wendling Out << "linker_private_weak_def_auto "; 146055ae515f9db484125a23429d4906c5edaf9f10d2Bill Wendling break; 14613d10a5a75794356a0a568ce283713adc3a963200Bill Wendling case GlobalValue::InternalLinkage: Out << "internal "; break; 14623d10a5a75794356a0a568ce283713adc3a963200Bill Wendling case GlobalValue::LinkOnceAnyLinkage: Out << "linkonce "; break; 14633d10a5a75794356a0a568ce283713adc3a963200Bill Wendling case GlobalValue::LinkOnceODRLinkage: Out << "linkonce_odr "; break; 14643d10a5a75794356a0a568ce283713adc3a963200Bill Wendling case GlobalValue::WeakAnyLinkage: Out << "weak "; break; 14653d10a5a75794356a0a568ce283713adc3a963200Bill Wendling case GlobalValue::WeakODRLinkage: Out << "weak_odr "; break; 14663d10a5a75794356a0a568ce283713adc3a963200Bill Wendling case GlobalValue::CommonLinkage: Out << "common "; break; 14673d10a5a75794356a0a568ce283713adc3a963200Bill Wendling case GlobalValue::AppendingLinkage: Out << "appending "; break; 14683d10a5a75794356a0a568ce283713adc3a963200Bill Wendling case GlobalValue::DLLImportLinkage: Out << "dllimport "; break; 14693d10a5a75794356a0a568ce283713adc3a963200Bill Wendling case GlobalValue::DLLExportLinkage: Out << "dllexport "; break; 14703d10a5a75794356a0a568ce283713adc3a963200Bill Wendling case GlobalValue::ExternalWeakLinkage: Out << "extern_weak "; break; 1471266c7bbbbcc4b326dea82e577de1a415d6acc23eChris Lattner case GlobalValue::AvailableExternallyLinkage: 1472266c7bbbbcc4b326dea82e577de1a415d6acc23eChris Lattner Out << "available_externally "; 1473266c7bbbbcc4b326dea82e577de1a415d6acc23eChris Lattner break; 1474cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner } 1475cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner} 1476667d4b8de6dea70195ff12ef39a4deebffa2f5c7Duncan Sands 1477cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner 1478cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattnerstatic void PrintVisibility(GlobalValue::VisibilityTypes Vis, 1479683e922d299bdfa9ec609bd58a0eed20568303f1Dan Gohman formatted_raw_ostream &Out) { 1480cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner switch (Vis) { 1481cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner case GlobalValue::DefaultVisibility: break; 1482cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner case GlobalValue::HiddenVisibility: Out << "hidden "; break; 1483cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner case GlobalValue::ProtectedVisibility: Out << "protected "; break; 1484cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner } 1485cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner} 1486cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner 1487c1824996451d5ea93864fcd34ba8ea5e5f03e368Chris Lattnervoid AssemblyWriter::printGlobal(const GlobalVariable *GV) { 14884483c7b15aa343bd95e3d7f800be788b77ea23f8Dan Gohman if (GV->isMaterializable()) 14894483c7b15aa343bd95e3d7f800be788b77ea23f8Dan Gohman Out << "; Materializable\n"; 14904483c7b15aa343bd95e3d7f800be788b77ea23f8Dan Gohman 14913bdfbf5d56d52fc4c390df77f98ba2c46951b51aDan Gohman WriteAsOperandInternal(Out, GV, &TypePrinter, &Machine, GV->getParent()); 14923845e50edea58edd0f5e0f2b732e0106b53ba279Dan Gohman Out << " = "; 1493d70684f7585a85c4248c1c224059478108741c70Chris Lattner 149452b26de325e32c71159376853384789b7646eaf4Chris Lattner if (!GV->hasInitializer() && GV->hasExternalLinkage()) 149552b26de325e32c71159376853384789b7646eaf4Chris Lattner Out << "external "; 1496a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar 149752b26de325e32c71159376853384789b7646eaf4Chris Lattner PrintLinkage(GV->getLinkage(), Out); 149852b26de325e32c71159376853384789b7646eaf4Chris Lattner PrintVisibility(GV->getVisibility(), Out); 1499c763552299165b88d34a7d4f2d76ff413cbc7f67Lauro Ramos Venancio 1500c763552299165b88d34a7d4f2d76ff413cbc7f67Lauro Ramos Venancio if (GV->isThreadLocal()) Out << "thread_local "; 1501df98617b23315e427cc4fad8ccfdd50d68bec2f9Chris Lattner if (unsigned AddressSpace = GV->getType()->getAddressSpace()) 1502df98617b23315e427cc4fad8ccfdd50d68bec2f9Chris Lattner Out << "addrspace(" << AddressSpace << ") "; 1503bea4626f93c830e31f82cc947df28fdae583cd09Rafael Espindola if (GV->hasUnnamedAddr()) Out << "unnamed_addr "; 15040313e0b44dcd77acd334d3f324c7da527179a690Misha Brukman Out << (GV->isConstant() ? "constant " : "global "); 15050f7364b4aa15263827af49d046fd6147ac769eefChris Lattner TypePrinter.print(GV->getType()->getElementType(), Out); 1506d70684f7585a85c4248c1c224059478108741c70Chris Lattner 15078dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman if (GV->hasInitializer()) { 15088dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman Out << ' '; 1509320671d2654a543bbeed5b62efe165430146d55eDevang Patel writeOperand(GV->getInitializer(), false); 15108dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman } 1511a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar 15128fff12605e125e264bca213e748e1ec972437a55Chris Lattner if (GV->hasSection()) { 15138fff12605e125e264bca213e748e1ec972437a55Chris Lattner Out << ", section \""; 15148fff12605e125e264bca213e748e1ec972437a55Chris Lattner PrintEscapedString(GV->getSection(), Out); 15158fff12605e125e264bca213e748e1ec972437a55Chris Lattner Out << '"'; 15168fff12605e125e264bca213e748e1ec972437a55Chris Lattner } 151760962dbfbaa4a9c3ca6fced08fb90b748aa99203Chris Lattner if (GV->getAlignment()) 151830caa2876cd500b49e27b6810ab5dec96398c6faChris Lattner Out << ", align " << GV->getAlignment(); 15198b0a8c84da2030ee8f4440d5b60a8033de691222Anton Korobeynikov 15207e70829632f82de15db187845666aaca6e04b792Chris Lattner printInfoComment(*GV); 1521cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner Out << '\n'; 152270cc3397f84c2e1fd69c059a0ef89e398e847b00Chris Lattner} 152370cc3397f84c2e1fd69c059a0ef89e398e847b00Chris Lattner 15248b0a8c84da2030ee8f4440d5b60a8033de691222Anton Korobeynikovvoid AssemblyWriter::printAlias(const GlobalAlias *GA) { 15254483c7b15aa343bd95e3d7f800be788b77ea23f8Dan Gohman if (GA->isMaterializable()) 15264483c7b15aa343bd95e3d7f800be788b77ea23f8Dan Gohman Out << "; Materializable\n"; 15274483c7b15aa343bd95e3d7f800be788b77ea23f8Dan Gohman 152824f07dc6e464aa82694fd3dd5fc88dc139d16b7cDale Johannesen // Don't crash when dumping partially built GA 152924f07dc6e464aa82694fd3dd5fc88dc139d16b7cDale Johannesen if (!GA->hasName()) 153024f07dc6e464aa82694fd3dd5fc88dc139d16b7cDale Johannesen Out << "<<nameless>> = "; 1531c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner else { 1532c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner PrintLLVMName(Out, GA); 1533c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner Out << " = "; 1534c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner } 1535cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner PrintVisibility(GA->getVisibility(), Out); 15368b0a8c84da2030ee8f4440d5b60a8033de691222Anton Korobeynikov 15378b0a8c84da2030ee8f4440d5b60a8033de691222Anton Korobeynikov Out << "alias "; 15388b0a8c84da2030ee8f4440d5b60a8033de691222Anton Korobeynikov 1539cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner PrintLinkage(GA->getLinkage(), Out); 1540a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar 1541c6c98af9e5814e8066c82f20ca11cf646a5fc289Anton Korobeynikov const Constant *Aliasee = GA->getAliasee(); 1542a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar 15438b0a8c84da2030ee8f4440d5b60a8033de691222Anton Korobeynikov if (const GlobalVariable *GV = dyn_cast<GlobalVariable>(Aliasee)) { 15440f7364b4aa15263827af49d046fd6147ac769eefChris Lattner TypePrinter.print(GV->getType(), Out); 1545c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner Out << ' '; 1546c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner PrintLLVMName(Out, GV); 15478b0a8c84da2030ee8f4440d5b60a8033de691222Anton Korobeynikov } else if (const Function *F = dyn_cast<Function>(Aliasee)) { 15480f7364b4aa15263827af49d046fd6147ac769eefChris Lattner TypePrinter.print(F->getFunctionType(), Out); 15498b0a8c84da2030ee8f4440d5b60a8033de691222Anton Korobeynikov Out << "* "; 15508b0a8c84da2030ee8f4440d5b60a8033de691222Anton Korobeynikov 15513bdfbf5d56d52fc4c390df77f98ba2c46951b51aDan Gohman WriteAsOperandInternal(Out, F, &TypePrinter, &Machine, F->getParent()); 1552591858a403a71fc5b30bc7b071f18bc0cf327cfcAnton Korobeynikov } else if (const GlobalAlias *GA = dyn_cast<GlobalAlias>(Aliasee)) { 15530f7364b4aa15263827af49d046fd6147ac769eefChris Lattner TypePrinter.print(GA->getType(), Out); 15540f7364b4aa15263827af49d046fd6147ac769eefChris Lattner Out << ' '; 1555c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner PrintLLVMName(Out, GA); 1556a80e1181b78183dc36ec6568559d38faa86981f0Anton Korobeynikov } else { 1557a2165ed6ee7f73b5cf272a0b5d5d4ed448f52665Chris Lattner const ConstantExpr *CE = cast<ConstantExpr>(Aliasee); 1558a2165ed6ee7f73b5cf272a0b5d5d4ed448f52665Chris Lattner // The only valid GEP is an all zero GEP. 1559a2165ed6ee7f73b5cf272a0b5d5d4ed448f52665Chris Lattner assert((CE->getOpcode() == Instruction::BitCast || 1560a2165ed6ee7f73b5cf272a0b5d5d4ed448f52665Chris Lattner CE->getOpcode() == Instruction::GetElementPtr) && 1561a2165ed6ee7f73b5cf272a0b5d5d4ed448f52665Chris Lattner "Unsupported aliasee"); 1562a2165ed6ee7f73b5cf272a0b5d5d4ed448f52665Chris Lattner writeOperand(CE, false); 1563a80e1181b78183dc36ec6568559d38faa86981f0Anton Korobeynikov } 1564a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar 15658b0a8c84da2030ee8f4440d5b60a8033de691222Anton Korobeynikov printInfoComment(*GA); 156652b26de325e32c71159376853384789b7646eaf4Chris Lattner Out << '\n'; 15678b0a8c84da2030ee8f4440d5b60a8033de691222Anton Korobeynikov} 15688b0a8c84da2030ee8f4440d5b60a8033de691222Anton Korobeynikov 156978d033e086e19e016273de014f9214aa6f3f844bReid Spencervoid AssemblyWriter::printTypeSymbolTable(const TypeSymbolTable &ST) { 1570413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner // Emit all numbered types. 1571413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner for (unsigned i = 0, e = NumberedTypes.size(); i != e; ++i) { 15723845e50edea58edd0f5e0f2b732e0106b53ba279Dan Gohman Out << '%' << i << " = type "; 1573a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar 1574413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner // Make sure we print out at least one level of the type structure, so 1575413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner // that we do not get %2 = type %2 1576413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner TypePrinter.printAtLeastOneLevel(NumberedTypes[i], Out); 15779bf0b9bd44d356690e936ae16bec2c115c7d9f5fDan Gohman Out << '\n'; 1578413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner } 1579a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar 1580413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner // Print the named types. 158178d033e086e19e016273de014f9214aa6f3f844bReid Spencer for (TypeSymbolTable::const_iterator TI = ST.begin(), TE = ST.end(); 158278d033e086e19e016273de014f9214aa6f3f844bReid Spencer TI != TE; ++TI) { 158303d7651c3652e1f0cc86e79b26585d86818da9cfDaniel Dunbar PrintLLVMName(Out, TI->first, LocalPrefix); 158452b26de325e32c71159376853384789b7646eaf4Chris Lattner Out << " = type "; 15859231ac8b6f2c3f9877bdb7a223f7392061258ab6Reid Spencer 15869231ac8b6f2c3f9877bdb7a223f7392061258ab6Reid Spencer // Make sure we print out at least one level of the type structure, so 15879231ac8b6f2c3f9877bdb7a223f7392061258ab6Reid Spencer // that we do not get %FILE = type %FILE 15880f7364b4aa15263827af49d046fd6147ac769eefChris Lattner TypePrinter.printAtLeastOneLevel(TI->second, Out); 1589cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner Out << '\n'; 15909231ac8b6f2c3f9877bdb7a223f7392061258ab6Reid Spencer } 159178d033e086e19e016273de014f9214aa6f3f844bReid Spencer} 159278d033e086e19e016273de014f9214aa6f3f844bReid Spencer 1593ab5c6003d23c19d23bbff1054900d208c55e0188Misha Brukman/// printFunction - Print all aspects of a function. 1594ab5c6003d23c19d23bbff1054900d208c55e0188Misha Brukman/// 15957e70829632f82de15db187845666aaca6e04b792Chris Lattnervoid AssemblyWriter::printFunction(const Function *F) { 1596cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner // Print out the return type and name. 1597cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner Out << '\n'; 15984ad02e726d9b634372b037d4b352d8b63bb9e849Chris Lattner 15990313e0b44dcd77acd334d3f324c7da527179a690Misha Brukman if (AnnotationWriter) AnnotationWriter->emitFunctionAnnot(F, Out); 160095e5a2cc3fc55b262d2baa1cc417115dfa4a18eaChris Lattner 16014483c7b15aa343bd95e3d7f800be788b77ea23f8Dan Gohman if (F->isMaterializable()) 16024483c7b15aa343bd95e3d7f800be788b77ea23f8Dan Gohman Out << "; Materializable\n"; 16034483c7b15aa343bd95e3d7f800be788b77ea23f8Dan Gohman 16045cbf985dcbc89fba3208e7baf8b6f488b06d3ec9Reid Spencer if (F->isDeclaration()) 16053aa6066d010b2ccfd58f07fb1be874becf5807c2Chris Lattner Out << "declare "; 16063aa6066d010b2ccfd58f07fb1be874becf5807c2Chris Lattner else 1607b951bc02839e9862e02e17c7ea83e6437fc13442Reid Spencer Out << "define "; 1608a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar 1609cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner PrintLinkage(F->getLinkage(), Out); 1610cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner PrintVisibility(F->getVisibility(), Out); 16114ad02e726d9b634372b037d4b352d8b63bb9e849Chris Lattner 1612d511898b581826694e6c651e23343b1e1ba5ba64Chris Lattner // Print the calling convention. 1613d511898b581826694e6c651e23343b1e1ba5ba64Chris Lattner switch (F->getCallingConv()) { 1614d511898b581826694e6c651e23343b1e1ba5ba64Chris Lattner case CallingConv::C: break; // default 1615f824868ed9d2cc756a797f6dbd67732f75e31cd6Anton Korobeynikov case CallingConv::Fast: Out << "fastcc "; break; 1616f824868ed9d2cc756a797f6dbd67732f75e31cd6Anton Korobeynikov case CallingConv::Cold: Out << "coldcc "; break; 1617f824868ed9d2cc756a797f6dbd67732f75e31cd6Anton Korobeynikov case CallingConv::X86_StdCall: Out << "x86_stdcallcc "; break; 1618385f5a99ecc7fee48a7539bc63d3e1d3b5089c0dAnton Korobeynikov case CallingConv::X86_FastCall: Out << "x86_fastcallcc "; break; 1619ded05e34b65dc42998e9db6ca1abd513e7a9d120Anton Korobeynikov case CallingConv::X86_ThisCall: Out << "x86_thiscallcc "; break; 1620385f5a99ecc7fee48a7539bc63d3e1d3b5089c0dAnton Korobeynikov case CallingConv::ARM_APCS: Out << "arm_apcscc "; break; 1621385f5a99ecc7fee48a7539bc63d3e1d3b5089c0dAnton Korobeynikov case CallingConv::ARM_AAPCS: Out << "arm_aapcscc "; break; 1622385f5a99ecc7fee48a7539bc63d3e1d3b5089c0dAnton Korobeynikov case CallingConv::ARM_AAPCS_VFP:Out << "arm_aapcs_vfpcc "; break; 1623211a14e476abc9b864ab6a5d5e0bbb86d288b650Anton Korobeynikov case CallingConv::MSP430_INTR: Out << "msp430_intrcc "; break; 1624a6428a401b4692527dce51ef4318334c0913e17eJustin Holewinski case CallingConv::PTX_Kernel: Out << "ptx_kernel "; break; 1625a6428a401b4692527dce51ef4318334c0913e17eJustin Holewinski case CallingConv::PTX_Device: Out << "ptx_device "; break; 1626d511898b581826694e6c651e23343b1e1ba5ba64Chris Lattner default: Out << "cc" << F->getCallingConv() << " "; break; 1627d511898b581826694e6c651e23343b1e1ba5ba64Chris Lattner } 1628d511898b581826694e6c651e23343b1e1ba5ba64Chris Lattner 1629bd5db8e29b82f864c3d6525c6cfefa557fafdbb8Reid Spencer const FunctionType *FT = F->getFunctionType(); 16300598866c052147c31b808391f58434ce3dbfb838Devang Patel const AttrListPtr &Attrs = F->getAttributes(); 1631652203f3f3b6dd5062bb450d189a80d8aaa51693Devang Patel Attributes RetAttrs = Attrs.getRetAttributes(); 1632652203f3f3b6dd5062bb450d189a80d8aaa51693Devang Patel if (RetAttrs != Attribute::None) 1633652203f3f3b6dd5062bb450d189a80d8aaa51693Devang Patel Out << Attribute::getAsString(Attrs.getRetAttributes()) << ' '; 16340f7364b4aa15263827af49d046fd6147ac769eefChris Lattner TypePrinter.print(F->getReturnType(), Out); 16354667b71f9380afad56cbdc1fd19ca32334086d2cChris Lattner Out << ' '; 16363bdfbf5d56d52fc4c390df77f98ba2c46951b51aDan Gohman WriteAsOperandInternal(Out, F, &TypePrinter, &Machine, F->getParent()); 16370313e0b44dcd77acd334d3f324c7da527179a690Misha Brukman Out << '('; 16380d1b77e2824115d97f8392c3f4ec257b27ebbd7aReid Spencer Machine.incorporateFunction(F); 1639007377f381e253cc559db8d3c94fa89b0eb55fadChris Lattner 1640c1824996451d5ea93864fcd34ba8ea5e5f03e368Chris Lattner // Loop over the arguments, printing them... 1641007377f381e253cc559db8d3c94fa89b0eb55fadChris Lattner 1642bd5db8e29b82f864c3d6525c6cfefa557fafdbb8Reid Spencer unsigned Idx = 1; 16438dcd2f1a5bbb9151ec05532861be58bf3f078e63Chris Lattner if (!F->isDeclaration()) { 16448dcd2f1a5bbb9151ec05532861be58bf3f078e63Chris Lattner // If this isn't a declaration, print the argument names as well. 16458dcd2f1a5bbb9151ec05532861be58bf3f078e63Chris Lattner for (Function::const_arg_iterator I = F->arg_begin(), E = F->arg_end(); 16468dcd2f1a5bbb9151ec05532861be58bf3f078e63Chris Lattner I != E; ++I) { 16478dcd2f1a5bbb9151ec05532861be58bf3f078e63Chris Lattner // Insert commas as we go... the first arg doesn't get a comma 16488dcd2f1a5bbb9151ec05532861be58bf3f078e63Chris Lattner if (I != F->arg_begin()) Out << ", "; 164919c874638d9478a5d5028854817a5ee72293bb2bDevang Patel printArgument(I, Attrs.getParamAttributes(Idx)); 16508dcd2f1a5bbb9151ec05532861be58bf3f078e63Chris Lattner Idx++; 16518dcd2f1a5bbb9151ec05532861be58bf3f078e63Chris Lattner } 16528dcd2f1a5bbb9151ec05532861be58bf3f078e63Chris Lattner } else { 16538dcd2f1a5bbb9151ec05532861be58bf3f078e63Chris Lattner // Otherwise, print the types from the function type. 16548dcd2f1a5bbb9151ec05532861be58bf3f078e63Chris Lattner for (unsigned i = 0, e = FT->getNumParams(); i != e; ++i) { 16558dcd2f1a5bbb9151ec05532861be58bf3f078e63Chris Lattner // Insert commas as we go... the first arg doesn't get a comma 16568dcd2f1a5bbb9151ec05532861be58bf3f078e63Chris Lattner if (i) Out << ", "; 1657a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar 16588dcd2f1a5bbb9151ec05532861be58bf3f078e63Chris Lattner // Output type... 16590f7364b4aa15263827af49d046fd6147ac769eefChris Lattner TypePrinter.print(FT->getParamType(i), Out); 1660a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar 166119c874638d9478a5d5028854817a5ee72293bb2bDevang Patel Attributes ArgAttrs = Attrs.getParamAttributes(i+1); 16620598866c052147c31b808391f58434ce3dbfb838Devang Patel if (ArgAttrs != Attribute::None) 16630598866c052147c31b808391f58434ce3dbfb838Devang Patel Out << ' ' << Attribute::getAsString(ArgAttrs); 16648dcd2f1a5bbb9151ec05532861be58bf3f078e63Chris Lattner } 1665bd5db8e29b82f864c3d6525c6cfefa557fafdbb8Reid Spencer } 1666007377f381e253cc559db8d3c94fa89b0eb55fadChris Lattner 1667007377f381e253cc559db8d3c94fa89b0eb55fadChris Lattner // Finish printing arguments... 16687e70829632f82de15db187845666aaca6e04b792Chris Lattner if (FT->isVarArg()) { 16690313e0b44dcd77acd334d3f324c7da527179a690Misha Brukman if (FT->getNumParams()) Out << ", "; 16700313e0b44dcd77acd334d3f324c7da527179a690Misha Brukman Out << "..."; // Output varargs portion of signature! 1671007377f381e253cc559db8d3c94fa89b0eb55fadChris Lattner } 16720313e0b44dcd77acd334d3f324c7da527179a690Misha Brukman Out << ')'; 16733971df5203146649a34dc50d217c0cc072d39be9Rafael Espindola if (F->hasUnnamedAddr()) 16743971df5203146649a34dc50d217c0cc072d39be9Rafael Espindola Out << " unnamed_addr"; 167519c874638d9478a5d5028854817a5ee72293bb2bDevang Patel Attributes FnAttrs = Attrs.getFnAttributes(); 167619c874638d9478a5d5028854817a5ee72293bb2bDevang Patel if (FnAttrs != Attribute::None) 167719c874638d9478a5d5028854817a5ee72293bb2bDevang Patel Out << ' ' << Attribute::getAsString(Attrs.getFnAttributes()); 16788fff12605e125e264bca213e748e1ec972437a55Chris Lattner if (F->hasSection()) { 16798fff12605e125e264bca213e748e1ec972437a55Chris Lattner Out << " section \""; 16808fff12605e125e264bca213e748e1ec972437a55Chris Lattner PrintEscapedString(F->getSection(), Out); 16818fff12605e125e264bca213e748e1ec972437a55Chris Lattner Out << '"'; 16828fff12605e125e264bca213e748e1ec972437a55Chris Lattner } 168330caa2876cd500b49e27b6810ab5dec96398c6faChris Lattner if (F->getAlignment()) 168430caa2876cd500b49e27b6810ab5dec96398c6faChris Lattner Out << " align " << F->getAlignment(); 16855eca075b74d62c621b160aa216b4cd50829a2cc7Gordon Henriksen if (F->hasGC()) 16865eca075b74d62c621b160aa216b4cd50829a2cc7Gordon Henriksen Out << " gc \"" << F->getGC() << '"'; 1687f3ba70861ccf00b1072ae1b6ade3ebe2da6cff40Devang Patel if (F->isDeclaration()) { 168891fb4070e58566c5406b65bf70719c3e580eb027Chris Lattner Out << '\n'; 1689f3ba70861ccf00b1072ae1b6ade3ebe2da6cff40Devang Patel } else { 169091fb4070e58566c5406b65bf70719c3e580eb027Chris Lattner Out << " {"; 169191fb4070e58566c5406b65bf70719c3e580eb027Chris Lattner // Output all of the function's basic blocks. 16927e70829632f82de15db187845666aaca6e04b792Chris Lattner for (Function::const_iterator I = F->begin(), E = F->end(); I != E; ++I) 16937e70829632f82de15db187845666aaca6e04b792Chris Lattner printBasicBlock(I); 1694007377f381e253cc559db8d3c94fa89b0eb55fadChris Lattner 16950313e0b44dcd77acd334d3f324c7da527179a690Misha Brukman Out << "}\n"; 1696007377f381e253cc559db8d3c94fa89b0eb55fadChris Lattner } 1697007377f381e253cc559db8d3c94fa89b0eb55fadChris Lattner 16980d1b77e2824115d97f8392c3f4ec257b27ebbd7aReid Spencer Machine.purgeFunction(); 1699009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner} 1700009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner 1701ab5c6003d23c19d23bbff1054900d208c55e0188Misha Brukman/// printArgument - This member is called for every argument that is passed into 1702ab5c6003d23c19d23bbff1054900d208c55e0188Misha Brukman/// the function. Simply print it out 1703ab5c6003d23c19d23bbff1054900d208c55e0188Misha Brukman/// 1704a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbarvoid AssemblyWriter::printArgument(const Argument *Arg, 1705eaf42abab6d465c38891345d999255871cf03943Devang Patel Attributes Attrs) { 1706009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner // Output type... 17070f7364b4aa15263827af49d046fd6147ac769eefChris Lattner TypePrinter.print(Arg->getType(), Out); 1708fd93908ae8b9684fe71c239e3c6cfe13ff6a2663Misha Brukman 1709dc024674ff96820d6020757b48d47f46d4c07db2Duncan Sands // Output parameter attributes list 17100598866c052147c31b808391f58434ce3dbfb838Devang Patel if (Attrs != Attribute::None) 17110598866c052147c31b808391f58434ce3dbfb838Devang Patel Out << ' ' << Attribute::getAsString(Attrs); 1712bd5db8e29b82f864c3d6525c6cfefa557fafdbb8Reid Spencer 1713009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner // Output name, if available... 1714c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner if (Arg->hasName()) { 1715c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner Out << ' '; 1716c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner PrintLLVMName(Out, Arg); 1717c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner } 1718009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner} 1719009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner 1720ab5c6003d23c19d23bbff1054900d208c55e0188Misha Brukman/// printBasicBlock - This member is called for each basic block in a method. 1721ab5c6003d23c19d23bbff1054900d208c55e0188Misha Brukman/// 1722c1824996451d5ea93864fcd34ba8ea5e5f03e368Chris Lattnervoid AssemblyWriter::printBasicBlock(const BasicBlock *BB) { 1723280a6e607d8eb7401749a92db624a82de47da777Nick Lewycky if (BB->hasName()) { // Print out the label if it exists... 1724c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner Out << "\n"; 172503d7651c3652e1f0cc86e79b26585d86818da9cfDaniel Dunbar PrintLLVMName(Out, BB->getName(), LabelPrefix); 1726c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner Out << ':'; 1727280a6e607d8eb7401749a92db624a82de47da777Nick Lewycky } else if (!BB->use_empty()) { // Don't print block # of no uses... 17285d7a5a4f53304869ae5b76771ab67213447b65a5Bill Wendling Out << "\n; <label>:"; 172922379bc7bb28fbfb1182877e6dc316aaab98a4baChris Lattner int Slot = Machine.getLocalSlot(BB); 173069566459cc27c5210472a87ae2fe7b2ca64f9fc8Chris Lattner if (Slot != -1) 17310313e0b44dcd77acd334d3f324c7da527179a690Misha Brukman Out << Slot; 173269566459cc27c5210472a87ae2fe7b2ca64f9fc8Chris Lattner else 17330313e0b44dcd77acd334d3f324c7da527179a690Misha Brukman Out << "<badref>"; 1734061269be9723f842931f18ad207acf9a66e0cf76Chris Lattner } 17354e4d8624c5c44578d64fe1344670520cceec03f2Chris Lattner 1736683e922d299bdfa9ec609bd58a0eed20568303f1Dan Gohman if (BB->getParent() == 0) { 17378f4b1ec02bbc72161a9bd9777a2996dae439c81eChris Lattner Out.PadToColumn(50); 1738683e922d299bdfa9ec609bd58a0eed20568303f1Dan Gohman Out << "; Error: Block without parent!"; 1739683e922d299bdfa9ec609bd58a0eed20568303f1Dan Gohman } else if (BB != &BB->getParent()->getEntryBlock()) { // Not the entry block? 174091fb4070e58566c5406b65bf70719c3e580eb027Chris Lattner // Output predecessors for the block. 17418f4b1ec02bbc72161a9bd9777a2996dae439c81eChris Lattner Out.PadToColumn(50); 1742683e922d299bdfa9ec609bd58a0eed20568303f1Dan Gohman Out << ";"; 174344424646ac9db5c4d3919462bd0831ec22783085Gabor Greif const_pred_iterator PI = pred_begin(BB), PE = pred_end(BB); 1744a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar 1745eb411291fa7614496ec8b51b0ced9f6cc2b78313Chris Lattner if (PI == PE) { 1746eb411291fa7614496ec8b51b0ced9f6cc2b78313Chris Lattner Out << " No predecessors!"; 1747eb411291fa7614496ec8b51b0ced9f6cc2b78313Chris Lattner } else { 17488dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman Out << " preds = "; 1749eb411291fa7614496ec8b51b0ced9f6cc2b78313Chris Lattner writeOperand(*PI, false); 1750eb411291fa7614496ec8b51b0ced9f6cc2b78313Chris Lattner for (++PI; PI != PE; ++PI) { 17518dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman Out << ", "; 17522fcfdb79d0d1d2297d7aced11b567cd52494604eChris Lattner writeOperand(*PI, false); 175340efcec8e879b3470b3c0ad9d8124abce2cd8915Chris Lattner } 1754061269be9723f842931f18ad207acf9a66e0cf76Chris Lattner } 1755009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner } 1756fd93908ae8b9684fe71c239e3c6cfe13ff6a2663Misha Brukman 1757eb411291fa7614496ec8b51b0ced9f6cc2b78313Chris Lattner Out << "\n"; 1758009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner 17590313e0b44dcd77acd334d3f324c7da527179a690Misha Brukman if (AnnotationWriter) AnnotationWriter->emitBasicBlockStartAnnot(BB, Out); 176095e5a2cc3fc55b262d2baa1cc417115dfa4a18eaChris Lattner 1761007377f381e253cc559db8d3c94fa89b0eb55fadChris Lattner // Output all of the instructions in the basic block... 1762beca6896b97e5a07081390c19ecfd176dbc27b1fDan Gohman for (BasicBlock::const_iterator I = BB->begin(), E = BB->end(); I != E; ++I) { 17637e70829632f82de15db187845666aaca6e04b792Chris Lattner printInstruction(*I); 1764beca6896b97e5a07081390c19ecfd176dbc27b1fDan Gohman Out << '\n'; 1765beca6896b97e5a07081390c19ecfd176dbc27b1fDan Gohman } 17669f717ef279f4b82e28c341c98a9aa602f01f9b27Chris Lattner 17670313e0b44dcd77acd334d3f324c7da527179a690Misha Brukman if (AnnotationWriter) AnnotationWriter->emitBasicBlockEndAnnot(BB, Out); 1768009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner} 1769009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner 1770d78bfbc6bb5342c2256bea0834613b02448ec74dDevang Patel/// printDebugLoc - Print DebugLoc. 1771d78bfbc6bb5342c2256bea0834613b02448ec74dDevang Patelstatic void printDebugLoc(const DebugLoc &DL, formatted_raw_ostream &OS) { 1772d78bfbc6bb5342c2256bea0834613b02448ec74dDevang Patel OS << DL.getLine() << ":" << DL.getCol(); 1773d78bfbc6bb5342c2256bea0834613b02448ec74dDevang Patel if (MDNode *N = DL.getInlinedAt(getGlobalContext())) { 1774d78bfbc6bb5342c2256bea0834613b02448ec74dDevang Patel DebugLoc IDL = DebugLoc::getFromDILocation(N); 1775d78bfbc6bb5342c2256bea0834613b02448ec74dDevang Patel if (!IDL.isUnknown()) { 1776d78bfbc6bb5342c2256bea0834613b02448ec74dDevang Patel OS << "@"; 1777d78bfbc6bb5342c2256bea0834613b02448ec74dDevang Patel printDebugLoc(IDL,OS); 1778d78bfbc6bb5342c2256bea0834613b02448ec74dDevang Patel } 1779d78bfbc6bb5342c2256bea0834613b02448ec74dDevang Patel } 1780d78bfbc6bb5342c2256bea0834613b02448ec74dDevang Patel} 1781d78bfbc6bb5342c2256bea0834613b02448ec74dDevang Patel 1782ab5c6003d23c19d23bbff1054900d208c55e0188Misha Brukman/// printInfoComment - Print a little comment after the instruction indicating 1783ab5c6003d23c19d23bbff1054900d208c55e0188Misha Brukman/// which slot it occupies. 1784ab5c6003d23c19d23bbff1054900d208c55e0188Misha Brukman/// 17857e70829632f82de15db187845666aaca6e04b792Chris Lattnervoid AssemblyWriter::printInfoComment(const Value &V) { 17867a5666e7f3ba5d7825e5d65d601f9679d10a56bbDan Gohman if (AnnotationWriter) { 17877a5666e7f3ba5d7825e5d65d601f9679d10a56bbDan Gohman AnnotationWriter->printInfoComment(V, Out); 17887a5666e7f3ba5d7825e5d65d601f9679d10a56bbDan Gohman return; 1789d78bfbc6bb5342c2256bea0834613b02448ec74dDevang Patel } else if (EnableDebugInfoComment) { 1790d78bfbc6bb5342c2256bea0834613b02448ec74dDevang Patel bool Padded = false; 1791d78bfbc6bb5342c2256bea0834613b02448ec74dDevang Patel if (const Instruction *I = dyn_cast<Instruction>(&V)) { 1792d78bfbc6bb5342c2256bea0834613b02448ec74dDevang Patel const DebugLoc &DL = I->getDebugLoc(); 1793d78bfbc6bb5342c2256bea0834613b02448ec74dDevang Patel if (!DL.isUnknown()) { 1794d78bfbc6bb5342c2256bea0834613b02448ec74dDevang Patel if (!Padded) { 1795d78bfbc6bb5342c2256bea0834613b02448ec74dDevang Patel Out.PadToColumn(50); 1796d78bfbc6bb5342c2256bea0834613b02448ec74dDevang Patel Padded = true; 1797d78bfbc6bb5342c2256bea0834613b02448ec74dDevang Patel Out << ";"; 1798d78bfbc6bb5342c2256bea0834613b02448ec74dDevang Patel } 1799d78bfbc6bb5342c2256bea0834613b02448ec74dDevang Patel Out << " [debug line = "; 1800d78bfbc6bb5342c2256bea0834613b02448ec74dDevang Patel printDebugLoc(DL,Out); 1801d78bfbc6bb5342c2256bea0834613b02448ec74dDevang Patel Out << "]"; 1802d78bfbc6bb5342c2256bea0834613b02448ec74dDevang Patel } 1803d78bfbc6bb5342c2256bea0834613b02448ec74dDevang Patel if (const DbgDeclareInst *DDI = dyn_cast<DbgDeclareInst>(I)) { 1804d78bfbc6bb5342c2256bea0834613b02448ec74dDevang Patel const MDNode *Var = DDI->getVariable(); 1805d78bfbc6bb5342c2256bea0834613b02448ec74dDevang Patel if (!Padded) { 1806d78bfbc6bb5342c2256bea0834613b02448ec74dDevang Patel Out.PadToColumn(50); 1807d78bfbc6bb5342c2256bea0834613b02448ec74dDevang Patel Padded = true; 1808d78bfbc6bb5342c2256bea0834613b02448ec74dDevang Patel Out << ";"; 1809d78bfbc6bb5342c2256bea0834613b02448ec74dDevang Patel } 1810d78bfbc6bb5342c2256bea0834613b02448ec74dDevang Patel if (Var && Var->getNumOperands() >= 2) 1811d78bfbc6bb5342c2256bea0834613b02448ec74dDevang Patel if (MDString *MDS = dyn_cast_or_null<MDString>(Var->getOperand(2))) 1812d78bfbc6bb5342c2256bea0834613b02448ec74dDevang Patel Out << " [debug variable = " << MDS->getString() << "]"; 1813d78bfbc6bb5342c2256bea0834613b02448ec74dDevang Patel } 1814d78bfbc6bb5342c2256bea0834613b02448ec74dDevang Patel else if (const DbgValueInst *DVI = dyn_cast<DbgValueInst>(I)) { 1815d78bfbc6bb5342c2256bea0834613b02448ec74dDevang Patel const MDNode *Var = DVI->getVariable(); 1816d78bfbc6bb5342c2256bea0834613b02448ec74dDevang Patel if (!Padded) { 1817d78bfbc6bb5342c2256bea0834613b02448ec74dDevang Patel Out.PadToColumn(50); 1818d78bfbc6bb5342c2256bea0834613b02448ec74dDevang Patel Padded = true; 1819d78bfbc6bb5342c2256bea0834613b02448ec74dDevang Patel Out << ";"; 1820d78bfbc6bb5342c2256bea0834613b02448ec74dDevang Patel } 1821d78bfbc6bb5342c2256bea0834613b02448ec74dDevang Patel if (Var && Var->getNumOperands() >= 2) 1822d78bfbc6bb5342c2256bea0834613b02448ec74dDevang Patel if (MDString *MDS = dyn_cast_or_null<MDString>(Var->getOperand(2))) 1823d78bfbc6bb5342c2256bea0834613b02448ec74dDevang Patel Out << " [debug variable = " << MDS->getString() << "]"; 1824d78bfbc6bb5342c2256bea0834613b02448ec74dDevang Patel } 1825d78bfbc6bb5342c2256bea0834613b02448ec74dDevang Patel } 18267a5666e7f3ba5d7825e5d65d601f9679d10a56bbDan Gohman } 1827e02fa8551d20081534afa46e0976811687e5183aChris Lattner} 1828e02fa8551d20081534afa46e0976811687e5183aChris Lattner 18293a9ec2463ddeba0820f284e2952bd6919cd5e080Reid Spencer// This member is called for each Instruction in a function.. 18307e70829632f82de15db187845666aaca6e04b792Chris Lattnervoid AssemblyWriter::printInstruction(const Instruction &I) { 18310313e0b44dcd77acd334d3f324c7da527179a690Misha Brukman if (AnnotationWriter) AnnotationWriter->emitInstructionAnnot(&I, Out); 183295e5a2cc3fc55b262d2baa1cc417115dfa4a18eaChris Lattner 18333845e50edea58edd0f5e0f2b732e0106b53ba279Dan Gohman // Print out indentation for an instruction. 183401889caf73a2faa3b77142851faa09abad5c73b0Dan Gohman Out << " "; 1835009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner 1836009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner // Print out name if it exists... 1837c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner if (I.hasName()) { 1838c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner PrintLLVMName(Out, &I); 1839c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner Out << " = "; 18404ee93c430367000c80a02ba218ddf712aa3e57edChris Lattner } else if (!I.getType()->isVoidTy()) { 1841828db8a2f90e0e3faf27c1fe69a632c666e3a343Chris Lattner // Print out the def slot taken. 1842828db8a2f90e0e3faf27c1fe69a632c666e3a343Chris Lattner int SlotNum = Machine.getLocalSlot(&I); 1843828db8a2f90e0e3faf27c1fe69a632c666e3a343Chris Lattner if (SlotNum == -1) 1844828db8a2f90e0e3faf27c1fe69a632c666e3a343Chris Lattner Out << "<badref> = "; 1845828db8a2f90e0e3faf27c1fe69a632c666e3a343Chris Lattner else 1846828db8a2f90e0e3faf27c1fe69a632c666e3a343Chris Lattner Out << '%' << SlotNum << " = "; 1847c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner } 1848009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner 1849ddb6db4fa11d06217d01d8431596131abdfb7ef0Chris Lattner // If this is a volatile load or store, print out the volatile marker. 1850e5e475e09d1e8a9ea1bda58b536867ff16600399Chris Lattner if ((isa<LoadInst>(I) && cast<LoadInst>(I).isVolatile()) || 1851ddb6db4fa11d06217d01d8431596131abdfb7ef0Chris Lattner (isa<StoreInst>(I) && cast<StoreInst>(I).isVolatile())) { 18520313e0b44dcd77acd334d3f324c7da527179a690Misha Brukman Out << "volatile "; 1853ddb6db4fa11d06217d01d8431596131abdfb7ef0Chris Lattner } else if (isa<CallInst>(I) && cast<CallInst>(I).isTailCall()) { 1854ddb6db4fa11d06217d01d8431596131abdfb7ef0Chris Lattner // If this is a call, check if it's a tail call. 1855ddb6db4fa11d06217d01d8431596131abdfb7ef0Chris Lattner Out << "tail "; 1856ddb6db4fa11d06217d01d8431596131abdfb7ef0Chris Lattner } 1857e5e475e09d1e8a9ea1bda58b536867ff16600399Chris Lattner 1858009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner // Print out the opcode... 18590313e0b44dcd77acd334d3f324c7da527179a690Misha Brukman Out << I.getOpcodeName(); 1860009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner 186159858cf7926702596cf708daf21aeaf5b6feedf8Dan Gohman // Print out optimization information. 186259858cf7926702596cf708daf21aeaf5b6feedf8Dan Gohman WriteOptimizationInfo(Out, &I); 186359858cf7926702596cf708daf21aeaf5b6feedf8Dan Gohman 186474f1642bc1c2981e4573c9f0690d91b6a9bbc68cReid Spencer // Print out the compare instruction predicates 1865ac80ade1580378e484e24c9f66d2fa5b058e5891Nate Begeman if (const CmpInst *CI = dyn_cast<CmpInst>(&I)) 1866ab49ee752ec37f586e45c999eca1e29e32697cb7Chris Lattner Out << ' ' << getPredicateText(CI->getPredicate()); 186774f1642bc1c2981e4573c9f0690d91b6a9bbc68cReid Spencer 1868009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner // Print out the type of the operands... 18697e70829632f82de15db187845666aaca6e04b792Chris Lattner const Value *Operand = I.getNumOperands() ? I.getOperand(0) : 0; 1870009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner 1871009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner // Special case conditional branches to swizzle the condition out to the front 1872ccd27fb84b0ac13ad1d30b17cbeb87a0ea934154Gabor Greif if (isa<BranchInst>(I) && cast<BranchInst>(I).isConditional()) { 1873ccd27fb84b0ac13ad1d30b17cbeb87a0ea934154Gabor Greif BranchInst &BI(cast<BranchInst>(I)); 18748dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman Out << ' '; 1875ccd27fb84b0ac13ad1d30b17cbeb87a0ea934154Gabor Greif writeOperand(BI.getCondition(), true); 18768dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman Out << ", "; 1877ccd27fb84b0ac13ad1d30b17cbeb87a0ea934154Gabor Greif writeOperand(BI.getSuccessor(0), true); 18788dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman Out << ", "; 1879ccd27fb84b0ac13ad1d30b17cbeb87a0ea934154Gabor Greif writeOperand(BI.getSuccessor(1), true); 1880009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner 188194dc1f29cd1dc669680b7d3caa1f59862a656b83Chris Lattner } else if (isa<SwitchInst>(I)) { 1882f9be95f867745b6754b2402b9b72f9eaeabd637fChris Lattner // Special case switch instruction to get formatting nice and correct. 18838dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman Out << ' '; 1884ab49ee752ec37f586e45c999eca1e29e32697cb7Chris Lattner writeOperand(Operand , true); 18858dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman Out << ", "; 1886ab49ee752ec37f586e45c999eca1e29e32697cb7Chris Lattner writeOperand(I.getOperand(1), true); 1887ab49ee752ec37f586e45c999eca1e29e32697cb7Chris Lattner Out << " ["; 1888009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner 18897e70829632f82de15db187845666aaca6e04b792Chris Lattner for (unsigned op = 2, Eop = I.getNumOperands(); op < Eop; op += 2) { 189001889caf73a2faa3b77142851faa09abad5c73b0Dan Gohman Out << "\n "; 1891ab49ee752ec37f586e45c999eca1e29e32697cb7Chris Lattner writeOperand(I.getOperand(op ), true); 18928dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman Out << ", "; 18937e70829632f82de15db187845666aaca6e04b792Chris Lattner writeOperand(I.getOperand(op+1), true); 1894009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner } 189501889caf73a2faa3b77142851faa09abad5c73b0Dan Gohman Out << "\n ]"; 1896ab21db79ef1d2530880ad11f21f0b87ffca02dd4Chris Lattner } else if (isa<IndirectBrInst>(I)) { 1897ab21db79ef1d2530880ad11f21f0b87ffca02dd4Chris Lattner // Special case indirectbr instruction to get formatting nice and correct. 1898f9be95f867745b6754b2402b9b72f9eaeabd637fChris Lattner Out << ' '; 1899f9be95f867745b6754b2402b9b72f9eaeabd637fChris Lattner writeOperand(Operand, true); 19000ed1f4264ae1f30eb164ca8fc94669c4f9bbd4f7Dan Gohman Out << ", ["; 1901f9be95f867745b6754b2402b9b72f9eaeabd637fChris Lattner 1902f9be95f867745b6754b2402b9b72f9eaeabd637fChris Lattner for (unsigned i = 1, e = I.getNumOperands(); i != e; ++i) { 1903f9be95f867745b6754b2402b9b72f9eaeabd637fChris Lattner if (i != 1) 1904f9be95f867745b6754b2402b9b72f9eaeabd637fChris Lattner Out << ", "; 1905f9be95f867745b6754b2402b9b72f9eaeabd637fChris Lattner writeOperand(I.getOperand(i), true); 1906f9be95f867745b6754b2402b9b72f9eaeabd637fChris Lattner } 1907f9be95f867745b6754b2402b9b72f9eaeabd637fChris Lattner Out << ']'; 1908b00c582b6d40e6b9ff2d1ed4f5eaf7930e792aceChris Lattner } else if (isa<PHINode>(I)) { 19090313e0b44dcd77acd334d3f324c7da527179a690Misha Brukman Out << ' '; 19100f7364b4aa15263827af49d046fd6147ac769eefChris Lattner TypePrinter.print(I.getType(), Out); 19110313e0b44dcd77acd334d3f324c7da527179a690Misha Brukman Out << ' '; 1912009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner 19137e70829632f82de15db187845666aaca6e04b792Chris Lattner for (unsigned op = 0, Eop = I.getNumOperands(); op < Eop; op += 2) { 19140313e0b44dcd77acd334d3f324c7da527179a690Misha Brukman if (op) Out << ", "; 19158dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman Out << "[ "; 19168dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman writeOperand(I.getOperand(op ), false); Out << ", "; 19170313e0b44dcd77acd334d3f324c7da527179a690Misha Brukman writeOperand(I.getOperand(op+1), false); Out << " ]"; 1918c24d2088dc3d79e3b7e38a358b4a71f156c06836Chris Lattner } 1919995be7d07a0ed1f70a93b2a2e7f445461162e8a5Dan Gohman } else if (const ExtractValueInst *EVI = dyn_cast<ExtractValueInst>(&I)) { 19208dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman Out << ' '; 1921995be7d07a0ed1f70a93b2a2e7f445461162e8a5Dan Gohman writeOperand(I.getOperand(0), true); 1922995be7d07a0ed1f70a93b2a2e7f445461162e8a5Dan Gohman for (const unsigned *i = EVI->idx_begin(), *e = EVI->idx_end(); i != e; ++i) 1923995be7d07a0ed1f70a93b2a2e7f445461162e8a5Dan Gohman Out << ", " << *i; 1924995be7d07a0ed1f70a93b2a2e7f445461162e8a5Dan Gohman } else if (const InsertValueInst *IVI = dyn_cast<InsertValueInst>(&I)) { 19258dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman Out << ' '; 19268dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman writeOperand(I.getOperand(0), true); Out << ", "; 1927995be7d07a0ed1f70a93b2a2e7f445461162e8a5Dan Gohman writeOperand(I.getOperand(1), true); 1928995be7d07a0ed1f70a93b2a2e7f445461162e8a5Dan Gohman for (const unsigned *i = IVI->idx_begin(), *e = IVI->idx_end(); i != e; ++i) 1929995be7d07a0ed1f70a93b2a2e7f445461162e8a5Dan Gohman Out << ", " << *i; 193057ef4f46c182cdbe014d469892090ff50c739cf9Devang Patel } else if (isa<ReturnInst>(I) && !Operand) { 193157ef4f46c182cdbe014d469892090ff50c739cf9Devang Patel Out << " void"; 1932d511898b581826694e6c651e23343b1e1ba5ba64Chris Lattner } else if (const CallInst *CI = dyn_cast<CallInst>(&I)) { 1933d511898b581826694e6c651e23343b1e1ba5ba64Chris Lattner // Print the calling convention being used. 1934d511898b581826694e6c651e23343b1e1ba5ba64Chris Lattner switch (CI->getCallingConv()) { 1935d511898b581826694e6c651e23343b1e1ba5ba64Chris Lattner case CallingConv::C: break; // default 19360deaab89feb963b314428e3c3c565343cc30b5c9Chris Lattner case CallingConv::Fast: Out << " fastcc"; break; 19370deaab89feb963b314428e3c3c565343cc30b5c9Chris Lattner case CallingConv::Cold: Out << " coldcc"; break; 1938b28a6dce6d57e05aa25520915726f82d2b3dc08dChris Lattner case CallingConv::X86_StdCall: Out << " x86_stdcallcc"; break; 1939385f5a99ecc7fee48a7539bc63d3e1d3b5089c0dAnton Korobeynikov case CallingConv::X86_FastCall: Out << " x86_fastcallcc"; break; 1940ded05e34b65dc42998e9db6ca1abd513e7a9d120Anton Korobeynikov case CallingConv::X86_ThisCall: Out << " x86_thiscallcc"; break; 1941385f5a99ecc7fee48a7539bc63d3e1d3b5089c0dAnton Korobeynikov case CallingConv::ARM_APCS: Out << " arm_apcscc "; break; 1942385f5a99ecc7fee48a7539bc63d3e1d3b5089c0dAnton Korobeynikov case CallingConv::ARM_AAPCS: Out << " arm_aapcscc "; break; 1943385f5a99ecc7fee48a7539bc63d3e1d3b5089c0dAnton Korobeynikov case CallingConv::ARM_AAPCS_VFP:Out << " arm_aapcs_vfpcc "; break; 1944211a14e476abc9b864ab6a5d5e0bbb86d288b650Anton Korobeynikov case CallingConv::MSP430_INTR: Out << " msp430_intrcc "; break; 1945f9930da2ef72350c6c805af09e754e4e6e13d47bChe-Liang Chiou case CallingConv::PTX_Kernel: Out << " ptx_kernel"; break; 1946f9930da2ef72350c6c805af09e754e4e6e13d47bChe-Liang Chiou case CallingConv::PTX_Device: Out << " ptx_device"; break; 1947d511898b581826694e6c651e23343b1e1ba5ba64Chris Lattner default: Out << " cc" << CI->getCallingConv(); break; 1948d511898b581826694e6c651e23343b1e1ba5ba64Chris Lattner } 1949d511898b581826694e6c651e23343b1e1ba5ba64Chris Lattner 19507bbdf0c8489794721f23ee6b00af021c24f007d7Gabor Greif Operand = CI->getCalledValue(); 1951b138a0657f8739b6ddfeca296ff8c82ffa93b492Reid Spencer const PointerType *PTy = cast<PointerType>(Operand->getType()); 1952b138a0657f8739b6ddfeca296ff8c82ffa93b492Reid Spencer const FunctionType *FTy = cast<FunctionType>(PTy->getElementType()); 1953b138a0657f8739b6ddfeca296ff8c82ffa93b492Reid Spencer const Type *RetTy = FTy->getReturnType(); 19540598866c052147c31b808391f58434ce3dbfb838Devang Patel const AttrListPtr &PAL = CI->getAttributes(); 1955268de0464ee9f0938bfa145fdd5e7f1a46b21cf7Chris Lattner 1956652203f3f3b6dd5062bb450d189a80d8aaa51693Devang Patel if (PAL.getRetAttributes() != Attribute::None) 1957652203f3f3b6dd5062bb450d189a80d8aaa51693Devang Patel Out << ' ' << Attribute::getAsString(PAL.getRetAttributes()); 1958652203f3f3b6dd5062bb450d189a80d8aaa51693Devang Patel 19597a012299ced5cff02cec47055a63d3b2a78bb36fChris Lattner // If possible, print out the short form of the call instruction. We can 1960b579400cd72f274607f4964a9649ea4d38e04c46Chris Lattner // only do this if the first argument is a pointer to a nonvararg function, 19617a012299ced5cff02cec47055a63d3b2a78bb36fChris Lattner // and if the return type is not a pointer to a function. 1962268de0464ee9f0938bfa145fdd5e7f1a46b21cf7Chris Lattner // 19638dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman Out << ' '; 19647a012299ced5cff02cec47055a63d3b2a78bb36fChris Lattner if (!FTy->isVarArg() && 19651df9859c40492511b8aa4321eb76496005d3b75bDuncan Sands (!RetTy->isPointerTy() || 19661df9859c40492511b8aa4321eb76496005d3b75bDuncan Sands !cast<PointerType>(RetTy)->getElementType()->isFunctionTy())) { 19670f7364b4aa15263827af49d046fd6147ac769eefChris Lattner TypePrinter.print(RetTy, Out); 19688dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman Out << ' '; 1969268de0464ee9f0938bfa145fdd5e7f1a46b21cf7Chris Lattner writeOperand(Operand, false); 1970268de0464ee9f0938bfa145fdd5e7f1a46b21cf7Chris Lattner } else { 1971268de0464ee9f0938bfa145fdd5e7f1a46b21cf7Chris Lattner writeOperand(Operand, true); 1972268de0464ee9f0938bfa145fdd5e7f1a46b21cf7Chris Lattner } 19730313e0b44dcd77acd334d3f324c7da527179a690Misha Brukman Out << '('; 19747bbdf0c8489794721f23ee6b00af021c24f007d7Gabor Greif for (unsigned op = 0, Eop = CI->getNumArgOperands(); op < Eop; ++op) { 19757bbdf0c8489794721f23ee6b00af021c24f007d7Gabor Greif if (op > 0) 19768dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman Out << ", "; 19777bbdf0c8489794721f23ee6b00af021c24f007d7Gabor Greif writeParamOperand(CI->getArgOperand(op), PAL.getParamAttributes(op + 1)); 1978009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner } 19798dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman Out << ')'; 198019c874638d9478a5d5028854817a5ee72293bb2bDevang Patel if (PAL.getFnAttributes() != Attribute::None) 198119c874638d9478a5d5028854817a5ee72293bb2bDevang Patel Out << ' ' << Attribute::getAsString(PAL.getFnAttributes()); 19827e70829632f82de15db187845666aaca6e04b792Chris Lattner } else if (const InvokeInst *II = dyn_cast<InvokeInst>(&I)) { 1983c9f7500d1752feac7cece26d20007a99d21f677cGabor Greif Operand = II->getCalledValue(); 1984b138a0657f8739b6ddfeca296ff8c82ffa93b492Reid Spencer const PointerType *PTy = cast<PointerType>(Operand->getType()); 1985b138a0657f8739b6ddfeca296ff8c82ffa93b492Reid Spencer const FunctionType *FTy = cast<FunctionType>(PTy->getElementType()); 1986b138a0657f8739b6ddfeca296ff8c82ffa93b492Reid Spencer const Type *RetTy = FTy->getReturnType(); 19870598866c052147c31b808391f58434ce3dbfb838Devang Patel const AttrListPtr &PAL = II->getAttributes(); 19887a012299ced5cff02cec47055a63d3b2a78bb36fChris Lattner 1989d511898b581826694e6c651e23343b1e1ba5ba64Chris Lattner // Print the calling convention being used. 1990d511898b581826694e6c651e23343b1e1ba5ba64Chris Lattner switch (II->getCallingConv()) { 1991d511898b581826694e6c651e23343b1e1ba5ba64Chris Lattner case CallingConv::C: break; // default 19920deaab89feb963b314428e3c3c565343cc30b5c9Chris Lattner case CallingConv::Fast: Out << " fastcc"; break; 19930deaab89feb963b314428e3c3c565343cc30b5c9Chris Lattner case CallingConv::Cold: Out << " coldcc"; break; 19948dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman case CallingConv::X86_StdCall: Out << " x86_stdcallcc"; break; 19958dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman case CallingConv::X86_FastCall: Out << " x86_fastcallcc"; break; 1996ded05e34b65dc42998e9db6ca1abd513e7a9d120Anton Korobeynikov case CallingConv::X86_ThisCall: Out << " x86_thiscallcc"; break; 1997385f5a99ecc7fee48a7539bc63d3e1d3b5089c0dAnton Korobeynikov case CallingConv::ARM_APCS: Out << " arm_apcscc "; break; 1998385f5a99ecc7fee48a7539bc63d3e1d3b5089c0dAnton Korobeynikov case CallingConv::ARM_AAPCS: Out << " arm_aapcscc "; break; 1999385f5a99ecc7fee48a7539bc63d3e1d3b5089c0dAnton Korobeynikov case CallingConv::ARM_AAPCS_VFP:Out << " arm_aapcs_vfpcc "; break; 2000211a14e476abc9b864ab6a5d5e0bbb86d288b650Anton Korobeynikov case CallingConv::MSP430_INTR: Out << " msp430_intrcc "; break; 2001f9930da2ef72350c6c805af09e754e4e6e13d47bChe-Liang Chiou case CallingConv::PTX_Kernel: Out << " ptx_kernel"; break; 2002f9930da2ef72350c6c805af09e754e4e6e13d47bChe-Liang Chiou case CallingConv::PTX_Device: Out << " ptx_device"; break; 2003d511898b581826694e6c651e23343b1e1ba5ba64Chris Lattner default: Out << " cc" << II->getCallingConv(); break; 2004d511898b581826694e6c651e23343b1e1ba5ba64Chris Lattner } 2005d511898b581826694e6c651e23343b1e1ba5ba64Chris Lattner 2006652203f3f3b6dd5062bb450d189a80d8aaa51693Devang Patel if (PAL.getRetAttributes() != Attribute::None) 2007652203f3f3b6dd5062bb450d189a80d8aaa51693Devang Patel Out << ' ' << Attribute::getAsString(PAL.getRetAttributes()); 2008652203f3f3b6dd5062bb450d189a80d8aaa51693Devang Patel 20097a012299ced5cff02cec47055a63d3b2a78bb36fChris Lattner // If possible, print out the short form of the invoke instruction. We can 20107a012299ced5cff02cec47055a63d3b2a78bb36fChris Lattner // only do this if the first argument is a pointer to a nonvararg function, 20117a012299ced5cff02cec47055a63d3b2a78bb36fChris Lattner // and if the return type is not a pointer to a function. 20127a012299ced5cff02cec47055a63d3b2a78bb36fChris Lattner // 20132b6c3d9ff13180e84301da5b7d17c755704fbec0Dan Gohman Out << ' '; 20147a012299ced5cff02cec47055a63d3b2a78bb36fChris Lattner if (!FTy->isVarArg() && 20151df9859c40492511b8aa4321eb76496005d3b75bDuncan Sands (!RetTy->isPointerTy() || 20161df9859c40492511b8aa4321eb76496005d3b75bDuncan Sands !cast<PointerType>(RetTy)->getElementType()->isFunctionTy())) { 20170f7364b4aa15263827af49d046fd6147ac769eefChris Lattner TypePrinter.print(RetTy, Out); 20182b6c3d9ff13180e84301da5b7d17c755704fbec0Dan Gohman Out << ' '; 20197a012299ced5cff02cec47055a63d3b2a78bb36fChris Lattner writeOperand(Operand, false); 20207a012299ced5cff02cec47055a63d3b2a78bb36fChris Lattner } else { 20217a012299ced5cff02cec47055a63d3b2a78bb36fChris Lattner writeOperand(Operand, true); 20227a012299ced5cff02cec47055a63d3b2a78bb36fChris Lattner } 20230313e0b44dcd77acd334d3f324c7da527179a690Misha Brukman Out << '('; 20247bbdf0c8489794721f23ee6b00af021c24f007d7Gabor Greif for (unsigned op = 0, Eop = II->getNumArgOperands(); op < Eop; ++op) { 2025c9f7500d1752feac7cece26d20007a99d21f677cGabor Greif if (op) 20268dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman Out << ", "; 20277bbdf0c8489794721f23ee6b00af021c24f007d7Gabor Greif writeParamOperand(II->getArgOperand(op), PAL.getParamAttributes(op + 1)); 2028e02fa8551d20081534afa46e0976811687e5183aChris Lattner } 2029e02fa8551d20081534afa46e0976811687e5183aChris Lattner 20308dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman Out << ')'; 203119c874638d9478a5d5028854817a5ee72293bb2bDevang Patel if (PAL.getFnAttributes() != Attribute::None) 203219c874638d9478a5d5028854817a5ee72293bb2bDevang Patel Out << ' ' << Attribute::getAsString(PAL.getFnAttributes()); 203319c874638d9478a5d5028854817a5ee72293bb2bDevang Patel 203401889caf73a2faa3b77142851faa09abad5c73b0Dan Gohman Out << "\n to "; 2035e02fa8551d20081534afa46e0976811687e5183aChris Lattner writeOperand(II->getNormalDest(), true); 20368dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman Out << " unwind "; 2037aeb2a1d70807aa626f335fb23d47bc604ffeaa15Chris Lattner writeOperand(II->getUnwindDest(), true); 2038e02fa8551d20081534afa46e0976811687e5183aChris Lattner 20397b929dad59785f62a66f7c58615082f98441e95eVictor Hernandez } else if (const AllocaInst *AI = dyn_cast<AllocaInst>(&I)) { 20400313e0b44dcd77acd334d3f324c7da527179a690Misha Brukman Out << ' '; 20410f7364b4aa15263827af49d046fd6147ac769eefChris Lattner TypePrinter.print(AI->getType()->getElementType(), Out); 204269bff07b4dc95fd0cc9d7580977beb08259daa17Dan Gohman if (!AI->getArraySize() || AI->isArrayAllocation()) { 20438dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman Out << ", "; 204494dc1f29cd1dc669680b7d3caa1f59862a656b83Chris Lattner writeOperand(AI->getArraySize(), true); 2045009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner } 204614b0529532904b9e5a1e34526b4a3209f3e5bc62Nate Begeman if (AI->getAlignment()) { 20479fad0b9974beb76bef763b8fed71d0c8644403d4Chris Lattner Out << ", align " << AI->getAlignment(); 204814b0529532904b9e5a1e34526b4a3209f3e5bc62Nate Begeman } 2049e02fa8551d20081534afa46e0976811687e5183aChris Lattner } else if (isa<CastInst>(I)) { 20508dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman if (Operand) { 20518dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman Out << ' '; 20528dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman writeOperand(Operand, true); // Work with broken code 20538dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman } 20540313e0b44dcd77acd334d3f324c7da527179a690Misha Brukman Out << " to "; 20550f7364b4aa15263827af49d046fd6147ac769eefChris Lattner TypePrinter.print(I.getType(), Out); 20564d45bd007d0c3a3a6e5b3876b67fd495acb0db2bChris Lattner } else if (isa<VAArgInst>(I)) { 20578dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman if (Operand) { 20588dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman Out << ' '; 20598dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman writeOperand(Operand, true); // Work with broken code 20608dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman } 20610313e0b44dcd77acd334d3f324c7da527179a690Misha Brukman Out << ", "; 20620f7364b4aa15263827af49d046fd6147ac769eefChris Lattner TypePrinter.print(I.getType(), Out); 20630f7364b4aa15263827af49d046fd6147ac769eefChris Lattner } else if (Operand) { // Print the normal way. 2064009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner 2065fd93908ae8b9684fe71c239e3c6cfe13ff6a2663Misha Brukman // PrintAllTypes - Instructions who have operands of all the same type 2066009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner // omit the type from all but the first operand. If the instruction has 2067009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner // different type operands (for example br), then they are all printed. 2068009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner bool PrintAllTypes = false; 2069009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner const Type *TheType = Operand->getType(); 2070009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner 2071ebe57e36dff2dc3a7ceea99202bdb9eb6fe938bcReid Spencer // Select, Store and ShuffleVector always print all types. 20726494768ffcdf75e6e69a7955282db9ab9ab2e6fbDevang Patel if (isa<SelectInst>(I) || isa<StoreInst>(I) || isa<ShuffleVectorInst>(I) 20736494768ffcdf75e6e69a7955282db9ab9ab2e6fbDevang Patel || isa<ReturnInst>(I)) { 2074ffd9bf404cd36c93d82b0080113ccc6d230915b3Chris Lattner PrintAllTypes = true; 2075ffd9bf404cd36c93d82b0080113ccc6d230915b3Chris Lattner } else { 2076ffd9bf404cd36c93d82b0080113ccc6d230915b3Chris Lattner for (unsigned i = 1, E = I.getNumOperands(); i != E; ++i) { 2077ffd9bf404cd36c93d82b0080113ccc6d230915b3Chris Lattner Operand = I.getOperand(i); 20786ad2b2a3d20c667e01535fed4bc7f4753aa6fc85Nuno Lopes // note that Operand shouldn't be null, but the test helps make dump() 20796ad2b2a3d20c667e01535fed4bc7f4753aa6fc85Nuno Lopes // more tolerant of malformed IR 2080a8c78a9e89afcca4f003c55bcdbd41a23ecd5c8dNuno Lopes if (Operand && Operand->getType() != TheType) { 2081ffd9bf404cd36c93d82b0080113ccc6d230915b3Chris Lattner PrintAllTypes = true; // We have differing types! Print them all! 2082ffd9bf404cd36c93d82b0080113ccc6d230915b3Chris Lattner break; 2083ffd9bf404cd36c93d82b0080113ccc6d230915b3Chris Lattner } 2084009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner } 2085009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner } 2086fd93908ae8b9684fe71c239e3c6cfe13ff6a2663Misha Brukman 2087c1824996451d5ea93864fcd34ba8ea5e5f03e368Chris Lattner if (!PrintAllTypes) { 20880313e0b44dcd77acd334d3f324c7da527179a690Misha Brukman Out << ' '; 20890f7364b4aa15263827af49d046fd6147ac769eefChris Lattner TypePrinter.print(TheType, Out); 2090c1824996451d5ea93864fcd34ba8ea5e5f03e368Chris Lattner } 2091009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner 20928dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman Out << ' '; 20937e70829632f82de15db187845666aaca6e04b792Chris Lattner for (unsigned i = 0, E = I.getNumOperands(); i != E; ++i) { 20948dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman if (i) Out << ", "; 20957e70829632f82de15db187845666aaca6e04b792Chris Lattner writeOperand(I.getOperand(i), PrintAllTypes); 2096009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner } 2097009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner } 2098a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar 20997d05c46d601cbb52be605019548c34286c02e3a3Chris Lattner // Print post operand alignment for load/store. 210043c7f37942a35398fd1e14b22f435f483a0ee863Christopher Lamb if (isa<LoadInst>(I) && cast<LoadInst>(I).getAlignment()) { 210143c7f37942a35398fd1e14b22f435f483a0ee863Christopher Lamb Out << ", align " << cast<LoadInst>(I).getAlignment(); 210243c7f37942a35398fd1e14b22f435f483a0ee863Christopher Lamb } else if (isa<StoreInst>(I) && cast<StoreInst>(I).getAlignment()) { 210343c7f37942a35398fd1e14b22f435f483a0ee863Christopher Lamb Out << ", align " << cast<StoreInst>(I).getAlignment(); 210443c7f37942a35398fd1e14b22f435f483a0ee863Christopher Lamb } 2105009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner 21067d05c46d601cbb52be605019548c34286c02e3a3Chris Lattner // Print Metadata info. 2107fa0c54e3b88f103abb247e471917a6e6a5bb9a0fNick Lewycky SmallVector<std::pair<unsigned, MDNode*>, 4> InstMD; 2108fa0c54e3b88f103abb247e471917a6e6a5bb9a0fNick Lewycky I.getAllMetadata(InstMD); 2109f3d5c915502a64921bff4ed96d8e8171f85b73f3Erick Tryzelaar if (!InstMD.empty()) { 2110f3d5c915502a64921bff4ed96d8e8171f85b73f3Erick Tryzelaar SmallVector<StringRef, 8> MDNames; 2111f3d5c915502a64921bff4ed96d8e8171f85b73f3Erick Tryzelaar I.getType()->getContext().getMDKindNames(MDNames); 2112f3d5c915502a64921bff4ed96d8e8171f85b73f3Erick Tryzelaar for (unsigned i = 0, e = InstMD.size(); i != e; ++i) { 2113f3d5c915502a64921bff4ed96d8e8171f85b73f3Erick Tryzelaar unsigned Kind = InstMD[i].first; 2114f3d5c915502a64921bff4ed96d8e8171f85b73f3Erick Tryzelaar if (Kind < MDNames.size()) { 2115f3d5c915502a64921bff4ed96d8e8171f85b73f3Erick Tryzelaar Out << ", !" << MDNames[Kind]; 2116f3d5c915502a64921bff4ed96d8e8171f85b73f3Erick Tryzelaar } else { 2117f3d5c915502a64921bff4ed96d8e8171f85b73f3Erick Tryzelaar Out << ", !<unknown kind #" << Kind << ">"; 2118f3d5c915502a64921bff4ed96d8e8171f85b73f3Erick Tryzelaar } 21193bdfbf5d56d52fc4c390df77f98ba2c46951b51aDan Gohman Out << ' '; 21203bdfbf5d56d52fc4c390df77f98ba2c46951b51aDan Gohman WriteAsOperandInternal(Out, InstMD[i].second, &TypePrinter, &Machine, 21213bdfbf5d56d52fc4c390df77f98ba2c46951b51aDan Gohman TheModule); 2122fa0c54e3b88f103abb247e471917a6e6a5bb9a0fNick Lewycky } 21237f93f4d66c54e2628fbd159fa19bcfbe601458aeDevang Patel } 2124e02fa8551d20081534afa46e0976811687e5183aChris Lattner printInfoComment(I); 2125009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner} 2126009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner 21276e6b1805dae72803fbfe45f9aee2ab9ebfb4ec77Chris Lattnerstatic void WriteMDNodeComment(const MDNode *Node, 21283472766f9eb7d66f234c390ce1b3a8b76f0ee9ceDuncan Sands formatted_raw_ostream &Out) { 21296e6b1805dae72803fbfe45f9aee2ab9ebfb4ec77Chris Lattner if (Node->getNumOperands() < 1) 21306e6b1805dae72803fbfe45f9aee2ab9ebfb4ec77Chris Lattner return; 21316e6b1805dae72803fbfe45f9aee2ab9ebfb4ec77Chris Lattner ConstantInt *CI = dyn_cast_or_null<ConstantInt>(Node->getOperand(0)); 21326e6b1805dae72803fbfe45f9aee2ab9ebfb4ec77Chris Lattner if (!CI) return; 213366797ff2e1433c1005f911c954a2953238d04554Dan Gohman APInt Val = CI->getValue(); 213466797ff2e1433c1005f911c954a2953238d04554Dan Gohman APInt Tag = Val & ~APInt(Val.getBitWidth(), LLVMDebugVersionMask); 213566797ff2e1433c1005f911c954a2953238d04554Dan Gohman if (Val.ult(LLVMDebugVersion)) 21366e6b1805dae72803fbfe45f9aee2ab9ebfb4ec77Chris Lattner return; 21376e6b1805dae72803fbfe45f9aee2ab9ebfb4ec77Chris Lattner 21386e6b1805dae72803fbfe45f9aee2ab9ebfb4ec77Chris Lattner Out.PadToColumn(50); 213929020a3b454f9fc84f899197556aa71914b51e24Devang Patel if (Tag == dwarf::DW_TAG_user_base) 21406e6b1805dae72803fbfe45f9aee2ab9ebfb4ec77Chris Lattner Out << "; [ DW_TAG_user_base ]"; 214166797ff2e1433c1005f911c954a2953238d04554Dan Gohman else if (Tag.isIntN(32)) { 214266797ff2e1433c1005f911c954a2953238d04554Dan Gohman if (const char *TagName = dwarf::TagString(Tag.getZExtValue())) 214366797ff2e1433c1005f911c954a2953238d04554Dan Gohman Out << "; [ " << TagName << " ]"; 214466797ff2e1433c1005f911c954a2953238d04554Dan Gohman } 21456e6b1805dae72803fbfe45f9aee2ab9ebfb4ec77Chris Lattner} 21466e6b1805dae72803fbfe45f9aee2ab9ebfb4ec77Chris Lattner 21476e6b1805dae72803fbfe45f9aee2ab9ebfb4ec77Chris Lattnervoid AssemblyWriter::writeAllMDNodes() { 21486e6b1805dae72803fbfe45f9aee2ab9ebfb4ec77Chris Lattner SmallVector<const MDNode *, 16> Nodes; 2149307c9893fc30758041a3649a8bed2b4b4cc405d4Chris Lattner Nodes.resize(Machine.mdn_size()); 2150307c9893fc30758041a3649a8bed2b4b4cc405d4Chris Lattner for (SlotTracker::mdn_iterator I = Machine.mdn_begin(), E = Machine.mdn_end(); 2151307c9893fc30758041a3649a8bed2b4b4cc405d4Chris Lattner I != E; ++I) 21526e6b1805dae72803fbfe45f9aee2ab9ebfb4ec77Chris Lattner Nodes[I->second] = cast<MDNode>(I->first); 21536e6b1805dae72803fbfe45f9aee2ab9ebfb4ec77Chris Lattner 21546e6b1805dae72803fbfe45f9aee2ab9ebfb4ec77Chris Lattner for (unsigned i = 0, e = Nodes.size(); i != e; ++i) { 21556e6b1805dae72803fbfe45f9aee2ab9ebfb4ec77Chris Lattner Out << '!' << i << " = metadata "; 21562b4b1e2e603d5543bf2fe0ad45b62ca7bfaee81dChris Lattner printMDNodeBody(Nodes[i]); 21576e6b1805dae72803fbfe45f9aee2ab9ebfb4ec77Chris Lattner } 21586e6b1805dae72803fbfe45f9aee2ab9ebfb4ec77Chris Lattner} 21596e6b1805dae72803fbfe45f9aee2ab9ebfb4ec77Chris Lattner 21606e6b1805dae72803fbfe45f9aee2ab9ebfb4ec77Chris Lattnervoid AssemblyWriter::printMDNodeBody(const MDNode *Node) { 21613bdfbf5d56d52fc4c390df77f98ba2c46951b51aDan Gohman WriteMDNodeBodyInternal(Out, Node, &TypePrinter, &Machine, TheModule); 21626e6b1805dae72803fbfe45f9aee2ab9ebfb4ec77Chris Lattner WriteMDNodeComment(Node, Out); 21636e6b1805dae72803fbfe45f9aee2ab9ebfb4ec77Chris Lattner Out << "\n"; 21646e6b1805dae72803fbfe45f9aee2ab9ebfb4ec77Chris Lattner} 2165009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner 2166009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner//===----------------------------------------------------------------------===// 2167009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner// External Interface declarations 2168009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner//===----------------------------------------------------------------------===// 2169009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner 2170683e922d299bdfa9ec609bd58a0eed20568303f1Dan Gohmanvoid Module::print(raw_ostream &ROS, AssemblyAnnotationWriter *AAW) const { 2171944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner SlotTracker SlotTable(this); 2172683e922d299bdfa9ec609bd58a0eed20568303f1Dan Gohman formatted_raw_ostream OS(ROS); 2173944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner AssemblyWriter W(OS, SlotTable, this, AAW); 2174bd72b3201b24f6ae574b2a1949348f514fcd4c4fChris Lattner W.printModule(this); 217575cf7cf00d391ac6ca22d6240fa9d99ed427d1d5Chris Lattner} 2176009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner 217717aa92c92a925b4a674440c7ef088c223990e854Dan Gohmanvoid NamedMDNode::print(raw_ostream &ROS, AssemblyAnnotationWriter *AAW) const { 217817aa92c92a925b4a674440c7ef088c223990e854Dan Gohman SlotTracker SlotTable(getParent()); 217917aa92c92a925b4a674440c7ef088c223990e854Dan Gohman formatted_raw_ostream OS(ROS); 218017aa92c92a925b4a674440c7ef088c223990e854Dan Gohman AssemblyWriter W(OS, SlotTable, getParent(), AAW); 218117aa92c92a925b4a674440c7ef088c223990e854Dan Gohman W.printNamedMDNode(this); 218217aa92c92a925b4a674440c7ef088c223990e854Dan Gohman} 218317aa92c92a925b4a674440c7ef088c223990e854Dan Gohman 21846d4306e63c2ca40a0482bf74a077540bb9cda25eChris Lattnervoid Type::print(raw_ostream &OS) const { 21856d4306e63c2ca40a0482bf74a077540bb9cda25eChris Lattner if (this == 0) { 21866d4306e63c2ca40a0482bf74a077540bb9cda25eChris Lattner OS << "<null Type>"; 21876d4306e63c2ca40a0482bf74a077540bb9cda25eChris Lattner return; 21886d4306e63c2ca40a0482bf74a077540bb9cda25eChris Lattner } 2189e9fa33eb6629aea72cd59560216bb6a7b8ebc689Chris Lattner TypePrinting().print(this, OS); 2190009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner} 2191009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner 2192683e922d299bdfa9ec609bd58a0eed20568303f1Dan Gohmanvoid Value::print(raw_ostream &ROS, AssemblyAnnotationWriter *AAW) const { 2193944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner if (this == 0) { 21941220e10f70f89e0f8082344646d79805edf9025dDan Gohman ROS << "printing a <null> value\n"; 2195944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner return; 2196944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner } 21971220e10f70f89e0f8082344646d79805edf9025dDan Gohman formatted_raw_ostream OS(ROS); 2198944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner if (const Instruction *I = dyn_cast<Instruction>(this)) { 2199944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner const Function *F = I->getParent() ? I->getParent()->getParent() : 0; 2200944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner SlotTracker SlotTable(F); 2201dbe85bffd775620d7c93c041ad5bd49801eb9d14Chris Lattner AssemblyWriter W(OS, SlotTable, getModuleFromVal(I), AAW); 2202bd72b3201b24f6ae574b2a1949348f514fcd4c4fChris Lattner W.printInstruction(*I); 2203944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner } else if (const BasicBlock *BB = dyn_cast<BasicBlock>(this)) { 2204944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner SlotTracker SlotTable(BB->getParent()); 22056e6b1805dae72803fbfe45f9aee2ab9ebfb4ec77Chris Lattner AssemblyWriter W(OS, SlotTable, getModuleFromVal(BB), AAW); 2206bd72b3201b24f6ae574b2a1949348f514fcd4c4fChris Lattner W.printBasicBlock(BB); 2207944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner } else if (const GlobalValue *GV = dyn_cast<GlobalValue>(this)) { 2208944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner SlotTracker SlotTable(GV->getParent()); 2209ba0941fbe0db832b0bdca450688b63ddf6a45b0aDan Gohman AssemblyWriter W(OS, SlotTable, GV->getParent(), AAW); 2210bd72b3201b24f6ae574b2a1949348f514fcd4c4fChris Lattner if (const GlobalVariable *V = dyn_cast<GlobalVariable>(GV)) 2211bd72b3201b24f6ae574b2a1949348f514fcd4c4fChris Lattner W.printGlobal(V); 2212bd72b3201b24f6ae574b2a1949348f514fcd4c4fChris Lattner else if (const Function *F = dyn_cast<Function>(GV)) 2213bd72b3201b24f6ae574b2a1949348f514fcd4c4fChris Lattner W.printFunction(F); 2214bd72b3201b24f6ae574b2a1949348f514fcd4c4fChris Lattner else 2215bd72b3201b24f6ae574b2a1949348f514fcd4c4fChris Lattner W.printAlias(cast<GlobalAlias>(GV)); 2216fcd65ae28fe797c174be350a07955713fd42d110Devang Patel } else if (const MDNode *N = dyn_cast<MDNode>(this)) { 22178fffff537194e2375e65600f27d716c99f0eb38aVictor Hernandez const Function *F = N->getFunction(); 2218559588b156611aaab33d8b46dc0575508a49da2bVictor Hernandez SlotTracker SlotTable(F); 221979b78a43ece977899b654fe3c19d0c94f963c128Dan Gohman AssemblyWriter W(OS, SlotTable, F ? F->getParent() : 0, AAW); 22206e6b1805dae72803fbfe45f9aee2ab9ebfb4ec77Chris Lattner W.printMDNodeBody(N); 2221944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner } else if (const Constant *C = dyn_cast<Constant>(this)) { 2222e9fa33eb6629aea72cd59560216bb6a7b8ebc689Chris Lattner TypePrinting TypePrinter; 22230f7364b4aa15263827af49d046fd6147ac769eefChris Lattner TypePrinter.print(C->getType(), OS); 22246d4306e63c2ca40a0482bf74a077540bb9cda25eChris Lattner OS << ' '; 22253bdfbf5d56d52fc4c390df77f98ba2c46951b51aDan Gohman WriteConstantInternal(OS, C, TypePrinter, 0, 0); 22264a3d3a54ebc7125f851e978b7188bda1bfdc14acChris Lattner } else if (isa<InlineAsm>(this) || isa<MDString>(this) || 22274a3d3a54ebc7125f851e978b7188bda1bfdc14acChris Lattner isa<Argument>(this)) { 2228944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner WriteAsOperand(OS, this, true, 0); 2229944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner } else { 2230cd26ec5f3c089b3b24f80ff200e94e681eb9e1eeDan Gohman // Otherwise we don't know what it is. Call the virtual function to 2231cd26ec5f3c089b3b24f80ff200e94e681eb9e1eeDan Gohman // allow a subclass to print itself. 2232cd26ec5f3c089b3b24f80ff200e94e681eb9e1eeDan Gohman printCustom(OS); 2233944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner } 2234944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner} 2235944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner 2236cd26ec5f3c089b3b24f80ff200e94e681eb9e1eeDan Gohman// Value::printCustom - subclasses should override this to implement printing. 2237cd26ec5f3c089b3b24f80ff200e94e681eb9e1eeDan Gohmanvoid Value::printCustom(raw_ostream &OS) const { 2238cd26ec5f3c089b3b24f80ff200e94e681eb9e1eeDan Gohman llvm_unreachable("Unknown value to print out!"); 2239cd26ec5f3c089b3b24f80ff200e94e681eb9e1eeDan Gohman} 2240cd26ec5f3c089b3b24f80ff200e94e681eb9e1eeDan Gohman 22417059e530edcf3294315f02751c9df5e485f2932cChris Lattner// Value::dump - allow easy printing of Values from the debugger. 2242d865e02ea24e92f8fd1d2b49a26ea0676a879ce7David Greenevoid Value::dump() const { print(dbgs()); dbgs() << '\n'; } 2243fa452c05504ebee698e00050d04e1a43b0f21045Reid Spencer 22447059e530edcf3294315f02751c9df5e485f2932cChris Lattner// Type::dump - allow easy printing of Types from the debugger. 2245795daece23cdc66bc7c16e9a2043dd4a4d0bbfc0Chris Lattner// This one uses type names from the given context module 2246795daece23cdc66bc7c16e9a2043dd4a4d0bbfc0Chris Lattnervoid Type::dump(const Module *Context) const { 2247d865e02ea24e92f8fd1d2b49a26ea0676a879ce7David Greene WriteTypeSymbolic(dbgs(), this, Context); 2248d865e02ea24e92f8fd1d2b49a26ea0676a879ce7David Greene dbgs() << '\n'; 2249795daece23cdc66bc7c16e9a2043dd4a4d0bbfc0Chris Lattner} 2250795daece23cdc66bc7c16e9a2043dd4a4d0bbfc0Chris Lattner 2251c287137ce7455c63be0075e0d5aba0bab4f125eaChris Lattner// Type::dump - allow easy printing of Types from the debugger. 2252c287137ce7455c63be0075e0d5aba0bab4f125eaChris Lattnervoid Type::dump() const { dump(0); } 2253c287137ce7455c63be0075e0d5aba0bab4f125eaChris Lattner 22547059e530edcf3294315f02751c9df5e485f2932cChris Lattner// Module::dump() - Allow printing of Modules from the debugger. 2255d865e02ea24e92f8fd1d2b49a26ea0676a879ce7David Greenevoid Module::dump() const { print(dbgs(), 0); } 2256