blob: 277da698273b9828d6d18256ef8a7dce746bef9c [file] [log] [blame]
Chris Lattnere88f78c2001-09-19 13:47:27 +00001//===-- EmitAssembly.cpp - Emit Sparc Specific .s File ---------------------==//
John Criswellb576c942003-10-20 19:43:21 +00002//
3// The LLVM Compiler Infrastructure
4//
5// This file was developed by the LLVM research group and is distributed under
6// the University of Illinois Open Source License. See LICENSE.TXT for details.
7//
8//===----------------------------------------------------------------------===//
Chris Lattnere88f78c2001-09-19 13:47:27 +00009//
Misha Brukman5560c9d2003-08-18 14:43:39 +000010// This file implements all of the stuff necessary to output a .s file from
Chris Lattnere88f78c2001-09-19 13:47:27 +000011// LLVM. The code in this file assumes that the specified module has already
12// been compiled into the internal data structures of the Module.
13//
Chris Lattnerf57b8452002-04-27 06:56:12 +000014// This code largely consists of two LLVM Pass's: a FunctionPass and a Pass.
15// The FunctionPass is pipelined together with all of the rest of the code
16// generation stages, and the Pass runs at the end to emit code for global
17// variables and such.
Chris Lattnere88f78c2001-09-19 13:47:27 +000018//
19//===----------------------------------------------------------------------===//
20
Chris Lattner31bcdb82002-04-28 19:55:58 +000021#include "llvm/Constants.h"
Vikram S. Adve953c83e2001-10-28 21:38:52 +000022#include "llvm/DerivedTypes.h"
Chris Lattnere88f78c2001-09-19 13:47:27 +000023#include "llvm/Module.h"
Chris Lattnerd50b6712002-04-28 20:40:59 +000024#include "llvm/Pass.h"
Chris Lattner4b1de8e2002-04-18 18:15:38 +000025#include "llvm/Assembly/Writer.h"
Misha Brukman3d0ad412003-12-17 22:06:28 +000026#include "llvm/CodeGen/MachineConstantPool.h"
27#include "llvm/CodeGen/MachineFunction.h"
28#include "llvm/CodeGen/MachineFunctionInfo.h"
29#include "llvm/CodeGen/MachineInstr.h"
Misha Brukmancbbbdf72004-01-15 22:44:19 +000030#include "llvm/Support/Mangler.h"
Chris Lattnercee8f9a2001-11-27 00:03:19 +000031#include "Support/StringExtras.h"
Brian Gaeke2c9b9132003-10-06 15:41:21 +000032#include "Support/Statistic.h"
Misha Brukmanf4de7832003-08-05 16:01:50 +000033#include "SparcInternals.h"
34#include <string>
Misha Brukman6275a042003-11-13 00:22:19 +000035using namespace llvm;
36
Chris Lattnere88f78c2001-09-19 13:47:27 +000037namespace {
Misha Brukman6275a042003-11-13 00:22:19 +000038 Statistic<> EmittedInsts("asm-printer", "Number of machine instrs printed");
Brian Gaeke2c9b9132003-10-06 15:41:21 +000039
Misha Brukman6275a042003-11-13 00:22:19 +000040 //===--------------------------------------------------------------------===//
41 // Utility functions
Misha Brukmanf905ed52003-11-07 17:45:28 +000042
Misha Brukman6275a042003-11-13 00:22:19 +000043 /// getAsCString - Return the specified array as a C compatible string, only
Chris Lattner07ad6422004-01-14 17:15:17 +000044 /// if the predicate isString() is true.
Misha Brukman6275a042003-11-13 00:22:19 +000045 ///
46 std::string getAsCString(const ConstantArray *CVA) {
Chris Lattner07ad6422004-01-14 17:15:17 +000047 assert(CVA->isString() && "Array is not string compatible!");
Misha Brukmanf905ed52003-11-07 17:45:28 +000048
Chris Lattner07ad6422004-01-14 17:15:17 +000049 std::string Result = "\"";
50 for (unsigned i = 0; i != CVA->getNumOperands(); ++i) {
Misha Brukman6275a042003-11-13 00:22:19 +000051 unsigned char C = cast<ConstantInt>(CVA->getOperand(i))->getRawValue();
Misha Brukmanf905ed52003-11-07 17:45:28 +000052
Misha Brukman6275a042003-11-13 00:22:19 +000053 if (C == '"') {
54 Result += "\\\"";
55 } else if (C == '\\') {
56 Result += "\\\\";
57 } else if (isprint(C)) {
58 Result += C;
59 } else {
60 Result += '\\'; // print all other chars as octal value
61 // Convert C to octal representation
62 Result += ((C >> 6) & 7) + '0';
63 Result += ((C >> 3) & 7) + '0';
64 Result += ((C >> 0) & 7) + '0';
65 }
66 }
67 Result += "\"";
Misha Brukmanf905ed52003-11-07 17:45:28 +000068
Misha Brukman6275a042003-11-13 00:22:19 +000069 return Result;
70 }
71
72 inline bool ArrayTypeIsString(const ArrayType* arrayType) {
73 return (arrayType->getElementType() == Type::UByteTy ||
74 arrayType->getElementType() == Type::SByteTy);
75 }
76
77 inline const std::string
78 TypeToDataDirective(const Type* type) {
79 switch(type->getPrimitiveID())
Misha Brukmanf905ed52003-11-07 17:45:28 +000080 {
81 case Type::BoolTyID: case Type::UByteTyID: case Type::SByteTyID:
82 return ".byte";
83 case Type::UShortTyID: case Type::ShortTyID:
84 return ".half";
85 case Type::UIntTyID: case Type::IntTyID:
86 return ".word";
87 case Type::ULongTyID: case Type::LongTyID: case Type::PointerTyID:
88 return ".xword";
89 case Type::FloatTyID:
90 return ".word";
91 case Type::DoubleTyID:
92 return ".xword";
93 case Type::ArrayTyID:
94 if (ArrayTypeIsString((ArrayType*) type))
95 return ".ascii";
96 else
97 return "<InvaliDataTypeForPrinting>";
98 default:
99 return "<InvaliDataTypeForPrinting>";
100 }
Misha Brukman6275a042003-11-13 00:22:19 +0000101 }
Misha Brukmanf905ed52003-11-07 17:45:28 +0000102
Misha Brukman6275a042003-11-13 00:22:19 +0000103 /// Get the size of the constant for the given target.
104 /// If this is an unsized array, return 0.
105 ///
106 inline unsigned int
107 ConstantToSize(const Constant* CV, const TargetMachine& target) {
108 if (const ConstantArray* CVA = dyn_cast<ConstantArray>(CV)) {
Misha Brukmanf905ed52003-11-07 17:45:28 +0000109 const ArrayType *aty = cast<ArrayType>(CVA->getType());
110 if (ArrayTypeIsString(aty))
111 return 1 + CVA->getNumOperands();
112 }
113
Misha Brukman6275a042003-11-13 00:22:19 +0000114 return target.findOptimalStorageSize(CV->getType());
115 }
Misha Brukmanf905ed52003-11-07 17:45:28 +0000116
Misha Brukman6275a042003-11-13 00:22:19 +0000117 /// Align data larger than one L1 cache line on L1 cache line boundaries.
118 /// Align all smaller data on the next higher 2^x boundary (4, 8, ...).
119 ///
120 inline unsigned int
121 SizeToAlignment(unsigned int size, const TargetMachine& target) {
122 unsigned short cacheLineSize = target.getCacheInfo().getCacheLineSize(1);
123 if (size > (unsigned) cacheLineSize / 2)
124 return cacheLineSize;
125 else
126 for (unsigned sz=1; /*no condition*/; sz *= 2)
127 if (sz >= size)
128 return sz;
129 }
Misha Brukmanf905ed52003-11-07 17:45:28 +0000130
Misha Brukman6275a042003-11-13 00:22:19 +0000131 /// Get the size of the type and then use SizeToAlignment.
132 ///
133 inline unsigned int
134 TypeToAlignment(const Type* type, const TargetMachine& target) {
135 return SizeToAlignment(target.findOptimalStorageSize(type), target);
136 }
Misha Brukmanf905ed52003-11-07 17:45:28 +0000137
Misha Brukman6275a042003-11-13 00:22:19 +0000138 /// Get the size of the constant and then use SizeToAlignment.
139 /// Handles strings as a special case;
140 inline unsigned int
141 ConstantToAlignment(const Constant* CV, const TargetMachine& target) {
142 if (const ConstantArray* CVA = dyn_cast<ConstantArray>(CV))
143 if (ArrayTypeIsString(cast<ArrayType>(CVA->getType())))
144 return SizeToAlignment(1 + CVA->getNumOperands(), target);
Misha Brukmanf905ed52003-11-07 17:45:28 +0000145
Misha Brukman6275a042003-11-13 00:22:19 +0000146 return TypeToAlignment(CV->getType(), target);
147 }
148
149} // End anonymous namespace
150
Misha Brukman6275a042003-11-13 00:22:19 +0000151
152
Vikram S. Adved198c472002-03-18 03:07:26 +0000153//===---------------------------------------------------------------------===//
Misha Brukman6275a042003-11-13 00:22:19 +0000154// Code abstracted away from the AsmPrinter
Vikram S. Adved198c472002-03-18 03:07:26 +0000155//===---------------------------------------------------------------------===//
156
Misha Brukman6275a042003-11-13 00:22:19 +0000157namespace {
Misha Brukman6275a042003-11-13 00:22:19 +0000158 class AsmPrinter {
Misha Brukmancbbbdf72004-01-15 22:44:19 +0000159 // Mangle symbol names appropriately
160 Mangler *Mang;
161
Misha Brukman6275a042003-11-13 00:22:19 +0000162 public:
163 std::ostream &toAsm;
164 const TargetMachine &Target;
Misha Brukmanf905ed52003-11-07 17:45:28 +0000165
Misha Brukman6275a042003-11-13 00:22:19 +0000166 enum Sections {
167 Unknown,
168 Text,
169 ReadOnlyData,
170 InitRWData,
171 ZeroInitRWData,
172 } CurSection;
173
174 AsmPrinter(std::ostream &os, const TargetMachine &T)
Misha Brukmancbbbdf72004-01-15 22:44:19 +0000175 : /* idTable(0), */ toAsm(os), Target(T), CurSection(Unknown) {}
Misha Brukmanf905ed52003-11-07 17:45:28 +0000176
Misha Brukmancbbbdf72004-01-15 22:44:19 +0000177 ~AsmPrinter() {
178 delete Mang;
179 }
180
Misha Brukman6275a042003-11-13 00:22:19 +0000181 // (start|end)(Module|Function) - Callback methods invoked by subclasses
182 void startModule(Module &M) {
Misha Brukmancbbbdf72004-01-15 22:44:19 +0000183 Mang = new Mangler(M);
Misha Brukmanf905ed52003-11-07 17:45:28 +0000184 }
Misha Brukmanf905ed52003-11-07 17:45:28 +0000185
Misha Brukman6275a042003-11-13 00:22:19 +0000186 void PrintZeroBytesToPad(int numBytes) {
John Criswellccb2a672004-02-09 22:15:33 +0000187 //
188 // Always use single unsigned bytes for padding. We don't know upon
189 // what data size the beginning address is aligned, so using anything
190 // other than a byte may cause alignment errors in the assembler.
191 //
Misha Brukman6275a042003-11-13 00:22:19 +0000192 while (numBytes--)
193 printSingleConstantValue(Constant::getNullValue(Type::UByteTy));
Misha Brukmanf905ed52003-11-07 17:45:28 +0000194 }
Misha Brukmanf905ed52003-11-07 17:45:28 +0000195
Misha Brukman6275a042003-11-13 00:22:19 +0000196 /// Print a single constant value.
197 ///
198 void printSingleConstantValue(const Constant* CV);
Misha Brukmanf905ed52003-11-07 17:45:28 +0000199
Misha Brukman6275a042003-11-13 00:22:19 +0000200 /// Print a constant value or values (it may be an aggregate).
201 /// Uses printSingleConstantValue() to print each individual value.
202 ///
203 void printConstantValueOnly(const Constant* CV, int numPadBytesAfter = 0);
204
205 // Print a constant (which may be an aggregate) prefixed by all the
206 // appropriate directives. Uses printConstantValueOnly() to print the
207 // value or values.
208 void printConstant(const Constant* CV, std::string valID = "") {
209 if (valID.length() == 0)
210 valID = getID(CV);
Misha Brukmanf905ed52003-11-07 17:45:28 +0000211
Misha Brukman6275a042003-11-13 00:22:19 +0000212 toAsm << "\t.align\t" << ConstantToAlignment(CV, Target) << "\n";
Misha Brukmanf905ed52003-11-07 17:45:28 +0000213
Misha Brukman6275a042003-11-13 00:22:19 +0000214 // Print .size and .type only if it is not a string.
Chris Lattner07ad6422004-01-14 17:15:17 +0000215 if (const ConstantArray *CVA = dyn_cast<ConstantArray>(CV))
216 if (CVA->isString()) {
217 // print it as a string and return
218 toAsm << valID << ":\n";
219 toAsm << "\t" << ".ascii" << "\t" << getAsCString(CVA) << "\n";
220 return;
221 }
Misha Brukman6275a042003-11-13 00:22:19 +0000222
223 toAsm << "\t.type" << "\t" << valID << ",#object\n";
224
225 unsigned int constSize = ConstantToSize(CV, Target);
226 if (constSize)
227 toAsm << "\t.size" << "\t" << valID << "," << constSize << "\n";
228
Misha Brukmanf905ed52003-11-07 17:45:28 +0000229 toAsm << valID << ":\n";
Misha Brukman6275a042003-11-13 00:22:19 +0000230
231 printConstantValueOnly(CV);
232 }
233
Misha Brukman6275a042003-11-13 00:22:19 +0000234 // enterSection - Use this method to enter a different section of the output
235 // executable. This is used to only output necessary section transitions.
236 //
237 void enterSection(enum Sections S) {
238 if (S == CurSection) return; // Only switch section if necessary
239 CurSection = S;
Misha Brukmanf905ed52003-11-07 17:45:28 +0000240
Misha Brukman6275a042003-11-13 00:22:19 +0000241 toAsm << "\n\t.section ";
242 switch (S)
Vikram S. Adveaf9fd512003-05-31 07:27:17 +0000243 {
244 default: assert(0 && "Bad section name!");
245 case Text: toAsm << "\".text\""; break;
246 case ReadOnlyData: toAsm << "\".rodata\",#alloc"; break;
247 case InitRWData: toAsm << "\".data\",#alloc,#write"; break;
248 case ZeroInitRWData: toAsm << "\".bss\",#alloc,#write"; break;
249 }
Misha Brukman6275a042003-11-13 00:22:19 +0000250 toAsm << "\n";
251 }
Chris Lattnere88f78c2001-09-19 13:47:27 +0000252
Misha Brukmancbbbdf72004-01-15 22:44:19 +0000253 // getID Wrappers - Ensure consistent usage
254 // Symbol names in Sparc assembly language have these rules:
255 // (a) Must match { letter | _ | . | $ } { letter | _ | . | $ | digit }*
256 // (b) A name beginning in "." is treated as a local name.
Misha Brukman6275a042003-11-13 00:22:19 +0000257 std::string getID(const Function *F) {
Misha Brukmancbbbdf72004-01-15 22:44:19 +0000258 return Mang->getValueName(F);
Misha Brukman6275a042003-11-13 00:22:19 +0000259 }
260 std::string getID(const BasicBlock *BB) {
Misha Brukmancbbbdf72004-01-15 22:44:19 +0000261 return ".L_" + getID(BB->getParent()) + "_" + Mang->getValueName(BB);
Misha Brukman6275a042003-11-13 00:22:19 +0000262 }
263 std::string getID(const GlobalVariable *GV) {
Misha Brukmancbbbdf72004-01-15 22:44:19 +0000264 return Mang->getValueName(GV);
Misha Brukman6275a042003-11-13 00:22:19 +0000265 }
266 std::string getID(const Constant *CV) {
Misha Brukmancbbbdf72004-01-15 22:44:19 +0000267 return ".C_" + Mang->getValueName(CV);
Misha Brukman6275a042003-11-13 00:22:19 +0000268 }
269 std::string getID(const GlobalValue *GV) {
270 if (const GlobalVariable *V = dyn_cast<GlobalVariable>(GV))
271 return getID(V);
272 else if (const Function *F = dyn_cast<Function>(GV))
273 return getID(F);
274 assert(0 && "Unexpected type of GlobalValue!");
275 return "";
276 }
Vikram S. Advee99941a2002-08-22 02:58:36 +0000277
Misha Brukman6275a042003-11-13 00:22:19 +0000278 // Combines expressions
279 inline std::string ConstantArithExprToString(const ConstantExpr* CE,
280 const TargetMachine &TM,
281 const std::string &op) {
282 return "(" + valToExprString(CE->getOperand(0), TM) + op
283 + valToExprString(CE->getOperand(1), TM) + ")";
284 }
Misha Brukmanf4de7832003-08-05 16:01:50 +0000285
Misha Brukman6275a042003-11-13 00:22:19 +0000286 /// ConstantExprToString() - Convert a ConstantExpr to an asm expression
287 /// and return this as a string.
288 ///
289 std::string ConstantExprToString(const ConstantExpr* CE,
290 const TargetMachine& target);
291
292 /// valToExprString - Helper function for ConstantExprToString().
293 /// Appends result to argument string S.
294 ///
295 std::string valToExprString(const Value* V, const TargetMachine& target);
296 };
Misha Brukman6275a042003-11-13 00:22:19 +0000297} // End anonymous namespace
298
Misha Brukman6275a042003-11-13 00:22:19 +0000299
300/// Print a single constant value.
301///
302void AsmPrinter::printSingleConstantValue(const Constant* CV) {
303 assert(CV->getType() != Type::VoidTy &&
304 CV->getType() != Type::TypeTy &&
305 CV->getType() != Type::LabelTy &&
306 "Unexpected type for Constant");
307
308 assert((!isa<ConstantArray>(CV) && ! isa<ConstantStruct>(CV))
309 && "Aggregate types should be handled outside this function");
310
311 toAsm << "\t" << TypeToDataDirective(CV->getType()) << "\t";
312
313 if (const ConstantPointerRef* CPR = dyn_cast<ConstantPointerRef>(CV)) {
314 // This is a constant address for a global variable or method.
315 // Use the name of the variable or method as the address value.
316 assert(isa<GlobalValue>(CPR->getValue()) && "Unexpected non-global");
317 toAsm << getID(CPR->getValue()) << "\n";
318 } else if (isa<ConstantPointerNull>(CV)) {
319 // Null pointer value
320 toAsm << "0\n";
321 } else if (const ConstantExpr* CE = dyn_cast<ConstantExpr>(CV)) {
322 // Constant expression built from operators, constants, and symbolic addrs
323 toAsm << ConstantExprToString(CE, Target) << "\n";
324 } else if (CV->getType()->isPrimitiveType()) {
325 // Check primitive types last
326 if (CV->getType()->isFloatingPoint()) {
327 // FP Constants are printed as integer constants to avoid losing
328 // precision...
329 double Val = cast<ConstantFP>(CV)->getValue();
330 if (CV->getType() == Type::FloatTy) {
331 float FVal = (float)Val;
332 char *ProxyPtr = (char*)&FVal; // Abide by C TBAA rules
333 toAsm << *(unsigned int*)ProxyPtr;
334 } else if (CV->getType() == Type::DoubleTy) {
335 char *ProxyPtr = (char*)&Val; // Abide by C TBAA rules
336 toAsm << *(uint64_t*)ProxyPtr;
337 } else {
338 assert(0 && "Unknown floating point type!");
Vikram S. Adveaf9fd512003-05-31 07:27:17 +0000339 }
Misha Brukman6275a042003-11-13 00:22:19 +0000340
341 toAsm << "\t! " << CV->getType()->getDescription()
342 << " value: " << Val << "\n";
Chris Lattner21e79cb2004-02-10 05:16:44 +0000343 } else if (const ConstantBool *CB = dyn_cast<ConstantBool>(CV)) {
344 toAsm << (int)CB->getValue() << "\n";
Misha Brukman6275a042003-11-13 00:22:19 +0000345 } else {
346 WriteAsOperand(toAsm, CV, false, false) << "\n";
347 }
348 } else {
349 assert(0 && "Unknown elementary type for constant");
350 }
351}
Vikram S. Advee99941a2002-08-22 02:58:36 +0000352
Misha Brukman6275a042003-11-13 00:22:19 +0000353/// Print a constant value or values (it may be an aggregate).
354/// Uses printSingleConstantValue() to print each individual value.
355///
356void AsmPrinter::printConstantValueOnly(const Constant* CV,
Chris Lattner07ad6422004-01-14 17:15:17 +0000357 int numPadBytesAfter) {
358 if (const ConstantArray *CVA = dyn_cast<ConstantArray>(CV)) {
359 if (CVA->isString()) {
360 // print the string alone and return
361 toAsm << "\t" << ".ascii" << "\t" << getAsCString(CVA) << "\n";
362 } else {
363 // Not a string. Print the values in successive locations
364 const std::vector<Use> &constValues = CVA->getValues();
365 for (unsigned i=0; i < constValues.size(); i++)
366 printConstantValueOnly(cast<Constant>(constValues[i].get()));
367 }
Misha Brukman6275a042003-11-13 00:22:19 +0000368 } else if (const ConstantStruct *CVS = dyn_cast<ConstantStruct>(CV)) {
369 // Print the fields in successive locations. Pad to align if needed!
370 const StructLayout *cvsLayout =
371 Target.getTargetData().getStructLayout(CVS->getType());
372 const std::vector<Use>& constValues = CVS->getValues();
373 unsigned sizeSoFar = 0;
374 for (unsigned i=0, N = constValues.size(); i < N; i++) {
375 const Constant* field = cast<Constant>(constValues[i].get());
Vikram S. Adve537a8772002-09-05 18:28:10 +0000376
Misha Brukman6275a042003-11-13 00:22:19 +0000377 // Check if padding is needed and insert one or more 0s.
378 unsigned fieldSize =
379 Target.getTargetData().getTypeSize(field->getType());
380 int padSize = ((i == N-1? cvsLayout->StructSize
381 : cvsLayout->MemberOffsets[i+1])
382 - cvsLayout->MemberOffsets[i]) - fieldSize;
383 sizeSoFar += (fieldSize + padSize);
Vikram S. Adve72666e62003-08-01 15:55:53 +0000384
Misha Brukman6275a042003-11-13 00:22:19 +0000385 // Now print the actual field value
386 printConstantValueOnly(field, padSize);
387 }
388 assert(sizeSoFar == cvsLayout->StructSize &&
389 "Layout of constant struct may be incorrect!");
390 }
391 else
392 printSingleConstantValue(CV);
Vikram S. Adve72666e62003-08-01 15:55:53 +0000393
Misha Brukman6275a042003-11-13 00:22:19 +0000394 if (numPadBytesAfter)
395 PrintZeroBytesToPad(numPadBytesAfter);
396}
Vikram S. Adve72666e62003-08-01 15:55:53 +0000397
Misha Brukman6275a042003-11-13 00:22:19 +0000398/// ConstantExprToString() - Convert a ConstantExpr to an asm expression
399/// and return this as a string.
400///
401std::string AsmPrinter::ConstantExprToString(const ConstantExpr* CE,
402 const TargetMachine& target) {
403 std::string S;
404 switch(CE->getOpcode()) {
405 case Instruction::GetElementPtr:
406 { // generate a symbolic expression for the byte address
407 const Value* ptrVal = CE->getOperand(0);
408 std::vector<Value*> idxVec(CE->op_begin()+1, CE->op_end());
409 const TargetData &TD = target.getTargetData();
410 S += "(" + valToExprString(ptrVal, target) + ") + ("
411 + utostr(TD.getIndexedOffset(ptrVal->getType(),idxVec)) + ")";
Vikram S. Advee99941a2002-08-22 02:58:36 +0000412 break;
413 }
414
Misha Brukman6275a042003-11-13 00:22:19 +0000415 case Instruction::Cast:
416 // Support only non-converting casts for now, i.e., a no-op.
417 // This assertion is not a complete check.
418 assert(target.getTargetData().getTypeSize(CE->getType()) ==
419 target.getTargetData().getTypeSize(CE->getOperand(0)->getType()));
420 S += "(" + valToExprString(CE->getOperand(0), target) + ")";
421 break;
422
423 case Instruction::Add:
424 S += ConstantArithExprToString(CE, target, ") + (");
425 break;
426
427 case Instruction::Sub:
428 S += ConstantArithExprToString(CE, target, ") - (");
429 break;
430
431 case Instruction::Mul:
432 S += ConstantArithExprToString(CE, target, ") * (");
433 break;
434
435 case Instruction::Div:
436 S += ConstantArithExprToString(CE, target, ") / (");
437 break;
438
439 case Instruction::Rem:
440 S += ConstantArithExprToString(CE, target, ") % (");
441 break;
442
443 case Instruction::And:
444 // Logical && for booleans; bitwise & otherwise
445 S += ConstantArithExprToString(CE, target,
446 ((CE->getType() == Type::BoolTy)? ") && (" : ") & ("));
447 break;
448
449 case Instruction::Or:
450 // Logical || for booleans; bitwise | otherwise
451 S += ConstantArithExprToString(CE, target,
452 ((CE->getType() == Type::BoolTy)? ") || (" : ") | ("));
453 break;
454
455 case Instruction::Xor:
456 // Bitwise ^ for all types
457 S += ConstantArithExprToString(CE, target, ") ^ (");
458 break;
459
460 default:
461 assert(0 && "Unsupported operator in ConstantExprToString()");
462 break;
Vikram S. Advee99941a2002-08-22 02:58:36 +0000463 }
464
Misha Brukman6275a042003-11-13 00:22:19 +0000465 return S;
466}
Vikram S. Advee99941a2002-08-22 02:58:36 +0000467
Misha Brukman6275a042003-11-13 00:22:19 +0000468/// valToExprString - Helper function for ConstantExprToString().
469/// Appends result to argument string S.
470///
471std::string AsmPrinter::valToExprString(const Value* V,
472 const TargetMachine& target) {
473 std::string S;
474 bool failed = false;
475 if (const Constant* CV = dyn_cast<Constant>(V)) { // symbolic or known
476 if (const ConstantBool *CB = dyn_cast<ConstantBool>(CV))
477 S += std::string(CB == ConstantBool::True ? "1" : "0");
478 else if (const ConstantSInt *CI = dyn_cast<ConstantSInt>(CV))
479 S += itostr(CI->getValue());
480 else if (const ConstantUInt *CI = dyn_cast<ConstantUInt>(CV))
481 S += utostr(CI->getValue());
482 else if (const ConstantFP *CFP = dyn_cast<ConstantFP>(CV))
483 S += ftostr(CFP->getValue());
484 else if (isa<ConstantPointerNull>(CV))
485 S += "0";
486 else if (const ConstantPointerRef *CPR = dyn_cast<ConstantPointerRef>(CV))
487 S += valToExprString(CPR->getValue(), target);
488 else if (const ConstantExpr *CE = dyn_cast<ConstantExpr>(CV))
489 S += ConstantExprToString(CE, target);
Vikram S. Advee99941a2002-08-22 02:58:36 +0000490 else
491 failed = true;
Misha Brukman6275a042003-11-13 00:22:19 +0000492 } else if (const GlobalValue* GV = dyn_cast<GlobalValue>(V)) {
493 S += getID(GV);
494 } else
495 failed = true;
Vikram S. Advee99941a2002-08-22 02:58:36 +0000496
Misha Brukman6275a042003-11-13 00:22:19 +0000497 if (failed) {
498 assert(0 && "Cannot convert value to string");
499 S += "<illegal-value>";
Vikram S. Advee99941a2002-08-22 02:58:36 +0000500 }
Misha Brukman6275a042003-11-13 00:22:19 +0000501 return S;
502}
Chris Lattnerc19b8b12002-02-03 23:41:08 +0000503
504
505//===----------------------------------------------------------------------===//
Misha Brukman6275a042003-11-13 00:22:19 +0000506// SparcAsmPrinter Code
Chris Lattnerc19b8b12002-02-03 23:41:08 +0000507//===----------------------------------------------------------------------===//
508
Misha Brukman6275a042003-11-13 00:22:19 +0000509namespace {
Misha Brukmanf905ed52003-11-07 17:45:28 +0000510
Misha Brukman6275a042003-11-13 00:22:19 +0000511 struct SparcAsmPrinter : public FunctionPass, public AsmPrinter {
512 inline SparcAsmPrinter(std::ostream &os, const TargetMachine &t)
513 : AsmPrinter(os, t) {}
Chris Lattner96c466b2002-04-29 14:57:45 +0000514
Misha Brukman6275a042003-11-13 00:22:19 +0000515 const Function *currFunction;
Chris Lattnerc19b8b12002-02-03 23:41:08 +0000516
Misha Brukman6275a042003-11-13 00:22:19 +0000517 const char *getPassName() const {
518 return "Output Sparc Assembly for Functions";
Chris Lattnere88f78c2001-09-19 13:47:27 +0000519 }
Misha Brukman6275a042003-11-13 00:22:19 +0000520
521 virtual bool doInitialization(Module &M) {
522 startModule(M);
523 return false;
524 }
525
526 virtual bool runOnFunction(Function &F) {
527 currFunction = &F;
Misha Brukman6275a042003-11-13 00:22:19 +0000528 emitFunction(F);
Misha Brukman6275a042003-11-13 00:22:19 +0000529 return false;
530 }
531
532 virtual bool doFinalization(Module &M) {
533 emitGlobals(M);
534 return false;
535 }
536
537 virtual void getAnalysisUsage(AnalysisUsage &AU) const {
538 AU.setPreservesAll();
539 }
540
541 void emitFunction(const Function &F);
542 private :
543 void emitBasicBlock(const MachineBasicBlock &MBB);
544 void emitMachineInst(const MachineInstr *MI);
545
546 unsigned int printOperands(const MachineInstr *MI, unsigned int opNum);
547 void printOneOperand(const MachineOperand &Op, MachineOpCode opCode);
548
549 bool OpIsBranchTargetLabel(const MachineInstr *MI, unsigned int opNum);
550 bool OpIsMemoryAddressBase(const MachineInstr *MI, unsigned int opNum);
551
552 unsigned getOperandMask(unsigned Opcode) {
553 switch (Opcode) {
554 case V9::SUBccr:
555 case V9::SUBcci: return 1 << 3; // Remove CC argument
556 default: return 0; // By default, don't hack operands...
557 }
558 }
559
560 void emitGlobals(const Module &M);
561 void printGlobalVariable(const GlobalVariable *GV);
562 };
563
564} // End anonymous namespace
Chris Lattnere88f78c2001-09-19 13:47:27 +0000565
Chris Lattnerc19b8b12002-02-03 23:41:08 +0000566inline bool
Misha Brukman6275a042003-11-13 00:22:19 +0000567SparcAsmPrinter::OpIsBranchTargetLabel(const MachineInstr *MI,
568 unsigned int opNum) {
Chris Lattnerc19b8b12002-02-03 23:41:08 +0000569 switch (MI->getOpCode()) {
Misha Brukman71ed1c92003-05-27 22:35:43 +0000570 case V9::JMPLCALLr:
571 case V9::JMPLCALLi:
572 case V9::JMPLRETr:
573 case V9::JMPLRETi:
Misha Brukmana98cd452003-05-20 20:32:24 +0000574 return (opNum == 0);
575 default:
576 return false;
Chris Lattnerc19b8b12002-02-03 23:41:08 +0000577 }
578}
579
Chris Lattnerc19b8b12002-02-03 23:41:08 +0000580inline bool
Misha Brukman6275a042003-11-13 00:22:19 +0000581SparcAsmPrinter::OpIsMemoryAddressBase(const MachineInstr *MI,
582 unsigned int opNum) {
Chris Lattnerc19b8b12002-02-03 23:41:08 +0000583 if (Target.getInstrInfo().isLoad(MI->getOpCode()))
584 return (opNum == 0);
585 else if (Target.getInstrInfo().isStore(MI->getOpCode()))
586 return (opNum == 1);
587 else
588 return false;
589}
590
591
Vikram S. Adve78a4f232003-05-27 00:02:22 +0000592#define PrintOp1PlusOp2(mop1, mop2, opCode) \
593 printOneOperand(mop1, opCode); \
Chris Lattnerc19b8b12002-02-03 23:41:08 +0000594 toAsm << "+"; \
Vikram S. Adve78a4f232003-05-27 00:02:22 +0000595 printOneOperand(mop2, opCode);
Chris Lattnerc19b8b12002-02-03 23:41:08 +0000596
597unsigned int
Misha Brukman6275a042003-11-13 00:22:19 +0000598SparcAsmPrinter::printOperands(const MachineInstr *MI,
Vikram S. Adveaf9fd512003-05-31 07:27:17 +0000599 unsigned int opNum)
Chris Lattnerc19b8b12002-02-03 23:41:08 +0000600{
Vikram S. Adve195a5d52002-07-10 21:41:21 +0000601 const MachineOperand& mop = MI->getOperand(opNum);
Chris Lattnerc19b8b12002-02-03 23:41:08 +0000602
Misha Brukman6275a042003-11-13 00:22:19 +0000603 if (OpIsBranchTargetLabel(MI, opNum)) {
604 PrintOp1PlusOp2(mop, MI->getOperand(opNum+1), MI->getOpCode());
605 return 2;
606 } else if (OpIsMemoryAddressBase(MI, opNum)) {
607 toAsm << "[";
608 PrintOp1PlusOp2(mop, MI->getOperand(opNum+1), MI->getOpCode());
609 toAsm << "]";
610 return 2;
611 } else {
612 printOneOperand(mop, MI->getOpCode());
613 return 1;
614 }
Chris Lattnerc19b8b12002-02-03 23:41:08 +0000615}
616
Chris Lattnerc19b8b12002-02-03 23:41:08 +0000617void
Misha Brukman6275a042003-11-13 00:22:19 +0000618SparcAsmPrinter::printOneOperand(const MachineOperand &mop,
619 MachineOpCode opCode)
Chris Lattnerc19b8b12002-02-03 23:41:08 +0000620{
Vikram S. Adve195a5d52002-07-10 21:41:21 +0000621 bool needBitsFlag = true;
622
Alkis Evlogimenos4d7af652003-12-14 13:24:17 +0000623 if (mop.isHiBits32())
Vikram S. Adve195a5d52002-07-10 21:41:21 +0000624 toAsm << "%lm(";
Alkis Evlogimenos4d7af652003-12-14 13:24:17 +0000625 else if (mop.isLoBits32())
Vikram S. Adve195a5d52002-07-10 21:41:21 +0000626 toAsm << "%lo(";
Alkis Evlogimenos4d7af652003-12-14 13:24:17 +0000627 else if (mop.isHiBits64())
Vikram S. Adve195a5d52002-07-10 21:41:21 +0000628 toAsm << "%hh(";
Alkis Evlogimenos4d7af652003-12-14 13:24:17 +0000629 else if (mop.isLoBits64())
Vikram S. Adve195a5d52002-07-10 21:41:21 +0000630 toAsm << "%hm(";
631 else
632 needBitsFlag = false;
633
Chris Lattner133f0792002-10-28 04:45:29 +0000634 switch (mop.getType())
Vikram S. Adveaf9fd512003-05-31 07:27:17 +0000635 {
Vikram S. Adve786833a2003-07-06 20:13:59 +0000636 case MachineOperand::MO_VirtualRegister:
Vikram S. Adveb15f8d42003-07-10 19:42:11 +0000637 case MachineOperand::MO_CCRegister:
Vikram S. Adveaf9fd512003-05-31 07:27:17 +0000638 case MachineOperand::MO_MachineRegister:
639 {
640 int regNum = (int)mop.getAllocatedRegNum();
Vikram S. Adveb15f8d42003-07-10 19:42:11 +0000641
Vikram S. Adveaf9fd512003-05-31 07:27:17 +0000642 if (regNum == Target.getRegInfo().getInvalidRegNum()) {
643 // better to print code with NULL registers than to die
644 toAsm << "<NULL VALUE>";
645 } else {
646 toAsm << "%" << Target.getRegInfo().getUnifiedRegName(regNum);
647 }
648 break;
649 }
Misha Brukmanb3fabe02003-05-31 06:22:37 +0000650
Misha Brukmanf905ed52003-11-07 17:45:28 +0000651 case MachineOperand::MO_ConstantPoolIndex:
652 {
653 toAsm << ".CPI_" << currFunction->getName()
654 << "_" << mop.getConstantPoolIndex();
655 break;
656 }
657
Vikram S. Adveaf9fd512003-05-31 07:27:17 +0000658 case MachineOperand::MO_PCRelativeDisp:
659 {
660 const Value *Val = mop.getVRegValue();
Misha Brukman6275a042003-11-13 00:22:19 +0000661 assert(Val && "\tNULL Value in SparcAsmPrinter");
Misha Brukmanb3fabe02003-05-31 06:22:37 +0000662
Chris Lattner949a3622003-07-23 15:30:06 +0000663 if (const BasicBlock *BB = dyn_cast<BasicBlock>(Val))
Vikram S. Adveaf9fd512003-05-31 07:27:17 +0000664 toAsm << getID(BB);
665 else if (const Function *M = dyn_cast<Function>(Val))
666 toAsm << getID(M);
667 else if (const GlobalVariable *GV = dyn_cast<GlobalVariable>(Val))
668 toAsm << getID(GV);
669 else if (const Constant *CV = dyn_cast<Constant>(Val))
670 toAsm << getID(CV);
671 else
Misha Brukman6275a042003-11-13 00:22:19 +0000672 assert(0 && "Unrecognized value in SparcAsmPrinter");
Vikram S. Adveaf9fd512003-05-31 07:27:17 +0000673 break;
674 }
Misha Brukmanb3fabe02003-05-31 06:22:37 +0000675
Vikram S. Adveaf9fd512003-05-31 07:27:17 +0000676 case MachineOperand::MO_SignExtendedImmed:
677 toAsm << mop.getImmedValue();
678 break;
Misha Brukmanb3fabe02003-05-31 06:22:37 +0000679
Vikram S. Adveaf9fd512003-05-31 07:27:17 +0000680 case MachineOperand::MO_UnextendedImmed:
681 toAsm << (uint64_t) mop.getImmedValue();
682 break;
Misha Brukmanb3fabe02003-05-31 06:22:37 +0000683
Vikram S. Adveaf9fd512003-05-31 07:27:17 +0000684 default:
685 toAsm << mop; // use dump field
686 break;
687 }
Vikram S. Adve195a5d52002-07-10 21:41:21 +0000688
689 if (needBitsFlag)
690 toAsm << ")";
Chris Lattnerc19b8b12002-02-03 23:41:08 +0000691}
692
Misha Brukman6275a042003-11-13 00:22:19 +0000693void SparcAsmPrinter::emitMachineInst(const MachineInstr *MI) {
Chris Lattnerc19b8b12002-02-03 23:41:08 +0000694 unsigned Opcode = MI->getOpCode();
695
Vikram S. Advec227a9a2002-11-06 00:34:26 +0000696 if (Target.getInstrInfo().isDummyPhiInstr(Opcode))
Vikram S. Adveaf9fd512003-05-31 07:27:17 +0000697 return; // IGNORE PHI NODES
Chris Lattnerc19b8b12002-02-03 23:41:08 +0000698
Chris Lattnerf44f9052002-10-29 17:35:41 +0000699 toAsm << "\t" << Target.getInstrInfo().getName(Opcode) << "\t";
Chris Lattnerc19b8b12002-02-03 23:41:08 +0000700
701 unsigned Mask = getOperandMask(Opcode);
702
703 bool NeedComma = false;
704 unsigned N = 1;
705 for (unsigned OpNum = 0; OpNum < MI->getNumOperands(); OpNum += N)
706 if (! ((1 << OpNum) & Mask)) { // Ignore this operand?
Misha Brukman8b2fe192003-09-23 17:27:28 +0000707 if (NeedComma) toAsm << ", "; // Handle comma outputting
Chris Lattnerc19b8b12002-02-03 23:41:08 +0000708 NeedComma = true;
709 N = printOperands(MI, OpNum);
Chris Lattnerebdc7f32002-11-17 22:57:23 +0000710 } else
711 N = 1;
Chris Lattnerc19b8b12002-02-03 23:41:08 +0000712
713 toAsm << "\n";
Brian Gaeke2c9b9132003-10-06 15:41:21 +0000714 ++EmittedInsts;
Chris Lattnerc19b8b12002-02-03 23:41:08 +0000715}
716
Misha Brukman6275a042003-11-13 00:22:19 +0000717void SparcAsmPrinter::emitBasicBlock(const MachineBasicBlock &MBB) {
Chris Lattnerc19b8b12002-02-03 23:41:08 +0000718 // Emit a label for the basic block
Misha Brukmane585a7d2002-10-28 20:01:13 +0000719 toAsm << getID(MBB.getBasicBlock()) << ":\n";
Chris Lattnerc19b8b12002-02-03 23:41:08 +0000720
721 // Loop over all of the instructions in the basic block...
Misha Brukmane585a7d2002-10-28 20:01:13 +0000722 for (MachineBasicBlock::const_iterator MII = MBB.begin(), MIE = MBB.end();
Chris Lattner55291ea2002-10-28 01:41:47 +0000723 MII != MIE; ++MII)
Chris Lattnerc19b8b12002-02-03 23:41:08 +0000724 emitMachineInst(*MII);
Misha Brukmanbc0e9982003-07-14 17:20:40 +0000725 toAsm << "\n"; // Separate BB's with newlines
Chris Lattnerc19b8b12002-02-03 23:41:08 +0000726}
727
Misha Brukman6275a042003-11-13 00:22:19 +0000728void SparcAsmPrinter::emitFunction(const Function &F) {
Misha Brukmanf4de7832003-08-05 16:01:50 +0000729 std::string methName = getID(&F);
Chris Lattner2fbfdcf2002-04-07 20:49:59 +0000730 toAsm << "!****** Outputing Function: " << methName << " ******\n";
Misha Brukmanf905ed52003-11-07 17:45:28 +0000731
732 // Emit constant pool for this function
733 const MachineConstantPool *MCP = MachineFunction::get(&F).getConstantPool();
734 const std::vector<Constant*> &CP = MCP->getConstants();
735
736 enterSection(AsmPrinter::ReadOnlyData);
737 for (unsigned i = 0, e = CP.size(); i != e; ++i) {
738 std::string cpiName = ".CPI_" + F.getName() + "_" + utostr(i);
739 printConstant(CP[i], cpiName);
740 }
741
Chris Lattnerc19b8b12002-02-03 23:41:08 +0000742 enterSection(AsmPrinter::Text);
743 toAsm << "\t.align\t4\n\t.global\t" << methName << "\n";
744 //toAsm << "\t.type\t" << methName << ",#function\n";
745 toAsm << "\t.type\t" << methName << ", 2\n";
746 toAsm << methName << ":\n";
747
Chris Lattner2fbfdcf2002-04-07 20:49:59 +0000748 // Output code for all of the basic blocks in the function...
Misha Brukmane585a7d2002-10-28 20:01:13 +0000749 MachineFunction &MF = MachineFunction::get(&F);
Chris Lattnerd0fe5f52002-12-28 20:15:01 +0000750 for (MachineFunction::const_iterator I = MF.begin(), E = MF.end(); I != E;++I)
Misha Brukmane585a7d2002-10-28 20:01:13 +0000751 emitBasicBlock(*I);
Chris Lattnerc19b8b12002-02-03 23:41:08 +0000752
753 // Output a .size directive so the debugger knows the extents of the function
754 toAsm << ".EndOf_" << methName << ":\n\t.size "
755 << methName << ", .EndOf_"
756 << methName << "-" << methName << "\n";
757
Chris Lattner2fbfdcf2002-04-07 20:49:59 +0000758 // Put some spaces between the functions
Chris Lattnerc19b8b12002-02-03 23:41:08 +0000759 toAsm << "\n\n";
760}
761
Misha Brukman6275a042003-11-13 00:22:19 +0000762void SparcAsmPrinter::printGlobalVariable(const GlobalVariable* GV) {
Vikram S. Adve13f1d712002-09-16 15:54:02 +0000763 if (GV->hasExternalLinkage())
764 toAsm << "\t.global\t" << getID(GV) << "\n";
Vikram S. Adve953c83e2001-10-28 21:38:52 +0000765
Misha Brukman6275a042003-11-13 00:22:19 +0000766 if (GV->hasInitializer() && ! GV->getInitializer()->isNullValue()) {
Vikram S. Adve953c83e2001-10-28 21:38:52 +0000767 printConstant(GV->getInitializer(), getID(GV));
Misha Brukman6275a042003-11-13 00:22:19 +0000768 } else {
Chris Lattnerc19b8b12002-02-03 23:41:08 +0000769 toAsm << "\t.align\t" << TypeToAlignment(GV->getType()->getElementType(),
770 Target) << "\n";
Chris Lattner697954c2002-01-20 22:54:45 +0000771 toAsm << "\t.type\t" << getID(GV) << ",#object\n";
Vikram S. Adveffbba0f2001-11-08 14:29:57 +0000772 toAsm << "\t.reserve\t" << getID(GV) << ","
Misha Brukman6275a042003-11-13 00:22:19 +0000773 << Target.findOptimalStorageSize(GV->getType()->getElementType())
Chris Lattner697954c2002-01-20 22:54:45 +0000774 << "\n";
Vikram S. Adve953c83e2001-10-28 21:38:52 +0000775 }
776}
777
Misha Brukman6275a042003-11-13 00:22:19 +0000778void SparcAsmPrinter::emitGlobals(const Module &M) {
Chris Lattner637ed862002-08-07 21:39:48 +0000779 // Output global variables...
Vikram S. Advefee76262002-10-13 00:32:18 +0000780 for (Module::const_giterator GI = M.gbegin(), GE = M.gend(); GI != GE; ++GI)
781 if (! GI->isExternal()) {
782 assert(GI->hasInitializer());
783 if (GI->isConstant())
784 enterSection(AsmPrinter::ReadOnlyData); // read-only, initialized data
785 else if (GI->getInitializer()->isNullValue())
786 enterSection(AsmPrinter::ZeroInitRWData); // read-write zero data
787 else
788 enterSection(AsmPrinter::InitRWData); // read-write non-zero data
789
790 printGlobalVariable(GI);
Chris Lattner637ed862002-08-07 21:39:48 +0000791 }
Chris Lattner637ed862002-08-07 21:39:48 +0000792
Chris Lattner697954c2002-01-20 22:54:45 +0000793 toAsm << "\n";
Vikram S. Adve953c83e2001-10-28 21:38:52 +0000794}
795
Chris Lattner7446dc02004-01-13 21:27:59 +0000796FunctionPass *llvm::createAsmPrinterPass(std::ostream &Out,
797 const TargetMachine &TM) {
Misha Brukman6275a042003-11-13 00:22:19 +0000798 return new SparcAsmPrinter(Out, TM);
Chris Lattnerc019a172002-02-03 07:48:06 +0000799}