Chris Lattner | 3af3ba8 | 2002-05-09 21:31:18 +0000 | [diff] [blame] | 1 | //===-- Writer.cpp - Library for converting LLVM code to C ----------------===// |
John Criswell | b576c94 | 2003-10-20 19:43:21 +0000 | [diff] [blame] | 2 | // |
| 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 | //===----------------------------------------------------------------------===// |
Sumant Kowshik | 9ddc86c | 2002-05-08 18:09:58 +0000 | [diff] [blame] | 9 | // |
Chris Lattner | d1cf1b4 | 2002-09-20 23:26:33 +0000 | [diff] [blame] | 10 | // This library converts LLVM code to C code, compilable by GCC. |
Chris Lattner | 16c7bb2 | 2002-05-09 02:28:59 +0000 | [diff] [blame] | 11 | // |
Chris Lattner | edd8ce1 | 2003-05-03 03:14:35 +0000 | [diff] [blame] | 12 | //===----------------------------------------------------------------------===// |
Chris Lattner | 84e6665 | 2003-05-03 07:11:00 +0000 | [diff] [blame] | 13 | |
Sumant Kowshik | 9ddc86c | 2002-05-08 18:09:58 +0000 | [diff] [blame] | 14 | #include "llvm/Assembly/CWriter.h" |
Sumant Kowshik | 9ddc86c | 2002-05-08 18:09:58 +0000 | [diff] [blame] | 15 | #include "llvm/Constants.h" |
Chris Lattner | 2f5f51a | 2002-05-09 03:28:37 +0000 | [diff] [blame] | 16 | #include "llvm/DerivedTypes.h" |
| 17 | #include "llvm/Module.h" |
Chris Lattner | a9f5e05 | 2003-04-22 20:19:52 +0000 | [diff] [blame] | 18 | #include "llvm/Instructions.h" |
Chris Lattner | 0e9f93e | 2002-08-31 00:29:16 +0000 | [diff] [blame] | 19 | #include "llvm/Pass.h" |
Sumant Kowshik | 9ddc86c | 2002-05-08 18:09:58 +0000 | [diff] [blame] | 20 | #include "llvm/SymbolTable.h" |
Chris Lattner | 18ac3c8 | 2003-05-08 18:41:45 +0000 | [diff] [blame] | 21 | #include "llvm/Intrinsics.h" |
Chris Lattner | 0e9f93e | 2002-08-31 00:29:16 +0000 | [diff] [blame] | 22 | #include "llvm/Analysis/FindUsedTypes.h" |
Chris Lattner | d1cf1b4 | 2002-09-20 23:26:33 +0000 | [diff] [blame] | 23 | #include "llvm/Analysis/ConstantsScanner.h" |
Sumant Kowshik | 9ddc86c | 2002-05-08 18:09:58 +0000 | [diff] [blame] | 24 | #include "llvm/Support/InstVisitor.h" |
Chris Lattner | 7683a12 | 2002-05-09 20:33:35 +0000 | [diff] [blame] | 25 | #include "llvm/Support/InstIterator.h" |
Chris Lattner | 9bda5f5 | 2003-06-28 17:53:05 +0000 | [diff] [blame] | 26 | #include "llvm/Support/CallSite.h" |
Brian Gaeke | 49a178b | 2003-07-25 20:21:06 +0000 | [diff] [blame] | 27 | #include "llvm/Support/Mangler.h" |
Sumant Kowshik | 9ddc86c | 2002-05-08 18:09:58 +0000 | [diff] [blame] | 28 | #include "Support/StringExtras.h" |
| 29 | #include "Support/STLExtras.h" |
Chris Lattner | 4946a8c | 2003-10-13 17:13:53 +0000 | [diff] [blame] | 30 | #include "Config/config.h" |
Sumant Kowshik | 9ddc86c | 2002-05-08 18:09:58 +0000 | [diff] [blame] | 31 | #include <algorithm> |
Nick Hildenbrandt | 9850237 | 2002-11-18 20:55:50 +0000 | [diff] [blame] | 32 | #include <sstream> |
Nick Hildenbrandt | 3cecdc5 | 2002-10-23 18:59:40 +0000 | [diff] [blame] | 33 | |
Sumant Kowshik | 9ddc86c | 2002-05-08 18:09:58 +0000 | [diff] [blame] | 34 | namespace { |
Chris Lattner | 0e9f93e | 2002-08-31 00:29:16 +0000 | [diff] [blame] | 35 | class CWriter : public Pass, public InstVisitor<CWriter> { |
Chris Lattner | edd8ce1 | 2003-05-03 03:14:35 +0000 | [diff] [blame] | 36 | std::ostream &Out; |
Brian Gaeke | d9fb37a | 2003-07-24 20:20:44 +0000 | [diff] [blame] | 37 | Mangler *Mang; |
Sumant Kowshik | 9ddc86c | 2002-05-08 18:09:58 +0000 | [diff] [blame] | 38 | const Module *TheModule; |
Chris Lattner | fa395ec | 2003-11-02 01:29:27 +0000 | [diff] [blame] | 39 | FindUsedTypes *FUT; |
| 40 | |
Chris Lattner | edd8ce1 | 2003-05-03 03:14:35 +0000 | [diff] [blame] | 41 | std::map<const Type *, std::string> TypeNames; |
Chris Lattner | 78771c8 | 2002-05-17 04:55:35 +0000 | [diff] [blame] | 42 | std::set<const Value*> MangledGlobals; |
Chris Lattner | 9bda5f5 | 2003-06-28 17:53:05 +0000 | [diff] [blame] | 43 | bool needsMalloc, emittedInvoke; |
Nick Hildenbrandt | 67aa2e2 | 2002-09-14 21:36:24 +0000 | [diff] [blame] | 44 | |
Chris Lattner | edd8ce1 | 2003-05-03 03:14:35 +0000 | [diff] [blame] | 45 | std::map<const ConstantFP *, unsigned> FPConstantMap; |
Sumant Kowshik | 9ddc86c | 2002-05-08 18:09:58 +0000 | [diff] [blame] | 46 | public: |
Chris Lattner | edd8ce1 | 2003-05-03 03:14:35 +0000 | [diff] [blame] | 47 | CWriter(std::ostream &o) : Out(o) {} |
Chris Lattner | 0e9f93e | 2002-08-31 00:29:16 +0000 | [diff] [blame] | 48 | |
| 49 | void getAnalysisUsage(AnalysisUsage &AU) const { |
| 50 | AU.setPreservesAll(); |
| 51 | AU.addRequired<FindUsedTypes>(); |
Sumant Kowshik | 9ddc86c | 2002-05-08 18:09:58 +0000 | [diff] [blame] | 52 | } |
Chris Lattner | 0e9f93e | 2002-08-31 00:29:16 +0000 | [diff] [blame] | 53 | |
| 54 | virtual bool run(Module &M) { |
| 55 | // Initialize |
Chris Lattner | 0e9f93e | 2002-08-31 00:29:16 +0000 | [diff] [blame] | 56 | TheModule = &M; |
Chris Lattner | fa395ec | 2003-11-02 01:29:27 +0000 | [diff] [blame] | 57 | FUT = &getAnalysis<FindUsedTypes>(); |
Chris Lattner | 0e9f93e | 2002-08-31 00:29:16 +0000 | [diff] [blame] | 58 | |
| 59 | // Ensure that all structure types have names... |
| 60 | bool Changed = nameAllUsedStructureTypes(M); |
Brian Gaeke | d9fb37a | 2003-07-24 20:20:44 +0000 | [diff] [blame] | 61 | Mang = new Mangler(M); |
Chris Lattner | 0e9f93e | 2002-08-31 00:29:16 +0000 | [diff] [blame] | 62 | |
| 63 | // Run... |
| 64 | printModule(&M); |
| 65 | |
| 66 | // Free memory... |
Brian Gaeke | d9fb37a | 2003-07-24 20:20:44 +0000 | [diff] [blame] | 67 | delete Mang; |
Chris Lattner | 0e9f93e | 2002-08-31 00:29:16 +0000 | [diff] [blame] | 68 | TypeNames.clear(); |
| 69 | MangledGlobals.clear(); |
| 70 | return false; |
| 71 | } |
Sumant Kowshik | 9ddc86c | 2002-05-08 18:09:58 +0000 | [diff] [blame] | 72 | |
Chris Lattner | edd8ce1 | 2003-05-03 03:14:35 +0000 | [diff] [blame] | 73 | std::ostream &printType(std::ostream &Out, const Type *Ty, |
| 74 | const std::string &VariableName = "", |
Chris Lattner | 7635ea4 | 2003-11-03 01:01:59 +0000 | [diff] [blame] | 75 | bool IgnoreName = false); |
Sumant Kowshik | 9ddc86c | 2002-05-08 18:09:58 +0000 | [diff] [blame] | 76 | |
Chris Lattner | bb03efd | 2002-06-25 15:57:03 +0000 | [diff] [blame] | 77 | void writeOperand(Value *Operand); |
| 78 | void writeOperandInternal(Value *Operand); |
Chris Lattner | b5af06a | 2002-05-09 03:06:06 +0000 | [diff] [blame] | 79 | |
Chris Lattner | 4fbf26d | 2002-05-09 20:53:56 +0000 | [diff] [blame] | 80 | private : |
Chris Lattner | 0e9f93e | 2002-08-31 00:29:16 +0000 | [diff] [blame] | 81 | bool nameAllUsedStructureTypes(Module &M); |
Chris Lattner | 8c3c4bf | 2002-05-09 15:49:41 +0000 | [diff] [blame] | 82 | void printModule(Module *M); |
Chris Lattner | 9860e77 | 2003-10-12 04:36:29 +0000 | [diff] [blame] | 83 | void printFloatingPointConstants(Module &M); |
Sumant Kowshik | 9ddc86c | 2002-05-08 18:09:58 +0000 | [diff] [blame] | 84 | void printSymbolTable(const SymbolTable &ST); |
Chris Lattner | 2c601a7 | 2002-09-20 15:05:40 +0000 | [diff] [blame] | 85 | void printContainedStructs(const Type *Ty, std::set<const StructType *> &); |
Chris Lattner | 4cda835 | 2002-08-20 16:55:48 +0000 | [diff] [blame] | 86 | void printFunctionSignature(const Function *F, bool Prototype); |
| 87 | |
Chris Lattner | 8c3c4bf | 2002-05-09 15:49:41 +0000 | [diff] [blame] | 88 | void printFunction(Function *); |
Chris Lattner | b5af06a | 2002-05-09 03:06:06 +0000 | [diff] [blame] | 89 | |
Chris Lattner | 6d49292 | 2002-08-19 21:32:41 +0000 | [diff] [blame] | 90 | void printConstant(Constant *CPV); |
| 91 | void printConstantArray(ConstantArray *CPA); |
| 92 | |
Chris Lattner | d0c668c | 2002-05-09 21:18:38 +0000 | [diff] [blame] | 93 | // isInlinableInst - Attempt to inline instructions into their uses to build |
| 94 | // trees as much as possible. To do this, we have to consistently decide |
| 95 | // what is acceptable to inline, so that variable declarations don't get |
| 96 | // printed and an extra copy of the expr is not emitted. |
| 97 | // |
Chris Lattner | bb03efd | 2002-06-25 15:57:03 +0000 | [diff] [blame] | 98 | static bool isInlinableInst(const Instruction &I) { |
Chris Lattner | d0c668c | 2002-05-09 21:18:38 +0000 | [diff] [blame] | 99 | // Must be an expression, must be used exactly once. If it is dead, we |
| 100 | // emit it inline where it would go. |
Chris Lattner | fd05924 | 2003-10-15 16:48:29 +0000 | [diff] [blame] | 101 | if (I.getType() == Type::VoidTy || !I.hasOneUse() || |
Nick Hildenbrandt | 2cf2cbc | 2002-11-06 20:07:54 +0000 | [diff] [blame] | 102 | isa<TerminatorInst>(I) || isa<CallInst>(I) || isa<PHINode>(I) || |
Chris Lattner | 4d45bd0 | 2003-10-18 05:57:43 +0000 | [diff] [blame] | 103 | isa<LoadInst>(I) || isa<VAArgInst>(I) || isa<VANextInst>(I)) |
Chris Lattner | d4e8d31 | 2003-07-23 20:45:31 +0000 | [diff] [blame] | 104 | // Don't inline a load across a store or other bad things! |
Chris Lattner | d0c668c | 2002-05-09 21:18:38 +0000 | [diff] [blame] | 105 | return false; |
| 106 | |
| 107 | // Only inline instruction it it's use is in the same BB as the inst. |
Chris Lattner | bb03efd | 2002-06-25 15:57:03 +0000 | [diff] [blame] | 108 | return I.getParent() == cast<Instruction>(I.use_back())->getParent(); |
Chris Lattner | d0c668c | 2002-05-09 21:18:38 +0000 | [diff] [blame] | 109 | } |
| 110 | |
Chris Lattner | a8ab89e | 2003-06-17 04:39:14 +0000 | [diff] [blame] | 111 | // isDirectAlloca - Define fixed sized allocas in the entry block as direct |
| 112 | // variables which are accessed with the & operator. This causes GCC to |
| 113 | // generate significantly better code than to emit alloca calls directly. |
| 114 | // |
| 115 | static const AllocaInst *isDirectAlloca(const Value *V) { |
| 116 | const AllocaInst *AI = dyn_cast<AllocaInst>(V); |
| 117 | if (!AI) return false; |
| 118 | if (AI->isArrayAllocation()) |
| 119 | return 0; // FIXME: we can also inline fixed size array allocas! |
Chris Lattner | 02a3be0 | 2003-09-20 14:39:18 +0000 | [diff] [blame] | 120 | if (AI->getParent() != &AI->getParent()->getParent()->getEntryBlock()) |
Chris Lattner | a8ab89e | 2003-06-17 04:39:14 +0000 | [diff] [blame] | 121 | return 0; |
| 122 | return AI; |
| 123 | } |
| 124 | |
Chris Lattner | 4fbf26d | 2002-05-09 20:53:56 +0000 | [diff] [blame] | 125 | // Instruction visitation functions |
| 126 | friend class InstVisitor<CWriter>; |
Sumant Kowshik | 9ddc86c | 2002-05-08 18:09:58 +0000 | [diff] [blame] | 127 | |
Chris Lattner | bb03efd | 2002-06-25 15:57:03 +0000 | [diff] [blame] | 128 | void visitReturnInst(ReturnInst &I); |
| 129 | void visitBranchInst(BranchInst &I); |
Chris Lattner | a9f5e05 | 2003-04-22 20:19:52 +0000 | [diff] [blame] | 130 | void visitSwitchInst(SwitchInst &I); |
Chris Lattner | 9bda5f5 | 2003-06-28 17:53:05 +0000 | [diff] [blame] | 131 | void visitInvokeInst(InvokeInst &I); |
Chris Lattner | 36143fc | 2003-09-08 18:54:55 +0000 | [diff] [blame] | 132 | void visitUnwindInst(UnwindInst &I); |
Sumant Kowshik | 9ddc86c | 2002-05-08 18:09:58 +0000 | [diff] [blame] | 133 | |
Chris Lattner | 84e6665 | 2003-05-03 07:11:00 +0000 | [diff] [blame] | 134 | void visitPHINode(PHINode &I); |
Chris Lattner | bb03efd | 2002-06-25 15:57:03 +0000 | [diff] [blame] | 135 | void visitBinaryOperator(Instruction &I); |
Sumant Kowshik | 9ddc86c | 2002-05-08 18:09:58 +0000 | [diff] [blame] | 136 | |
Chris Lattner | bb03efd | 2002-06-25 15:57:03 +0000 | [diff] [blame] | 137 | void visitCastInst (CastInst &I); |
| 138 | void visitCallInst (CallInst &I); |
Chris Lattner | 9bda5f5 | 2003-06-28 17:53:05 +0000 | [diff] [blame] | 139 | void visitCallSite (CallSite CS); |
Chris Lattner | bb03efd | 2002-06-25 15:57:03 +0000 | [diff] [blame] | 140 | void visitShiftInst(ShiftInst &I) { visitBinaryOperator(I); } |
Chris Lattner | 4fbf26d | 2002-05-09 20:53:56 +0000 | [diff] [blame] | 141 | |
Chris Lattner | bb03efd | 2002-06-25 15:57:03 +0000 | [diff] [blame] | 142 | void visitMallocInst(MallocInst &I); |
| 143 | void visitAllocaInst(AllocaInst &I); |
| 144 | void visitFreeInst (FreeInst &I); |
| 145 | void visitLoadInst (LoadInst &I); |
| 146 | void visitStoreInst (StoreInst &I); |
| 147 | void visitGetElementPtrInst(GetElementPtrInst &I); |
Chris Lattner | 4d45bd0 | 2003-10-18 05:57:43 +0000 | [diff] [blame] | 148 | void visitVANextInst(VANextInst &I); |
| 149 | void visitVAArgInst (VAArgInst &I); |
Chris Lattner | 2f5f51a | 2002-05-09 03:28:37 +0000 | [diff] [blame] | 150 | |
Chris Lattner | bb03efd | 2002-06-25 15:57:03 +0000 | [diff] [blame] | 151 | void visitInstruction(Instruction &I) { |
Chris Lattner | e7f65d3b | 2002-06-30 16:07:20 +0000 | [diff] [blame] | 152 | std::cerr << "C Writer does not know about " << I; |
Chris Lattner | 4fbf26d | 2002-05-09 20:53:56 +0000 | [diff] [blame] | 153 | abort(); |
| 154 | } |
| 155 | |
| 156 | void outputLValue(Instruction *I) { |
Brian Gaeke | d9fb37a | 2003-07-24 20:20:44 +0000 | [diff] [blame] | 157 | Out << " " << Mang->getValueName(I) << " = "; |
Chris Lattner | 4fbf26d | 2002-05-09 20:53:56 +0000 | [diff] [blame] | 158 | } |
| 159 | void printBranchToBlock(BasicBlock *CurBlock, BasicBlock *SuccBlock, |
| 160 | unsigned Indent); |
Chris Lattner | df35a1c | 2002-08-19 23:09:46 +0000 | [diff] [blame] | 161 | void printIndexingExpression(Value *Ptr, User::op_iterator I, |
| 162 | User::op_iterator E); |
Sumant Kowshik | 9ddc86c | 2002-05-08 18:09:58 +0000 | [diff] [blame] | 163 | }; |
Sumant Kowshik | 9ddc86c | 2002-05-08 18:09:58 +0000 | [diff] [blame] | 164 | } |
| 165 | |
Chris Lattner | 83c5775 | 2002-08-19 22:17:53 +0000 | [diff] [blame] | 166 | // Pass the Type* and the variable name and this prints out the variable |
| 167 | // declaration. |
| 168 | // |
Chris Lattner | edd8ce1 | 2003-05-03 03:14:35 +0000 | [diff] [blame] | 169 | std::ostream &CWriter::printType(std::ostream &Out, const Type *Ty, |
| 170 | const std::string &NameSoFar, |
Chris Lattner | 7635ea4 | 2003-11-03 01:01:59 +0000 | [diff] [blame] | 171 | bool IgnoreName) { |
Chris Lattner | 83c5775 | 2002-08-19 22:17:53 +0000 | [diff] [blame] | 172 | if (Ty->isPrimitiveType()) |
| 173 | switch (Ty->getPrimitiveID()) { |
| 174 | case Type::VoidTyID: return Out << "void " << NameSoFar; |
| 175 | case Type::BoolTyID: return Out << "bool " << NameSoFar; |
| 176 | case Type::UByteTyID: return Out << "unsigned char " << NameSoFar; |
| 177 | case Type::SByteTyID: return Out << "signed char " << NameSoFar; |
| 178 | case Type::UShortTyID: return Out << "unsigned short " << NameSoFar; |
| 179 | case Type::ShortTyID: return Out << "short " << NameSoFar; |
| 180 | case Type::UIntTyID: return Out << "unsigned " << NameSoFar; |
| 181 | case Type::IntTyID: return Out << "int " << NameSoFar; |
| 182 | case Type::ULongTyID: return Out << "unsigned long long " << NameSoFar; |
| 183 | case Type::LongTyID: return Out << "signed long long " << NameSoFar; |
| 184 | case Type::FloatTyID: return Out << "float " << NameSoFar; |
| 185 | case Type::DoubleTyID: return Out << "double " << NameSoFar; |
| 186 | default : |
| 187 | std::cerr << "Unknown primitive type: " << Ty << "\n"; |
| 188 | abort(); |
| 189 | } |
| 190 | |
| 191 | // Check to see if the type is named. |
Chris Lattner | 04b72c8 | 2002-10-16 00:08:22 +0000 | [diff] [blame] | 192 | if (!IgnoreName || isa<OpaqueType>(Ty)) { |
Chris Lattner | edd8ce1 | 2003-05-03 03:14:35 +0000 | [diff] [blame] | 193 | std::map<const Type *, std::string>::iterator I = TypeNames.find(Ty); |
Chris Lattner | 5864da0 | 2003-08-24 21:00:22 +0000 | [diff] [blame] | 194 | if (I != TypeNames.end()) return Out << I->second << " " << NameSoFar; |
Chris Lattner | 04b72c8 | 2002-10-16 00:08:22 +0000 | [diff] [blame] | 195 | } |
Chris Lattner | 83c5775 | 2002-08-19 22:17:53 +0000 | [diff] [blame] | 196 | |
Chris Lattner | 83c5775 | 2002-08-19 22:17:53 +0000 | [diff] [blame] | 197 | switch (Ty->getPrimitiveID()) { |
| 198 | case Type::FunctionTyID: { |
| 199 | const FunctionType *MTy = cast<FunctionType>(Ty); |
Joel Stanley | 54f6032 | 2003-06-25 04:52:09 +0000 | [diff] [blame] | 200 | std::stringstream FunctionInnards; |
| 201 | FunctionInnards << " (" << NameSoFar << ") ("; |
Chris Lattner | 83c5775 | 2002-08-19 22:17:53 +0000 | [diff] [blame] | 202 | for (FunctionType::ParamTypes::const_iterator |
| 203 | I = MTy->getParamTypes().begin(), |
| 204 | E = MTy->getParamTypes().end(); I != E; ++I) { |
| 205 | if (I != MTy->getParamTypes().begin()) |
Joel Stanley | 54f6032 | 2003-06-25 04:52:09 +0000 | [diff] [blame] | 206 | FunctionInnards << ", "; |
| 207 | printType(FunctionInnards, *I, ""); |
Chris Lattner | 83c5775 | 2002-08-19 22:17:53 +0000 | [diff] [blame] | 208 | } |
| 209 | if (MTy->isVarArg()) { |
| 210 | if (!MTy->getParamTypes().empty()) |
Joel Stanley | 54f6032 | 2003-06-25 04:52:09 +0000 | [diff] [blame] | 211 | FunctionInnards << ", ..."; |
Chris Lattner | ddfc03c | 2003-05-13 20:15:37 +0000 | [diff] [blame] | 212 | } else if (MTy->getParamTypes().empty()) { |
Joel Stanley | 54f6032 | 2003-06-25 04:52:09 +0000 | [diff] [blame] | 213 | FunctionInnards << "void"; |
Chris Lattner | 83c5775 | 2002-08-19 22:17:53 +0000 | [diff] [blame] | 214 | } |
Joel Stanley | 54f6032 | 2003-06-25 04:52:09 +0000 | [diff] [blame] | 215 | FunctionInnards << ")"; |
| 216 | std::string tstr = FunctionInnards.str(); |
Nick Hildenbrandt | 9850237 | 2002-11-18 20:55:50 +0000 | [diff] [blame] | 217 | printType(Out, MTy->getReturnType(), tstr); |
| 218 | return Out; |
Chris Lattner | 83c5775 | 2002-08-19 22:17:53 +0000 | [diff] [blame] | 219 | } |
| 220 | case Type::StructTyID: { |
| 221 | const StructType *STy = cast<StructType>(Ty); |
| 222 | Out << NameSoFar + " {\n"; |
| 223 | unsigned Idx = 0; |
| 224 | for (StructType::ElementTypes::const_iterator |
| 225 | I = STy->getElementTypes().begin(), |
| 226 | E = STy->getElementTypes().end(); I != E; ++I) { |
| 227 | Out << " "; |
Nick Hildenbrandt | 9850237 | 2002-11-18 20:55:50 +0000 | [diff] [blame] | 228 | printType(Out, *I, "field" + utostr(Idx++)); |
Chris Lattner | 83c5775 | 2002-08-19 22:17:53 +0000 | [diff] [blame] | 229 | Out << ";\n"; |
| 230 | } |
| 231 | return Out << "}"; |
| 232 | } |
| 233 | |
| 234 | case Type::PointerTyID: { |
| 235 | const PointerType *PTy = cast<PointerType>(Ty); |
Vikram S. Adve | 969c4ad | 2002-08-25 20:00:08 +0000 | [diff] [blame] | 236 | std::string ptrName = "*" + NameSoFar; |
| 237 | |
Chris Lattner | 8917d36 | 2003-11-03 04:31:54 +0000 | [diff] [blame] | 238 | if (isa<ArrayType>(PTy->getElementType())) |
| 239 | ptrName = "(" + ptrName + ")"; |
Vikram S. Adve | 969c4ad | 2002-08-25 20:00:08 +0000 | [diff] [blame] | 240 | |
Nick Hildenbrandt | 9850237 | 2002-11-18 20:55:50 +0000 | [diff] [blame] | 241 | return printType(Out, PTy->getElementType(), ptrName); |
Misha Brukman | 8f9f9a2 | 2003-07-21 16:34:35 +0000 | [diff] [blame] | 242 | } |
Chris Lattner | 83c5775 | 2002-08-19 22:17:53 +0000 | [diff] [blame] | 243 | |
| 244 | case Type::ArrayTyID: { |
| 245 | const ArrayType *ATy = cast<ArrayType>(Ty); |
| 246 | unsigned NumElements = ATy->getNumElements(); |
Nick Hildenbrandt | 9850237 | 2002-11-18 20:55:50 +0000 | [diff] [blame] | 247 | return printType(Out, ATy->getElementType(), |
Chris Lattner | 83c5775 | 2002-08-19 22:17:53 +0000 | [diff] [blame] | 248 | NameSoFar + "[" + utostr(NumElements) + "]"); |
| 249 | } |
Chris Lattner | 04b72c8 | 2002-10-16 00:08:22 +0000 | [diff] [blame] | 250 | |
| 251 | case Type::OpaqueTyID: { |
| 252 | static int Count = 0; |
Chris Lattner | edd8ce1 | 2003-05-03 03:14:35 +0000 | [diff] [blame] | 253 | std::string TyName = "struct opaque_" + itostr(Count++); |
Chris Lattner | 04b72c8 | 2002-10-16 00:08:22 +0000 | [diff] [blame] | 254 | assert(TypeNames.find(Ty) == TypeNames.end()); |
| 255 | TypeNames[Ty] = TyName; |
| 256 | return Out << TyName << " " << NameSoFar; |
| 257 | } |
Chris Lattner | 83c5775 | 2002-08-19 22:17:53 +0000 | [diff] [blame] | 258 | default: |
| 259 | assert(0 && "Unhandled case in getTypeProps!"); |
| 260 | abort(); |
| 261 | } |
| 262 | |
| 263 | return Out; |
| 264 | } |
| 265 | |
Chris Lattner | 6d49292 | 2002-08-19 21:32:41 +0000 | [diff] [blame] | 266 | void CWriter::printConstantArray(ConstantArray *CPA) { |
| 267 | |
| 268 | // As a special case, print the array as a string if it is an array of |
| 269 | // ubytes or an array of sbytes with positive values. |
| 270 | // |
| 271 | const Type *ETy = CPA->getType()->getElementType(); |
| 272 | bool isString = (ETy == Type::SByteTy || ETy == Type::UByteTy); |
| 273 | |
| 274 | // Make sure the last character is a null char, as automatically added by C |
Chris Lattner | 02da6c0 | 2003-06-16 12:09:09 +0000 | [diff] [blame] | 275 | if (isString && (CPA->getNumOperands() == 0 || |
| 276 | !cast<Constant>(*(CPA->op_end()-1))->isNullValue())) |
Chris Lattner | 6d49292 | 2002-08-19 21:32:41 +0000 | [diff] [blame] | 277 | isString = false; |
| 278 | |
| 279 | if (isString) { |
| 280 | Out << "\""; |
Chris Lattner | 02da6c0 | 2003-06-16 12:09:09 +0000 | [diff] [blame] | 281 | // Keep track of whether the last number was a hexadecimal escape |
| 282 | bool LastWasHex = false; |
| 283 | |
Chris Lattner | 6d49292 | 2002-08-19 21:32:41 +0000 | [diff] [blame] | 284 | // Do not include the last character, which we know is null |
| 285 | for (unsigned i = 0, e = CPA->getNumOperands()-1; i != e; ++i) { |
Chris Lattner | c07736a | 2003-07-23 15:22:26 +0000 | [diff] [blame] | 286 | unsigned char C = cast<ConstantInt>(CPA->getOperand(i))->getRawValue(); |
Chris Lattner | 6d49292 | 2002-08-19 21:32:41 +0000 | [diff] [blame] | 287 | |
Chris Lattner | 02da6c0 | 2003-06-16 12:09:09 +0000 | [diff] [blame] | 288 | // Print it out literally if it is a printable character. The only thing |
| 289 | // to be careful about is when the last letter output was a hex escape |
| 290 | // code, in which case we have to be careful not to print out hex digits |
Chris Lattner | da92090 | 2003-06-16 12:21:19 +0000 | [diff] [blame] | 291 | // explicitly (the C compiler thinks it is a continuation of the previous |
| 292 | // character, sheesh...) |
Chris Lattner | 02da6c0 | 2003-06-16 12:09:09 +0000 | [diff] [blame] | 293 | // |
| 294 | if (isprint(C) && (!LastWasHex || !isxdigit(C))) { |
| 295 | LastWasHex = false; |
Nick Hildenbrandt | 088b472 | 2002-11-06 21:40:23 +0000 | [diff] [blame] | 296 | if (C == '"' || C == '\\') |
| 297 | Out << "\\" << C; |
Nick Hildenbrandt | c3dd2af | 2002-09-30 21:11:55 +0000 | [diff] [blame] | 298 | else |
| 299 | Out << C; |
Chris Lattner | 6d49292 | 2002-08-19 21:32:41 +0000 | [diff] [blame] | 300 | } else { |
Chris Lattner | 02da6c0 | 2003-06-16 12:09:09 +0000 | [diff] [blame] | 301 | LastWasHex = false; |
Chris Lattner | 6d49292 | 2002-08-19 21:32:41 +0000 | [diff] [blame] | 302 | switch (C) { |
| 303 | case '\n': Out << "\\n"; break; |
| 304 | case '\t': Out << "\\t"; break; |
| 305 | case '\r': Out << "\\r"; break; |
| 306 | case '\v': Out << "\\v"; break; |
| 307 | case '\a': Out << "\\a"; break; |
Nick Hildenbrandt | c3dd2af | 2002-09-30 21:11:55 +0000 | [diff] [blame] | 308 | case '\"': Out << "\\\""; break; |
| 309 | case '\'': Out << "\\\'"; break; |
Chris Lattner | 6d49292 | 2002-08-19 21:32:41 +0000 | [diff] [blame] | 310 | default: |
| 311 | Out << "\\x"; |
Chris Lattner | 02da6c0 | 2003-06-16 12:09:09 +0000 | [diff] [blame] | 312 | Out << (char)(( C/16 < 10) ? ( C/16 +'0') : ( C/16 -10+'A')); |
| 313 | Out << (char)(((C&15) < 10) ? ((C&15)+'0') : ((C&15)-10+'A')); |
| 314 | LastWasHex = true; |
Chris Lattner | 6d49292 | 2002-08-19 21:32:41 +0000 | [diff] [blame] | 315 | break; |
| 316 | } |
| 317 | } |
| 318 | } |
| 319 | Out << "\""; |
| 320 | } else { |
| 321 | Out << "{"; |
| 322 | if (CPA->getNumOperands()) { |
| 323 | Out << " "; |
| 324 | printConstant(cast<Constant>(CPA->getOperand(0))); |
| 325 | for (unsigned i = 1, e = CPA->getNumOperands(); i != e; ++i) { |
| 326 | Out << ", "; |
| 327 | printConstant(cast<Constant>(CPA->getOperand(i))); |
| 328 | } |
| 329 | } |
| 330 | Out << " }"; |
| 331 | } |
| 332 | } |
| 333 | |
Chris Lattner | dd76aca | 2003-10-05 00:40:51 +0000 | [diff] [blame] | 334 | // isFPCSafeToPrint - Returns true if we may assume that CFP may be written out |
| 335 | // textually as a double (rather than as a reference to a stack-allocated |
| 336 | // variable). We decide this by converting CFP to a string and back into a |
| 337 | // double, and then checking whether the conversion results in a bit-equal |
| 338 | // double to the original value of CFP. This depends on us and the target C |
| 339 | // compiler agreeing on the conversion process (which is pretty likely since we |
| 340 | // only deal in IEEE FP). |
| 341 | // |
| 342 | static bool isFPCSafeToPrint(const ConstantFP *CFP) { |
Chris Lattner | 4946a8c | 2003-10-13 17:13:53 +0000 | [diff] [blame] | 343 | #if HAVE_PRINTF_A |
Chris Lattner | 5ef6ffd | 2003-10-12 08:12:58 +0000 | [diff] [blame] | 344 | char Buffer[100]; |
| 345 | sprintf(Buffer, "%a", CFP->getValue()); |
| 346 | |
| 347 | if (!strncmp(Buffer, "0x", 2) || |
| 348 | !strncmp(Buffer, "-0x", 3) || |
| 349 | !strncmp(Buffer, "+0x", 3)) |
| 350 | return atof(Buffer) == CFP->getValue(); |
| 351 | return false; |
| 352 | #else |
Brian Gaeke | b471a23 | 2003-06-17 23:55:35 +0000 | [diff] [blame] | 353 | std::string StrVal = ftostr(CFP->getValue()); |
Chris Lattner | 9860e77 | 2003-10-12 04:36:29 +0000 | [diff] [blame] | 354 | |
| 355 | while (StrVal[0] == ' ') |
| 356 | StrVal.erase(StrVal.begin()); |
| 357 | |
Chris Lattner | dd76aca | 2003-10-05 00:40:51 +0000 | [diff] [blame] | 358 | // Check to make sure that the stringized number is not some string like "Inf" |
| 359 | // or NaN. Check that the string matches the "[-+]?[0-9]" regex. |
Brian Gaeke | b471a23 | 2003-06-17 23:55:35 +0000 | [diff] [blame] | 360 | if ((StrVal[0] >= '0' && StrVal[0] <= '9') || |
| 361 | ((StrVal[0] == '-' || StrVal[0] == '+') && |
| 362 | (StrVal[1] >= '0' && StrVal[1] <= '9'))) |
| 363 | // Reparse stringized version! |
Chris Lattner | dd76aca | 2003-10-05 00:40:51 +0000 | [diff] [blame] | 364 | return atof(StrVal.c_str()) == CFP->getValue(); |
Brian Gaeke | b471a23 | 2003-06-17 23:55:35 +0000 | [diff] [blame] | 365 | return false; |
Chris Lattner | 5ef6ffd | 2003-10-12 08:12:58 +0000 | [diff] [blame] | 366 | #endif |
Brian Gaeke | b471a23 | 2003-06-17 23:55:35 +0000 | [diff] [blame] | 367 | } |
Chris Lattner | 6d49292 | 2002-08-19 21:32:41 +0000 | [diff] [blame] | 368 | |
| 369 | // printConstant - The LLVM Constant to C Constant converter. |
| 370 | void CWriter::printConstant(Constant *CPV) { |
| 371 | if (const ConstantExpr *CE = dyn_cast<ConstantExpr>(CPV)) { |
| 372 | switch (CE->getOpcode()) { |
Chris Lattner | df35a1c | 2002-08-19 23:09:46 +0000 | [diff] [blame] | 373 | case Instruction::Cast: |
| 374 | Out << "(("; |
Nick Hildenbrandt | 9850237 | 2002-11-18 20:55:50 +0000 | [diff] [blame] | 375 | printType(Out, CPV->getType()); |
Chris Lattner | df35a1c | 2002-08-19 23:09:46 +0000 | [diff] [blame] | 376 | Out << ")"; |
Chris Lattner | 84c0d5e | 2003-05-14 17:50:19 +0000 | [diff] [blame] | 377 | printConstant(CE->getOperand(0)); |
Chris Lattner | df35a1c | 2002-08-19 23:09:46 +0000 | [diff] [blame] | 378 | Out << ")"; |
| 379 | return; |
| 380 | |
| 381 | case Instruction::GetElementPtr: |
Nick Hildenbrandt | d2eb386 | 2002-10-03 20:47:24 +0000 | [diff] [blame] | 382 | Out << "(&("; |
Chris Lattner | 84c0d5e | 2003-05-14 17:50:19 +0000 | [diff] [blame] | 383 | printIndexingExpression(CE->getOperand(0), |
Chris Lattner | df35a1c | 2002-08-19 23:09:46 +0000 | [diff] [blame] | 384 | CPV->op_begin()+1, CPV->op_end()); |
Nick Hildenbrandt | d2eb386 | 2002-10-03 20:47:24 +0000 | [diff] [blame] | 385 | Out << "))"; |
Chris Lattner | df35a1c | 2002-08-19 23:09:46 +0000 | [diff] [blame] | 386 | return; |
| 387 | case Instruction::Add: |
Chris Lattner | df35a1c | 2002-08-19 23:09:46 +0000 | [diff] [blame] | 388 | case Instruction::Sub: |
Chris Lattner | 2925592 | 2003-08-14 19:19:53 +0000 | [diff] [blame] | 389 | case Instruction::Mul: |
| 390 | case Instruction::Div: |
| 391 | case Instruction::Rem: |
| 392 | case Instruction::SetEQ: |
| 393 | case Instruction::SetNE: |
| 394 | case Instruction::SetLT: |
| 395 | case Instruction::SetLE: |
| 396 | case Instruction::SetGT: |
| 397 | case Instruction::SetGE: |
Chris Lattner | df35a1c | 2002-08-19 23:09:46 +0000 | [diff] [blame] | 398 | Out << "("; |
Chris Lattner | 84c0d5e | 2003-05-14 17:50:19 +0000 | [diff] [blame] | 399 | printConstant(CE->getOperand(0)); |
Chris Lattner | 2925592 | 2003-08-14 19:19:53 +0000 | [diff] [blame] | 400 | switch (CE->getOpcode()) { |
| 401 | case Instruction::Add: Out << " + "; break; |
| 402 | case Instruction::Sub: Out << " - "; break; |
| 403 | case Instruction::Mul: Out << " * "; break; |
| 404 | case Instruction::Div: Out << " / "; break; |
| 405 | case Instruction::Rem: Out << " % "; break; |
| 406 | case Instruction::SetEQ: Out << " == "; break; |
| 407 | case Instruction::SetNE: Out << " != "; break; |
| 408 | case Instruction::SetLT: Out << " < "; break; |
| 409 | case Instruction::SetLE: Out << " <= "; break; |
| 410 | case Instruction::SetGT: Out << " > "; break; |
| 411 | case Instruction::SetGE: Out << " >= "; break; |
| 412 | default: assert(0 && "Illegal opcode here!"); |
| 413 | } |
Chris Lattner | 84c0d5e | 2003-05-14 17:50:19 +0000 | [diff] [blame] | 414 | printConstant(CE->getOperand(1)); |
Chris Lattner | df35a1c | 2002-08-19 23:09:46 +0000 | [diff] [blame] | 415 | Out << ")"; |
| 416 | return; |
| 417 | |
Chris Lattner | 6d49292 | 2002-08-19 21:32:41 +0000 | [diff] [blame] | 418 | default: |
| 419 | std::cerr << "CWriter Error: Unhandled constant expression: " |
| 420 | << CE << "\n"; |
| 421 | abort(); |
| 422 | } |
| 423 | } |
| 424 | |
| 425 | switch (CPV->getType()->getPrimitiveID()) { |
| 426 | case Type::BoolTyID: |
| 427 | Out << (CPV == ConstantBool::False ? "0" : "1"); break; |
| 428 | case Type::SByteTyID: |
| 429 | case Type::ShortTyID: |
Chris Lattner | 6d49292 | 2002-08-19 21:32:41 +0000 | [diff] [blame] | 430 | Out << cast<ConstantSInt>(CPV)->getValue(); break; |
Chris Lattner | 45343ea | 2003-05-12 15:39:31 +0000 | [diff] [blame] | 431 | case Type::IntTyID: |
| 432 | if ((int)cast<ConstantSInt>(CPV)->getValue() == (int)0x80000000) |
| 433 | Out << "((int)0x80000000)"; // Handle MININT specially to avoid warning |
| 434 | else |
| 435 | Out << cast<ConstantSInt>(CPV)->getValue(); |
| 436 | break; |
| 437 | |
Chris Lattner | 6d49292 | 2002-08-19 21:32:41 +0000 | [diff] [blame] | 438 | case Type::LongTyID: |
| 439 | Out << cast<ConstantSInt>(CPV)->getValue() << "ll"; break; |
| 440 | |
| 441 | case Type::UByteTyID: |
| 442 | case Type::UShortTyID: |
| 443 | Out << cast<ConstantUInt>(CPV)->getValue(); break; |
| 444 | case Type::UIntTyID: |
| 445 | Out << cast<ConstantUInt>(CPV)->getValue() << "u"; break; |
| 446 | case Type::ULongTyID: |
| 447 | Out << cast<ConstantUInt>(CPV)->getValue() << "ull"; break; |
| 448 | |
| 449 | case Type::FloatTyID: |
Chris Lattner | d1cf1b4 | 2002-09-20 23:26:33 +0000 | [diff] [blame] | 450 | case Type::DoubleTyID: { |
| 451 | ConstantFP *FPC = cast<ConstantFP>(CPV); |
Chris Lattner | edd8ce1 | 2003-05-03 03:14:35 +0000 | [diff] [blame] | 452 | std::map<const ConstantFP*, unsigned>::iterator I = FPConstantMap.find(FPC); |
Chris Lattner | d1cf1b4 | 2002-09-20 23:26:33 +0000 | [diff] [blame] | 453 | if (I != FPConstantMap.end()) { |
| 454 | // Because of FP precision problems we must load from a stack allocated |
| 455 | // value that holds the value in hex. |
| 456 | Out << "(*(" << (FPC->getType() == Type::FloatTy ? "float" : "double") |
Chris Lattner | 9860e77 | 2003-10-12 04:36:29 +0000 | [diff] [blame] | 457 | << "*)&FPConstant" << I->second << ")"; |
Chris Lattner | d1cf1b4 | 2002-09-20 23:26:33 +0000 | [diff] [blame] | 458 | } else { |
Chris Lattner | 4946a8c | 2003-10-13 17:13:53 +0000 | [diff] [blame] | 459 | #if HAVE_PRINTF_A |
Chris Lattner | dd76aca | 2003-10-05 00:40:51 +0000 | [diff] [blame] | 460 | // Print out the constant as a floating point number. |
Chris Lattner | 5ef6ffd | 2003-10-12 08:12:58 +0000 | [diff] [blame] | 461 | char Buffer[100]; |
| 462 | sprintf(Buffer, "%a", FPC->getValue()); |
| 463 | Out << Buffer << " /*" << FPC->getValue() << "*/ "; |
| 464 | #else |
Chris Lattner | dd76aca | 2003-10-05 00:40:51 +0000 | [diff] [blame] | 465 | Out << ftostr(FPC->getValue()); |
Chris Lattner | 5ef6ffd | 2003-10-12 08:12:58 +0000 | [diff] [blame] | 466 | #endif |
Chris Lattner | d1cf1b4 | 2002-09-20 23:26:33 +0000 | [diff] [blame] | 467 | } |
| 468 | break; |
| 469 | } |
Chris Lattner | 6d49292 | 2002-08-19 21:32:41 +0000 | [diff] [blame] | 470 | |
| 471 | case Type::ArrayTyID: |
| 472 | printConstantArray(cast<ConstantArray>(CPV)); |
| 473 | break; |
| 474 | |
| 475 | case Type::StructTyID: { |
| 476 | Out << "{"; |
| 477 | if (CPV->getNumOperands()) { |
| 478 | Out << " "; |
| 479 | printConstant(cast<Constant>(CPV->getOperand(0))); |
| 480 | for (unsigned i = 1, e = CPV->getNumOperands(); i != e; ++i) { |
| 481 | Out << ", "; |
| 482 | printConstant(cast<Constant>(CPV->getOperand(i))); |
| 483 | } |
| 484 | } |
| 485 | Out << " }"; |
| 486 | break; |
| 487 | } |
| 488 | |
| 489 | case Type::PointerTyID: |
Chris Lattner | 4fbf26d | 2002-05-09 20:53:56 +0000 | [diff] [blame] | 490 | if (isa<ConstantPointerNull>(CPV)) { |
Chris Lattner | cf135cb | 2003-06-02 03:10:53 +0000 | [diff] [blame] | 491 | Out << "(("; |
| 492 | printType(Out, CPV->getType()); |
| 493 | Out << ")/*NULL*/0)"; |
Chris Lattner | 6d49292 | 2002-08-19 21:32:41 +0000 | [diff] [blame] | 494 | break; |
| 495 | } else if (ConstantPointerRef *CPR = dyn_cast<ConstantPointerRef>(CPV)) { |
| 496 | writeOperand(CPR->getValue()); |
| 497 | break; |
| 498 | } |
| 499 | // FALL THROUGH |
| 500 | default: |
| 501 | std::cerr << "Unknown constant type: " << CPV << "\n"; |
| 502 | abort(); |
| 503 | } |
| 504 | } |
| 505 | |
| 506 | void CWriter::writeOperandInternal(Value *Operand) { |
Chris Lattner | df35a1c | 2002-08-19 23:09:46 +0000 | [diff] [blame] | 507 | if (Instruction *I = dyn_cast<Instruction>(Operand)) |
Chris Lattner | a8ab89e | 2003-06-17 04:39:14 +0000 | [diff] [blame] | 508 | if (isInlinableInst(*I) && !isDirectAlloca(I)) { |
Chris Lattner | df35a1c | 2002-08-19 23:09:46 +0000 | [diff] [blame] | 509 | // Should we inline this instruction to build a tree? |
| 510 | Out << "("; |
| 511 | visit(*I); |
| 512 | Out << ")"; |
| 513 | return; |
| 514 | } |
| 515 | |
Brian Gaeke | d9fb37a | 2003-07-24 20:20:44 +0000 | [diff] [blame] | 516 | if (Constant *CPV = dyn_cast<Constant>(Operand)) { |
Chris Lattner | 6d49292 | 2002-08-19 21:32:41 +0000 | [diff] [blame] | 517 | printConstant(CPV); |
Chris Lattner | 4fbf26d | 2002-05-09 20:53:56 +0000 | [diff] [blame] | 518 | } else { |
Brian Gaeke | d9fb37a | 2003-07-24 20:20:44 +0000 | [diff] [blame] | 519 | Out << Mang->getValueName(Operand); |
Chris Lattner | 4fbf26d | 2002-05-09 20:53:56 +0000 | [diff] [blame] | 520 | } |
Chris Lattner | d0c668c | 2002-05-09 21:18:38 +0000 | [diff] [blame] | 521 | } |
| 522 | |
Chris Lattner | bb03efd | 2002-06-25 15:57:03 +0000 | [diff] [blame] | 523 | void CWriter::writeOperand(Value *Operand) { |
Chris Lattner | a8ab89e | 2003-06-17 04:39:14 +0000 | [diff] [blame] | 524 | if (isa<GlobalVariable>(Operand) || isDirectAlloca(Operand)) |
Chris Lattner | d0c668c | 2002-05-09 21:18:38 +0000 | [diff] [blame] | 525 | Out << "(&"; // Global variables are references as their addresses by llvm |
| 526 | |
| 527 | writeOperandInternal(Operand); |
Chris Lattner | 4fbf26d | 2002-05-09 20:53:56 +0000 | [diff] [blame] | 528 | |
Chris Lattner | a8ab89e | 2003-06-17 04:39:14 +0000 | [diff] [blame] | 529 | if (isa<GlobalVariable>(Operand) || isDirectAlloca(Operand)) |
Chris Lattner | 4fbf26d | 2002-05-09 20:53:56 +0000 | [diff] [blame] | 530 | Out << ")"; |
| 531 | } |
| 532 | |
Chris Lattner | 0e9f93e | 2002-08-31 00:29:16 +0000 | [diff] [blame] | 533 | // nameAllUsedStructureTypes - If there are structure types in the module that |
| 534 | // are used but do not have names assigned to them in the symbol table yet then |
| 535 | // we assign them names now. |
| 536 | // |
| 537 | bool CWriter::nameAllUsedStructureTypes(Module &M) { |
| 538 | // Get a set of types that are used by the program... |
Chris Lattner | fa395ec | 2003-11-02 01:29:27 +0000 | [diff] [blame] | 539 | std::set<const Type *> UT = FUT->getTypes(); |
Chris Lattner | 0e9f93e | 2002-08-31 00:29:16 +0000 | [diff] [blame] | 540 | |
| 541 | // Loop over the module symbol table, removing types from UT that are already |
| 542 | // named. |
| 543 | // |
Chris Lattner | 6e6026b | 2002-11-20 18:36:02 +0000 | [diff] [blame] | 544 | SymbolTable &MST = M.getSymbolTable(); |
| 545 | if (MST.find(Type::TypeTy) != MST.end()) |
| 546 | for (SymbolTable::type_iterator I = MST.type_begin(Type::TypeTy), |
| 547 | E = MST.type_end(Type::TypeTy); I != E; ++I) |
Chris Lattner | 0e9f93e | 2002-08-31 00:29:16 +0000 | [diff] [blame] | 548 | UT.erase(cast<Type>(I->second)); |
| 549 | |
| 550 | // UT now contains types that are not named. Loop over it, naming structure |
| 551 | // types. |
| 552 | // |
| 553 | bool Changed = false; |
| 554 | for (std::set<const Type *>::const_iterator I = UT.begin(), E = UT.end(); |
| 555 | I != E; ++I) |
| 556 | if (const StructType *ST = dyn_cast<StructType>(*I)) { |
Chris Lattner | 6e6026b | 2002-11-20 18:36:02 +0000 | [diff] [blame] | 557 | ((Value*)ST)->setName("unnamed", &MST); |
Chris Lattner | 0e9f93e | 2002-08-31 00:29:16 +0000 | [diff] [blame] | 558 | Changed = true; |
| 559 | } |
| 560 | return Changed; |
| 561 | } |
| 562 | |
Chris Lattner | 4148819 | 2003-06-28 17:15:12 +0000 | [diff] [blame] | 563 | // generateCompilerSpecificCode - This is where we add conditional compilation |
| 564 | // directives to cater to specific compilers as need be. |
| 565 | // |
| 566 | static void generateCompilerSpecificCode(std::ostream& Out) { |
| 567 | // Alloca is hard to get, and we don't want to include stdlib.h here... |
| 568 | Out << "/* get a declaration for alloca */\n" |
| 569 | << "#ifdef sun\n" |
Joel Stanley | ecd78ac | 2003-02-12 20:45:00 +0000 | [diff] [blame] | 570 | << "extern void *__builtin_alloca(unsigned long);\n" |
| 571 | << "#define alloca(x) __builtin_alloca(x)\n" |
| 572 | << "#else\n" |
Brian Gaeke | a0145cc | 2003-06-16 23:57:13 +0000 | [diff] [blame] | 573 | << "#ifndef __FreeBSD__\n" |
Joel Stanley | ecd78ac | 2003-02-12 20:45:00 +0000 | [diff] [blame] | 574 | << "#include <alloca.h>\n" |
Brian Gaeke | a0145cc | 2003-06-16 23:57:13 +0000 | [diff] [blame] | 575 | << "#endif\n" |
Joel Stanley | ecd78ac | 2003-02-12 20:45:00 +0000 | [diff] [blame] | 576 | << "#endif\n\n"; |
Chris Lattner | 4148819 | 2003-06-28 17:15:12 +0000 | [diff] [blame] | 577 | |
| 578 | // We output GCC specific attributes to preserve 'linkonce'ness on globals. |
| 579 | // If we aren't being compiled with GCC, just drop these attributes. |
Chris Lattner | 9bda5f5 | 2003-06-28 17:53:05 +0000 | [diff] [blame] | 580 | Out << "#ifndef __GNUC__ /* Can only support \"linkonce\" vars with GCC */\n" |
Chris Lattner | 4148819 | 2003-06-28 17:15:12 +0000 | [diff] [blame] | 581 | << "#define __attribute__(X)\n" |
| 582 | << "#endif\n"; |
Joel Stanley | ecd78ac | 2003-02-12 20:45:00 +0000 | [diff] [blame] | 583 | } |
| 584 | |
Chris Lattner | 8c3c4bf | 2002-05-09 15:49:41 +0000 | [diff] [blame] | 585 | void CWriter::printModule(Module *M) { |
Chris Lattner | 78771c8 | 2002-05-17 04:55:35 +0000 | [diff] [blame] | 586 | // Calculate which global values have names that will collide when we throw |
| 587 | // away type information. |
Chris Lattner | 594b9fa | 2002-05-21 21:10:04 +0000 | [diff] [blame] | 588 | { // Scope to delete the FoundNames set when we are done with it... |
Chris Lattner | edd8ce1 | 2003-05-03 03:14:35 +0000 | [diff] [blame] | 589 | std::set<std::string> FoundNames; |
Chris Lattner | 78771c8 | 2002-05-17 04:55:35 +0000 | [diff] [blame] | 590 | for (Module::iterator I = M->begin(), E = M->end(); I != E; ++I) |
Chris Lattner | bb03efd | 2002-06-25 15:57:03 +0000 | [diff] [blame] | 591 | if (I->hasName()) // If the global has a name... |
| 592 | if (FoundNames.count(I->getName())) // And the name is already used |
| 593 | MangledGlobals.insert(I); // Mangle the name |
Chris Lattner | 78771c8 | 2002-05-17 04:55:35 +0000 | [diff] [blame] | 594 | else |
Chris Lattner | bb03efd | 2002-06-25 15:57:03 +0000 | [diff] [blame] | 595 | FoundNames.insert(I->getName()); // Otherwise, keep track of name |
Chris Lattner | 78771c8 | 2002-05-17 04:55:35 +0000 | [diff] [blame] | 596 | |
| 597 | for (Module::giterator I = M->gbegin(), E = M->gend(); I != E; ++I) |
Chris Lattner | bb03efd | 2002-06-25 15:57:03 +0000 | [diff] [blame] | 598 | if (I->hasName()) // If the global has a name... |
| 599 | if (FoundNames.count(I->getName())) // And the name is already used |
| 600 | MangledGlobals.insert(I); // Mangle the name |
Chris Lattner | 78771c8 | 2002-05-17 04:55:35 +0000 | [diff] [blame] | 601 | else |
Chris Lattner | bb03efd | 2002-06-25 15:57:03 +0000 | [diff] [blame] | 602 | FoundNames.insert(I->getName()); // Otherwise, keep track of name |
Chris Lattner | 78771c8 | 2002-05-17 04:55:35 +0000 | [diff] [blame] | 603 | } |
| 604 | |
Chris Lattner | 16c7bb2 | 2002-05-09 02:28:59 +0000 | [diff] [blame] | 605 | // get declaration for alloca |
Joel Stanley | ecd78ac | 2003-02-12 20:45:00 +0000 | [diff] [blame] | 606 | Out << "/* Provide Declarations */\n"; |
Chris Lattner | 18ac3c8 | 2003-05-08 18:41:45 +0000 | [diff] [blame] | 607 | Out << "#include <stdarg.h>\n"; |
Chris Lattner | c436b37 | 2003-05-17 22:26:33 +0000 | [diff] [blame] | 608 | Out << "#include <setjmp.h>\n"; |
Chris Lattner | 4148819 | 2003-06-28 17:15:12 +0000 | [diff] [blame] | 609 | generateCompilerSpecificCode(Out); |
Joel Stanley | ecd78ac | 2003-02-12 20:45:00 +0000 | [diff] [blame] | 610 | |
Chris Lattner | cf135cb | 2003-06-02 03:10:53 +0000 | [diff] [blame] | 611 | // Provide a definition for `bool' if not compiling with a C++ compiler. |
| 612 | Out << "\n" |
Vikram S. Adve | 969c4ad | 2002-08-25 20:00:08 +0000 | [diff] [blame] | 613 | << "#ifndef __cplusplus\ntypedef unsigned char bool;\n#endif\n" |
Joel Stanley | ecd78ac | 2003-02-12 20:45:00 +0000 | [diff] [blame] | 614 | |
Chris Lattner | d1cf1b4 | 2002-09-20 23:26:33 +0000 | [diff] [blame] | 615 | << "\n\n/* Support for floating point constants */\n" |
| 616 | << "typedef unsigned long long ConstantDoubleTy;\n" |
Chris Lattner | eb6f8c7 | 2002-11-07 19:43:59 +0000 | [diff] [blame] | 617 | << "typedef unsigned int ConstantFloatTy;\n" |
Joel Stanley | ecd78ac | 2003-02-12 20:45:00 +0000 | [diff] [blame] | 618 | |
Chris Lattner | 9bda5f5 | 2003-06-28 17:53:05 +0000 | [diff] [blame] | 619 | << "\n\n/* Support for the invoke instruction */\n" |
| 620 | << "extern struct __llvm_jmpbuf_list_t {\n" |
| 621 | << " jmp_buf buf; struct __llvm_jmpbuf_list_t *next;\n" |
| 622 | << "} *__llvm_jmpbuf_list;\n" |
| 623 | |
Chris Lattner | a4d4a85 | 2002-08-19 21:48:40 +0000 | [diff] [blame] | 624 | << "\n\n/* Global Declarations */\n"; |
| 625 | |
| 626 | // First output all the declarations for the program, because C requires |
| 627 | // Functions & globals to be declared before they are used. |
| 628 | // |
Chris Lattner | 16c7bb2 | 2002-05-09 02:28:59 +0000 | [diff] [blame] | 629 | |
Sumant Kowshik | 9ddc86c | 2002-05-08 18:09:58 +0000 | [diff] [blame] | 630 | // Loop over the symbol table, emitting all named constants... |
Chris Lattner | 6e6026b | 2002-11-20 18:36:02 +0000 | [diff] [blame] | 631 | printSymbolTable(M->getSymbolTable()); |
Sumant Kowshik | 9ddc86c | 2002-05-08 18:09:58 +0000 | [diff] [blame] | 632 | |
Chris Lattner | a4d4a85 | 2002-08-19 21:48:40 +0000 | [diff] [blame] | 633 | // Global variable declarations... |
| 634 | if (!M->gempty()) { |
Vikram S. Adve | 913bfbc | 2002-09-17 11:50:38 +0000 | [diff] [blame] | 635 | Out << "\n/* External Global Variable Declarations */\n"; |
Chris Lattner | a4d4a85 | 2002-08-19 21:48:40 +0000 | [diff] [blame] | 636 | for (Module::giterator I = M->gbegin(), E = M->gend(); I != E; ++I) { |
Vikram S. Adve | 913bfbc | 2002-09-17 11:50:38 +0000 | [diff] [blame] | 637 | if (I->hasExternalLinkage()) { |
| 638 | Out << "extern "; |
Brian Gaeke | d9fb37a | 2003-07-24 20:20:44 +0000 | [diff] [blame] | 639 | printType(Out, I->getType()->getElementType(), Mang->getValueName(I)); |
Vikram S. Adve | 913bfbc | 2002-09-17 11:50:38 +0000 | [diff] [blame] | 640 | Out << ";\n"; |
| 641 | } |
Chris Lattner | deed7a5 | 2002-05-09 15:18:52 +0000 | [diff] [blame] | 642 | } |
Chris Lattner | deed7a5 | 2002-05-09 15:18:52 +0000 | [diff] [blame] | 643 | } |
Sumant Kowshik | 9ddc86c | 2002-05-08 18:09:58 +0000 | [diff] [blame] | 644 | |
Chris Lattner | a4d4a85 | 2002-08-19 21:48:40 +0000 | [diff] [blame] | 645 | // Function declarations |
| 646 | if (!M->empty()) { |
| 647 | Out << "\n/* Function Declarations */\n"; |
Nick Hildenbrandt | 3cecdc5 | 2002-10-23 18:59:40 +0000 | [diff] [blame] | 648 | needsMalloc = true; |
Chris Lattner | 4cda835 | 2002-08-20 16:55:48 +0000 | [diff] [blame] | 649 | for (Module::iterator I = M->begin(), E = M->end(); I != E; ++I) { |
Nick Hildenbrandt | a1a64f8 | 2002-11-18 22:21:52 +0000 | [diff] [blame] | 650 | // If the function is external and the name collides don't print it. |
Chris Lattner | 18ac3c8 | 2003-05-08 18:41:45 +0000 | [diff] [blame] | 651 | // Sometimes the bytecode likes to have multiple "declarations" for |
Chris Lattner | edd8ce1 | 2003-05-03 03:14:35 +0000 | [diff] [blame] | 652 | // external functions |
Chris Lattner | 18ac3c8 | 2003-05-08 18:41:45 +0000 | [diff] [blame] | 653 | if ((I->hasInternalLinkage() || !MangledGlobals.count(I)) && |
| 654 | !I->getIntrinsicID()) { |
Nick Hildenbrandt | a1a64f8 | 2002-11-18 22:21:52 +0000 | [diff] [blame] | 655 | printFunctionSignature(I, true); |
Chris Lattner | 2580d4f | 2003-11-03 17:32:38 +0000 | [diff] [blame^] | 656 | if (I->hasWeakLinkage()) Out << " __attribute__((weak))"; |
Nick Hildenbrandt | a1a64f8 | 2002-11-18 22:21:52 +0000 | [diff] [blame] | 657 | Out << ";\n"; |
| 658 | } |
Chris Lattner | 4cda835 | 2002-08-20 16:55:48 +0000 | [diff] [blame] | 659 | } |
Chris Lattner | a4d4a85 | 2002-08-19 21:48:40 +0000 | [diff] [blame] | 660 | } |
| 661 | |
Nick Hildenbrandt | 3cecdc5 | 2002-10-23 18:59:40 +0000 | [diff] [blame] | 662 | // Print Malloc prototype if needed |
Misha Brukman | ac25de3 | 2003-07-09 17:33:50 +0000 | [diff] [blame] | 663 | if (needsMalloc) { |
Nick Hildenbrandt | 3cecdc5 | 2002-10-23 18:59:40 +0000 | [diff] [blame] | 664 | Out << "\n/* Malloc to make sun happy */\n"; |
John Criswell | cf6d7b0 | 2003-07-08 14:52:09 +0000 | [diff] [blame] | 665 | Out << "extern void * malloc();\n\n"; |
Nick Hildenbrandt | 3cecdc5 | 2002-10-23 18:59:40 +0000 | [diff] [blame] | 666 | } |
| 667 | |
Joel Stanley | 54f6032 | 2003-06-25 04:52:09 +0000 | [diff] [blame] | 668 | // Output the global variable declarations |
Nick Hildenbrandt | 50de36a | 2002-10-28 19:05:12 +0000 | [diff] [blame] | 669 | if (!M->gempty()) { |
Joel Stanley | 54f6032 | 2003-06-25 04:52:09 +0000 | [diff] [blame] | 670 | Out << "\n\n/* Global Variable Declarations */\n"; |
Nick Hildenbrandt | 50de36a | 2002-10-28 19:05:12 +0000 | [diff] [blame] | 671 | for (Module::giterator I = M->gbegin(), E = M->gend(); I != E; ++I) |
| 672 | if (!I->isExternal()) { |
| 673 | Out << "extern "; |
Brian Gaeke | d9fb37a | 2003-07-24 20:20:44 +0000 | [diff] [blame] | 674 | printType(Out, I->getType()->getElementType(), Mang->getValueName(I)); |
Chris Lattner | 2580d4f | 2003-11-03 17:32:38 +0000 | [diff] [blame^] | 675 | |
| 676 | if (I->hasLinkOnceLinkage()) |
| 677 | Out << " __attribute__((common))"; |
| 678 | else if (I->hasWeakLinkage()) |
| 679 | Out << " __attribute__((weak))"; |
Nick Hildenbrandt | 50de36a | 2002-10-28 19:05:12 +0000 | [diff] [blame] | 680 | Out << ";\n"; |
| 681 | } |
| 682 | } |
| 683 | |
Vikram S. Adve | 913bfbc | 2002-09-17 11:50:38 +0000 | [diff] [blame] | 684 | // Output the global variable definitions and contents... |
Chris Lattner | a4d4a85 | 2002-08-19 21:48:40 +0000 | [diff] [blame] | 685 | if (!M->gempty()) { |
Vikram S. Adve | 913bfbc | 2002-09-17 11:50:38 +0000 | [diff] [blame] | 686 | Out << "\n\n/* Global Variable Definitions and Initialization */\n"; |
Chris Lattner | e8e035b | 2002-10-16 20:08:47 +0000 | [diff] [blame] | 687 | for (Module::giterator I = M->gbegin(), E = M->gend(); I != E; ++I) |
| 688 | if (!I->isExternal()) { |
| 689 | if (I->hasInternalLinkage()) |
| 690 | Out << "static "; |
Brian Gaeke | d9fb37a | 2003-07-24 20:20:44 +0000 | [diff] [blame] | 691 | printType(Out, I->getType()->getElementType(), Mang->getValueName(I)); |
Chris Lattner | 76d9f1b | 2003-06-28 17:08:36 +0000 | [diff] [blame] | 692 | if (I->hasLinkOnceLinkage()) |
| 693 | Out << " __attribute__((common))"; |
Chris Lattner | 72ac148d | 2003-10-16 18:29:00 +0000 | [diff] [blame] | 694 | else if (I->hasWeakLinkage()) |
| 695 | Out << " __attribute__((weak))"; |
Chris Lattner | 940b08d | 2003-06-06 07:10:24 +0000 | [diff] [blame] | 696 | if (!I->getInitializer()->isNullValue()) { |
| 697 | Out << " = " ; |
| 698 | writeOperand(I->getInitializer()); |
| 699 | } |
Chris Lattner | e8e035b | 2002-10-16 20:08:47 +0000 | [diff] [blame] | 700 | Out << ";\n"; |
Chris Lattner | a4d4a85 | 2002-08-19 21:48:40 +0000 | [diff] [blame] | 701 | } |
Chris Lattner | a4d4a85 | 2002-08-19 21:48:40 +0000 | [diff] [blame] | 702 | } |
| 703 | |
Chris Lattner | 9860e77 | 2003-10-12 04:36:29 +0000 | [diff] [blame] | 704 | // Output all floating point constants that cannot be printed accurately... |
| 705 | printFloatingPointConstants(*M); |
| 706 | |
Chris Lattner | 16c7bb2 | 2002-05-09 02:28:59 +0000 | [diff] [blame] | 707 | // Output all of the functions... |
Chris Lattner | 9bda5f5 | 2003-06-28 17:53:05 +0000 | [diff] [blame] | 708 | emittedInvoke = false; |
Chris Lattner | a4d4a85 | 2002-08-19 21:48:40 +0000 | [diff] [blame] | 709 | if (!M->empty()) { |
| 710 | Out << "\n\n/* Function Bodies */\n"; |
| 711 | for (Module::iterator I = M->begin(), E = M->end(); I != E; ++I) |
| 712 | printFunction(I); |
| 713 | } |
Chris Lattner | 9bda5f5 | 2003-06-28 17:53:05 +0000 | [diff] [blame] | 714 | |
| 715 | // If the program included an invoke instruction, we need to output the |
| 716 | // support code for it here! |
| 717 | if (emittedInvoke) { |
| 718 | Out << "\n/* More support for the invoke instruction */\n" |
| 719 | << "struct __llvm_jmpbuf_list_t *__llvm_jmpbuf_list " |
| 720 | << "__attribute__((common)) = 0;\n"; |
| 721 | } |
Chris Lattner | 9860e77 | 2003-10-12 04:36:29 +0000 | [diff] [blame] | 722 | |
| 723 | // Done with global FP constants |
| 724 | FPConstantMap.clear(); |
Sumant Kowshik | 9ddc86c | 2002-05-08 18:09:58 +0000 | [diff] [blame] | 725 | } |
| 726 | |
Chris Lattner | 9860e77 | 2003-10-12 04:36:29 +0000 | [diff] [blame] | 727 | /// Output all floating point constants that cannot be printed accurately... |
| 728 | void CWriter::printFloatingPointConstants(Module &M) { |
| 729 | union { |
| 730 | double D; |
| 731 | unsigned long long U; |
| 732 | } DBLUnion; |
| 733 | |
| 734 | union { |
| 735 | float F; |
| 736 | unsigned U; |
| 737 | } FLTUnion; |
| 738 | |
| 739 | // Scan the module for floating point constants. If any FP constant is used |
| 740 | // in the function, we want to redirect it here so that we do not depend on |
| 741 | // the precision of the printed form, unless the printed form preserves |
| 742 | // precision. |
| 743 | // |
| 744 | unsigned FPCounter = 0; |
| 745 | for (Module::iterator F = M.begin(), E = M.end(); F != E; ++F) |
| 746 | for (constant_iterator I = constant_begin(F), E = constant_end(F); |
| 747 | I != E; ++I) |
| 748 | if (const ConstantFP *FPC = dyn_cast<ConstantFP>(*I)) |
| 749 | if (!isFPCSafeToPrint(FPC) && // Do not put in FPConstantMap if safe. |
| 750 | !FPConstantMap.count(FPC)) { |
| 751 | double Val = FPC->getValue(); |
| 752 | |
| 753 | FPConstantMap[FPC] = FPCounter; // Number the FP constants |
| 754 | |
| 755 | if (FPC->getType() == Type::DoubleTy) { |
| 756 | DBLUnion.D = Val; |
| 757 | Out << "const ConstantDoubleTy FPConstant" << FPCounter++ |
| 758 | << " = 0x" << std::hex << DBLUnion.U << std::dec |
| 759 | << "ULL; /* " << Val << " */\n"; |
| 760 | } else if (FPC->getType() == Type::FloatTy) { |
| 761 | FLTUnion.F = Val; |
| 762 | Out << "const ConstantFloatTy FPConstant" << FPCounter++ |
| 763 | << " = 0x" << std::hex << FLTUnion.U << std::dec |
| 764 | << "U; /* " << Val << " */\n"; |
| 765 | } else |
| 766 | assert(0 && "Unknown float type!"); |
| 767 | } |
| 768 | |
| 769 | Out << "\n"; |
| 770 | } |
| 771 | |
Sumant Kowshik | 9ddc86c | 2002-05-08 18:09:58 +0000 | [diff] [blame] | 772 | |
Chris Lattner | 2db41cd | 2002-09-20 15:12:13 +0000 | [diff] [blame] | 773 | /// printSymbolTable - Run through symbol table looking for type names. If a |
| 774 | /// type name is found, emit it's declaration... |
Chris Lattner | a4c047e | 2002-09-20 14:56:54 +0000 | [diff] [blame] | 775 | /// |
Sumant Kowshik | 9ddc86c | 2002-05-08 18:09:58 +0000 | [diff] [blame] | 776 | void CWriter::printSymbolTable(const SymbolTable &ST) { |
Chris Lattner | 2db41cd | 2002-09-20 15:12:13 +0000 | [diff] [blame] | 777 | // If there are no type names, exit early. |
| 778 | if (ST.find(Type::TypeTy) == ST.end()) |
| 779 | return; |
| 780 | |
| 781 | // We are only interested in the type plane of the symbol table... |
| 782 | SymbolTable::type_const_iterator I = ST.type_begin(Type::TypeTy); |
| 783 | SymbolTable::type_const_iterator End = ST.type_end(Type::TypeTy); |
| 784 | |
Chris Lattner | 58d04d4 | 2002-09-20 15:18:30 +0000 | [diff] [blame] | 785 | // Print out forward declarations for structure types before anything else! |
| 786 | Out << "/* Structure forward decls */\n"; |
| 787 | for (; I != End; ++I) |
Chris Lattner | fa395ec | 2003-11-02 01:29:27 +0000 | [diff] [blame] | 788 | if (const Type *STy = dyn_cast<StructType>(I->second)) |
| 789 | // Only print out used types! |
| 790 | if (FUT->getTypes().count(STy)) { |
| 791 | std::string Name = "struct l_" + Mangler::makeNameProper(I->first); |
| 792 | Out << Name << ";\n"; |
| 793 | TypeNames.insert(std::make_pair(STy, Name)); |
| 794 | } |
Chris Lattner | 58d04d4 | 2002-09-20 15:18:30 +0000 | [diff] [blame] | 795 | |
| 796 | Out << "\n"; |
| 797 | |
| 798 | // Now we can print out typedefs... |
| 799 | Out << "/* Typedefs */\n"; |
Chris Lattner | fa395ec | 2003-11-02 01:29:27 +0000 | [diff] [blame] | 800 | for (I = ST.type_begin(Type::TypeTy); I != End; ++I) |
| 801 | // Only print out used types! |
| 802 | if (FUT->getTypes().count(cast<Type>(I->second))) { |
| 803 | const Type *Ty = cast<Type>(I->second); |
| 804 | std::string Name = "l_" + Mangler::makeNameProper(I->first); |
| 805 | Out << "typedef "; |
| 806 | printType(Out, Ty, Name); |
| 807 | Out << ";\n"; |
| 808 | } |
| 809 | |
Chris Lattner | 3ef6dc7 | 2002-05-09 14:40:11 +0000 | [diff] [blame] | 810 | Out << "\n"; |
| 811 | |
Chris Lattner | 2c601a7 | 2002-09-20 15:05:40 +0000 | [diff] [blame] | 812 | // Keep track of which structures have been printed so far... |
| 813 | std::set<const StructType *> StructPrinted; |
| 814 | |
Nick Hildenbrandt | 67aa2e2 | 2002-09-14 21:36:24 +0000 | [diff] [blame] | 815 | // Loop over all structures then push them into the stack so they are |
| 816 | // printed in the correct order. |
Chris Lattner | 2db41cd | 2002-09-20 15:12:13 +0000 | [diff] [blame] | 817 | // |
Chris Lattner | 58d04d4 | 2002-09-20 15:18:30 +0000 | [diff] [blame] | 818 | Out << "/* Structure contents */\n"; |
Chris Lattner | 2db41cd | 2002-09-20 15:12:13 +0000 | [diff] [blame] | 819 | for (I = ST.type_begin(Type::TypeTy); I != End; ++I) |
| 820 | if (const StructType *STy = dyn_cast<StructType>(I->second)) |
Chris Lattner | fa395ec | 2003-11-02 01:29:27 +0000 | [diff] [blame] | 821 | // Only print out used types! |
| 822 | if (FUT->getTypes().count(STy)) |
| 823 | printContainedStructs(STy, StructPrinted); |
Sumant Kowshik | 9ddc86c | 2002-05-08 18:09:58 +0000 | [diff] [blame] | 824 | } |
| 825 | |
Nick Hildenbrandt | 67aa2e2 | 2002-09-14 21:36:24 +0000 | [diff] [blame] | 826 | // Push the struct onto the stack and recursively push all structs |
| 827 | // this one depends on. |
Chris Lattner | 2c601a7 | 2002-09-20 15:05:40 +0000 | [diff] [blame] | 828 | void CWriter::printContainedStructs(const Type *Ty, |
| 829 | std::set<const StructType*> &StructPrinted){ |
Misha Brukman | ac25de3 | 2003-07-09 17:33:50 +0000 | [diff] [blame] | 830 | if (const StructType *STy = dyn_cast<StructType>(Ty)) { |
Nick Hildenbrandt | 67aa2e2 | 2002-09-14 21:36:24 +0000 | [diff] [blame] | 831 | //Check to see if we have already printed this struct |
Chris Lattner | 2c601a7 | 2002-09-20 15:05:40 +0000 | [diff] [blame] | 832 | if (StructPrinted.count(STy) == 0) { |
| 833 | // Print all contained types first... |
Chris Lattner | a4c047e | 2002-09-20 14:56:54 +0000 | [diff] [blame] | 834 | for (StructType::ElementTypes::const_iterator |
| 835 | I = STy->getElementTypes().begin(), |
| 836 | E = STy->getElementTypes().end(); I != E; ++I) { |
Chris Lattner | 2c601a7 | 2002-09-20 15:05:40 +0000 | [diff] [blame] | 837 | const Type *Ty1 = I->get(); |
Chris Lattner | a4c047e | 2002-09-20 14:56:54 +0000 | [diff] [blame] | 838 | if (isa<StructType>(Ty1) || isa<ArrayType>(Ty1)) |
Chris Lattner | ab2b328 | 2003-05-29 15:12:27 +0000 | [diff] [blame] | 839 | printContainedStructs(*I, StructPrinted); |
Chris Lattner | a4c047e | 2002-09-20 14:56:54 +0000 | [diff] [blame] | 840 | } |
| 841 | |
Chris Lattner | 2c601a7 | 2002-09-20 15:05:40 +0000 | [diff] [blame] | 842 | //Print structure type out.. |
Nick Hildenbrandt | 67aa2e2 | 2002-09-14 21:36:24 +0000 | [diff] [blame] | 843 | StructPrinted.insert(STy); |
Chris Lattner | edd8ce1 | 2003-05-03 03:14:35 +0000 | [diff] [blame] | 844 | std::string Name = TypeNames[STy]; |
Nick Hildenbrandt | 9850237 | 2002-11-18 20:55:50 +0000 | [diff] [blame] | 845 | printType(Out, STy, Name, true); |
Chris Lattner | 58d04d4 | 2002-09-20 15:18:30 +0000 | [diff] [blame] | 846 | Out << ";\n\n"; |
Nick Hildenbrandt | 67aa2e2 | 2002-09-14 21:36:24 +0000 | [diff] [blame] | 847 | } |
Chris Lattner | a4c047e | 2002-09-20 14:56:54 +0000 | [diff] [blame] | 848 | |
Chris Lattner | 2c601a7 | 2002-09-20 15:05:40 +0000 | [diff] [blame] | 849 | // If it is an array, check contained types and continue |
| 850 | } else if (const ArrayType *ATy = dyn_cast<ArrayType>(Ty)){ |
Nick Hildenbrandt | 67aa2e2 | 2002-09-14 21:36:24 +0000 | [diff] [blame] | 851 | const Type *Ty1 = ATy->getElementType(); |
| 852 | if (isa<StructType>(Ty1) || isa<ArrayType>(Ty1)) |
Chris Lattner | 2c601a7 | 2002-09-20 15:05:40 +0000 | [diff] [blame] | 853 | printContainedStructs(Ty1, StructPrinted); |
Nick Hildenbrandt | 67aa2e2 | 2002-09-14 21:36:24 +0000 | [diff] [blame] | 854 | } |
| 855 | } |
| 856 | |
Chris Lattner | 3ef6dc7 | 2002-05-09 14:40:11 +0000 | [diff] [blame] | 857 | |
Chris Lattner | 4cda835 | 2002-08-20 16:55:48 +0000 | [diff] [blame] | 858 | void CWriter::printFunctionSignature(const Function *F, bool Prototype) { |
Joel Stanley | 54f6032 | 2003-06-25 04:52:09 +0000 | [diff] [blame] | 859 | // If the program provides its own malloc prototype we don't need |
Nick Hildenbrandt | 3cecdc5 | 2002-10-23 18:59:40 +0000 | [diff] [blame] | 860 | // to include the general one. |
Brian Gaeke | d9fb37a | 2003-07-24 20:20:44 +0000 | [diff] [blame] | 861 | if (Mang->getValueName(F) == "malloc") |
Nick Hildenbrandt | 3cecdc5 | 2002-10-23 18:59:40 +0000 | [diff] [blame] | 862 | needsMalloc = false; |
Joel Stanley | 54f6032 | 2003-06-25 04:52:09 +0000 | [diff] [blame] | 863 | |
| 864 | if (F->hasInternalLinkage()) Out << "static "; |
| 865 | if (F->hasLinkOnceLinkage()) Out << "inline "; |
| 866 | |
Sumant Kowshik | 9ddc86c | 2002-05-08 18:09:58 +0000 | [diff] [blame] | 867 | // Loop over the arguments, printing them... |
Chris Lattner | 16c7bb2 | 2002-05-09 02:28:59 +0000 | [diff] [blame] | 868 | const FunctionType *FT = cast<FunctionType>(F->getFunctionType()); |
Sumant Kowshik | 9ddc86c | 2002-05-08 18:09:58 +0000 | [diff] [blame] | 869 | |
Joel Stanley | 54f6032 | 2003-06-25 04:52:09 +0000 | [diff] [blame] | 870 | std::stringstream FunctionInnards; |
Nick Hildenbrandt | 9850237 | 2002-11-18 20:55:50 +0000 | [diff] [blame] | 871 | |
| 872 | // Print out the name... |
Brian Gaeke | d9fb37a | 2003-07-24 20:20:44 +0000 | [diff] [blame] | 873 | FunctionInnards << Mang->getValueName(F) << "("; |
Sumant Kowshik | 9ddc86c | 2002-05-08 18:09:58 +0000 | [diff] [blame] | 874 | |
Chris Lattner | 16c7bb2 | 2002-05-09 02:28:59 +0000 | [diff] [blame] | 875 | if (!F->isExternal()) { |
Chris Lattner | bb03efd | 2002-06-25 15:57:03 +0000 | [diff] [blame] | 876 | if (!F->aempty()) { |
Chris Lattner | edd8ce1 | 2003-05-03 03:14:35 +0000 | [diff] [blame] | 877 | std::string ArgName; |
Chris Lattner | 4cda835 | 2002-08-20 16:55:48 +0000 | [diff] [blame] | 878 | if (F->abegin()->hasName() || !Prototype) |
Brian Gaeke | d9fb37a | 2003-07-24 20:20:44 +0000 | [diff] [blame] | 879 | ArgName = Mang->getValueName(F->abegin()); |
Joel Stanley | 54f6032 | 2003-06-25 04:52:09 +0000 | [diff] [blame] | 880 | printType(FunctionInnards, F->afront().getType(), ArgName); |
Chris Lattner | bb03efd | 2002-06-25 15:57:03 +0000 | [diff] [blame] | 881 | for (Function::const_aiterator I = ++F->abegin(), E = F->aend(); |
| 882 | I != E; ++I) { |
Joel Stanley | 54f6032 | 2003-06-25 04:52:09 +0000 | [diff] [blame] | 883 | FunctionInnards << ", "; |
Chris Lattner | 4cda835 | 2002-08-20 16:55:48 +0000 | [diff] [blame] | 884 | if (I->hasName() || !Prototype) |
Brian Gaeke | d9fb37a | 2003-07-24 20:20:44 +0000 | [diff] [blame] | 885 | ArgName = Mang->getValueName(I); |
Chris Lattner | 4cda835 | 2002-08-20 16:55:48 +0000 | [diff] [blame] | 886 | else |
| 887 | ArgName = ""; |
Joel Stanley | 54f6032 | 2003-06-25 04:52:09 +0000 | [diff] [blame] | 888 | printType(FunctionInnards, I->getType(), ArgName); |
Chris Lattner | deed7a5 | 2002-05-09 15:18:52 +0000 | [diff] [blame] | 889 | } |
| 890 | } |
Sumant Kowshik | 9ddc86c | 2002-05-08 18:09:58 +0000 | [diff] [blame] | 891 | } else { |
Sumant Kowshik | 9ddc86c | 2002-05-08 18:09:58 +0000 | [diff] [blame] | 892 | // Loop over the arguments, printing them... |
Sumant Kowshik | 9ddc86c | 2002-05-08 18:09:58 +0000 | [diff] [blame] | 893 | for (FunctionType::ParamTypes::const_iterator I = |
Chris Lattner | 16c7bb2 | 2002-05-09 02:28:59 +0000 | [diff] [blame] | 894 | FT->getParamTypes().begin(), |
| 895 | E = FT->getParamTypes().end(); I != E; ++I) { |
Joel Stanley | 54f6032 | 2003-06-25 04:52:09 +0000 | [diff] [blame] | 896 | if (I != FT->getParamTypes().begin()) FunctionInnards << ", "; |
| 897 | printType(FunctionInnards, *I); |
Sumant Kowshik | 9ddc86c | 2002-05-08 18:09:58 +0000 | [diff] [blame] | 898 | } |
| 899 | } |
| 900 | |
Chris Lattner | 1f8c4a1 | 2002-09-20 22:32:30 +0000 | [diff] [blame] | 901 | // Finish printing arguments... if this is a vararg function, print the ..., |
| 902 | // unless there are no known types, in which case, we just emit (). |
| 903 | // |
| 904 | if (FT->isVarArg() && !FT->getParamTypes().empty()) { |
Joel Stanley | 54f6032 | 2003-06-25 04:52:09 +0000 | [diff] [blame] | 905 | if (FT->getParamTypes().size()) FunctionInnards << ", "; |
| 906 | FunctionInnards << "..."; // Output varargs portion of signature! |
Sumant Kowshik | 9ddc86c | 2002-05-08 18:09:58 +0000 | [diff] [blame] | 907 | } |
Joel Stanley | 54f6032 | 2003-06-25 04:52:09 +0000 | [diff] [blame] | 908 | FunctionInnards << ")"; |
Nick Hildenbrandt | 9850237 | 2002-11-18 20:55:50 +0000 | [diff] [blame] | 909 | // Print out the return type and the entire signature for that matter |
Joel Stanley | 54f6032 | 2003-06-25 04:52:09 +0000 | [diff] [blame] | 910 | printType(Out, F->getReturnType(), FunctionInnards.str()); |
Sumant Kowshik | 9ddc86c | 2002-05-08 18:09:58 +0000 | [diff] [blame] | 911 | } |
| 912 | |
Chris Lattner | 8c3c4bf | 2002-05-09 15:49:41 +0000 | [diff] [blame] | 913 | void CWriter::printFunction(Function *F) { |
Chris Lattner | 16c7bb2 | 2002-05-09 02:28:59 +0000 | [diff] [blame] | 914 | if (F->isExternal()) return; |
Sumant Kowshik | 9ddc86c | 2002-05-08 18:09:58 +0000 | [diff] [blame] | 915 | |
Chris Lattner | 4cda835 | 2002-08-20 16:55:48 +0000 | [diff] [blame] | 916 | printFunctionSignature(F, false); |
Chris Lattner | 8c3c4bf | 2002-05-09 15:49:41 +0000 | [diff] [blame] | 917 | Out << " {\n"; |
| 918 | |
Chris Lattner | 497e19a | 2002-05-09 20:39:03 +0000 | [diff] [blame] | 919 | // print local variable information for the function |
Chris Lattner | 7683a12 | 2002-05-09 20:33:35 +0000 | [diff] [blame] | 920 | for (inst_iterator I = inst_begin(F), E = inst_end(F); I != E; ++I) |
Chris Lattner | a8ab89e | 2003-06-17 04:39:14 +0000 | [diff] [blame] | 921 | if (const AllocaInst *AI = isDirectAlloca(*I)) { |
| 922 | Out << " "; |
Brian Gaeke | d9fb37a | 2003-07-24 20:20:44 +0000 | [diff] [blame] | 923 | printType(Out, AI->getAllocatedType(), Mang->getValueName(AI)); |
Chris Lattner | a8ab89e | 2003-06-17 04:39:14 +0000 | [diff] [blame] | 924 | Out << "; /* Address exposed local */\n"; |
| 925 | } else if ((*I)->getType() != Type::VoidTy && !isInlinableInst(**I)) { |
Chris Lattner | 16c7bb2 | 2002-05-09 02:28:59 +0000 | [diff] [blame] | 926 | Out << " "; |
Brian Gaeke | d9fb37a | 2003-07-24 20:20:44 +0000 | [diff] [blame] | 927 | printType(Out, (*I)->getType(), Mang->getValueName(*I)); |
Chris Lattner | 16c7bb2 | 2002-05-09 02:28:59 +0000 | [diff] [blame] | 928 | Out << ";\n"; |
Chris Lattner | a8ab89e | 2003-06-17 04:39:14 +0000 | [diff] [blame] | 929 | |
Chris Lattner | 84e6665 | 2003-05-03 07:11:00 +0000 | [diff] [blame] | 930 | if (isa<PHINode>(*I)) { // Print out PHI node temporaries as well... |
| 931 | Out << " "; |
Chris Lattner | 9860e77 | 2003-10-12 04:36:29 +0000 | [diff] [blame] | 932 | printType(Out, (*I)->getType(), |
| 933 | Mang->getValueName(*I)+"__PHI_TEMPORARY"); |
Chris Lattner | 84e6665 | 2003-05-03 07:11:00 +0000 | [diff] [blame] | 934 | Out << ";\n"; |
| 935 | } |
Sumant Kowshik | 9ddc86c | 2002-05-08 18:09:58 +0000 | [diff] [blame] | 936 | } |
Chris Lattner | d1cf1b4 | 2002-09-20 23:26:33 +0000 | [diff] [blame] | 937 | |
| 938 | Out << "\n"; |
| 939 | |
Chris Lattner | 16c7bb2 | 2002-05-09 02:28:59 +0000 | [diff] [blame] | 940 | // print the basic blocks |
Chris Lattner | bb03efd | 2002-06-25 15:57:03 +0000 | [diff] [blame] | 941 | for (Function::iterator BB = F->begin(), E = F->end(); BB != E; ++BB) { |
| 942 | BasicBlock *Prev = BB->getPrev(); |
Chris Lattner | 8c3c4bf | 2002-05-09 15:49:41 +0000 | [diff] [blame] | 943 | |
| 944 | // Don't print the label for the basic block if there are no uses, or if the |
Misha Brukman | 37f92e2 | 2003-09-11 22:34:13 +0000 | [diff] [blame] | 945 | // only terminator use is the predecessor basic block's terminator. We have |
Chris Lattner | 8c3c4bf | 2002-05-09 15:49:41 +0000 | [diff] [blame] | 946 | // to scan the use list because PHI nodes use basic blocks too but do not |
| 947 | // require a label to be generated. |
| 948 | // |
| 949 | bool NeedsLabel = false; |
| 950 | for (Value::use_iterator UI = BB->use_begin(), UE = BB->use_end(); |
| 951 | UI != UE; ++UI) |
| 952 | if (TerminatorInst *TI = dyn_cast<TerminatorInst>(*UI)) |
Chris Lattner | f1acd96 | 2003-04-23 19:15:13 +0000 | [diff] [blame] | 953 | if (TI != Prev->getTerminator() || |
Chris Lattner | fd04561 | 2003-08-28 19:56:10 +0000 | [diff] [blame] | 954 | isa<SwitchInst>(Prev->getTerminator()) || |
| 955 | isa<InvokeInst>(Prev->getTerminator())) { |
Chris Lattner | 8c3c4bf | 2002-05-09 15:49:41 +0000 | [diff] [blame] | 956 | NeedsLabel = true; |
| 957 | break; |
| 958 | } |
| 959 | |
Brian Gaeke | d9fb37a | 2003-07-24 20:20:44 +0000 | [diff] [blame] | 960 | if (NeedsLabel) Out << Mang->getValueName(BB) << ":\n"; |
Chris Lattner | 8c3c4bf | 2002-05-09 15:49:41 +0000 | [diff] [blame] | 961 | |
| 962 | // Output all of the instructions in the basic block... |
Chris Lattner | bb03efd | 2002-06-25 15:57:03 +0000 | [diff] [blame] | 963 | for (BasicBlock::iterator II = BB->begin(), E = --BB->end(); II != E; ++II){ |
Chris Lattner | a8ab89e | 2003-06-17 04:39:14 +0000 | [diff] [blame] | 964 | if (!isInlinableInst(*II) && !isDirectAlloca(II)) { |
Chris Lattner | bb03efd | 2002-06-25 15:57:03 +0000 | [diff] [blame] | 965 | if (II->getType() != Type::VoidTy) |
| 966 | outputLValue(II); |
Chris Lattner | d0c668c | 2002-05-09 21:18:38 +0000 | [diff] [blame] | 967 | else |
| 968 | Out << " "; |
Chris Lattner | bb03efd | 2002-06-25 15:57:03 +0000 | [diff] [blame] | 969 | visit(*II); |
Chris Lattner | d0c668c | 2002-05-09 21:18:38 +0000 | [diff] [blame] | 970 | Out << ";\n"; |
| 971 | } |
| 972 | } |
| 973 | |
| 974 | // Don't emit prefix or suffix for the terminator... |
Chris Lattner | bb03efd | 2002-06-25 15:57:03 +0000 | [diff] [blame] | 975 | visit(*BB->getTerminator()); |
Chris Lattner | 8c3c4bf | 2002-05-09 15:49:41 +0000 | [diff] [blame] | 976 | } |
Sumant Kowshik | 9ddc86c | 2002-05-08 18:09:58 +0000 | [diff] [blame] | 977 | |
Chris Lattner | 8c3c4bf | 2002-05-09 15:49:41 +0000 | [diff] [blame] | 978 | Out << "}\n\n"; |
Sumant Kowshik | 9ddc86c | 2002-05-08 18:09:58 +0000 | [diff] [blame] | 979 | } |
| 980 | |
Chris Lattner | 4fbf26d | 2002-05-09 20:53:56 +0000 | [diff] [blame] | 981 | // Specific Instruction type classes... note that all of the casts are |
Misha Brukman | 5560c9d | 2003-08-18 14:43:39 +0000 | [diff] [blame] | 982 | // necessary because we use the instruction classes as opaque types... |
Chris Lattner | 4fbf26d | 2002-05-09 20:53:56 +0000 | [diff] [blame] | 983 | // |
Chris Lattner | bb03efd | 2002-06-25 15:57:03 +0000 | [diff] [blame] | 984 | void CWriter::visitReturnInst(ReturnInst &I) { |
Chris Lattner | 4fbf26d | 2002-05-09 20:53:56 +0000 | [diff] [blame] | 985 | // Don't output a void return if this is the last basic block in the function |
Chris Lattner | bb03efd | 2002-06-25 15:57:03 +0000 | [diff] [blame] | 986 | if (I.getNumOperands() == 0 && |
| 987 | &*--I.getParent()->getParent()->end() == I.getParent() && |
| 988 | !I.getParent()->size() == 1) { |
Chris Lattner | 4fbf26d | 2002-05-09 20:53:56 +0000 | [diff] [blame] | 989 | return; |
Chris Lattner | 963b70b | 2002-05-21 18:05:19 +0000 | [diff] [blame] | 990 | } |
Chris Lattner | 4440826 | 2002-05-09 03:50:42 +0000 | [diff] [blame] | 991 | |
Chris Lattner | 4fbf26d | 2002-05-09 20:53:56 +0000 | [diff] [blame] | 992 | Out << " return"; |
Chris Lattner | bb03efd | 2002-06-25 15:57:03 +0000 | [diff] [blame] | 993 | if (I.getNumOperands()) { |
Chris Lattner | 4fbf26d | 2002-05-09 20:53:56 +0000 | [diff] [blame] | 994 | Out << " "; |
Chris Lattner | bb03efd | 2002-06-25 15:57:03 +0000 | [diff] [blame] | 995 | writeOperand(I.getOperand(0)); |
Chris Lattner | 16c7bb2 | 2002-05-09 02:28:59 +0000 | [diff] [blame] | 996 | } |
Chris Lattner | 4fbf26d | 2002-05-09 20:53:56 +0000 | [diff] [blame] | 997 | Out << ";\n"; |
Sumant Kowshik | 9ddc86c | 2002-05-08 18:09:58 +0000 | [diff] [blame] | 998 | } |
| 999 | |
Chris Lattner | a9f5e05 | 2003-04-22 20:19:52 +0000 | [diff] [blame] | 1000 | void CWriter::visitSwitchInst(SwitchInst &SI) { |
| 1001 | Out << " switch ("; |
| 1002 | writeOperand(SI.getOperand(0)); |
Chris Lattner | f1acd96 | 2003-04-23 19:15:13 +0000 | [diff] [blame] | 1003 | Out << ") {\n default:\n"; |
| 1004 | printBranchToBlock(SI.getParent(), SI.getDefaultDest(), 2); |
Chris Lattner | a9f5e05 | 2003-04-22 20:19:52 +0000 | [diff] [blame] | 1005 | Out << ";\n"; |
| 1006 | for (unsigned i = 2, e = SI.getNumOperands(); i != e; i += 2) { |
| 1007 | Out << " case "; |
| 1008 | writeOperand(SI.getOperand(i)); |
| 1009 | Out << ":\n"; |
| 1010 | BasicBlock *Succ = cast<BasicBlock>(SI.getOperand(i+1)); |
| 1011 | printBranchToBlock(SI.getParent(), Succ, 2); |
| 1012 | if (Succ == SI.getParent()->getNext()) |
| 1013 | Out << " break;\n"; |
| 1014 | } |
| 1015 | Out << " }\n"; |
| 1016 | } |
| 1017 | |
Chris Lattner | 9bda5f5 | 2003-06-28 17:53:05 +0000 | [diff] [blame] | 1018 | void CWriter::visitInvokeInst(InvokeInst &II) { |
| 1019 | Out << " {\n" |
| 1020 | << " struct __llvm_jmpbuf_list_t Entry;\n" |
| 1021 | << " Entry.next = __llvm_jmpbuf_list;\n" |
| 1022 | << " if (setjmp(Entry.buf)) {\n" |
| 1023 | << " __llvm_jmpbuf_list = Entry.next;\n"; |
| 1024 | printBranchToBlock(II.getParent(), II.getExceptionalDest(), 4); |
| 1025 | Out << " }\n" |
| 1026 | << " __llvm_jmpbuf_list = &Entry;\n" |
| 1027 | << " "; |
Chris Lattner | fd04561 | 2003-08-28 19:56:10 +0000 | [diff] [blame] | 1028 | |
| 1029 | if (II.getType() != Type::VoidTy) outputLValue(&II); |
Chris Lattner | 9bda5f5 | 2003-06-28 17:53:05 +0000 | [diff] [blame] | 1030 | visitCallSite(&II); |
| 1031 | Out << ";\n" |
| 1032 | << " __llvm_jmpbuf_list = Entry.next;\n" |
| 1033 | << " }\n"; |
| 1034 | printBranchToBlock(II.getParent(), II.getNormalDest(), 0); |
| 1035 | emittedInvoke = true; |
| 1036 | } |
| 1037 | |
Chris Lattner | a9f5e05 | 2003-04-22 20:19:52 +0000 | [diff] [blame] | 1038 | |
Chris Lattner | 36143fc | 2003-09-08 18:54:55 +0000 | [diff] [blame] | 1039 | void CWriter::visitUnwindInst(UnwindInst &I) { |
| 1040 | // The unwind instructions causes a control flow transfer out of the current |
| 1041 | // function, unwinding the stack until a caller who used the invoke |
| 1042 | // instruction is found. In this context, we code generated the invoke |
| 1043 | // instruction to add an entry to the top of the jmpbuf_list. Thus, here we |
| 1044 | // just have to longjmp to the specified handler. |
Chris Lattner | bdbecac | 2003-09-15 16:47:12 +0000 | [diff] [blame] | 1045 | Out << " if (__llvm_jmpbuf_list == 0) { /* unwind */\n" |
| 1046 | << " extern write();\n" |
| 1047 | << " ((void (*)(int, void*, unsigned))write)(2,\n" |
| 1048 | << " \"throw found with no handler!\\n\", 31); abort();\n" |
Chris Lattner | 36143fc | 2003-09-08 18:54:55 +0000 | [diff] [blame] | 1049 | << " }\n" |
| 1050 | << " longjmp(__llvm_jmpbuf_list->buf, 1);\n"; |
| 1051 | emittedInvoke = true; |
| 1052 | } |
| 1053 | |
Chris Lattner | 5ef6ffd | 2003-10-12 08:12:58 +0000 | [diff] [blame] | 1054 | static bool isGotoCodeNecessary(BasicBlock *From, BasicBlock *To) { |
Chris Lattner | 4fbf26d | 2002-05-09 20:53:56 +0000 | [diff] [blame] | 1055 | // If PHI nodes need copies, we need the copy code... |
| 1056 | if (isa<PHINode>(To->front()) || |
Chris Lattner | bb03efd | 2002-06-25 15:57:03 +0000 | [diff] [blame] | 1057 | From->getNext() != To) // Not directly successor, need goto |
Chris Lattner | 4fbf26d | 2002-05-09 20:53:56 +0000 | [diff] [blame] | 1058 | return true; |
| 1059 | |
| 1060 | // Otherwise we don't need the code. |
| 1061 | return false; |
| 1062 | } |
| 1063 | |
| 1064 | void CWriter::printBranchToBlock(BasicBlock *CurBB, BasicBlock *Succ, |
Chris Lattner | 9bda5f5 | 2003-06-28 17:53:05 +0000 | [diff] [blame] | 1065 | unsigned Indent) { |
Chris Lattner | 4fbf26d | 2002-05-09 20:53:56 +0000 | [diff] [blame] | 1066 | for (BasicBlock::iterator I = Succ->begin(); |
Chris Lattner | 2ee82e0 | 2003-04-23 16:36:11 +0000 | [diff] [blame] | 1067 | PHINode *PN = dyn_cast<PHINode>(I); ++I) { |
Chris Lattner | 4fbf26d | 2002-05-09 20:53:56 +0000 | [diff] [blame] | 1068 | // now we have to do the printing |
Chris Lattner | edd8ce1 | 2003-05-03 03:14:35 +0000 | [diff] [blame] | 1069 | Out << std::string(Indent, ' '); |
Brian Gaeke | d9fb37a | 2003-07-24 20:20:44 +0000 | [diff] [blame] | 1070 | Out << " " << Mang->getValueName(I) << "__PHI_TEMPORARY = "; |
Chris Lattner | 4fbf26d | 2002-05-09 20:53:56 +0000 | [diff] [blame] | 1071 | writeOperand(PN->getIncomingValue(PN->getBasicBlockIndex(CurBB))); |
| 1072 | Out << "; /* for PHI node */\n"; |
| 1073 | } |
| 1074 | |
Chris Lattner | 3875657 | 2003-10-13 20:32:04 +0000 | [diff] [blame] | 1075 | if (CurBB->getNext() != Succ || |
| 1076 | isa<InvokeInst>(CurBB->getTerminator()) || |
| 1077 | isa<SwitchInst>(CurBB->getTerminator())) { |
Chris Lattner | edd8ce1 | 2003-05-03 03:14:35 +0000 | [diff] [blame] | 1078 | Out << std::string(Indent, ' ') << " goto "; |
Chris Lattner | 4fbf26d | 2002-05-09 20:53:56 +0000 | [diff] [blame] | 1079 | writeOperand(Succ); |
| 1080 | Out << ";\n"; |
| 1081 | } |
| 1082 | } |
| 1083 | |
Misha Brukman | 37f92e2 | 2003-09-11 22:34:13 +0000 | [diff] [blame] | 1084 | // Branch instruction printing - Avoid printing out a branch to a basic block |
| 1085 | // that immediately succeeds the current one. |
Chris Lattner | 4fbf26d | 2002-05-09 20:53:56 +0000 | [diff] [blame] | 1086 | // |
Chris Lattner | bb03efd | 2002-06-25 15:57:03 +0000 | [diff] [blame] | 1087 | void CWriter::visitBranchInst(BranchInst &I) { |
| 1088 | if (I.isConditional()) { |
Chris Lattner | 5ef6ffd | 2003-10-12 08:12:58 +0000 | [diff] [blame] | 1089 | if (isGotoCodeNecessary(I.getParent(), I.getSuccessor(0))) { |
Chris Lattner | 4fbf26d | 2002-05-09 20:53:56 +0000 | [diff] [blame] | 1090 | Out << " if ("; |
Chris Lattner | bb03efd | 2002-06-25 15:57:03 +0000 | [diff] [blame] | 1091 | writeOperand(I.getCondition()); |
Chris Lattner | 4fbf26d | 2002-05-09 20:53:56 +0000 | [diff] [blame] | 1092 | Out << ") {\n"; |
| 1093 | |
Chris Lattner | bb03efd | 2002-06-25 15:57:03 +0000 | [diff] [blame] | 1094 | printBranchToBlock(I.getParent(), I.getSuccessor(0), 2); |
Chris Lattner | 4fbf26d | 2002-05-09 20:53:56 +0000 | [diff] [blame] | 1095 | |
Chris Lattner | 5ef6ffd | 2003-10-12 08:12:58 +0000 | [diff] [blame] | 1096 | if (isGotoCodeNecessary(I.getParent(), I.getSuccessor(1))) { |
Chris Lattner | 4fbf26d | 2002-05-09 20:53:56 +0000 | [diff] [blame] | 1097 | Out << " } else {\n"; |
Chris Lattner | bb03efd | 2002-06-25 15:57:03 +0000 | [diff] [blame] | 1098 | printBranchToBlock(I.getParent(), I.getSuccessor(1), 2); |
Chris Lattner | 4fbf26d | 2002-05-09 20:53:56 +0000 | [diff] [blame] | 1099 | } |
| 1100 | } else { |
Misha Brukman | 5560c9d | 2003-08-18 14:43:39 +0000 | [diff] [blame] | 1101 | // First goto not necessary, assume second one is... |
Chris Lattner | 4fbf26d | 2002-05-09 20:53:56 +0000 | [diff] [blame] | 1102 | Out << " if (!"; |
Chris Lattner | bb03efd | 2002-06-25 15:57:03 +0000 | [diff] [blame] | 1103 | writeOperand(I.getCondition()); |
Chris Lattner | 4fbf26d | 2002-05-09 20:53:56 +0000 | [diff] [blame] | 1104 | Out << ") {\n"; |
| 1105 | |
Chris Lattner | bb03efd | 2002-06-25 15:57:03 +0000 | [diff] [blame] | 1106 | printBranchToBlock(I.getParent(), I.getSuccessor(1), 2); |
Chris Lattner | 4fbf26d | 2002-05-09 20:53:56 +0000 | [diff] [blame] | 1107 | } |
| 1108 | |
| 1109 | Out << " }\n"; |
| 1110 | } else { |
Chris Lattner | bb03efd | 2002-06-25 15:57:03 +0000 | [diff] [blame] | 1111 | printBranchToBlock(I.getParent(), I.getSuccessor(0), 0); |
Chris Lattner | 4fbf26d | 2002-05-09 20:53:56 +0000 | [diff] [blame] | 1112 | } |
| 1113 | Out << "\n"; |
| 1114 | } |
| 1115 | |
Chris Lattner | 84e6665 | 2003-05-03 07:11:00 +0000 | [diff] [blame] | 1116 | // PHI nodes get copied into temporary values at the end of predecessor basic |
| 1117 | // blocks. We now need to copy these temporary values into the REAL value for |
| 1118 | // the PHI. |
| 1119 | void CWriter::visitPHINode(PHINode &I) { |
| 1120 | writeOperand(&I); |
| 1121 | Out << "__PHI_TEMPORARY"; |
| 1122 | } |
| 1123 | |
Chris Lattner | 4fbf26d | 2002-05-09 20:53:56 +0000 | [diff] [blame] | 1124 | |
Chris Lattner | bb03efd | 2002-06-25 15:57:03 +0000 | [diff] [blame] | 1125 | void CWriter::visitBinaryOperator(Instruction &I) { |
Chris Lattner | 4fbf26d | 2002-05-09 20:53:56 +0000 | [diff] [blame] | 1126 | // binary instructions, shift instructions, setCond instructions. |
Chris Lattner | f5612b76 | 2003-04-23 19:09:22 +0000 | [diff] [blame] | 1127 | assert(!isa<PointerType>(I.getType())); |
Brian Gaeke | 031a112 | 2003-06-23 20:00:51 +0000 | [diff] [blame] | 1128 | |
| 1129 | // We must cast the results of binary operations which might be promoted. |
| 1130 | bool needsCast = false; |
| 1131 | if ((I.getType() == Type::UByteTy) || (I.getType() == Type::SByteTy) |
Brian Gaeke | e99f4cf | 2003-06-25 03:05:33 +0000 | [diff] [blame] | 1132 | || (I.getType() == Type::UShortTy) || (I.getType() == Type::ShortTy) |
| 1133 | || (I.getType() == Type::FloatTy)) { |
Brian Gaeke | 031a112 | 2003-06-23 20:00:51 +0000 | [diff] [blame] | 1134 | needsCast = true; |
| 1135 | Out << "(("; |
Chris Lattner | 7635ea4 | 2003-11-03 01:01:59 +0000 | [diff] [blame] | 1136 | printType(Out, I.getType()); |
Brian Gaeke | 031a112 | 2003-06-23 20:00:51 +0000 | [diff] [blame] | 1137 | Out << ")("; |
| 1138 | } |
Chris Lattner | 4fbf26d | 2002-05-09 20:53:56 +0000 | [diff] [blame] | 1139 | |
Chris Lattner | bb03efd | 2002-06-25 15:57:03 +0000 | [diff] [blame] | 1140 | writeOperand(I.getOperand(0)); |
Chris Lattner | 4fbf26d | 2002-05-09 20:53:56 +0000 | [diff] [blame] | 1141 | |
Chris Lattner | bb03efd | 2002-06-25 15:57:03 +0000 | [diff] [blame] | 1142 | switch (I.getOpcode()) { |
Chris Lattner | 4fbf26d | 2002-05-09 20:53:56 +0000 | [diff] [blame] | 1143 | case Instruction::Add: Out << " + "; break; |
| 1144 | case Instruction::Sub: Out << " - "; break; |
| 1145 | case Instruction::Mul: Out << "*"; break; |
| 1146 | case Instruction::Div: Out << "/"; break; |
| 1147 | case Instruction::Rem: Out << "%"; break; |
| 1148 | case Instruction::And: Out << " & "; break; |
| 1149 | case Instruction::Or: Out << " | "; break; |
| 1150 | case Instruction::Xor: Out << " ^ "; break; |
| 1151 | case Instruction::SetEQ: Out << " == "; break; |
| 1152 | case Instruction::SetNE: Out << " != "; break; |
| 1153 | case Instruction::SetLE: Out << " <= "; break; |
| 1154 | case Instruction::SetGE: Out << " >= "; break; |
| 1155 | case Instruction::SetLT: Out << " < "; break; |
| 1156 | case Instruction::SetGT: Out << " > "; break; |
| 1157 | case Instruction::Shl : Out << " << "; break; |
| 1158 | case Instruction::Shr : Out << " >> "; break; |
Chris Lattner | e7f65d3b | 2002-06-30 16:07:20 +0000 | [diff] [blame] | 1159 | default: std::cerr << "Invalid operator type!" << I; abort(); |
Chris Lattner | 4fbf26d | 2002-05-09 20:53:56 +0000 | [diff] [blame] | 1160 | } |
| 1161 | |
Chris Lattner | bb03efd | 2002-06-25 15:57:03 +0000 | [diff] [blame] | 1162 | writeOperand(I.getOperand(1)); |
Brian Gaeke | 031a112 | 2003-06-23 20:00:51 +0000 | [diff] [blame] | 1163 | |
| 1164 | if (needsCast) { |
| 1165 | Out << "))"; |
| 1166 | } |
Chris Lattner | 4fbf26d | 2002-05-09 20:53:56 +0000 | [diff] [blame] | 1167 | } |
| 1168 | |
Chris Lattner | bb03efd | 2002-06-25 15:57:03 +0000 | [diff] [blame] | 1169 | void CWriter::visitCastInst(CastInst &I) { |
Chris Lattner | d13bd22 | 2003-06-01 03:36:51 +0000 | [diff] [blame] | 1170 | if (I.getType() == Type::BoolTy) { |
| 1171 | Out << "("; |
| 1172 | writeOperand(I.getOperand(0)); |
| 1173 | Out << " != 0)"; |
| 1174 | return; |
| 1175 | } |
Chris Lattner | 4fbf26d | 2002-05-09 20:53:56 +0000 | [diff] [blame] | 1176 | Out << "("; |
Chris Lattner | 7635ea4 | 2003-11-03 01:01:59 +0000 | [diff] [blame] | 1177 | printType(Out, I.getType()); |
Chris Lattner | 4fbf26d | 2002-05-09 20:53:56 +0000 | [diff] [blame] | 1178 | Out << ")"; |
Chris Lattner | f5612b76 | 2003-04-23 19:09:22 +0000 | [diff] [blame] | 1179 | if (isa<PointerType>(I.getType())&&I.getOperand(0)->getType()->isIntegral() || |
| 1180 | isa<PointerType>(I.getOperand(0)->getType())&&I.getType()->isIntegral()) { |
| 1181 | // Avoid "cast to pointer from integer of different size" warnings |
| 1182 | Out << "(long)"; |
| 1183 | } |
Chris Lattner | d13bd22 | 2003-06-01 03:36:51 +0000 | [diff] [blame] | 1184 | |
Chris Lattner | bb03efd | 2002-06-25 15:57:03 +0000 | [diff] [blame] | 1185 | writeOperand(I.getOperand(0)); |
Chris Lattner | 4fbf26d | 2002-05-09 20:53:56 +0000 | [diff] [blame] | 1186 | } |
| 1187 | |
Chris Lattner | bb03efd | 2002-06-25 15:57:03 +0000 | [diff] [blame] | 1188 | void CWriter::visitCallInst(CallInst &I) { |
Chris Lattner | 18ac3c8 | 2003-05-08 18:41:45 +0000 | [diff] [blame] | 1189 | // Handle intrinsic function calls first... |
| 1190 | if (Function *F = I.getCalledFunction()) |
| 1191 | if (LLVMIntrinsic::ID ID = (LLVMIntrinsic::ID)F->getIntrinsicID()) { |
| 1192 | switch (ID) { |
| 1193 | default: assert(0 && "Unknown LLVM intrinsic!"); |
| 1194 | case LLVMIntrinsic::va_start: |
Chris Lattner | 4d45bd0 | 2003-10-18 05:57:43 +0000 | [diff] [blame] | 1195 | Out << "0; "; |
| 1196 | |
| 1197 | Out << "va_start(*(va_list*)&" << Mang->getValueName(&I) << ", "; |
Chris Lattner | 18ac3c8 | 2003-05-08 18:41:45 +0000 | [diff] [blame] | 1198 | // Output the last argument to the enclosing function... |
Chris Lattner | 4065ef9 | 2003-10-23 18:39:22 +0000 | [diff] [blame] | 1199 | if (I.getParent()->getParent()->aempty()) { |
| 1200 | std::cerr << "The C backend does not currently support zero " |
| 1201 | << "argument varargs functions, such as '" |
| 1202 | << I.getParent()->getParent()->getName() << "'!\n"; |
| 1203 | abort(); |
| 1204 | } |
Chris Lattner | 18ac3c8 | 2003-05-08 18:41:45 +0000 | [diff] [blame] | 1205 | writeOperand(&I.getParent()->getParent()->aback()); |
| 1206 | Out << ")"; |
| 1207 | return; |
Chris Lattner | 18ac3c8 | 2003-05-08 18:41:45 +0000 | [diff] [blame] | 1208 | case LLVMIntrinsic::va_end: |
Chris Lattner | 4d45bd0 | 2003-10-18 05:57:43 +0000 | [diff] [blame] | 1209 | Out << "va_end(*(va_list*)&"; |
Chris Lattner | 18ac3c8 | 2003-05-08 18:41:45 +0000 | [diff] [blame] | 1210 | writeOperand(I.getOperand(1)); |
| 1211 | Out << ")"; |
| 1212 | return; |
| 1213 | case LLVMIntrinsic::va_copy: |
Chris Lattner | 4d45bd0 | 2003-10-18 05:57:43 +0000 | [diff] [blame] | 1214 | Out << "0;"; |
| 1215 | Out << "va_copy(*(va_list*)&" << Mang->getValueName(&I) << ", "; |
| 1216 | Out << "*(va_list*)&"; |
Chris Lattner | 18ac3c8 | 2003-05-08 18:41:45 +0000 | [diff] [blame] | 1217 | writeOperand(I.getOperand(1)); |
Chris Lattner | 18ac3c8 | 2003-05-08 18:41:45 +0000 | [diff] [blame] | 1218 | Out << ")"; |
| 1219 | return; |
Chris Lattner | c436b37 | 2003-05-17 22:26:33 +0000 | [diff] [blame] | 1220 | case LLVMIntrinsic::setjmp: |
Chris Lattner | 72af6b8 | 2003-08-18 16:06:09 +0000 | [diff] [blame] | 1221 | case LLVMIntrinsic::sigsetjmp: |
Misha Brukman | 37f92e2 | 2003-09-11 22:34:13 +0000 | [diff] [blame] | 1222 | // This intrinsic should never exist in the program, but until we get |
Chris Lattner | 326e40a | 2003-08-06 18:04:40 +0000 | [diff] [blame] | 1223 | // setjmp/longjmp transformations going on, we should codegen it to |
| 1224 | // something reasonable. This will allow code that never calls longjmp |
| 1225 | // to work. |
| 1226 | Out << "0"; |
Chris Lattner | c436b37 | 2003-05-17 22:26:33 +0000 | [diff] [blame] | 1227 | return; |
| 1228 | case LLVMIntrinsic::longjmp: |
Chris Lattner | 72af6b8 | 2003-08-18 16:06:09 +0000 | [diff] [blame] | 1229 | case LLVMIntrinsic::siglongjmp: |
| 1230 | // Longjmp is not implemented, and never will be. It would cause an |
| 1231 | // exception throw. |
John Criswell | 506dad0 | 2003-07-31 15:11:08 +0000 | [diff] [blame] | 1232 | Out << "abort()"; |
Chris Lattner | c436b37 | 2003-05-17 22:26:33 +0000 | [diff] [blame] | 1233 | return; |
Chris Lattner | 18ac3c8 | 2003-05-08 18:41:45 +0000 | [diff] [blame] | 1234 | } |
| 1235 | } |
Chris Lattner | 9bda5f5 | 2003-06-28 17:53:05 +0000 | [diff] [blame] | 1236 | visitCallSite(&I); |
| 1237 | } |
Chris Lattner | 18ac3c8 | 2003-05-08 18:41:45 +0000 | [diff] [blame] | 1238 | |
Chris Lattner | 9bda5f5 | 2003-06-28 17:53:05 +0000 | [diff] [blame] | 1239 | void CWriter::visitCallSite(CallSite CS) { |
| 1240 | const PointerType *PTy = cast<PointerType>(CS.getCalledValue()->getType()); |
Chris Lattner | 4fbf26d | 2002-05-09 20:53:56 +0000 | [diff] [blame] | 1241 | const FunctionType *FTy = cast<FunctionType>(PTy->getElementType()); |
| 1242 | const Type *RetTy = FTy->getReturnType(); |
| 1243 | |
Chris Lattner | 9bda5f5 | 2003-06-28 17:53:05 +0000 | [diff] [blame] | 1244 | writeOperand(CS.getCalledValue()); |
Chris Lattner | fabc880 | 2002-08-26 20:50:09 +0000 | [diff] [blame] | 1245 | Out << "("; |
Chris Lattner | 4fbf26d | 2002-05-09 20:53:56 +0000 | [diff] [blame] | 1246 | |
Chris Lattner | 9bda5f5 | 2003-06-28 17:53:05 +0000 | [diff] [blame] | 1247 | if (CS.arg_begin() != CS.arg_end()) { |
| 1248 | CallSite::arg_iterator AI = CS.arg_begin(), AE = CS.arg_end(); |
| 1249 | writeOperand(*AI); |
Chris Lattner | 4fbf26d | 2002-05-09 20:53:56 +0000 | [diff] [blame] | 1250 | |
Chris Lattner | 9bda5f5 | 2003-06-28 17:53:05 +0000 | [diff] [blame] | 1251 | for (++AI; AI != AE; ++AI) { |
Chris Lattner | 4fbf26d | 2002-05-09 20:53:56 +0000 | [diff] [blame] | 1252 | Out << ", "; |
Chris Lattner | 9bda5f5 | 2003-06-28 17:53:05 +0000 | [diff] [blame] | 1253 | writeOperand(*AI); |
Chris Lattner | 4fbf26d | 2002-05-09 20:53:56 +0000 | [diff] [blame] | 1254 | } |
| 1255 | } |
Chris Lattner | d0c668c | 2002-05-09 21:18:38 +0000 | [diff] [blame] | 1256 | Out << ")"; |
Chris Lattner | 4fbf26d | 2002-05-09 20:53:56 +0000 | [diff] [blame] | 1257 | } |
| 1258 | |
Chris Lattner | bb03efd | 2002-06-25 15:57:03 +0000 | [diff] [blame] | 1259 | void CWriter::visitMallocInst(MallocInst &I) { |
Chris Lattner | 4fbf26d | 2002-05-09 20:53:56 +0000 | [diff] [blame] | 1260 | Out << "("; |
Nick Hildenbrandt | 9850237 | 2002-11-18 20:55:50 +0000 | [diff] [blame] | 1261 | printType(Out, I.getType()); |
Chris Lattner | 4fbf26d | 2002-05-09 20:53:56 +0000 | [diff] [blame] | 1262 | Out << ")malloc(sizeof("; |
Nick Hildenbrandt | 9850237 | 2002-11-18 20:55:50 +0000 | [diff] [blame] | 1263 | printType(Out, I.getType()->getElementType()); |
Chris Lattner | 4fbf26d | 2002-05-09 20:53:56 +0000 | [diff] [blame] | 1264 | Out << ")"; |
| 1265 | |
Chris Lattner | bb03efd | 2002-06-25 15:57:03 +0000 | [diff] [blame] | 1266 | if (I.isArrayAllocation()) { |
Chris Lattner | 4fbf26d | 2002-05-09 20:53:56 +0000 | [diff] [blame] | 1267 | Out << " * " ; |
Chris Lattner | bb03efd | 2002-06-25 15:57:03 +0000 | [diff] [blame] | 1268 | writeOperand(I.getOperand(0)); |
Chris Lattner | 4fbf26d | 2002-05-09 20:53:56 +0000 | [diff] [blame] | 1269 | } |
Chris Lattner | d0c668c | 2002-05-09 21:18:38 +0000 | [diff] [blame] | 1270 | Out << ")"; |
Chris Lattner | 4fbf26d | 2002-05-09 20:53:56 +0000 | [diff] [blame] | 1271 | } |
| 1272 | |
Chris Lattner | bb03efd | 2002-06-25 15:57:03 +0000 | [diff] [blame] | 1273 | void CWriter::visitAllocaInst(AllocaInst &I) { |
Chris Lattner | 4fbf26d | 2002-05-09 20:53:56 +0000 | [diff] [blame] | 1274 | Out << "("; |
Nick Hildenbrandt | 9850237 | 2002-11-18 20:55:50 +0000 | [diff] [blame] | 1275 | printType(Out, I.getType()); |
Chris Lattner | 4fbf26d | 2002-05-09 20:53:56 +0000 | [diff] [blame] | 1276 | Out << ") alloca(sizeof("; |
Nick Hildenbrandt | 9850237 | 2002-11-18 20:55:50 +0000 | [diff] [blame] | 1277 | printType(Out, I.getType()->getElementType()); |
Chris Lattner | 4fbf26d | 2002-05-09 20:53:56 +0000 | [diff] [blame] | 1278 | Out << ")"; |
Chris Lattner | bb03efd | 2002-06-25 15:57:03 +0000 | [diff] [blame] | 1279 | if (I.isArrayAllocation()) { |
Chris Lattner | 4fbf26d | 2002-05-09 20:53:56 +0000 | [diff] [blame] | 1280 | Out << " * " ; |
Chris Lattner | bb03efd | 2002-06-25 15:57:03 +0000 | [diff] [blame] | 1281 | writeOperand(I.getOperand(0)); |
Chris Lattner | 4fbf26d | 2002-05-09 20:53:56 +0000 | [diff] [blame] | 1282 | } |
Chris Lattner | d0c668c | 2002-05-09 21:18:38 +0000 | [diff] [blame] | 1283 | Out << ")"; |
Chris Lattner | 4fbf26d | 2002-05-09 20:53:56 +0000 | [diff] [blame] | 1284 | } |
| 1285 | |
Chris Lattner | bb03efd | 2002-06-25 15:57:03 +0000 | [diff] [blame] | 1286 | void CWriter::visitFreeInst(FreeInst &I) { |
Chris Lattner | 2925592 | 2003-08-14 19:19:53 +0000 | [diff] [blame] | 1287 | Out << "free((char*)"; |
Chris Lattner | bb03efd | 2002-06-25 15:57:03 +0000 | [diff] [blame] | 1288 | writeOperand(I.getOperand(0)); |
Chris Lattner | d0c668c | 2002-05-09 21:18:38 +0000 | [diff] [blame] | 1289 | Out << ")"; |
Chris Lattner | 4fbf26d | 2002-05-09 20:53:56 +0000 | [diff] [blame] | 1290 | } |
| 1291 | |
Chris Lattner | df35a1c | 2002-08-19 23:09:46 +0000 | [diff] [blame] | 1292 | void CWriter::printIndexingExpression(Value *Ptr, User::op_iterator I, |
| 1293 | User::op_iterator E) { |
| 1294 | bool HasImplicitAddress = false; |
| 1295 | // If accessing a global value with no indexing, avoid *(&GV) syndrome |
| 1296 | if (GlobalValue *V = dyn_cast<GlobalValue>(Ptr)) { |
| 1297 | HasImplicitAddress = true; |
| 1298 | } else if (ConstantPointerRef *CPR = dyn_cast<ConstantPointerRef>(Ptr)) { |
| 1299 | HasImplicitAddress = true; |
| 1300 | Ptr = CPR->getValue(); // Get to the global... |
Chris Lattner | a8ab89e | 2003-06-17 04:39:14 +0000 | [diff] [blame] | 1301 | } else if (isDirectAlloca(Ptr)) { |
| 1302 | HasImplicitAddress = true; |
Chris Lattner | d0c668c | 2002-05-09 21:18:38 +0000 | [diff] [blame] | 1303 | } |
Chris Lattner | 4fbf26d | 2002-05-09 20:53:56 +0000 | [diff] [blame] | 1304 | |
Chris Lattner | df35a1c | 2002-08-19 23:09:46 +0000 | [diff] [blame] | 1305 | if (I == E) { |
| 1306 | if (!HasImplicitAddress) |
| 1307 | Out << "*"; // Implicit zero first argument: '*x' is equivalent to 'x[0]' |
Chris Lattner | 4fbf26d | 2002-05-09 20:53:56 +0000 | [diff] [blame] | 1308 | |
Chris Lattner | df35a1c | 2002-08-19 23:09:46 +0000 | [diff] [blame] | 1309 | writeOperandInternal(Ptr); |
| 1310 | return; |
| 1311 | } |
| 1312 | |
Chris Lattner | ab2b328 | 2003-05-29 15:12:27 +0000 | [diff] [blame] | 1313 | const Constant *CI = dyn_cast<Constant>(I); |
Chris Lattner | df35a1c | 2002-08-19 23:09:46 +0000 | [diff] [blame] | 1314 | if (HasImplicitAddress && (!CI || !CI->isNullValue())) |
| 1315 | Out << "(&"; |
| 1316 | |
| 1317 | writeOperandInternal(Ptr); |
| 1318 | |
Nick Hildenbrandt | e548f00 | 2002-09-25 20:29:26 +0000 | [diff] [blame] | 1319 | if (HasImplicitAddress && (!CI || !CI->isNullValue())) { |
Chris Lattner | df35a1c | 2002-08-19 23:09:46 +0000 | [diff] [blame] | 1320 | Out << ")"; |
Nick Hildenbrandt | e548f00 | 2002-09-25 20:29:26 +0000 | [diff] [blame] | 1321 | HasImplicitAddress = false; // HIA is only true if we haven't addressed yet |
| 1322 | } |
Chris Lattner | 4fbf26d | 2002-05-09 20:53:56 +0000 | [diff] [blame] | 1323 | |
Nick Hildenbrandt | e548f00 | 2002-09-25 20:29:26 +0000 | [diff] [blame] | 1324 | assert(!HasImplicitAddress || (CI && CI->isNullValue()) && |
| 1325 | "Can only have implicit address with direct accessing"); |
| 1326 | |
| 1327 | if (HasImplicitAddress) { |
| 1328 | ++I; |
| 1329 | } else if (CI && CI->isNullValue() && I+1 != E) { |
| 1330 | // Print out the -> operator if possible... |
Chris Lattner | df35a1c | 2002-08-19 23:09:46 +0000 | [diff] [blame] | 1331 | if ((*(I+1))->getType() == Type::UByteTy) { |
| 1332 | Out << (HasImplicitAddress ? "." : "->"); |
| 1333 | Out << "field" << cast<ConstantUInt>(*(I+1))->getValue(); |
| 1334 | I += 2; |
Nick Hildenbrandt | e548f00 | 2002-09-25 20:29:26 +0000 | [diff] [blame] | 1335 | } |
Chris Lattner | 4fbf26d | 2002-05-09 20:53:56 +0000 | [diff] [blame] | 1336 | } |
Chris Lattner | 5dfe767 | 2002-08-22 22:48:55 +0000 | [diff] [blame] | 1337 | |
Chris Lattner | 4fbf26d | 2002-05-09 20:53:56 +0000 | [diff] [blame] | 1338 | for (; I != E; ++I) |
Chris Lattner | 106ff45 | 2002-09-11 01:21:29 +0000 | [diff] [blame] | 1339 | if ((*I)->getType() == Type::LongTy) { |
Vikram S. Adve | 9d6f13f | 2002-09-15 21:51:04 +0000 | [diff] [blame] | 1340 | Out << "["; |
Chris Lattner | 4fbf26d | 2002-05-09 20:53:56 +0000 | [diff] [blame] | 1341 | writeOperand(*I); |
Vikram S. Adve | 9d6f13f | 2002-09-15 21:51:04 +0000 | [diff] [blame] | 1342 | Out << "]"; |
Chris Lattner | 4fbf26d | 2002-05-09 20:53:56 +0000 | [diff] [blame] | 1343 | } else { |
Chris Lattner | 59afbf3 | 2002-09-12 20:34:47 +0000 | [diff] [blame] | 1344 | Out << ".field" << cast<ConstantUInt>(*I)->getValue(); |
Chris Lattner | 4fbf26d | 2002-05-09 20:53:56 +0000 | [diff] [blame] | 1345 | } |
| 1346 | } |
| 1347 | |
Chris Lattner | bb03efd | 2002-06-25 15:57:03 +0000 | [diff] [blame] | 1348 | void CWriter::visitLoadInst(LoadInst &I) { |
Nick Hildenbrandt | ca62692 | 2002-10-02 21:14:33 +0000 | [diff] [blame] | 1349 | Out << "*"; |
Chris Lattner | 5dfe767 | 2002-08-22 22:48:55 +0000 | [diff] [blame] | 1350 | writeOperand(I.getOperand(0)); |
Chris Lattner | 4fbf26d | 2002-05-09 20:53:56 +0000 | [diff] [blame] | 1351 | } |
| 1352 | |
Chris Lattner | bb03efd | 2002-06-25 15:57:03 +0000 | [diff] [blame] | 1353 | void CWriter::visitStoreInst(StoreInst &I) { |
Nick Hildenbrandt | ca62692 | 2002-10-02 21:14:33 +0000 | [diff] [blame] | 1354 | Out << "*"; |
Chris Lattner | 5dfe767 | 2002-08-22 22:48:55 +0000 | [diff] [blame] | 1355 | writeOperand(I.getPointerOperand()); |
Chris Lattner | 4fbf26d | 2002-05-09 20:53:56 +0000 | [diff] [blame] | 1356 | Out << " = "; |
Chris Lattner | bb03efd | 2002-06-25 15:57:03 +0000 | [diff] [blame] | 1357 | writeOperand(I.getOperand(0)); |
Chris Lattner | 4fbf26d | 2002-05-09 20:53:56 +0000 | [diff] [blame] | 1358 | } |
| 1359 | |
Chris Lattner | bb03efd | 2002-06-25 15:57:03 +0000 | [diff] [blame] | 1360 | void CWriter::visitGetElementPtrInst(GetElementPtrInst &I) { |
Nick Hildenbrandt | ca62692 | 2002-10-02 21:14:33 +0000 | [diff] [blame] | 1361 | Out << "&"; |
Chris Lattner | df35a1c | 2002-08-19 23:09:46 +0000 | [diff] [blame] | 1362 | printIndexingExpression(I.getPointerOperand(), I.idx_begin(), I.idx_end()); |
Chris Lattner | 4fbf26d | 2002-05-09 20:53:56 +0000 | [diff] [blame] | 1363 | } |
Sumant Kowshik | 9ddc86c | 2002-05-08 18:09:58 +0000 | [diff] [blame] | 1364 | |
Chris Lattner | 4d45bd0 | 2003-10-18 05:57:43 +0000 | [diff] [blame] | 1365 | void CWriter::visitVANextInst(VANextInst &I) { |
| 1366 | Out << Mang->getValueName(I.getOperand(0)); |
| 1367 | Out << "; va_arg(*(va_list*)&" << Mang->getValueName(&I) << ", "; |
Chris Lattner | 7635ea4 | 2003-11-03 01:01:59 +0000 | [diff] [blame] | 1368 | printType(Out, I.getArgType()); |
Chris Lattner | 18ac3c8 | 2003-05-08 18:41:45 +0000 | [diff] [blame] | 1369 | Out << ")"; |
| 1370 | } |
| 1371 | |
Chris Lattner | 4d45bd0 | 2003-10-18 05:57:43 +0000 | [diff] [blame] | 1372 | void CWriter::visitVAArgInst(VAArgInst &I) { |
| 1373 | Out << "0;\n"; |
| 1374 | Out << "{ va_list Tmp; va_copy(Tmp, *(va_list*)&"; |
| 1375 | writeOperand(I.getOperand(0)); |
| 1376 | Out << ");\n " << Mang->getValueName(&I) << " = va_arg(Tmp, "; |
Chris Lattner | 7635ea4 | 2003-11-03 01:01:59 +0000 | [diff] [blame] | 1377 | printType(Out, I.getType()); |
Chris Lattner | 4d45bd0 | 2003-10-18 05:57:43 +0000 | [diff] [blame] | 1378 | Out << ");\n va_end(Tmp); }"; |
| 1379 | } |
| 1380 | |
Chris Lattner | 18ac3c8 | 2003-05-08 18:41:45 +0000 | [diff] [blame] | 1381 | |
Sumant Kowshik | 9ddc86c | 2002-05-08 18:09:58 +0000 | [diff] [blame] | 1382 | //===----------------------------------------------------------------------===// |
| 1383 | // External Interface declaration |
| 1384 | //===----------------------------------------------------------------------===// |
| 1385 | |
Chris Lattner | 0e9f93e | 2002-08-31 00:29:16 +0000 | [diff] [blame] | 1386 | Pass *createWriteToCPass(std::ostream &o) { return new CWriter(o); } |