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