AsmWriter.cpp revision 667d4b8de6dea70195ff12ef39a4deebffa2f5c7
18da78afce3609f8ac31bef9d1310744a47bbd0ccChris Lattner//===-- AsmWriter.cpp - Printing LLVM as an assembly file -----------------===//
2fd93908ae8b9684fe71c239e3c6cfe13ff6a2663Misha Brukman//
3b576c94c15af9a440f69d9d03c2afead7971118cJohn Criswell//                     The LLVM Compiler Infrastructure
4b576c94c15af9a440f69d9d03c2afead7971118cJohn Criswell//
54ee451de366474b9c228b4e5fa573795a715216dChris Lattner// This file is distributed under the University of Illinois Open Source
64ee451de366474b9c228b4e5fa573795a715216dChris Lattner// License. See LICENSE.TXT for details.
7fd93908ae8b9684fe71c239e3c6cfe13ff6a2663Misha Brukman//
8b576c94c15af9a440f69d9d03c2afead7971118cJohn Criswell//===----------------------------------------------------------------------===//
9009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner//
10009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner// This library implements the functionality defined in llvm/Assembly/Writer.h
11009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner//
1202b9399baef2afc1a0c8c83152d2f28145658bbcChris Lattner// Note that these routines must be extremely tolerant of various errors in the
138f77daef04355c00b78b645f5aae5694e7a8b631Chris Lattner// LLVM code, because it can be used for debugging transformations.
1402b9399baef2afc1a0c8c83152d2f28145658bbcChris Lattner//
15009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner//===----------------------------------------------------------------------===//
16009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner
1775cf7cf00d391ac6ca22d6240fa9d99ed427d1d5Chris Lattner#include "llvm/Assembly/Writer.h"
18f082b80828c13dcb7fb29ad5167ed161c1031534Chris Lattner#include "llvm/Assembly/PrintModulePass.h"
1995e5a2cc3fc55b262d2baa1cc417115dfa4a18eaChris Lattner#include "llvm/Assembly/AsmAnnotationWriter.h"
20d511898b581826694e6c651e23343b1e1ba5ba64Chris Lattner#include "llvm/CallingConv.h"
21f2d577b27a56a928fa3e77ab0cd83e7597751313Chris Lattner#include "llvm/Constants.h"
223eb59c0074978cb4687779365dbe664e2e18e0b2Chris Lattner#include "llvm/DerivedTypes.h"
23863517aea0b06770c809396be985c1c4cc50d3c4Chris Lattner#include "llvm/InlineAsm.h"
24b4dbb4445c67fc46e56765035c2787028a66a614Vikram S. Adve#include "llvm/Instruction.h"
2544336292fcd9f3f99cbfc2c3366bea0cf95bb675Misha Brukman#include "llvm/Instructions.h"
26f2d577b27a56a928fa3e77ab0cd83e7597751313Chris Lattner#include "llvm/Module.h"
27ef9b9a793949469cdaa4ab6d0173136229dcab7bReid Spencer#include "llvm/ValueSymbolTable.h"
2878d033e086e19e016273de014f9214aa6f3f844bReid Spencer#include "llvm/TypeSymbolTable.h"
29413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner#include "llvm/ADT/DenseSet.h"
30551ccae044b0ff658fe629dd67edd5ffe75d10e8Reid Spencer#include "llvm/ADT/StringExtras.h"
31551ccae044b0ff658fe629dd67edd5ffe75d10e8Reid Spencer#include "llvm/ADT/STLExtras.h"
328f487662869d10c866b9ebdccb8f6a7509d3ab56Bill Wendling#include "llvm/Support/CFG.h"
33cb6682fa44e13262bdef7dd22b4ba90f8c2e7b97Jim Laskey#include "llvm/Support/MathExtras.h"
3445d4c73aa75fa9c6362b5c47ac520f2b2c2c1561Chris Lattner#include "llvm/Support/raw_ostream.h"
35007377f381e253cc559db8d3c94fa89b0eb55fadChris Lattner#include <algorithm>
364ad513ca153430c3a7f36be1ef43af04534e1f5dReid Spencer#include <cctype>
3731f8499e83dc4dccbb57ea7e76d1fd49b7010d0cChris Lattnerusing namespace llvm;
38d0fde30ce850b78371fd1386338350591f9ff494Brian Gaeke
39edd5d9ece15f73ec1a31423a4ae39774aa6c521cReid Spencer// Make virtual table appear in this compilation unit.
40edd5d9ece15f73ec1a31423a4ae39774aa6c521cReid SpencerAssemblyAnnotationWriter::~AssemblyAnnotationWriter() {}
41edd5d9ece15f73ec1a31423a4ae39774aa6c521cReid Spencer
426ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner//===----------------------------------------------------------------------===//
436ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner// Helper Functions
446ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner//===----------------------------------------------------------------------===//
450e25e1cdcf1f73bb9f56b91155d5c0ef42ef0a44Reid Spencer
46207b5bc6a15e12a87c3c861da680b8b23559a34cChris Lattnerstatic const Module *getModuleFromVal(const Value *V) {
47949a3628024248db01d5b13e03c415e0c88e90e4Chris Lattner  if (const Argument *MA = dyn_cast<Argument>(V))
48207b5bc6a15e12a87c3c861da680b8b23559a34cChris Lattner    return MA->getParent() ? MA->getParent()->getParent() : 0;
496ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner
506ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner  if (const BasicBlock *BB = dyn_cast<BasicBlock>(V))
51207b5bc6a15e12a87c3c861da680b8b23559a34cChris Lattner    return BB->getParent() ? BB->getParent()->getParent() : 0;
526ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner
536ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner  if (const Instruction *I = dyn_cast<Instruction>(V)) {
5479df7c0aaa18129e55968c8783ef8346807bd4afChris Lattner    const Function *M = I->getParent() ? I->getParent()->getParent() : 0;
55207b5bc6a15e12a87c3c861da680b8b23559a34cChris Lattner    return M ? M->getParent() : 0;
566ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner  }
576ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner
586ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner  if (const GlobalValue *GV = dyn_cast<GlobalValue>(V))
59207b5bc6a15e12a87c3c861da680b8b23559a34cChris Lattner    return GV->getParent();
60207b5bc6a15e12a87c3c861da680b8b23559a34cChris Lattner  return 0;
61207b5bc6a15e12a87c3c861da680b8b23559a34cChris Lattner}
62207b5bc6a15e12a87c3c861da680b8b23559a34cChris Lattner
63e9da133ae0a3ea5bbadd14f33c5005a4e25422eaDaniel Dunbar// PrintEscapedString - Print each character of the specified string, escaping
64e9da133ae0a3ea5bbadd14f33c5005a4e25422eaDaniel Dunbar// it if it is not printable or if it is an escape char.
65e9da133ae0a3ea5bbadd14f33c5005a4e25422eaDaniel Dunbarstatic void PrintEscapedString(const char *Str, unsigned Length,
66e9da133ae0a3ea5bbadd14f33c5005a4e25422eaDaniel Dunbar                               raw_ostream &Out) {
67e9da133ae0a3ea5bbadd14f33c5005a4e25422eaDaniel Dunbar  for (unsigned i = 0; i != Length; ++i) {
68e9da133ae0a3ea5bbadd14f33c5005a4e25422eaDaniel Dunbar    unsigned char C = Str[i];
69e9da133ae0a3ea5bbadd14f33c5005a4e25422eaDaniel Dunbar    if (isprint(C) && C != '\\' && C != '"' && isprint(C))
70e9da133ae0a3ea5bbadd14f33c5005a4e25422eaDaniel Dunbar      Out << C;
71e9da133ae0a3ea5bbadd14f33c5005a4e25422eaDaniel Dunbar    else
72e9da133ae0a3ea5bbadd14f33c5005a4e25422eaDaniel Dunbar      Out << '\\' << hexdigit(C >> 4) << hexdigit(C & 0x0F);
73e9da133ae0a3ea5bbadd14f33c5005a4e25422eaDaniel Dunbar  }
74e9da133ae0a3ea5bbadd14f33c5005a4e25422eaDaniel Dunbar}
75e9da133ae0a3ea5bbadd14f33c5005a4e25422eaDaniel Dunbar
76e9da133ae0a3ea5bbadd14f33c5005a4e25422eaDaniel Dunbar// PrintEscapedString - Print each character of the specified string, escaping
77e9da133ae0a3ea5bbadd14f33c5005a4e25422eaDaniel Dunbar// it if it is not printable or if it is an escape char.
78e9da133ae0a3ea5bbadd14f33c5005a4e25422eaDaniel Dunbarstatic void PrintEscapedString(const std::string &Str, raw_ostream &Out) {
79e9da133ae0a3ea5bbadd14f33c5005a4e25422eaDaniel Dunbar  PrintEscapedString(Str.c_str(), Str.size(), Out);
80e9da133ae0a3ea5bbadd14f33c5005a4e25422eaDaniel Dunbar}
81e9da133ae0a3ea5bbadd14f33c5005a4e25422eaDaniel Dunbar
82addd44427cb1b46d85f2eb31c267dd1d43914252Chris Lattnerenum PrefixType {
83addd44427cb1b46d85f2eb31c267dd1d43914252Chris Lattner  GlobalPrefix,
84addd44427cb1b46d85f2eb31c267dd1d43914252Chris Lattner  LabelPrefix,
85cad3580e99ae045e138a1d57de589a01c1f9b296Daniel Dunbar  LocalPrefix,
86cad3580e99ae045e138a1d57de589a01c1f9b296Daniel Dunbar  NoPrefix
87addd44427cb1b46d85f2eb31c267dd1d43914252Chris Lattner};
88addd44427cb1b46d85f2eb31c267dd1d43914252Chris Lattner
89c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner/// PrintLLVMName - Turn the specified name into an 'LLVM name', which is either
90c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner/// prefixed with % (if the string only contains simple characters) or is
91c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner/// surrounded with ""'s (if it has special chars in it).  Print it out.
92944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattnerstatic void PrintLLVMName(raw_ostream &OS, const char *NameStr,
9352b26de325e32c71159376853384789b7646eaf4Chris Lattner                          unsigned NameLen, PrefixType Prefix) {
9452b26de325e32c71159376853384789b7646eaf4Chris Lattner  assert(NameStr && "Cannot get empty name!");
95c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner  switch (Prefix) {
9652b26de325e32c71159376853384789b7646eaf4Chris Lattner  default: assert(0 && "Bad prefix!");
97cad3580e99ae045e138a1d57de589a01c1f9b296Daniel Dunbar  case NoPrefix: break;
9852b26de325e32c71159376853384789b7646eaf4Chris Lattner  case GlobalPrefix: OS << '@'; break;
9952b26de325e32c71159376853384789b7646eaf4Chris Lattner  case LabelPrefix:  break;
10052b26de325e32c71159376853384789b7646eaf4Chris Lattner  case LocalPrefix:  OS << '%'; break;
101c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner  }
102c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner
103c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner  // Scan the name to see if it needs quotes first.
104e9da133ae0a3ea5bbadd14f33c5005a4e25422eaDaniel Dunbar  bool NeedsQuotes = isdigit(NameStr[0]);
105c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner  if (!NeedsQuotes) {
106c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner    for (unsigned i = 0; i != NameLen; ++i) {
107c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner      char C = NameStr[i];
108c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner      if (!isalnum(C) && C != '-' && C != '.' && C != '_') {
109c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner        NeedsQuotes = true;
110c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner        break;
111c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner      }
112c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner    }
113c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner  }
1146ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner
115c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner  // If we didn't need any quotes, just write out the name in one blast.
116c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner  if (!NeedsQuotes) {
117c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner    OS.write(NameStr, NameLen);
118c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner    return;
119c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner  }
120c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner
121c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner  // Okay, we need quotes.  Output the quotes and escape any scary characters as
122c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner  // needed.
123c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner  OS << '"';
124e9da133ae0a3ea5bbadd14f33c5005a4e25422eaDaniel Dunbar  PrintEscapedString(NameStr, NameLen, OS);
125c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner  OS << '"';
126c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner}
127c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner
1286ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner/// PrintLLVMName - Turn the specified name into an 'LLVM name', which is either
1296ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner/// prefixed with % (if the string only contains simple characters) or is
1306ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner/// surrounded with ""'s (if it has special chars in it).  Print it out.
131944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattnerstatic void PrintLLVMName(raw_ostream &OS, const Value *V) {
13252b26de325e32c71159376853384789b7646eaf4Chris Lattner  PrintLLVMName(OS, V->getNameStart(), V->getNameLen(),
133c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner                isa<GlobalValue>(V) ? GlobalPrefix : LocalPrefix);
134c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner}
135c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner
1369cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner//===----------------------------------------------------------------------===//
1379cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner// TypePrinting Class: Type printing machinery
1389cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner//===----------------------------------------------------------------------===//
1399cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner
14087185e82f683cf3c046ddf974513d5a286422f5fChris Lattnerstatic DenseMap<const Type *, std::string> &getTypeNamesMap(void *M) {
14187185e82f683cf3c046ddf974513d5a286422f5fChris Lattner  return *static_cast<DenseMap<const Type *, std::string>*>(M);
142d8030a7179a0d301dd3fb4c42c65a8f01dfe398eChris Lattner}
143d8030a7179a0d301dd3fb4c42c65a8f01dfe398eChris Lattner
144d8030a7179a0d301dd3fb4c42c65a8f01dfe398eChris Lattnervoid TypePrinting::clear() {
145d8030a7179a0d301dd3fb4c42c65a8f01dfe398eChris Lattner  getTypeNamesMap(TypeNames).clear();
146d8030a7179a0d301dd3fb4c42c65a8f01dfe398eChris Lattner}
1479cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner
148e9fa33eb6629aea72cd59560216bb6a7b8ebc689Chris Lattnerbool TypePrinting::hasTypeName(const Type *Ty) const {
149e9fa33eb6629aea72cd59560216bb6a7b8ebc689Chris Lattner  return getTypeNamesMap(TypeNames).count(Ty);
150e9fa33eb6629aea72cd59560216bb6a7b8ebc689Chris Lattner}
151e9fa33eb6629aea72cd59560216bb6a7b8ebc689Chris Lattner
152e9fa33eb6629aea72cd59560216bb6a7b8ebc689Chris Lattnervoid TypePrinting::addTypeName(const Type *Ty, const std::string &N) {
153e9fa33eb6629aea72cd59560216bb6a7b8ebc689Chris Lattner  getTypeNamesMap(TypeNames).insert(std::make_pair(Ty, N));
154e9fa33eb6629aea72cd59560216bb6a7b8ebc689Chris Lattner}
155e9fa33eb6629aea72cd59560216bb6a7b8ebc689Chris Lattner
156e9fa33eb6629aea72cd59560216bb6a7b8ebc689Chris Lattner
157e9fa33eb6629aea72cd59560216bb6a7b8ebc689Chris LattnerTypePrinting::TypePrinting() {
15887185e82f683cf3c046ddf974513d5a286422f5fChris Lattner  TypeNames = new DenseMap<const Type *, std::string>();
1599cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner}
1609cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner
161d8030a7179a0d301dd3fb4c42c65a8f01dfe398eChris LattnerTypePrinting::~TypePrinting() {
162d8030a7179a0d301dd3fb4c42c65a8f01dfe398eChris Lattner  delete &getTypeNamesMap(TypeNames);
163d8030a7179a0d301dd3fb4c42c65a8f01dfe398eChris Lattner}
164d8030a7179a0d301dd3fb4c42c65a8f01dfe398eChris Lattner
165534361e7e17b34c6ac043a2c8bea626a5e9f1657Chris Lattner/// CalcTypeName - Write the specified type to the specified raw_ostream, making
166534361e7e17b34c6ac043a2c8bea626a5e9f1657Chris Lattner/// use of type names or up references to shorten the type name where possible.
167534361e7e17b34c6ac043a2c8bea626a5e9f1657Chris Lattnervoid TypePrinting::CalcTypeName(const Type *Ty,
168b840cace77b2c6afe9106698b1cb003a04e53b41Chris Lattner                                SmallVectorImpl<const Type *> &TypeStack,
169d2b6cb0a2b6e5994ff871027617c5efd69f7e3adChris Lattner                                raw_ostream &OS, bool IgnoreTopLevelName) {
1709cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner  // Check to see if the type is named.
171d2b6cb0a2b6e5994ff871027617c5efd69f7e3adChris Lattner  if (!IgnoreTopLevelName) {
172d2b6cb0a2b6e5994ff871027617c5efd69f7e3adChris Lattner    DenseMap<const Type*, std::string> &TM = getTypeNamesMap(TypeNames);
173d2b6cb0a2b6e5994ff871027617c5efd69f7e3adChris Lattner    DenseMap<const Type *, std::string>::iterator I = TM.find(Ty);
174d2b6cb0a2b6e5994ff871027617c5efd69f7e3adChris Lattner    if (I != TM.end()) {
175d2b6cb0a2b6e5994ff871027617c5efd69f7e3adChris Lattner      OS << I->second;
176d2b6cb0a2b6e5994ff871027617c5efd69f7e3adChris Lattner      return;
177d2b6cb0a2b6e5994ff871027617c5efd69f7e3adChris Lattner    }
1789cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner  }
1799cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner
1809cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner  // Check to see if the Type is already on the stack...
1819cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner  unsigned Slot = 0, CurSize = TypeStack.size();
1829cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner  while (Slot < CurSize && TypeStack[Slot] != Ty) ++Slot; // Scan for type
1839cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner
1849cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner  // This is another base case for the recursion.  In this case, we know
1859cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner  // that we have looped back to a type that we have previously visited.
1869cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner  // Generate the appropriate upreference to handle this.
1879cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner  if (Slot < CurSize) {
18830794269d5ba15613d4e013d9fe1eb9e892fa6daChris Lattner    OS << '\\' << unsigned(CurSize-Slot);     // Here's the upreference
1899cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner    return;
1909cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner  }
1919cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner
1929cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner  TypeStack.push_back(Ty);    // Recursive case: Add us to the stack..
1939cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner
1949cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner  switch (Ty->getTypeID()) {
19530794269d5ba15613d4e013d9fe1eb9e892fa6daChris Lattner  case Type::VoidTyID:      OS << "void"; break;
19630794269d5ba15613d4e013d9fe1eb9e892fa6daChris Lattner  case Type::FloatTyID:     OS << "float"; break;
19730794269d5ba15613d4e013d9fe1eb9e892fa6daChris Lattner  case Type::DoubleTyID:    OS << "double"; break;
19830794269d5ba15613d4e013d9fe1eb9e892fa6daChris Lattner  case Type::X86_FP80TyID:  OS << "x86_fp80"; break;
19930794269d5ba15613d4e013d9fe1eb9e892fa6daChris Lattner  case Type::FP128TyID:     OS << "fp128"; break;
20030794269d5ba15613d4e013d9fe1eb9e892fa6daChris Lattner  case Type::PPC_FP128TyID: OS << "ppc_fp128"; break;
20130794269d5ba15613d4e013d9fe1eb9e892fa6daChris Lattner  case Type::LabelTyID:     OS << "label"; break;
202583ffd878744e27b2ced28d67026c6ad83175ef2Chris Lattner  case Type::IntegerTyID:
20330794269d5ba15613d4e013d9fe1eb9e892fa6daChris Lattner    OS << 'i' << cast<IntegerType>(Ty)->getBitWidth();
204583ffd878744e27b2ced28d67026c6ad83175ef2Chris Lattner    break;
205583ffd878744e27b2ced28d67026c6ad83175ef2Chris Lattner
20636942d7383df0ab00f7f5b16c04f330aedf5c9f1Chris Lattner  case Type::FunctionTyID: {
20736942d7383df0ab00f7f5b16c04f330aedf5c9f1Chris Lattner    const FunctionType *FTy = cast<FunctionType>(Ty);
20830794269d5ba15613d4e013d9fe1eb9e892fa6daChris Lattner    CalcTypeName(FTy->getReturnType(), TypeStack, OS);
20930794269d5ba15613d4e013d9fe1eb9e892fa6daChris Lattner    OS << " (";
21036942d7383df0ab00f7f5b16c04f330aedf5c9f1Chris Lattner    for (FunctionType::param_iterator I = FTy->param_begin(),
21136942d7383df0ab00f7f5b16c04f330aedf5c9f1Chris Lattner         E = FTy->param_end(); I != E; ++I) {
21236942d7383df0ab00f7f5b16c04f330aedf5c9f1Chris Lattner      if (I != FTy->param_begin())
21330794269d5ba15613d4e013d9fe1eb9e892fa6daChris Lattner        OS << ", ";
21430794269d5ba15613d4e013d9fe1eb9e892fa6daChris Lattner      CalcTypeName(*I, TypeStack, OS);
2159cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner    }
21636942d7383df0ab00f7f5b16c04f330aedf5c9f1Chris Lattner    if (FTy->isVarArg()) {
21730794269d5ba15613d4e013d9fe1eb9e892fa6daChris Lattner      if (FTy->getNumParams()) OS << ", ";
21830794269d5ba15613d4e013d9fe1eb9e892fa6daChris Lattner      OS << "...";
2199cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner    }
22030794269d5ba15613d4e013d9fe1eb9e892fa6daChris Lattner    OS << ')';
22136942d7383df0ab00f7f5b16c04f330aedf5c9f1Chris Lattner    break;
22236942d7383df0ab00f7f5b16c04f330aedf5c9f1Chris Lattner  }
22336942d7383df0ab00f7f5b16c04f330aedf5c9f1Chris Lattner  case Type::StructTyID: {
22436942d7383df0ab00f7f5b16c04f330aedf5c9f1Chris Lattner    const StructType *STy = cast<StructType>(Ty);
22536942d7383df0ab00f7f5b16c04f330aedf5c9f1Chris Lattner    if (STy->isPacked())
22630794269d5ba15613d4e013d9fe1eb9e892fa6daChris Lattner      OS << '<';
22730794269d5ba15613d4e013d9fe1eb9e892fa6daChris Lattner    OS << "{ ";
22836942d7383df0ab00f7f5b16c04f330aedf5c9f1Chris Lattner    for (StructType::element_iterator I = STy->element_begin(),
22936942d7383df0ab00f7f5b16c04f330aedf5c9f1Chris Lattner         E = STy->element_end(); I != E; ++I) {
23030794269d5ba15613d4e013d9fe1eb9e892fa6daChris Lattner      CalcTypeName(*I, TypeStack, OS);
23136942d7383df0ab00f7f5b16c04f330aedf5c9f1Chris Lattner      if (next(I) != STy->element_end())
23230794269d5ba15613d4e013d9fe1eb9e892fa6daChris Lattner        OS << ',';
23330794269d5ba15613d4e013d9fe1eb9e892fa6daChris Lattner      OS << ' ';
2349cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner    }
23530794269d5ba15613d4e013d9fe1eb9e892fa6daChris Lattner    OS << '}';
23636942d7383df0ab00f7f5b16c04f330aedf5c9f1Chris Lattner    if (STy->isPacked())
23730794269d5ba15613d4e013d9fe1eb9e892fa6daChris Lattner      OS << '>';
23836942d7383df0ab00f7f5b16c04f330aedf5c9f1Chris Lattner    break;
23936942d7383df0ab00f7f5b16c04f330aedf5c9f1Chris Lattner  }
24036942d7383df0ab00f7f5b16c04f330aedf5c9f1Chris Lattner  case Type::PointerTyID: {
24136942d7383df0ab00f7f5b16c04f330aedf5c9f1Chris Lattner    const PointerType *PTy = cast<PointerType>(Ty);
24230794269d5ba15613d4e013d9fe1eb9e892fa6daChris Lattner    CalcTypeName(PTy->getElementType(), TypeStack, OS);
24336942d7383df0ab00f7f5b16c04f330aedf5c9f1Chris Lattner    if (unsigned AddressSpace = PTy->getAddressSpace())
24430794269d5ba15613d4e013d9fe1eb9e892fa6daChris Lattner      OS << " addrspace(" << AddressSpace << ')';
24530794269d5ba15613d4e013d9fe1eb9e892fa6daChris Lattner    OS << '*';
24636942d7383df0ab00f7f5b16c04f330aedf5c9f1Chris Lattner    break;
24736942d7383df0ab00f7f5b16c04f330aedf5c9f1Chris Lattner  }
24836942d7383df0ab00f7f5b16c04f330aedf5c9f1Chris Lattner  case Type::ArrayTyID: {
24936942d7383df0ab00f7f5b16c04f330aedf5c9f1Chris Lattner    const ArrayType *ATy = cast<ArrayType>(Ty);
25030794269d5ba15613d4e013d9fe1eb9e892fa6daChris Lattner    OS << '[' << ATy->getNumElements() << " x ";
25130794269d5ba15613d4e013d9fe1eb9e892fa6daChris Lattner    CalcTypeName(ATy->getElementType(), TypeStack, OS);
25230794269d5ba15613d4e013d9fe1eb9e892fa6daChris Lattner    OS << ']';
25336942d7383df0ab00f7f5b16c04f330aedf5c9f1Chris Lattner    break;
25436942d7383df0ab00f7f5b16c04f330aedf5c9f1Chris Lattner  }
25536942d7383df0ab00f7f5b16c04f330aedf5c9f1Chris Lattner  case Type::VectorTyID: {
25636942d7383df0ab00f7f5b16c04f330aedf5c9f1Chris Lattner    const VectorType *PTy = cast<VectorType>(Ty);
25730794269d5ba15613d4e013d9fe1eb9e892fa6daChris Lattner    OS << "<" << PTy->getNumElements() << " x ";
25830794269d5ba15613d4e013d9fe1eb9e892fa6daChris Lattner    CalcTypeName(PTy->getElementType(), TypeStack, OS);
25930794269d5ba15613d4e013d9fe1eb9e892fa6daChris Lattner    OS << '>';
26036942d7383df0ab00f7f5b16c04f330aedf5c9f1Chris Lattner    break;
26136942d7383df0ab00f7f5b16c04f330aedf5c9f1Chris Lattner  }
26236942d7383df0ab00f7f5b16c04f330aedf5c9f1Chris Lattner  case Type::OpaqueTyID:
26330794269d5ba15613d4e013d9fe1eb9e892fa6daChris Lattner    OS << "opaque";
26436942d7383df0ab00f7f5b16c04f330aedf5c9f1Chris Lattner    break;
26536942d7383df0ab00f7f5b16c04f330aedf5c9f1Chris Lattner  default:
26630794269d5ba15613d4e013d9fe1eb9e892fa6daChris Lattner    OS << "<unrecognized-type>";
26736942d7383df0ab00f7f5b16c04f330aedf5c9f1Chris Lattner    break;
2689cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner  }
2699cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner
270534361e7e17b34c6ac043a2c8bea626a5e9f1657Chris Lattner  TypeStack.pop_back();       // Remove self from stack.
2719cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner}
2729cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner
2739cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner/// printTypeInt - The internal guts of printing out a type that has a
2749cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner/// potentially named portion.
2759cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner///
276d2b6cb0a2b6e5994ff871027617c5efd69f7e3adChris Lattnervoid TypePrinting::print(const Type *Ty, raw_ostream &OS,
277d2b6cb0a2b6e5994ff871027617c5efd69f7e3adChris Lattner                         bool IgnoreTopLevelName) {
2789cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner  // Check to see if the type is named.
27987185e82f683cf3c046ddf974513d5a286422f5fChris Lattner  DenseMap<const Type*, std::string> &TM = getTypeNamesMap(TypeNames);
280d2b6cb0a2b6e5994ff871027617c5efd69f7e3adChris Lattner  if (!IgnoreTopLevelName) {
281d2b6cb0a2b6e5994ff871027617c5efd69f7e3adChris Lattner    DenseMap<const Type*, std::string>::iterator I = TM.find(Ty);
282d2b6cb0a2b6e5994ff871027617c5efd69f7e3adChris Lattner    if (I != TM.end()) {
283d2b6cb0a2b6e5994ff871027617c5efd69f7e3adChris Lattner      OS << I->second;
284d2b6cb0a2b6e5994ff871027617c5efd69f7e3adChris Lattner      return;
285d2b6cb0a2b6e5994ff871027617c5efd69f7e3adChris Lattner    }
2869cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner  }
2879cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner
2889cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner  // Otherwise we have a type that has not been named but is a derived type.
2899cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner  // Carefully recurse the type hierarchy to print out any contained symbolic
2909cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner  // names.
291b840cace77b2c6afe9106698b1cb003a04e53b41Chris Lattner  SmallVector<const Type *, 16> TypeStack;
2929cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner  std::string TypeName;
293534361e7e17b34c6ac043a2c8bea626a5e9f1657Chris Lattner
294534361e7e17b34c6ac043a2c8bea626a5e9f1657Chris Lattner  raw_string_ostream TypeOS(TypeName);
295d2b6cb0a2b6e5994ff871027617c5efd69f7e3adChris Lattner  CalcTypeName(Ty, TypeStack, TypeOS, IgnoreTopLevelName);
296534361e7e17b34c6ac043a2c8bea626a5e9f1657Chris Lattner  OS << TypeOS.str();
297534361e7e17b34c6ac043a2c8bea626a5e9f1657Chris Lattner
298534361e7e17b34c6ac043a2c8bea626a5e9f1657Chris Lattner  // Cache type name for later use.
299d2b6cb0a2b6e5994ff871027617c5efd69f7e3adChris Lattner  if (!IgnoreTopLevelName)
300d2b6cb0a2b6e5994ff871027617c5efd69f7e3adChris Lattner    TM.insert(std::make_pair(Ty, TypeOS.str()));
3019cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner}
3029cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner
303413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattnernamespace {
304413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner  class TypeFinder {
305413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner    // To avoid walking constant expressions multiple times and other IR
306413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner    // objects, we keep several helper maps.
307413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner    DenseSet<const Value*> VisitedConstants;
308413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner    DenseSet<const Type*> VisitedTypes;
309413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner
310413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner    TypePrinting &TP;
311413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner    std::vector<const Type*> &NumberedTypes;
312413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner  public:
313413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner    TypeFinder(TypePrinting &tp, std::vector<const Type*> &numberedTypes)
314413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner      : TP(tp), NumberedTypes(numberedTypes) {}
315413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner
316413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner    void Run(const Module &M) {
317884858608b0107df56e671406d280e9617988f36Chris Lattner      // Get types from the type symbol table.  This gets opaque types referened
318884858608b0107df56e671406d280e9617988f36Chris Lattner      // only through derived named types.
319884858608b0107df56e671406d280e9617988f36Chris Lattner      const TypeSymbolTable &ST = M.getTypeSymbolTable();
320884858608b0107df56e671406d280e9617988f36Chris Lattner      for (TypeSymbolTable::const_iterator TI = ST.begin(), E = ST.end();
321884858608b0107df56e671406d280e9617988f36Chris Lattner           TI != E; ++TI)
322884858608b0107df56e671406d280e9617988f36Chris Lattner        IncorporateType(TI->second);
323884858608b0107df56e671406d280e9617988f36Chris Lattner
324413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner      // Get types from global variables.
325413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner      for (Module::const_global_iterator I = M.global_begin(),
326413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner           E = M.global_end(); I != E; ++I) {
327413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner        IncorporateType(I->getType());
328413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner        if (I->hasInitializer())
329413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner          IncorporateValue(I->getInitializer());
330413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner      }
331413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner
332413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner      // Get types from aliases.
333413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner      for (Module::const_alias_iterator I = M.alias_begin(),
334413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner           E = M.alias_end(); I != E; ++I) {
335413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner        IncorporateType(I->getType());
336413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner        IncorporateValue(I->getAliasee());
337413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner      }
338413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner
339413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner      // Get types from functions.
340413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner      for (Module::const_iterator FI = M.begin(), E = M.end(); FI != E; ++FI) {
341413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner        IncorporateType(FI->getType());
342413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner
343413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner        for (Function::const_iterator BB = FI->begin(), E = FI->end();
344413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner             BB != E;++BB)
345413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner          for (BasicBlock::const_iterator II = BB->begin(),
346413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner               E = BB->end(); II != E; ++II) {
347413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner            const Instruction &I = *II;
348413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner            // Incorporate the type of the instruction and all its operands.
349413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner            IncorporateType(I.getType());
350413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner            for (User::const_op_iterator OI = I.op_begin(), OE = I.op_end();
351413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner                 OI != OE; ++OI)
352413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner              IncorporateValue(*OI);
353413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner          }
354413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner      }
355413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner    }
356413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner
357413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner  private:
358413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner    void IncorporateType(const Type *Ty) {
359413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner      // Check to see if we're already visited this type.
360884858608b0107df56e671406d280e9617988f36Chris Lattner      if (!VisitedTypes.insert(Ty).second)
361413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner        return;
362413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner
363413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner      // If this is a structure or opaque type, add a name for the type.
364884858608b0107df56e671406d280e9617988f36Chris Lattner      if ((isa<StructType>(Ty) || isa<OpaqueType>(Ty))
365884858608b0107df56e671406d280e9617988f36Chris Lattner          && !TP.hasTypeName(Ty)) {
366413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner        TP.addTypeName(Ty, "%"+utostr(unsigned(NumberedTypes.size())));
367413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner        NumberedTypes.push_back(Ty);
368413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner      }
369413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner
370413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner      // Recursively walk all contained types.
371413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner      for (Type::subtype_iterator I = Ty->subtype_begin(),
372413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner           E = Ty->subtype_end(); I != E; ++I)
373413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner        IncorporateType(*I);
374413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner    }
375413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner
376413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner    /// IncorporateValue - This method is used to walk operand lists finding
377413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner    /// types hiding in constant expressions and other operands that won't be
378413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner    /// walked in other ways.  GlobalValues, basic blocks, instructions, and
379413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner    /// inst operands are all explicitly enumerated.
380413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner    void IncorporateValue(const Value *V) {
381413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner      if (V == 0 || !isa<Constant>(V) || isa<GlobalValue>(V)) return;
382413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner
383413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner      // Already visited?
384413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner      if (!VisitedConstants.insert(V).second)
385413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner        return;
386413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner
387413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner      // Check this type.
388413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner      IncorporateType(V->getType());
389413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner
390413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner      // Look in operands for types.
391413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner      const Constant *C = cast<Constant>(V);
392413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner      for (Constant::const_op_iterator I = C->op_begin(),
393413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner           E = C->op_end(); I != E;++I)
394413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner        IncorporateValue(*I);
395413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner    }
396413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner  };
397413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner} // end anonymous namespace
398413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner
399413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner
400413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner/// AddModuleTypesToPrinter - Add all of the symbolic type names for types in
401413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner/// the specified module to the TypePrinter and all numbered types to it and the
402413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner/// NumberedTypes table.
403413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattnerstatic void AddModuleTypesToPrinter(TypePrinting &TP,
404413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner                                    std::vector<const Type*> &NumberedTypes,
405413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner                                    const Module *M) {
406e9fa33eb6629aea72cd59560216bb6a7b8ebc689Chris Lattner  if (M == 0) return;
407e9fa33eb6629aea72cd59560216bb6a7b8ebc689Chris Lattner
408e9fa33eb6629aea72cd59560216bb6a7b8ebc689Chris Lattner  // If the module has a symbol table, take all global types and stuff their
409e9fa33eb6629aea72cd59560216bb6a7b8ebc689Chris Lattner  // names into the TypeNames map.
410e9fa33eb6629aea72cd59560216bb6a7b8ebc689Chris Lattner  const TypeSymbolTable &ST = M->getTypeSymbolTable();
411e9fa33eb6629aea72cd59560216bb6a7b8ebc689Chris Lattner  for (TypeSymbolTable::const_iterator TI = ST.begin(), E = ST.end();
412e9fa33eb6629aea72cd59560216bb6a7b8ebc689Chris Lattner       TI != E; ++TI) {
413e9fa33eb6629aea72cd59560216bb6a7b8ebc689Chris Lattner    const Type *Ty = cast<Type>(TI->second);
414e9fa33eb6629aea72cd59560216bb6a7b8ebc689Chris Lattner
415e9fa33eb6629aea72cd59560216bb6a7b8ebc689Chris Lattner    // As a heuristic, don't insert pointer to primitive types, because
416e9fa33eb6629aea72cd59560216bb6a7b8ebc689Chris Lattner    // they are used too often to have a single useful name.
417e9fa33eb6629aea72cd59560216bb6a7b8ebc689Chris Lattner    if (const PointerType *PTy = dyn_cast<PointerType>(Ty)) {
418e9fa33eb6629aea72cd59560216bb6a7b8ebc689Chris Lattner      const Type *PETy = PTy->getElementType();
419e9fa33eb6629aea72cd59560216bb6a7b8ebc689Chris Lattner      if ((PETy->isPrimitiveType() || PETy->isInteger()) &&
420e9fa33eb6629aea72cd59560216bb6a7b8ebc689Chris Lattner          !isa<OpaqueType>(PETy))
421e9fa33eb6629aea72cd59560216bb6a7b8ebc689Chris Lattner        continue;
422e9fa33eb6629aea72cd59560216bb6a7b8ebc689Chris Lattner    }
423e9fa33eb6629aea72cd59560216bb6a7b8ebc689Chris Lattner
424e9fa33eb6629aea72cd59560216bb6a7b8ebc689Chris Lattner    // Likewise don't insert primitives either.
425e9fa33eb6629aea72cd59560216bb6a7b8ebc689Chris Lattner    if (Ty->isInteger() || Ty->isPrimitiveType())
426e9fa33eb6629aea72cd59560216bb6a7b8ebc689Chris Lattner      continue;
427e9fa33eb6629aea72cd59560216bb6a7b8ebc689Chris Lattner
428e9fa33eb6629aea72cd59560216bb6a7b8ebc689Chris Lattner    // Get the name as a string and insert it into TypeNames.
429e9fa33eb6629aea72cd59560216bb6a7b8ebc689Chris Lattner    std::string NameStr;
430e9fa33eb6629aea72cd59560216bb6a7b8ebc689Chris Lattner    raw_string_ostream NameOS(NameStr);
431e9fa33eb6629aea72cd59560216bb6a7b8ebc689Chris Lattner    PrintLLVMName(NameOS, TI->first.c_str(), TI->first.length(), LocalPrefix);
432e9fa33eb6629aea72cd59560216bb6a7b8ebc689Chris Lattner    TP.addTypeName(Ty, NameOS.str());
433e9fa33eb6629aea72cd59560216bb6a7b8ebc689Chris Lattner  }
434413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner
435413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner  // Walk the entire module to find references to unnamed structure and opaque
436413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner  // types.  This is required for correctness by opaque types (because multiple
437413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner  // uses of an unnamed opaque type needs to be referred to by the same ID) and
438413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner  // it shrinks complex recursive structure types substantially in some cases.
439413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner  TypeFinder(TP, NumberedTypes).Run(*M);
440e9fa33eb6629aea72cd59560216bb6a7b8ebc689Chris Lattner}
441e9fa33eb6629aea72cd59560216bb6a7b8ebc689Chris Lattner
4429cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner
4439cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner/// WriteTypeSymbolic - This attempts to write the specified type as a symbolic
4449cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner/// type, iff there is an entry in the modules symbol table for the specified
445c287137ce7455c63be0075e0d5aba0bab4f125eaChris Lattner/// type or one of it's component types.
4469cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner///
447e9fa33eb6629aea72cd59560216bb6a7b8ebc689Chris Lattnervoid llvm::WriteTypeSymbolic(raw_ostream &OS, const Type *Ty, const Module *M) {
448e9fa33eb6629aea72cd59560216bb6a7b8ebc689Chris Lattner  TypePrinting Printer;
449413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner  std::vector<const Type*> NumberedTypes;
450413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner  AddModuleTypesToPrinter(Printer, NumberedTypes, M);
451e9fa33eb6629aea72cd59560216bb6a7b8ebc689Chris Lattner  Printer.print(Ty, OS);
4529cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner}
4539cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner
4546ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner//===----------------------------------------------------------------------===//
4556ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner// SlotTracker Class: Enumerate slot numbers for unnamed values
4566ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner//===----------------------------------------------------------------------===//
4576ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner
4586ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattnernamespace {
4596ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner
4606ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner/// This class provides computation of slot numbers for LLVM Assembly writing.
4616ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner///
4626ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattnerclass SlotTracker {
4636ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattnerpublic:
4646ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner  /// ValueMap - A mapping of Values to slot numbers
4656ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner  typedef DenseMap<const Value*, unsigned> ValueMap;
4666ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner
4676ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattnerprivate:
4686ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner  /// TheModule - The module for which we are holding slot numbers
4696ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner  const Module* TheModule;
4706ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner
4716ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner  /// TheFunction - The function for which we are holding slot numbers
4726ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner  const Function* TheFunction;
4736ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner  bool FunctionProcessed;
4746ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner
4756ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner  /// mMap - The TypePlanes map for the module level data
4766ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner  ValueMap mMap;
4776ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner  unsigned mNext;
4786ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner
4796ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner  /// fMap - The TypePlanes map for the function level data
4806ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner  ValueMap fMap;
4816ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner  unsigned fNext;
4826ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner
4836ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattnerpublic:
4846ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner  /// Construct from a module
4856ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner  explicit SlotTracker(const Module *M);
4866ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner  /// Construct from a function, starting out in incorp state.
4876ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner  explicit SlotTracker(const Function *F);
4886ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner
4896ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner  /// Return the slot number of the specified value in it's type
4906ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner  /// plane.  If something is not in the SlotTracker, return -1.
4916ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner  int getLocalSlot(const Value *V);
4926ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner  int getGlobalSlot(const GlobalValue *V);
4936ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner
4946ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner  /// If you'd like to deal with a function instead of just a module, use
4956ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner  /// this method to get its data into the SlotTracker.
4966ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner  void incorporateFunction(const Function *F) {
4976ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner    TheFunction = F;
4986ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner    FunctionProcessed = false;
4996ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner  }
5006ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner
5016ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner  /// After calling incorporateFunction, use this method to remove the
5026ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner  /// most recently incorporated function from the SlotTracker. This
5036ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner  /// will reset the state of the machine back to just the module contents.
5046ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner  void purgeFunction();
5056ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner
5066ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner  // Implementation Details
5076ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattnerprivate:
5086ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner  /// This function does the actual initialization.
5096ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner  inline void initialize();
5106ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner
5116ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner  /// CreateModuleSlot - Insert the specified GlobalValue* into the slot table.
5126ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner  void CreateModuleSlot(const GlobalValue *V);
5136ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner
5146ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner  /// CreateFunctionSlot - Insert the specified Value* into the slot table.
5156ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner  void CreateFunctionSlot(const Value *V);
5166ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner
5176ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner  /// Add all of the module level global variables (and their initializers)
5186ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner  /// and function declarations, but not the contents of those functions.
5196ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner  void processModule();
5206ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner
5216ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner  /// Add all of the functions arguments, basic blocks, and instructions
5226ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner  void processFunction();
5236ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner
5246ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner  SlotTracker(const SlotTracker &);  // DO NOT IMPLEMENT
5256ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner  void operator=(const SlotTracker &);  // DO NOT IMPLEMENT
5266ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner};
5276ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner
5286ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner}  // end anonymous namespace
5296ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner
5306ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner
5316ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattnerstatic SlotTracker *createSlotTracker(const Value *V) {
5326ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner  if (const Argument *FA = dyn_cast<Argument>(V))
5336ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner    return new SlotTracker(FA->getParent());
5346ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner
5356ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner  if (const Instruction *I = dyn_cast<Instruction>(V))
5366ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner    return new SlotTracker(I->getParent()->getParent());
5376ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner
5386ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner  if (const BasicBlock *BB = dyn_cast<BasicBlock>(V))
5396ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner    return new SlotTracker(BB->getParent());
5406ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner
5416ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner  if (const GlobalVariable *GV = dyn_cast<GlobalVariable>(V))
5426ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner    return new SlotTracker(GV->getParent());
5436ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner
5446ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner  if (const GlobalAlias *GA = dyn_cast<GlobalAlias>(V))
5456ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner    return new SlotTracker(GA->getParent());
5466ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner
5476ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner  if (const Function *Func = dyn_cast<Function>(V))
5486ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner    return new SlotTracker(Func);
5496ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner
5506ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner  return 0;
5516ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner}
5526ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner
5536ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner#if 0
554242330371b2b7ab9d5a6c4f5f93ec82c514cc09aChris Lattner#define ST_DEBUG(X) cerr << X
5556ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner#else
556242330371b2b7ab9d5a6c4f5f93ec82c514cc09aChris Lattner#define ST_DEBUG(X)
5576ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner#endif
5586ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner
5596ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner// Module level constructor. Causes the contents of the Module (sans functions)
5606ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner// to be added to the slot table.
5616ab910b946b6af54384662fb404d6e9b22fa5727Chris LattnerSlotTracker::SlotTracker(const Module *M)
562cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner  : TheModule(M), TheFunction(0), FunctionProcessed(false), mNext(0), fNext(0) {
5636ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner}
5646ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner
5656ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner// Function level constructor. Causes the contents of the Module and the one
5666ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner// function provided to be added to the slot table.
5676ab910b946b6af54384662fb404d6e9b22fa5727Chris LattnerSlotTracker::SlotTracker(const Function *F)
568cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner  : TheModule(F ? F->getParent() : 0), TheFunction(F), FunctionProcessed(false),
569cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner    mNext(0), fNext(0) {
5706ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner}
5716ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner
5726ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattnerinline void SlotTracker::initialize() {
5736ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner  if (TheModule) {
5746ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner    processModule();
5756ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner    TheModule = 0; ///< Prevent re-processing next time we're called.
5766ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner  }
577cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner
5786ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner  if (TheFunction && !FunctionProcessed)
5796ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner    processFunction();
5806ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner}
5816ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner
5826ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner// Iterate through all the global variables, functions, and global
5836ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner// variable initializers and create slots for them.
5846ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattnervoid SlotTracker::processModule() {
585242330371b2b7ab9d5a6c4f5f93ec82c514cc09aChris Lattner  ST_DEBUG("begin processModule!\n");
5866ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner
5876ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner  // Add all of the unnamed global variables to the value table.
5886ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner  for (Module::const_global_iterator I = TheModule->global_begin(),
5896ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner       E = TheModule->global_end(); I != E; ++I)
5906ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner    if (!I->hasName())
5916ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner      CreateModuleSlot(I);
5926ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner
5936ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner  // Add all the unnamed functions to the table.
5946ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner  for (Module::const_iterator I = TheModule->begin(), E = TheModule->end();
5956ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner       I != E; ++I)
5966ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner    if (!I->hasName())
5976ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner      CreateModuleSlot(I);
5986ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner
599242330371b2b7ab9d5a6c4f5f93ec82c514cc09aChris Lattner  ST_DEBUG("end processModule!\n");
6006ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner}
6016ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner
6026ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner
6036ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner// Process the arguments, basic blocks, and instructions  of a function.
6046ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattnervoid SlotTracker::processFunction() {
605242330371b2b7ab9d5a6c4f5f93ec82c514cc09aChris Lattner  ST_DEBUG("begin processFunction!\n");
6066ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner  fNext = 0;
6076ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner
6086ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner  // Add all the function arguments with no names.
6096ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner  for(Function::const_arg_iterator AI = TheFunction->arg_begin(),
6106ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner      AE = TheFunction->arg_end(); AI != AE; ++AI)
6116ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner    if (!AI->hasName())
6126ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner      CreateFunctionSlot(AI);
6136ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner
614242330371b2b7ab9d5a6c4f5f93ec82c514cc09aChris Lattner  ST_DEBUG("Inserting Instructions:\n");
6156ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner
6166ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner  // Add all of the basic blocks and instructions with no names.
6176ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner  for (Function::const_iterator BB = TheFunction->begin(),
6186ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner       E = TheFunction->end(); BB != E; ++BB) {
6196ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner    if (!BB->hasName())
6206ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner      CreateFunctionSlot(BB);
6216ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner    for (BasicBlock::const_iterator I = BB->begin(), E = BB->end(); I != E; ++I)
6226ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner      if (I->getType() != Type::VoidTy && !I->hasName())
6236ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner        CreateFunctionSlot(I);
6246ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner  }
6256ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner
6266ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner  FunctionProcessed = true;
6276ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner
628242330371b2b7ab9d5a6c4f5f93ec82c514cc09aChris Lattner  ST_DEBUG("end processFunction!\n");
6296ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner}
6306ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner
6316ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner/// Clean up after incorporating a function. This is the only way to get out of
6326ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner/// the function incorporation state that affects get*Slot/Create*Slot. Function
6336ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner/// incorporation state is indicated by TheFunction != 0.
6346ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattnervoid SlotTracker::purgeFunction() {
635242330371b2b7ab9d5a6c4f5f93ec82c514cc09aChris Lattner  ST_DEBUG("begin purgeFunction!\n");
6366ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner  fMap.clear(); // Simply discard the function level map
6376ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner  TheFunction = 0;
6386ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner  FunctionProcessed = false;
639242330371b2b7ab9d5a6c4f5f93ec82c514cc09aChris Lattner  ST_DEBUG("end purgeFunction!\n");
6406ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner}
6416ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner
6426ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner/// getGlobalSlot - Get the slot number of a global value.
6436ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattnerint SlotTracker::getGlobalSlot(const GlobalValue *V) {
6446ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner  // Check for uninitialized state and do lazy initialization.
6456ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner  initialize();
6466ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner
6476ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner  // Find the type plane in the module map
6486ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner  ValueMap::iterator MI = mMap.find(V);
649aeaf245db33fa8bccdd14bb8899ee0585a75a7b1Dan Gohman  return MI == mMap.end() ? -1 : (int)MI->second;
6506ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner}
6516ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner
6526ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner
6536ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner/// getLocalSlot - Get the slot number for a value that is local to a function.
6546ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattnerint SlotTracker::getLocalSlot(const Value *V) {
6556ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner  assert(!isa<Constant>(V) && "Can't get a constant or global slot with this!");
6566ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner
6576ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner  // Check for uninitialized state and do lazy initialization.
6586ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner  initialize();
6596ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner
6606ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner  ValueMap::iterator FI = fMap.find(V);
661aeaf245db33fa8bccdd14bb8899ee0585a75a7b1Dan Gohman  return FI == fMap.end() ? -1 : (int)FI->second;
6626ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner}
6636ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner
6646ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner
6656ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner/// CreateModuleSlot - Insert the specified GlobalValue* into the slot table.
6666ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattnervoid SlotTracker::CreateModuleSlot(const GlobalValue *V) {
6676ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner  assert(V && "Can't insert a null Value into SlotTracker!");
6686ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner  assert(V->getType() != Type::VoidTy && "Doesn't need a slot!");
6696ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner  assert(!V->hasName() && "Doesn't need a slot!");
6706ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner
6716ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner  unsigned DestSlot = mNext++;
6726ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner  mMap[V] = DestSlot;
6736ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner
674242330371b2b7ab9d5a6c4f5f93ec82c514cc09aChris Lattner  ST_DEBUG("  Inserting value [" << V->getType() << "] = " << V << " slot=" <<
6756ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner           DestSlot << " [");
6766ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner  // G = Global, F = Function, A = Alias, o = other
677242330371b2b7ab9d5a6c4f5f93ec82c514cc09aChris Lattner  ST_DEBUG((isa<GlobalVariable>(V) ? 'G' :
6786ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner            (isa<Function>(V) ? 'F' :
6796ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner             (isa<GlobalAlias>(V) ? 'A' : 'o'))) << "]\n");
6806ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner}
6816ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner
6826ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner
6836ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner/// CreateSlot - Create a new slot for the specified value if it has no name.
6846ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattnervoid SlotTracker::CreateFunctionSlot(const Value *V) {
6856ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner  assert(V->getType() != Type::VoidTy && !V->hasName() &&
6866ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner         "Doesn't need a slot!");
6876ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner
6886ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner  unsigned DestSlot = fNext++;
6896ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner  fMap[V] = DestSlot;
6906ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner
6916ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner  // G = Global, F = Function, o = other
692242330371b2b7ab9d5a6c4f5f93ec82c514cc09aChris Lattner  ST_DEBUG("  Inserting value [" << V->getType() << "] = " << V << " slot=" <<
6936ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner           DestSlot << " [o]\n");
6946ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner}
6956ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner
6966ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner
6976ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner
6986ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner//===----------------------------------------------------------------------===//
6996ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner// AsmWriter Implementation
7006ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner//===----------------------------------------------------------------------===//
7016ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner
702944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattnerstatic void WriteAsOperandInternal(raw_ostream &Out, const Value *V,
7039cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner                                   TypePrinting &TypePrinter,
7046ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner                                   SlotTracker *Machine);
7056ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner
7066ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner
7076ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner
70882c4bc7153d390ad1c2b369e0caef456948b8825Chris Lattnerstatic const char *getPredicateText(unsigned predicate) {
70981dfeb3264d3c1f619c3f73046ded1ac6883e59dReid Spencer  const char * pred = "unknown";
71081dfeb3264d3c1f619c3f73046ded1ac6883e59dReid Spencer  switch (predicate) {
71181dfeb3264d3c1f619c3f73046ded1ac6883e59dReid Spencer    case FCmpInst::FCMP_FALSE: pred = "false"; break;
71281dfeb3264d3c1f619c3f73046ded1ac6883e59dReid Spencer    case FCmpInst::FCMP_OEQ:   pred = "oeq"; break;
71381dfeb3264d3c1f619c3f73046ded1ac6883e59dReid Spencer    case FCmpInst::FCMP_OGT:   pred = "ogt"; break;
71481dfeb3264d3c1f619c3f73046ded1ac6883e59dReid Spencer    case FCmpInst::FCMP_OGE:   pred = "oge"; break;
71581dfeb3264d3c1f619c3f73046ded1ac6883e59dReid Spencer    case FCmpInst::FCMP_OLT:   pred = "olt"; break;
71681dfeb3264d3c1f619c3f73046ded1ac6883e59dReid Spencer    case FCmpInst::FCMP_OLE:   pred = "ole"; break;
71781dfeb3264d3c1f619c3f73046ded1ac6883e59dReid Spencer    case FCmpInst::FCMP_ONE:   pred = "one"; break;
71881dfeb3264d3c1f619c3f73046ded1ac6883e59dReid Spencer    case FCmpInst::FCMP_ORD:   pred = "ord"; break;
71981dfeb3264d3c1f619c3f73046ded1ac6883e59dReid Spencer    case FCmpInst::FCMP_UNO:   pred = "uno"; break;
72081dfeb3264d3c1f619c3f73046ded1ac6883e59dReid Spencer    case FCmpInst::FCMP_UEQ:   pred = "ueq"; break;
72181dfeb3264d3c1f619c3f73046ded1ac6883e59dReid Spencer    case FCmpInst::FCMP_UGT:   pred = "ugt"; break;
72281dfeb3264d3c1f619c3f73046ded1ac6883e59dReid Spencer    case FCmpInst::FCMP_UGE:   pred = "uge"; break;
72381dfeb3264d3c1f619c3f73046ded1ac6883e59dReid Spencer    case FCmpInst::FCMP_ULT:   pred = "ult"; break;
72481dfeb3264d3c1f619c3f73046ded1ac6883e59dReid Spencer    case FCmpInst::FCMP_ULE:   pred = "ule"; break;
72581dfeb3264d3c1f619c3f73046ded1ac6883e59dReid Spencer    case FCmpInst::FCMP_UNE:   pred = "une"; break;
72681dfeb3264d3c1f619c3f73046ded1ac6883e59dReid Spencer    case FCmpInst::FCMP_TRUE:  pred = "true"; break;
72781dfeb3264d3c1f619c3f73046ded1ac6883e59dReid Spencer    case ICmpInst::ICMP_EQ:    pred = "eq"; break;
72881dfeb3264d3c1f619c3f73046ded1ac6883e59dReid Spencer    case ICmpInst::ICMP_NE:    pred = "ne"; break;
72981dfeb3264d3c1f619c3f73046ded1ac6883e59dReid Spencer    case ICmpInst::ICMP_SGT:   pred = "sgt"; break;
73081dfeb3264d3c1f619c3f73046ded1ac6883e59dReid Spencer    case ICmpInst::ICMP_SGE:   pred = "sge"; break;
73181dfeb3264d3c1f619c3f73046ded1ac6883e59dReid Spencer    case ICmpInst::ICMP_SLT:   pred = "slt"; break;
73281dfeb3264d3c1f619c3f73046ded1ac6883e59dReid Spencer    case ICmpInst::ICMP_SLE:   pred = "sle"; break;
73381dfeb3264d3c1f619c3f73046ded1ac6883e59dReid Spencer    case ICmpInst::ICMP_UGT:   pred = "ugt"; break;
73481dfeb3264d3c1f619c3f73046ded1ac6883e59dReid Spencer    case ICmpInst::ICMP_UGE:   pred = "uge"; break;
73581dfeb3264d3c1f619c3f73046ded1ac6883e59dReid Spencer    case ICmpInst::ICMP_ULT:   pred = "ult"; break;
73681dfeb3264d3c1f619c3f73046ded1ac6883e59dReid Spencer    case ICmpInst::ICMP_ULE:   pred = "ule"; break;
73781dfeb3264d3c1f619c3f73046ded1ac6883e59dReid Spencer  }
73881dfeb3264d3c1f619c3f73046ded1ac6883e59dReid Spencer  return pred;
73981dfeb3264d3c1f619c3f73046ded1ac6883e59dReid Spencer}
74081dfeb3264d3c1f619c3f73046ded1ac6883e59dReid Spencer
741944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattnerstatic void WriteConstantInt(raw_ostream &Out, const Constant *CV,
7429cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner                             TypePrinting &TypePrinter, SlotTracker *Machine) {
7436b6b6ef1677fa71b1072c2911b4c1f9524a558c9Zhou Sheng  if (const ConstantInt *CI = dyn_cast<ConstantInt>(CV)) {
744fad86b003a839cef40ec8ce8408322f4913368caChris Lattner    if (CI->getType() == Type::Int1Ty) {
745579dca12c2cfd60bc18aaadbd5331897d48fec29Reid Spencer      Out << (CI->getZExtValue() ? "true" : "false");
746fad86b003a839cef40ec8ce8408322f4913368caChris Lattner      return;
747fad86b003a839cef40ec8ce8408322f4913368caChris Lattner    }
748fad86b003a839cef40ec8ce8408322f4913368caChris Lattner    Out << CI->getValue();
749fad86b003a839cef40ec8ce8408322f4913368caChris Lattner    return;
750fad86b003a839cef40ec8ce8408322f4913368caChris Lattner  }
751fad86b003a839cef40ec8ce8408322f4913368caChris Lattner
752fad86b003a839cef40ec8ce8408322f4913368caChris Lattner  if (const ConstantFP *CFP = dyn_cast<ConstantFP>(CV)) {
7539d5f45607793052bf5b4436d1b43013fab9999acDale Johannesen    if (&CFP->getValueAPF().getSemantics() == &APFloat::IEEEdouble ||
7549d5f45607793052bf5b4436d1b43013fab9999acDale Johannesen        &CFP->getValueAPF().getSemantics() == &APFloat::IEEEsingle) {
7559d5f45607793052bf5b4436d1b43013fab9999acDale Johannesen      // We would like to output the FP constant value in exponential notation,
7569d5f45607793052bf5b4436d1b43013fab9999acDale Johannesen      // but we cannot do this if doing so will lose precision.  Check here to
7579d5f45607793052bf5b4436d1b43013fab9999acDale Johannesen      // make sure that we only output it in exponential format if we can parse
7589d5f45607793052bf5b4436d1b43013fab9999acDale Johannesen      // the value back and get the same value.
7599d5f45607793052bf5b4436d1b43013fab9999acDale Johannesen      //
760541ed9fd02ea48d2739f4a9dd681ba2d5da26886Dale Johannesen      bool ignored;
7619d5f45607793052bf5b4436d1b43013fab9999acDale Johannesen      bool isDouble = &CFP->getValueAPF().getSemantics()==&APFloat::IEEEdouble;
762fad86b003a839cef40ec8ce8408322f4913368caChris Lattner      double Val = isDouble ? CFP->getValueAPF().convertToDouble() :
763fad86b003a839cef40ec8ce8408322f4913368caChris Lattner                              CFP->getValueAPF().convertToFloat();
7649d5f45607793052bf5b4436d1b43013fab9999acDale Johannesen      std::string StrVal = ftostr(CFP->getValueAPF());
7659d5f45607793052bf5b4436d1b43013fab9999acDale Johannesen
7669d5f45607793052bf5b4436d1b43013fab9999acDale Johannesen      // Check to make sure that the stringized number is not some string like
7679d5f45607793052bf5b4436d1b43013fab9999acDale Johannesen      // "Inf" or NaN, that atof will accept, but the lexer will not.  Check
7689d5f45607793052bf5b4436d1b43013fab9999acDale Johannesen      // that the string matches the "[-+]?[0-9]" regex.
7699d5f45607793052bf5b4436d1b43013fab9999acDale Johannesen      //
7709d5f45607793052bf5b4436d1b43013fab9999acDale Johannesen      if ((StrVal[0] >= '0' && StrVal[0] <= '9') ||
7719d5f45607793052bf5b4436d1b43013fab9999acDale Johannesen          ((StrVal[0] == '-' || StrVal[0] == '+') &&
7729d5f45607793052bf5b4436d1b43013fab9999acDale Johannesen           (StrVal[1] >= '0' && StrVal[1] <= '9'))) {
7739d5f45607793052bf5b4436d1b43013fab9999acDale Johannesen        // Reparse stringized version!
7749d5f45607793052bf5b4436d1b43013fab9999acDale Johannesen        if (atof(StrVal.c_str()) == Val) {
7759d5f45607793052bf5b4436d1b43013fab9999acDale Johannesen          Out << StrVal;
7769d5f45607793052bf5b4436d1b43013fab9999acDale Johannesen          return;
7779d5f45607793052bf5b4436d1b43013fab9999acDale Johannesen        }
77866e810be9f97fa744ca949d54b5d54358add84b8Chris Lattner      }
7799d5f45607793052bf5b4436d1b43013fab9999acDale Johannesen      // Otherwise we could not reparse it to exactly the same value, so we must
780541ed9fd02ea48d2739f4a9dd681ba2d5da26886Dale Johannesen      // output the string in hexadecimal format!  Note that loading and storing
781541ed9fd02ea48d2739f4a9dd681ba2d5da26886Dale Johannesen      // floating point types changes the bits of NaNs on some hosts, notably
782541ed9fd02ea48d2739f4a9dd681ba2d5da26886Dale Johannesen      // x86, so we must not use these types.
7839d5f45607793052bf5b4436d1b43013fab9999acDale Johannesen      assert(sizeof(double) == sizeof(uint64_t) &&
7849d5f45607793052bf5b4436d1b43013fab9999acDale Johannesen             "assuming that double is 64 bits!");
785c6a1346d7c6bb761f9e6c2c85b53febba1cb15dbChris Lattner      char Buffer[40];
786541ed9fd02ea48d2739f4a9dd681ba2d5da26886Dale Johannesen      APFloat apf = CFP->getValueAPF();
787541ed9fd02ea48d2739f4a9dd681ba2d5da26886Dale Johannesen      // Floats are represented in ASCII IR as double, convert.
788541ed9fd02ea48d2739f4a9dd681ba2d5da26886Dale Johannesen      if (!isDouble)
789541ed9fd02ea48d2739f4a9dd681ba2d5da26886Dale Johannesen        apf.convert(APFloat::IEEEdouble, APFloat::rmNearestTiesToEven,
790541ed9fd02ea48d2739f4a9dd681ba2d5da26886Dale Johannesen                          &ignored);
791541ed9fd02ea48d2739f4a9dd681ba2d5da26886Dale Johannesen      Out << "0x" <<
792541ed9fd02ea48d2739f4a9dd681ba2d5da26886Dale Johannesen              utohex_buffer(uint64_t(apf.bitcastToAPInt().getZExtValue()),
793541ed9fd02ea48d2739f4a9dd681ba2d5da26886Dale Johannesen                            Buffer+40);
794cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner      return;
795cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner    }
796cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner
797cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner    // Some form of long double.  These appear as a magic letter identifying
798cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner    // the type, then a fixed number of hex digits.
799cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner    Out << "0x";
800cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner    if (&CFP->getValueAPF().getSemantics() == &APFloat::x87DoubleExtended)
801cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner      Out << 'K';
802cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner    else if (&CFP->getValueAPF().getSemantics() == &APFloat::IEEEquad)
803cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner      Out << 'L';
804cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner    else if (&CFP->getValueAPF().getSemantics() == &APFloat::PPCDoubleDouble)
805cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner      Out << 'M';
806cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner    else
807cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner      assert(0 && "Unsupported floating point type");
808cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner    // api needed to prevent premature destruction
8097111b02c734c992b8c97d9918118768026dad79eDale Johannesen    APInt api = CFP->getValueAPF().bitcastToAPInt();
810cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner    const uint64_t* p = api.getRawData();
811cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner    uint64_t word = *p;
812cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner    int shiftcount=60;
813cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner    int width = api.getBitWidth();
814cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner    for (int j=0; j<width; j+=4, shiftcount-=4) {
815cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner      unsigned int nibble = (word>>shiftcount) & 15;
816cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner      if (nibble < 10)
817cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner        Out << (unsigned char)(nibble + '0');
8189d5f45607793052bf5b4436d1b43013fab9999acDale Johannesen      else
819cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner        Out << (unsigned char)(nibble - 10 + 'A');
820cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner      if (shiftcount == 0 && j+4 < width) {
821cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner        word = *(++p);
822cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner        shiftcount = 64;
823cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner        if (width-j-4 < 64)
824cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner          shiftcount = width-j-4;
8259d5f45607793052bf5b4436d1b43013fab9999acDale Johannesen      }
8269d5f45607793052bf5b4436d1b43013fab9999acDale Johannesen    }
827cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner    return;
828cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner  }
829cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner
830cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner  if (isa<ConstantAggregateZero>(CV)) {
831de512b5b2edebe9c9021a92c7c7a9ae9fbc380d6Chris Lattner    Out << "zeroinitializer";
832cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner    return;
833cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner  }
834cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner
835cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner  if (const ConstantArray *CA = dyn_cast<ConstantArray>(CV)) {
83666e810be9f97fa744ca949d54b5d54358add84b8Chris Lattner    // As a special case, print the array as a string if it is an array of
8379b38d7db6d9fbb5bf9d16bec590a17c5895453e1Dan Gohman    // i8 with ConstantInt values.
838fd93908ae8b9684fe71c239e3c6cfe13ff6a2663Misha Brukman    //
83966e810be9f97fa744ca949d54b5d54358add84b8Chris Lattner    const Type *ETy = CA->getType()->getElementType();
84018365506ebe3e28593cb36951f17f08e75712a29Chris Lattner    if (CA->isString()) {
84166e810be9f97fa744ca949d54b5d54358add84b8Chris Lattner      Out << "c\"";
84218365506ebe3e28593cb36951f17f08e75712a29Chris Lattner      PrintEscapedString(CA->getAsString(), Out);
843cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner      Out << '"';
84466e810be9f97fa744ca949d54b5d54358add84b8Chris Lattner    } else {                // Cannot output in string format...
84540c732cc52a5c71cead461646667ef5b13801923Misha Brukman      Out << '[';
8467a716addedc4938fa0ec6b77e5eeaced6eafc5d0Chris Lattner      if (CA->getNumOperands()) {
8470f7364b4aa15263827af49d046fd6147ac769eefChris Lattner        TypePrinter.print(ETy, Out);
8488dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman        Out << ' ';
8497a716addedc4938fa0ec6b77e5eeaced6eafc5d0Chris Lattner        WriteAsOperandInternal(Out, CA->getOperand(0),
8509cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner                               TypePrinter, Machine);
8517a716addedc4938fa0ec6b77e5eeaced6eafc5d0Chris Lattner        for (unsigned i = 1, e = CA->getNumOperands(); i != e; ++i) {
8527a716addedc4938fa0ec6b77e5eeaced6eafc5d0Chris Lattner          Out << ", ";
8530f7364b4aa15263827af49d046fd6147ac769eefChris Lattner          TypePrinter.print(ETy, Out);
8548dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman          Out << ' ';
8559cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner          WriteAsOperandInternal(Out, CA->getOperand(i), TypePrinter, Machine);
8567a716addedc4938fa0ec6b77e5eeaced6eafc5d0Chris Lattner        }
8577a716addedc4938fa0ec6b77e5eeaced6eafc5d0Chris Lattner      }
8588dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman      Out << ']';
8597a716addedc4938fa0ec6b77e5eeaced6eafc5d0Chris Lattner    }
860cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner    return;
861cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner  }
862cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner
863cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner  if (const ConstantStruct *CS = dyn_cast<ConstantStruct>(CV)) {
86443f344a26695ba85a1a0b5407c038d9c3f980327Andrew Lenharth    if (CS->getType()->isPacked())
86543f344a26695ba85a1a0b5407c038d9c3f980327Andrew Lenharth      Out << '<';
86640c732cc52a5c71cead461646667ef5b13801923Misha Brukman    Out << '{';
867a3f332bdc3e8fd1ac78dd3dc868d871e9086c5fdJim Laskey    unsigned N = CS->getNumOperands();
868a3f332bdc3e8fd1ac78dd3dc868d871e9086c5fdJim Laskey    if (N) {
869242330371b2b7ab9d5a6c4f5f93ec82c514cc09aChris Lattner      Out << ' ';
8700f7364b4aa15263827af49d046fd6147ac769eefChris Lattner      TypePrinter.print(CS->getOperand(0)->getType(), Out);
8718dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman      Out << ' ';
8727a716addedc4938fa0ec6b77e5eeaced6eafc5d0Chris Lattner
8739cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner      WriteAsOperandInternal(Out, CS->getOperand(0), TypePrinter, Machine);
8747a716addedc4938fa0ec6b77e5eeaced6eafc5d0Chris Lattner
875a3f332bdc3e8fd1ac78dd3dc868d871e9086c5fdJim Laskey      for (unsigned i = 1; i < N; i++) {
8767a716addedc4938fa0ec6b77e5eeaced6eafc5d0Chris Lattner        Out << ", ";
8770f7364b4aa15263827af49d046fd6147ac769eefChris Lattner        TypePrinter.print(CS->getOperand(i)->getType(), Out);
8788dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman        Out << ' ';
8797a716addedc4938fa0ec6b77e5eeaced6eafc5d0Chris Lattner
8809cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner        WriteAsOperandInternal(Out, CS->getOperand(i), TypePrinter, Machine);
8817a716addedc4938fa0ec6b77e5eeaced6eafc5d0Chris Lattner      }
8828dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman      Out << ' ';
8837a716addedc4938fa0ec6b77e5eeaced6eafc5d0Chris Lattner    }
884a3f332bdc3e8fd1ac78dd3dc868d871e9086c5fdJim Laskey
8858dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman    Out << '}';
88643f344a26695ba85a1a0b5407c038d9c3f980327Andrew Lenharth    if (CS->getType()->isPacked())
88743f344a26695ba85a1a0b5407c038d9c3f980327Andrew Lenharth      Out << '>';
888cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner    return;
889cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner  }
890cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner
891cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner  if (const ConstantVector *CP = dyn_cast<ConstantVector>(CV)) {
892cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner    const Type *ETy = CP->getType()->getElementType();
893cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner    assert(CP->getNumOperands() > 0 &&
894cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner           "Number of operands for a PackedConst must be > 0");
8957dfa07f794a5dd4479e80896ef626bbe69455908Dan Gohman    Out << '<';
8960f7364b4aa15263827af49d046fd6147ac769eefChris Lattner    TypePrinter.print(ETy, Out);
8978dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman    Out << ' ';
8989cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner    WriteAsOperandInternal(Out, CP->getOperand(0), TypePrinter, Machine);
899cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner    for (unsigned i = 1, e = CP->getNumOperands(); i != e; ++i) {
9004667b71f9380afad56cbdc1fd19ca32334086d2cChris Lattner      Out << ", ";
9010f7364b4aa15263827af49d046fd6147ac769eefChris Lattner      TypePrinter.print(ETy, Out);
9028dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman      Out << ' ';
9039cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner      WriteAsOperandInternal(Out, CP->getOperand(i), TypePrinter, Machine);
904cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner    }
9057dfa07f794a5dd4479e80896ef626bbe69455908Dan Gohman    Out << '>';
906cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner    return;
907cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner  }
908cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner
909cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner  if (isa<ConstantPointerNull>(CV)) {
9107a716addedc4938fa0ec6b77e5eeaced6eafc5d0Chris Lattner    Out << "null";
911cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner    return;
912cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner  }
913cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner
914cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner  if (isa<UndefValue>(CV)) {
915b976e668165e1875a8f1eb7af800e33bb1e4393dChris Lattner    Out << "undef";
916cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner    return;
917cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner  }
918b976e668165e1875a8f1eb7af800e33bb1e4393dChris Lattner
919cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner  if (const ConstantExpr *CE = dyn_cast<ConstantExpr>(CV)) {
92081dfeb3264d3c1f619c3f73046ded1ac6883e59dReid Spencer    Out << CE->getOpcodeName();
92181dfeb3264d3c1f619c3f73046ded1ac6883e59dReid Spencer    if (CE->isCompare())
922cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner      Out << ' ' << getPredicateText(CE->getPredicate());
92381dfeb3264d3c1f619c3f73046ded1ac6883e59dReid Spencer    Out << " (";
924fd93908ae8b9684fe71c239e3c6cfe13ff6a2663Misha Brukman
925b4dbb4445c67fc46e56765035c2787028a66a614Vikram S. Adve    for (User::const_op_iterator OI=CE->op_begin(); OI != CE->op_end(); ++OI) {
9260f7364b4aa15263827af49d046fd6147ac769eefChris Lattner      TypePrinter.print((*OI)->getType(), Out);
9278dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman      Out << ' ';
9289cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner      WriteAsOperandInternal(Out, *OI, TypePrinter, Machine);
929b4dbb4445c67fc46e56765035c2787028a66a614Vikram S. Adve      if (OI+1 != CE->op_end())
930c188eeb08c873da142a47398be6c405ce3f34f51Chris Lattner        Out << ", ";
931b4dbb4445c67fc46e56765035c2787028a66a614Vikram S. Adve    }
932fd93908ae8b9684fe71c239e3c6cfe13ff6a2663Misha Brukman
933995be7d07a0ed1f70a93b2a2e7f445461162e8a5Dan Gohman    if (CE->hasIndices()) {
934995be7d07a0ed1f70a93b2a2e7f445461162e8a5Dan Gohman      const SmallVector<unsigned, 4> &Indices = CE->getIndices();
935995be7d07a0ed1f70a93b2a2e7f445461162e8a5Dan Gohman      for (unsigned i = 0, e = Indices.size(); i != e; ++i)
936995be7d07a0ed1f70a93b2a2e7f445461162e8a5Dan Gohman        Out << ", " << Indices[i];
937995be7d07a0ed1f70a93b2a2e7f445461162e8a5Dan Gohman    }
938995be7d07a0ed1f70a93b2a2e7f445461162e8a5Dan Gohman
9393da59db637a887474c1b1346c1f3ccf53b6c4663Reid Spencer    if (CE->isCast()) {
94095586b8c833aeca112907e69f545a6ea6e2103ffChris Lattner      Out << " to ";
9410f7364b4aa15263827af49d046fd6147ac769eefChris Lattner      TypePrinter.print(CE->getType(), Out);
94295586b8c833aeca112907e69f545a6ea6e2103ffChris Lattner    }
9433da59db637a887474c1b1346c1f3ccf53b6c4663Reid Spencer
94440c732cc52a5c71cead461646667ef5b13801923Misha Brukman    Out << ')';
945cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner    return;
9467a716addedc4938fa0ec6b77e5eeaced6eafc5d0Chris Lattner  }
947cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner
948cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner  Out << "<placeholder or erroneous Constant>";
9497a716addedc4938fa0ec6b77e5eeaced6eafc5d0Chris Lattner}
9507a716addedc4938fa0ec6b77e5eeaced6eafc5d0Chris Lattner
9517a716addedc4938fa0ec6b77e5eeaced6eafc5d0Chris Lattner
952ab5c6003d23c19d23bbff1054900d208c55e0188Misha Brukman/// WriteAsOperand - Write the name of the specified value out to the specified
953ab5c6003d23c19d23bbff1054900d208c55e0188Misha Brukman/// ostream.  This can be useful when you just want to print int %reg126, not
954ab5c6003d23c19d23bbff1054900d208c55e0188Misha Brukman/// the whole instruction that generated it.
955ab5c6003d23c19d23bbff1054900d208c55e0188Misha Brukman///
956944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattnerstatic void WriteAsOperandInternal(raw_ostream &Out, const Value *V,
9579cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner                                   TypePrinting &TypePrinter,
9580d9574a1cd68c6e41f725c22657b8bb3f8d74117Chris Lattner                                   SlotTracker *Machine) {
959c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner  if (V->hasName()) {
960c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner    PrintLLVMName(Out, V);
961c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner    return;
962c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner  }
963c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner
964c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner  const Constant *CV = dyn_cast<Constant>(V);
965c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner  if (CV && !isa<GlobalValue>(CV)) {
9669cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner    WriteConstantInt(Out, CV, TypePrinter, Machine);
967cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner    return;
968cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner  }
969cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner
970cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner  if (const InlineAsm *IA = dyn_cast<InlineAsm>(V)) {
971c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner    Out << "asm ";
972c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner    if (IA->hasSideEffects())
973c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner      Out << "sideeffect ";
974c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner    Out << '"';
975c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner    PrintEscapedString(IA->getAsmString(), Out);
976c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner    Out << "\", \"";
977c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner    PrintEscapedString(IA->getConstraintString(), Out);
978c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner    Out << '"';
979cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner    return;
980cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner  }
981cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner
982cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner  char Prefix = '%';
983cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner  int Slot;
984cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner  if (Machine) {
985cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner    if (const GlobalValue *GV = dyn_cast<GlobalValue>(V)) {
986cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner      Slot = Machine->getGlobalSlot(GV);
987cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner      Prefix = '@';
988cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner    } else {
989cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner      Slot = Machine->getLocalSlot(V);
990cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner    }
991c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner  } else {
992cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner    Machine = createSlotTracker(V);
993c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner    if (Machine) {
994c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner      if (const GlobalValue *GV = dyn_cast<GlobalValue>(V)) {
995c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner        Slot = Machine->getGlobalSlot(GV);
996c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner        Prefix = '@';
997c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner      } else {
998c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner        Slot = Machine->getLocalSlot(V);
999c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner      }
100080cd11561892a639a2628d19815af0695b5dbcaaChris Lattner    } else {
1001cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner      Slot = -1;
10027a716addedc4938fa0ec6b77e5eeaced6eafc5d0Chris Lattner    }
1003cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner    delete Machine;
10047a716addedc4938fa0ec6b77e5eeaced6eafc5d0Chris Lattner  }
1005cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner
1006cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner  if (Slot != -1)
1007cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner    Out << Prefix << Slot;
1008cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner  else
1009cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner    Out << "<badref>";
10107a716addedc4938fa0ec6b77e5eeaced6eafc5d0Chris Lattner}
10117a716addedc4938fa0ec6b77e5eeaced6eafc5d0Chris Lattner
10129d0802e7dd165dd9b7372f12799f248e7f133287Misha Brukman/// WriteAsOperand - Write the name of the specified value out to the specified
10139d0802e7dd165dd9b7372f12799f248e7f133287Misha Brukman/// ostream.  This can be useful when you just want to print int %reg126, not
10149d0802e7dd165dd9b7372f12799f248e7f133287Misha Brukman/// the whole instruction that generated it.
10159d0802e7dd165dd9b7372f12799f248e7f133287Misha Brukman///
1016242330371b2b7ab9d5a6c4f5f93ec82c514cc09aChris Lattnervoid llvm::WriteAsOperand(std::ostream &Out, const Value *V, bool PrintType,
1017242330371b2b7ab9d5a6c4f5f93ec82c514cc09aChris Lattner                          const Module *Context) {
1018944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner  raw_os_ostream OS(Out);
1019944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner  WriteAsOperand(OS, V, PrintType, Context);
1020944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner}
1021944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner
1022944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattnervoid llvm::WriteAsOperand(raw_ostream &Out, const Value *V, bool PrintType,
1023944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner                          const Module *Context) {
1024607dc6880ecfd4807de2163d37f2fa8877b7f62dChris Lattner  if (Context == 0) Context = getModuleFromVal(V);
10257a716addedc4938fa0ec6b77e5eeaced6eafc5d0Chris Lattner
1026e9fa33eb6629aea72cd59560216bb6a7b8ebc689Chris Lattner  TypePrinting TypePrinter;
1027413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner  std::vector<const Type*> NumberedTypes;
1028413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner  AddModuleTypesToPrinter(TypePrinter, NumberedTypes, Context);
10298dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman  if (PrintType) {
10300f7364b4aa15263827af49d046fd6147ac769eefChris Lattner    TypePrinter.print(V->getType(), Out);
10318dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman    Out << ' ';
10328dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman  }
1033fd93908ae8b9684fe71c239e3c6cfe13ff6a2663Misha Brukman
10349cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner  WriteAsOperandInternal(Out, V, TypePrinter, 0);
1035622f740a7dcf0b3520244e58b2233898fd4a46e4Chris Lattner}
1036622f740a7dcf0b3520244e58b2233898fd4a46e4Chris Lattner
10370e25e1cdcf1f73bb9f56b91155d5c0ef42ef0a44Reid Spencer
1038cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattnernamespace {
1039d8c2e42aeff8bdb3ac905b4721b3d3ca1f904cfaChris Lattner
1040007377f381e253cc559db8d3c94fa89b0eb55fadChris Lattnerclass AssemblyWriter {
1041944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner  raw_ostream &Out;
10420d9574a1cd68c6e41f725c22657b8bb3f8d74117Chris Lattner  SlotTracker &Machine;
1043c1824996451d5ea93864fcd34ba8ea5e5f03e368Chris Lattner  const Module *TheModule;
10449cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner  TypePrinting TypePrinter;
104595e5a2cc3fc55b262d2baa1cc417115dfa4a18eaChris Lattner  AssemblyAnnotationWriter *AnnotationWriter;
1046413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner  std::vector<const Type*> NumberedTypes;
1047009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattnerpublic:
1048944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner  inline AssemblyWriter(raw_ostream &o, SlotTracker &Mac, const Module *M,
104995e5a2cc3fc55b262d2baa1cc417115dfa4a18eaChris Lattner                        AssemblyAnnotationWriter *AAW)
1050e9fa33eb6629aea72cd59560216bb6a7b8ebc689Chris Lattner    : Out(o), Machine(Mac), TheModule(M), AnnotationWriter(AAW) {
1051413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner    AddModuleTypesToPrinter(TypePrinter, NumberedTypes, M);
1052009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner  }
1053009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner
1054413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner  void write(const Module *M) { printModule(M); }
1055944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner
1056944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner  void write(const GlobalValue *G) {
1057944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner    if (const GlobalVariable *GV = dyn_cast<GlobalVariable>(G))
1058944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner      printGlobal(GV);
1059944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner    else if (const GlobalAlias *GA = dyn_cast<GlobalAlias>(G))
1060944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner      printAlias(GA);
1061944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner    else if (const Function *F = dyn_cast<Function>(G))
1062944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner      printFunction(F);
1063944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner    else
1064944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner      assert(0 && "Unknown global");
1065944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner  }
1066944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner
1067cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner  void write(const BasicBlock *BB)    { printBasicBlock(BB);  }
1068cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner  void write(const Instruction *I)    { printInstruction(*I); }
1069009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner
10702fcfdb79d0d1d2297d7aced11b567cd52494604eChris Lattner  void writeOperand(const Value *Op, bool PrintType);
1071eaf42abab6d465c38891345d999255871cf03943Devang Patel  void writeParamOperand(const Value *Operand, Attributes Attrs);
107266e810be9f97fa744ca949d54b5d54358add84b8Chris Lattner
10735cf1acff3c32e52d79ea8b0b47e341d4e975ed8cMisha Brukman  const Module* getModule() { return TheModule; }
10745cf1acff3c32e52d79ea8b0b47e341d4e975ed8cMisha Brukman
1075f771bea7402f05f59b2857586de9934ff1c7bbf5Misha Brukmanprivate:
1076c1824996451d5ea93864fcd34ba8ea5e5f03e368Chris Lattner  void printModule(const Module *M);
107778d033e086e19e016273de014f9214aa6f3f844bReid Spencer  void printTypeSymbolTable(const TypeSymbolTable &ST);
1078c1824996451d5ea93864fcd34ba8ea5e5f03e368Chris Lattner  void printGlobal(const GlobalVariable *GV);
10798b0a8c84da2030ee8f4440d5b60a8033de691222Anton Korobeynikov  void printAlias(const GlobalAlias *GV);
108079df7c0aaa18129e55968c8783ef8346807bd4afChris Lattner  void printFunction(const Function *F);
1081eaf42abab6d465c38891345d999255871cf03943Devang Patel  void printArgument(const Argument *FA, Attributes Attrs);
1082c1824996451d5ea93864fcd34ba8ea5e5f03e368Chris Lattner  void printBasicBlock(const BasicBlock *BB);
10837e70829632f82de15db187845666aaca6e04b792Chris Lattner  void printInstruction(const Instruction &I);
10842761e9f076bbe6c961629aece62db4b836a41ef8Chris Lattner
1085e02fa8551d20081534afa46e0976811687e5183aChris Lattner  // printInfoComment - Print a little comment after the instruction indicating
1086e02fa8551d20081534afa46e0976811687e5183aChris Lattner  // which slot it occupies.
10877e70829632f82de15db187845666aaca6e04b792Chris Lattner  void printInfoComment(const Value &V);
1088009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner};
1089413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner}  // end of anonymous namespace
1090009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner
10912761e9f076bbe6c961629aece62db4b836a41ef8Chris Lattner
10922fcfdb79d0d1d2297d7aced11b567cd52494604eChris Lattnervoid AssemblyWriter::writeOperand(const Value *Operand, bool PrintType) {
10932fcfdb79d0d1d2297d7aced11b567cd52494604eChris Lattner  if (Operand == 0) {
1094aab1820816facf83d7bda8f01e3d85ced99601f3Chris Lattner    Out << "<null operand!>";
10952fcfdb79d0d1d2297d7aced11b567cd52494604eChris Lattner  } else {
1096cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner    if (PrintType) {
10970f7364b4aa15263827af49d046fd6147ac769eefChris Lattner      TypePrinter.print(Operand->getType(), Out);
10988dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman      Out << ' ';
1099cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner    }
11009cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner    WriteAsOperandInternal(Out, Operand, TypePrinter, &Machine);
1101aab1820816facf83d7bda8f01e3d85ced99601f3Chris Lattner  }
1102007377f381e253cc559db8d3c94fa89b0eb55fadChris Lattner}
1103007377f381e253cc559db8d3c94fa89b0eb55fadChris Lattner
11040d51e7ec0d2dcbea9e304fd58deb05f37eb75635Dale Johannesenvoid AssemblyWriter::writeParamOperand(const Value *Operand,
1105eaf42abab6d465c38891345d999255871cf03943Devang Patel                                       Attributes Attrs) {
1106dc024674ff96820d6020757b48d47f46d4c07db2Duncan Sands  if (Operand == 0) {
1107dc024674ff96820d6020757b48d47f46d4c07db2Duncan Sands    Out << "<null operand!>";
1108dc024674ff96820d6020757b48d47f46d4c07db2Duncan Sands  } else {
1109dc024674ff96820d6020757b48d47f46d4c07db2Duncan Sands    // Print the type
11100f7364b4aa15263827af49d046fd6147ac769eefChris Lattner    TypePrinter.print(Operand->getType(), Out);
1111dc024674ff96820d6020757b48d47f46d4c07db2Duncan Sands    // Print parameter attributes list
11120598866c052147c31b808391f58434ce3dbfb838Devang Patel    if (Attrs != Attribute::None)
11130598866c052147c31b808391f58434ce3dbfb838Devang Patel      Out << ' ' << Attribute::getAsString(Attrs);
11148dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman    Out << ' ';
1115dc024674ff96820d6020757b48d47f46d4c07db2Duncan Sands    // Print the operand
11169cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner    WriteAsOperandInternal(Out, Operand, TypePrinter, &Machine);
1117dc024674ff96820d6020757b48d47f46d4c07db2Duncan Sands  }
1118dc024674ff96820d6020757b48d47f46d4c07db2Duncan Sands}
1119007377f381e253cc559db8d3c94fa89b0eb55fadChris Lattner
1120c1824996451d5ea93864fcd34ba8ea5e5f03e368Chris Lattnervoid AssemblyWriter::printModule(const Module *M) {
112131ab1b3d74440908889fc8ea0615c1d397478360Chris Lattner  if (!M->getModuleIdentifier().empty() &&
1122fd93908ae8b9684fe71c239e3c6cfe13ff6a2663Misha Brukman      // Don't print the ID if it will start a new line (which would
112331ab1b3d74440908889fc8ea0615c1d397478360Chris Lattner      // require a comment char before it).
112431ab1b3d74440908889fc8ea0615c1d397478360Chris Lattner      M->getModuleIdentifier().find('\n') == std::string::npos)
112531ab1b3d74440908889fc8ea0615c1d397478360Chris Lattner    Out << "; ModuleID = '" << M->getModuleIdentifier() << "'\n";
112631ab1b3d74440908889fc8ea0615c1d397478360Chris Lattner
1127cf7ff2b4c8c18d67aced9d7ba84482819b38a84bOwen Anderson  if (!M->getDataLayout().empty())
1128d2f9e609aa40de7049ebb6f838e7ba6579e3fb6aChris Lattner    Out << "target datalayout = \"" << M->getDataLayout() << "\"\n";
1129cddc86f27c822af960fc8d344a86a63fce6eab76Reid Spencer  if (!M->getTargetTriple().empty())
1130c9a1f0dcdde056a2cdbc446a9d6853684402263fReid Spencer    Out << "target triple = \"" << M->getTargetTriple() << "\"\n";
1131fd93908ae8b9684fe71c239e3c6cfe13ff6a2663Misha Brukman
1132cc041ba03aed685400197fb938b7a583713d25afChris Lattner  if (!M->getModuleInlineAsm().empty()) {
113342a162ed8023088e7a4a7d81325381bd8d437bb7Chris Lattner    // Split the string into lines, to make it easier to read the .ll file.
1134cc041ba03aed685400197fb938b7a583713d25afChris Lattner    std::string Asm = M->getModuleInlineAsm();
113542a162ed8023088e7a4a7d81325381bd8d437bb7Chris Lattner    size_t CurPos = 0;
113642a162ed8023088e7a4a7d81325381bd8d437bb7Chris Lattner    size_t NewLine = Asm.find_first_of('\n', CurPos);
113742a162ed8023088e7a4a7d81325381bd8d437bb7Chris Lattner    while (NewLine != std::string::npos) {
113842a162ed8023088e7a4a7d81325381bd8d437bb7Chris Lattner      // We found a newline, print the portion of the asm string from the
113942a162ed8023088e7a4a7d81325381bd8d437bb7Chris Lattner      // last newline up to this newline.
114042a162ed8023088e7a4a7d81325381bd8d437bb7Chris Lattner      Out << "module asm \"";
114142a162ed8023088e7a4a7d81325381bd8d437bb7Chris Lattner      PrintEscapedString(std::string(Asm.begin()+CurPos, Asm.begin()+NewLine),
114242a162ed8023088e7a4a7d81325381bd8d437bb7Chris Lattner                         Out);
114342a162ed8023088e7a4a7d81325381bd8d437bb7Chris Lattner      Out << "\"\n";
114442a162ed8023088e7a4a7d81325381bd8d437bb7Chris Lattner      CurPos = NewLine+1;
114542a162ed8023088e7a4a7d81325381bd8d437bb7Chris Lattner      NewLine = Asm.find_first_of('\n', CurPos);
114642a162ed8023088e7a4a7d81325381bd8d437bb7Chris Lattner    }
114771cdba31774ce18ed32e89f1c6f7716ab923aa46Chris Lattner    Out << "module asm \"";
114842a162ed8023088e7a4a7d81325381bd8d437bb7Chris Lattner    PrintEscapedString(std::string(Asm.begin()+CurPos, Asm.end()), Out);
114918365506ebe3e28593cb36951f17f08e75712a29Chris Lattner    Out << "\"\n";
115018365506ebe3e28593cb36951f17f08e75712a29Chris Lattner  }
115118365506ebe3e28593cb36951f17f08e75712a29Chris Lattner
115244da7d79760998f9a70340b49a3811229838224dChris Lattner  // Loop over the dependent libraries and emit them.
1153cfe97b78e787d232f4a82f5ff0afadf75ba95f6cChris Lattner  Module::lib_iterator LI = M->lib_begin();
1154cfe97b78e787d232f4a82f5ff0afadf75ba95f6cChris Lattner  Module::lib_iterator LE = M->lib_end();
1155cddc86f27c822af960fc8d344a86a63fce6eab76Reid Spencer  if (LI != LE) {
1156cfe97b78e787d232f4a82f5ff0afadf75ba95f6cChris Lattner    Out << "deplibs = [ ";
1157cfe97b78e787d232f4a82f5ff0afadf75ba95f6cChris Lattner    while (LI != LE) {
115844da7d79760998f9a70340b49a3811229838224dChris Lattner      Out << '"' << *LI << '"';
1159c9a1f0dcdde056a2cdbc446a9d6853684402263fReid Spencer      ++LI;
1160cfe97b78e787d232f4a82f5ff0afadf75ba95f6cChris Lattner      if (LI != LE)
1161cfe97b78e787d232f4a82f5ff0afadf75ba95f6cChris Lattner        Out << ", ";
1162c9a1f0dcdde056a2cdbc446a9d6853684402263fReid Spencer    }
1163c9a1f0dcdde056a2cdbc446a9d6853684402263fReid Spencer    Out << " ]\n";
116483f6a77c8fc27eba21bca05be37663f3a6e123a1Reid Spencer  }
1165e59eaf407a675845e278c2769e3dbed9f1daae8cReid Spencer
1166413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner  // Loop over the symbol table, emitting all id'd types.
116778d033e086e19e016273de014f9214aa6f3f844bReid Spencer  printTypeSymbolTable(M->getTypeSymbolTable());
1168fd93908ae8b9684fe71c239e3c6cfe13ff6a2663Misha Brukman
1169d6d826cdadc4dcaa5babefda85bf08aaa57d8bc5Chris Lattner  for (Module::const_global_iterator I = M->global_begin(), E = M->global_end();
1170d6d826cdadc4dcaa5babefda85bf08aaa57d8bc5Chris Lattner       I != E; ++I)
11717e70829632f82de15db187845666aaca6e04b792Chris Lattner    printGlobal(I);
117269dacfce54473414c1a863d19ab8f2785cd2a4f2Chris Lattner
117369dacfce54473414c1a863d19ab8f2785cd2a4f2Chris Lattner  // Output all aliases.
117469dacfce54473414c1a863d19ab8f2785cd2a4f2Chris Lattner  if (!M->alias_empty()) Out << "\n";
117569dacfce54473414c1a863d19ab8f2785cd2a4f2Chris Lattner  for (Module::const_alias_iterator I = M->alias_begin(), E = M->alias_end();
117669dacfce54473414c1a863d19ab8f2785cd2a4f2Chris Lattner       I != E; ++I)
117769dacfce54473414c1a863d19ab8f2785cd2a4f2Chris Lattner    printAlias(I);
1178007377f381e253cc559db8d3c94fa89b0eb55fadChris Lattner
117944da7d79760998f9a70340b49a3811229838224dChris Lattner  // Output all of the functions.
11807e70829632f82de15db187845666aaca6e04b792Chris Lattner  for (Module::const_iterator I = M->begin(), E = M->end(); I != E; ++I)
11817e70829632f82de15db187845666aaca6e04b792Chris Lattner    printFunction(I);
1182009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner}
1183009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner
1184944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattnerstatic void PrintLinkage(GlobalValue::LinkageTypes LT, raw_ostream &Out) {
1185cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner  switch (LT) {
1186667d4b8de6dea70195ff12ef39a4deebffa2f5c7Duncan Sands  case GlobalValue::PrivateLinkage:     Out << "private "; break;
1187667d4b8de6dea70195ff12ef39a4deebffa2f5c7Duncan Sands  case GlobalValue::InternalLinkage:    Out << "internal "; break;
1188667d4b8de6dea70195ff12ef39a4deebffa2f5c7Duncan Sands  case GlobalValue::LinkOnceAnyLinkage: Out << "linkonce "; break;
1189667d4b8de6dea70195ff12ef39a4deebffa2f5c7Duncan Sands  case GlobalValue::LinkOnceODRLinkage: Out << "linkonce_odr "; break;
1190667d4b8de6dea70195ff12ef39a4deebffa2f5c7Duncan Sands  case GlobalValue::WeakAnyLinkage:     Out << "weak "; break;
1191667d4b8de6dea70195ff12ef39a4deebffa2f5c7Duncan Sands  case GlobalValue::WeakODRLinkage:     Out << "weak_odr "; break;
1192667d4b8de6dea70195ff12ef39a4deebffa2f5c7Duncan Sands  case GlobalValue::CommonAnyLinkage:   Out << "common "; break;
1193667d4b8de6dea70195ff12ef39a4deebffa2f5c7Duncan Sands  case GlobalValue::CommonODRLinkage:   Out << "common_odr "; break;
1194667d4b8de6dea70195ff12ef39a4deebffa2f5c7Duncan Sands  case GlobalValue::AppendingLinkage:   Out << "appending "; break;
1195667d4b8de6dea70195ff12ef39a4deebffa2f5c7Duncan Sands  case GlobalValue::DLLImportLinkage:   Out << "dllimport "; break;
1196667d4b8de6dea70195ff12ef39a4deebffa2f5c7Duncan Sands  case GlobalValue::DLLExportLinkage:   Out << "dllexport "; break;
1197667d4b8de6dea70195ff12ef39a4deebffa2f5c7Duncan Sands  case GlobalValue::ExternalWeakAnyLinkage: Out << "extern_weak "; break;
1198667d4b8de6dea70195ff12ef39a4deebffa2f5c7Duncan Sands  case GlobalValue::ExternalWeakODRLinkage: Out << "extern_weak_odr "; break;
1199cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner  case GlobalValue::ExternalLinkage: break;
1200cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner  case GlobalValue::GhostLinkage:
1201cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner    Out << "GhostLinkage not allowed in AsmWriter!\n";
1202cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner    abort();
1203cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner  }
1204cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner}
1205667d4b8de6dea70195ff12ef39a4deebffa2f5c7Duncan Sands
1206cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner
1207cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattnerstatic void PrintVisibility(GlobalValue::VisibilityTypes Vis,
1208944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner                            raw_ostream &Out) {
1209cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner  switch (Vis) {
1210cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner  default: assert(0 && "Invalid visibility style!");
1211cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner  case GlobalValue::DefaultVisibility: break;
1212cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner  case GlobalValue::HiddenVisibility:    Out << "hidden "; break;
1213cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner  case GlobalValue::ProtectedVisibility: Out << "protected "; break;
1214cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner  }
1215cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner}
1216cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner
1217c1824996451d5ea93864fcd34ba8ea5e5f03e368Chris Lattnervoid AssemblyWriter::printGlobal(const GlobalVariable *GV) {
1218c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner  if (GV->hasName()) {
1219c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner    PrintLLVMName(Out, GV);
1220c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner    Out << " = ";
1221c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner  }
1222d70684f7585a85c4248c1c224059478108741c70Chris Lattner
122352b26de325e32c71159376853384789b7646eaf4Chris Lattner  if (!GV->hasInitializer() && GV->hasExternalLinkage())
122452b26de325e32c71159376853384789b7646eaf4Chris Lattner    Out << "external ";
122552b26de325e32c71159376853384789b7646eaf4Chris Lattner
122652b26de325e32c71159376853384789b7646eaf4Chris Lattner  PrintLinkage(GV->getLinkage(), Out);
122752b26de325e32c71159376853384789b7646eaf4Chris Lattner  PrintVisibility(GV->getVisibility(), Out);
1228c763552299165b88d34a7d4f2d76ff413cbc7f67Lauro Ramos Venancio
1229c763552299165b88d34a7d4f2d76ff413cbc7f67Lauro Ramos Venancio  if (GV->isThreadLocal()) Out << "thread_local ";
1230df98617b23315e427cc4fad8ccfdd50d68bec2f9Chris Lattner  if (unsigned AddressSpace = GV->getType()->getAddressSpace())
1231df98617b23315e427cc4fad8ccfdd50d68bec2f9Chris Lattner    Out << "addrspace(" << AddressSpace << ") ";
12320313e0b44dcd77acd334d3f324c7da527179a690Misha Brukman  Out << (GV->isConstant() ? "constant " : "global ");
12330f7364b4aa15263827af49d046fd6147ac769eefChris Lattner  TypePrinter.print(GV->getType()->getElementType(), Out);
1234d70684f7585a85c4248c1c224059478108741c70Chris Lattner
12358dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman  if (GV->hasInitializer()) {
12368dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman    Out << ' ';
12372fcfdb79d0d1d2297d7aced11b567cd52494604eChris Lattner    writeOperand(GV->getInitializer(), false);
12388dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman  }
1239fe63fb986dc9510c5d68f2442edab9574e9e50d0Christopher Lamb
124060962dbfbaa4a9c3ca6fced08fb90b748aa99203Chris Lattner  if (GV->hasSection())
124160962dbfbaa4a9c3ca6fced08fb90b748aa99203Chris Lattner    Out << ", section \"" << GV->getSection() << '"';
124260962dbfbaa4a9c3ca6fced08fb90b748aa99203Chris Lattner  if (GV->getAlignment())
124330caa2876cd500b49e27b6810ab5dec96398c6faChris Lattner    Out << ", align " << GV->getAlignment();
12448b0a8c84da2030ee8f4440d5b60a8033de691222Anton Korobeynikov
12457e70829632f82de15db187845666aaca6e04b792Chris Lattner  printInfoComment(*GV);
1246cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner  Out << '\n';
124770cc3397f84c2e1fd69c059a0ef89e398e847b00Chris Lattner}
124870cc3397f84c2e1fd69c059a0ef89e398e847b00Chris Lattner
12498b0a8c84da2030ee8f4440d5b60a8033de691222Anton Korobeynikovvoid AssemblyWriter::printAlias(const GlobalAlias *GA) {
125024f07dc6e464aa82694fd3dd5fc88dc139d16b7cDale Johannesen  // Don't crash when dumping partially built GA
125124f07dc6e464aa82694fd3dd5fc88dc139d16b7cDale Johannesen  if (!GA->hasName())
125224f07dc6e464aa82694fd3dd5fc88dc139d16b7cDale Johannesen    Out << "<<nameless>> = ";
1253c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner  else {
1254c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner    PrintLLVMName(Out, GA);
1255c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner    Out << " = ";
1256c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner  }
1257cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner  PrintVisibility(GA->getVisibility(), Out);
12588b0a8c84da2030ee8f4440d5b60a8033de691222Anton Korobeynikov
12598b0a8c84da2030ee8f4440d5b60a8033de691222Anton Korobeynikov  Out << "alias ";
12608b0a8c84da2030ee8f4440d5b60a8033de691222Anton Korobeynikov
1261cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner  PrintLinkage(GA->getLinkage(), Out);
12628b0a8c84da2030ee8f4440d5b60a8033de691222Anton Korobeynikov
1263c6c98af9e5814e8066c82f20ca11cf646a5fc289Anton Korobeynikov  const Constant *Aliasee = GA->getAliasee();
12648b0a8c84da2030ee8f4440d5b60a8033de691222Anton Korobeynikov
12658b0a8c84da2030ee8f4440d5b60a8033de691222Anton Korobeynikov  if (const GlobalVariable *GV = dyn_cast<GlobalVariable>(Aliasee)) {
12660f7364b4aa15263827af49d046fd6147ac769eefChris Lattner    TypePrinter.print(GV->getType(), Out);
1267c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner    Out << ' ';
1268c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner    PrintLLVMName(Out, GV);
12698b0a8c84da2030ee8f4440d5b60a8033de691222Anton Korobeynikov  } else if (const Function *F = dyn_cast<Function>(Aliasee)) {
12700f7364b4aa15263827af49d046fd6147ac769eefChris Lattner    TypePrinter.print(F->getFunctionType(), Out);
12718b0a8c84da2030ee8f4440d5b60a8033de691222Anton Korobeynikov    Out << "* ";
12728b0a8c84da2030ee8f4440d5b60a8033de691222Anton Korobeynikov
12739cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner    WriteAsOperandInternal(Out, F, TypePrinter, &Machine);
1274591858a403a71fc5b30bc7b071f18bc0cf327cfcAnton Korobeynikov  } else if (const GlobalAlias *GA = dyn_cast<GlobalAlias>(Aliasee)) {
12750f7364b4aa15263827af49d046fd6147ac769eefChris Lattner    TypePrinter.print(GA->getType(), Out);
12760f7364b4aa15263827af49d046fd6147ac769eefChris Lattner    Out << ' ';
1277c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner    PrintLLVMName(Out, GA);
1278a80e1181b78183dc36ec6568559d38faa86981f0Anton Korobeynikov  } else {
1279a80e1181b78183dc36ec6568559d38faa86981f0Anton Korobeynikov    const ConstantExpr *CE = 0;
1280a80e1181b78183dc36ec6568559d38faa86981f0Anton Korobeynikov    if ((CE = dyn_cast<ConstantExpr>(Aliasee)) &&
1281a80e1181b78183dc36ec6568559d38faa86981f0Anton Korobeynikov        (CE->getOpcode() == Instruction::BitCast)) {
1282a80e1181b78183dc36ec6568559d38faa86981f0Anton Korobeynikov      writeOperand(CE, false);
1283a80e1181b78183dc36ec6568559d38faa86981f0Anton Korobeynikov    } else
1284a80e1181b78183dc36ec6568559d38faa86981f0Anton Korobeynikov      assert(0 && "Unsupported aliasee");
1285a80e1181b78183dc36ec6568559d38faa86981f0Anton Korobeynikov  }
1286a80e1181b78183dc36ec6568559d38faa86981f0Anton Korobeynikov
12878b0a8c84da2030ee8f4440d5b60a8033de691222Anton Korobeynikov  printInfoComment(*GA);
128852b26de325e32c71159376853384789b7646eaf4Chris Lattner  Out << '\n';
12898b0a8c84da2030ee8f4440d5b60a8033de691222Anton Korobeynikov}
12908b0a8c84da2030ee8f4440d5b60a8033de691222Anton Korobeynikov
129178d033e086e19e016273de014f9214aa6f3f844bReid Spencervoid AssemblyWriter::printTypeSymbolTable(const TypeSymbolTable &ST) {
1292413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner  // Emit all numbered types.
1293413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner  for (unsigned i = 0, e = NumberedTypes.size(); i != e; ++i) {
1294413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner    Out << "\ttype ";
1295413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner
1296413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner    // Make sure we print out at least one level of the type structure, so
1297413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner    // that we do not get %2 = type %2
1298413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner    TypePrinter.printAtLeastOneLevel(NumberedTypes[i], Out);
1299413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner    Out << "\t\t; type %" << i << '\n';
1300413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner  }
1301413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner
1302413fd2304db8b6fa3113e5f70d925087f27cbf84Chris Lattner  // Print the named types.
130378d033e086e19e016273de014f9214aa6f3f844bReid Spencer  for (TypeSymbolTable::const_iterator TI = ST.begin(), TE = ST.end();
130478d033e086e19e016273de014f9214aa6f3f844bReid Spencer       TI != TE; ++TI) {
130552b26de325e32c71159376853384789b7646eaf4Chris Lattner    Out << '\t';
130652b26de325e32c71159376853384789b7646eaf4Chris Lattner    PrintLLVMName(Out, &TI->first[0], TI->first.size(), LocalPrefix);
130752b26de325e32c71159376853384789b7646eaf4Chris Lattner    Out << " = type ";
13089231ac8b6f2c3f9877bdb7a223f7392061258ab6Reid Spencer
13099231ac8b6f2c3f9877bdb7a223f7392061258ab6Reid Spencer    // Make sure we print out at least one level of the type structure, so
13109231ac8b6f2c3f9877bdb7a223f7392061258ab6Reid Spencer    // that we do not get %FILE = type %FILE
13110f7364b4aa15263827af49d046fd6147ac769eefChris Lattner    TypePrinter.printAtLeastOneLevel(TI->second, Out);
1312cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner    Out << '\n';
13139231ac8b6f2c3f9877bdb7a223f7392061258ab6Reid Spencer  }
131478d033e086e19e016273de014f9214aa6f3f844bReid Spencer}
131578d033e086e19e016273de014f9214aa6f3f844bReid Spencer
1316ab5c6003d23c19d23bbff1054900d208c55e0188Misha Brukman/// printFunction - Print all aspects of a function.
1317ab5c6003d23c19d23bbff1054900d208c55e0188Misha Brukman///
13187e70829632f82de15db187845666aaca6e04b792Chris Lattnervoid AssemblyWriter::printFunction(const Function *F) {
1319cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner  // Print out the return type and name.
1320cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner  Out << '\n';
13214ad02e726d9b634372b037d4b352d8b63bb9e849Chris Lattner
13220313e0b44dcd77acd334d3f324c7da527179a690Misha Brukman  if (AnnotationWriter) AnnotationWriter->emitFunctionAnnot(F, Out);
132395e5a2cc3fc55b262d2baa1cc417115dfa4a18eaChris Lattner
13245cbf985dcbc89fba3208e7baf8b6f488b06d3ec9Reid Spencer  if (F->isDeclaration())
13253aa6066d010b2ccfd58f07fb1be874becf5807c2Chris Lattner    Out << "declare ";
13263aa6066d010b2ccfd58f07fb1be874becf5807c2Chris Lattner  else
1327b951bc02839e9862e02e17c7ea83e6437fc13442Reid Spencer    Out << "define ";
1328cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner
1329cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner  PrintLinkage(F->getLinkage(), Out);
1330cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner  PrintVisibility(F->getVisibility(), Out);
13314ad02e726d9b634372b037d4b352d8b63bb9e849Chris Lattner
1332d511898b581826694e6c651e23343b1e1ba5ba64Chris Lattner  // Print the calling convention.
1333d511898b581826694e6c651e23343b1e1ba5ba64Chris Lattner  switch (F->getCallingConv()) {
1334d511898b581826694e6c651e23343b1e1ba5ba64Chris Lattner  case CallingConv::C: break;   // default
1335f824868ed9d2cc756a797f6dbd67732f75e31cd6Anton Korobeynikov  case CallingConv::Fast:         Out << "fastcc "; break;
1336f824868ed9d2cc756a797f6dbd67732f75e31cd6Anton Korobeynikov  case CallingConv::Cold:         Out << "coldcc "; break;
1337f824868ed9d2cc756a797f6dbd67732f75e31cd6Anton Korobeynikov  case CallingConv::X86_StdCall:  Out << "x86_stdcallcc "; break;
1338f824868ed9d2cc756a797f6dbd67732f75e31cd6Anton Korobeynikov  case CallingConv::X86_FastCall: Out << "x86_fastcallcc "; break;
1339d511898b581826694e6c651e23343b1e1ba5ba64Chris Lattner  default: Out << "cc" << F->getCallingConv() << " "; break;
1340d511898b581826694e6c651e23343b1e1ba5ba64Chris Lattner  }
1341d511898b581826694e6c651e23343b1e1ba5ba64Chris Lattner
1342bd5db8e29b82f864c3d6525c6cfefa557fafdbb8Reid Spencer  const FunctionType *FT = F->getFunctionType();
13430598866c052147c31b808391f58434ce3dbfb838Devang Patel  const AttrListPtr &Attrs = F->getAttributes();
1344652203f3f3b6dd5062bb450d189a80d8aaa51693Devang Patel  Attributes RetAttrs = Attrs.getRetAttributes();
1345652203f3f3b6dd5062bb450d189a80d8aaa51693Devang Patel  if (RetAttrs != Attribute::None)
1346652203f3f3b6dd5062bb450d189a80d8aaa51693Devang Patel    Out <<  Attribute::getAsString(Attrs.getRetAttributes()) << ' ';
13470f7364b4aa15263827af49d046fd6147ac769eefChris Lattner  TypePrinter.print(F->getReturnType(), Out);
13484667b71f9380afad56cbdc1fd19ca32334086d2cChris Lattner  Out << ' ';
13499cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner  WriteAsOperandInternal(Out, F, TypePrinter, &Machine);
13500313e0b44dcd77acd334d3f324c7da527179a690Misha Brukman  Out << '(';
13510d1b77e2824115d97f8392c3f4ec257b27ebbd7aReid Spencer  Machine.incorporateFunction(F);
1352007377f381e253cc559db8d3c94fa89b0eb55fadChris Lattner
1353c1824996451d5ea93864fcd34ba8ea5e5f03e368Chris Lattner  // Loop over the arguments, printing them...
1354007377f381e253cc559db8d3c94fa89b0eb55fadChris Lattner
1355bd5db8e29b82f864c3d6525c6cfefa557fafdbb8Reid Spencer  unsigned Idx = 1;
13568dcd2f1a5bbb9151ec05532861be58bf3f078e63Chris Lattner  if (!F->isDeclaration()) {
13578dcd2f1a5bbb9151ec05532861be58bf3f078e63Chris Lattner    // If this isn't a declaration, print the argument names as well.
13588dcd2f1a5bbb9151ec05532861be58bf3f078e63Chris Lattner    for (Function::const_arg_iterator I = F->arg_begin(), E = F->arg_end();
13598dcd2f1a5bbb9151ec05532861be58bf3f078e63Chris Lattner         I != E; ++I) {
13608dcd2f1a5bbb9151ec05532861be58bf3f078e63Chris Lattner      // Insert commas as we go... the first arg doesn't get a comma
13618dcd2f1a5bbb9151ec05532861be58bf3f078e63Chris Lattner      if (I != F->arg_begin()) Out << ", ";
136219c874638d9478a5d5028854817a5ee72293bb2bDevang Patel      printArgument(I, Attrs.getParamAttributes(Idx));
13638dcd2f1a5bbb9151ec05532861be58bf3f078e63Chris Lattner      Idx++;
13648dcd2f1a5bbb9151ec05532861be58bf3f078e63Chris Lattner    }
13658dcd2f1a5bbb9151ec05532861be58bf3f078e63Chris Lattner  } else {
13668dcd2f1a5bbb9151ec05532861be58bf3f078e63Chris Lattner    // Otherwise, print the types from the function type.
13678dcd2f1a5bbb9151ec05532861be58bf3f078e63Chris Lattner    for (unsigned i = 0, e = FT->getNumParams(); i != e; ++i) {
13688dcd2f1a5bbb9151ec05532861be58bf3f078e63Chris Lattner      // Insert commas as we go... the first arg doesn't get a comma
13698dcd2f1a5bbb9151ec05532861be58bf3f078e63Chris Lattner      if (i) Out << ", ";
13708dcd2f1a5bbb9151ec05532861be58bf3f078e63Chris Lattner
13718dcd2f1a5bbb9151ec05532861be58bf3f078e63Chris Lattner      // Output type...
13720f7364b4aa15263827af49d046fd6147ac769eefChris Lattner      TypePrinter.print(FT->getParamType(i), Out);
13738dcd2f1a5bbb9151ec05532861be58bf3f078e63Chris Lattner
137419c874638d9478a5d5028854817a5ee72293bb2bDevang Patel      Attributes ArgAttrs = Attrs.getParamAttributes(i+1);
13750598866c052147c31b808391f58434ce3dbfb838Devang Patel      if (ArgAttrs != Attribute::None)
13760598866c052147c31b808391f58434ce3dbfb838Devang Patel        Out << ' ' << Attribute::getAsString(ArgAttrs);
13778dcd2f1a5bbb9151ec05532861be58bf3f078e63Chris Lattner    }
1378bd5db8e29b82f864c3d6525c6cfefa557fafdbb8Reid Spencer  }
1379007377f381e253cc559db8d3c94fa89b0eb55fadChris Lattner
1380007377f381e253cc559db8d3c94fa89b0eb55fadChris Lattner  // Finish printing arguments...
13817e70829632f82de15db187845666aaca6e04b792Chris Lattner  if (FT->isVarArg()) {
13820313e0b44dcd77acd334d3f324c7da527179a690Misha Brukman    if (FT->getNumParams()) Out << ", ";
13830313e0b44dcd77acd334d3f324c7da527179a690Misha Brukman    Out << "...";  // Output varargs portion of signature!
1384007377f381e253cc559db8d3c94fa89b0eb55fadChris Lattner  }
13850313e0b44dcd77acd334d3f324c7da527179a690Misha Brukman  Out << ')';
138619c874638d9478a5d5028854817a5ee72293bb2bDevang Patel  Attributes FnAttrs = Attrs.getFnAttributes();
138719c874638d9478a5d5028854817a5ee72293bb2bDevang Patel  if (FnAttrs != Attribute::None)
138819c874638d9478a5d5028854817a5ee72293bb2bDevang Patel    Out << ' ' << Attribute::getAsString(Attrs.getFnAttributes());
138960962dbfbaa4a9c3ca6fced08fb90b748aa99203Chris Lattner  if (F->hasSection())
139060962dbfbaa4a9c3ca6fced08fb90b748aa99203Chris Lattner    Out << " section \"" << F->getSection() << '"';
139130caa2876cd500b49e27b6810ab5dec96398c6faChris Lattner  if (F->getAlignment())
139230caa2876cd500b49e27b6810ab5dec96398c6faChris Lattner    Out << " align " << F->getAlignment();
13935eca075b74d62c621b160aa216b4cd50829a2cc7Gordon Henriksen  if (F->hasGC())
13945eca075b74d62c621b160aa216b4cd50829a2cc7Gordon Henriksen    Out << " gc \"" << F->getGC() << '"';
1395f3ba70861ccf00b1072ae1b6ade3ebe2da6cff40Devang Patel  if (F->isDeclaration()) {
1396f3ba70861ccf00b1072ae1b6ade3ebe2da6cff40Devang Patel    Out << "\n";
1397f3ba70861ccf00b1072ae1b6ade3ebe2da6cff40Devang Patel  } else {
1398a1b5858fda38cfe5b30055a87020b6d5f7023238Chris Lattner    Out << " {";
1399fd93908ae8b9684fe71c239e3c6cfe13ff6a2663Misha Brukman
1400b579400cd72f274607f4964a9649ea4d38e04c46Chris Lattner    // Output all of its basic blocks... for the function
14017e70829632f82de15db187845666aaca6e04b792Chris Lattner    for (Function::const_iterator I = F->begin(), E = F->end(); I != E; ++I)
14027e70829632f82de15db187845666aaca6e04b792Chris Lattner      printBasicBlock(I);
1403007377f381e253cc559db8d3c94fa89b0eb55fadChris Lattner
14040313e0b44dcd77acd334d3f324c7da527179a690Misha Brukman    Out << "}\n";
1405007377f381e253cc559db8d3c94fa89b0eb55fadChris Lattner  }
1406007377f381e253cc559db8d3c94fa89b0eb55fadChris Lattner
14070d1b77e2824115d97f8392c3f4ec257b27ebbd7aReid Spencer  Machine.purgeFunction();
1408009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner}
1409009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner
1410ab5c6003d23c19d23bbff1054900d208c55e0188Misha Brukman/// printArgument - This member is called for every argument that is passed into
1411ab5c6003d23c19d23bbff1054900d208c55e0188Misha Brukman/// the function.  Simply print it out
1412ab5c6003d23c19d23bbff1054900d208c55e0188Misha Brukman///
14130d51e7ec0d2dcbea9e304fd58deb05f37eb75635Dale Johannesenvoid AssemblyWriter::printArgument(const Argument *Arg,
1414eaf42abab6d465c38891345d999255871cf03943Devang Patel                                   Attributes Attrs) {
1415009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner  // Output type...
14160f7364b4aa15263827af49d046fd6147ac769eefChris Lattner  TypePrinter.print(Arg->getType(), Out);
1417fd93908ae8b9684fe71c239e3c6cfe13ff6a2663Misha Brukman
1418dc024674ff96820d6020757b48d47f46d4c07db2Duncan Sands  // Output parameter attributes list
14190598866c052147c31b808391f58434ce3dbfb838Devang Patel  if (Attrs != Attribute::None)
14200598866c052147c31b808391f58434ce3dbfb838Devang Patel    Out << ' ' << Attribute::getAsString(Attrs);
1421bd5db8e29b82f864c3d6525c6cfefa557fafdbb8Reid Spencer
1422009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner  // Output name, if available...
1423c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner  if (Arg->hasName()) {
1424c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner    Out << ' ';
1425c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner    PrintLLVMName(Out, Arg);
1426c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner  }
1427009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner}
1428009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner
1429ab5c6003d23c19d23bbff1054900d208c55e0188Misha Brukman/// printBasicBlock - This member is called for each basic block in a method.
1430ab5c6003d23c19d23bbff1054900d208c55e0188Misha Brukman///
1431c1824996451d5ea93864fcd34ba8ea5e5f03e368Chris Lattnervoid AssemblyWriter::printBasicBlock(const BasicBlock *BB) {
1432280a6e607d8eb7401749a92db624a82de47da777Nick Lewycky  if (BB->hasName()) {              // Print out the label if it exists...
1433c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner    Out << "\n";
143452b26de325e32c71159376853384789b7646eaf4Chris Lattner    PrintLLVMName(Out, BB->getNameStart(), BB->getNameLen(), LabelPrefix);
1435c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner    Out << ':';
1436280a6e607d8eb7401749a92db624a82de47da777Nick Lewycky  } else if (!BB->use_empty()) {      // Don't print block # of no uses...
143796c5b2f8c75b10f7e61ad90582d72c500d5c7d2dChris Lattner    Out << "\n; <label>:";
143822379bc7bb28fbfb1182877e6dc316aaab98a4baChris Lattner    int Slot = Machine.getLocalSlot(BB);
143969566459cc27c5210472a87ae2fe7b2ca64f9fc8Chris Lattner    if (Slot != -1)
14400313e0b44dcd77acd334d3f324c7da527179a690Misha Brukman      Out << Slot;
144169566459cc27c5210472a87ae2fe7b2ca64f9fc8Chris Lattner    else
14420313e0b44dcd77acd334d3f324c7da527179a690Misha Brukman      Out << "<badref>";
1443061269be9723f842931f18ad207acf9a66e0cf76Chris Lattner  }
14444e4d8624c5c44578d64fe1344670520cceec03f2Chris Lattner
14454e4d8624c5c44578d64fe1344670520cceec03f2Chris Lattner  if (BB->getParent() == 0)
14460313e0b44dcd77acd334d3f324c7da527179a690Misha Brukman    Out << "\t\t; Error: Block without parent!";
1447eb411291fa7614496ec8b51b0ced9f6cc2b78313Chris Lattner  else if (BB != &BB->getParent()->getEntryBlock()) {  // Not the entry block?
1448eb411291fa7614496ec8b51b0ced9f6cc2b78313Chris Lattner    // Output predecessors for the block...
1449eb411291fa7614496ec8b51b0ced9f6cc2b78313Chris Lattner    Out << "\t\t;";
1450eb411291fa7614496ec8b51b0ced9f6cc2b78313Chris Lattner    pred_const_iterator PI = pred_begin(BB), PE = pred_end(BB);
1451eb411291fa7614496ec8b51b0ced9f6cc2b78313Chris Lattner
1452eb411291fa7614496ec8b51b0ced9f6cc2b78313Chris Lattner    if (PI == PE) {
1453eb411291fa7614496ec8b51b0ced9f6cc2b78313Chris Lattner      Out << " No predecessors!";
1454eb411291fa7614496ec8b51b0ced9f6cc2b78313Chris Lattner    } else {
14558dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman      Out << " preds = ";
1456eb411291fa7614496ec8b51b0ced9f6cc2b78313Chris Lattner      writeOperand(*PI, false);
1457eb411291fa7614496ec8b51b0ced9f6cc2b78313Chris Lattner      for (++PI; PI != PE; ++PI) {
14588dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman        Out << ", ";
14592fcfdb79d0d1d2297d7aced11b567cd52494604eChris Lattner        writeOperand(*PI, false);
146040efcec8e879b3470b3c0ad9d8124abce2cd8915Chris Lattner      }
1461061269be9723f842931f18ad207acf9a66e0cf76Chris Lattner    }
1462009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner  }
1463fd93908ae8b9684fe71c239e3c6cfe13ff6a2663Misha Brukman
1464eb411291fa7614496ec8b51b0ced9f6cc2b78313Chris Lattner  Out << "\n";
1465009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner
14660313e0b44dcd77acd334d3f324c7da527179a690Misha Brukman  if (AnnotationWriter) AnnotationWriter->emitBasicBlockStartAnnot(BB, Out);
146795e5a2cc3fc55b262d2baa1cc417115dfa4a18eaChris Lattner
1468007377f381e253cc559db8d3c94fa89b0eb55fadChris Lattner  // Output all of the instructions in the basic block...
14697e70829632f82de15db187845666aaca6e04b792Chris Lattner  for (BasicBlock::const_iterator I = BB->begin(), E = BB->end(); I != E; ++I)
14707e70829632f82de15db187845666aaca6e04b792Chris Lattner    printInstruction(*I);
14719f717ef279f4b82e28c341c98a9aa602f01f9b27Chris Lattner
14720313e0b44dcd77acd334d3f324c7da527179a690Misha Brukman  if (AnnotationWriter) AnnotationWriter->emitBasicBlockEndAnnot(BB, Out);
1473009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner}
1474009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner
1475e02fa8551d20081534afa46e0976811687e5183aChris Lattner
1476ab5c6003d23c19d23bbff1054900d208c55e0188Misha Brukman/// printInfoComment - Print a little comment after the instruction indicating
1477ab5c6003d23c19d23bbff1054900d208c55e0188Misha Brukman/// which slot it occupies.
1478ab5c6003d23c19d23bbff1054900d208c55e0188Misha Brukman///
14797e70829632f82de15db187845666aaca6e04b792Chris Lattnervoid AssemblyWriter::printInfoComment(const Value &V) {
14807e70829632f82de15db187845666aaca6e04b792Chris Lattner  if (V.getType() != Type::VoidTy) {
14810313e0b44dcd77acd334d3f324c7da527179a690Misha Brukman    Out << "\t\t; <";
14820f7364b4aa15263827af49d046fd6147ac769eefChris Lattner    TypePrinter.print(V.getType(), Out);
14834667b71f9380afad56cbdc1fd19ca32334086d2cChris Lattner    Out << '>';
1484e02fa8551d20081534afa46e0976811687e5183aChris Lattner
1485828db8a2f90e0e3faf27c1fe69a632c666e3a343Chris Lattner    if (!V.hasName() && !isa<Instruction>(V)) {
148622379bc7bb28fbfb1182877e6dc316aaab98a4baChris Lattner      int SlotNum;
148722379bc7bb28fbfb1182877e6dc316aaab98a4baChris Lattner      if (const GlobalValue *GV = dyn_cast<GlobalValue>(&V))
148822379bc7bb28fbfb1182877e6dc316aaab98a4baChris Lattner        SlotNum = Machine.getGlobalSlot(GV);
148922379bc7bb28fbfb1182877e6dc316aaab98a4baChris Lattner      else
149022379bc7bb28fbfb1182877e6dc316aaab98a4baChris Lattner        SlotNum = Machine.getLocalSlot(&V);
149169566459cc27c5210472a87ae2fe7b2ca64f9fc8Chris Lattner      if (SlotNum == -1)
14920313e0b44dcd77acd334d3f324c7da527179a690Misha Brukman        Out << ":<badref>";
1493fc621e28781e3cf22f1850e07f285581334e2402Reid Spencer      else
14940313e0b44dcd77acd334d3f324c7da527179a690Misha Brukman        Out << ':' << SlotNum; // Print out the def slot taken.
1495e02fa8551d20081534afa46e0976811687e5183aChris Lattner    }
14965c461404fed8d1def8eae02e6574bc5b16502575Chris Lattner    Out << " [#uses=" << V.getNumUses() << ']';  // Output # uses
1497e02fa8551d20081534afa46e0976811687e5183aChris Lattner  }
1498e02fa8551d20081534afa46e0976811687e5183aChris Lattner}
1499e02fa8551d20081534afa46e0976811687e5183aChris Lattner
15003a9ec2463ddeba0820f284e2952bd6919cd5e080Reid Spencer// This member is called for each Instruction in a function..
15017e70829632f82de15db187845666aaca6e04b792Chris Lattnervoid AssemblyWriter::printInstruction(const Instruction &I) {
15020313e0b44dcd77acd334d3f324c7da527179a690Misha Brukman  if (AnnotationWriter) AnnotationWriter->emitInstructionAnnot(&I, Out);
150395e5a2cc3fc55b262d2baa1cc417115dfa4a18eaChris Lattner
1504ab49ee752ec37f586e45c999eca1e29e32697cb7Chris Lattner  Out << '\t';
1505009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner
1506009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner  // Print out name if it exists...
1507c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner  if (I.hasName()) {
1508c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner    PrintLLVMName(Out, &I);
1509c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner    Out << " = ";
1510828db8a2f90e0e3faf27c1fe69a632c666e3a343Chris Lattner  } else if (I.getType() != Type::VoidTy) {
1511828db8a2f90e0e3faf27c1fe69a632c666e3a343Chris Lattner    // Print out the def slot taken.
1512828db8a2f90e0e3faf27c1fe69a632c666e3a343Chris Lattner    int SlotNum = Machine.getLocalSlot(&I);
1513828db8a2f90e0e3faf27c1fe69a632c666e3a343Chris Lattner    if (SlotNum == -1)
1514828db8a2f90e0e3faf27c1fe69a632c666e3a343Chris Lattner      Out << "<badref> = ";
1515828db8a2f90e0e3faf27c1fe69a632c666e3a343Chris Lattner    else
1516828db8a2f90e0e3faf27c1fe69a632c666e3a343Chris Lattner      Out << '%' << SlotNum << " = ";
1517c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner  }
1518009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner
1519ddb6db4fa11d06217d01d8431596131abdfb7ef0Chris Lattner  // If this is a volatile load or store, print out the volatile marker.
1520e5e475e09d1e8a9ea1bda58b536867ff16600399Chris Lattner  if ((isa<LoadInst>(I)  && cast<LoadInst>(I).isVolatile()) ||
1521ddb6db4fa11d06217d01d8431596131abdfb7ef0Chris Lattner      (isa<StoreInst>(I) && cast<StoreInst>(I).isVolatile())) {
15220313e0b44dcd77acd334d3f324c7da527179a690Misha Brukman      Out << "volatile ";
1523ddb6db4fa11d06217d01d8431596131abdfb7ef0Chris Lattner  } else if (isa<CallInst>(I) && cast<CallInst>(I).isTailCall()) {
1524ddb6db4fa11d06217d01d8431596131abdfb7ef0Chris Lattner    // If this is a call, check if it's a tail call.
1525ddb6db4fa11d06217d01d8431596131abdfb7ef0Chris Lattner    Out << "tail ";
1526ddb6db4fa11d06217d01d8431596131abdfb7ef0Chris Lattner  }
1527e5e475e09d1e8a9ea1bda58b536867ff16600399Chris Lattner
1528009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner  // Print out the opcode...
15290313e0b44dcd77acd334d3f324c7da527179a690Misha Brukman  Out << I.getOpcodeName();
1530009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner
153174f1642bc1c2981e4573c9f0690d91b6a9bbc68cReid Spencer  // Print out the compare instruction predicates
1532ac80ade1580378e484e24c9f66d2fa5b058e5891Nate Begeman  if (const CmpInst *CI = dyn_cast<CmpInst>(&I))
1533ab49ee752ec37f586e45c999eca1e29e32697cb7Chris Lattner    Out << ' ' << getPredicateText(CI->getPredicate());
153474f1642bc1c2981e4573c9f0690d91b6a9bbc68cReid Spencer
1535009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner  // Print out the type of the operands...
15367e70829632f82de15db187845666aaca6e04b792Chris Lattner  const Value *Operand = I.getNumOperands() ? I.getOperand(0) : 0;
1537009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner
1538009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner  // Special case conditional branches to swizzle the condition out to the front
1539ccd27fb84b0ac13ad1d30b17cbeb87a0ea934154Gabor Greif  if (isa<BranchInst>(I) && cast<BranchInst>(I).isConditional()) {
1540ccd27fb84b0ac13ad1d30b17cbeb87a0ea934154Gabor Greif    BranchInst &BI(cast<BranchInst>(I));
15418dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman    Out << ' ';
1542ccd27fb84b0ac13ad1d30b17cbeb87a0ea934154Gabor Greif    writeOperand(BI.getCondition(), true);
15438dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman    Out << ", ";
1544ccd27fb84b0ac13ad1d30b17cbeb87a0ea934154Gabor Greif    writeOperand(BI.getSuccessor(0), true);
15458dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman    Out << ", ";
1546ccd27fb84b0ac13ad1d30b17cbeb87a0ea934154Gabor Greif    writeOperand(BI.getSuccessor(1), true);
1547009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner
154894dc1f29cd1dc669680b7d3caa1f59862a656b83Chris Lattner  } else if (isa<SwitchInst>(I)) {
1549009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner    // Special case switch statement to get formatting nice and correct...
15508dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman    Out << ' ';
1551ab49ee752ec37f586e45c999eca1e29e32697cb7Chris Lattner    writeOperand(Operand        , true);
15528dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman    Out << ", ";
1553ab49ee752ec37f586e45c999eca1e29e32697cb7Chris Lattner    writeOperand(I.getOperand(1), true);
1554ab49ee752ec37f586e45c999eca1e29e32697cb7Chris Lattner    Out << " [";
1555009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner
15567e70829632f82de15db187845666aaca6e04b792Chris Lattner    for (unsigned op = 2, Eop = I.getNumOperands(); op < Eop; op += 2) {
15570313e0b44dcd77acd334d3f324c7da527179a690Misha Brukman      Out << "\n\t\t";
1558ab49ee752ec37f586e45c999eca1e29e32697cb7Chris Lattner      writeOperand(I.getOperand(op  ), true);
15598dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman      Out << ", ";
15607e70829632f82de15db187845666aaca6e04b792Chris Lattner      writeOperand(I.getOperand(op+1), true);
1561009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner    }
15620313e0b44dcd77acd334d3f324c7da527179a690Misha Brukman    Out << "\n\t]";
1563b00c582b6d40e6b9ff2d1ed4f5eaf7930e792aceChris Lattner  } else if (isa<PHINode>(I)) {
15640313e0b44dcd77acd334d3f324c7da527179a690Misha Brukman    Out << ' ';
15650f7364b4aa15263827af49d046fd6147ac769eefChris Lattner    TypePrinter.print(I.getType(), Out);
15660313e0b44dcd77acd334d3f324c7da527179a690Misha Brukman    Out << ' ';
1567009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner
15687e70829632f82de15db187845666aaca6e04b792Chris Lattner    for (unsigned op = 0, Eop = I.getNumOperands(); op < Eop; op += 2) {
15690313e0b44dcd77acd334d3f324c7da527179a690Misha Brukman      if (op) Out << ", ";
15708dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman      Out << "[ ";
15718dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman      writeOperand(I.getOperand(op  ), false); Out << ", ";
15720313e0b44dcd77acd334d3f324c7da527179a690Misha Brukman      writeOperand(I.getOperand(op+1), false); Out << " ]";
1573c24d2088dc3d79e3b7e38a358b4a71f156c06836Chris Lattner    }
1574995be7d07a0ed1f70a93b2a2e7f445461162e8a5Dan Gohman  } else if (const ExtractValueInst *EVI = dyn_cast<ExtractValueInst>(&I)) {
15758dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman    Out << ' ';
1576995be7d07a0ed1f70a93b2a2e7f445461162e8a5Dan Gohman    writeOperand(I.getOperand(0), true);
1577995be7d07a0ed1f70a93b2a2e7f445461162e8a5Dan Gohman    for (const unsigned *i = EVI->idx_begin(), *e = EVI->idx_end(); i != e; ++i)
1578995be7d07a0ed1f70a93b2a2e7f445461162e8a5Dan Gohman      Out << ", " << *i;
1579995be7d07a0ed1f70a93b2a2e7f445461162e8a5Dan Gohman  } else if (const InsertValueInst *IVI = dyn_cast<InsertValueInst>(&I)) {
15808dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman    Out << ' ';
15818dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman    writeOperand(I.getOperand(0), true); Out << ", ";
1582995be7d07a0ed1f70a93b2a2e7f445461162e8a5Dan Gohman    writeOperand(I.getOperand(1), true);
1583995be7d07a0ed1f70a93b2a2e7f445461162e8a5Dan Gohman    for (const unsigned *i = IVI->idx_begin(), *e = IVI->idx_end(); i != e; ++i)
1584995be7d07a0ed1f70a93b2a2e7f445461162e8a5Dan Gohman      Out << ", " << *i;
158557ef4f46c182cdbe014d469892090ff50c739cf9Devang Patel  } else if (isa<ReturnInst>(I) && !Operand) {
158657ef4f46c182cdbe014d469892090ff50c739cf9Devang Patel    Out << " void";
1587d511898b581826694e6c651e23343b1e1ba5ba64Chris Lattner  } else if (const CallInst *CI = dyn_cast<CallInst>(&I)) {
1588d511898b581826694e6c651e23343b1e1ba5ba64Chris Lattner    // Print the calling convention being used.
1589d511898b581826694e6c651e23343b1e1ba5ba64Chris Lattner    switch (CI->getCallingConv()) {
1590d511898b581826694e6c651e23343b1e1ba5ba64Chris Lattner    case CallingConv::C: break;   // default
15910deaab89feb963b314428e3c3c565343cc30b5c9Chris Lattner    case CallingConv::Fast:  Out << " fastcc"; break;
15920deaab89feb963b314428e3c3c565343cc30b5c9Chris Lattner    case CallingConv::Cold:  Out << " coldcc"; break;
1593b28a6dce6d57e05aa25520915726f82d2b3dc08dChris Lattner    case CallingConv::X86_StdCall:  Out << " x86_stdcallcc"; break;
1594b28a6dce6d57e05aa25520915726f82d2b3dc08dChris Lattner    case CallingConv::X86_FastCall: Out << " x86_fastcallcc"; break;
1595d511898b581826694e6c651e23343b1e1ba5ba64Chris Lattner    default: Out << " cc" << CI->getCallingConv(); break;
1596d511898b581826694e6c651e23343b1e1ba5ba64Chris Lattner    }
1597d511898b581826694e6c651e23343b1e1ba5ba64Chris Lattner
1598b138a0657f8739b6ddfeca296ff8c82ffa93b492Reid Spencer    const PointerType    *PTy = cast<PointerType>(Operand->getType());
1599b138a0657f8739b6ddfeca296ff8c82ffa93b492Reid Spencer    const FunctionType   *FTy = cast<FunctionType>(PTy->getElementType());
1600b138a0657f8739b6ddfeca296ff8c82ffa93b492Reid Spencer    const Type         *RetTy = FTy->getReturnType();
16010598866c052147c31b808391f58434ce3dbfb838Devang Patel    const AttrListPtr &PAL = CI->getAttributes();
1602268de0464ee9f0938bfa145fdd5e7f1a46b21cf7Chris Lattner
1603652203f3f3b6dd5062bb450d189a80d8aaa51693Devang Patel    if (PAL.getRetAttributes() != Attribute::None)
1604652203f3f3b6dd5062bb450d189a80d8aaa51693Devang Patel      Out << ' ' << Attribute::getAsString(PAL.getRetAttributes());
1605652203f3f3b6dd5062bb450d189a80d8aaa51693Devang Patel
16067a012299ced5cff02cec47055a63d3b2a78bb36fChris Lattner    // If possible, print out the short form of the call instruction.  We can
1607b579400cd72f274607f4964a9649ea4d38e04c46Chris Lattner    // only do this if the first argument is a pointer to a nonvararg function,
16087a012299ced5cff02cec47055a63d3b2a78bb36fChris Lattner    // and if the return type is not a pointer to a function.
1609268de0464ee9f0938bfa145fdd5e7f1a46b21cf7Chris Lattner    //
16108dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman    Out << ' ';
16117a012299ced5cff02cec47055a63d3b2a78bb36fChris Lattner    if (!FTy->isVarArg() &&
1612fd93908ae8b9684fe71c239e3c6cfe13ff6a2663Misha Brukman        (!isa<PointerType>(RetTy) ||
1613c1b2718acf9d566c26188f2968dece0bf3f187e3Chris Lattner         !isa<FunctionType>(cast<PointerType>(RetTy)->getElementType()))) {
16140f7364b4aa15263827af49d046fd6147ac769eefChris Lattner      TypePrinter.print(RetTy, Out);
16158dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman      Out << ' ';
1616268de0464ee9f0938bfa145fdd5e7f1a46b21cf7Chris Lattner      writeOperand(Operand, false);
1617268de0464ee9f0938bfa145fdd5e7f1a46b21cf7Chris Lattner    } else {
1618268de0464ee9f0938bfa145fdd5e7f1a46b21cf7Chris Lattner      writeOperand(Operand, true);
1619268de0464ee9f0938bfa145fdd5e7f1a46b21cf7Chris Lattner    }
16200313e0b44dcd77acd334d3f324c7da527179a690Misha Brukman    Out << '(';
1621bd5db8e29b82f864c3d6525c6cfefa557fafdbb8Reid Spencer    for (unsigned op = 1, Eop = I.getNumOperands(); op < Eop; ++op) {
1622bd5db8e29b82f864c3d6525c6cfefa557fafdbb8Reid Spencer      if (op > 1)
16238dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman        Out << ", ";
162419c874638d9478a5d5028854817a5ee72293bb2bDevang Patel      writeParamOperand(I.getOperand(op), PAL.getParamAttributes(op));
1625009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner    }
16268dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman    Out << ')';
162719c874638d9478a5d5028854817a5ee72293bb2bDevang Patel    if (PAL.getFnAttributes() != Attribute::None)
162819c874638d9478a5d5028854817a5ee72293bb2bDevang Patel      Out << ' ' << Attribute::getAsString(PAL.getFnAttributes());
16297e70829632f82de15db187845666aaca6e04b792Chris Lattner  } else if (const InvokeInst *II = dyn_cast<InvokeInst>(&I)) {
1630b138a0657f8739b6ddfeca296ff8c82ffa93b492Reid Spencer    const PointerType    *PTy = cast<PointerType>(Operand->getType());
1631b138a0657f8739b6ddfeca296ff8c82ffa93b492Reid Spencer    const FunctionType   *FTy = cast<FunctionType>(PTy->getElementType());
1632b138a0657f8739b6ddfeca296ff8c82ffa93b492Reid Spencer    const Type         *RetTy = FTy->getReturnType();
16330598866c052147c31b808391f58434ce3dbfb838Devang Patel    const AttrListPtr &PAL = II->getAttributes();
16347a012299ced5cff02cec47055a63d3b2a78bb36fChris Lattner
1635d511898b581826694e6c651e23343b1e1ba5ba64Chris Lattner    // Print the calling convention being used.
1636d511898b581826694e6c651e23343b1e1ba5ba64Chris Lattner    switch (II->getCallingConv()) {
1637d511898b581826694e6c651e23343b1e1ba5ba64Chris Lattner    case CallingConv::C: break;   // default
16380deaab89feb963b314428e3c3c565343cc30b5c9Chris Lattner    case CallingConv::Fast:  Out << " fastcc"; break;
16390deaab89feb963b314428e3c3c565343cc30b5c9Chris Lattner    case CallingConv::Cold:  Out << " coldcc"; break;
16408dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman    case CallingConv::X86_StdCall:  Out << " x86_stdcallcc"; break;
16418dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman    case CallingConv::X86_FastCall: Out << " x86_fastcallcc"; break;
1642d511898b581826694e6c651e23343b1e1ba5ba64Chris Lattner    default: Out << " cc" << II->getCallingConv(); break;
1643d511898b581826694e6c651e23343b1e1ba5ba64Chris Lattner    }
1644d511898b581826694e6c651e23343b1e1ba5ba64Chris Lattner
1645652203f3f3b6dd5062bb450d189a80d8aaa51693Devang Patel    if (PAL.getRetAttributes() != Attribute::None)
1646652203f3f3b6dd5062bb450d189a80d8aaa51693Devang Patel      Out << ' ' << Attribute::getAsString(PAL.getRetAttributes());
1647652203f3f3b6dd5062bb450d189a80d8aaa51693Devang Patel
16487a012299ced5cff02cec47055a63d3b2a78bb36fChris Lattner    // If possible, print out the short form of the invoke instruction. We can
16497a012299ced5cff02cec47055a63d3b2a78bb36fChris Lattner    // only do this if the first argument is a pointer to a nonvararg function,
16507a012299ced5cff02cec47055a63d3b2a78bb36fChris Lattner    // and if the return type is not a pointer to a function.
16517a012299ced5cff02cec47055a63d3b2a78bb36fChris Lattner    //
16522b6c3d9ff13180e84301da5b7d17c755704fbec0Dan Gohman    Out << ' ';
16537a012299ced5cff02cec47055a63d3b2a78bb36fChris Lattner    if (!FTy->isVarArg() &&
1654fd93908ae8b9684fe71c239e3c6cfe13ff6a2663Misha Brukman        (!isa<PointerType>(RetTy) ||
16557a012299ced5cff02cec47055a63d3b2a78bb36fChris Lattner         !isa<FunctionType>(cast<PointerType>(RetTy)->getElementType()))) {
16560f7364b4aa15263827af49d046fd6147ac769eefChris Lattner      TypePrinter.print(RetTy, Out);
16572b6c3d9ff13180e84301da5b7d17c755704fbec0Dan Gohman      Out << ' ';
16587a012299ced5cff02cec47055a63d3b2a78bb36fChris Lattner      writeOperand(Operand, false);
16597a012299ced5cff02cec47055a63d3b2a78bb36fChris Lattner    } else {
16607a012299ced5cff02cec47055a63d3b2a78bb36fChris Lattner      writeOperand(Operand, true);
16617a012299ced5cff02cec47055a63d3b2a78bb36fChris Lattner    }
16620313e0b44dcd77acd334d3f324c7da527179a690Misha Brukman    Out << '(';
1663bd5db8e29b82f864c3d6525c6cfefa557fafdbb8Reid Spencer    for (unsigned op = 3, Eop = I.getNumOperands(); op < Eop; ++op) {
1664bd5db8e29b82f864c3d6525c6cfefa557fafdbb8Reid Spencer      if (op > 3)
16658dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman        Out << ", ";
166619c874638d9478a5d5028854817a5ee72293bb2bDevang Patel      writeParamOperand(I.getOperand(op), PAL.getParamAttributes(op-2));
1667e02fa8551d20081534afa46e0976811687e5183aChris Lattner    }
1668e02fa8551d20081534afa46e0976811687e5183aChris Lattner
16698dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman    Out << ')';
167019c874638d9478a5d5028854817a5ee72293bb2bDevang Patel    if (PAL.getFnAttributes() != Attribute::None)
167119c874638d9478a5d5028854817a5ee72293bb2bDevang Patel      Out << ' ' << Attribute::getAsString(PAL.getFnAttributes());
167219c874638d9478a5d5028854817a5ee72293bb2bDevang Patel
16738dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman    Out << "\n\t\t\tto ";
1674e02fa8551d20081534afa46e0976811687e5183aChris Lattner    writeOperand(II->getNormalDest(), true);
16758dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman    Out << " unwind ";
1676aeb2a1d70807aa626f335fb23d47bc604ffeaa15Chris Lattner    writeOperand(II->getUnwindDest(), true);
1677e02fa8551d20081534afa46e0976811687e5183aChris Lattner
16787e70829632f82de15db187845666aaca6e04b792Chris Lattner  } else if (const AllocationInst *AI = dyn_cast<AllocationInst>(&I)) {
16790313e0b44dcd77acd334d3f324c7da527179a690Misha Brukman    Out << ' ';
16800f7364b4aa15263827af49d046fd6147ac769eefChris Lattner    TypePrinter.print(AI->getType()->getElementType(), Out);
168194dc1f29cd1dc669680b7d3caa1f59862a656b83Chris Lattner    if (AI->isArrayAllocation()) {
16828dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman      Out << ", ";
168394dc1f29cd1dc669680b7d3caa1f59862a656b83Chris Lattner      writeOperand(AI->getArraySize(), true);
1684009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner    }
168514b0529532904b9e5a1e34526b4a3209f3e5bc62Nate Begeman    if (AI->getAlignment()) {
16869fad0b9974beb76bef763b8fed71d0c8644403d4Chris Lattner      Out << ", align " << AI->getAlignment();
168714b0529532904b9e5a1e34526b4a3209f3e5bc62Nate Begeman    }
1688e02fa8551d20081534afa46e0976811687e5183aChris Lattner  } else if (isa<CastInst>(I)) {
16898dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman    if (Operand) {
16908dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman      Out << ' ';
16918dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman      writeOperand(Operand, true);   // Work with broken code
16928dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman    }
16930313e0b44dcd77acd334d3f324c7da527179a690Misha Brukman    Out << " to ";
16940f7364b4aa15263827af49d046fd6147ac769eefChris Lattner    TypePrinter.print(I.getType(), Out);
16954d45bd007d0c3a3a6e5b3876b67fd495acb0db2bChris Lattner  } else if (isa<VAArgInst>(I)) {
16968dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman    if (Operand) {
16978dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman      Out << ' ';
16988dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman      writeOperand(Operand, true);   // Work with broken code
16998dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman    }
17000313e0b44dcd77acd334d3f324c7da527179a690Misha Brukman    Out << ", ";
17010f7364b4aa15263827af49d046fd6147ac769eefChris Lattner    TypePrinter.print(I.getType(), Out);
17020f7364b4aa15263827af49d046fd6147ac769eefChris Lattner  } else if (Operand) {   // Print the normal way.
1703009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner
1704fd93908ae8b9684fe71c239e3c6cfe13ff6a2663Misha Brukman    // PrintAllTypes - Instructions who have operands of all the same type
1705009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner    // omit the type from all but the first operand.  If the instruction has
1706009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner    // different type operands (for example br), then they are all printed.
1707009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner    bool PrintAllTypes = false;
1708009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner    const Type *TheType = Operand->getType();
1709009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner
1710ebe57e36dff2dc3a7ceea99202bdb9eb6fe938bcReid Spencer    // Select, Store and ShuffleVector always print all types.
17116494768ffcdf75e6e69a7955282db9ab9ab2e6fbDevang Patel    if (isa<SelectInst>(I) || isa<StoreInst>(I) || isa<ShuffleVectorInst>(I)
17126494768ffcdf75e6e69a7955282db9ab9ab2e6fbDevang Patel        || isa<ReturnInst>(I)) {
1713ffd9bf404cd36c93d82b0080113ccc6d230915b3Chris Lattner      PrintAllTypes = true;
1714ffd9bf404cd36c93d82b0080113ccc6d230915b3Chris Lattner    } else {
1715ffd9bf404cd36c93d82b0080113ccc6d230915b3Chris Lattner      for (unsigned i = 1, E = I.getNumOperands(); i != E; ++i) {
1716ffd9bf404cd36c93d82b0080113ccc6d230915b3Chris Lattner        Operand = I.getOperand(i);
17176ad2b2a3d20c667e01535fed4bc7f4753aa6fc85Nuno Lopes        // note that Operand shouldn't be null, but the test helps make dump()
17186ad2b2a3d20c667e01535fed4bc7f4753aa6fc85Nuno Lopes        // more tolerant of malformed IR
1719a8c78a9e89afcca4f003c55bcdbd41a23ecd5c8dNuno Lopes        if (Operand && Operand->getType() != TheType) {
1720ffd9bf404cd36c93d82b0080113ccc6d230915b3Chris Lattner          PrintAllTypes = true;    // We have differing types!  Print them all!
1721ffd9bf404cd36c93d82b0080113ccc6d230915b3Chris Lattner          break;
1722ffd9bf404cd36c93d82b0080113ccc6d230915b3Chris Lattner        }
1723009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner      }
1724009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner    }
1725fd93908ae8b9684fe71c239e3c6cfe13ff6a2663Misha Brukman
1726c1824996451d5ea93864fcd34ba8ea5e5f03e368Chris Lattner    if (!PrintAllTypes) {
17270313e0b44dcd77acd334d3f324c7da527179a690Misha Brukman      Out << ' ';
17280f7364b4aa15263827af49d046fd6147ac769eefChris Lattner      TypePrinter.print(TheType, Out);
1729c1824996451d5ea93864fcd34ba8ea5e5f03e368Chris Lattner    }
1730009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner
17318dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman    Out << ' ';
17327e70829632f82de15db187845666aaca6e04b792Chris Lattner    for (unsigned i = 0, E = I.getNumOperands(); i != E; ++i) {
17338dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman      if (i) Out << ", ";
17347e70829632f82de15db187845666aaca6e04b792Chris Lattner      writeOperand(I.getOperand(i), PrintAllTypes);
1735009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner    }
1736009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner  }
173743c7f37942a35398fd1e14b22f435f483a0ee863Christopher Lamb
173843c7f37942a35398fd1e14b22f435f483a0ee863Christopher Lamb  // Print post operand alignment for load/store
173943c7f37942a35398fd1e14b22f435f483a0ee863Christopher Lamb  if (isa<LoadInst>(I) && cast<LoadInst>(I).getAlignment()) {
174043c7f37942a35398fd1e14b22f435f483a0ee863Christopher Lamb    Out << ", align " << cast<LoadInst>(I).getAlignment();
174143c7f37942a35398fd1e14b22f435f483a0ee863Christopher Lamb  } else if (isa<StoreInst>(I) && cast<StoreInst>(I).getAlignment()) {
174243c7f37942a35398fd1e14b22f435f483a0ee863Christopher Lamb    Out << ", align " << cast<StoreInst>(I).getAlignment();
174343c7f37942a35398fd1e14b22f435f483a0ee863Christopher Lamb  }
1744009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner
1745e02fa8551d20081534afa46e0976811687e5183aChris Lattner  printInfoComment(I);
1746ab49ee752ec37f586e45c999eca1e29e32697cb7Chris Lattner  Out << '\n';
1747009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner}
1748009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner
1749009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner
1750009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner//===----------------------------------------------------------------------===//
1751009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner//                       External Interface declarations
1752009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner//===----------------------------------------------------------------------===//
1753009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner
175495e5a2cc3fc55b262d2baa1cc417115dfa4a18eaChris Lattnervoid Module::print(std::ostream &o, AssemblyAnnotationWriter *AAW) const {
1755944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner  raw_os_ostream OS(o);
1756944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner  print(OS, AAW);
1757009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner}
1758944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattnervoid Module::print(raw_ostream &OS, AssemblyAnnotationWriter *AAW) const {
1759944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner  SlotTracker SlotTable(this);
1760944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner  AssemblyWriter W(OS, SlotTable, this, AAW);
176175cf7cf00d391ac6ca22d6240fa9d99ed427d1d5Chris Lattner  W.write(this);
176275cf7cf00d391ac6ca22d6240fa9d99ed427d1d5Chris Lattner}
1763009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner
1764944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattnervoid Type::print(std::ostream &o) const {
1765944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner  raw_os_ostream OS(o);
1766944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner  print(OS);
1767009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner}
1768009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner
17696d4306e63c2ca40a0482bf74a077540bb9cda25eChris Lattnervoid Type::print(raw_ostream &OS) const {
17706d4306e63c2ca40a0482bf74a077540bb9cda25eChris Lattner  if (this == 0) {
17716d4306e63c2ca40a0482bf74a077540bb9cda25eChris Lattner    OS << "<null Type>";
17726d4306e63c2ca40a0482bf74a077540bb9cda25eChris Lattner    return;
17736d4306e63c2ca40a0482bf74a077540bb9cda25eChris Lattner  }
1774e9fa33eb6629aea72cd59560216bb6a7b8ebc689Chris Lattner  TypePrinting().print(this, OS);
1775009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner}
1776009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner
1777944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattnervoid Value::print(raw_ostream &OS, AssemblyAnnotationWriter *AAW) const {
1778944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner  if (this == 0) {
1779944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner    OS << "printing a <null> value\n";
1780944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner    return;
1781944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner  }
1782944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner
1783944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner  if (const Instruction *I = dyn_cast<Instruction>(this)) {
1784944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner    const Function *F = I->getParent() ? I->getParent()->getParent() : 0;
1785944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner    SlotTracker SlotTable(F);
1786944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner    AssemblyWriter W(OS, SlotTable, F ? F->getParent() : 0, AAW);
1787944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner    W.write(I);
1788944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner  } else if (const BasicBlock *BB = dyn_cast<BasicBlock>(this)) {
1789944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner    SlotTracker SlotTable(BB->getParent());
1790944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner    AssemblyWriter W(OS, SlotTable,
1791944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner                     BB->getParent() ? BB->getParent()->getParent() : 0, AAW);
1792944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner    W.write(BB);
1793944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner  } else if (const GlobalValue *GV = dyn_cast<GlobalValue>(this)) {
1794944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner    SlotTracker SlotTable(GV->getParent());
1795944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner    AssemblyWriter W(OS, SlotTable, GV->getParent(), 0);
1796944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner    W.write(GV);
1797944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner  } else if (const Constant *C = dyn_cast<Constant>(this)) {
1798e9fa33eb6629aea72cd59560216bb6a7b8ebc689Chris Lattner    TypePrinting TypePrinter;
17990f7364b4aa15263827af49d046fd6147ac769eefChris Lattner    TypePrinter.print(C->getType(), OS);
18006d4306e63c2ca40a0482bf74a077540bb9cda25eChris Lattner    OS << ' ';
18019cc3446e570f71e8f55c8db2ca2ce580ad54d607Chris Lattner    WriteConstantInt(OS, C, TypePrinter, 0);
1802944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner  } else if (const Argument *A = dyn_cast<Argument>(this)) {
1803944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner    WriteAsOperand(OS, this, true,
1804944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner                   A->getParent() ? A->getParent()->getParent() : 0);
1805944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner  } else if (isa<InlineAsm>(this)) {
1806944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner    WriteAsOperand(OS, this, true, 0);
1807944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner  } else {
1808d71703deec9e3fe90833e82e0c8b6bf7e5af55fdDan Gohman    assert(0 && "Unknown value to print out!");
1809944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner  }
1810944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner}
1811944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner
1812944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattnervoid Value::print(std::ostream &O, AssemblyAnnotationWriter *AAW) const {
1813944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner  raw_os_ostream OS(O);
1814944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner  print(OS, AAW);
181575cf7cf00d391ac6ca22d6240fa9d99ed427d1d5Chris Lattner}
1816009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner
18177059e530edcf3294315f02751c9df5e485f2932cChris Lattner// Value::dump - allow easy printing of Values from the debugger.
18183518175d4256df88fcaf133c0ed9fb166db7993cChris Lattnervoid Value::dump() const { print(errs()); errs() << '\n'; errs().flush(); }
1819fa452c05504ebee698e00050d04e1a43b0f21045Reid Spencer
18207059e530edcf3294315f02751c9df5e485f2932cChris Lattner// Type::dump - allow easy printing of Types from the debugger.
1821795daece23cdc66bc7c16e9a2043dd4a4d0bbfc0Chris Lattner// This one uses type names from the given context module
1822795daece23cdc66bc7c16e9a2043dd4a4d0bbfc0Chris Lattnervoid Type::dump(const Module *Context) const {
1823795daece23cdc66bc7c16e9a2043dd4a4d0bbfc0Chris Lattner  WriteTypeSymbolic(errs(), this, Context);
1824795daece23cdc66bc7c16e9a2043dd4a4d0bbfc0Chris Lattner  errs() << '\n';
1825795daece23cdc66bc7c16e9a2043dd4a4d0bbfc0Chris Lattner  errs().flush();
1826795daece23cdc66bc7c16e9a2043dd4a4d0bbfc0Chris Lattner}
1827795daece23cdc66bc7c16e9a2043dd4a4d0bbfc0Chris Lattner
1828c287137ce7455c63be0075e0d5aba0bab4f125eaChris Lattner// Type::dump - allow easy printing of Types from the debugger.
1829c287137ce7455c63be0075e0d5aba0bab4f125eaChris Lattnervoid Type::dump() const { dump(0); }
1830c287137ce7455c63be0075e0d5aba0bab4f125eaChris Lattner
18317059e530edcf3294315f02751c9df5e485f2932cChris Lattner// Module::dump() - Allow printing of Modules from the debugger.
18323518175d4256df88fcaf133c0ed9fb166db7993cChris Lattnervoid Module::dump() const { print(errs(), 0); errs().flush(); }
1833