AsmWriter.cpp revision eaf42abab6d465c38891345d999255871cf03943
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" 299225507cda6c634ded5054f44a75835a0c8cf62aChris Lattner#include "llvm/ADT/DenseMap.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 421997473cf72957d0e70322e2fe6fe2ab141c58a6Devang Patelchar PrintModulePass::ID = 0; 437f8897f22e88271cfa114998a4d6088e7c8e8e11Chris Lattnerstatic RegisterPass<PrintModulePass> 443ee8fc964952a65bcb3668b85938c46f90631e42Duncan SandsX("print-module", "Print module to stderr"); 451997473cf72957d0e70322e2fe6fe2ab141c58a6Devang Patelchar PrintFunctionPass::ID = 0; 467f8897f22e88271cfa114998a4d6088e7c8e8e11Chris Lattnerstatic RegisterPass<PrintFunctionPass> 473ee8fc964952a65bcb3668b85938c46f90631e42Duncan SandsY("print-function","Print function to stderr"); 48f082b80828c13dcb7fb29ad5167ed161c1031534Chris Lattner 496ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 506ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner//===----------------------------------------------------------------------===// 516ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner// Helper Functions 526ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner//===----------------------------------------------------------------------===// 530e25e1cdcf1f73bb9f56b91155d5c0ef42ef0a44Reid Spencer 54207b5bc6a15e12a87c3c861da680b8b23559a34cChris Lattnerstatic const Module *getModuleFromVal(const Value *V) { 55949a3628024248db01d5b13e03c415e0c88e90e4Chris Lattner if (const Argument *MA = dyn_cast<Argument>(V)) 56207b5bc6a15e12a87c3c861da680b8b23559a34cChris Lattner return MA->getParent() ? MA->getParent()->getParent() : 0; 576ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 586ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner if (const BasicBlock *BB = dyn_cast<BasicBlock>(V)) 59207b5bc6a15e12a87c3c861da680b8b23559a34cChris Lattner return BB->getParent() ? BB->getParent()->getParent() : 0; 606ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 616ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner if (const Instruction *I = dyn_cast<Instruction>(V)) { 6279df7c0aaa18129e55968c8783ef8346807bd4afChris Lattner const Function *M = I->getParent() ? I->getParent()->getParent() : 0; 63207b5bc6a15e12a87c3c861da680b8b23559a34cChris Lattner return M ? M->getParent() : 0; 646ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner } 656ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 666ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner if (const GlobalValue *GV = dyn_cast<GlobalValue>(V)) 67207b5bc6a15e12a87c3c861da680b8b23559a34cChris Lattner return GV->getParent(); 68207b5bc6a15e12a87c3c861da680b8b23559a34cChris Lattner return 0; 69207b5bc6a15e12a87c3c861da680b8b23559a34cChris Lattner} 70207b5bc6a15e12a87c3c861da680b8b23559a34cChris Lattner 71009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner 723702d265b8278c4b67efb4989e6724205908addfReid Spencer/// NameNeedsQuotes - Return true if the specified llvm name should be wrapped 733702d265b8278c4b67efb4989e6724205908addfReid Spencer/// with ""'s. 744ad513ca153430c3a7f36be1ef43af04534e1f5dReid Spencerstatic std::string QuoteNameIfNeeded(const std::string &Name) { 754ad513ca153430c3a7f36be1ef43af04534e1f5dReid Spencer std::string result; 764ad513ca153430c3a7f36be1ef43af04534e1f5dReid Spencer bool needsQuotes = Name[0] >= '0' && Name[0] <= '9'; 774ad513ca153430c3a7f36be1ef43af04534e1f5dReid Spencer // Scan the name to see if it needs quotes and to replace funky chars with 784ad513ca153430c3a7f36be1ef43af04534e1f5dReid Spencer // their octal equivalent. 7924b8a5d6e7c67b0fdfe98a5b6c3791b313dc904bChris Lattner for (unsigned i = 0, e = Name.size(); i != e; ++i) { 8024b8a5d6e7c67b0fdfe98a5b6c3791b313dc904bChris Lattner char C = Name[i]; 8124b8a5d6e7c67b0fdfe98a5b6c3791b313dc904bChris Lattner assert(C != '"' && "Illegal character in LLVM value name!"); 824ad513ca153430c3a7f36be1ef43af04534e1f5dReid Spencer if (isalnum(C) || C == '-' || C == '.' || C == '_') 834ad513ca153430c3a7f36be1ef43af04534e1f5dReid Spencer result += C; 844ad513ca153430c3a7f36be1ef43af04534e1f5dReid Spencer else if (C == '\\') { 854ad513ca153430c3a7f36be1ef43af04534e1f5dReid Spencer needsQuotes = true; 864ad513ca153430c3a7f36be1ef43af04534e1f5dReid Spencer result += "\\\\"; 874ad513ca153430c3a7f36be1ef43af04534e1f5dReid Spencer } else if (isprint(C)) { 884ad513ca153430c3a7f36be1ef43af04534e1f5dReid Spencer needsQuotes = true; 894ad513ca153430c3a7f36be1ef43af04534e1f5dReid Spencer result += C; 904ad513ca153430c3a7f36be1ef43af04534e1f5dReid Spencer } else { 914ad513ca153430c3a7f36be1ef43af04534e1f5dReid Spencer needsQuotes = true; 924ad513ca153430c3a7f36be1ef43af04534e1f5dReid Spencer result += "\\"; 934ad513ca153430c3a7f36be1ef43af04534e1f5dReid Spencer char hex1 = (C >> 4) & 0x0F; 944ad513ca153430c3a7f36be1ef43af04534e1f5dReid Spencer if (hex1 < 10) 954ad513ca153430c3a7f36be1ef43af04534e1f5dReid Spencer result += hex1 + '0'; 964ad513ca153430c3a7f36be1ef43af04534e1f5dReid Spencer else 974ad513ca153430c3a7f36be1ef43af04534e1f5dReid Spencer result += hex1 - 10 + 'A'; 984ad513ca153430c3a7f36be1ef43af04534e1f5dReid Spencer char hex2 = C & 0x0F; 994ad513ca153430c3a7f36be1ef43af04534e1f5dReid Spencer if (hex2 < 10) 1004ad513ca153430c3a7f36be1ef43af04534e1f5dReid Spencer result += hex2 + '0'; 1014ad513ca153430c3a7f36be1ef43af04534e1f5dReid Spencer else 1024ad513ca153430c3a7f36be1ef43af04534e1f5dReid Spencer result += hex2 - 10 + 'A'; 1034ad513ca153430c3a7f36be1ef43af04534e1f5dReid Spencer } 1043702d265b8278c4b67efb4989e6724205908addfReid Spencer } 1054ad513ca153430c3a7f36be1ef43af04534e1f5dReid Spencer if (needsQuotes) { 1064ad513ca153430c3a7f36be1ef43af04534e1f5dReid Spencer result.insert(0,"\""); 1074ad513ca153430c3a7f36be1ef43af04534e1f5dReid Spencer result += '"'; 1084ad513ca153430c3a7f36be1ef43af04534e1f5dReid Spencer } 1094ad513ca153430c3a7f36be1ef43af04534e1f5dReid Spencer return result; 1103702d265b8278c4b67efb4989e6724205908addfReid Spencer} 1113702d265b8278c4b67efb4989e6724205908addfReid Spencer 1124667b71f9380afad56cbdc1fd19ca32334086d2cChris Lattner/// getLLVMName - Turn the specified string into an 'LLVM name', which is 1134667b71f9380afad56cbdc1fd19ca32334086d2cChris Lattner/// surrounded with ""'s and escaped if it has special chars in it. 114addd44427cb1b46d85f2eb31c267dd1d43914252Chris Lattnerstatic std::string getLLVMName(const std::string &Name) { 1153702d265b8278c4b67efb4989e6724205908addfReid Spencer assert(!Name.empty() && "Cannot get empty name!"); 1164667b71f9380afad56cbdc1fd19ca32334086d2cChris Lattner return QuoteNameIfNeeded(Name); 11724b8a5d6e7c67b0fdfe98a5b6c3791b313dc904bChris Lattner} 11824b8a5d6e7c67b0fdfe98a5b6c3791b313dc904bChris Lattner 119addd44427cb1b46d85f2eb31c267dd1d43914252Chris Lattnerenum PrefixType { 120addd44427cb1b46d85f2eb31c267dd1d43914252Chris Lattner GlobalPrefix, 121addd44427cb1b46d85f2eb31c267dd1d43914252Chris Lattner LabelPrefix, 122addd44427cb1b46d85f2eb31c267dd1d43914252Chris Lattner LocalPrefix 123addd44427cb1b46d85f2eb31c267dd1d43914252Chris Lattner}; 124addd44427cb1b46d85f2eb31c267dd1d43914252Chris Lattner 125c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner/// PrintLLVMName - Turn the specified name into an 'LLVM name', which is either 126c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner/// prefixed with % (if the string only contains simple characters) or is 127c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner/// surrounded with ""'s (if it has special chars in it). Print it out. 128944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattnerstatic void PrintLLVMName(raw_ostream &OS, const char *NameStr, 12952b26de325e32c71159376853384789b7646eaf4Chris Lattner unsigned NameLen, PrefixType Prefix) { 13052b26de325e32c71159376853384789b7646eaf4Chris Lattner assert(NameStr && "Cannot get empty name!"); 131c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner switch (Prefix) { 13252b26de325e32c71159376853384789b7646eaf4Chris Lattner default: assert(0 && "Bad prefix!"); 13352b26de325e32c71159376853384789b7646eaf4Chris Lattner case GlobalPrefix: OS << '@'; break; 13452b26de325e32c71159376853384789b7646eaf4Chris Lattner case LabelPrefix: break; 13552b26de325e32c71159376853384789b7646eaf4Chris Lattner case LocalPrefix: OS << '%'; break; 136c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner } 137c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner 138c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner // Scan the name to see if it needs quotes first. 139c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner bool NeedsQuotes = NameStr[0] >= '0' && NameStr[0] <= '9'; 140c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner if (!NeedsQuotes) { 141c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner for (unsigned i = 0; i != NameLen; ++i) { 142c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner char C = NameStr[i]; 143c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner if (!isalnum(C) && C != '-' && C != '.' && C != '_') { 144c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner NeedsQuotes = true; 145c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner break; 146c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner } 147c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner } 148c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner } 1496ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 150c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner // If we didn't need any quotes, just write out the name in one blast. 151c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner if (!NeedsQuotes) { 152c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner OS.write(NameStr, NameLen); 153c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner return; 154c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner } 155c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner 156c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner // Okay, we need quotes. Output the quotes and escape any scary characters as 157c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner // needed. 158c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner OS << '"'; 159c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner for (unsigned i = 0; i != NameLen; ++i) { 160c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner char C = NameStr[i]; 161c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner assert(C != '"' && "Illegal character in LLVM value name!"); 162c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner if (C == '\\') { 163c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner OS << "\\\\"; 164c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner } else if (isprint(C)) { 165c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner OS << C; 166c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner } else { 167d7cbd1574f1fa04a19d4fc3c82d78cf2f1e7c309Chris Lattner OS << '\\'; 168c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner char hex1 = (C >> 4) & 0x0F; 169c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner if (hex1 < 10) 170d7cbd1574f1fa04a19d4fc3c82d78cf2f1e7c309Chris Lattner OS << (char)(hex1 + '0'); 171c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner else 172d7cbd1574f1fa04a19d4fc3c82d78cf2f1e7c309Chris Lattner OS << (char)(hex1 - 10 + 'A'); 173c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner char hex2 = C & 0x0F; 174c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner if (hex2 < 10) 175d7cbd1574f1fa04a19d4fc3c82d78cf2f1e7c309Chris Lattner OS << (char)(hex2 + '0'); 176c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner else 177d7cbd1574f1fa04a19d4fc3c82d78cf2f1e7c309Chris Lattner OS << (char)(hex2 - 10 + 'A'); 178c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner } 179c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner } 180c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner OS << '"'; 181c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner} 182c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner 1836ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner/// PrintLLVMName - Turn the specified name into an 'LLVM name', which is either 1846ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner/// prefixed with % (if the string only contains simple characters) or is 1856ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner/// surrounded with ""'s (if it has special chars in it). Print it out. 186944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattnerstatic void PrintLLVMName(raw_ostream &OS, const Value *V) { 18752b26de325e32c71159376853384789b7646eaf4Chris Lattner PrintLLVMName(OS, V->getNameStart(), V->getNameLen(), 188c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner isa<GlobalValue>(V) ? GlobalPrefix : LocalPrefix); 189c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner} 190c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner 191207b5bc6a15e12a87c3c861da680b8b23559a34cChris Lattner 1926ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 1936ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner//===----------------------------------------------------------------------===// 1946ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner// SlotTracker Class: Enumerate slot numbers for unnamed values 1956ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner//===----------------------------------------------------------------------===// 1966ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 1976ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattnernamespace { 1986ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 1996ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner/// This class provides computation of slot numbers for LLVM Assembly writing. 2006ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner/// 2016ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattnerclass SlotTracker { 2026ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattnerpublic: 2036ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner /// ValueMap - A mapping of Values to slot numbers 2046ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner typedef DenseMap<const Value*, unsigned> ValueMap; 2056ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 2066ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattnerprivate: 2076ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner /// TheModule - The module for which we are holding slot numbers 2086ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner const Module* TheModule; 2096ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 2106ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner /// TheFunction - The function for which we are holding slot numbers 2116ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner const Function* TheFunction; 2126ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner bool FunctionProcessed; 2136ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 2146ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner /// mMap - The TypePlanes map for the module level data 2156ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner ValueMap mMap; 2166ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner unsigned mNext; 2176ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 2186ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner /// fMap - The TypePlanes map for the function level data 2196ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner ValueMap fMap; 2206ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner unsigned fNext; 2216ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 2226ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattnerpublic: 2236ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner /// Construct from a module 2246ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner explicit SlotTracker(const Module *M); 2256ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner /// Construct from a function, starting out in incorp state. 2266ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner explicit SlotTracker(const Function *F); 2276ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 2286ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner /// Return the slot number of the specified value in it's type 2296ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner /// plane. If something is not in the SlotTracker, return -1. 2306ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner int getLocalSlot(const Value *V); 2316ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner int getGlobalSlot(const GlobalValue *V); 2326ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 2336ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner /// If you'd like to deal with a function instead of just a module, use 2346ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner /// this method to get its data into the SlotTracker. 2356ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner void incorporateFunction(const Function *F) { 2366ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner TheFunction = F; 2376ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner FunctionProcessed = false; 2386ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner } 2396ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 2406ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner /// After calling incorporateFunction, use this method to remove the 2416ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner /// most recently incorporated function from the SlotTracker. This 2426ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner /// will reset the state of the machine back to just the module contents. 2436ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner void purgeFunction(); 2446ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 2456ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner // Implementation Details 2466ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattnerprivate: 2476ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner /// This function does the actual initialization. 2486ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner inline void initialize(); 2496ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 2506ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner /// CreateModuleSlot - Insert the specified GlobalValue* into the slot table. 2516ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner void CreateModuleSlot(const GlobalValue *V); 2526ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 2536ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner /// CreateFunctionSlot - Insert the specified Value* into the slot table. 2546ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner void CreateFunctionSlot(const Value *V); 2556ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 2566ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner /// Add all of the module level global variables (and their initializers) 2576ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner /// and function declarations, but not the contents of those functions. 2586ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner void processModule(); 2596ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 2606ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner /// Add all of the functions arguments, basic blocks, and instructions 2616ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner void processFunction(); 2626ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 2636ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner SlotTracker(const SlotTracker &); // DO NOT IMPLEMENT 2646ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner void operator=(const SlotTracker &); // DO NOT IMPLEMENT 2656ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner}; 2666ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 2676ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner} // end anonymous namespace 2686ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 2696ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 2706ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattnerstatic SlotTracker *createSlotTracker(const Value *V) { 2716ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner if (const Argument *FA = dyn_cast<Argument>(V)) 2726ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner return new SlotTracker(FA->getParent()); 2736ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 2746ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner if (const Instruction *I = dyn_cast<Instruction>(V)) 2756ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner return new SlotTracker(I->getParent()->getParent()); 2766ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 2776ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner if (const BasicBlock *BB = dyn_cast<BasicBlock>(V)) 2786ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner return new SlotTracker(BB->getParent()); 2796ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 2806ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner if (const GlobalVariable *GV = dyn_cast<GlobalVariable>(V)) 2816ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner return new SlotTracker(GV->getParent()); 2826ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 2836ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner if (const GlobalAlias *GA = dyn_cast<GlobalAlias>(V)) 2846ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner return new SlotTracker(GA->getParent()); 2856ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 2866ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner if (const Function *Func = dyn_cast<Function>(V)) 2876ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner return new SlotTracker(Func); 2886ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 2896ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner return 0; 2906ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner} 2916ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 2926ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner#if 0 293242330371b2b7ab9d5a6c4f5f93ec82c514cc09aChris Lattner#define ST_DEBUG(X) cerr << X 2946ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner#else 295242330371b2b7ab9d5a6c4f5f93ec82c514cc09aChris Lattner#define ST_DEBUG(X) 2966ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner#endif 2976ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 2986ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner// Module level constructor. Causes the contents of the Module (sans functions) 2996ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner// to be added to the slot table. 3006ab910b946b6af54384662fb404d6e9b22fa5727Chris LattnerSlotTracker::SlotTracker(const Module *M) 301cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner : TheModule(M), TheFunction(0), FunctionProcessed(false), mNext(0), fNext(0) { 3026ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner} 3036ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 3046ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner// Function level constructor. Causes the contents of the Module and the one 3056ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner// function provided to be added to the slot table. 3066ab910b946b6af54384662fb404d6e9b22fa5727Chris LattnerSlotTracker::SlotTracker(const Function *F) 307cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner : TheModule(F ? F->getParent() : 0), TheFunction(F), FunctionProcessed(false), 308cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner mNext(0), fNext(0) { 3096ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner} 3106ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 3116ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattnerinline void SlotTracker::initialize() { 3126ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner if (TheModule) { 3136ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner processModule(); 3146ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner TheModule = 0; ///< Prevent re-processing next time we're called. 3156ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner } 316cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner 3176ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner if (TheFunction && !FunctionProcessed) 3186ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner processFunction(); 3196ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner} 3206ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 3216ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner// Iterate through all the global variables, functions, and global 3226ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner// variable initializers and create slots for them. 3236ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattnervoid SlotTracker::processModule() { 324242330371b2b7ab9d5a6c4f5f93ec82c514cc09aChris Lattner ST_DEBUG("begin processModule!\n"); 3256ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 3266ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner // Add all of the unnamed global variables to the value table. 3276ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner for (Module::const_global_iterator I = TheModule->global_begin(), 3286ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner E = TheModule->global_end(); I != E; ++I) 3296ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner if (!I->hasName()) 3306ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner CreateModuleSlot(I); 3316ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 3326ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner // Add all the unnamed functions to the table. 3336ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner for (Module::const_iterator I = TheModule->begin(), E = TheModule->end(); 3346ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner I != E; ++I) 3356ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner if (!I->hasName()) 3366ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner CreateModuleSlot(I); 3376ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 338242330371b2b7ab9d5a6c4f5f93ec82c514cc09aChris Lattner ST_DEBUG("end processModule!\n"); 3396ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner} 3406ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 3416ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 3426ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner// Process the arguments, basic blocks, and instructions of a function. 3436ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattnervoid SlotTracker::processFunction() { 344242330371b2b7ab9d5a6c4f5f93ec82c514cc09aChris Lattner ST_DEBUG("begin processFunction!\n"); 3456ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner fNext = 0; 3466ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 3476ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner // Add all the function arguments with no names. 3486ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner for(Function::const_arg_iterator AI = TheFunction->arg_begin(), 3496ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner AE = TheFunction->arg_end(); AI != AE; ++AI) 3506ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner if (!AI->hasName()) 3516ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner CreateFunctionSlot(AI); 3526ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 353242330371b2b7ab9d5a6c4f5f93ec82c514cc09aChris Lattner ST_DEBUG("Inserting Instructions:\n"); 3546ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 3556ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner // Add all of the basic blocks and instructions with no names. 3566ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner for (Function::const_iterator BB = TheFunction->begin(), 3576ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner E = TheFunction->end(); BB != E; ++BB) { 3586ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner if (!BB->hasName()) 3596ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner CreateFunctionSlot(BB); 3606ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner for (BasicBlock::const_iterator I = BB->begin(), E = BB->end(); I != E; ++I) 3616ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner if (I->getType() != Type::VoidTy && !I->hasName()) 3626ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner CreateFunctionSlot(I); 3636ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner } 3646ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 3656ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner FunctionProcessed = true; 3666ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 367242330371b2b7ab9d5a6c4f5f93ec82c514cc09aChris Lattner ST_DEBUG("end processFunction!\n"); 3686ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner} 3696ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 3706ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner/// Clean up after incorporating a function. This is the only way to get out of 3716ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner/// the function incorporation state that affects get*Slot/Create*Slot. Function 3726ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner/// incorporation state is indicated by TheFunction != 0. 3736ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattnervoid SlotTracker::purgeFunction() { 374242330371b2b7ab9d5a6c4f5f93ec82c514cc09aChris Lattner ST_DEBUG("begin purgeFunction!\n"); 3756ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner fMap.clear(); // Simply discard the function level map 3766ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner TheFunction = 0; 3776ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner FunctionProcessed = false; 378242330371b2b7ab9d5a6c4f5f93ec82c514cc09aChris Lattner ST_DEBUG("end purgeFunction!\n"); 3796ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner} 3806ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 3816ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner/// getGlobalSlot - Get the slot number of a global value. 3826ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattnerint SlotTracker::getGlobalSlot(const GlobalValue *V) { 3836ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner // Check for uninitialized state and do lazy initialization. 3846ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner initialize(); 3856ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 3866ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner // Find the type plane in the module map 3876ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner ValueMap::iterator MI = mMap.find(V); 3886ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner return MI == mMap.end() ? -1 : MI->second; 3896ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner} 3906ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 3916ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 3926ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner/// getLocalSlot - Get the slot number for a value that is local to a function. 3936ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattnerint SlotTracker::getLocalSlot(const Value *V) { 3946ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner assert(!isa<Constant>(V) && "Can't get a constant or global slot with this!"); 3956ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 3966ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner // Check for uninitialized state and do lazy initialization. 3976ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner initialize(); 3986ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 3996ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner ValueMap::iterator FI = fMap.find(V); 4006ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner return FI == fMap.end() ? -1 : FI->second; 4016ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner} 4026ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 4036ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 4046ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner/// CreateModuleSlot - Insert the specified GlobalValue* into the slot table. 4056ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattnervoid SlotTracker::CreateModuleSlot(const GlobalValue *V) { 4066ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner assert(V && "Can't insert a null Value into SlotTracker!"); 4076ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner assert(V->getType() != Type::VoidTy && "Doesn't need a slot!"); 4086ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner assert(!V->hasName() && "Doesn't need a slot!"); 4096ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 4106ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner unsigned DestSlot = mNext++; 4116ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner mMap[V] = DestSlot; 4126ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 413242330371b2b7ab9d5a6c4f5f93ec82c514cc09aChris Lattner ST_DEBUG(" Inserting value [" << V->getType() << "] = " << V << " slot=" << 4146ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner DestSlot << " ["); 4156ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner // G = Global, F = Function, A = Alias, o = other 416242330371b2b7ab9d5a6c4f5f93ec82c514cc09aChris Lattner ST_DEBUG((isa<GlobalVariable>(V) ? 'G' : 4176ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner (isa<Function>(V) ? 'F' : 4186ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner (isa<GlobalAlias>(V) ? 'A' : 'o'))) << "]\n"); 4196ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner} 4206ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 4216ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 4226ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner/// CreateSlot - Create a new slot for the specified value if it has no name. 4236ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattnervoid SlotTracker::CreateFunctionSlot(const Value *V) { 4246ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner assert(V->getType() != Type::VoidTy && !V->hasName() && 4256ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner "Doesn't need a slot!"); 4266ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 4276ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner unsigned DestSlot = fNext++; 4286ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner fMap[V] = DestSlot; 4296ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 4306ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner // G = Global, F = Function, o = other 431242330371b2b7ab9d5a6c4f5f93ec82c514cc09aChris Lattner ST_DEBUG(" Inserting value [" << V->getType() << "] = " << V << " slot=" << 4326ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner DestSlot << " [o]\n"); 4336ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner} 4346ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 4356ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 4366ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 4376ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner//===----------------------------------------------------------------------===// 4386ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner// AsmWriter Implementation 4396ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner//===----------------------------------------------------------------------===// 4406ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 441944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattnerstatic void WriteAsOperandInternal(raw_ostream &Out, const Value *V, 4426ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner std::map<const Type *, std::string> &TypeTable, 4436ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner SlotTracker *Machine); 4446ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 4456ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 4466ab910b946b6af54384662fb404d6e9b22fa5727Chris Lattner 447ab5c6003d23c19d23bbff1054900d208c55e0188Misha Brukman/// fillTypeNameTable - If the module has a symbol table, take all global types 448ab5c6003d23c19d23bbff1054900d208c55e0188Misha Brukman/// and stuff their names into the TypeNames map. 449ab5c6003d23c19d23bbff1054900d208c55e0188Misha Brukman/// 450207b5bc6a15e12a87c3c861da680b8b23559a34cChris Lattnerstatic void fillTypeNameTable(const Module *M, 4517b13f56c36eb7572e1053974e5487a5f1c3080aaChris Lattner std::map<const Type *, std::string> &TypeNames) { 4526e6026b46569b01f8f6d4dcdb6c899c3a9c76b3eChris Lattner if (!M) return; 45378d033e086e19e016273de014f9214aa6f3f844bReid Spencer const TypeSymbolTable &ST = M->getTypeSymbolTable(); 45478d033e086e19e016273de014f9214aa6f3f844bReid Spencer TypeSymbolTable::const_iterator TI = ST.begin(); 45578d033e086e19e016273de014f9214aa6f3f844bReid Spencer for (; TI != ST.end(); ++TI) { 4569231ac8b6f2c3f9877bdb7a223f7392061258ab6Reid Spencer // As a heuristic, don't insert pointer to primitive types, because 4579231ac8b6f2c3f9877bdb7a223f7392061258ab6Reid Spencer // they are used too often to have a single useful name. 4589231ac8b6f2c3f9877bdb7a223f7392061258ab6Reid Spencer // 4599231ac8b6f2c3f9877bdb7a223f7392061258ab6Reid Spencer const Type *Ty = cast<Type>(TI->second); 4609231ac8b6f2c3f9877bdb7a223f7392061258ab6Reid Spencer if (!isa<PointerType>(Ty) || 461b03de0c780a74d63f6b331eb8f615b46c4cddd7bReid Spencer !cast<PointerType>(Ty)->getElementType()->isPrimitiveType() || 46242a75517250017a52afb03a0ade03cbd49559fe5Chris Lattner !cast<PointerType>(Ty)->getElementType()->isInteger() || 463b03de0c780a74d63f6b331eb8f615b46c4cddd7bReid Spencer isa<OpaqueType>(cast<PointerType>(Ty)->getElementType())) 4644667b71f9380afad56cbdc1fd19ca32334086d2cChris Lattner TypeNames.insert(std::make_pair(Ty, '%' + getLLVMName(TI->first))); 465207b5bc6a15e12a87c3c861da680b8b23559a34cChris Lattner } 466207b5bc6a15e12a87c3c861da680b8b23559a34cChris Lattner} 467207b5bc6a15e12a87c3c861da680b8b23559a34cChris Lattner 468207b5bc6a15e12a87c3c861da680b8b23559a34cChris Lattner 469207b5bc6a15e12a87c3c861da680b8b23559a34cChris Lattner 470fd93908ae8b9684fe71c239e3c6cfe13ff6a2663Misha Brukmanstatic void calcTypeName(const Type *Ty, 4714ff620a867b7fcd13fb641c4ea872bd9be4b7b71John Criswell std::vector<const Type *> &TypeStack, 4724ff620a867b7fcd13fb641c4ea872bd9be4b7b71John Criswell std::map<const Type *, std::string> &TypeNames, 4734667b71f9380afad56cbdc1fd19ca32334086d2cChris Lattner std::string &Result) { 47442a75517250017a52afb03a0ade03cbd49559fe5Chris Lattner if (Ty->isInteger() || (Ty->isPrimitiveType() && !isa<OpaqueType>(Ty))) { 4754ff620a867b7fcd13fb641c4ea872bd9be4b7b71John Criswell Result += Ty->getDescription(); // Base case 4764ff620a867b7fcd13fb641c4ea872bd9be4b7b71John Criswell return; 4774ff620a867b7fcd13fb641c4ea872bd9be4b7b71John Criswell } 478207b5bc6a15e12a87c3c861da680b8b23559a34cChris Lattner 479207b5bc6a15e12a87c3c861da680b8b23559a34cChris Lattner // Check to see if the type is named. 4807b13f56c36eb7572e1053974e5487a5f1c3080aaChris Lattner std::map<const Type *, std::string>::iterator I = TypeNames.find(Ty); 4814ff620a867b7fcd13fb641c4ea872bd9be4b7b71John Criswell if (I != TypeNames.end()) { 4824ff620a867b7fcd13fb641c4ea872bd9be4b7b71John Criswell Result += I->second; 4834ff620a867b7fcd13fb641c4ea872bd9be4b7b71John Criswell return; 4844ff620a867b7fcd13fb641c4ea872bd9be4b7b71John Criswell } 485207b5bc6a15e12a87c3c861da680b8b23559a34cChris Lattner 4864ff620a867b7fcd13fb641c4ea872bd9be4b7b71John Criswell if (isa<OpaqueType>(Ty)) { 4874ff620a867b7fcd13fb641c4ea872bd9be4b7b71John Criswell Result += "opaque"; 4884ff620a867b7fcd13fb641c4ea872bd9be4b7b71John Criswell return; 4894ff620a867b7fcd13fb641c4ea872bd9be4b7b71John Criswell } 49088c17380646dbb7c0c5054a392de5a46d17620baChris Lattner 491207b5bc6a15e12a87c3c861da680b8b23559a34cChris Lattner // Check to see if the Type is already on the stack... 492207b5bc6a15e12a87c3c861da680b8b23559a34cChris Lattner unsigned Slot = 0, CurSize = TypeStack.size(); 493207b5bc6a15e12a87c3c861da680b8b23559a34cChris Lattner while (Slot < CurSize && TypeStack[Slot] != Ty) ++Slot; // Scan for type 494207b5bc6a15e12a87c3c861da680b8b23559a34cChris Lattner 495fd93908ae8b9684fe71c239e3c6cfe13ff6a2663Misha Brukman // This is another base case for the recursion. In this case, we know 496207b5bc6a15e12a87c3c861da680b8b23559a34cChris Lattner // that we have looped back to a type that we have previously visited. 497207b5bc6a15e12a87c3c861da680b8b23559a34cChris Lattner // Generate the appropriate upreference to handle this. 4984ff620a867b7fcd13fb641c4ea872bd9be4b7b71John Criswell if (Slot < CurSize) { 4994ff620a867b7fcd13fb641c4ea872bd9be4b7b71John Criswell Result += "\\" + utostr(CurSize-Slot); // Here's the upreference 5004ff620a867b7fcd13fb641c4ea872bd9be4b7b71John Criswell return; 5014ff620a867b7fcd13fb641c4ea872bd9be4b7b71John Criswell } 502207b5bc6a15e12a87c3c861da680b8b23559a34cChris Lattner 503207b5bc6a15e12a87c3c861da680b8b23559a34cChris Lattner TypeStack.push_back(Ty); // Recursive case: Add us to the stack.. 504fd93908ae8b9684fe71c239e3c6cfe13ff6a2663Misha Brukman 505f70c22b019494723d0e706f93d6542dfaa6e73a5Chris Lattner switch (Ty->getTypeID()) { 506a54b7cbd452b3adb2f51346140d996b29c2cdb30Reid Spencer case Type::IntegerTyID: { 507a54b7cbd452b3adb2f51346140d996b29c2cdb30Reid Spencer unsigned BitWidth = cast<IntegerType>(Ty)->getBitWidth(); 50815ee935fc52b2e68a294631aac0c84ea4ba72509Reid Spencer Result += "i" + utostr(BitWidth); 509a54b7cbd452b3adb2f51346140d996b29c2cdb30Reid Spencer break; 510a54b7cbd452b3adb2f51346140d996b29c2cdb30Reid Spencer } 5116bfd6a578a3a4fa95c585c988ee712ba880f9923Chris Lattner case Type::FunctionTyID: { 512949a3628024248db01d5b13e03c415e0c88e90e4Chris Lattner const FunctionType *FTy = cast<FunctionType>(Ty); 5134ff620a867b7fcd13fb641c4ea872bd9be4b7b71John Criswell calcTypeName(FTy->getReturnType(), TypeStack, TypeNames, Result); 5144ff620a867b7fcd13fb641c4ea872bd9be4b7b71John Criswell Result += " ("; 515d5d89967206e1153d24abdb7b22002f7533f55c7Chris Lattner for (FunctionType::param_iterator I = FTy->param_begin(), 516dc024674ff96820d6020757b48d47f46d4c07db2Duncan Sands E = FTy->param_end(); I != E; ++I) { 517d5d89967206e1153d24abdb7b22002f7533f55c7Chris Lattner if (I != FTy->param_begin()) 518207b5bc6a15e12a87c3c861da680b8b23559a34cChris Lattner Result += ", "; 5194ff620a867b7fcd13fb641c4ea872bd9be4b7b71John Criswell calcTypeName(*I, TypeStack, TypeNames, Result); 520207b5bc6a15e12a87c3c861da680b8b23559a34cChris Lattner } 5212761e9f076bbe6c961629aece62db4b836a41ef8Chris Lattner if (FTy->isVarArg()) { 522d5d89967206e1153d24abdb7b22002f7533f55c7Chris Lattner if (FTy->getNumParams()) Result += ", "; 523207b5bc6a15e12a87c3c861da680b8b23559a34cChris Lattner Result += "..."; 524207b5bc6a15e12a87c3c861da680b8b23559a34cChris Lattner } 525207b5bc6a15e12a87c3c861da680b8b23559a34cChris Lattner Result += ")"; 526207b5bc6a15e12a87c3c861da680b8b23559a34cChris Lattner break; 527207b5bc6a15e12a87c3c861da680b8b23559a34cChris Lattner } 528207b5bc6a15e12a87c3c861da680b8b23559a34cChris Lattner case Type::StructTyID: { 529949a3628024248db01d5b13e03c415e0c88e90e4Chris Lattner const StructType *STy = cast<StructType>(Ty); 53038ecbf18eb9c8ca7ae08dfed4dc6fb4e3e5deb1eAndrew Lenharth if (STy->isPacked()) 53138ecbf18eb9c8ca7ae08dfed4dc6fb4e3e5deb1eAndrew Lenharth Result += '<'; 5324ff620a867b7fcd13fb641c4ea872bd9be4b7b71John Criswell Result += "{ "; 533d21cd809b656d3011ec089536857e048e037159cChris Lattner for (StructType::element_iterator I = STy->element_begin(), 534d21cd809b656d3011ec089536857e048e037159cChris Lattner E = STy->element_end(); I != E; ++I) { 535d21cd809b656d3011ec089536857e048e037159cChris Lattner if (I != STy->element_begin()) 536207b5bc6a15e12a87c3c861da680b8b23559a34cChris Lattner Result += ", "; 5374ff620a867b7fcd13fb641c4ea872bd9be4b7b71John Criswell calcTypeName(*I, TypeStack, TypeNames, Result); 538207b5bc6a15e12a87c3c861da680b8b23559a34cChris Lattner } 539207b5bc6a15e12a87c3c861da680b8b23559a34cChris Lattner Result += " }"; 54038ecbf18eb9c8ca7ae08dfed4dc6fb4e3e5deb1eAndrew Lenharth if (STy->isPacked()) 54138ecbf18eb9c8ca7ae08dfed4dc6fb4e3e5deb1eAndrew Lenharth Result += '>'; 542207b5bc6a15e12a87c3c861da680b8b23559a34cChris Lattner break; 543207b5bc6a15e12a87c3c861da680b8b23559a34cChris Lattner } 544fe63fb986dc9510c5d68f2442edab9574e9e50d0Christopher Lamb case Type::PointerTyID: { 545fe63fb986dc9510c5d68f2442edab9574e9e50d0Christopher Lamb const PointerType *PTy = cast<PointerType>(Ty); 5464667b71f9380afad56cbdc1fd19ca32334086d2cChris Lattner calcTypeName(PTy->getElementType(), TypeStack, TypeNames, Result); 547fe63fb986dc9510c5d68f2442edab9574e9e50d0Christopher Lamb if (unsigned AddressSpace = PTy->getAddressSpace()) 548fe63fb986dc9510c5d68f2442edab9574e9e50d0Christopher Lamb Result += " addrspace(" + utostr(AddressSpace) + ")"; 5494ff620a867b7fcd13fb641c4ea872bd9be4b7b71John Criswell Result += "*"; 550207b5bc6a15e12a87c3c861da680b8b23559a34cChris Lattner break; 551fe63fb986dc9510c5d68f2442edab9574e9e50d0Christopher Lamb } 552207b5bc6a15e12a87c3c861da680b8b23559a34cChris Lattner case Type::ArrayTyID: { 553949a3628024248db01d5b13e03c415e0c88e90e4Chris Lattner const ArrayType *ATy = cast<ArrayType>(Ty); 5544ff620a867b7fcd13fb641c4ea872bd9be4b7b71John Criswell Result += "[" + utostr(ATy->getNumElements()) + " x "; 5554ff620a867b7fcd13fb641c4ea872bd9be4b7b71John Criswell calcTypeName(ATy->getElementType(), TypeStack, TypeNames, Result); 5564ff620a867b7fcd13fb641c4ea872bd9be4b7b71John Criswell Result += "]"; 557207b5bc6a15e12a87c3c861da680b8b23559a34cChris Lattner break; 558207b5bc6a15e12a87c3c861da680b8b23559a34cChris Lattner } 5599d6565a5b1fbc4286d6ee638d8f47a3171a9ed7eReid Spencer case Type::VectorTyID: { 5609d6565a5b1fbc4286d6ee638d8f47a3171a9ed7eReid Spencer const VectorType *PTy = cast<VectorType>(Ty); 561715c90ba524e736190a6380695ab337eeb5148beBrian Gaeke Result += "<" + utostr(PTy->getNumElements()) + " x "; 562715c90ba524e736190a6380695ab337eeb5148beBrian Gaeke calcTypeName(PTy->getElementType(), TypeStack, TypeNames, Result); 563715c90ba524e736190a6380695ab337eeb5148beBrian Gaeke Result += ">"; 564715c90ba524e736190a6380695ab337eeb5148beBrian Gaeke break; 565715c90ba524e736190a6380695ab337eeb5148beBrian Gaeke } 5669e094c40df10d928a1242f8652dc56ebd41d38fdChris Lattner case Type::OpaqueTyID: 5674ff620a867b7fcd13fb641c4ea872bd9be4b7b71John Criswell Result += "opaque"; 5689e094c40df10d928a1242f8652dc56ebd41d38fdChris Lattner break; 569207b5bc6a15e12a87c3c861da680b8b23559a34cChris Lattner default: 5704ff620a867b7fcd13fb641c4ea872bd9be4b7b71John Criswell Result += "<unrecognized-type>"; 57182c4bc7153d390ad1c2b369e0caef456948b8825Chris Lattner break; 572207b5bc6a15e12a87c3c861da680b8b23559a34cChris Lattner } 573207b5bc6a15e12a87c3c861da680b8b23559a34cChris Lattner 574207b5bc6a15e12a87c3c861da680b8b23559a34cChris Lattner TypeStack.pop_back(); // Remove self from stack... 575207b5bc6a15e12a87c3c861da680b8b23559a34cChris Lattner} 576207b5bc6a15e12a87c3c861da680b8b23559a34cChris Lattner 577207b5bc6a15e12a87c3c861da680b8b23559a34cChris Lattner 5789d0802e7dd165dd9b7372f12799f248e7f133287Misha Brukman/// printTypeInt - The internal guts of printing out a type that has a 5799d0802e7dd165dd9b7372f12799f248e7f133287Misha Brukman/// potentially named portion. 5809d0802e7dd165dd9b7372f12799f248e7f133287Misha Brukman/// 581944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattnerstatic void printTypeInt(raw_ostream &Out, const Type *Ty, 5824667b71f9380afad56cbdc1fd19ca32334086d2cChris Lattner std::map<const Type *, std::string> &TypeNames) { 583207b5bc6a15e12a87c3c861da680b8b23559a34cChris Lattner // Primitive types always print out their description, regardless of whether 584207b5bc6a15e12a87c3c861da680b8b23559a34cChris Lattner // they have been named or not. 585207b5bc6a15e12a87c3c861da680b8b23559a34cChris Lattner // 5864667b71f9380afad56cbdc1fd19ca32334086d2cChris Lattner if (Ty->isInteger() || (Ty->isPrimitiveType() && !isa<OpaqueType>(Ty))) { 5874667b71f9380afad56cbdc1fd19ca32334086d2cChris Lattner Out << Ty->getDescription(); 5884667b71f9380afad56cbdc1fd19ca32334086d2cChris Lattner return; 5894667b71f9380afad56cbdc1fd19ca32334086d2cChris Lattner } 590207b5bc6a15e12a87c3c861da680b8b23559a34cChris Lattner 591207b5bc6a15e12a87c3c861da680b8b23559a34cChris Lattner // Check to see if the type is named. 5927b13f56c36eb7572e1053974e5487a5f1c3080aaChris Lattner std::map<const Type *, std::string>::iterator I = TypeNames.find(Ty); 5934667b71f9380afad56cbdc1fd19ca32334086d2cChris Lattner if (I != TypeNames.end()) { 5944667b71f9380afad56cbdc1fd19ca32334086d2cChris Lattner Out << I->second; 5954667b71f9380afad56cbdc1fd19ca32334086d2cChris Lattner return; 5964667b71f9380afad56cbdc1fd19ca32334086d2cChris Lattner } 597207b5bc6a15e12a87c3c861da680b8b23559a34cChris Lattner 598207b5bc6a15e12a87c3c861da680b8b23559a34cChris Lattner // Otherwise we have a type that has not been named but is a derived type. 599207b5bc6a15e12a87c3c861da680b8b23559a34cChris Lattner // Carefully recurse the type hierarchy to print out any contained symbolic 600207b5bc6a15e12a87c3c861da680b8b23559a34cChris Lattner // names. 601207b5bc6a15e12a87c3c861da680b8b23559a34cChris Lattner // 6027b13f56c36eb7572e1053974e5487a5f1c3080aaChris Lattner std::vector<const Type *> TypeStack; 6034ff620a867b7fcd13fb641c4ea872bd9be4b7b71John Criswell std::string TypeName; 6044ff620a867b7fcd13fb641c4ea872bd9be4b7b71John Criswell calcTypeName(Ty, TypeStack, TypeNames, TypeName); 605697954c15da58bd8b186dbafdedd8b06db770201Chris Lattner TypeNames.insert(std::make_pair(Ty, TypeName));//Cache type name for later use 6064667b71f9380afad56cbdc1fd19ca32334086d2cChris Lattner Out << TypeName; 607207b5bc6a15e12a87c3c861da680b8b23559a34cChris Lattner} 608207b5bc6a15e12a87c3c861da680b8b23559a34cChris Lattner 609e51e03b3c649ed9419bd0e920c03ef9023ccee48Chris Lattner 6109d0802e7dd165dd9b7372f12799f248e7f133287Misha Brukman/// WriteTypeSymbolic - This attempts to write the specified type as a symbolic 6119d0802e7dd165dd9b7372f12799f248e7f133287Misha Brukman/// type, iff there is an entry in the modules symbol table for the specified 6129d0802e7dd165dd9b7372f12799f248e7f133287Misha Brukman/// type or one of it's component types. This is slower than a simple x << Type 6139d0802e7dd165dd9b7372f12799f248e7f133287Misha Brukman/// 614242330371b2b7ab9d5a6c4f5f93ec82c514cc09aChris Lattnervoid llvm::WriteTypeSymbolic(std::ostream &Out, const Type *Ty, 615242330371b2b7ab9d5a6c4f5f93ec82c514cc09aChris Lattner const Module *M) { 616944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner raw_os_ostream RO(Out); 617944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner WriteTypeSymbolic(RO, Ty, M); 618944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner} 619944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner 620944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattnervoid llvm::WriteTypeSymbolic(raw_ostream &Out, const Type *Ty, const Module *M){ 621fd93908ae8b9684fe71c239e3c6cfe13ff6a2663Misha Brukman Out << ' '; 622207b5bc6a15e12a87c3c861da680b8b23559a34cChris Lattner 62382c4bc7153d390ad1c2b369e0caef456948b8825Chris Lattner // If they want us to print out a type, but there is no context, we can't 62482c4bc7153d390ad1c2b369e0caef456948b8825Chris Lattner // print it symbolically. 625242330371b2b7ab9d5a6c4f5f93ec82c514cc09aChris Lattner if (!M) { 626242330371b2b7ab9d5a6c4f5f93ec82c514cc09aChris Lattner Out << Ty->getDescription(); 627242330371b2b7ab9d5a6c4f5f93ec82c514cc09aChris Lattner } else { 628242330371b2b7ab9d5a6c4f5f93ec82c514cc09aChris Lattner std::map<const Type *, std::string> TypeNames; 629242330371b2b7ab9d5a6c4f5f93ec82c514cc09aChris Lattner fillTypeNameTable(M, TypeNames); 630242330371b2b7ab9d5a6c4f5f93ec82c514cc09aChris Lattner printTypeInt(Out, Ty, TypeNames); 631242330371b2b7ab9d5a6c4f5f93ec82c514cc09aChris Lattner } 632207b5bc6a15e12a87c3c861da680b8b23559a34cChris Lattner} 633207b5bc6a15e12a87c3c861da680b8b23559a34cChris Lattner 63418365506ebe3e28593cb36951f17f08e75712a29Chris Lattner// PrintEscapedString - Print each character of the specified string, escaping 63518365506ebe3e28593cb36951f17f08e75712a29Chris Lattner// it if it is not printable or if it is an escape char. 636944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattnerstatic void PrintEscapedString(const std::string &Str, raw_ostream &Out) { 63718365506ebe3e28593cb36951f17f08e75712a29Chris Lattner for (unsigned i = 0, e = Str.size(); i != e; ++i) { 63818365506ebe3e28593cb36951f17f08e75712a29Chris Lattner unsigned char C = Str[i]; 63918365506ebe3e28593cb36951f17f08e75712a29Chris Lattner if (isprint(C) && C != '"' && C != '\\') { 64018365506ebe3e28593cb36951f17f08e75712a29Chris Lattner Out << C; 64118365506ebe3e28593cb36951f17f08e75712a29Chris Lattner } else { 64218365506ebe3e28593cb36951f17f08e75712a29Chris Lattner Out << '\\' 64318365506ebe3e28593cb36951f17f08e75712a29Chris Lattner << (char) ((C/16 < 10) ? ( C/16 +'0') : ( C/16 -10+'A')) 64418365506ebe3e28593cb36951f17f08e75712a29Chris Lattner << (char)(((C&15) < 10) ? ((C&15)+'0') : ((C&15)-10+'A')); 64518365506ebe3e28593cb36951f17f08e75712a29Chris Lattner } 64618365506ebe3e28593cb36951f17f08e75712a29Chris Lattner } 64718365506ebe3e28593cb36951f17f08e75712a29Chris Lattner} 64818365506ebe3e28593cb36951f17f08e75712a29Chris Lattner 64982c4bc7153d390ad1c2b369e0caef456948b8825Chris Lattnerstatic const char *getPredicateText(unsigned predicate) { 65081dfeb3264d3c1f619c3f73046ded1ac6883e59dReid Spencer const char * pred = "unknown"; 65181dfeb3264d3c1f619c3f73046ded1ac6883e59dReid Spencer switch (predicate) { 65281dfeb3264d3c1f619c3f73046ded1ac6883e59dReid Spencer case FCmpInst::FCMP_FALSE: pred = "false"; break; 65381dfeb3264d3c1f619c3f73046ded1ac6883e59dReid Spencer case FCmpInst::FCMP_OEQ: pred = "oeq"; break; 65481dfeb3264d3c1f619c3f73046ded1ac6883e59dReid Spencer case FCmpInst::FCMP_OGT: pred = "ogt"; break; 65581dfeb3264d3c1f619c3f73046ded1ac6883e59dReid Spencer case FCmpInst::FCMP_OGE: pred = "oge"; break; 65681dfeb3264d3c1f619c3f73046ded1ac6883e59dReid Spencer case FCmpInst::FCMP_OLT: pred = "olt"; break; 65781dfeb3264d3c1f619c3f73046ded1ac6883e59dReid Spencer case FCmpInst::FCMP_OLE: pred = "ole"; break; 65881dfeb3264d3c1f619c3f73046ded1ac6883e59dReid Spencer case FCmpInst::FCMP_ONE: pred = "one"; break; 65981dfeb3264d3c1f619c3f73046ded1ac6883e59dReid Spencer case FCmpInst::FCMP_ORD: pred = "ord"; break; 66081dfeb3264d3c1f619c3f73046ded1ac6883e59dReid Spencer case FCmpInst::FCMP_UNO: pred = "uno"; break; 66181dfeb3264d3c1f619c3f73046ded1ac6883e59dReid Spencer case FCmpInst::FCMP_UEQ: pred = "ueq"; break; 66281dfeb3264d3c1f619c3f73046ded1ac6883e59dReid Spencer case FCmpInst::FCMP_UGT: pred = "ugt"; break; 66381dfeb3264d3c1f619c3f73046ded1ac6883e59dReid Spencer case FCmpInst::FCMP_UGE: pred = "uge"; break; 66481dfeb3264d3c1f619c3f73046ded1ac6883e59dReid Spencer case FCmpInst::FCMP_ULT: pred = "ult"; break; 66581dfeb3264d3c1f619c3f73046ded1ac6883e59dReid Spencer case FCmpInst::FCMP_ULE: pred = "ule"; break; 66681dfeb3264d3c1f619c3f73046ded1ac6883e59dReid Spencer case FCmpInst::FCMP_UNE: pred = "une"; break; 66781dfeb3264d3c1f619c3f73046ded1ac6883e59dReid Spencer case FCmpInst::FCMP_TRUE: pred = "true"; break; 66881dfeb3264d3c1f619c3f73046ded1ac6883e59dReid Spencer case ICmpInst::ICMP_EQ: pred = "eq"; break; 66981dfeb3264d3c1f619c3f73046ded1ac6883e59dReid Spencer case ICmpInst::ICMP_NE: pred = "ne"; break; 67081dfeb3264d3c1f619c3f73046ded1ac6883e59dReid Spencer case ICmpInst::ICMP_SGT: pred = "sgt"; break; 67181dfeb3264d3c1f619c3f73046ded1ac6883e59dReid Spencer case ICmpInst::ICMP_SGE: pred = "sge"; break; 67281dfeb3264d3c1f619c3f73046ded1ac6883e59dReid Spencer case ICmpInst::ICMP_SLT: pred = "slt"; break; 67381dfeb3264d3c1f619c3f73046ded1ac6883e59dReid Spencer case ICmpInst::ICMP_SLE: pred = "sle"; break; 67481dfeb3264d3c1f619c3f73046ded1ac6883e59dReid Spencer case ICmpInst::ICMP_UGT: pred = "ugt"; break; 67581dfeb3264d3c1f619c3f73046ded1ac6883e59dReid Spencer case ICmpInst::ICMP_UGE: pred = "uge"; break; 67681dfeb3264d3c1f619c3f73046ded1ac6883e59dReid Spencer case ICmpInst::ICMP_ULT: pred = "ult"; break; 67781dfeb3264d3c1f619c3f73046ded1ac6883e59dReid Spencer case ICmpInst::ICMP_ULE: pred = "ule"; break; 67881dfeb3264d3c1f619c3f73046ded1ac6883e59dReid Spencer } 67981dfeb3264d3c1f619c3f73046ded1ac6883e59dReid Spencer return pred; 68081dfeb3264d3c1f619c3f73046ded1ac6883e59dReid Spencer} 68181dfeb3264d3c1f619c3f73046ded1ac6883e59dReid Spencer 682944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattnerstatic void WriteConstantInt(raw_ostream &Out, const Constant *CV, 6837b13f56c36eb7572e1053974e5487a5f1c3080aaChris Lattner std::map<const Type *, std::string> &TypeTable, 6840d9574a1cd68c6e41f725c22657b8bb3f8d74117Chris Lattner SlotTracker *Machine) { 6856b6b6ef1677fa71b1072c2911b4c1f9524a558c9Zhou Sheng if (const ConstantInt *CI = dyn_cast<ConstantInt>(CV)) { 686fad86b003a839cef40ec8ce8408322f4913368caChris Lattner if (CI->getType() == Type::Int1Ty) { 687579dca12c2cfd60bc18aaadbd5331897d48fec29Reid Spencer Out << (CI->getZExtValue() ? "true" : "false"); 688fad86b003a839cef40ec8ce8408322f4913368caChris Lattner return; 689fad86b003a839cef40ec8ce8408322f4913368caChris Lattner } 690fad86b003a839cef40ec8ce8408322f4913368caChris Lattner Out << CI->getValue(); 691fad86b003a839cef40ec8ce8408322f4913368caChris Lattner return; 692fad86b003a839cef40ec8ce8408322f4913368caChris Lattner } 693fad86b003a839cef40ec8ce8408322f4913368caChris Lattner 694fad86b003a839cef40ec8ce8408322f4913368caChris Lattner if (const ConstantFP *CFP = dyn_cast<ConstantFP>(CV)) { 6959d5f45607793052bf5b4436d1b43013fab9999acDale Johannesen if (&CFP->getValueAPF().getSemantics() == &APFloat::IEEEdouble || 6969d5f45607793052bf5b4436d1b43013fab9999acDale Johannesen &CFP->getValueAPF().getSemantics() == &APFloat::IEEEsingle) { 6979d5f45607793052bf5b4436d1b43013fab9999acDale Johannesen // We would like to output the FP constant value in exponential notation, 6989d5f45607793052bf5b4436d1b43013fab9999acDale Johannesen // but we cannot do this if doing so will lose precision. Check here to 6999d5f45607793052bf5b4436d1b43013fab9999acDale Johannesen // make sure that we only output it in exponential format if we can parse 7009d5f45607793052bf5b4436d1b43013fab9999acDale Johannesen // the value back and get the same value. 7019d5f45607793052bf5b4436d1b43013fab9999acDale Johannesen // 7029d5f45607793052bf5b4436d1b43013fab9999acDale Johannesen bool isDouble = &CFP->getValueAPF().getSemantics()==&APFloat::IEEEdouble; 703fad86b003a839cef40ec8ce8408322f4913368caChris Lattner double Val = isDouble ? CFP->getValueAPF().convertToDouble() : 704fad86b003a839cef40ec8ce8408322f4913368caChris Lattner CFP->getValueAPF().convertToFloat(); 7059d5f45607793052bf5b4436d1b43013fab9999acDale Johannesen std::string StrVal = ftostr(CFP->getValueAPF()); 7069d5f45607793052bf5b4436d1b43013fab9999acDale Johannesen 7079d5f45607793052bf5b4436d1b43013fab9999acDale Johannesen // Check to make sure that the stringized number is not some string like 7089d5f45607793052bf5b4436d1b43013fab9999acDale Johannesen // "Inf" or NaN, that atof will accept, but the lexer will not. Check 7099d5f45607793052bf5b4436d1b43013fab9999acDale Johannesen // that the string matches the "[-+]?[0-9]" regex. 7109d5f45607793052bf5b4436d1b43013fab9999acDale Johannesen // 7119d5f45607793052bf5b4436d1b43013fab9999acDale Johannesen if ((StrVal[0] >= '0' && StrVal[0] <= '9') || 7129d5f45607793052bf5b4436d1b43013fab9999acDale Johannesen ((StrVal[0] == '-' || StrVal[0] == '+') && 7139d5f45607793052bf5b4436d1b43013fab9999acDale Johannesen (StrVal[1] >= '0' && StrVal[1] <= '9'))) { 7149d5f45607793052bf5b4436d1b43013fab9999acDale Johannesen // Reparse stringized version! 7159d5f45607793052bf5b4436d1b43013fab9999acDale Johannesen if (atof(StrVal.c_str()) == Val) { 7169d5f45607793052bf5b4436d1b43013fab9999acDale Johannesen Out << StrVal; 7179d5f45607793052bf5b4436d1b43013fab9999acDale Johannesen return; 7189d5f45607793052bf5b4436d1b43013fab9999acDale Johannesen } 71966e810be9f97fa744ca949d54b5d54358add84b8Chris Lattner } 7209d5f45607793052bf5b4436d1b43013fab9999acDale Johannesen // Otherwise we could not reparse it to exactly the same value, so we must 7219d5f45607793052bf5b4436d1b43013fab9999acDale Johannesen // output the string in hexadecimal format! 7229d5f45607793052bf5b4436d1b43013fab9999acDale Johannesen assert(sizeof(double) == sizeof(uint64_t) && 7239d5f45607793052bf5b4436d1b43013fab9999acDale Johannesen "assuming that double is 64 bits!"); 7249d5f45607793052bf5b4436d1b43013fab9999acDale Johannesen Out << "0x" << utohexstr(DoubleToBits(Val)); 725cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner return; 726cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner } 727cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner 728cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner // Some form of long double. These appear as a magic letter identifying 729cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner // the type, then a fixed number of hex digits. 730cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner Out << "0x"; 731cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner if (&CFP->getValueAPF().getSemantics() == &APFloat::x87DoubleExtended) 732cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner Out << 'K'; 733cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner else if (&CFP->getValueAPF().getSemantics() == &APFloat::IEEEquad) 734cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner Out << 'L'; 735cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner else if (&CFP->getValueAPF().getSemantics() == &APFloat::PPCDoubleDouble) 736cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner Out << 'M'; 737cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner else 738cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner assert(0 && "Unsupported floating point type"); 739cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner // api needed to prevent premature destruction 740cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner APInt api = CFP->getValueAPF().convertToAPInt(); 741cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner const uint64_t* p = api.getRawData(); 742cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner uint64_t word = *p; 743cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner int shiftcount=60; 744cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner int width = api.getBitWidth(); 745cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner for (int j=0; j<width; j+=4, shiftcount-=4) { 746cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner unsigned int nibble = (word>>shiftcount) & 15; 747cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner if (nibble < 10) 748cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner Out << (unsigned char)(nibble + '0'); 7499d5f45607793052bf5b4436d1b43013fab9999acDale Johannesen else 750cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner Out << (unsigned char)(nibble - 10 + 'A'); 751cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner if (shiftcount == 0 && j+4 < width) { 752cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner word = *(++p); 753cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner shiftcount = 64; 754cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner if (width-j-4 < 64) 755cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner shiftcount = width-j-4; 7569d5f45607793052bf5b4436d1b43013fab9999acDale Johannesen } 7579d5f45607793052bf5b4436d1b43013fab9999acDale Johannesen } 758cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner return; 759cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner } 760cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner 761cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner if (isa<ConstantAggregateZero>(CV)) { 762de512b5b2edebe9c9021a92c7c7a9ae9fbc380d6Chris Lattner Out << "zeroinitializer"; 763cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner return; 764cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner } 765cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner 766cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner if (const ConstantArray *CA = dyn_cast<ConstantArray>(CV)) { 76766e810be9f97fa744ca949d54b5d54358add84b8Chris Lattner // As a special case, print the array as a string if it is an array of 7689b38d7db6d9fbb5bf9d16bec590a17c5895453e1Dan Gohman // i8 with ConstantInt values. 769fd93908ae8b9684fe71c239e3c6cfe13ff6a2663Misha Brukman // 77066e810be9f97fa744ca949d54b5d54358add84b8Chris Lattner const Type *ETy = CA->getType()->getElementType(); 77118365506ebe3e28593cb36951f17f08e75712a29Chris Lattner if (CA->isString()) { 77266e810be9f97fa744ca949d54b5d54358add84b8Chris Lattner Out << "c\""; 77318365506ebe3e28593cb36951f17f08e75712a29Chris Lattner PrintEscapedString(CA->getAsString(), Out); 774cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner Out << '"'; 77566e810be9f97fa744ca949d54b5d54358add84b8Chris Lattner } else { // Cannot output in string format... 77640c732cc52a5c71cead461646667ef5b13801923Misha Brukman Out << '['; 7777a716addedc4938fa0ec6b77e5eeaced6eafc5d0Chris Lattner if (CA->getNumOperands()) { 77840c732cc52a5c71cead461646667ef5b13801923Misha Brukman Out << ' '; 77966e810be9f97fa744ca949d54b5d54358add84b8Chris Lattner printTypeInt(Out, ETy, TypeTable); 7808dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman Out << ' '; 7817a716addedc4938fa0ec6b77e5eeaced6eafc5d0Chris Lattner WriteAsOperandInternal(Out, CA->getOperand(0), 7822fcfdb79d0d1d2297d7aced11b567cd52494604eChris Lattner TypeTable, Machine); 7837a716addedc4938fa0ec6b77e5eeaced6eafc5d0Chris Lattner for (unsigned i = 1, e = CA->getNumOperands(); i != e; ++i) { 7847a716addedc4938fa0ec6b77e5eeaced6eafc5d0Chris Lattner Out << ", "; 78566e810be9f97fa744ca949d54b5d54358add84b8Chris Lattner printTypeInt(Out, ETy, TypeTable); 7868dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman Out << ' '; 7872fcfdb79d0d1d2297d7aced11b567cd52494604eChris Lattner WriteAsOperandInternal(Out, CA->getOperand(i), TypeTable, Machine); 7887a716addedc4938fa0ec6b77e5eeaced6eafc5d0Chris Lattner } 7898dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman Out << ' '; 7907a716addedc4938fa0ec6b77e5eeaced6eafc5d0Chris Lattner } 7918dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman Out << ']'; 7927a716addedc4938fa0ec6b77e5eeaced6eafc5d0Chris Lattner } 793cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner return; 794cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner } 795cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner 796cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner if (const ConstantStruct *CS = dyn_cast<ConstantStruct>(CV)) { 79743f344a26695ba85a1a0b5407c038d9c3f980327Andrew Lenharth if (CS->getType()->isPacked()) 79843f344a26695ba85a1a0b5407c038d9c3f980327Andrew Lenharth Out << '<'; 79940c732cc52a5c71cead461646667ef5b13801923Misha Brukman Out << '{'; 800a3f332bdc3e8fd1ac78dd3dc868d871e9086c5fdJim Laskey unsigned N = CS->getNumOperands(); 801a3f332bdc3e8fd1ac78dd3dc868d871e9086c5fdJim Laskey if (N) { 802242330371b2b7ab9d5a6c4f5f93ec82c514cc09aChris Lattner Out << ' '; 8037a716addedc4938fa0ec6b77e5eeaced6eafc5d0Chris Lattner printTypeInt(Out, CS->getOperand(0)->getType(), TypeTable); 8048dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman Out << ' '; 8057a716addedc4938fa0ec6b77e5eeaced6eafc5d0Chris Lattner 8062fcfdb79d0d1d2297d7aced11b567cd52494604eChris Lattner WriteAsOperandInternal(Out, CS->getOperand(0), TypeTable, Machine); 8077a716addedc4938fa0ec6b77e5eeaced6eafc5d0Chris Lattner 808a3f332bdc3e8fd1ac78dd3dc868d871e9086c5fdJim Laskey for (unsigned i = 1; i < N; i++) { 8097a716addedc4938fa0ec6b77e5eeaced6eafc5d0Chris Lattner Out << ", "; 8107a716addedc4938fa0ec6b77e5eeaced6eafc5d0Chris Lattner printTypeInt(Out, CS->getOperand(i)->getType(), TypeTable); 8118dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman Out << ' '; 8127a716addedc4938fa0ec6b77e5eeaced6eafc5d0Chris Lattner 8132fcfdb79d0d1d2297d7aced11b567cd52494604eChris Lattner WriteAsOperandInternal(Out, CS->getOperand(i), TypeTable, Machine); 8147a716addedc4938fa0ec6b77e5eeaced6eafc5d0Chris Lattner } 8158dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman Out << ' '; 8167a716addedc4938fa0ec6b77e5eeaced6eafc5d0Chris Lattner } 817a3f332bdc3e8fd1ac78dd3dc868d871e9086c5fdJim Laskey 8188dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman Out << '}'; 81943f344a26695ba85a1a0b5407c038d9c3f980327Andrew Lenharth if (CS->getType()->isPacked()) 82043f344a26695ba85a1a0b5407c038d9c3f980327Andrew Lenharth Out << '>'; 821cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner return; 822cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner } 823cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner 824cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner if (const ConstantVector *CP = dyn_cast<ConstantVector>(CV)) { 825cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner const Type *ETy = CP->getType()->getElementType(); 826cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner assert(CP->getNumOperands() > 0 && 827cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner "Number of operands for a PackedConst must be > 0"); 828cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner Out << "< "; 829cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner printTypeInt(Out, ETy, TypeTable); 8308dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman Out << ' '; 831cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner WriteAsOperandInternal(Out, CP->getOperand(0), TypeTable, Machine); 832cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner for (unsigned i = 1, e = CP->getNumOperands(); i != e; ++i) { 8334667b71f9380afad56cbdc1fd19ca32334086d2cChris Lattner Out << ", "; 8344667b71f9380afad56cbdc1fd19ca32334086d2cChris Lattner printTypeInt(Out, ETy, TypeTable); 8358dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman Out << ' '; 8364667b71f9380afad56cbdc1fd19ca32334086d2cChris Lattner WriteAsOperandInternal(Out, CP->getOperand(i), TypeTable, Machine); 837cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner } 838cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner Out << " >"; 839cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner return; 840cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner } 841cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner 842cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner if (isa<ConstantPointerNull>(CV)) { 8437a716addedc4938fa0ec6b77e5eeaced6eafc5d0Chris Lattner Out << "null"; 844cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner return; 845cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner } 846cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner 847cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner if (isa<UndefValue>(CV)) { 848b976e668165e1875a8f1eb7af800e33bb1e4393dChris Lattner Out << "undef"; 849cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner return; 850cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner } 851b976e668165e1875a8f1eb7af800e33bb1e4393dChris Lattner 852cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner if (const ConstantExpr *CE = dyn_cast<ConstantExpr>(CV)) { 85381dfeb3264d3c1f619c3f73046ded1ac6883e59dReid Spencer Out << CE->getOpcodeName(); 85481dfeb3264d3c1f619c3f73046ded1ac6883e59dReid Spencer if (CE->isCompare()) 855cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner Out << ' ' << getPredicateText(CE->getPredicate()); 85681dfeb3264d3c1f619c3f73046ded1ac6883e59dReid Spencer Out << " ("; 857fd93908ae8b9684fe71c239e3c6cfe13ff6a2663Misha Brukman 858b4dbb4445c67fc46e56765035c2787028a66a614Vikram S. Adve for (User::const_op_iterator OI=CE->op_begin(); OI != CE->op_end(); ++OI) { 859b4dbb4445c67fc46e56765035c2787028a66a614Vikram S. Adve printTypeInt(Out, (*OI)->getType(), TypeTable); 8608dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman Out << ' '; 8612fcfdb79d0d1d2297d7aced11b567cd52494604eChris Lattner WriteAsOperandInternal(Out, *OI, TypeTable, Machine); 862b4dbb4445c67fc46e56765035c2787028a66a614Vikram S. Adve if (OI+1 != CE->op_end()) 863c188eeb08c873da142a47398be6c405ce3f34f51Chris Lattner Out << ", "; 864b4dbb4445c67fc46e56765035c2787028a66a614Vikram S. Adve } 865fd93908ae8b9684fe71c239e3c6cfe13ff6a2663Misha Brukman 866995be7d07a0ed1f70a93b2a2e7f445461162e8a5Dan Gohman if (CE->hasIndices()) { 867995be7d07a0ed1f70a93b2a2e7f445461162e8a5Dan Gohman const SmallVector<unsigned, 4> &Indices = CE->getIndices(); 868995be7d07a0ed1f70a93b2a2e7f445461162e8a5Dan Gohman for (unsigned i = 0, e = Indices.size(); i != e; ++i) 869995be7d07a0ed1f70a93b2a2e7f445461162e8a5Dan Gohman Out << ", " << Indices[i]; 870995be7d07a0ed1f70a93b2a2e7f445461162e8a5Dan Gohman } 871995be7d07a0ed1f70a93b2a2e7f445461162e8a5Dan Gohman 8723da59db637a887474c1b1346c1f3ccf53b6c4663Reid Spencer if (CE->isCast()) { 87395586b8c833aeca112907e69f545a6ea6e2103ffChris Lattner Out << " to "; 87495586b8c833aeca112907e69f545a6ea6e2103ffChris Lattner printTypeInt(Out, CE->getType(), TypeTable); 87595586b8c833aeca112907e69f545a6ea6e2103ffChris Lattner } 8763da59db637a887474c1b1346c1f3ccf53b6c4663Reid Spencer 87740c732cc52a5c71cead461646667ef5b13801923Misha Brukman Out << ')'; 878cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner return; 8797a716addedc4938fa0ec6b77e5eeaced6eafc5d0Chris Lattner } 880cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner 881cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner Out << "<placeholder or erroneous Constant>"; 8827a716addedc4938fa0ec6b77e5eeaced6eafc5d0Chris Lattner} 8837a716addedc4938fa0ec6b77e5eeaced6eafc5d0Chris Lattner 8847a716addedc4938fa0ec6b77e5eeaced6eafc5d0Chris Lattner 885ab5c6003d23c19d23bbff1054900d208c55e0188Misha Brukman/// WriteAsOperand - Write the name of the specified value out to the specified 886ab5c6003d23c19d23bbff1054900d208c55e0188Misha Brukman/// ostream. This can be useful when you just want to print int %reg126, not 887ab5c6003d23c19d23bbff1054900d208c55e0188Misha Brukman/// the whole instruction that generated it. 888ab5c6003d23c19d23bbff1054900d208c55e0188Misha Brukman/// 889944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattnerstatic void WriteAsOperandInternal(raw_ostream &Out, const Value *V, 8907b13f56c36eb7572e1053974e5487a5f1c3080aaChris Lattner std::map<const Type*, std::string> &TypeTable, 8910d9574a1cd68c6e41f725c22657b8bb3f8d74117Chris Lattner SlotTracker *Machine) { 892c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner if (V->hasName()) { 893c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner PrintLLVMName(Out, V); 894c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner return; 895c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner } 896c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner 897c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner const Constant *CV = dyn_cast<Constant>(V); 898c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner if (CV && !isa<GlobalValue>(CV)) { 899c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner WriteConstantInt(Out, CV, TypeTable, Machine); 900cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner return; 901cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner } 902cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner 903cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner if (const InlineAsm *IA = dyn_cast<InlineAsm>(V)) { 904c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner Out << "asm "; 905c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner if (IA->hasSideEffects()) 906c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner Out << "sideeffect "; 907c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner Out << '"'; 908c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner PrintEscapedString(IA->getAsmString(), Out); 909c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner Out << "\", \""; 910c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner PrintEscapedString(IA->getConstraintString(), Out); 911c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner Out << '"'; 912cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner return; 913cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner } 914cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner 915cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner char Prefix = '%'; 916cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner int Slot; 917cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner if (Machine) { 918cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner if (const GlobalValue *GV = dyn_cast<GlobalValue>(V)) { 919cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner Slot = Machine->getGlobalSlot(GV); 920cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner Prefix = '@'; 921cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner } else { 922cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner Slot = Machine->getLocalSlot(V); 923cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner } 924c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner } else { 925cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner Machine = createSlotTracker(V); 926c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner if (Machine) { 927c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner if (const GlobalValue *GV = dyn_cast<GlobalValue>(V)) { 928c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner Slot = Machine->getGlobalSlot(GV); 929c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner Prefix = '@'; 930c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner } else { 931c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner Slot = Machine->getLocalSlot(V); 932c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner } 93380cd11561892a639a2628d19815af0695b5dbcaaChris Lattner } else { 934cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner Slot = -1; 9357a716addedc4938fa0ec6b77e5eeaced6eafc5d0Chris Lattner } 936cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner delete Machine; 9377a716addedc4938fa0ec6b77e5eeaced6eafc5d0Chris Lattner } 938cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner 939cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner if (Slot != -1) 940cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner Out << Prefix << Slot; 941cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner else 942cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner Out << "<badref>"; 9437a716addedc4938fa0ec6b77e5eeaced6eafc5d0Chris Lattner} 9447a716addedc4938fa0ec6b77e5eeaced6eafc5d0Chris Lattner 9459d0802e7dd165dd9b7372f12799f248e7f133287Misha Brukman/// WriteAsOperand - Write the name of the specified value out to the specified 9469d0802e7dd165dd9b7372f12799f248e7f133287Misha Brukman/// ostream. This can be useful when you just want to print int %reg126, not 9479d0802e7dd165dd9b7372f12799f248e7f133287Misha Brukman/// the whole instruction that generated it. 9489d0802e7dd165dd9b7372f12799f248e7f133287Misha Brukman/// 949242330371b2b7ab9d5a6c4f5f93ec82c514cc09aChris Lattnervoid llvm::WriteAsOperand(std::ostream &Out, const Value *V, bool PrintType, 950242330371b2b7ab9d5a6c4f5f93ec82c514cc09aChris Lattner const Module *Context) { 951944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner raw_os_ostream OS(Out); 952944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner WriteAsOperand(OS, V, PrintType, Context); 953944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner} 954944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner 955944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattnervoid llvm::WriteAsOperand(raw_ostream &Out, const Value *V, bool PrintType, 956944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner const Module *Context) { 9577b13f56c36eb7572e1053974e5487a5f1c3080aaChris Lattner std::map<const Type *, std::string> TypeNames; 958607dc6880ecfd4807de2163d37f2fa8877b7f62dChris Lattner if (Context == 0) Context = getModuleFromVal(V); 9597a716addedc4938fa0ec6b77e5eeaced6eafc5d0Chris Lattner 9606e6026b46569b01f8f6d4dcdb6c899c3a9c76b3eChris Lattner if (Context) 961607dc6880ecfd4807de2163d37f2fa8877b7f62dChris Lattner fillTypeNameTable(Context, TypeNames); 962207b5bc6a15e12a87c3c861da680b8b23559a34cChris Lattner 9638dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman if (PrintType) { 9647a716addedc4938fa0ec6b77e5eeaced6eafc5d0Chris Lattner printTypeInt(Out, V->getType(), TypeNames); 9658dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman Out << ' '; 9668dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman } 967fd93908ae8b9684fe71c239e3c6cfe13ff6a2663Misha Brukman 9682fcfdb79d0d1d2297d7aced11b567cd52494604eChris Lattner WriteAsOperandInternal(Out, V, TypeNames, 0); 969622f740a7dcf0b3520244e58b2233898fd4a46e4Chris Lattner} 970622f740a7dcf0b3520244e58b2233898fd4a46e4Chris Lattner 9710e25e1cdcf1f73bb9f56b91155d5c0ef42ef0a44Reid Spencer 972cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattnernamespace { 973d8c2e42aeff8bdb3ac905b4721b3d3ca1f904cfaChris Lattner 974007377f381e253cc559db8d3c94fa89b0eb55fadChris Lattnerclass AssemblyWriter { 975944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner raw_ostream &Out; 9760d9574a1cd68c6e41f725c22657b8bb3f8d74117Chris Lattner SlotTracker &Machine; 977c1824996451d5ea93864fcd34ba8ea5e5f03e368Chris Lattner const Module *TheModule; 9787b13f56c36eb7572e1053974e5487a5f1c3080aaChris Lattner std::map<const Type *, std::string> TypeNames; 97995e5a2cc3fc55b262d2baa1cc417115dfa4a18eaChris Lattner AssemblyAnnotationWriter *AnnotationWriter; 980009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattnerpublic: 981944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner inline AssemblyWriter(raw_ostream &o, SlotTracker &Mac, const Module *M, 98295e5a2cc3fc55b262d2baa1cc417115dfa4a18eaChris Lattner AssemblyAnnotationWriter *AAW) 9830313e0b44dcd77acd334d3f324c7da527179a690Misha Brukman : Out(o), Machine(Mac), TheModule(M), AnnotationWriter(AAW) { 984c1824996451d5ea93864fcd34ba8ea5e5f03e368Chris Lattner 985c1824996451d5ea93864fcd34ba8ea5e5f03e368Chris Lattner // If the module has a symbol table, take all global types and stuff their 986c1824996451d5ea93864fcd34ba8ea5e5f03e368Chris Lattner // names into the TypeNames map. 987c1824996451d5ea93864fcd34ba8ea5e5f03e368Chris Lattner // 988207b5bc6a15e12a87c3c861da680b8b23559a34cChris Lattner fillTypeNameTable(M, TypeNames); 989009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner } 990009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner 991944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner void write(const Module *M) { printModule(M); } 992944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner 993944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner void write(const GlobalValue *G) { 994944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner if (const GlobalVariable *GV = dyn_cast<GlobalVariable>(G)) 995944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner printGlobal(GV); 996944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner else if (const GlobalAlias *GA = dyn_cast<GlobalAlias>(G)) 997944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner printAlias(GA); 998944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner else if (const Function *F = dyn_cast<Function>(G)) 999944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner printFunction(F); 1000944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner else 1001944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner assert(0 && "Unknown global"); 1002944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner } 1003944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner 1004cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner void write(const BasicBlock *BB) { printBasicBlock(BB); } 1005cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner void write(const Instruction *I) { printInstruction(*I); } 1006cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner void write(const Type *Ty) { printType(Ty); } 1007009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner 10082fcfdb79d0d1d2297d7aced11b567cd52494604eChris Lattner void writeOperand(const Value *Op, bool PrintType); 1009eaf42abab6d465c38891345d999255871cf03943Devang Patel void writeParamOperand(const Value *Operand, Attributes Attrs); 101066e810be9f97fa744ca949d54b5d54358add84b8Chris Lattner 10115cf1acff3c32e52d79ea8b0b47e341d4e975ed8cMisha Brukman const Module* getModule() { return TheModule; } 10125cf1acff3c32e52d79ea8b0b47e341d4e975ed8cMisha Brukman 1013f771bea7402f05f59b2857586de9934ff1c7bbf5Misha Brukmanprivate: 1014c1824996451d5ea93864fcd34ba8ea5e5f03e368Chris Lattner void printModule(const Module *M); 101578d033e086e19e016273de014f9214aa6f3f844bReid Spencer void printTypeSymbolTable(const TypeSymbolTable &ST); 1016c1824996451d5ea93864fcd34ba8ea5e5f03e368Chris Lattner void printGlobal(const GlobalVariable *GV); 10178b0a8c84da2030ee8f4440d5b60a8033de691222Anton Korobeynikov void printAlias(const GlobalAlias *GV); 101879df7c0aaa18129e55968c8783ef8346807bd4afChris Lattner void printFunction(const Function *F); 1019eaf42abab6d465c38891345d999255871cf03943Devang Patel void printArgument(const Argument *FA, Attributes Attrs); 1020c1824996451d5ea93864fcd34ba8ea5e5f03e368Chris Lattner void printBasicBlock(const BasicBlock *BB); 10217e70829632f82de15db187845666aaca6e04b792Chris Lattner void printInstruction(const Instruction &I); 10222761e9f076bbe6c961629aece62db4b836a41ef8Chris Lattner 10232761e9f076bbe6c961629aece62db4b836a41ef8Chris Lattner // printType - Go to extreme measures to attempt to print out a short, 10242761e9f076bbe6c961629aece62db4b836a41ef8Chris Lattner // symbolic version of a type name. 10252761e9f076bbe6c961629aece62db4b836a41ef8Chris Lattner // 10264667b71f9380afad56cbdc1fd19ca32334086d2cChris Lattner void printType(const Type *Ty) { 10274667b71f9380afad56cbdc1fd19ca32334086d2cChris Lattner printTypeInt(Out, Ty, TypeNames); 10282761e9f076bbe6c961629aece62db4b836a41ef8Chris Lattner } 10292761e9f076bbe6c961629aece62db4b836a41ef8Chris Lattner 10302761e9f076bbe6c961629aece62db4b836a41ef8Chris Lattner // printTypeAtLeastOneLevel - Print out one level of the possibly complex type 10312761e9f076bbe6c961629aece62db4b836a41ef8Chris Lattner // without considering any symbolic types that we may have equal to it. 10322761e9f076bbe6c961629aece62db4b836a41ef8Chris Lattner // 1033cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner void printTypeAtLeastOneLevel(const Type *Ty); 1034c1824996451d5ea93864fcd34ba8ea5e5f03e368Chris Lattner 1035e02fa8551d20081534afa46e0976811687e5183aChris Lattner // printInfoComment - Print a little comment after the instruction indicating 1036e02fa8551d20081534afa46e0976811687e5183aChris Lattner // which slot it occupies. 10377e70829632f82de15db187845666aaca6e04b792Chris Lattner void printInfoComment(const Value &V); 1038009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner}; 103973b7495a96e21e1515df86414e0636dbf1395fc5Reid Spencer} // end of llvm namespace 1040009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner 1041ab5c6003d23c19d23bbff1054900d208c55e0188Misha Brukman/// printTypeAtLeastOneLevel - Print out one level of the possibly complex type 1042ab5c6003d23c19d23bbff1054900d208c55e0188Misha Brukman/// without considering any symbolic types that we may have equal to it. 1043ab5c6003d23c19d23bbff1054900d208c55e0188Misha Brukman/// 1044cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattnervoid AssemblyWriter::printTypeAtLeastOneLevel(const Type *Ty) { 1045cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner if (const IntegerType *ITy = dyn_cast<IntegerType>(Ty)) { 1046a54b7cbd452b3adb2f51346140d996b29c2cdb30Reid Spencer Out << "i" << utostr(ITy->getBitWidth()); 1047cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner return; 1048cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner } 1049cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner 1050cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner if (const FunctionType *FTy = dyn_cast<FunctionType>(Ty)) { 1051bd5db8e29b82f864c3d6525c6cfefa557fafdbb8Reid Spencer printType(FTy->getReturnType()); 1052bd5db8e29b82f864c3d6525c6cfefa557fafdbb8Reid Spencer Out << " ("; 1053d5d89967206e1153d24abdb7b22002f7533f55c7Chris Lattner for (FunctionType::param_iterator I = FTy->param_begin(), 1054d5d89967206e1153d24abdb7b22002f7533f55c7Chris Lattner E = FTy->param_end(); I != E; ++I) { 1055d5d89967206e1153d24abdb7b22002f7533f55c7Chris Lattner if (I != FTy->param_begin()) 10560313e0b44dcd77acd334d3f324c7da527179a690Misha Brukman Out << ", "; 10577a716addedc4938fa0ec6b77e5eeaced6eafc5d0Chris Lattner printType(*I); 10582761e9f076bbe6c961629aece62db4b836a41ef8Chris Lattner } 10592761e9f076bbe6c961629aece62db4b836a41ef8Chris Lattner if (FTy->isVarArg()) { 10600313e0b44dcd77acd334d3f324c7da527179a690Misha Brukman if (FTy->getNumParams()) Out << ", "; 10610313e0b44dcd77acd334d3f324c7da527179a690Misha Brukman Out << "..."; 10622761e9f076bbe6c961629aece62db4b836a41ef8Chris Lattner } 10630313e0b44dcd77acd334d3f324c7da527179a690Misha Brukman Out << ')'; 1064cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner return; 1065cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner } 1066cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner 1067cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner if (const StructType *STy = dyn_cast<StructType>(Ty)) { 106838ecbf18eb9c8ca7ae08dfed4dc6fb4e3e5deb1eAndrew Lenharth if (STy->isPacked()) 106938ecbf18eb9c8ca7ae08dfed4dc6fb4e3e5deb1eAndrew Lenharth Out << '<'; 10700313e0b44dcd77acd334d3f324c7da527179a690Misha Brukman Out << "{ "; 1071d21cd809b656d3011ec089536857e048e037159cChris Lattner for (StructType::element_iterator I = STy->element_begin(), 1072d21cd809b656d3011ec089536857e048e037159cChris Lattner E = STy->element_end(); I != E; ++I) { 1073d21cd809b656d3011ec089536857e048e037159cChris Lattner if (I != STy->element_begin()) 10740313e0b44dcd77acd334d3f324c7da527179a690Misha Brukman Out << ", "; 10752761e9f076bbe6c961629aece62db4b836a41ef8Chris Lattner printType(*I); 10762761e9f076bbe6c961629aece62db4b836a41ef8Chris Lattner } 10770313e0b44dcd77acd334d3f324c7da527179a690Misha Brukman Out << " }"; 107838ecbf18eb9c8ca7ae08dfed4dc6fb4e3e5deb1eAndrew Lenharth if (STy->isPacked()) 107938ecbf18eb9c8ca7ae08dfed4dc6fb4e3e5deb1eAndrew Lenharth Out << '>'; 1080cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner return; 1081cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner } 1082cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner 1083cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner if (const PointerType *PTy = dyn_cast<PointerType>(Ty)) { 1084ef989a275c1191f583178c6934f3594e7a9fd3a6Christopher Lamb printType(PTy->getElementType()); 1085ef989a275c1191f583178c6934f3594e7a9fd3a6Christopher Lamb if (unsigned AddressSpace = PTy->getAddressSpace()) 1086ef989a275c1191f583178c6934f3594e7a9fd3a6Christopher Lamb Out << " addrspace(" << AddressSpace << ")"; 1087ef989a275c1191f583178c6934f3594e7a9fd3a6Christopher Lamb Out << '*'; 1088cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner return; 1089cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner } 1090cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner 1091cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner if (const ArrayType *ATy = dyn_cast<ArrayType>(Ty)) { 10920313e0b44dcd77acd334d3f324c7da527179a690Misha Brukman Out << '[' << ATy->getNumElements() << " x "; 10934667b71f9380afad56cbdc1fd19ca32334086d2cChris Lattner printType(ATy->getElementType()); 10944667b71f9380afad56cbdc1fd19ca32334086d2cChris Lattner Out << ']'; 1095cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner return; 1096cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner } 1097cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner 1098cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner if (const VectorType *PTy = dyn_cast<VectorType>(Ty)) { 10995527c0b6d1bda2c63212f91837792663469fd764Reid Spencer Out << '<' << PTy->getNumElements() << " x "; 11004667b71f9380afad56cbdc1fd19ca32334086d2cChris Lattner printType(PTy->getElementType()); 11014667b71f9380afad56cbdc1fd19ca32334086d2cChris Lattner Out << '>'; 1102cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner return; 11035527c0b6d1bda2c63212f91837792663469fd764Reid Spencer } 1104cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner 1105cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner if (isa<OpaqueType>(Ty)) { 11060313e0b44dcd77acd334d3f324c7da527179a690Misha Brukman Out << "opaque"; 1107cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner return; 11082761e9f076bbe6c961629aece62db4b836a41ef8Chris Lattner } 1109cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner 1110cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner if (!Ty->isPrimitiveType()) 1111cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner Out << "<unknown derived type>"; 1112cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner printType(Ty); 11132761e9f076bbe6c961629aece62db4b836a41ef8Chris Lattner} 11142761e9f076bbe6c961629aece62db4b836a41ef8Chris Lattner 11152761e9f076bbe6c961629aece62db4b836a41ef8Chris Lattner 11162fcfdb79d0d1d2297d7aced11b567cd52494604eChris Lattnervoid AssemblyWriter::writeOperand(const Value *Operand, bool PrintType) { 11172fcfdb79d0d1d2297d7aced11b567cd52494604eChris Lattner if (Operand == 0) { 1118aab1820816facf83d7bda8f01e3d85ced99601f3Chris Lattner Out << "<null operand!>"; 11192fcfdb79d0d1d2297d7aced11b567cd52494604eChris Lattner } else { 1120cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner if (PrintType) { 1121cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner printType(Operand->getType()); 11228dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman Out << ' '; 1123cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner } 11242fcfdb79d0d1d2297d7aced11b567cd52494604eChris Lattner WriteAsOperandInternal(Out, Operand, TypeNames, &Machine); 1125aab1820816facf83d7bda8f01e3d85ced99601f3Chris Lattner } 1126007377f381e253cc559db8d3c94fa89b0eb55fadChris Lattner} 1127007377f381e253cc559db8d3c94fa89b0eb55fadChris Lattner 11280d51e7ec0d2dcbea9e304fd58deb05f37eb75635Dale Johannesenvoid AssemblyWriter::writeParamOperand(const Value *Operand, 1129eaf42abab6d465c38891345d999255871cf03943Devang Patel Attributes Attrs) { 1130dc024674ff96820d6020757b48d47f46d4c07db2Duncan Sands if (Operand == 0) { 1131dc024674ff96820d6020757b48d47f46d4c07db2Duncan Sands Out << "<null operand!>"; 1132dc024674ff96820d6020757b48d47f46d4c07db2Duncan Sands } else { 1133dc024674ff96820d6020757b48d47f46d4c07db2Duncan Sands // Print the type 1134dc024674ff96820d6020757b48d47f46d4c07db2Duncan Sands printType(Operand->getType()); 1135dc024674ff96820d6020757b48d47f46d4c07db2Duncan Sands // Print parameter attributes list 1136dc024674ff96820d6020757b48d47f46d4c07db2Duncan Sands if (Attrs != ParamAttr::None) 113758d74910c6b82e622ecbb57d6644d48fec5a5c0fChris Lattner Out << ' ' << ParamAttr::getAsString(Attrs); 11388dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman Out << ' '; 1139dc024674ff96820d6020757b48d47f46d4c07db2Duncan Sands // Print the operand 1140dc024674ff96820d6020757b48d47f46d4c07db2Duncan Sands WriteAsOperandInternal(Out, Operand, TypeNames, &Machine); 1141dc024674ff96820d6020757b48d47f46d4c07db2Duncan Sands } 1142dc024674ff96820d6020757b48d47f46d4c07db2Duncan Sands} 1143007377f381e253cc559db8d3c94fa89b0eb55fadChris Lattner 1144c1824996451d5ea93864fcd34ba8ea5e5f03e368Chris Lattnervoid AssemblyWriter::printModule(const Module *M) { 114531ab1b3d74440908889fc8ea0615c1d397478360Chris Lattner if (!M->getModuleIdentifier().empty() && 1146fd93908ae8b9684fe71c239e3c6cfe13ff6a2663Misha Brukman // Don't print the ID if it will start a new line (which would 114731ab1b3d74440908889fc8ea0615c1d397478360Chris Lattner // require a comment char before it). 114831ab1b3d74440908889fc8ea0615c1d397478360Chris Lattner M->getModuleIdentifier().find('\n') == std::string::npos) 114931ab1b3d74440908889fc8ea0615c1d397478360Chris Lattner Out << "; ModuleID = '" << M->getModuleIdentifier() << "'\n"; 115031ab1b3d74440908889fc8ea0615c1d397478360Chris Lattner 1151cf7ff2b4c8c18d67aced9d7ba84482819b38a84bOwen Anderson if (!M->getDataLayout().empty()) 1152d2f9e609aa40de7049ebb6f838e7ba6579e3fb6aChris Lattner Out << "target datalayout = \"" << M->getDataLayout() << "\"\n"; 1153cddc86f27c822af960fc8d344a86a63fce6eab76Reid Spencer if (!M->getTargetTriple().empty()) 1154c9a1f0dcdde056a2cdbc446a9d6853684402263fReid Spencer Out << "target triple = \"" << M->getTargetTriple() << "\"\n"; 1155fd93908ae8b9684fe71c239e3c6cfe13ff6a2663Misha Brukman 1156cc041ba03aed685400197fb938b7a583713d25afChris Lattner if (!M->getModuleInlineAsm().empty()) { 115742a162ed8023088e7a4a7d81325381bd8d437bb7Chris Lattner // Split the string into lines, to make it easier to read the .ll file. 1158cc041ba03aed685400197fb938b7a583713d25afChris Lattner std::string Asm = M->getModuleInlineAsm(); 115942a162ed8023088e7a4a7d81325381bd8d437bb7Chris Lattner size_t CurPos = 0; 116042a162ed8023088e7a4a7d81325381bd8d437bb7Chris Lattner size_t NewLine = Asm.find_first_of('\n', CurPos); 116142a162ed8023088e7a4a7d81325381bd8d437bb7Chris Lattner while (NewLine != std::string::npos) { 116242a162ed8023088e7a4a7d81325381bd8d437bb7Chris Lattner // We found a newline, print the portion of the asm string from the 116342a162ed8023088e7a4a7d81325381bd8d437bb7Chris Lattner // last newline up to this newline. 116442a162ed8023088e7a4a7d81325381bd8d437bb7Chris Lattner Out << "module asm \""; 116542a162ed8023088e7a4a7d81325381bd8d437bb7Chris Lattner PrintEscapedString(std::string(Asm.begin()+CurPos, Asm.begin()+NewLine), 116642a162ed8023088e7a4a7d81325381bd8d437bb7Chris Lattner Out); 116742a162ed8023088e7a4a7d81325381bd8d437bb7Chris Lattner Out << "\"\n"; 116842a162ed8023088e7a4a7d81325381bd8d437bb7Chris Lattner CurPos = NewLine+1; 116942a162ed8023088e7a4a7d81325381bd8d437bb7Chris Lattner NewLine = Asm.find_first_of('\n', CurPos); 117042a162ed8023088e7a4a7d81325381bd8d437bb7Chris Lattner } 117171cdba31774ce18ed32e89f1c6f7716ab923aa46Chris Lattner Out << "module asm \""; 117242a162ed8023088e7a4a7d81325381bd8d437bb7Chris Lattner PrintEscapedString(std::string(Asm.begin()+CurPos, Asm.end()), Out); 117318365506ebe3e28593cb36951f17f08e75712a29Chris Lattner Out << "\"\n"; 117418365506ebe3e28593cb36951f17f08e75712a29Chris Lattner } 117518365506ebe3e28593cb36951f17f08e75712a29Chris Lattner 117644da7d79760998f9a70340b49a3811229838224dChris Lattner // Loop over the dependent libraries and emit them. 1177cfe97b78e787d232f4a82f5ff0afadf75ba95f6cChris Lattner Module::lib_iterator LI = M->lib_begin(); 1178cfe97b78e787d232f4a82f5ff0afadf75ba95f6cChris Lattner Module::lib_iterator LE = M->lib_end(); 1179cddc86f27c822af960fc8d344a86a63fce6eab76Reid Spencer if (LI != LE) { 1180cfe97b78e787d232f4a82f5ff0afadf75ba95f6cChris Lattner Out << "deplibs = [ "; 1181cfe97b78e787d232f4a82f5ff0afadf75ba95f6cChris Lattner while (LI != LE) { 118244da7d79760998f9a70340b49a3811229838224dChris Lattner Out << '"' << *LI << '"'; 1183c9a1f0dcdde056a2cdbc446a9d6853684402263fReid Spencer ++LI; 1184cfe97b78e787d232f4a82f5ff0afadf75ba95f6cChris Lattner if (LI != LE) 1185cfe97b78e787d232f4a82f5ff0afadf75ba95f6cChris Lattner Out << ", "; 1186c9a1f0dcdde056a2cdbc446a9d6853684402263fReid Spencer } 1187c9a1f0dcdde056a2cdbc446a9d6853684402263fReid Spencer Out << " ]\n"; 118883f6a77c8fc27eba21bca05be37663f3a6e123a1Reid Spencer } 1189e59eaf407a675845e278c2769e3dbed9f1daae8cReid Spencer 119044da7d79760998f9a70340b49a3811229838224dChris Lattner // Loop over the symbol table, emitting all named constants. 119178d033e086e19e016273de014f9214aa6f3f844bReid Spencer printTypeSymbolTable(M->getTypeSymbolTable()); 1192fd93908ae8b9684fe71c239e3c6cfe13ff6a2663Misha Brukman 1193d6d826cdadc4dcaa5babefda85bf08aaa57d8bc5Chris Lattner for (Module::const_global_iterator I = M->global_begin(), E = M->global_end(); 1194d6d826cdadc4dcaa5babefda85bf08aaa57d8bc5Chris Lattner I != E; ++I) 11957e70829632f82de15db187845666aaca6e04b792Chris Lattner printGlobal(I); 119669dacfce54473414c1a863d19ab8f2785cd2a4f2Chris Lattner 119769dacfce54473414c1a863d19ab8f2785cd2a4f2Chris Lattner // Output all aliases. 119869dacfce54473414c1a863d19ab8f2785cd2a4f2Chris Lattner if (!M->alias_empty()) Out << "\n"; 119969dacfce54473414c1a863d19ab8f2785cd2a4f2Chris Lattner for (Module::const_alias_iterator I = M->alias_begin(), E = M->alias_end(); 120069dacfce54473414c1a863d19ab8f2785cd2a4f2Chris Lattner I != E; ++I) 120169dacfce54473414c1a863d19ab8f2785cd2a4f2Chris Lattner printAlias(I); 1202007377f381e253cc559db8d3c94fa89b0eb55fadChris Lattner 120344da7d79760998f9a70340b49a3811229838224dChris Lattner // Output all of the functions. 12047e70829632f82de15db187845666aaca6e04b792Chris Lattner for (Module::const_iterator I = M->begin(), E = M->end(); I != E; ++I) 12057e70829632f82de15db187845666aaca6e04b792Chris Lattner printFunction(I); 1206009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner} 1207009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner 1208944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattnerstatic void PrintLinkage(GlobalValue::LinkageTypes LT, raw_ostream &Out) { 1209cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner switch (LT) { 1210cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner case GlobalValue::InternalLinkage: Out << "internal "; break; 1211cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner case GlobalValue::LinkOnceLinkage: Out << "linkonce "; break; 1212cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner case GlobalValue::WeakLinkage: Out << "weak "; break; 1213cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner case GlobalValue::CommonLinkage: Out << "common "; break; 1214cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner case GlobalValue::AppendingLinkage: Out << "appending "; break; 1215cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner case GlobalValue::DLLImportLinkage: Out << "dllimport "; break; 1216cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner case GlobalValue::DLLExportLinkage: Out << "dllexport "; break; 1217cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner case GlobalValue::ExternalWeakLinkage: Out << "extern_weak "; break; 1218cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner case GlobalValue::ExternalLinkage: break; 1219cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner case GlobalValue::GhostLinkage: 1220cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner Out << "GhostLinkage not allowed in AsmWriter!\n"; 1221cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner abort(); 1222cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner } 1223cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner} 1224cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner 1225cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner 1226cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattnerstatic void PrintVisibility(GlobalValue::VisibilityTypes Vis, 1227944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner raw_ostream &Out) { 1228cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner switch (Vis) { 1229cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner default: assert(0 && "Invalid visibility style!"); 1230cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner case GlobalValue::DefaultVisibility: break; 1231cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner case GlobalValue::HiddenVisibility: Out << "hidden "; break; 1232cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner case GlobalValue::ProtectedVisibility: Out << "protected "; break; 1233cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner } 1234cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner} 1235cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner 1236c1824996451d5ea93864fcd34ba8ea5e5f03e368Chris Lattnervoid AssemblyWriter::printGlobal(const GlobalVariable *GV) { 1237c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner if (GV->hasName()) { 1238c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner PrintLLVMName(Out, GV); 1239c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner Out << " = "; 1240c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner } 1241d70684f7585a85c4248c1c224059478108741c70Chris Lattner 124252b26de325e32c71159376853384789b7646eaf4Chris Lattner if (!GV->hasInitializer() && GV->hasExternalLinkage()) 124352b26de325e32c71159376853384789b7646eaf4Chris Lattner Out << "external "; 124452b26de325e32c71159376853384789b7646eaf4Chris Lattner 124552b26de325e32c71159376853384789b7646eaf4Chris Lattner PrintLinkage(GV->getLinkage(), Out); 124652b26de325e32c71159376853384789b7646eaf4Chris Lattner PrintVisibility(GV->getVisibility(), Out); 1247c763552299165b88d34a7d4f2d76ff413cbc7f67Lauro Ramos Venancio 1248c763552299165b88d34a7d4f2d76ff413cbc7f67Lauro Ramos Venancio if (GV->isThreadLocal()) Out << "thread_local "; 12490313e0b44dcd77acd334d3f324c7da527179a690Misha Brukman Out << (GV->isConstant() ? "constant " : "global "); 12507a1767520611d9ff6face702068de858e1cadf2cChris Lattner printType(GV->getType()->getElementType()); 1251d70684f7585a85c4248c1c224059478108741c70Chris Lattner 12528dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman if (GV->hasInitializer()) { 12538dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman Out << ' '; 12542fcfdb79d0d1d2297d7aced11b567cd52494604eChris Lattner writeOperand(GV->getInitializer(), false); 12558dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman } 12568b0a8c84da2030ee8f4440d5b60a8033de691222Anton Korobeynikov 1257fe63fb986dc9510c5d68f2442edab9574e9e50d0Christopher Lamb if (unsigned AddressSpace = GV->getType()->getAddressSpace()) 1258fe63fb986dc9510c5d68f2442edab9574e9e50d0Christopher Lamb Out << " addrspace(" << AddressSpace << ") "; 1259fe63fb986dc9510c5d68f2442edab9574e9e50d0Christopher Lamb 126060962dbfbaa4a9c3ca6fced08fb90b748aa99203Chris Lattner if (GV->hasSection()) 126160962dbfbaa4a9c3ca6fced08fb90b748aa99203Chris Lattner Out << ", section \"" << GV->getSection() << '"'; 126260962dbfbaa4a9c3ca6fced08fb90b748aa99203Chris Lattner if (GV->getAlignment()) 126330caa2876cd500b49e27b6810ab5dec96398c6faChris Lattner Out << ", align " << GV->getAlignment(); 12648b0a8c84da2030ee8f4440d5b60a8033de691222Anton Korobeynikov 12657e70829632f82de15db187845666aaca6e04b792Chris Lattner printInfoComment(*GV); 1266cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner Out << '\n'; 126770cc3397f84c2e1fd69c059a0ef89e398e847b00Chris Lattner} 126870cc3397f84c2e1fd69c059a0ef89e398e847b00Chris Lattner 12698b0a8c84da2030ee8f4440d5b60a8033de691222Anton Korobeynikovvoid AssemblyWriter::printAlias(const GlobalAlias *GA) { 127024f07dc6e464aa82694fd3dd5fc88dc139d16b7cDale Johannesen // Don't crash when dumping partially built GA 127124f07dc6e464aa82694fd3dd5fc88dc139d16b7cDale Johannesen if (!GA->hasName()) 127224f07dc6e464aa82694fd3dd5fc88dc139d16b7cDale Johannesen Out << "<<nameless>> = "; 1273c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner else { 1274c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner PrintLLVMName(Out, GA); 1275c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner Out << " = "; 1276c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner } 1277cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner PrintVisibility(GA->getVisibility(), Out); 12788b0a8c84da2030ee8f4440d5b60a8033de691222Anton Korobeynikov 12798b0a8c84da2030ee8f4440d5b60a8033de691222Anton Korobeynikov Out << "alias "; 12808b0a8c84da2030ee8f4440d5b60a8033de691222Anton Korobeynikov 1281cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner PrintLinkage(GA->getLinkage(), Out); 12828b0a8c84da2030ee8f4440d5b60a8033de691222Anton Korobeynikov 1283c6c98af9e5814e8066c82f20ca11cf646a5fc289Anton Korobeynikov const Constant *Aliasee = GA->getAliasee(); 12848b0a8c84da2030ee8f4440d5b60a8033de691222Anton Korobeynikov 12858b0a8c84da2030ee8f4440d5b60a8033de691222Anton Korobeynikov if (const GlobalVariable *GV = dyn_cast<GlobalVariable>(Aliasee)) { 12868b0a8c84da2030ee8f4440d5b60a8033de691222Anton Korobeynikov printType(GV->getType()); 1287c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner Out << ' '; 1288c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner PrintLLVMName(Out, GV); 12898b0a8c84da2030ee8f4440d5b60a8033de691222Anton Korobeynikov } else if (const Function *F = dyn_cast<Function>(Aliasee)) { 12908b0a8c84da2030ee8f4440d5b60a8033de691222Anton Korobeynikov printType(F->getFunctionType()); 12918b0a8c84da2030ee8f4440d5b60a8033de691222Anton Korobeynikov Out << "* "; 12928b0a8c84da2030ee8f4440d5b60a8033de691222Anton Korobeynikov 1293fad86b003a839cef40ec8ce8408322f4913368caChris Lattner if (F->hasName()) 1294c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner PrintLLVMName(Out, F); 12958b0a8c84da2030ee8f4440d5b60a8033de691222Anton Korobeynikov else 12968b0a8c84da2030ee8f4440d5b60a8033de691222Anton Korobeynikov Out << "@\"\""; 1297591858a403a71fc5b30bc7b071f18bc0cf327cfcAnton Korobeynikov } else if (const GlobalAlias *GA = dyn_cast<GlobalAlias>(Aliasee)) { 1298591858a403a71fc5b30bc7b071f18bc0cf327cfcAnton Korobeynikov printType(GA->getType()); 1299c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner Out << " "; 1300c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner PrintLLVMName(Out, GA); 1301a80e1181b78183dc36ec6568559d38faa86981f0Anton Korobeynikov } else { 1302a80e1181b78183dc36ec6568559d38faa86981f0Anton Korobeynikov const ConstantExpr *CE = 0; 1303a80e1181b78183dc36ec6568559d38faa86981f0Anton Korobeynikov if ((CE = dyn_cast<ConstantExpr>(Aliasee)) && 1304a80e1181b78183dc36ec6568559d38faa86981f0Anton Korobeynikov (CE->getOpcode() == Instruction::BitCast)) { 1305a80e1181b78183dc36ec6568559d38faa86981f0Anton Korobeynikov writeOperand(CE, false); 1306a80e1181b78183dc36ec6568559d38faa86981f0Anton Korobeynikov } else 1307a80e1181b78183dc36ec6568559d38faa86981f0Anton Korobeynikov assert(0 && "Unsupported aliasee"); 1308a80e1181b78183dc36ec6568559d38faa86981f0Anton Korobeynikov } 1309a80e1181b78183dc36ec6568559d38faa86981f0Anton Korobeynikov 13108b0a8c84da2030ee8f4440d5b60a8033de691222Anton Korobeynikov printInfoComment(*GA); 131152b26de325e32c71159376853384789b7646eaf4Chris Lattner Out << '\n'; 13128b0a8c84da2030ee8f4440d5b60a8033de691222Anton Korobeynikov} 13138b0a8c84da2030ee8f4440d5b60a8033de691222Anton Korobeynikov 131478d033e086e19e016273de014f9214aa6f3f844bReid Spencervoid AssemblyWriter::printTypeSymbolTable(const TypeSymbolTable &ST) { 13159231ac8b6f2c3f9877bdb7a223f7392061258ab6Reid Spencer // Print the types. 131678d033e086e19e016273de014f9214aa6f3f844bReid Spencer for (TypeSymbolTable::const_iterator TI = ST.begin(), TE = ST.end(); 131778d033e086e19e016273de014f9214aa6f3f844bReid Spencer TI != TE; ++TI) { 131852b26de325e32c71159376853384789b7646eaf4Chris Lattner Out << '\t'; 131952b26de325e32c71159376853384789b7646eaf4Chris Lattner PrintLLVMName(Out, &TI->first[0], TI->first.size(), LocalPrefix); 132052b26de325e32c71159376853384789b7646eaf4Chris Lattner Out << " = type "; 13219231ac8b6f2c3f9877bdb7a223f7392061258ab6Reid Spencer 13229231ac8b6f2c3f9877bdb7a223f7392061258ab6Reid Spencer // Make sure we print out at least one level of the type structure, so 13239231ac8b6f2c3f9877bdb7a223f7392061258ab6Reid Spencer // that we do not get %FILE = type %FILE 13249231ac8b6f2c3f9877bdb7a223f7392061258ab6Reid Spencer // 1325cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner printTypeAtLeastOneLevel(TI->second); 1326cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner Out << '\n'; 13279231ac8b6f2c3f9877bdb7a223f7392061258ab6Reid Spencer } 132878d033e086e19e016273de014f9214aa6f3f844bReid Spencer} 132978d033e086e19e016273de014f9214aa6f3f844bReid Spencer 1330ab5c6003d23c19d23bbff1054900d208c55e0188Misha Brukman/// printFunction - Print all aspects of a function. 1331ab5c6003d23c19d23bbff1054900d208c55e0188Misha Brukman/// 13327e70829632f82de15db187845666aaca6e04b792Chris Lattnervoid AssemblyWriter::printFunction(const Function *F) { 1333cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner // Print out the return type and name. 1334cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner Out << '\n'; 13354ad02e726d9b634372b037d4b352d8b63bb9e849Chris Lattner 13360313e0b44dcd77acd334d3f324c7da527179a690Misha Brukman if (AnnotationWriter) AnnotationWriter->emitFunctionAnnot(F, Out); 133795e5a2cc3fc55b262d2baa1cc417115dfa4a18eaChris Lattner 13385cbf985dcbc89fba3208e7baf8b6f488b06d3ec9Reid Spencer if (F->isDeclaration()) 13393aa6066d010b2ccfd58f07fb1be874becf5807c2Chris Lattner Out << "declare "; 13403aa6066d010b2ccfd58f07fb1be874becf5807c2Chris Lattner else 1341b951bc02839e9862e02e17c7ea83e6437fc13442Reid Spencer Out << "define "; 1342cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner 1343cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner PrintLinkage(F->getLinkage(), Out); 1344cfb5a200d6c6e5cd7c158014497e50010248c1d9Chris Lattner PrintVisibility(F->getVisibility(), Out); 13454ad02e726d9b634372b037d4b352d8b63bb9e849Chris Lattner 1346d511898b581826694e6c651e23343b1e1ba5ba64Chris Lattner // Print the calling convention. 1347d511898b581826694e6c651e23343b1e1ba5ba64Chris Lattner switch (F->getCallingConv()) { 1348d511898b581826694e6c651e23343b1e1ba5ba64Chris Lattner case CallingConv::C: break; // default 1349f824868ed9d2cc756a797f6dbd67732f75e31cd6Anton Korobeynikov case CallingConv::Fast: Out << "fastcc "; break; 1350f824868ed9d2cc756a797f6dbd67732f75e31cd6Anton Korobeynikov case CallingConv::Cold: Out << "coldcc "; break; 1351f824868ed9d2cc756a797f6dbd67732f75e31cd6Anton Korobeynikov case CallingConv::X86_StdCall: Out << "x86_stdcallcc "; break; 1352f824868ed9d2cc756a797f6dbd67732f75e31cd6Anton Korobeynikov case CallingConv::X86_FastCall: Out << "x86_fastcallcc "; break; 13537dc00abd866ded910f830852c109f0ee8fceb751Dale Johannesen case CallingConv::X86_SSECall: Out << "x86_ssecallcc "; break; 1354d511898b581826694e6c651e23343b1e1ba5ba64Chris Lattner default: Out << "cc" << F->getCallingConv() << " "; break; 1355d511898b581826694e6c651e23343b1e1ba5ba64Chris Lattner } 1356d511898b581826694e6c651e23343b1e1ba5ba64Chris Lattner 1357bd5db8e29b82f864c3d6525c6cfefa557fafdbb8Reid Spencer const FunctionType *FT = F->getFunctionType(); 135858d74910c6b82e622ecbb57d6644d48fec5a5c0fChris Lattner const PAListPtr &Attrs = F->getParamAttrs(); 13594667b71f9380afad56cbdc1fd19ca32334086d2cChris Lattner printType(F->getReturnType()); 13604667b71f9380afad56cbdc1fd19ca32334086d2cChris Lattner Out << ' '; 136195e4bd81d7ad15cb7610cfdb869e357b3909a313Chris Lattner if (F->hasName()) 1362c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner PrintLLVMName(Out, F); 13634d45bd007d0c3a3a6e5b3876b67fd495acb0db2bChris Lattner else 13643702d265b8278c4b67efb4989e6724205908addfReid Spencer Out << "@\"\""; 13650313e0b44dcd77acd334d3f324c7da527179a690Misha Brukman Out << '('; 13660d1b77e2824115d97f8392c3f4ec257b27ebbd7aReid Spencer Machine.incorporateFunction(F); 1367007377f381e253cc559db8d3c94fa89b0eb55fadChris Lattner 1368c1824996451d5ea93864fcd34ba8ea5e5f03e368Chris Lattner // Loop over the arguments, printing them... 1369007377f381e253cc559db8d3c94fa89b0eb55fadChris Lattner 1370bd5db8e29b82f864c3d6525c6cfefa557fafdbb8Reid Spencer unsigned Idx = 1; 13718dcd2f1a5bbb9151ec05532861be58bf3f078e63Chris Lattner if (!F->isDeclaration()) { 13728dcd2f1a5bbb9151ec05532861be58bf3f078e63Chris Lattner // If this isn't a declaration, print the argument names as well. 13738dcd2f1a5bbb9151ec05532861be58bf3f078e63Chris Lattner for (Function::const_arg_iterator I = F->arg_begin(), E = F->arg_end(); 13748dcd2f1a5bbb9151ec05532861be58bf3f078e63Chris Lattner I != E; ++I) { 13758dcd2f1a5bbb9151ec05532861be58bf3f078e63Chris Lattner // Insert commas as we go... the first arg doesn't get a comma 13768dcd2f1a5bbb9151ec05532861be58bf3f078e63Chris Lattner if (I != F->arg_begin()) Out << ", "; 137758d74910c6b82e622ecbb57d6644d48fec5a5c0fChris Lattner printArgument(I, Attrs.getParamAttrs(Idx)); 13788dcd2f1a5bbb9151ec05532861be58bf3f078e63Chris Lattner Idx++; 13798dcd2f1a5bbb9151ec05532861be58bf3f078e63Chris Lattner } 13808dcd2f1a5bbb9151ec05532861be58bf3f078e63Chris Lattner } else { 13818dcd2f1a5bbb9151ec05532861be58bf3f078e63Chris Lattner // Otherwise, print the types from the function type. 13828dcd2f1a5bbb9151ec05532861be58bf3f078e63Chris Lattner for (unsigned i = 0, e = FT->getNumParams(); i != e; ++i) { 13838dcd2f1a5bbb9151ec05532861be58bf3f078e63Chris Lattner // Insert commas as we go... the first arg doesn't get a comma 13848dcd2f1a5bbb9151ec05532861be58bf3f078e63Chris Lattner if (i) Out << ", "; 13858dcd2f1a5bbb9151ec05532861be58bf3f078e63Chris Lattner 13868dcd2f1a5bbb9151ec05532861be58bf3f078e63Chris Lattner // Output type... 13878dcd2f1a5bbb9151ec05532861be58bf3f078e63Chris Lattner printType(FT->getParamType(i)); 13888dcd2f1a5bbb9151ec05532861be58bf3f078e63Chris Lattner 1389eaf42abab6d465c38891345d999255871cf03943Devang Patel Attributes ArgAttrs = Attrs.getParamAttrs(i+1); 13908dcd2f1a5bbb9151ec05532861be58bf3f078e63Chris Lattner if (ArgAttrs != ParamAttr::None) 139158d74910c6b82e622ecbb57d6644d48fec5a5c0fChris Lattner Out << ' ' << ParamAttr::getAsString(ArgAttrs); 13928dcd2f1a5bbb9151ec05532861be58bf3f078e63Chris Lattner } 1393bd5db8e29b82f864c3d6525c6cfefa557fafdbb8Reid Spencer } 1394007377f381e253cc559db8d3c94fa89b0eb55fadChris Lattner 1395007377f381e253cc559db8d3c94fa89b0eb55fadChris Lattner // Finish printing arguments... 13967e70829632f82de15db187845666aaca6e04b792Chris Lattner if (FT->isVarArg()) { 13970313e0b44dcd77acd334d3f324c7da527179a690Misha Brukman if (FT->getNumParams()) Out << ", "; 13980313e0b44dcd77acd334d3f324c7da527179a690Misha Brukman Out << "..."; // Output varargs portion of signature! 1399007377f381e253cc559db8d3c94fa89b0eb55fadChris Lattner } 14000313e0b44dcd77acd334d3f324c7da527179a690Misha Brukman Out << ')'; 1401eaf42abab6d465c38891345d999255871cf03943Devang Patel Attributes RetAttrs = Attrs.getParamAttrs(0); 140258d74910c6b82e622ecbb57d6644d48fec5a5c0fChris Lattner if (RetAttrs != ParamAttr::None) 140358d74910c6b82e622ecbb57d6644d48fec5a5c0fChris Lattner Out << ' ' << ParamAttr::getAsString(Attrs.getParamAttrs(0)); 140460962dbfbaa4a9c3ca6fced08fb90b748aa99203Chris Lattner if (F->hasSection()) 140560962dbfbaa4a9c3ca6fced08fb90b748aa99203Chris Lattner Out << " section \"" << F->getSection() << '"'; 140630caa2876cd500b49e27b6810ab5dec96398c6faChris Lattner if (F->getAlignment()) 140730caa2876cd500b49e27b6810ab5dec96398c6faChris Lattner Out << " align " << F->getAlignment(); 14085eca075b74d62c621b160aa216b4cd50829a2cc7Gordon Henriksen if (F->hasGC()) 14095eca075b74d62c621b160aa216b4cd50829a2cc7Gordon Henriksen Out << " gc \"" << F->getGC() << '"'; 1410f3ba70861ccf00b1072ae1b6ade3ebe2da6cff40Devang Patel if (F->isDeclaration()) { 1411f3ba70861ccf00b1072ae1b6ade3ebe2da6cff40Devang Patel Out << "\n"; 1412f3ba70861ccf00b1072ae1b6ade3ebe2da6cff40Devang Patel } else { 1413f3ba70861ccf00b1072ae1b6ade3ebe2da6cff40Devang Patel 1414f3ba70861ccf00b1072ae1b6ade3ebe2da6cff40Devang Patel bool insideNotes = false; 1415d9b4a5f859188cbb168c223071b413e58c53c925Devang Patel if (F->hasNote(ParamAttr::FN_NOTE_AlwaysInline)) { 1416f3ba70861ccf00b1072ae1b6ade3ebe2da6cff40Devang Patel Out << "notes("; 1417f3ba70861ccf00b1072ae1b6ade3ebe2da6cff40Devang Patel insideNotes = true; 141894bdae14ba6672f5afb15310424efeba21a01c77Devang Patel Out << "inline=always"; 141952e89dd4e2c0e32877eb9157b3cd0d402a2b6194Devang Patel } 1420d9b4a5f859188cbb168c223071b413e58c53c925Devang Patel if (F->hasNote(ParamAttr::FN_NOTE_NoInline)) { 1421f3ba70861ccf00b1072ae1b6ade3ebe2da6cff40Devang Patel if (insideNotes) 1422f3ba70861ccf00b1072ae1b6ade3ebe2da6cff40Devang Patel Out << ","; 1423f3ba70861ccf00b1072ae1b6ade3ebe2da6cff40Devang Patel else { 1424f3ba70861ccf00b1072ae1b6ade3ebe2da6cff40Devang Patel Out << "notes("; 1425f3ba70861ccf00b1072ae1b6ade3ebe2da6cff40Devang Patel insideNotes = true; 1426f3ba70861ccf00b1072ae1b6ade3ebe2da6cff40Devang Patel } 142794bdae14ba6672f5afb15310424efeba21a01c77Devang Patel Out << "inline=never"; 142852e89dd4e2c0e32877eb9157b3cd0d402a2b6194Devang Patel } 1429d9b4a5f859188cbb168c223071b413e58c53c925Devang Patel if (F->hasNote(ParamAttr::FN_NOTE_OptimizeForSize)) { 1430f3ba70861ccf00b1072ae1b6ade3ebe2da6cff40Devang Patel if (insideNotes) 143172ab076e671bee289e9e83f23b382131ea5c1560Devang Patel Out << ","; 1432f3ba70861ccf00b1072ae1b6ade3ebe2da6cff40Devang Patel else { 1433f3ba70861ccf00b1072ae1b6ade3ebe2da6cff40Devang Patel Out << "notes("; 1434f3ba70861ccf00b1072ae1b6ade3ebe2da6cff40Devang Patel insideNotes = true; 1435f3ba70861ccf00b1072ae1b6ade3ebe2da6cff40Devang Patel } 143652e89dd4e2c0e32877eb9157b3cd0d402a2b6194Devang Patel Out << "opt_size"; 143772ab076e671bee289e9e83f23b382131ea5c1560Devang Patel } 1438f3ba70861ccf00b1072ae1b6ade3ebe2da6cff40Devang Patel if (insideNotes) 1439f3ba70861ccf00b1072ae1b6ade3ebe2da6cff40Devang Patel Out << ")"; 1440f3ba70861ccf00b1072ae1b6ade3ebe2da6cff40Devang Patel 1441a1b5858fda38cfe5b30055a87020b6d5f7023238Chris Lattner Out << " {"; 1442fd93908ae8b9684fe71c239e3c6cfe13ff6a2663Misha Brukman 1443b579400cd72f274607f4964a9649ea4d38e04c46Chris Lattner // Output all of its basic blocks... for the function 14447e70829632f82de15db187845666aaca6e04b792Chris Lattner for (Function::const_iterator I = F->begin(), E = F->end(); I != E; ++I) 14457e70829632f82de15db187845666aaca6e04b792Chris Lattner printBasicBlock(I); 1446007377f381e253cc559db8d3c94fa89b0eb55fadChris Lattner 14470313e0b44dcd77acd334d3f324c7da527179a690Misha Brukman Out << "}\n"; 1448007377f381e253cc559db8d3c94fa89b0eb55fadChris Lattner } 1449007377f381e253cc559db8d3c94fa89b0eb55fadChris Lattner 14500d1b77e2824115d97f8392c3f4ec257b27ebbd7aReid Spencer Machine.purgeFunction(); 1451009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner} 1452009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner 1453ab5c6003d23c19d23bbff1054900d208c55e0188Misha Brukman/// printArgument - This member is called for every argument that is passed into 1454ab5c6003d23c19d23bbff1054900d208c55e0188Misha Brukman/// the function. Simply print it out 1455ab5c6003d23c19d23bbff1054900d208c55e0188Misha Brukman/// 14560d51e7ec0d2dcbea9e304fd58deb05f37eb75635Dale Johannesenvoid AssemblyWriter::printArgument(const Argument *Arg, 1457eaf42abab6d465c38891345d999255871cf03943Devang Patel Attributes Attrs) { 1458009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner // Output type... 1459c1824996451d5ea93864fcd34ba8ea5e5f03e368Chris Lattner printType(Arg->getType()); 1460fd93908ae8b9684fe71c239e3c6cfe13ff6a2663Misha Brukman 1461dc024674ff96820d6020757b48d47f46d4c07db2Duncan Sands // Output parameter attributes list 146218da0720887527ed570e9703ae5f290beb491ee1Reid Spencer if (Attrs != ParamAttr::None) 146358d74910c6b82e622ecbb57d6644d48fec5a5c0fChris Lattner Out << ' ' << ParamAttr::getAsString(Attrs); 1464bd5db8e29b82f864c3d6525c6cfefa557fafdbb8Reid Spencer 1465009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner // Output name, if available... 1466c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner if (Arg->hasName()) { 1467c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner Out << ' '; 1468c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner PrintLLVMName(Out, Arg); 1469c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner } 1470009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner} 1471009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner 1472ab5c6003d23c19d23bbff1054900d208c55e0188Misha Brukman/// printBasicBlock - This member is called for each basic block in a method. 1473ab5c6003d23c19d23bbff1054900d208c55e0188Misha Brukman/// 1474c1824996451d5ea93864fcd34ba8ea5e5f03e368Chris Lattnervoid AssemblyWriter::printBasicBlock(const BasicBlock *BB) { 1475280a6e607d8eb7401749a92db624a82de47da777Nick Lewycky if (BB->hasName()) { // Print out the label if it exists... 1476c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner Out << "\n"; 147752b26de325e32c71159376853384789b7646eaf4Chris Lattner PrintLLVMName(Out, BB->getNameStart(), BB->getNameLen(), LabelPrefix); 1478c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner Out << ':'; 1479280a6e607d8eb7401749a92db624a82de47da777Nick Lewycky } else if (!BB->use_empty()) { // Don't print block # of no uses... 148096c5b2f8c75b10f7e61ad90582d72c500d5c7d2dChris Lattner Out << "\n; <label>:"; 148122379bc7bb28fbfb1182877e6dc316aaab98a4baChris Lattner int Slot = Machine.getLocalSlot(BB); 148269566459cc27c5210472a87ae2fe7b2ca64f9fc8Chris Lattner if (Slot != -1) 14830313e0b44dcd77acd334d3f324c7da527179a690Misha Brukman Out << Slot; 148469566459cc27c5210472a87ae2fe7b2ca64f9fc8Chris Lattner else 14850313e0b44dcd77acd334d3f324c7da527179a690Misha Brukman Out << "<badref>"; 1486061269be9723f842931f18ad207acf9a66e0cf76Chris Lattner } 14874e4d8624c5c44578d64fe1344670520cceec03f2Chris Lattner 14884e4d8624c5c44578d64fe1344670520cceec03f2Chris Lattner if (BB->getParent() == 0) 14890313e0b44dcd77acd334d3f324c7da527179a690Misha Brukman Out << "\t\t; Error: Block without parent!"; 1490eb411291fa7614496ec8b51b0ced9f6cc2b78313Chris Lattner else if (BB != &BB->getParent()->getEntryBlock()) { // Not the entry block? 1491eb411291fa7614496ec8b51b0ced9f6cc2b78313Chris Lattner // Output predecessors for the block... 1492eb411291fa7614496ec8b51b0ced9f6cc2b78313Chris Lattner Out << "\t\t;"; 1493eb411291fa7614496ec8b51b0ced9f6cc2b78313Chris Lattner pred_const_iterator PI = pred_begin(BB), PE = pred_end(BB); 1494eb411291fa7614496ec8b51b0ced9f6cc2b78313Chris Lattner 1495eb411291fa7614496ec8b51b0ced9f6cc2b78313Chris Lattner if (PI == PE) { 1496eb411291fa7614496ec8b51b0ced9f6cc2b78313Chris Lattner Out << " No predecessors!"; 1497eb411291fa7614496ec8b51b0ced9f6cc2b78313Chris Lattner } else { 14988dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman Out << " preds = "; 1499eb411291fa7614496ec8b51b0ced9f6cc2b78313Chris Lattner writeOperand(*PI, false); 1500eb411291fa7614496ec8b51b0ced9f6cc2b78313Chris Lattner for (++PI; PI != PE; ++PI) { 15018dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman Out << ", "; 15022fcfdb79d0d1d2297d7aced11b567cd52494604eChris Lattner writeOperand(*PI, false); 150340efcec8e879b3470b3c0ad9d8124abce2cd8915Chris Lattner } 1504061269be9723f842931f18ad207acf9a66e0cf76Chris Lattner } 1505009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner } 1506fd93908ae8b9684fe71c239e3c6cfe13ff6a2663Misha Brukman 1507eb411291fa7614496ec8b51b0ced9f6cc2b78313Chris Lattner Out << "\n"; 1508009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner 15090313e0b44dcd77acd334d3f324c7da527179a690Misha Brukman if (AnnotationWriter) AnnotationWriter->emitBasicBlockStartAnnot(BB, Out); 151095e5a2cc3fc55b262d2baa1cc417115dfa4a18eaChris Lattner 1511007377f381e253cc559db8d3c94fa89b0eb55fadChris Lattner // Output all of the instructions in the basic block... 15127e70829632f82de15db187845666aaca6e04b792Chris Lattner for (BasicBlock::const_iterator I = BB->begin(), E = BB->end(); I != E; ++I) 15137e70829632f82de15db187845666aaca6e04b792Chris Lattner printInstruction(*I); 15149f717ef279f4b82e28c341c98a9aa602f01f9b27Chris Lattner 15150313e0b44dcd77acd334d3f324c7da527179a690Misha Brukman if (AnnotationWriter) AnnotationWriter->emitBasicBlockEndAnnot(BB, Out); 1516009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner} 1517009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner 1518e02fa8551d20081534afa46e0976811687e5183aChris Lattner 1519ab5c6003d23c19d23bbff1054900d208c55e0188Misha Brukman/// printInfoComment - Print a little comment after the instruction indicating 1520ab5c6003d23c19d23bbff1054900d208c55e0188Misha Brukman/// which slot it occupies. 1521ab5c6003d23c19d23bbff1054900d208c55e0188Misha Brukman/// 15227e70829632f82de15db187845666aaca6e04b792Chris Lattnervoid AssemblyWriter::printInfoComment(const Value &V) { 15237e70829632f82de15db187845666aaca6e04b792Chris Lattner if (V.getType() != Type::VoidTy) { 15240313e0b44dcd77acd334d3f324c7da527179a690Misha Brukman Out << "\t\t; <"; 15254667b71f9380afad56cbdc1fd19ca32334086d2cChris Lattner printType(V.getType()); 15264667b71f9380afad56cbdc1fd19ca32334086d2cChris Lattner Out << '>'; 1527e02fa8551d20081534afa46e0976811687e5183aChris Lattner 1528828db8a2f90e0e3faf27c1fe69a632c666e3a343Chris Lattner if (!V.hasName() && !isa<Instruction>(V)) { 152922379bc7bb28fbfb1182877e6dc316aaab98a4baChris Lattner int SlotNum; 153022379bc7bb28fbfb1182877e6dc316aaab98a4baChris Lattner if (const GlobalValue *GV = dyn_cast<GlobalValue>(&V)) 153122379bc7bb28fbfb1182877e6dc316aaab98a4baChris Lattner SlotNum = Machine.getGlobalSlot(GV); 153222379bc7bb28fbfb1182877e6dc316aaab98a4baChris Lattner else 153322379bc7bb28fbfb1182877e6dc316aaab98a4baChris Lattner SlotNum = Machine.getLocalSlot(&V); 153469566459cc27c5210472a87ae2fe7b2ca64f9fc8Chris Lattner if (SlotNum == -1) 15350313e0b44dcd77acd334d3f324c7da527179a690Misha Brukman Out << ":<badref>"; 1536fc621e28781e3cf22f1850e07f285581334e2402Reid Spencer else 15370313e0b44dcd77acd334d3f324c7da527179a690Misha Brukman Out << ':' << SlotNum; // Print out the def slot taken. 1538e02fa8551d20081534afa46e0976811687e5183aChris Lattner } 15395c461404fed8d1def8eae02e6574bc5b16502575Chris Lattner Out << " [#uses=" << V.getNumUses() << ']'; // Output # uses 1540e02fa8551d20081534afa46e0976811687e5183aChris Lattner } 1541e02fa8551d20081534afa46e0976811687e5183aChris Lattner} 1542e02fa8551d20081534afa46e0976811687e5183aChris Lattner 15433a9ec2463ddeba0820f284e2952bd6919cd5e080Reid Spencer// This member is called for each Instruction in a function.. 15447e70829632f82de15db187845666aaca6e04b792Chris Lattnervoid AssemblyWriter::printInstruction(const Instruction &I) { 15450313e0b44dcd77acd334d3f324c7da527179a690Misha Brukman if (AnnotationWriter) AnnotationWriter->emitInstructionAnnot(&I, Out); 154695e5a2cc3fc55b262d2baa1cc417115dfa4a18eaChris Lattner 1547ab49ee752ec37f586e45c999eca1e29e32697cb7Chris Lattner Out << '\t'; 1548009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner 1549009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner // Print out name if it exists... 1550c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner if (I.hasName()) { 1551c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner PrintLLVMName(Out, &I); 1552c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner Out << " = "; 1553828db8a2f90e0e3faf27c1fe69a632c666e3a343Chris Lattner } else if (I.getType() != Type::VoidTy) { 1554828db8a2f90e0e3faf27c1fe69a632c666e3a343Chris Lattner // Print out the def slot taken. 1555828db8a2f90e0e3faf27c1fe69a632c666e3a343Chris Lattner int SlotNum = Machine.getLocalSlot(&I); 1556828db8a2f90e0e3faf27c1fe69a632c666e3a343Chris Lattner if (SlotNum == -1) 1557828db8a2f90e0e3faf27c1fe69a632c666e3a343Chris Lattner Out << "<badref> = "; 1558828db8a2f90e0e3faf27c1fe69a632c666e3a343Chris Lattner else 1559828db8a2f90e0e3faf27c1fe69a632c666e3a343Chris Lattner Out << '%' << SlotNum << " = "; 1560c97536e6a7834212aafd25f2673234fc88b5e5bbChris Lattner } 1561009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner 1562ddb6db4fa11d06217d01d8431596131abdfb7ef0Chris Lattner // If this is a volatile load or store, print out the volatile marker. 1563e5e475e09d1e8a9ea1bda58b536867ff16600399Chris Lattner if ((isa<LoadInst>(I) && cast<LoadInst>(I).isVolatile()) || 1564ddb6db4fa11d06217d01d8431596131abdfb7ef0Chris Lattner (isa<StoreInst>(I) && cast<StoreInst>(I).isVolatile())) { 15650313e0b44dcd77acd334d3f324c7da527179a690Misha Brukman Out << "volatile "; 1566ddb6db4fa11d06217d01d8431596131abdfb7ef0Chris Lattner } else if (isa<CallInst>(I) && cast<CallInst>(I).isTailCall()) { 1567ddb6db4fa11d06217d01d8431596131abdfb7ef0Chris Lattner // If this is a call, check if it's a tail call. 1568ddb6db4fa11d06217d01d8431596131abdfb7ef0Chris Lattner Out << "tail "; 1569ddb6db4fa11d06217d01d8431596131abdfb7ef0Chris Lattner } 1570e5e475e09d1e8a9ea1bda58b536867ff16600399Chris Lattner 1571009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner // Print out the opcode... 15720313e0b44dcd77acd334d3f324c7da527179a690Misha Brukman Out << I.getOpcodeName(); 1573009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner 157474f1642bc1c2981e4573c9f0690d91b6a9bbc68cReid Spencer // Print out the compare instruction predicates 1575ac80ade1580378e484e24c9f66d2fa5b058e5891Nate Begeman if (const CmpInst *CI = dyn_cast<CmpInst>(&I)) 1576ab49ee752ec37f586e45c999eca1e29e32697cb7Chris Lattner Out << ' ' << getPredicateText(CI->getPredicate()); 157774f1642bc1c2981e4573c9f0690d91b6a9bbc68cReid Spencer 1578009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner // Print out the type of the operands... 15797e70829632f82de15db187845666aaca6e04b792Chris Lattner const Value *Operand = I.getNumOperands() ? I.getOperand(0) : 0; 1580009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner 1581009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner // Special case conditional branches to swizzle the condition out to the front 15827e70829632f82de15db187845666aaca6e04b792Chris Lattner if (isa<BranchInst>(I) && I.getNumOperands() > 1) { 15838dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman Out << ' '; 15847e70829632f82de15db187845666aaca6e04b792Chris Lattner writeOperand(I.getOperand(2), true); 15858dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman Out << ", "; 1586009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner writeOperand(Operand, true); 15878dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman Out << ", "; 15887e70829632f82de15db187845666aaca6e04b792Chris Lattner writeOperand(I.getOperand(1), true); 1589009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner 159094dc1f29cd1dc669680b7d3caa1f59862a656b83Chris Lattner } else if (isa<SwitchInst>(I)) { 1591009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner // Special case switch statement to get formatting nice and correct... 15928dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman Out << ' '; 1593ab49ee752ec37f586e45c999eca1e29e32697cb7Chris Lattner writeOperand(Operand , true); 15948dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman Out << ", "; 1595ab49ee752ec37f586e45c999eca1e29e32697cb7Chris Lattner writeOperand(I.getOperand(1), true); 1596ab49ee752ec37f586e45c999eca1e29e32697cb7Chris Lattner Out << " ["; 1597009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner 15987e70829632f82de15db187845666aaca6e04b792Chris Lattner for (unsigned op = 2, Eop = I.getNumOperands(); op < Eop; op += 2) { 15990313e0b44dcd77acd334d3f324c7da527179a690Misha Brukman Out << "\n\t\t"; 1600ab49ee752ec37f586e45c999eca1e29e32697cb7Chris Lattner writeOperand(I.getOperand(op ), true); 16018dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman Out << ", "; 16027e70829632f82de15db187845666aaca6e04b792Chris Lattner writeOperand(I.getOperand(op+1), true); 1603009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner } 16040313e0b44dcd77acd334d3f324c7da527179a690Misha Brukman Out << "\n\t]"; 1605b00c582b6d40e6b9ff2d1ed4f5eaf7930e792aceChris Lattner } else if (isa<PHINode>(I)) { 16060313e0b44dcd77acd334d3f324c7da527179a690Misha Brukman Out << ' '; 16077e70829632f82de15db187845666aaca6e04b792Chris Lattner printType(I.getType()); 16080313e0b44dcd77acd334d3f324c7da527179a690Misha Brukman Out << ' '; 1609009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner 16107e70829632f82de15db187845666aaca6e04b792Chris Lattner for (unsigned op = 0, Eop = I.getNumOperands(); op < Eop; op += 2) { 16110313e0b44dcd77acd334d3f324c7da527179a690Misha Brukman if (op) Out << ", "; 16128dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman Out << "[ "; 16138dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman writeOperand(I.getOperand(op ), false); Out << ", "; 16140313e0b44dcd77acd334d3f324c7da527179a690Misha Brukman writeOperand(I.getOperand(op+1), false); Out << " ]"; 1615c24d2088dc3d79e3b7e38a358b4a71f156c06836Chris Lattner } 1616995be7d07a0ed1f70a93b2a2e7f445461162e8a5Dan Gohman } else if (const ExtractValueInst *EVI = dyn_cast<ExtractValueInst>(&I)) { 16178dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman Out << ' '; 1618995be7d07a0ed1f70a93b2a2e7f445461162e8a5Dan Gohman writeOperand(I.getOperand(0), true); 1619995be7d07a0ed1f70a93b2a2e7f445461162e8a5Dan Gohman for (const unsigned *i = EVI->idx_begin(), *e = EVI->idx_end(); i != e; ++i) 1620995be7d07a0ed1f70a93b2a2e7f445461162e8a5Dan Gohman Out << ", " << *i; 1621995be7d07a0ed1f70a93b2a2e7f445461162e8a5Dan Gohman } else if (const InsertValueInst *IVI = dyn_cast<InsertValueInst>(&I)) { 16228dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman Out << ' '; 16238dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman writeOperand(I.getOperand(0), true); Out << ", "; 1624995be7d07a0ed1f70a93b2a2e7f445461162e8a5Dan Gohman writeOperand(I.getOperand(1), true); 1625995be7d07a0ed1f70a93b2a2e7f445461162e8a5Dan Gohman for (const unsigned *i = IVI->idx_begin(), *e = IVI->idx_end(); i != e; ++i) 1626995be7d07a0ed1f70a93b2a2e7f445461162e8a5Dan Gohman Out << ", " << *i; 162757ef4f46c182cdbe014d469892090ff50c739cf9Devang Patel } else if (isa<ReturnInst>(I) && !Operand) { 162857ef4f46c182cdbe014d469892090ff50c739cf9Devang Patel Out << " void"; 1629d511898b581826694e6c651e23343b1e1ba5ba64Chris Lattner } else if (const CallInst *CI = dyn_cast<CallInst>(&I)) { 1630d511898b581826694e6c651e23343b1e1ba5ba64Chris Lattner // Print the calling convention being used. 1631d511898b581826694e6c651e23343b1e1ba5ba64Chris Lattner switch (CI->getCallingConv()) { 1632d511898b581826694e6c651e23343b1e1ba5ba64Chris Lattner case CallingConv::C: break; // default 16330deaab89feb963b314428e3c3c565343cc30b5c9Chris Lattner case CallingConv::Fast: Out << " fastcc"; break; 16340deaab89feb963b314428e3c3c565343cc30b5c9Chris Lattner case CallingConv::Cold: Out << " coldcc"; break; 1635b28a6dce6d57e05aa25520915726f82d2b3dc08dChris Lattner case CallingConv::X86_StdCall: Out << " x86_stdcallcc"; break; 1636b28a6dce6d57e05aa25520915726f82d2b3dc08dChris Lattner case CallingConv::X86_FastCall: Out << " x86_fastcallcc"; break; 16377dc00abd866ded910f830852c109f0ee8fceb751Dale Johannesen case CallingConv::X86_SSECall: Out << " x86_ssecallcc"; break; 1638d511898b581826694e6c651e23343b1e1ba5ba64Chris Lattner default: Out << " cc" << CI->getCallingConv(); break; 1639d511898b581826694e6c651e23343b1e1ba5ba64Chris Lattner } 1640d511898b581826694e6c651e23343b1e1ba5ba64Chris Lattner 1641b138a0657f8739b6ddfeca296ff8c82ffa93b492Reid Spencer const PointerType *PTy = cast<PointerType>(Operand->getType()); 1642b138a0657f8739b6ddfeca296ff8c82ffa93b492Reid Spencer const FunctionType *FTy = cast<FunctionType>(PTy->getElementType()); 1643b138a0657f8739b6ddfeca296ff8c82ffa93b492Reid Spencer const Type *RetTy = FTy->getReturnType(); 164458d74910c6b82e622ecbb57d6644d48fec5a5c0fChris Lattner const PAListPtr &PAL = CI->getParamAttrs(); 1645268de0464ee9f0938bfa145fdd5e7f1a46b21cf7Chris Lattner 16467a012299ced5cff02cec47055a63d3b2a78bb36fChris Lattner // If possible, print out the short form of the call instruction. We can 1647b579400cd72f274607f4964a9649ea4d38e04c46Chris Lattner // only do this if the first argument is a pointer to a nonvararg function, 16487a012299ced5cff02cec47055a63d3b2a78bb36fChris Lattner // and if the return type is not a pointer to a function. 1649268de0464ee9f0938bfa145fdd5e7f1a46b21cf7Chris Lattner // 16508dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman Out << ' '; 16517a012299ced5cff02cec47055a63d3b2a78bb36fChris Lattner if (!FTy->isVarArg() && 1652fd93908ae8b9684fe71c239e3c6cfe13ff6a2663Misha Brukman (!isa<PointerType>(RetTy) || 1653c1b2718acf9d566c26188f2968dece0bf3f187e3Chris Lattner !isa<FunctionType>(cast<PointerType>(RetTy)->getElementType()))) { 16548dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman printType(RetTy); 16558dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman Out << ' '; 1656268de0464ee9f0938bfa145fdd5e7f1a46b21cf7Chris Lattner writeOperand(Operand, false); 1657268de0464ee9f0938bfa145fdd5e7f1a46b21cf7Chris Lattner } else { 1658268de0464ee9f0938bfa145fdd5e7f1a46b21cf7Chris Lattner writeOperand(Operand, true); 1659268de0464ee9f0938bfa145fdd5e7f1a46b21cf7Chris Lattner } 16600313e0b44dcd77acd334d3f324c7da527179a690Misha Brukman Out << '('; 1661bd5db8e29b82f864c3d6525c6cfefa557fafdbb8Reid Spencer for (unsigned op = 1, Eop = I.getNumOperands(); op < Eop; ++op) { 1662bd5db8e29b82f864c3d6525c6cfefa557fafdbb8Reid Spencer if (op > 1) 16638dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman Out << ", "; 166458d74910c6b82e622ecbb57d6644d48fec5a5c0fChris Lattner writeParamOperand(I.getOperand(op), PAL.getParamAttrs(op)); 1665009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner } 16668dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman Out << ')'; 166758d74910c6b82e622ecbb57d6644d48fec5a5c0fChris Lattner if (PAL.getParamAttrs(0) != ParamAttr::None) 166858d74910c6b82e622ecbb57d6644d48fec5a5c0fChris Lattner Out << ' ' << ParamAttr::getAsString(PAL.getParamAttrs(0)); 16697e70829632f82de15db187845666aaca6e04b792Chris Lattner } else if (const InvokeInst *II = dyn_cast<InvokeInst>(&I)) { 1670b138a0657f8739b6ddfeca296ff8c82ffa93b492Reid Spencer const PointerType *PTy = cast<PointerType>(Operand->getType()); 1671b138a0657f8739b6ddfeca296ff8c82ffa93b492Reid Spencer const FunctionType *FTy = cast<FunctionType>(PTy->getElementType()); 1672b138a0657f8739b6ddfeca296ff8c82ffa93b492Reid Spencer const Type *RetTy = FTy->getReturnType(); 167358d74910c6b82e622ecbb57d6644d48fec5a5c0fChris Lattner const PAListPtr &PAL = II->getParamAttrs(); 16747a012299ced5cff02cec47055a63d3b2a78bb36fChris Lattner 1675d511898b581826694e6c651e23343b1e1ba5ba64Chris Lattner // Print the calling convention being used. 1676d511898b581826694e6c651e23343b1e1ba5ba64Chris Lattner switch (II->getCallingConv()) { 1677d511898b581826694e6c651e23343b1e1ba5ba64Chris Lattner case CallingConv::C: break; // default 16780deaab89feb963b314428e3c3c565343cc30b5c9Chris Lattner case CallingConv::Fast: Out << " fastcc"; break; 16790deaab89feb963b314428e3c3c565343cc30b5c9Chris Lattner case CallingConv::Cold: Out << " coldcc"; break; 16808dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman case CallingConv::X86_StdCall: Out << " x86_stdcallcc"; break; 16818dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman case CallingConv::X86_FastCall: Out << " x86_fastcallcc"; break; 16828dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman case CallingConv::X86_SSECall: Out << " x86_ssecallcc"; break; 1683d511898b581826694e6c651e23343b1e1ba5ba64Chris Lattner default: Out << " cc" << II->getCallingConv(); break; 1684d511898b581826694e6c651e23343b1e1ba5ba64Chris Lattner } 1685d511898b581826694e6c651e23343b1e1ba5ba64Chris Lattner 16867a012299ced5cff02cec47055a63d3b2a78bb36fChris Lattner // If possible, print out the short form of the invoke instruction. We can 16877a012299ced5cff02cec47055a63d3b2a78bb36fChris Lattner // only do this if the first argument is a pointer to a nonvararg function, 16887a012299ced5cff02cec47055a63d3b2a78bb36fChris Lattner // and if the return type is not a pointer to a function. 16897a012299ced5cff02cec47055a63d3b2a78bb36fChris Lattner // 16907a012299ced5cff02cec47055a63d3b2a78bb36fChris Lattner if (!FTy->isVarArg() && 1691fd93908ae8b9684fe71c239e3c6cfe13ff6a2663Misha Brukman (!isa<PointerType>(RetTy) || 16927a012299ced5cff02cec47055a63d3b2a78bb36fChris Lattner !isa<FunctionType>(cast<PointerType>(RetTy)->getElementType()))) { 16930313e0b44dcd77acd334d3f324c7da527179a690Misha Brukman Out << ' '; printType(RetTy); 16947a012299ced5cff02cec47055a63d3b2a78bb36fChris Lattner writeOperand(Operand, false); 16957a012299ced5cff02cec47055a63d3b2a78bb36fChris Lattner } else { 16968dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman Out << ' '; 16977a012299ced5cff02cec47055a63d3b2a78bb36fChris Lattner writeOperand(Operand, true); 16987a012299ced5cff02cec47055a63d3b2a78bb36fChris Lattner } 16997a012299ced5cff02cec47055a63d3b2a78bb36fChris Lattner 17000313e0b44dcd77acd334d3f324c7da527179a690Misha Brukman Out << '('; 1701bd5db8e29b82f864c3d6525c6cfefa557fafdbb8Reid Spencer for (unsigned op = 3, Eop = I.getNumOperands(); op < Eop; ++op) { 1702bd5db8e29b82f864c3d6525c6cfefa557fafdbb8Reid Spencer if (op > 3) 17038dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman Out << ", "; 170458d74910c6b82e622ecbb57d6644d48fec5a5c0fChris Lattner writeParamOperand(I.getOperand(op), PAL.getParamAttrs(op-2)); 1705e02fa8551d20081534afa46e0976811687e5183aChris Lattner } 1706e02fa8551d20081534afa46e0976811687e5183aChris Lattner 17078dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman Out << ')'; 170858d74910c6b82e622ecbb57d6644d48fec5a5c0fChris Lattner if (PAL.getParamAttrs(0) != ParamAttr::None) 1709c3be0fd8c39910e3365ec0c84042b284501f77adDan Gohman Out << ' ' << ParamAttr::getAsString(PAL.getParamAttrs(0)); 17108dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman Out << "\n\t\t\tto "; 1711e02fa8551d20081534afa46e0976811687e5183aChris Lattner writeOperand(II->getNormalDest(), true); 17128dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman Out << " unwind "; 1713aeb2a1d70807aa626f335fb23d47bc604ffeaa15Chris Lattner writeOperand(II->getUnwindDest(), true); 1714e02fa8551d20081534afa46e0976811687e5183aChris Lattner 17157e70829632f82de15db187845666aaca6e04b792Chris Lattner } else if (const AllocationInst *AI = dyn_cast<AllocationInst>(&I)) { 17160313e0b44dcd77acd334d3f324c7da527179a690Misha Brukman Out << ' '; 171794dc1f29cd1dc669680b7d3caa1f59862a656b83Chris Lattner printType(AI->getType()->getElementType()); 171894dc1f29cd1dc669680b7d3caa1f59862a656b83Chris Lattner if (AI->isArrayAllocation()) { 17198dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman Out << ", "; 172094dc1f29cd1dc669680b7d3caa1f59862a656b83Chris Lattner writeOperand(AI->getArraySize(), true); 1721009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner } 172214b0529532904b9e5a1e34526b4a3209f3e5bc62Nate Begeman if (AI->getAlignment()) { 17239fad0b9974beb76bef763b8fed71d0c8644403d4Chris Lattner Out << ", align " << AI->getAlignment(); 172414b0529532904b9e5a1e34526b4a3209f3e5bc62Nate Begeman } 1725e02fa8551d20081534afa46e0976811687e5183aChris Lattner } else if (isa<CastInst>(I)) { 17268dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman if (Operand) { 17278dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman Out << ' '; 17288dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman writeOperand(Operand, true); // Work with broken code 17298dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman } 17300313e0b44dcd77acd334d3f324c7da527179a690Misha Brukman Out << " to "; 17317e70829632f82de15db187845666aaca6e04b792Chris Lattner printType(I.getType()); 17324d45bd007d0c3a3a6e5b3876b67fd495acb0db2bChris Lattner } else if (isa<VAArgInst>(I)) { 17338dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman if (Operand) { 17348dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman Out << ' '; 17358dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman writeOperand(Operand, true); // Work with broken code 17368dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman } 17370313e0b44dcd77acd334d3f324c7da527179a690Misha Brukman Out << ", "; 17388f77daef04355c00b78b645f5aae5694e7a8b631Chris Lattner printType(I.getType()); 1739009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner } else if (Operand) { // Print the normal way... 1740009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner 1741fd93908ae8b9684fe71c239e3c6cfe13ff6a2663Misha Brukman // PrintAllTypes - Instructions who have operands of all the same type 1742009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner // omit the type from all but the first operand. If the instruction has 1743009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner // different type operands (for example br), then they are all printed. 1744009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner bool PrintAllTypes = false; 1745009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner const Type *TheType = Operand->getType(); 1746009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner 1747ebe57e36dff2dc3a7ceea99202bdb9eb6fe938bcReid Spencer // Select, Store and ShuffleVector always print all types. 17486494768ffcdf75e6e69a7955282db9ab9ab2e6fbDevang Patel if (isa<SelectInst>(I) || isa<StoreInst>(I) || isa<ShuffleVectorInst>(I) 17496494768ffcdf75e6e69a7955282db9ab9ab2e6fbDevang Patel || isa<ReturnInst>(I)) { 1750ffd9bf404cd36c93d82b0080113ccc6d230915b3Chris Lattner PrintAllTypes = true; 1751ffd9bf404cd36c93d82b0080113ccc6d230915b3Chris Lattner } else { 1752ffd9bf404cd36c93d82b0080113ccc6d230915b3Chris Lattner for (unsigned i = 1, E = I.getNumOperands(); i != E; ++i) { 1753ffd9bf404cd36c93d82b0080113ccc6d230915b3Chris Lattner Operand = I.getOperand(i); 1754ffd9bf404cd36c93d82b0080113ccc6d230915b3Chris Lattner if (Operand->getType() != TheType) { 1755ffd9bf404cd36c93d82b0080113ccc6d230915b3Chris Lattner PrintAllTypes = true; // We have differing types! Print them all! 1756ffd9bf404cd36c93d82b0080113ccc6d230915b3Chris Lattner break; 1757ffd9bf404cd36c93d82b0080113ccc6d230915b3Chris Lattner } 1758009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner } 1759009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner } 1760fd93908ae8b9684fe71c239e3c6cfe13ff6a2663Misha Brukman 1761c1824996451d5ea93864fcd34ba8ea5e5f03e368Chris Lattner if (!PrintAllTypes) { 17620313e0b44dcd77acd334d3f324c7da527179a690Misha Brukman Out << ' '; 1763ffd9bf404cd36c93d82b0080113ccc6d230915b3Chris Lattner printType(TheType); 1764c1824996451d5ea93864fcd34ba8ea5e5f03e368Chris Lattner } 1765009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner 17668dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman Out << ' '; 17677e70829632f82de15db187845666aaca6e04b792Chris Lattner for (unsigned i = 0, E = I.getNumOperands(); i != E; ++i) { 17688dae138d06df9cecbee421ef645d0b74f9ac13d7Dan Gohman if (i) Out << ", "; 17697e70829632f82de15db187845666aaca6e04b792Chris Lattner writeOperand(I.getOperand(i), PrintAllTypes); 1770009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner } 1771009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner } 177243c7f37942a35398fd1e14b22f435f483a0ee863Christopher Lamb 177343c7f37942a35398fd1e14b22f435f483a0ee863Christopher Lamb // Print post operand alignment for load/store 177443c7f37942a35398fd1e14b22f435f483a0ee863Christopher Lamb if (isa<LoadInst>(I) && cast<LoadInst>(I).getAlignment()) { 177543c7f37942a35398fd1e14b22f435f483a0ee863Christopher Lamb Out << ", align " << cast<LoadInst>(I).getAlignment(); 177643c7f37942a35398fd1e14b22f435f483a0ee863Christopher Lamb } else if (isa<StoreInst>(I) && cast<StoreInst>(I).getAlignment()) { 177743c7f37942a35398fd1e14b22f435f483a0ee863Christopher Lamb Out << ", align " << cast<StoreInst>(I).getAlignment(); 177843c7f37942a35398fd1e14b22f435f483a0ee863Christopher Lamb } 1779009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner 1780e02fa8551d20081534afa46e0976811687e5183aChris Lattner printInfoComment(I); 1781ab49ee752ec37f586e45c999eca1e29e32697cb7Chris Lattner Out << '\n'; 1782009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner} 1783009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner 1784009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner 1785009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner//===----------------------------------------------------------------------===// 1786009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner// External Interface declarations 1787009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner//===----------------------------------------------------------------------===// 1788009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner 178995e5a2cc3fc55b262d2baa1cc417115dfa4a18eaChris Lattnervoid Module::print(std::ostream &o, AssemblyAnnotationWriter *AAW) const { 1790944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner raw_os_ostream OS(o); 1791944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner print(OS, AAW); 1792009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner} 1793944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattnervoid Module::print(raw_ostream &OS, AssemblyAnnotationWriter *AAW) const { 1794944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner SlotTracker SlotTable(this); 1795944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner AssemblyWriter W(OS, SlotTable, this, AAW); 179675cf7cf00d391ac6ca22d6240fa9d99ed427d1d5Chris Lattner W.write(this); 179775cf7cf00d391ac6ca22d6240fa9d99ed427d1d5Chris Lattner} 1798009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner 1799944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattnervoid Type::print(std::ostream &o) const { 1800944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner raw_os_ostream OS(o); 1801944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner print(OS); 1802009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner} 1803009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner 1804944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattnervoid Type::print(raw_ostream &o) const { 180575cf7cf00d391ac6ca22d6240fa9d99ed427d1d5Chris Lattner if (this == 0) 180675cf7cf00d391ac6ca22d6240fa9d99ed427d1d5Chris Lattner o << "<null Type>"; 180775cf7cf00d391ac6ca22d6240fa9d99ed427d1d5Chris Lattner else 180875cf7cf00d391ac6ca22d6240fa9d99ed427d1d5Chris Lattner o << getDescription(); 1809009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner} 1810009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner 1811944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattnervoid Value::print(raw_ostream &OS, AssemblyAnnotationWriter *AAW) const { 1812944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner if (this == 0) { 1813944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner OS << "printing a <null> value\n"; 1814944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner return; 1815944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner } 1816944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner 1817944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner if (const Instruction *I = dyn_cast<Instruction>(this)) { 1818944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner const Function *F = I->getParent() ? I->getParent()->getParent() : 0; 1819944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner SlotTracker SlotTable(F); 1820944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner AssemblyWriter W(OS, SlotTable, F ? F->getParent() : 0, AAW); 1821944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner W.write(I); 1822944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner } else if (const BasicBlock *BB = dyn_cast<BasicBlock>(this)) { 1823944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner SlotTracker SlotTable(BB->getParent()); 1824944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner AssemblyWriter W(OS, SlotTable, 1825944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner BB->getParent() ? BB->getParent()->getParent() : 0, AAW); 1826944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner W.write(BB); 1827944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner } else if (const GlobalValue *GV = dyn_cast<GlobalValue>(this)) { 1828944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner SlotTracker SlotTable(GV->getParent()); 1829944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner AssemblyWriter W(OS, SlotTable, GV->getParent(), 0); 1830944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner W.write(GV); 1831944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner } else if (const Constant *C = dyn_cast<Constant>(this)) { 1832944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner OS << ' ' << C->getType()->getDescription() << ' '; 1833944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner std::map<const Type *, std::string> TypeTable; 1834944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner WriteConstantInt(OS, C, TypeTable, 0); 1835944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner } else if (const Argument *A = dyn_cast<Argument>(this)) { 1836944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner WriteAsOperand(OS, this, true, 1837944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner A->getParent() ? A->getParent()->getParent() : 0); 1838944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner } else if (isa<InlineAsm>(this)) { 1839944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner WriteAsOperand(OS, this, true, 0); 1840944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner } else { 18415a1c68c776076047060a6c7228520528539ba93bChris Lattner // FIXME: PseudoSourceValue breaks this! 18425a1c68c776076047060a6c7228520528539ba93bChris Lattner //assert(0 && "Unknown value to print out!"); 1843944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner } 1844944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner} 1845944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner 1846944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattnervoid Value::print(std::ostream &O, AssemblyAnnotationWriter *AAW) const { 1847944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner raw_os_ostream OS(O); 1848944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner print(OS, AAW); 184975cf7cf00d391ac6ca22d6240fa9d99ed427d1d5Chris Lattner} 1850009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner 18517059e530edcf3294315f02751c9df5e485f2932cChris Lattner// Value::dump - allow easy printing of Values from the debugger. 18523518175d4256df88fcaf133c0ed9fb166db7993cChris Lattnervoid Value::dump() const { print(errs()); errs() << '\n'; errs().flush(); } 1853fa452c05504ebee698e00050d04e1a43b0f21045Reid Spencer 18547059e530edcf3294315f02751c9df5e485f2932cChris Lattner// Type::dump - allow easy printing of Types from the debugger. 18553518175d4256df88fcaf133c0ed9fb166db7993cChris Lattnervoid Type::dump() const { print(errs()); errs() << '\n'; errs().flush(); } 1856944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner 18577059e530edcf3294315f02751c9df5e485f2932cChris Lattner// Module::dump() - Allow printing of Modules from the debugger. 18583518175d4256df88fcaf133c0ed9fb166db7993cChris Lattnervoid Module::dump() const { print(errs(), 0); errs().flush(); } 1859944fac71e082cc2664cc71b4d3f6c72bab7143fbChris Lattner 1860009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner 1861