blob: 40aa81cab00c5c6e8287bc3313c6065f01c9fae3 [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!");
Chris Lattnerde512b52004-02-15 05:55:15 +0000390 } else if (isa<ConstantAggregateZero>(CV)) {
391 PrintZeroBytesToPad(Target.getTargetData().getTypeSize(CV->getType()));
392 } else
Misha Brukman6275a042003-11-13 00:22:19 +0000393 printSingleConstantValue(CV);
Vikram S. Adve72666e62003-08-01 15:55:53 +0000394
Misha Brukman6275a042003-11-13 00:22:19 +0000395 if (numPadBytesAfter)
396 PrintZeroBytesToPad(numPadBytesAfter);
397}
Vikram S. Adve72666e62003-08-01 15:55:53 +0000398
Misha Brukman6275a042003-11-13 00:22:19 +0000399/// ConstantExprToString() - Convert a ConstantExpr to an asm expression
400/// and return this as a string.
401///
402std::string AsmPrinter::ConstantExprToString(const ConstantExpr* CE,
403 const TargetMachine& target) {
404 std::string S;
405 switch(CE->getOpcode()) {
406 case Instruction::GetElementPtr:
407 { // generate a symbolic expression for the byte address
408 const Value* ptrVal = CE->getOperand(0);
409 std::vector<Value*> idxVec(CE->op_begin()+1, CE->op_end());
410 const TargetData &TD = target.getTargetData();
411 S += "(" + valToExprString(ptrVal, target) + ") + ("
412 + utostr(TD.getIndexedOffset(ptrVal->getType(),idxVec)) + ")";
Vikram S. Advee99941a2002-08-22 02:58:36 +0000413 break;
414 }
415
Misha Brukman6275a042003-11-13 00:22:19 +0000416 case Instruction::Cast:
417 // Support only non-converting casts for now, i.e., a no-op.
418 // This assertion is not a complete check.
419 assert(target.getTargetData().getTypeSize(CE->getType()) ==
420 target.getTargetData().getTypeSize(CE->getOperand(0)->getType()));
421 S += "(" + valToExprString(CE->getOperand(0), target) + ")";
422 break;
423
424 case Instruction::Add:
425 S += ConstantArithExprToString(CE, target, ") + (");
426 break;
427
428 case Instruction::Sub:
429 S += ConstantArithExprToString(CE, target, ") - (");
430 break;
431
432 case Instruction::Mul:
433 S += ConstantArithExprToString(CE, target, ") * (");
434 break;
435
436 case Instruction::Div:
437 S += ConstantArithExprToString(CE, target, ") / (");
438 break;
439
440 case Instruction::Rem:
441 S += ConstantArithExprToString(CE, target, ") % (");
442 break;
443
444 case Instruction::And:
445 // Logical && for booleans; bitwise & otherwise
446 S += ConstantArithExprToString(CE, target,
447 ((CE->getType() == Type::BoolTy)? ") && (" : ") & ("));
448 break;
449
450 case Instruction::Or:
451 // Logical || for booleans; bitwise | otherwise
452 S += ConstantArithExprToString(CE, target,
453 ((CE->getType() == Type::BoolTy)? ") || (" : ") | ("));
454 break;
455
456 case Instruction::Xor:
457 // Bitwise ^ for all types
458 S += ConstantArithExprToString(CE, target, ") ^ (");
459 break;
460
461 default:
462 assert(0 && "Unsupported operator in ConstantExprToString()");
463 break;
Vikram S. Advee99941a2002-08-22 02:58:36 +0000464 }
465
Misha Brukman6275a042003-11-13 00:22:19 +0000466 return S;
467}
Vikram S. Advee99941a2002-08-22 02:58:36 +0000468
Misha Brukman6275a042003-11-13 00:22:19 +0000469/// valToExprString - Helper function for ConstantExprToString().
470/// Appends result to argument string S.
471///
472std::string AsmPrinter::valToExprString(const Value* V,
473 const TargetMachine& target) {
474 std::string S;
475 bool failed = false;
476 if (const Constant* CV = dyn_cast<Constant>(V)) { // symbolic or known
477 if (const ConstantBool *CB = dyn_cast<ConstantBool>(CV))
478 S += std::string(CB == ConstantBool::True ? "1" : "0");
479 else if (const ConstantSInt *CI = dyn_cast<ConstantSInt>(CV))
480 S += itostr(CI->getValue());
481 else if (const ConstantUInt *CI = dyn_cast<ConstantUInt>(CV))
482 S += utostr(CI->getValue());
483 else if (const ConstantFP *CFP = dyn_cast<ConstantFP>(CV))
484 S += ftostr(CFP->getValue());
485 else if (isa<ConstantPointerNull>(CV))
486 S += "0";
487 else if (const ConstantPointerRef *CPR = dyn_cast<ConstantPointerRef>(CV))
488 S += valToExprString(CPR->getValue(), target);
489 else if (const ConstantExpr *CE = dyn_cast<ConstantExpr>(CV))
490 S += ConstantExprToString(CE, target);
Vikram S. Advee99941a2002-08-22 02:58:36 +0000491 else
492 failed = true;
Misha Brukman6275a042003-11-13 00:22:19 +0000493 } else if (const GlobalValue* GV = dyn_cast<GlobalValue>(V)) {
494 S += getID(GV);
495 } else
496 failed = true;
Vikram S. Advee99941a2002-08-22 02:58:36 +0000497
Misha Brukman6275a042003-11-13 00:22:19 +0000498 if (failed) {
499 assert(0 && "Cannot convert value to string");
500 S += "<illegal-value>";
Vikram S. Advee99941a2002-08-22 02:58:36 +0000501 }
Misha Brukman6275a042003-11-13 00:22:19 +0000502 return S;
503}
Chris Lattnerc19b8b12002-02-03 23:41:08 +0000504
505
506//===----------------------------------------------------------------------===//
Misha Brukman6275a042003-11-13 00:22:19 +0000507// SparcAsmPrinter Code
Chris Lattnerc19b8b12002-02-03 23:41:08 +0000508//===----------------------------------------------------------------------===//
509
Misha Brukman6275a042003-11-13 00:22:19 +0000510namespace {
Misha Brukmanf905ed52003-11-07 17:45:28 +0000511
Misha Brukman6275a042003-11-13 00:22:19 +0000512 struct SparcAsmPrinter : public FunctionPass, public AsmPrinter {
513 inline SparcAsmPrinter(std::ostream &os, const TargetMachine &t)
514 : AsmPrinter(os, t) {}
Chris Lattner96c466b2002-04-29 14:57:45 +0000515
Misha Brukman6275a042003-11-13 00:22:19 +0000516 const Function *currFunction;
Chris Lattnerc19b8b12002-02-03 23:41:08 +0000517
Misha Brukman6275a042003-11-13 00:22:19 +0000518 const char *getPassName() const {
519 return "Output Sparc Assembly for Functions";
Chris Lattnere88f78c2001-09-19 13:47:27 +0000520 }
Misha Brukman6275a042003-11-13 00:22:19 +0000521
522 virtual bool doInitialization(Module &M) {
523 startModule(M);
524 return false;
525 }
526
527 virtual bool runOnFunction(Function &F) {
528 currFunction = &F;
Misha Brukman6275a042003-11-13 00:22:19 +0000529 emitFunction(F);
Misha Brukman6275a042003-11-13 00:22:19 +0000530 return false;
531 }
532
533 virtual bool doFinalization(Module &M) {
534 emitGlobals(M);
535 return false;
536 }
537
538 virtual void getAnalysisUsage(AnalysisUsage &AU) const {
539 AU.setPreservesAll();
540 }
541
542 void emitFunction(const Function &F);
543 private :
544 void emitBasicBlock(const MachineBasicBlock &MBB);
545 void emitMachineInst(const MachineInstr *MI);
546
547 unsigned int printOperands(const MachineInstr *MI, unsigned int opNum);
548 void printOneOperand(const MachineOperand &Op, MachineOpCode opCode);
549
550 bool OpIsBranchTargetLabel(const MachineInstr *MI, unsigned int opNum);
551 bool OpIsMemoryAddressBase(const MachineInstr *MI, unsigned int opNum);
552
553 unsigned getOperandMask(unsigned Opcode) {
554 switch (Opcode) {
555 case V9::SUBccr:
556 case V9::SUBcci: return 1 << 3; // Remove CC argument
557 default: return 0; // By default, don't hack operands...
558 }
559 }
560
561 void emitGlobals(const Module &M);
562 void printGlobalVariable(const GlobalVariable *GV);
563 };
564
565} // End anonymous namespace
Chris Lattnere88f78c2001-09-19 13:47:27 +0000566
Chris Lattnerc19b8b12002-02-03 23:41:08 +0000567inline bool
Misha Brukman6275a042003-11-13 00:22:19 +0000568SparcAsmPrinter::OpIsBranchTargetLabel(const MachineInstr *MI,
569 unsigned int opNum) {
Brian Gaeke12c1d2c2004-02-11 20:47:34 +0000570 switch (MI->getOpcode()) {
Misha Brukman71ed1c92003-05-27 22:35:43 +0000571 case V9::JMPLCALLr:
572 case V9::JMPLCALLi:
573 case V9::JMPLRETr:
574 case V9::JMPLRETi:
Misha Brukmana98cd452003-05-20 20:32:24 +0000575 return (opNum == 0);
576 default:
577 return false;
Chris Lattnerc19b8b12002-02-03 23:41:08 +0000578 }
579}
580
Chris Lattnerc19b8b12002-02-03 23:41:08 +0000581inline bool
Misha Brukman6275a042003-11-13 00:22:19 +0000582SparcAsmPrinter::OpIsMemoryAddressBase(const MachineInstr *MI,
583 unsigned int opNum) {
Brian Gaeke12c1d2c2004-02-11 20:47:34 +0000584 if (Target.getInstrInfo().isLoad(MI->getOpcode()))
Chris Lattnerc19b8b12002-02-03 23:41:08 +0000585 return (opNum == 0);
Brian Gaeke12c1d2c2004-02-11 20:47:34 +0000586 else if (Target.getInstrInfo().isStore(MI->getOpcode()))
Chris Lattnerc19b8b12002-02-03 23:41:08 +0000587 return (opNum == 1);
588 else
589 return false;
590}
591
592
Vikram S. Adve78a4f232003-05-27 00:02:22 +0000593#define PrintOp1PlusOp2(mop1, mop2, opCode) \
594 printOneOperand(mop1, opCode); \
Chris Lattnerc19b8b12002-02-03 23:41:08 +0000595 toAsm << "+"; \
Vikram S. Adve78a4f232003-05-27 00:02:22 +0000596 printOneOperand(mop2, opCode);
Chris Lattnerc19b8b12002-02-03 23:41:08 +0000597
598unsigned int
Misha Brukman6275a042003-11-13 00:22:19 +0000599SparcAsmPrinter::printOperands(const MachineInstr *MI,
Vikram S. Adveaf9fd512003-05-31 07:27:17 +0000600 unsigned int opNum)
Chris Lattnerc19b8b12002-02-03 23:41:08 +0000601{
Vikram S. Adve195a5d52002-07-10 21:41:21 +0000602 const MachineOperand& mop = MI->getOperand(opNum);
Chris Lattnerc19b8b12002-02-03 23:41:08 +0000603
Misha Brukman6275a042003-11-13 00:22:19 +0000604 if (OpIsBranchTargetLabel(MI, opNum)) {
Brian Gaeke12c1d2c2004-02-11 20:47:34 +0000605 PrintOp1PlusOp2(mop, MI->getOperand(opNum+1), MI->getOpcode());
Misha Brukman6275a042003-11-13 00:22:19 +0000606 return 2;
607 } else if (OpIsMemoryAddressBase(MI, opNum)) {
608 toAsm << "[";
Brian Gaeke12c1d2c2004-02-11 20:47:34 +0000609 PrintOp1PlusOp2(mop, MI->getOperand(opNum+1), MI->getOpcode());
Misha Brukman6275a042003-11-13 00:22:19 +0000610 toAsm << "]";
611 return 2;
612 } else {
Brian Gaeke12c1d2c2004-02-11 20:47:34 +0000613 printOneOperand(mop, MI->getOpcode());
Misha Brukman6275a042003-11-13 00:22:19 +0000614 return 1;
615 }
Chris Lattnerc19b8b12002-02-03 23:41:08 +0000616}
617
Chris Lattnerc19b8b12002-02-03 23:41:08 +0000618void
Misha Brukman6275a042003-11-13 00:22:19 +0000619SparcAsmPrinter::printOneOperand(const MachineOperand &mop,
620 MachineOpCode opCode)
Chris Lattnerc19b8b12002-02-03 23:41:08 +0000621{
Vikram S. Adve195a5d52002-07-10 21:41:21 +0000622 bool needBitsFlag = true;
623
Alkis Evlogimenos4d7af652003-12-14 13:24:17 +0000624 if (mop.isHiBits32())
Vikram S. Adve195a5d52002-07-10 21:41:21 +0000625 toAsm << "%lm(";
Alkis Evlogimenos4d7af652003-12-14 13:24:17 +0000626 else if (mop.isLoBits32())
Vikram S. Adve195a5d52002-07-10 21:41:21 +0000627 toAsm << "%lo(";
Alkis Evlogimenos4d7af652003-12-14 13:24:17 +0000628 else if (mop.isHiBits64())
Vikram S. Adve195a5d52002-07-10 21:41:21 +0000629 toAsm << "%hh(";
Alkis Evlogimenos4d7af652003-12-14 13:24:17 +0000630 else if (mop.isLoBits64())
Vikram S. Adve195a5d52002-07-10 21:41:21 +0000631 toAsm << "%hm(";
632 else
633 needBitsFlag = false;
634
Chris Lattner133f0792002-10-28 04:45:29 +0000635 switch (mop.getType())
Vikram S. Adveaf9fd512003-05-31 07:27:17 +0000636 {
Vikram S. Adve786833a2003-07-06 20:13:59 +0000637 case MachineOperand::MO_VirtualRegister:
Vikram S. Adveb15f8d42003-07-10 19:42:11 +0000638 case MachineOperand::MO_CCRegister:
Vikram S. Adveaf9fd512003-05-31 07:27:17 +0000639 case MachineOperand::MO_MachineRegister:
640 {
Alkis Evlogimenosbe766c72004-02-13 21:01:20 +0000641 int regNum = (int)mop.getReg();
Vikram S. Adveb15f8d42003-07-10 19:42:11 +0000642
Vikram S. Adveaf9fd512003-05-31 07:27:17 +0000643 if (regNum == Target.getRegInfo().getInvalidRegNum()) {
644 // better to print code with NULL registers than to die
645 toAsm << "<NULL VALUE>";
646 } else {
647 toAsm << "%" << Target.getRegInfo().getUnifiedRegName(regNum);
648 }
649 break;
650 }
Misha Brukmanb3fabe02003-05-31 06:22:37 +0000651
Misha Brukmanf905ed52003-11-07 17:45:28 +0000652 case MachineOperand::MO_ConstantPoolIndex:
653 {
654 toAsm << ".CPI_" << currFunction->getName()
655 << "_" << mop.getConstantPoolIndex();
656 break;
657 }
658
Vikram S. Adveaf9fd512003-05-31 07:27:17 +0000659 case MachineOperand::MO_PCRelativeDisp:
660 {
661 const Value *Val = mop.getVRegValue();
Misha Brukman6275a042003-11-13 00:22:19 +0000662 assert(Val && "\tNULL Value in SparcAsmPrinter");
Misha Brukmanb3fabe02003-05-31 06:22:37 +0000663
Chris Lattner949a3622003-07-23 15:30:06 +0000664 if (const BasicBlock *BB = dyn_cast<BasicBlock>(Val))
Vikram S. Adveaf9fd512003-05-31 07:27:17 +0000665 toAsm << getID(BB);
666 else if (const Function *M = dyn_cast<Function>(Val))
667 toAsm << getID(M);
668 else if (const GlobalVariable *GV = dyn_cast<GlobalVariable>(Val))
669 toAsm << getID(GV);
670 else if (const Constant *CV = dyn_cast<Constant>(Val))
671 toAsm << getID(CV);
672 else
Misha Brukman6275a042003-11-13 00:22:19 +0000673 assert(0 && "Unrecognized value in SparcAsmPrinter");
Vikram S. Adveaf9fd512003-05-31 07:27:17 +0000674 break;
675 }
Misha Brukmanb3fabe02003-05-31 06:22:37 +0000676
Vikram S. Adveaf9fd512003-05-31 07:27:17 +0000677 case MachineOperand::MO_SignExtendedImmed:
678 toAsm << mop.getImmedValue();
679 break;
Misha Brukmanb3fabe02003-05-31 06:22:37 +0000680
Vikram S. Adveaf9fd512003-05-31 07:27:17 +0000681 case MachineOperand::MO_UnextendedImmed:
682 toAsm << (uint64_t) mop.getImmedValue();
683 break;
Misha Brukmanb3fabe02003-05-31 06:22:37 +0000684
Vikram S. Adveaf9fd512003-05-31 07:27:17 +0000685 default:
686 toAsm << mop; // use dump field
687 break;
688 }
Vikram S. Adve195a5d52002-07-10 21:41:21 +0000689
690 if (needBitsFlag)
691 toAsm << ")";
Chris Lattnerc19b8b12002-02-03 23:41:08 +0000692}
693
Misha Brukman6275a042003-11-13 00:22:19 +0000694void SparcAsmPrinter::emitMachineInst(const MachineInstr *MI) {
Brian Gaeke12c1d2c2004-02-11 20:47:34 +0000695 unsigned Opcode = MI->getOpcode();
Chris Lattnerc19b8b12002-02-03 23:41:08 +0000696
Vikram S. Advec227a9a2002-11-06 00:34:26 +0000697 if (Target.getInstrInfo().isDummyPhiInstr(Opcode))
Vikram S. Adveaf9fd512003-05-31 07:27:17 +0000698 return; // IGNORE PHI NODES
Chris Lattnerc19b8b12002-02-03 23:41:08 +0000699
Chris Lattnerf44f9052002-10-29 17:35:41 +0000700 toAsm << "\t" << Target.getInstrInfo().getName(Opcode) << "\t";
Chris Lattnerc19b8b12002-02-03 23:41:08 +0000701
702 unsigned Mask = getOperandMask(Opcode);
703
704 bool NeedComma = false;
705 unsigned N = 1;
706 for (unsigned OpNum = 0; OpNum < MI->getNumOperands(); OpNum += N)
707 if (! ((1 << OpNum) & Mask)) { // Ignore this operand?
Misha Brukman8b2fe192003-09-23 17:27:28 +0000708 if (NeedComma) toAsm << ", "; // Handle comma outputting
Chris Lattnerc19b8b12002-02-03 23:41:08 +0000709 NeedComma = true;
710 N = printOperands(MI, OpNum);
Chris Lattnerebdc7f32002-11-17 22:57:23 +0000711 } else
712 N = 1;
Chris Lattnerc19b8b12002-02-03 23:41:08 +0000713
714 toAsm << "\n";
Brian Gaeke2c9b9132003-10-06 15:41:21 +0000715 ++EmittedInsts;
Chris Lattnerc19b8b12002-02-03 23:41:08 +0000716}
717
Misha Brukman6275a042003-11-13 00:22:19 +0000718void SparcAsmPrinter::emitBasicBlock(const MachineBasicBlock &MBB) {
Chris Lattnerc19b8b12002-02-03 23:41:08 +0000719 // Emit a label for the basic block
Misha Brukmane585a7d2002-10-28 20:01:13 +0000720 toAsm << getID(MBB.getBasicBlock()) << ":\n";
Chris Lattnerc19b8b12002-02-03 23:41:08 +0000721
722 // Loop over all of the instructions in the basic block...
Misha Brukmane585a7d2002-10-28 20:01:13 +0000723 for (MachineBasicBlock::const_iterator MII = MBB.begin(), MIE = MBB.end();
Chris Lattner55291ea2002-10-28 01:41:47 +0000724 MII != MIE; ++MII)
Alkis Evlogimenosc0b9dc52004-02-12 02:27:10 +0000725 emitMachineInst(MII);
Misha Brukmanbc0e9982003-07-14 17:20:40 +0000726 toAsm << "\n"; // Separate BB's with newlines
Chris Lattnerc19b8b12002-02-03 23:41:08 +0000727}
728
Misha Brukman6275a042003-11-13 00:22:19 +0000729void SparcAsmPrinter::emitFunction(const Function &F) {
Misha Brukmanf4de7832003-08-05 16:01:50 +0000730 std::string methName = getID(&F);
Chris Lattner2fbfdcf2002-04-07 20:49:59 +0000731 toAsm << "!****** Outputing Function: " << methName << " ******\n";
Misha Brukmanf905ed52003-11-07 17:45:28 +0000732
733 // Emit constant pool for this function
734 const MachineConstantPool *MCP = MachineFunction::get(&F).getConstantPool();
735 const std::vector<Constant*> &CP = MCP->getConstants();
736
737 enterSection(AsmPrinter::ReadOnlyData);
738 for (unsigned i = 0, e = CP.size(); i != e; ++i) {
739 std::string cpiName = ".CPI_" + F.getName() + "_" + utostr(i);
740 printConstant(CP[i], cpiName);
741 }
742
Chris Lattnerc19b8b12002-02-03 23:41:08 +0000743 enterSection(AsmPrinter::Text);
744 toAsm << "\t.align\t4\n\t.global\t" << methName << "\n";
745 //toAsm << "\t.type\t" << methName << ",#function\n";
746 toAsm << "\t.type\t" << methName << ", 2\n";
747 toAsm << methName << ":\n";
748
Chris Lattner2fbfdcf2002-04-07 20:49:59 +0000749 // Output code for all of the basic blocks in the function...
Misha Brukmane585a7d2002-10-28 20:01:13 +0000750 MachineFunction &MF = MachineFunction::get(&F);
Chris Lattnerd0fe5f52002-12-28 20:15:01 +0000751 for (MachineFunction::const_iterator I = MF.begin(), E = MF.end(); I != E;++I)
Misha Brukmane585a7d2002-10-28 20:01:13 +0000752 emitBasicBlock(*I);
Chris Lattnerc19b8b12002-02-03 23:41:08 +0000753
754 // Output a .size directive so the debugger knows the extents of the function
755 toAsm << ".EndOf_" << methName << ":\n\t.size "
756 << methName << ", .EndOf_"
757 << methName << "-" << methName << "\n";
758
Chris Lattner2fbfdcf2002-04-07 20:49:59 +0000759 // Put some spaces between the functions
Chris Lattnerc19b8b12002-02-03 23:41:08 +0000760 toAsm << "\n\n";
761}
762
Misha Brukman6275a042003-11-13 00:22:19 +0000763void SparcAsmPrinter::printGlobalVariable(const GlobalVariable* GV) {
Vikram S. Adve13f1d712002-09-16 15:54:02 +0000764 if (GV->hasExternalLinkage())
765 toAsm << "\t.global\t" << getID(GV) << "\n";
Vikram S. Adve953c83e2001-10-28 21:38:52 +0000766
Misha Brukman6275a042003-11-13 00:22:19 +0000767 if (GV->hasInitializer() && ! GV->getInitializer()->isNullValue()) {
Vikram S. Adve953c83e2001-10-28 21:38:52 +0000768 printConstant(GV->getInitializer(), getID(GV));
Misha Brukman6275a042003-11-13 00:22:19 +0000769 } else {
Chris Lattnerc19b8b12002-02-03 23:41:08 +0000770 toAsm << "\t.align\t" << TypeToAlignment(GV->getType()->getElementType(),
771 Target) << "\n";
Chris Lattner697954c2002-01-20 22:54:45 +0000772 toAsm << "\t.type\t" << getID(GV) << ",#object\n";
Vikram S. Adveffbba0f2001-11-08 14:29:57 +0000773 toAsm << "\t.reserve\t" << getID(GV) << ","
Misha Brukman6275a042003-11-13 00:22:19 +0000774 << Target.findOptimalStorageSize(GV->getType()->getElementType())
Chris Lattner697954c2002-01-20 22:54:45 +0000775 << "\n";
Vikram S. Adve953c83e2001-10-28 21:38:52 +0000776 }
777}
778
Misha Brukman6275a042003-11-13 00:22:19 +0000779void SparcAsmPrinter::emitGlobals(const Module &M) {
Chris Lattner637ed862002-08-07 21:39:48 +0000780 // Output global variables...
Vikram S. Advefee76262002-10-13 00:32:18 +0000781 for (Module::const_giterator GI = M.gbegin(), GE = M.gend(); GI != GE; ++GI)
782 if (! GI->isExternal()) {
783 assert(GI->hasInitializer());
784 if (GI->isConstant())
785 enterSection(AsmPrinter::ReadOnlyData); // read-only, initialized data
786 else if (GI->getInitializer()->isNullValue())
787 enterSection(AsmPrinter::ZeroInitRWData); // read-write zero data
788 else
789 enterSection(AsmPrinter::InitRWData); // read-write non-zero data
790
791 printGlobalVariable(GI);
Chris Lattner637ed862002-08-07 21:39:48 +0000792 }
Chris Lattner637ed862002-08-07 21:39:48 +0000793
Chris Lattner697954c2002-01-20 22:54:45 +0000794 toAsm << "\n";
Vikram S. Adve953c83e2001-10-28 21:38:52 +0000795}
796
Chris Lattner7446dc02004-01-13 21:27:59 +0000797FunctionPass *llvm::createAsmPrinterPass(std::ostream &Out,
798 const TargetMachine &TM) {
Misha Brukman6275a042003-11-13 00:22:19 +0000799 return new SparcAsmPrinter(Out, TM);
Chris Lattnerc019a172002-02-03 07:48:06 +0000800}