1 //===- OutputSections.cpp -------------------------------------------------===// 2 // 3 // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions. 4 // See https://llvm.org/LICENSE.txt for license information. 5 // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception 6 // 7 //===----------------------------------------------------------------------===// 8 9 #include "OutputSections.h" 10 #include "InputChunks.h" 11 #include "InputFiles.h" 12 #include "OutputSegment.h" 13 #include "WriterUtils.h" 14 #include "lld/Common/ErrorHandler.h" 15 #include "llvm/ADT/Twine.h" 16 #include "llvm/Support/LEB128.h" 17 #include "llvm/Support/Parallel.h" 18 19 #define DEBUG_TYPE "lld" 20 21 using namespace llvm; 22 using namespace llvm::wasm; 23 24 namespace lld { 25 26 // Returns a string, e.g. "FUNCTION(.text)". 27 std::string toString(const wasm::OutputSection &sec) { 28 if (!sec.name.empty()) 29 return (sec.getSectionName() + "(" + sec.name + ")").str(); 30 return std::string(sec.getSectionName()); 31 } 32 33 namespace wasm { 34 static StringRef sectionTypeToString(uint32_t sectionType) { 35 switch (sectionType) { 36 case WASM_SEC_CUSTOM: 37 return "CUSTOM"; 38 case WASM_SEC_TYPE: 39 return "TYPE"; 40 case WASM_SEC_IMPORT: 41 return "IMPORT"; 42 case WASM_SEC_FUNCTION: 43 return "FUNCTION"; 44 case WASM_SEC_TABLE: 45 return "TABLE"; 46 case WASM_SEC_MEMORY: 47 return "MEMORY"; 48 case WASM_SEC_GLOBAL: 49 return "GLOBAL"; 50 case WASM_SEC_EVENT: 51 return "EVENT"; 52 case WASM_SEC_EXPORT: 53 return "EXPORT"; 54 case WASM_SEC_START: 55 return "START"; 56 case WASM_SEC_ELEM: 57 return "ELEM"; 58 case WASM_SEC_CODE: 59 return "CODE"; 60 case WASM_SEC_DATA: 61 return "DATA"; 62 case WASM_SEC_DATACOUNT: 63 return "DATACOUNT"; 64 default: 65 fatal("invalid section type"); 66 } 67 } 68 69 StringRef OutputSection::getSectionName() const { 70 return sectionTypeToString(type); 71 } 72 73 void OutputSection::createHeader(size_t bodySize) { 74 raw_string_ostream os(header); 75 debugWrite(os.tell(), "section type [" + getSectionName() + "]"); 76 encodeULEB128(type, os); 77 writeUleb128(os, bodySize, "section size"); 78 os.flush(); 79 log("createHeader: " + toString(*this) + " body=" + Twine(bodySize) + 80 " total=" + Twine(getSize())); 81 } 82 83 void CodeSection::finalizeContents() { 84 raw_string_ostream os(codeSectionHeader); 85 writeUleb128(os, functions.size(), "function count"); 86 os.flush(); 87 bodySize = codeSectionHeader.size(); 88 89 for (InputFunction *func : functions) { 90 func->outputSec = this; 91 func->outputOffset = bodySize; 92 func->calculateSize(); 93 bodySize += func->getSize(); 94 } 95 96 createHeader(bodySize); 97 } 98 99 void CodeSection::writeTo(uint8_t *buf) { 100 log("writing " + toString(*this)); 101 log(" size=" + Twine(getSize())); 102 log(" headersize=" + Twine(header.size())); 103 log(" codeheadersize=" + Twine(codeSectionHeader.size())); 104 buf += offset; 105 106 // Write section header 107 memcpy(buf, header.data(), header.size()); 108 buf += header.size(); 109 110 // Write code section headers 111 memcpy(buf, codeSectionHeader.data(), codeSectionHeader.size()); 112 113 // Write code section bodies 114 for (const InputChunk *chunk : functions) 115 chunk->writeTo(buf); 116 } 117 118 uint32_t CodeSection::getNumRelocations() const { 119 uint32_t count = 0; 120 for (const InputChunk *func : functions) 121 count += func->getNumRelocations(); 122 return count; 123 } 124 125 void CodeSection::writeRelocations(raw_ostream &os) const { 126 for (const InputChunk *c : functions) 127 c->writeRelocations(os); 128 } 129 130 void DataSection::finalizeContents() { 131 raw_string_ostream os(dataSectionHeader); 132 unsigned segmentCount = 133 std::count_if(segments.begin(), segments.end(), 134 [](OutputSegment *segment) { return !segment->isBss; }); 135 136 #ifndef NDEBUG 137 unsigned activeCount = std::count_if( 138 segments.begin(), segments.end(), [](OutputSegment *segment) { 139 return (segment->initFlags & WASM_SEGMENT_IS_PASSIVE) == 0; 140 }); 141 #endif 142 143 assert((!config->isPic || activeCount <= 1) && 144 "Currenly only a single data segment is supported in PIC mode"); 145 146 writeUleb128(os, segmentCount, "data segment count"); 147 os.flush(); 148 bodySize = dataSectionHeader.size(); 149 150 for (OutputSegment *segment : segments) { 151 if (segment->isBss) 152 continue; 153 raw_string_ostream os(segment->header); 154 writeUleb128(os, segment->initFlags, "init flags"); 155 if (segment->initFlags & WASM_SEGMENT_HAS_MEMINDEX) 156 writeUleb128(os, 0, "memory index"); 157 if ((segment->initFlags & WASM_SEGMENT_IS_PASSIVE) == 0) { 158 WasmInitExpr initExpr; 159 if (config->isPic) { 160 initExpr.Opcode = WASM_OPCODE_GLOBAL_GET; 161 initExpr.Value.Global = WasmSym::memoryBase->getGlobalIndex(); 162 } else { 163 // FIXME(wvo): I64? 164 initExpr.Opcode = WASM_OPCODE_I32_CONST; 165 initExpr.Value.Int32 = segment->startVA; 166 } 167 writeInitExpr(os, initExpr); 168 } 169 writeUleb128(os, segment->size, "segment size"); 170 os.flush(); 171 172 segment->sectionOffset = bodySize; 173 bodySize += segment->header.size() + segment->size; 174 log("Data segment: size=" + Twine(segment->size) + ", startVA=" + 175 Twine::utohexstr(segment->startVA) + ", name=" + segment->name); 176 177 for (InputSegment *inputSeg : segment->inputSegments) { 178 inputSeg->outputSec = this; 179 inputSeg->outputOffset = segment->sectionOffset + segment->header.size() + 180 inputSeg->outputSegmentOffset; 181 } 182 } 183 184 createHeader(bodySize); 185 } 186 187 void DataSection::writeTo(uint8_t *buf) { 188 log("writing " + toString(*this) + " size=" + Twine(getSize()) + 189 " body=" + Twine(bodySize)); 190 buf += offset; 191 192 // Write section header 193 memcpy(buf, header.data(), header.size()); 194 buf += header.size(); 195 196 // Write data section headers 197 memcpy(buf, dataSectionHeader.data(), dataSectionHeader.size()); 198 199 for (const OutputSegment *segment : segments) { 200 if (segment->isBss) 201 continue; 202 // Write data segment header 203 uint8_t *segStart = buf + segment->sectionOffset; 204 memcpy(segStart, segment->header.data(), segment->header.size()); 205 206 // Write segment data payload 207 for (const InputChunk *chunk : segment->inputSegments) 208 chunk->writeTo(buf); 209 } 210 } 211 212 uint32_t DataSection::getNumRelocations() const { 213 uint32_t count = 0; 214 for (const OutputSegment *seg : segments) 215 for (const InputChunk *inputSeg : seg->inputSegments) 216 count += inputSeg->getNumRelocations(); 217 return count; 218 } 219 220 void DataSection::writeRelocations(raw_ostream &os) const { 221 for (const OutputSegment *seg : segments) 222 for (const InputChunk *c : seg->inputSegments) 223 c->writeRelocations(os); 224 } 225 226 bool DataSection::isNeeded() const { 227 for (const OutputSegment *seg : segments) 228 if (!seg->isBss) 229 return true; 230 return false; 231 } 232 233 void CustomSection::finalizeContents() { 234 raw_string_ostream os(nameData); 235 encodeULEB128(name.size(), os); 236 os << name; 237 os.flush(); 238 239 for (InputSection *section : inputSections) { 240 section->outputSec = this; 241 section->outputOffset = payloadSize; 242 payloadSize += section->getSize(); 243 } 244 245 createHeader(payloadSize + nameData.size()); 246 } 247 248 void CustomSection::writeTo(uint8_t *buf) { 249 log("writing " + toString(*this) + " size=" + Twine(getSize()) + 250 " chunks=" + Twine(inputSections.size())); 251 252 assert(offset); 253 buf += offset; 254 255 // Write section header 256 memcpy(buf, header.data(), header.size()); 257 buf += header.size(); 258 memcpy(buf, nameData.data(), nameData.size()); 259 buf += nameData.size(); 260 261 // Write custom sections payload 262 for (const InputSection *section : inputSections) 263 section->writeTo(buf); 264 } 265 266 uint32_t CustomSection::getNumRelocations() const { 267 uint32_t count = 0; 268 for (const InputSection *inputSect : inputSections) 269 count += inputSect->getNumRelocations(); 270 return count; 271 } 272 273 void CustomSection::writeRelocations(raw_ostream &os) const { 274 for (const InputSection *s : inputSections) 275 s->writeRelocations(os); 276 } 277 278 } // namespace wasm 279 } // namespace lld 280