Basic support for parsing Mach-O universal binaries in LLVMObject library
[oota-llvm.git] / include / llvm / Object / MachO.h
1 //===- MachO.h - MachO object file implementation ---------------*- C++ -*-===//
2 //
3 //                     The LLVM Compiler Infrastructure
4 //
5 // This file is distributed under the University of Illinois Open Source
6 // License. See LICENSE.TXT for details.
7 //
8 //===----------------------------------------------------------------------===//
9 //
10 // This file declares the MachOObjectFile class, which implement the ObjectFile
11 // interface for MachO files.
12 //
13 //===----------------------------------------------------------------------===//
14
15 #ifndef LLVM_OBJECT_MACHO_H
16 #define LLVM_OBJECT_MACHO_H
17
18 #include "llvm/ADT/ArrayRef.h"
19 #include "llvm/ADT/SmallVector.h"
20 #include "llvm/ADT/Triple.h"
21 #include "llvm/Object/MachOFormat.h"
22 #include "llvm/Object/ObjectFile.h"
23 #include "llvm/Support/MachO.h"
24 #include "llvm/Support/raw_ostream.h"
25
26 namespace llvm {
27 namespace object {
28
29 /// DiceRef - This is a value type class that represents a single
30 /// data in code entry in the table in a Mach-O object file.
31 class DiceRef {
32   DataRefImpl DicePimpl;
33   const ObjectFile *OwningObject;
34
35 public:
36   DiceRef() : OwningObject(NULL) { }
37
38   DiceRef(DataRefImpl DiceP, const ObjectFile *Owner);
39
40   bool operator==(const DiceRef &Other) const;
41   bool operator<(const DiceRef &Other) const;
42
43   error_code getNext(DiceRef &Result) const;
44
45   error_code getOffset(uint32_t &Result) const;
46   error_code getLength(uint16_t &Result) const;
47   error_code getKind(uint16_t &Result) const;
48
49   DataRefImpl getRawDataRefImpl() const;
50   const ObjectFile *getObjectFile() const;
51 };
52 typedef content_iterator<DiceRef> dice_iterator;
53
54 class MachOObjectFile : public ObjectFile {
55 public:
56   struct LoadCommandInfo {
57     const char *Ptr;      // Where in memory the load command is.
58     macho::LoadCommand C; // The command itself.
59   };
60
61   MachOObjectFile(MemoryBuffer *Object, bool IsLittleEndian, bool Is64Bits,
62                   error_code &ec);
63
64   virtual error_code getSymbolNext(DataRefImpl Symb, SymbolRef &Res) const;
65   virtual error_code getSymbolName(DataRefImpl Symb, StringRef &Res) const;
66   virtual error_code getSymbolAddress(DataRefImpl Symb, uint64_t &Res) const;
67   virtual error_code getSymbolFileOffset(DataRefImpl Symb, uint64_t &Res) const;
68   virtual error_code getSymbolAlignment(DataRefImpl Symb, uint32_t &Res) const;
69   virtual error_code getSymbolSize(DataRefImpl Symb, uint64_t &Res) const;
70   virtual error_code getSymbolType(DataRefImpl Symb,
71                                    SymbolRef::Type &Res) const;
72   virtual error_code getSymbolNMTypeChar(DataRefImpl Symb, char &Res) const;
73   virtual error_code getSymbolFlags(DataRefImpl Symb, uint32_t &Res) const;
74   virtual error_code getSymbolSection(DataRefImpl Symb,
75                                       section_iterator &Res) const;
76   virtual error_code getSymbolValue(DataRefImpl Symb, uint64_t &Val) const;
77
78   virtual error_code getSectionNext(DataRefImpl Sec, SectionRef &Res) const;
79   virtual error_code getSectionName(DataRefImpl Sec, StringRef &Res) const;
80   virtual error_code getSectionAddress(DataRefImpl Sec, uint64_t &Res) const;
81   virtual error_code getSectionSize(DataRefImpl Sec, uint64_t &Res) const;
82   virtual error_code getSectionContents(DataRefImpl Sec, StringRef &Res) const;
83   virtual error_code getSectionAlignment(DataRefImpl Sec, uint64_t &Res) const;
84   virtual error_code isSectionText(DataRefImpl Sec, bool &Res) const;
85   virtual error_code isSectionData(DataRefImpl Sec, bool &Res) const;
86   virtual error_code isSectionBSS(DataRefImpl Sec, bool &Res) const;
87   virtual error_code isSectionRequiredForExecution(DataRefImpl Sec,
88                                                    bool &Res) const;
89   virtual error_code isSectionVirtual(DataRefImpl Sec, bool &Res) const;
90   virtual error_code isSectionZeroInit(DataRefImpl Sec, bool &Res) const;
91   virtual error_code isSectionReadOnlyData(DataRefImpl Sec, bool &Res) const;
92   virtual error_code sectionContainsSymbol(DataRefImpl Sec, DataRefImpl Symb,
93                                            bool &Result) const;
94   virtual relocation_iterator getSectionRelBegin(DataRefImpl Sec) const;
95   virtual relocation_iterator getSectionRelEnd(DataRefImpl Sec) const;
96
97   virtual error_code getRelocationNext(DataRefImpl Rel,
98                                        RelocationRef &Res) const;
99   virtual error_code getRelocationAddress(DataRefImpl Rel, uint64_t &Res) const;
100   virtual error_code getRelocationOffset(DataRefImpl Rel, uint64_t &Res) const;
101   virtual symbol_iterator getRelocationSymbol(DataRefImpl Rel) const;
102   virtual error_code getRelocationType(DataRefImpl Rel, uint64_t &Res) const;
103   virtual error_code getRelocationTypeName(DataRefImpl Rel,
104                                            SmallVectorImpl<char> &Result) const;
105   virtual error_code getRelocationValueString(DataRefImpl Rel,
106                                            SmallVectorImpl<char> &Result) const;
107   virtual error_code getRelocationHidden(DataRefImpl Rel, bool &Result) const;
108
109   virtual error_code getLibraryNext(DataRefImpl LibData, LibraryRef &Res) const;
110   virtual error_code getLibraryPath(DataRefImpl LibData, StringRef &Res) const;
111
112   // TODO: Would be useful to have an iterator based version
113   // of the load command interface too.
114
115   virtual symbol_iterator begin_symbols() const;
116   virtual symbol_iterator end_symbols() const;
117
118   virtual symbol_iterator begin_dynamic_symbols() const;
119   virtual symbol_iterator end_dynamic_symbols() const;
120
121   virtual section_iterator begin_sections() const;
122   virtual section_iterator end_sections() const;
123
124   virtual library_iterator begin_libraries_needed() const;
125   virtual library_iterator end_libraries_needed() const;
126
127   virtual uint8_t getBytesInAddress() const;
128
129   virtual StringRef getFileFormatName() const;
130   virtual unsigned getArch() const;
131
132   virtual StringRef getLoadName() const;
133
134   relocation_iterator getSectionRelBegin(unsigned Index) const;
135   relocation_iterator getSectionRelEnd(unsigned Index) const;
136
137   dice_iterator begin_dices() const;
138   dice_iterator end_dices() const;
139
140   // In a MachO file, sections have a segment name. This is used in the .o
141   // files. They have a single segment, but this field specifies which segment
142   // a section should be put in in the final object.
143   StringRef getSectionFinalSegmentName(DataRefImpl Sec) const;
144
145   // Names are stored as 16 bytes. These returns the raw 16 bytes without
146   // interpreting them as a C string.
147   ArrayRef<char> getSectionRawName(DataRefImpl Sec) const;
148   ArrayRef<char> getSectionRawFinalSegmentName(DataRefImpl Sec) const;
149
150   // MachO specific Info about relocations.
151   bool isRelocationScattered(const macho::RelocationEntry &RE) const;
152   unsigned getPlainRelocationSymbolNum(const macho::RelocationEntry &RE) const;
153   bool getPlainRelocationExternal(const macho::RelocationEntry &RE) const;
154   bool getScatteredRelocationScattered(const macho::RelocationEntry &RE) const;
155   uint32_t getScatteredRelocationValue(const macho::RelocationEntry &RE) const;
156   unsigned getAnyRelocationAddress(const macho::RelocationEntry &RE) const;
157   unsigned getAnyRelocationPCRel(const macho::RelocationEntry &RE) const;
158   unsigned getAnyRelocationLength(const macho::RelocationEntry &RE) const;
159   unsigned getAnyRelocationType(const macho::RelocationEntry &RE) const;
160   SectionRef getRelocationSection(const macho::RelocationEntry &RE) const;
161
162   // Walk load commands.
163   LoadCommandInfo getFirstLoadCommandInfo() const;
164   LoadCommandInfo getNextLoadCommandInfo(const LoadCommandInfo &L) const;
165
166   // MachO specific structures.
167   macho::Section getSection(DataRefImpl DRI) const;
168   macho::Section64 getSection64(DataRefImpl DRI) const;
169   macho::Section getSection(const LoadCommandInfo &L, unsigned Index) const;
170   macho::Section64 getSection64(const LoadCommandInfo &L, unsigned Index) const;
171   macho::SymbolTableEntry getSymbolTableEntry(DataRefImpl DRI) const;
172   macho::Symbol64TableEntry getSymbol64TableEntry(DataRefImpl DRI) const;
173
174   macho::LinkeditDataLoadCommand
175   getLinkeditDataLoadCommand(const LoadCommandInfo &L) const;
176   macho::SegmentLoadCommand
177   getSegmentLoadCommand(const LoadCommandInfo &L) const;
178   macho::Segment64LoadCommand
179   getSegment64LoadCommand(const LoadCommandInfo &L) const;
180   macho::LinkerOptionsLoadCommand
181   getLinkerOptionsLoadCommand(const LoadCommandInfo &L) const;
182
183   macho::RelocationEntry getRelocation(DataRefImpl Rel) const;
184   macho::DataInCodeTableEntry getDice(DataRefImpl Rel) const;
185   macho::Header getHeader() const;
186   macho::Header64Ext getHeader64Ext() const;
187   macho::IndirectSymbolTableEntry
188   getIndirectSymbolTableEntry(const macho::DysymtabLoadCommand &DLC,
189                               unsigned Index) const;
190   macho::DataInCodeTableEntry getDataInCodeTableEntry(uint32_t DataOffset,
191                                                       unsigned Index) const;
192   macho::SymtabLoadCommand getSymtabLoadCommand() const;
193   macho::DysymtabLoadCommand getDysymtabLoadCommand() const;
194   macho::LinkeditDataLoadCommand getDataInCodeLoadCommand() const;
195
196   StringRef getStringTableData() const;
197   bool is64Bit() const;
198   void ReadULEB128s(uint64_t Index, SmallVectorImpl<uint64_t> &Out) const;
199
200   static Triple::ArchType getArch(uint32_t CPUType);
201
202   static bool classof(const Binary *v) {
203     return v->isMachO();
204   }
205
206 private:
207   typedef SmallVector<const char*, 1> SectionList;
208   SectionList Sections;
209   const char *SymtabLoadCmd;
210   const char *DysymtabLoadCmd;
211   const char *DataInCodeLoadCmd;
212 };
213
214 /// DiceRef
215 inline DiceRef::DiceRef(DataRefImpl DiceP, const ObjectFile *Owner)
216   : DicePimpl(DiceP) , OwningObject(Owner) {}
217
218 inline bool DiceRef::operator==(const DiceRef &Other) const {
219   return DicePimpl == Other.DicePimpl;
220 }
221
222 inline bool DiceRef::operator<(const DiceRef &Other) const {
223   return DicePimpl < Other.DicePimpl;
224 }
225
226 inline error_code DiceRef::getNext(DiceRef &Result) const {
227   DataRefImpl Rel = DicePimpl;
228   const macho::DataInCodeTableEntry *P =
229     reinterpret_cast<const macho::DataInCodeTableEntry *>(Rel.p);
230   Rel.p = reinterpret_cast<uintptr_t>(P + 1);
231   Result = DiceRef(Rel, OwningObject);
232   return object_error::success;
233 }
234
235 // Since a Mach-O data in code reference, a DiceRef, can only be created when
236 // the OwningObject ObjectFile is a MachOObjectFile a static_cast<> is used for
237 // the methods that get the values of the fields of the reference.
238
239 inline error_code DiceRef::getOffset(uint32_t &Result) const {
240   const MachOObjectFile *MachOOF =
241     static_cast<const MachOObjectFile *>(OwningObject);
242   macho::DataInCodeTableEntry Dice = MachOOF->getDice(DicePimpl);
243   Result = Dice.Offset;
244   return object_error::success;
245 }
246
247 inline error_code DiceRef::getLength(uint16_t &Result) const {
248   const MachOObjectFile *MachOOF =
249     static_cast<const MachOObjectFile *>(OwningObject);
250   macho::DataInCodeTableEntry Dice = MachOOF->getDice(DicePimpl);
251   Result = Dice.Length;
252   return object_error::success;
253 }
254
255 inline error_code DiceRef::getKind(uint16_t &Result) const {
256   const MachOObjectFile *MachOOF =
257     static_cast<const MachOObjectFile *>(OwningObject);
258   macho::DataInCodeTableEntry Dice = MachOOF->getDice(DicePimpl);
259   Result = Dice.Kind;
260   return object_error::success;
261 }
262
263 inline DataRefImpl DiceRef::getRawDataRefImpl() const {
264   return DicePimpl;
265 }
266
267 inline const ObjectFile *DiceRef::getObjectFile() const {
268   return OwningObject;
269 }
270
271 }
272 }
273
274 #endif
275